From c750dd94f17d66676a7b0666446eb8be68119e10 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vitor@ubuntu.(none)>
Date: Mon, 9 Feb 2009 23:34:12 +0000
Subject: [PATCH] indexing code was not looking at tabled code.

---
 C/stdpreds.c   |    2 +-
 H/findclause.h | 1147 +-----------------------------------------------
 H/headclause.h | 1147 +-----------------------------------------------
 misc/buildops  |    9 +-
 4 files changed, 8 insertions(+), 2297 deletions(-)

diff --git a/C/stdpreds.c b/C/stdpreds.c
index 371fc7d77..15f380a77 100644
--- a/C/stdpreds.c
+++ b/C/stdpreds.c
@@ -3511,7 +3511,7 @@ p_access_yap_flags(void)
     if (IsMode_SchedulingOn(yap_flags[flag])) {
       Term taux = tout;
       if (IsMode_Local(yap_flags[flag]))
-	tout = MkAtomTerm(Yap_AtomLocalA);
+	tout = MkAtomTerm(AtomLocalA);
       else
 	tout = MkAtomTerm(AtomBatched);
       if (n) {
diff --git a/H/findclause.h b/H/findclause.h
index 4f4122d41..6418e4525 100644
--- a/H/findclause.h
+++ b/H/findclause.h
@@ -23,28 +23,6 @@
       }
       cl = NEXTOP(cl,cc);
       break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(2))) {
-	clause->Tag = cl->u.cc.c2;
-	return;
-      }
-      cl = NEXTOP(cl,cc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(1))) {
-	clause->Tag = cl->u.cc.c1;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(2))) {
-	clause->Tag = cl->u.cc.c2;
-	return;
-      }
-      cl = NEXTOP(cl,cc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(2))) {
-	clause->Tag = cl->u.cc.c2;
-	return;
-      }
-      cl = NEXTOP(cl,cc);
-      break;
     case _get_3atoms:
       if (is_regcopy(myregs, nofregs, Yap_regnotoreg(1))) {
 	clause->Tag = cl->u.ccc.c1;
@@ -60,64 +38,6 @@
       }
       cl = NEXTOP(cl,ccc);
       break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(3))) {
-	clause->Tag = cl->u.ccc.c3;
-	return;
-      }
-      cl = NEXTOP(cl,ccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(2))) {
-	clause->Tag = cl->u.ccc.c2;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(3))) {
-	clause->Tag = cl->u.ccc.c3;
-	return;
-      }
-      cl = NEXTOP(cl,ccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(3))) {
-	clause->Tag = cl->u.ccc.c3;
-	return;
-      }
-      cl = NEXTOP(cl,ccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(1))) {
-	clause->Tag = cl->u.ccc.c1;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(2))) {
-	clause->Tag = cl->u.ccc.c2;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(3))) {
-	clause->Tag = cl->u.ccc.c3;
-	return;
-      }
-      cl = NEXTOP(cl,ccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(3))) {
-	clause->Tag = cl->u.ccc.c3;
-	return;
-      }
-      cl = NEXTOP(cl,ccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(2))) {
-	clause->Tag = cl->u.ccc.c2;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(3))) {
-	clause->Tag = cl->u.ccc.c3;
-	return;
-      }
-      cl = NEXTOP(cl,ccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(3))) {
-	clause->Tag = cl->u.ccc.c3;
-	return;
-      }
-      cl = NEXTOP(cl,ccc);
-      break;
     case _get_4atoms:
       if (is_regcopy(myregs, nofregs, Yap_regnotoreg(1))) {
 	clause->Tag = cl->u.cccc.c1;
@@ -137,140 +57,6 @@
       }
       cl = NEXTOP(cl,cccc);
       break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(4))) {
-	clause->Tag = cl->u.cccc.c4;
-	return;
-      }
-      cl = NEXTOP(cl,cccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(3))) {
-	clause->Tag = cl->u.cccc.c3;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(4))) {
-	clause->Tag = cl->u.cccc.c4;
-	return;
-      }
-      cl = NEXTOP(cl,cccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(4))) {
-	clause->Tag = cl->u.cccc.c4;
-	return;
-      }
-      cl = NEXTOP(cl,cccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(2))) {
-	clause->Tag = cl->u.cccc.c2;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(3))) {
-	clause->Tag = cl->u.cccc.c3;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(4))) {
-	clause->Tag = cl->u.cccc.c4;
-	return;
-      }
-      cl = NEXTOP(cl,cccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(4))) {
-	clause->Tag = cl->u.cccc.c4;
-	return;
-      }
-      cl = NEXTOP(cl,cccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(3))) {
-	clause->Tag = cl->u.cccc.c3;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(4))) {
-	clause->Tag = cl->u.cccc.c4;
-	return;
-      }
-      cl = NEXTOP(cl,cccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(4))) {
-	clause->Tag = cl->u.cccc.c4;
-	return;
-      }
-      cl = NEXTOP(cl,cccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(1))) {
-	clause->Tag = cl->u.cccc.c1;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(2))) {
-	clause->Tag = cl->u.cccc.c2;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(3))) {
-	clause->Tag = cl->u.cccc.c3;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(4))) {
-	clause->Tag = cl->u.cccc.c4;
-	return;
-      }
-      cl = NEXTOP(cl,cccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(4))) {
-	clause->Tag = cl->u.cccc.c4;
-	return;
-      }
-      cl = NEXTOP(cl,cccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(3))) {
-	clause->Tag = cl->u.cccc.c3;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(4))) {
-	clause->Tag = cl->u.cccc.c4;
-	return;
-      }
-      cl = NEXTOP(cl,cccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(4))) {
-	clause->Tag = cl->u.cccc.c4;
-	return;
-      }
-      cl = NEXTOP(cl,cccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(2))) {
-	clause->Tag = cl->u.cccc.c2;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(3))) {
-	clause->Tag = cl->u.cccc.c3;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(4))) {
-	clause->Tag = cl->u.cccc.c4;
-	return;
-      }
-      cl = NEXTOP(cl,cccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(4))) {
-	clause->Tag = cl->u.cccc.c4;
-	return;
-      }
-      cl = NEXTOP(cl,cccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(3))) {
-	clause->Tag = cl->u.cccc.c3;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(4))) {
-	clause->Tag = cl->u.cccc.c4;
-	return;
-      }
-      cl = NEXTOP(cl,cccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(4))) {
-	clause->Tag = cl->u.cccc.c4;
-	return;
-      }
-      cl = NEXTOP(cl,cccc);
-      break;
     case _get_5atoms:
       if (is_regcopy(myregs, nofregs, Yap_regnotoreg(1))) {
 	clause->Tag = cl->u.ccccc.c1;
@@ -294,296 +80,6 @@
       }
       cl = NEXTOP(cl,ccccc);
       break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(4))) {
-	clause->Tag = cl->u.ccccc.c4;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(3))) {
-	clause->Tag = cl->u.ccccc.c3;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(4))) {
-	clause->Tag = cl->u.ccccc.c4;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(4))) {
-	clause->Tag = cl->u.ccccc.c4;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(2))) {
-	clause->Tag = cl->u.ccccc.c2;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(3))) {
-	clause->Tag = cl->u.ccccc.c3;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(4))) {
-	clause->Tag = cl->u.ccccc.c4;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(4))) {
-	clause->Tag = cl->u.ccccc.c4;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(3))) {
-	clause->Tag = cl->u.ccccc.c3;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(4))) {
-	clause->Tag = cl->u.ccccc.c4;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(4))) {
-	clause->Tag = cl->u.ccccc.c4;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(1))) {
-	clause->Tag = cl->u.ccccc.c1;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(2))) {
-	clause->Tag = cl->u.ccccc.c2;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(3))) {
-	clause->Tag = cl->u.ccccc.c3;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(4))) {
-	clause->Tag = cl->u.ccccc.c4;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(4))) {
-	clause->Tag = cl->u.ccccc.c4;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(3))) {
-	clause->Tag = cl->u.ccccc.c3;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(4))) {
-	clause->Tag = cl->u.ccccc.c4;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(4))) {
-	clause->Tag = cl->u.ccccc.c4;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(2))) {
-	clause->Tag = cl->u.ccccc.c2;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(3))) {
-	clause->Tag = cl->u.ccccc.c3;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(4))) {
-	clause->Tag = cl->u.ccccc.c4;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(4))) {
-	clause->Tag = cl->u.ccccc.c4;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(3))) {
-	clause->Tag = cl->u.ccccc.c3;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(4))) {
-	clause->Tag = cl->u.ccccc.c4;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(4))) {
-	clause->Tag = cl->u.ccccc.c4;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
     case _get_6atoms:
       if (is_regcopy(myregs, nofregs, Yap_regnotoreg(1))) {
 	clause->Tag = cl->u.cccccc.c1;
@@ -611,612 +107,6 @@
       }
       cl = NEXTOP(cl,cccccc);
       break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(4))) {
-	clause->Tag = cl->u.cccccc.c4;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(3))) {
-	clause->Tag = cl->u.cccccc.c3;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(4))) {
-	clause->Tag = cl->u.cccccc.c4;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(4))) {
-	clause->Tag = cl->u.cccccc.c4;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(2))) {
-	clause->Tag = cl->u.cccccc.c2;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(3))) {
-	clause->Tag = cl->u.cccccc.c3;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(4))) {
-	clause->Tag = cl->u.cccccc.c4;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(4))) {
-	clause->Tag = cl->u.cccccc.c4;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(3))) {
-	clause->Tag = cl->u.cccccc.c3;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(4))) {
-	clause->Tag = cl->u.cccccc.c4;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(4))) {
-	clause->Tag = cl->u.cccccc.c4;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(1))) {
-	clause->Tag = cl->u.cccccc.c1;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(2))) {
-	clause->Tag = cl->u.cccccc.c2;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(3))) {
-	clause->Tag = cl->u.cccccc.c3;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(4))) {
-	clause->Tag = cl->u.cccccc.c4;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(4))) {
-	clause->Tag = cl->u.cccccc.c4;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(3))) {
-	clause->Tag = cl->u.cccccc.c3;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(4))) {
-	clause->Tag = cl->u.cccccc.c4;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(4))) {
-	clause->Tag = cl->u.cccccc.c4;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(2))) {
-	clause->Tag = cl->u.cccccc.c2;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(3))) {
-	clause->Tag = cl->u.cccccc.c3;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(4))) {
-	clause->Tag = cl->u.cccccc.c4;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(4))) {
-	clause->Tag = cl->u.cccccc.c4;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(3))) {
-	clause->Tag = cl->u.cccccc.c3;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(4))) {
-	clause->Tag = cl->u.cccccc.c4;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(4))) {
-	clause->Tag = cl->u.cccccc.c4;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(5))) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (is_regcopy(myregs, nofregs, Yap_regnotoreg(6))) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
     case _write_float:
       cl = NEXTOP(cl,d);
       break;
@@ -1837,13 +727,6 @@
       }
       cl = NEXTOP(cl,x);
       break;
-      if (is_regcopy(myregs, nofregs, cl->u.x.x)) {
-	clause->Tag = AbsPair(NULL);
-	clause->u.WorkPC = NEXTOP(cl,x);
-	return;
-      }
-      cl = NEXTOP(cl,x);
-      break;
     case _put_list:
       if (!(nofregs = delete_regcopy(myregs, nofregs, cl->u.x.x))) {
 	clause->Tag = (CELL)NULL;
@@ -1878,12 +761,6 @@
       }
       cl = NEXTOP(cl,xc);
       break;
-      if (is_regcopy(myregs, nofregs, cl->u.xc.x)) {
-	clause->Tag = cl->u.xc.c;
-	return;
-      }
-      cl = NEXTOP(cl,xc);
-      break;
     case _get_bigint:
       if (is_regcopy(myregs, nofregs, cl->u.xc.x)) {
 	clause->Tag = AbsAppl((CELL *)FunctorBigInt);
@@ -1907,13 +784,6 @@
       }
       cl = NEXTOP(cl,xd);
       break;
-      if (is_regcopy(myregs, nofregs, cl->u.xd.x)) {
-	clause->Tag = AbsAppl((CELL *)FunctorDouble);
-	clause->u.t_ptr = AbsAppl(cl->u.xd.d);
-	return;
-      }
-      cl = NEXTOP(cl,xd);
-      break;
     case _put_float:
       if (!(nofregs = delete_regcopy(myregs, nofregs, cl->u.xd.x))) {
 	clause->Tag = (CELL)NULL;
@@ -1929,13 +799,6 @@
       }
       cl = NEXTOP(cl,xfa);
       break;
-      if (is_regcopy(myregs, nofregs, cl->u.xfa.x)) {
-	clause->Tag = AbsAppl((CELL *)cl->u.xfa.f);
-	clause->u.WorkPC = NEXTOP(cl,xfa);
-	return;
-      }
-      cl = NEXTOP(cl,xfa);
-      break;
     case _put_struct:
       if (!(nofregs = delete_regcopy(myregs, nofregs, cl->u.xfa.x))) {
 	clause->Tag = (CELL)NULL;
@@ -1951,13 +814,6 @@
       }
       cl = NEXTOP(cl,xi);
       break;
-      if (is_regcopy(myregs, nofregs, cl->u.xi.x)) {
-	clause->Tag = AbsAppl((CELL *)FunctorLongInt);
-	clause->u.t_ptr = AbsAppl(cl->u.xi.i);
-	return;
-      }
-      cl = NEXTOP(cl,xi);
-      break;
     case _put_longint:
       if (!(nofregs = delete_regcopy(myregs, nofregs, cl->u.xi.x))) {
 	clause->Tag = (CELL)NULL;
@@ -2706,6 +1562,9 @@
 #ifdef YAPOR
 #endif
 #ifdef TABLING
+    case _table_try_single:
+      cl = NEXTOP(cl,Otapl);
+      break;
 #endif
 default:
 	clause->Tag = (CELL)NULL;
diff --git a/H/headclause.h b/H/headclause.h
index a3b3b7a9b..ce546b843 100644
--- a/H/headclause.h
+++ b/H/headclause.h
@@ -17,28 +17,6 @@
       }
       cl = NEXTOP(cl,cc);
       break;
-      if (iarg == Yap_regnotoreg(2)) {
-	clause->Tag = cl->u.cc.c2;
-	return;
-      }
-      cl = NEXTOP(cl,cc);
-      break;
-      if (iarg == Yap_regnotoreg(1)) {
-	clause->Tag = cl->u.cc.c1;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(2)) {
-	clause->Tag = cl->u.cc.c2;
-	return;
-      }
-      cl = NEXTOP(cl,cc);
-      break;
-      if (iarg == Yap_regnotoreg(2)) {
-	clause->Tag = cl->u.cc.c2;
-	return;
-      }
-      cl = NEXTOP(cl,cc);
-      break;
     case _get_3atoms:
       if (iarg == Yap_regnotoreg(1)) {
 	clause->Tag = cl->u.ccc.c1;
@@ -54,64 +32,6 @@
       }
       cl = NEXTOP(cl,ccc);
       break;
-      if (iarg == Yap_regnotoreg(3)) {
-	clause->Tag = cl->u.ccc.c3;
-	return;
-      }
-      cl = NEXTOP(cl,ccc);
-      break;
-      if (iarg == Yap_regnotoreg(2)) {
-	clause->Tag = cl->u.ccc.c2;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(3)) {
-	clause->Tag = cl->u.ccc.c3;
-	return;
-      }
-      cl = NEXTOP(cl,ccc);
-      break;
-      if (iarg == Yap_regnotoreg(3)) {
-	clause->Tag = cl->u.ccc.c3;
-	return;
-      }
-      cl = NEXTOP(cl,ccc);
-      break;
-      if (iarg == Yap_regnotoreg(1)) {
-	clause->Tag = cl->u.ccc.c1;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(2)) {
-	clause->Tag = cl->u.ccc.c2;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(3)) {
-	clause->Tag = cl->u.ccc.c3;
-	return;
-      }
-      cl = NEXTOP(cl,ccc);
-      break;
-      if (iarg == Yap_regnotoreg(3)) {
-	clause->Tag = cl->u.ccc.c3;
-	return;
-      }
-      cl = NEXTOP(cl,ccc);
-      break;
-      if (iarg == Yap_regnotoreg(2)) {
-	clause->Tag = cl->u.ccc.c2;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(3)) {
-	clause->Tag = cl->u.ccc.c3;
-	return;
-      }
-      cl = NEXTOP(cl,ccc);
-      break;
-      if (iarg == Yap_regnotoreg(3)) {
-	clause->Tag = cl->u.ccc.c3;
-	return;
-      }
-      cl = NEXTOP(cl,ccc);
-      break;
     case _get_4atoms:
       if (iarg == Yap_regnotoreg(1)) {
 	clause->Tag = cl->u.cccc.c1;
@@ -131,140 +51,6 @@
       }
       cl = NEXTOP(cl,cccc);
       break;
-      if (iarg == Yap_regnotoreg(4)) {
-	clause->Tag = cl->u.cccc.c4;
-	return;
-      }
-      cl = NEXTOP(cl,cccc);
-      break;
-      if (iarg == Yap_regnotoreg(3)) {
-	clause->Tag = cl->u.cccc.c3;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(4)) {
-	clause->Tag = cl->u.cccc.c4;
-	return;
-      }
-      cl = NEXTOP(cl,cccc);
-      break;
-      if (iarg == Yap_regnotoreg(4)) {
-	clause->Tag = cl->u.cccc.c4;
-	return;
-      }
-      cl = NEXTOP(cl,cccc);
-      break;
-      if (iarg == Yap_regnotoreg(2)) {
-	clause->Tag = cl->u.cccc.c2;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(3)) {
-	clause->Tag = cl->u.cccc.c3;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(4)) {
-	clause->Tag = cl->u.cccc.c4;
-	return;
-      }
-      cl = NEXTOP(cl,cccc);
-      break;
-      if (iarg == Yap_regnotoreg(4)) {
-	clause->Tag = cl->u.cccc.c4;
-	return;
-      }
-      cl = NEXTOP(cl,cccc);
-      break;
-      if (iarg == Yap_regnotoreg(3)) {
-	clause->Tag = cl->u.cccc.c3;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(4)) {
-	clause->Tag = cl->u.cccc.c4;
-	return;
-      }
-      cl = NEXTOP(cl,cccc);
-      break;
-      if (iarg == Yap_regnotoreg(4)) {
-	clause->Tag = cl->u.cccc.c4;
-	return;
-      }
-      cl = NEXTOP(cl,cccc);
-      break;
-      if (iarg == Yap_regnotoreg(1)) {
-	clause->Tag = cl->u.cccc.c1;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(2)) {
-	clause->Tag = cl->u.cccc.c2;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(3)) {
-	clause->Tag = cl->u.cccc.c3;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(4)) {
-	clause->Tag = cl->u.cccc.c4;
-	return;
-      }
-      cl = NEXTOP(cl,cccc);
-      break;
-      if (iarg == Yap_regnotoreg(4)) {
-	clause->Tag = cl->u.cccc.c4;
-	return;
-      }
-      cl = NEXTOP(cl,cccc);
-      break;
-      if (iarg == Yap_regnotoreg(3)) {
-	clause->Tag = cl->u.cccc.c3;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(4)) {
-	clause->Tag = cl->u.cccc.c4;
-	return;
-      }
-      cl = NEXTOP(cl,cccc);
-      break;
-      if (iarg == Yap_regnotoreg(4)) {
-	clause->Tag = cl->u.cccc.c4;
-	return;
-      }
-      cl = NEXTOP(cl,cccc);
-      break;
-      if (iarg == Yap_regnotoreg(2)) {
-	clause->Tag = cl->u.cccc.c2;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(3)) {
-	clause->Tag = cl->u.cccc.c3;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(4)) {
-	clause->Tag = cl->u.cccc.c4;
-	return;
-      }
-      cl = NEXTOP(cl,cccc);
-      break;
-      if (iarg == Yap_regnotoreg(4)) {
-	clause->Tag = cl->u.cccc.c4;
-	return;
-      }
-      cl = NEXTOP(cl,cccc);
-      break;
-      if (iarg == Yap_regnotoreg(3)) {
-	clause->Tag = cl->u.cccc.c3;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(4)) {
-	clause->Tag = cl->u.cccc.c4;
-	return;
-      }
-      cl = NEXTOP(cl,cccc);
-      break;
-      if (iarg == Yap_regnotoreg(4)) {
-	clause->Tag = cl->u.cccc.c4;
-	return;
-      }
-      cl = NEXTOP(cl,cccc);
-      break;
     case _get_5atoms:
       if (iarg == Yap_regnotoreg(1)) {
 	clause->Tag = cl->u.ccccc.c1;
@@ -288,296 +74,6 @@
       }
       cl = NEXTOP(cl,ccccc);
       break;
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (iarg == Yap_regnotoreg(4)) {
-	clause->Tag = cl->u.ccccc.c4;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (iarg == Yap_regnotoreg(3)) {
-	clause->Tag = cl->u.ccccc.c3;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(4)) {
-	clause->Tag = cl->u.ccccc.c4;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (iarg == Yap_regnotoreg(4)) {
-	clause->Tag = cl->u.ccccc.c4;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (iarg == Yap_regnotoreg(2)) {
-	clause->Tag = cl->u.ccccc.c2;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(3)) {
-	clause->Tag = cl->u.ccccc.c3;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(4)) {
-	clause->Tag = cl->u.ccccc.c4;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (iarg == Yap_regnotoreg(4)) {
-	clause->Tag = cl->u.ccccc.c4;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (iarg == Yap_regnotoreg(3)) {
-	clause->Tag = cl->u.ccccc.c3;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(4)) {
-	clause->Tag = cl->u.ccccc.c4;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (iarg == Yap_regnotoreg(4)) {
-	clause->Tag = cl->u.ccccc.c4;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (iarg == Yap_regnotoreg(1)) {
-	clause->Tag = cl->u.ccccc.c1;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(2)) {
-	clause->Tag = cl->u.ccccc.c2;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(3)) {
-	clause->Tag = cl->u.ccccc.c3;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(4)) {
-	clause->Tag = cl->u.ccccc.c4;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (iarg == Yap_regnotoreg(4)) {
-	clause->Tag = cl->u.ccccc.c4;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (iarg == Yap_regnotoreg(3)) {
-	clause->Tag = cl->u.ccccc.c3;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(4)) {
-	clause->Tag = cl->u.ccccc.c4;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (iarg == Yap_regnotoreg(4)) {
-	clause->Tag = cl->u.ccccc.c4;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (iarg == Yap_regnotoreg(2)) {
-	clause->Tag = cl->u.ccccc.c2;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(3)) {
-	clause->Tag = cl->u.ccccc.c3;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(4)) {
-	clause->Tag = cl->u.ccccc.c4;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (iarg == Yap_regnotoreg(4)) {
-	clause->Tag = cl->u.ccccc.c4;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (iarg == Yap_regnotoreg(3)) {
-	clause->Tag = cl->u.ccccc.c3;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(4)) {
-	clause->Tag = cl->u.ccccc.c4;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (iarg == Yap_regnotoreg(4)) {
-	clause->Tag = cl->u.ccccc.c4;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.ccccc.c5;
-	return;
-      }
-      cl = NEXTOP(cl,ccccc);
-      break;
     case _get_6atoms:
       if (iarg == Yap_regnotoreg(1)) {
 	clause->Tag = cl->u.cccccc.c1;
@@ -605,612 +101,6 @@
       }
       cl = NEXTOP(cl,cccccc);
       break;
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(4)) {
-	clause->Tag = cl->u.cccccc.c4;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(3)) {
-	clause->Tag = cl->u.cccccc.c3;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(4)) {
-	clause->Tag = cl->u.cccccc.c4;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(4)) {
-	clause->Tag = cl->u.cccccc.c4;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(2)) {
-	clause->Tag = cl->u.cccccc.c2;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(3)) {
-	clause->Tag = cl->u.cccccc.c3;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(4)) {
-	clause->Tag = cl->u.cccccc.c4;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(4)) {
-	clause->Tag = cl->u.cccccc.c4;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(3)) {
-	clause->Tag = cl->u.cccccc.c3;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(4)) {
-	clause->Tag = cl->u.cccccc.c4;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(4)) {
-	clause->Tag = cl->u.cccccc.c4;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(1)) {
-	clause->Tag = cl->u.cccccc.c1;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(2)) {
-	clause->Tag = cl->u.cccccc.c2;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(3)) {
-	clause->Tag = cl->u.cccccc.c3;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(4)) {
-	clause->Tag = cl->u.cccccc.c4;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(4)) {
-	clause->Tag = cl->u.cccccc.c4;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(3)) {
-	clause->Tag = cl->u.cccccc.c3;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(4)) {
-	clause->Tag = cl->u.cccccc.c4;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(4)) {
-	clause->Tag = cl->u.cccccc.c4;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(2)) {
-	clause->Tag = cl->u.cccccc.c2;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(3)) {
-	clause->Tag = cl->u.cccccc.c3;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(4)) {
-	clause->Tag = cl->u.cccccc.c4;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(4)) {
-	clause->Tag = cl->u.cccccc.c4;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(3)) {
-	clause->Tag = cl->u.cccccc.c3;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(4)) {
-	clause->Tag = cl->u.cccccc.c4;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(4)) {
-	clause->Tag = cl->u.cccccc.c4;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(5)) {
-	clause->Tag = cl->u.cccccc.c5;
-	return;
-      }
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
-      if (iarg == Yap_regnotoreg(6)) {
-	clause->Tag = cl->u.cccccc.c6;
-	return;
-      }
-      cl = NEXTOP(cl,cccccc);
-      break;
     case _copy_idb_term:
       if (regno != 2) {
 	clause->Tag = (CELL)NULL;
@@ -1553,13 +443,6 @@
       }
       cl = NEXTOP(cl,x);
       break;
-      if (iarg == cl->u.x.x) {
-	clause->Tag = AbsPair(NULL);
-	clause->u.WorkPC = NEXTOP(cl,x);
-	return;
-      }
-      cl = NEXTOP(cl,x);
-      break;
     case _put_list:
       if (iarg == cl->u.x.x) {
 	clause->Tag = (CELL)NULL;
@@ -1574,12 +457,6 @@
       }
       cl = NEXTOP(cl,xc);
       break;
-      if (iarg == cl->u.xc.x) {
-	clause->Tag = cl->u.xc.c;
-	return;
-      }
-      cl = NEXTOP(cl,xc);
-      break;
     case _get_bigint:
       if (iarg == cl->u.xc.x) {
 	clause->Tag = AbsAppl((CELL *)FunctorBigInt);
@@ -1603,13 +480,6 @@
       }
       cl = NEXTOP(cl,xd);
       break;
-      if (iarg == cl->u.xd.x) {
-	clause->Tag = AbsAppl((CELL *)FunctorDouble);
-	clause->u.t_ptr = AbsAppl(cl->u.xd.d);
-	return;
-      }
-      cl = NEXTOP(cl,xd);
-      break;
     case _put_float:
       if (iarg == cl->u.xd.x) {
 	clause->Tag = (CELL)NULL;
@@ -1625,13 +495,6 @@
       }
       cl = NEXTOP(cl,xfa);
       break;
-      if (iarg == cl->u.xfa.x) {
-	clause->Tag = AbsAppl((CELL *)cl->u.xfa.f);
-	clause->u.WorkPC = NEXTOP(cl,xfa);
-	return;
-      }
-      cl = NEXTOP(cl,xfa);
-      break;
     case _put_struct:
       if (iarg == cl->u.xfa.x) {
 	clause->Tag = (CELL)NULL;
@@ -1647,13 +510,6 @@
       }
       cl = NEXTOP(cl,xi);
       break;
-      if (iarg == cl->u.xi.x) {
-	clause->Tag = AbsAppl((CELL *)FunctorLongInt);
-	clause->u.t_ptr = AbsAppl(cl->u.xi.i);
-	return;
-      }
-      cl = NEXTOP(cl,xi);
-      break;
     case _put_longint:
       if (iarg == cl->u.xi.x) {
 	clause->Tag = (CELL)NULL;
@@ -1789,6 +645,9 @@
 #ifdef YAPOR
 #endif
 #ifdef TABLING
+    case _table_try_single:
+      cl = NEXTOP(cl,Otapl);
+      break;
 #endif
 default:
 	clause->Tag = (CELL)NULL;
diff --git a/misc/buildops b/misc/buildops
index f2b9d6c09..0d2af3969 100644
--- a/misc/buildops
+++ b/misc/buildops
@@ -605,14 +605,6 @@ dump_head_action(logical, _, _, L) :-
       }
       return;~n', []).
 	
-handle_bind_extra([], _, "").
-handle_bind_extra(t_ptr=[], _,S) :- !,
-	format_to_chars("~n	clause->u.t_ptr = (CELL)NULL;",[],S).
-handle_bind_extra(t_ptr=F, Type, S) :-
-	format_to_chars("~n	clause->u.t_ptr = AbsAppl(cl->u.~s.~s);",[Type,F],S).
-handle_bind_extra(workpc=nextop, T,S) :-
-	format_to_chars("~n	clause->u.WorkPC = NEXTOP(cl,~s);",[T],S).
-
 /* or_last requires special handling */
 footer(W) :-
 	format(W,'  /* this instruction is hardwired */~n',[]),
@@ -1017,5 +1009,6 @@ opinfo("run_eam",[body]).
 opinfo("retry_eam",[body]).
 opinfo("alloc_for_logical_pred",[body]).
 opinfo("deallocate",[body]).
+opinfo("table_try_single",[]).