%% ?- answer(occurs_check).


answer(occurs_check) :-
  (X \= wrapper(X)),
  (Y = wrapper(X)),
  (X \= Y).