What occurs-check optimizations is SWI Prolog using?

Question

To quote SICStus Prolog manual:

The usual mathematical theory behind Logic Programming forbids the creation of cyclic terms, dictating that an occurs-che