diff --git a/ansi-tests/load-types-and-class.lsp b/ansi-tests/load-types-and-class.lsp
index 2e0465a7ee7c8d653c02b33e88ec6fcb0a8258fc..05023d1738f3bcd2ef4259307001fecc46beac2c 100644
--- a/ansi-tests/load-types-and-class.lsp
+++ b/ansi-tests/load-types-and-class.lsp
@@ -8,6 +8,6 @@
 (load "subtypep-float.lsp")
 (load "subtypep-rational.lsp")
 (load "subtypep-real.lsp")
-(load "subtypep-cons.lsp")
+#-lispworks (load "subtypep-cons.lsp")
 (load "subtypep-member.lsp")
 (load "subtypep-eql.lsp")
diff --git a/ansi-tests/subtypep-cons.lsp b/ansi-tests/subtypep-cons.lsp
index a37be83cc69da65aec021e1c006bf1e43c6866ab..34f1de64c264d39e6a0082d41ddc7c9ddc5ffe1b 100644
--- a/ansi-tests/subtypep-cons.lsp
+++ b/ansi-tests/subtypep-cons.lsp
@@ -110,3 +110,12 @@
      (cons (real 3 (6)) (real 3 (6))))
    '(cons (real 0 (9)) (real 0 (9))))
   nil)
+
+;;; Test suggested by C.R.
+(deftest subtypep.cons.12
+  (check-all-not-subtypep
+   '(cons (or integer symbol)
+	  (or integer symbol))
+   '(or (cons integer symbol)
+	(cons symbol integer)))
+  nil)