Prolog: add bugs files for trees problems

1 files changed, 425 insertions, 0 deletions

diff --git a/prolog/problems/trees/deletebt_3/bugs.json b/prolog/problems/trees/deletebt_3/bugs.json
new file mode 100644
index 0000000..1be930a
--- /dev/null
+++ b/prolog/problems/trees/deletebt_3/bugs.json
@@ -0,0 +1,425 @@
+{
+  "patterns": [
+    "(clause (head (compound (functor \"deleteBT\") (args variable (args (compound (functor \"b\") (args (args variable))))))))",
+    "(clause (head (compound (functor \"deleteBT\") (args variable))) (compound (functor \"deleteBT\") (args variable)))",
+    "(clause (binop variable \"=\"))",
+    "(clause (binop \"=\" (compound (functor \"b\") (args (args (args variable))))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (args variable))))) (binop variable \"=\"))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args variable)))))) (compound (functor \"deleteBT\") (args (args variable))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args (args variable)))))))) (compound (functor \"deleteBT\") (args (args variable))))",
+    "(clause (binop \"=\" (compound (functor \"b\") (args variable))))",
+    "(clause (compound (functor \"deleteBT\") (args (args variable))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args variable))) (args (compound (functor \"b\") (args (args variable)))))))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (args (compound (functor \"b\") (args variable))))))) (compound (functor \"deleteBT\") (args (args (args variable)))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (args (compound (functor \"b\") (args (args (args variable))))))))) (compound (functor \"deleteBT\") (args (args (args variable)))))",
+    "(clause (compound (functor \"deleteBT\") (args variable (args (compound (functor \"b\") (args (args variable)))))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (args (compound (functor \"b\") (args (args variable)))))))) (compound (functor \"deleteBT\") (args variable)))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args (args variable)))) (args (compound (functor \"b\") (args (args (args variable))))))))))",
+    "(clause (compound (functor \"deleteBT\") (args variable)) (binop \"=\" (compound (functor \"b\") (args (args variable)))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args variable)) (args (compound (functor \"b\") (args variable))))))))",
+    "(clause (binop \"=\" (compound (functor \"b\") (args (args variable)))) (compound (functor \"deleteBT\") (args variable)))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args (args variable)))))))) (binop \"=\" (compound (functor \"b\") (args (args (args variable))))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args variable)))))) (binop \"=\" (compound (functor \"b\") (args variable))))",
+    "(clause (binop \"=\" variable))",
+    "(clause (binop \"=\" (compound (functor \"b\") (args (args variable)))) (binop \"=\" (compound (functor \"b\") (args (args variable)))))",
+    "(clause (binop variable \"=\") (compound (functor \"deleteBT\") (args (args variable))))",
+    "(clause (compound (functor \"deleteBT\") (args variable)))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args variable))))))) (binop \"=\" (compound (functor \"b\") (args (args variable)))))",
+    "(clause (compound (functor \"deleteBT\") (args (args (args variable)))) (binop \"=\" (compound (functor \"b\") (args variable))))",
+    "(clause (compound (functor \"deleteBT\") (args (args (args variable)))) (binop \"=\" (compound (functor \"b\") (args (args (args variable))))))",
+    "(clause (binop \"=\" (compound (functor \"b\") (args (args variable)))))",
+    "(clause (compound (functor \"deleteBT\") (args (args (args variable)))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (args (compound (functor \"b\") (args (args variable)))))))) (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args variable)))))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (compound (functor \"b\") (args variable)))))))) (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args variable))))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args variable)))))) (binop variable \"=\"))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (compound (functor \"b\") (args (args (args variable)))))))))) (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args (args variable))))))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (compound (functor \"b\") (args (args variable))))))))) (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args variable)))))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args (args (compound (functor \"b\") (args (args (args variable)))))))))))) (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args (args variable))))))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args (args (compound (functor \"b\") (args variable)))))))))) (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args variable))))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args (args (compound (functor \"b\") (args (args variable))))))))))) (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args variable)))))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (compound (functor \"b\") (args (args variable))))))))) (compound (functor \"deleteBT\") (args variable)))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args (args variable)))))))) (binop variable \"=\"))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args (args (compound (functor \"b\") (args (args variable))))))))))) (compound (functor \"deleteBT\") (args variable)))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (compound (functor \"b\") (args (args variable))))) (args (compound (functor \"b\") (args (args variable)))))))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args variable))))))) (binop \"=\" variable))",
+    "(clause (binop \"=\" (compound (functor \"b\") (args variable (args (args variable))))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args (args (compound (functor \"b\") (args (args variable))))))) (args (compound (functor \"b\") (args (args variable)))))))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (args variable))))) (compound (functor \"deleteBT\") (args (args (args variable)))))",
+    "(clause (head (compound (functor \"deleteBT\") (args variable))) (binop variable \"=\"))",
+    "(clause (head (compound (functor \"deleteBT\") (args variable))))",
+    "(clause (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args variable)))))) (binop \"=\" (compound (functor \"b\") (args (args variable)))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args (args variable)))))))) (binop \"=\" variable))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args variable))))))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args variable)))))) (binop \"=\" variable))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (args (compound (functor \"b\") (args (args variable)))))))) (binop variable \"=\"))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (args (compound (functor \"b\") (args (args (args variable))))))))) (binop variable \"=\"))",
+    "(clause (binop \"=\" variable) (compound (functor \"deleteBT\") (args variable)))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (compound (functor \"b\") (args (args variable))))))))) (binop \"=\" (compound (functor \"b\") (args (args variable)))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (args (compound (functor \"b\") (args variable))))))) (binop variable \"=\"))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (args (compound (functor \"b\") (args (args variable)))))))) (binop \"=\" (compound (functor \"b\") (args (args variable)))))",
+    "(clause (compound (functor \"deleteBT\") (args variable)) (compound (functor \"deleteBT\") (args variable)))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args (args (compound (functor \"b\") (args (args variable))))))))))) (binop \"=\" (compound (functor \"b\") (args (args variable)))))",
+    "(clause (binop \"=\" variable) (compound (functor \"deleteBT\") (args (args variable))))",
+    "(clause (head (compound (functor \"deleteRoot\") (args (args variable)))) (binop variable \"=\"))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args variable))))))) (compound (functor \"deleteBT\") (args variable)))",
+    "(clause (head (compound (functor \"deleteRoot\") (args (compound (functor \"b\") (args (args variable)))))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (args variable))))))",
+    "(clause (binop (compound (functor \"b\") (args (args variable))) \"=\") (compound (functor \"deleteBT\") (args variable)))",
+    "(clause (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args variable)))))))",
+    "(clause (binop \"=\" (compound (functor \"b\") (args (args (args (compound (functor \"b\") (args (args variable)))))))))",
+    "(clause (binop \"\\=\" variable) (compound (functor \"deleteBT\") (args variable)))",
+    "(clause (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args (args variable))))))))",
+    "(clause (binop variable \"=\") (binop \"=\" (compound (functor \"b\") (args (args (args variable))))))",
+    "(clause (binop (compound (functor \"b\") (args (args (args variable)))) \"=\"))",
+    "(clause (binop variable \"=\") (binop \"=\" (compound (functor \"b\") (args variable))))",
+    "(clause (compound (functor \"deleteBT\") (args (args (args variable)))) (binop \"=\" variable))",
+    "(clause (binop variable \"=\") (compound (functor \"deleteRoot\") (args variable)))",
+    "(clause (binop variable \"\\==\") (compound (functor \"deleteBT\") (args variable)))",
+    "(clause (binop (compound (functor \"b\") (args variable)) \"=\"))",
+    "(clause (head (compound (functor \"deleteBT\") (args variable))) (binop variable \"\\=\"))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args variable))))))) (binop \"\\==\" variable))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args variable))))))) (binop \"\\=\" variable))",
+    "(clause (head (compound (functor \"deleteBT\") (args variable))) (binop variable \"\\==\"))",
+    "(clause (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args variable))))))",
+    "(clause (head (compound (functor \"deleteBT\") (args variable (args (compound (functor \"b\") (args (compound (functor \"b\") (args (args variable))))))))))",
+    "(clause (compound (functor \"deleteBT\") (args variable)) (binop \"=\" variable))",
+    "(clause (head (compound (functor \"deleteRoot\") (args (compound (functor \"b\") (args variable))))) (binop variable \"=\"))",
+    "(clause (head (compound (functor \"deleteBT\") (args variable))) (compound (functor \"deleteRoot\") (args (compound (functor \"b\") (args (args variable))))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args variable))))))) (compound (functor \"deleteRoot\") (args (compound (functor \"b\") (args (args variable))))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args (args variable)))) (args variable))))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args variable)))))) (compound (functor \"deleteRoot\") (args (compound (functor \"b\") (args variable)))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args (args variable)))))))) (compound (functor \"deleteRoot\") (args (compound (functor \"b\") (args (args (args variable)))))))",
+    "(clause (binop \"=\" (compound (functor \"b\") (args variable))) (binop \"=\" (compound (functor \"b\") (args variable))))",
+    "(clause (head (compound (functor \"deleteBT\") (args variable (args (compound (functor \"b\") (args (args (args (compound (functor \"b\") (args (args variable))))))))))))",
+    "(clause (binop \"=\" (compound (functor \"b\") (args (args (args variable))))) (binop \"=\" (compound (functor \"b\") (args (args (args variable))))))",
+    "(clause (head (compound (functor \"deleteRoot\") (args (compound (functor \"b\") (args (args (args variable))))))) (binop variable \"=\"))",
+    "(clause (binop variable \"=\") (compound (functor \"delrootBT\") (args variable)))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (args variable))))) (compound (functor \"deleteRoot\") (args (args variable))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args variable)) (args variable))))))",
+    "(clause (binop \"=\" variable variable))",
+    "(clause (binop (compound (functor \"b\") (args variable (args (args variable)))) \"=\"))",
+    "(clause (binop variable \"\\=\") (compound (functor \"deleteBT\") (args variable)))",
+    "(clause (binop variable \"==\"))",
+    "(clause (head (compound (functor \"deleteBT\") (args variable))) (binop variable \"==\"))",
+    "(clause (compound (functor \"memberBT\") (args variable)) (compound (functor \"deleteBT\") (args variable)))",
+    "(clause (head (compound (functor \"deleteBT\") (args variable (args (args (compound (functor \"b\") (args (args variable)))))))))",
+    "(clause (compound (functor \"potegniR\") (args (compound (functor \"b\") (args (args (args variable)))))))",
+    "(clause (head (compound (functor \"deleteBTtop\") (args (compound (functor \"b\") (args (args variable)))))))",
+    "(clause (head (compound (functor \"deleteBT\") (args variable))) (compound (functor \"memberBT\") (args variable)))",
+    "(clause (head (compound (functor \"deleteBT\") (args variable))) (compound (functor \"delete\") (args variable)))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args (args variable)))))))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (args (compound (functor \"b\") (args (args (args variable))))))))) (binop \"=\" variable))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (args (compound (functor \"b\") (args (args variable)))))))) (binop \"=\" variable))",
+    "(clause (compound (functor \"potegniR\") (args (compound (functor \"b\") (args (args variable))))))",
+    "(clause (compound (functor \"deleteRoot\") (args (args variable))) (binop \"=\" (compound (functor \"b\") (args (args (args variable))))))",
+    "(clause (binop (compound (functor \"b\") (args (args variable))) \"=\") (binop \"=\" variable))",
+    "(clause (compound (functor \"deleteRoot\") (args (args variable))) (binop \"=\" (compound (functor \"b\") (args variable))))",
+    "(clause (compound (functor \"memberBT\") (args (args variable))) (compound (functor \"deleteBT\") (args (args variable))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (args (compound (functor \"b\") (args variable))))))) (binop \"=\" variable))",
+    "(clause (compound (functor \"potegniR\") (args (compound (functor \"b\") (args variable)))))",
+    "(clause (compound (functor \"potegniR\") (args (args variable))))",
+    "(clause (head (compound (functor \"potegniL\") (args (compound (functor \"b\") (args (args variable)))))))",
+    "(clause (binop \"==\" variable))",
+    "(clause (head (compound (functor \"deleteRoot\") (args (compound (functor \"b\") (args variable))))) (compound (functor \"deleteRoot\") (args variable)))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args variable)))))))",
+    "(clause (compound (functor \"deleteRoot\") (args variable)))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args (args (compound (functor \"b\") (args (args (args variable)))))))))))) (binop \"=\" (compound (functor \"b\") (args (args (args (compound (functor \"b\") (args (args (args variable))))))))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args (args (compound (functor \"b\") (args variable)))))))))) (binop \"=\" (compound (functor \"b\") (args (args (args (compound (functor \"b\") (args variable))))))))",
+    "(clause (binop \"=\" (compound (functor \"b\") (args (args variable)))) (binop \"=\" variable))",
+    "(clause (compound (functor \"deleteBTtop\") (args variable)) (binop variable \"=\"))",
+    "(clause (head (compound (functor \"deleteBTtop\") (args (args (compound (functor \"b\") (args (args variable))))))) (binop \"=\" (compound (functor \"b\") (args (args variable)))))",
+    "(clause (compound (functor \"deleteBT\") (args variable)) (binop variable \"=\"))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (args (compound (functor \"b\") (args (args variable)))))))) (binop (compound (functor \"b\") (args (args variable))) \"=\"))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args variable))))))) (binop variable \"\\=\"))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (compound (functor \"b\") (args (args (args variable)))))))))) (binop \"=\" (compound (functor \"b\") (args (compound (functor \"b\") (args (args (args variable))))))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args variable))))))) (binop \"==\" variable))",
+    "(clause (head (compound (functor \"deleteBT\") (args variable))) (binop \"\\=\" variable))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (args (compound (functor \"b\") (args (args variable)))))))) (binop variable \"\\=\"))",
+    "(clause (binop \"=\" (compound (functor \"b\") (args variable))) (compound (functor \"deleteBT\") (args (args (args variable)))))",
+    "(clause (binop \"=\" variable) (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args variable)))))))",
+    "(clause (head (compound (functor \"delrootBT\") (args (args variable)))) (binop variable \"=\"))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (compound (functor \"b\") (args variable)))))))) (binop \"=\" (compound (functor \"b\") (args (compound (functor \"b\") (args variable))))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args (args (compound (functor \"b\") (args (args variable))))))))))) (binop \"=\" (compound (functor \"b\") (args (args (args (compound (functor \"b\") (args (args variable)))))))))",
+    "(clause (binop \"=\" (compound (functor \"b\") (args (args (args variable))))) (compound (functor \"deleteBT\") (args (args variable))))",
+    "(clause (binop \"\\=\" variable) (binop \"=\" (compound (functor \"b\") (args (args variable)))))",
+    "(clause (binop \"=\" (compound (functor \"b\") (args (args (args variable))))) (compound (functor \"deleteBT\") (args (args (args variable)))))",
+    "(clause (binop \"\\==\" variable) (binop \"=\" (compound (functor \"b\") (args (args variable)))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args variable (args (args variable)))))))))",
+    "(clause (head (compound (functor \"deleteR\") (args (compound (functor \"b\") (args (args variable)))))) (binop \"=\" (compound (functor \"b\") (args variable))))",
+    "(clause (binop variable \"=\") (compound (functor \"deleteR\") (args variable)))",
+    "(clause (head (compound (functor \"deleteR\") (args (compound (functor \"b\") (args (args variable)))))) (binop \"=\" (compound (functor \"b\") (args (args (args variable))))))",
+    "(clause (compound (functor \"deleteR\") (args (compound (functor \"b\") (args (args (args variable)))))))",
+    "(clause (compound (functor \"deleteR\") (args (compound (functor \"b\") (args (args variable))))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args variable)))))",
+    "(clause (head (compound (functor \"deleteRoot\") (args (compound (functor \"b\") (args (args (args variable))))))) (binop \"=\" (compound (functor \"b\") (args (args (args variable))))))",
+    "(clause (compound (functor \"deleteR\") (args (compound (functor \"b\") (args variable)))))",
+    "(clause (head (compound (functor \"deleteBT\") (args variable))) (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args variable)))))))",
+    "(clause (compound (functor \"delrootBT\") (args (args variable))) (binop \"=\" (compound (functor \"b\") (args variable))))",
+    "(clause (head (compound (functor \"deleteRoot\") (args (compound (functor \"b\") (args variable))))) (binop \"=\" (compound (functor \"b\") (args variable))))",
+    "(clause (head (compound (functor \"potegniR\") (args (compound (functor \"b\") (args (args variable)))))))",
+    "(clause (compound (functor \"deleteBT\") (args (args (args variable)))) (compound (functor \"deleteBT\") (args (args (args variable)))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (args (compound (functor \"b\") (args (args variable)))))))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args (args (compound (functor \"b\") (args (args variable))))))))))) (binop \"=\" variable))",
+    "(clause (binop \"=\" (compound (functor \"b\") (args (args (args (compound (functor \"b\") (args variable))))))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (args (compound (functor \"b\") (args (args variable)))))))) (binop \"\\=\" variable))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (compound (functor \"b\") (args (args variable))))))))) (binop \"=\" variable))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args (args (compound (functor \"b\") (args (args (args variable)))))))))))) (compound (functor \"moveUp\") (args (args variable))))",
+    "(clause (binop \"=\" (compound (functor \"b\") (args (args (args (compound (functor \"b\") (args (args (args variable))))))))))",
+    "(clause (head (compound (functor \"deleteBT\") (args variable))) (binop \"=\" (compound (functor \"b\") (args (args variable)))))",
+    "(clause (compound (functor \"deleteBT\") (args (args (args variable)))) (binop variable \"=\"))",
+    "(clause (binop (compound (functor \"b\") (args (args variable))) \"=\"))",
+    "(clause (compound (functor \"delrootBT\") (args (args variable))) (binop \"=\" (compound (functor \"b\") (args (args (args variable))))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (compound (functor \"b\") (args (args (args variable)))))))))) (compound (functor \"moveUp\") (args (args variable))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args (args variable)))))))) (compound (functor \"delete\") (args (args variable))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args variable)) (args (compound (functor \"b\") (args (args variable)))))))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (compound (functor \"b\") (args variable)))))))) (compound (functor \"moveUp\") (args variable)))",
+    "(clause (head (compound (functor \"deleteBT\") (args variable))) (binop variable \"=\\=\"))",
+    "(clause (head (compound (functor \"delrootBT\") (args (compound (functor \"b\") (args (args variable)))))) (binop \"=\" (compound (functor \"b\") (args (args (args variable))))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (args (compound (functor \"b\") (args variable))))))) (compound (functor \"moveUp\") (args (args (args variable)))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args variable)))))) (compound (functor \"memberBT\") (args (args variable))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args variable)))))) (compound (functor \"delete\") (args (args variable))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (compound (functor \"b\") (args (args variable))))))))) (binop \"=\" (compound (functor \"b\") (args (compound (functor \"b\") (args (args variable)))))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (args (compound (functor \"b\") (args (args (args variable))))))))) (compound (functor \"moveUp\") (args (args (args variable)))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args (args (compound (functor \"b\") (args variable)))))))))) (compound (functor \"moveUp\") (args variable)))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args variable))))))) (binop \"=\\=\" variable))",
+    "(clause (head (compound (functor \"delrootBT\") (args (compound (functor \"b\") (args (args variable)))))) (binop \"=\" (compound (functor \"b\") (args variable))))",
+    "(clause (binop \"=\" (compound (functor \"b\") (args (args variable)))) (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args variable)))))))",
+    "(clause (head (compound (functor \"deleteBT\") (args variable (args (compound (functor \"b\") (args variable)))))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args variable)))))) (compound (functor \"potegniR\") (args (compound (functor \"b\") (args variable)))))",
+    "(clause (head (compound (functor \"potegniL\") (args (compound (functor \"b\") (args (compound (functor \"b\") (args (args variable)))))))) (compound (functor \"potegniL\") (args (compound (functor \"b\") (args (args variable))))))",
+    "(clause (head (compound (functor \"deleteRoot\") (args (compound (functor \"b\") (args (args (args variable))))))) (compound (functor \"deleteRoot\") (args variable)))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args (args variable)))))))) (compound (functor \"potegniR\") (args (compound (functor \"b\") (args (args (args variable)))))))",
+    "(clause (head (compound (functor \"potegniL\") (args (compound (functor \"b\") (args (compound (functor \"b\") (args (args (args variable))))))))) (compound (functor \"potegniL\") (args (compound (functor \"b\") (args (args (args variable)))))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (args variable))))) (compound (functor \"potegniR\") (args (args variable))))",
+    "(clause (compound (functor \"potegniL\") (args (compound (functor \"b\") (args (args (args variable)))))))",
+    "(clause (head (compound (functor \"potegniL\") (args (args (compound (functor \"b\") (args variable)))))) (compound (functor \"potegniL\") (args (args variable))))",
+    "(clause (binop \"=\" variable) (compound (functor \"potegniR\") (args (compound (functor \"b\") (args (args variable))))))",
+    "(clause (head (compound (functor \"moveUp\") (args (args (args variable))))) (binop variable \"=\"))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args variable))))))) (compound (functor \"potegniR\") (args (compound (functor \"b\") (args (args variable))))))",
+    "(clause (compound (functor \"potegniL\") (args (compound (functor \"b\") (args (args variable))))))",
+    "(clause (compound (functor \"potegniL\") (args (compound (functor \"b\") (args variable)))))",
+    "(clause (head (compound (functor \"potegniL\") (args (args (compound (functor \"b\") (args (args variable))))))) (compound (functor \"potegniL\") (args (compound (functor \"b\") (args (args variable))))))",
+    "(clause (head (compound (functor \"potegniL\") (args (compound (functor \"b\") (args (compound (functor \"b\") (args variable))))))) (compound (functor \"potegniL\") (args (compound (functor \"b\") (args variable)))))",
+    "(clause (head (compound (functor \"potegniL\") (args (compound (functor \"b\") (args (compound (functor \"b\") (args (args variable))))) (args (compound (functor \"b\") (args (args variable))))))))",
+    "(clause (binop variable \"=\") (compound (functor \"potegniR\") (args (compound (functor \"b\") (args variable)))))",
+    "(clause (compound (functor \"potegniL\") (args (args variable))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args (args variable)))))))) (compound (functor \"potegniL\") (args (compound (functor \"b\") (args (args (args variable)))))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args variable)))) (binop variable \"=\"))",
+    "(clause (head (compound (functor \"potegniL\") (args (compound (functor \"b\") (args (args (args variable)))) (args (compound (functor \"b\") (args (args (args variable)))))))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args variable))))))) (compound (functor \"potegniL\") (args (compound (functor \"b\") (args (args variable))))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args variable)))))) (compound (functor \"potegniL\") (args (compound (functor \"b\") (args variable)))))",
+    "(clause (binop \"=\" (compound (functor \"b\") (args variable))) (compound (functor \"deleteBT\") (args (args variable))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (compound (functor \"b\") (args (args (args variable)))))))))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (args variable))))) (compound (functor \"potegniL\") (args (args variable))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args (args variable)))))))) (compound (functor \"deleteBTtop\") (args (compound (functor \"b\") (args (args (args variable)))))))",
+    "(clause (head (compound (functor \"deleteBTtop\") (args (compound (functor \"b\") (args (args (args variable))))))) (compound (functor \"deleteBTtop\") (args variable)))",
+    "(clause (binop variable \"=\") (compound (functor \"deleteRootBT\") (args variable)))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args (args (compound (functor \"b\") (args variable)))))))))))",
+    "(clause (head (compound (functor \"deleteBT\") (args variable (args (compound (functor \"b\") (args (args (args variable)))))))))",
+    "(clause (head (compound (functor \"deleteBT\") (args variable))) (compound (functor \"deleteBTtop\") (args (compound (functor \"b\") (args (args variable))))))",
+    "(clause (compound (functor \"memeberBT\") (args variable)) (compound (functor \"deleteBT\") (args variable)))",
+    "(clause (head (compound (functor \"delrootBT\") (args (compound (functor \"b\") (args variable))))) (binop variable \"=\"))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args (args variable)))))))) (compound (functor \"memberBT\") (args (args variable))))",
+    "(clause (compound (functor \"memeberBT\") (args (args variable))) (compound (functor \"deleteBT\") (args (args variable))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args variable)))))) (compound (functor \"deleteBTtop\") (args (compound (functor \"b\") (args variable)))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args variable))))))) (compound (functor \"deleteBTtop\") (args (compound (functor \"b\") (args (args variable))))))",
+    "(clause (head (compound (functor \"delrootBT\") (args (compound (functor \"b\") (args (args (args variable))))))) (binop variable \"=\"))",
+    "(clause (head (compound (functor \"delrootBT\") (args (compound (functor \"b\") (args variable))))) (binop \"=\" (compound (functor \"b\") (args variable))))",
+    "(clause (compound (functor \"memeberBT\") (args variable)))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args variable (args variable)))))))))",
+    "(clause (head (compound (functor \"delrootBT\") (args (compound (functor \"b\") (args (args (args variable))))))) (binop \"=\" (compound (functor \"b\") (args (args (args variable))))))",
+    "(clause (head (compound (functor \"deleteBTtop\") (args (args (compound (functor \"b\") (args (args (args variable)))))))) (compound (functor \"deleteBTtop\") (args (args variable))))",
+    "(clause (head (compound (functor \"deleteBTtop\") (args (compound (functor \"b\") (args variable))))) (compound (functor \"deleteBTtop\") (args variable)))",
+    "(clause (head (binop \"=\" variable)))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (args (compound (functor \"b\") (args (args (args variable))))))))) (compound (functor \"delete\") (args (args (args variable)))))",
+    "(clause (head (compound (functor \"deleteBTtop\") (args (args (compound (functor \"b\") (args variable)))))) (compound (functor \"deleteBTtop\") (args (args variable))))",
+    "(clause (head (compound (functor \"createBT\") (args (compound (functor \"b\") (args (args variable)))))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (args (compound (functor \"b\") (args variable))))))) (compound (functor \"deleteBT\") (args (args variable))))",
+    "(clause (head (compound (functor \"deleteBTtop\") (args (compound (functor \"b\") (args (args (args variable))))))) (binop variable \"=\"))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (args variable))))) (compound (functor \"deleteBTtop\") (args (args variable))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args (args variable)))) (args (compound (functor \"b\") (args (args variable)))))))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (args (compound (functor \"b\") (args variable))))))) (compound (functor \"delete\") (args (args (args variable)))))",
+    "(clause (head (compound (functor \"delrootBT\") (args (compound (functor \"b\") (args variable))))) (compound (functor \"delrootBT\") (args variable)))",
+    "(clause (compound (functor \"deleteBT\") (args (args variable))) (binop \"=\" variable))",
+    "(clause (compound (functor \"deleteBT\") (args variable)) (binop variable \"\\=\"))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (compound (functor \"b\") (args variable)))))))) (compound (functor \"deleteBT\") (args (args variable))))",
+    "(clause (binop \"=\" variable) (binop \"=\" variable))",
+    "(clause (head (compound (functor \"deleteBT\") (args variable))) (compound (functor \"memeberBT\") (args variable)))",
+    "(clause (head (compound (functor \"deleteBTtop\") (args (compound (functor \"b\") (args variable))))) (binop variable \"=\"))",
+    "(clause (binop \"=\" variable) (compound (functor \"deleteR\") (args (compound (functor \"b\") (args (args variable))))))",
+    "(clause (binop \"=\" (compound (functor \"b\") (args variable))) (compound (functor \"moveUp\") (args (args (args variable)))))",
+    "(clause (head (compound (functor \"moveUp\") (args (args variable)))) (binop \"=\" (compound (functor \"b\") (args (args (args variable))))))",
+    "(clause (head (compound (functor \"moveUp\") (args (args variable (args variable))))))",
+    "(clause (compound (functor \"memberBT\") (args variable)))",
+    "(clause (head (compound (functor \"moveUp\") (args variable (args (args variable))))))",
+    "(clause (binop variable \"=\") (binop variable \"=\"))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args variable))))))) (compound (functor \"deleteR\") (args (compound (functor \"b\") (args (args variable))))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args (args variable)))))))) (compound (functor \"deleteR\") (args (compound (functor \"b\") (args (args (args variable)))))))",
+    "(clause (binop \"=\" (compound (functor \"b\") (args (args variable)))) (compound (functor \"deleteRoot\") (args variable)))",
+    "(clause (head (compound (functor \"deleteBt\") (args (args (args variable))))) (binop variable \"=\"))",
+    "(clause (head (compound (functor \"moveUp\") (args (compound (functor \"b\") (args variable))))) (compound (functor \"moveUp\") (args variable)))",
+    "(clause (head (compound (functor \"moveUp\") (args (compound (functor \"b\") (args (args variable)))))) (binop \"=\" (compound (functor \"b\") (args (args variable)))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args (args (compound (functor \"b\") (args (args (args variable)))))))))))) (compound (functor \"deleteBT\") (args (args variable))))",
+    "(clause (head (compound (functor \"deleteR\") (args (compound (functor \"b\") (args (args (args variable))))))) (binop \"=\" (compound (functor \"b\") (args (args (args variable))))))",
+    "(clause (binop \"=\" (compound (functor \"b\") (args variable))) (binop \"=\" (compound (functor \"b\") (args (args (args variable))))))",
+    "(clause (binop \"\\==\" variable) (binop \"=\" variable))",
+    "(clause (head (compound (functor \"deleteR\") (args (compound (functor \"b\") (args variable))))) (compound (functor \"deleteR\") (args variable)))",
+    "(clause (head (compound (functor \"delrootBT\") (args (compound (functor \"b\") (args (args (args variable))))))) (compound (functor \"delrootBT\") (args variable)))",
+    "(clause (head (compound (functor \"deleteR\") (args (compound (functor \"b\") (args variable))))) (binop variable \"=\"))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args variable (args variable))))))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (compound (functor \"b\") (args (args (args variable)))))) (args (compound (functor \"b\") (args (compound (functor \"b\") (args (args (args variable))))))))))))",
+    "(clause (binop \"=\" (compound (functor \"b\") (args (args (args variable))))) (binop \"=\" (compound (functor \"b\") (args variable))))",
+    "(clause (head (compound (functor \"moveUp\") (args (compound (functor \"b\") (args (args (args variable))))))) (compound (functor \"moveUp\") (args (args variable))))",
+    "(clause (head (compound (functor \"deleteR\") (args (compound (functor \"b\") (args (args (args variable))))))) (binop variable \"=\"))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args (args variable)))))))) (binop \"=\" (compound (functor \"b\") (args (args variable)))))",
+    "(clause (head (compound (functor \"deleteR\") (args (compound (functor \"b\") (args (args (args variable))))))) (compound (functor \"deleteR\") (args variable)))",
+    "(clause (head (compound (functor \"deleteBt\") (args (args (compound (functor \"b\") (args (args variable))))))) (binop \"=\" (compound (functor \"b\") (args (args variable)))))",
+    "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args variable)))))) (compound (functor \"deleteR\") (args (compound (functor \"b\") (args variable)))))",
+    "(clause (binop variable \"=\") (compound (functor \"deleteRoot\") (args (args variable))))"
+  ],
+  "rules": [
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args variable))))))))"
+      ],
+      "distribution": [
+        54,
+        0
+      ],
+      "quality": 0.966653720745129
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"deleteBT\") (args (args (args variable))))) (compound (functor \"deleteBT\") (args (args (args variable)))))"
+      ],
+      "distribution": [
+        51,
+        0
+      ],
+      "quality": 0.9647465294505704
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"deleteBT\") (args variable))))"
+      ],
+      "distribution": [
+        71,
+        1
+      ],
+      "quality": 0.9577830988832008
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (compound (functor \"deleteBT\") (args variable)) (compound (functor \"deleteBT\") (args variable)))"
+      ],
+      "distribution": [
+        40,
+        0
+      ],
+      "quality": 0.9520873377516836
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"deleteBT\") (args (args (args variable))))))"
+      ],
+      "distribution": [
+        29,
+        0
+      ],
+      "quality": 0.928054594922129
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (compound (functor \"deleteBT\") (args (args (args variable)))) (binop \"=\" variable))"
+      ],
+      "distribution": [
+        15,
+        0
+      ],
+      "quality": 0.8333214792658596
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args variable))))))) (compound (functor \"deleteBT\") (args variable)))"
+      ],
+      "distribution": [
+        15,
+        0
+      ],
+      "quality": 0.8333214792658596
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args variable))))))"
+      ],
+      "distribution": [
+        14,
+        0
+      ],
+      "quality": 0.830490740715106
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args (args variable)))))))))"
+      ],
+      "distribution": [
+        14,
+        0
+      ],
+      "quality": 0.830490740715106
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args (args variable)))))))) (compound (functor \"deleteBT\") (args (args variable))))",
+        "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args variable))) (args (compound (functor \"b\") (args (args variable)))))))))",
+        "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args (args (compound (functor \"b\") (args (args variable))))))) (args (compound (functor \"b\") (args (args variable)))))))))",
+        "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (compound (functor \"b\") (args (args (args variable)))))))))) (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args (args variable))))))))",
+        "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args (args (compound (functor \"b\") (args variable)))))))))) (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args variable))))))"
+      ],
+      "distribution": [
+        7,
+        46
+      ],
+      "quality": 0.7897208120726826
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args (args variable)))))))) (compound (functor \"deleteBT\") (args (args variable))))",
+        "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args variable))) (args (compound (functor \"b\") (args (args variable)))))))))",
+        "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args (args variable)))) (args (compound (functor \"b\") (args (args (args variable))))))))))",
+        "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args (args (compound (functor \"b\") (args variable)))))))))) (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args variable))))))",
+        "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (compound (functor \"b\") (args (args variable))))))))) (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args variable)))))))"
+      ],
+      "distribution": [
+        10,
+        47
+      ],
+      "quality": 0.7488711530556023
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (head (compound (functor \"deleteBT\") (args variable))) (compound (functor \"deleteBT\") (args variable)))",
+        "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args (args variable)))))))) (compound (functor \"deleteBT\") (args (args variable))))",
+        "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args (args (compound (functor \"b\") (args (args (args variable)))))))))))) (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args (args variable))))))))",
+        "(clause (head (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (compound (functor \"b\") (args (args (args variable)))))))))) (compound (functor \"deleteBT\") (args (args (compound (functor \"b\") (args (args (args variable))))))))"
+      ],
+      "distribution": [
+        26,
+        53
+      ],
+      "quality": 0.6157095689691464
+    }
+  ]
+}
\ No newline at end of file