diff -urN ../pl-3.2.9/src/pl-rec.c ./src/pl-rec.c
--- ../pl-3.2.9/src/pl-rec.c	Thu Jul 22 12:35:45 1999
+++ ./src/pl-rec.c	Fri Aug 27 14:04:27 1999
@@ -707,7 +707,11 @@
       DEBUG(0, assert(rl->references > 0));
 
       LOCK();
+#if 0 /* not true -- jcn */
       assert(rl->references == 1);
+#else /* maybe rather: */
+      assert (rl->references);
+#endif
       break;
     }
     case FRG_CUTTED:
@@ -723,7 +727,11 @@
     default:
       succeed;
   }
+#if 0 /* not true -- jcn */
   assert(rl->references == 1);
+#else /* maybe rather: */
+  assert (rl->references);
+#endif
 
   copy = PL_new_term_ref();
   for( ; record; record = record->next )