copy_term/2 display (?) incorrect

[infradig]

?- V=[V], copy_term(f(V),W). V = [V], W = f([[]]). ?-

[UWN]

Probably similar to #2333 , thus only writing is incorrect. All below are fine.

?- V=[V], copy_term(f(V),W), W = f([[]]).
   false.
?- V=[V], copy_term(f(V),W), W == f(V).
   V = [V], W = f([[]]).
?- V=[V], copy_term(f(V),W), W = f(V).
   V = [V], W = f([[]]).
?- V=[V], copy_term(f(V),W), acyclic_term(W).
   false.