diff --git a/regression/cyclics.yap b/regression/cyclics.yap
new file mode 100644
index 000000000..af86be0d2
--- /dev/null
+++ b/regression/cyclics.yap
@@ -0,0 +1,7 @@
+:- X = [X], copy_term(X,Y), writeln(X), writeln(Y), fail.
+:- X = [_|X], copy_term(X,Y), writeln(X), writeln(Y), fail.
+:- X= f(X), copy_term(X,Y), writeln(X), writeln(Y), fail.
+:- X= f(X,X), copy_term(X,Y), writeln(X), writeln(Y), fail.
+:- X= f(_,X), copy_term(X,Y), writeln(X), writeln(Y), fail.
+:- X= f(X,[X,X]), copy_term(X,Y), writeln(X), writeln(Y), fail.
+:- X= f(X,[X,g(X)]), copy_term(X,Y), writeln(X), writeln(Y), fail.