% From The Art of EyeProlog, Chapter 3 — The occurs check.
cyclic_unification :- X = wrapper(X).