@tuprolog/2p-full 1.3.1 → 1.4.1

package/2p-solve-problog.js

@@ -219,7 +219,7 @@
   function get_probabilityOrNull() {
     var tmp;
     try {
-      tmp = this.b37();
+      tmp = this.g39();
     } catch ($p) {
       var tmp_0;
       if ($p instanceof Error) {
@@ -265,163 +265,163 @@
   //endregion
   function MutableProblogSolver(solver) {
     ProblogSolver.call(this, solver);
-    this.w34_1 = solver;
+    this.b37_1 = solver;
   }
-  protoOf(MutableProblogSolver).x2y = function (library) {
-    this.w34_1.loadLibrary(library);
+  protoOf(MutableProblogSolver).c31 = function (library) {
+    this.b37_1.loadLibrary(library);
   };
   protoOf(MutableProblogSolver).loadLibrary = function (library) {
-    return this.x2y(library);
+    return this.c31(library);
   };
-  protoOf(MutableProblogSolver).y2y = function (library) {
-    this.w34_1.unloadLibrary(library);
+  protoOf(MutableProblogSolver).d31 = function (library) {
+    this.b37_1.unloadLibrary(library);
   };
   protoOf(MutableProblogSolver).unloadLibrary = function (library) {
-    return this.y2y(library);
+    return this.d31(library);
   };
-  protoOf(MutableProblogSolver).z2y = function (libraries) {
-    this.w34_1.setLibraries(libraries);
+  protoOf(MutableProblogSolver).e31 = function (libraries) {
+    this.b37_1.setLibraries(libraries);
   };
   protoOf(MutableProblogSolver).setLibraries = function (libraries) {
-    return this.z2y(libraries);
+    return this.e31(libraries);
   };
-  protoOf(MutableProblogSolver).a2z = function (theory) {
-    this.w34_1.loadStaticKb(Companion_instance_10.ofIterable(this.w34_1.m1i(), theory));
+  protoOf(MutableProblogSolver).f31 = function (theory) {
+    this.b37_1.loadStaticKb(Companion_instance_10.ofIterable(this.b37_1.r1k(), theory));
   };
   protoOf(MutableProblogSolver).loadStaticKb = function (theory) {
-    return this.a2z(theory);
+    return this.f31(theory);
   };
-  protoOf(MutableProblogSolver).b2z = function (theory) {
-    this.w34_1.appendStaticKb(Companion_instance_10.ofIterable(this.w34_1.m1i(), theory));
+  protoOf(MutableProblogSolver).g31 = function (theory) {
+    this.b37_1.appendStaticKb(Companion_instance_10.ofIterable(this.b37_1.r1k(), theory));
   };
   protoOf(MutableProblogSolver).appendStaticKb = function (theory) {
-    return this.b2z(theory);
+    return this.g31(theory);
   };
-  protoOf(MutableProblogSolver).c2z = function () {
-    this.w34_1.resetStaticKb();
+  protoOf(MutableProblogSolver).h31 = function () {
+    this.b37_1.resetStaticKb();
   };
   protoOf(MutableProblogSolver).resetStaticKb = function () {
-    return this.c2z();
+    return this.h31();
   };
-  protoOf(MutableProblogSolver).d2z = function (theory) {
-    this.w34_1.loadDynamicKb(Companion_instance_10.ofIterable(this.w34_1.m1i(), theory));
+  protoOf(MutableProblogSolver).i31 = function (theory) {
+    this.b37_1.loadDynamicKb(Companion_instance_10.ofIterable(this.b37_1.r1k(), theory));
   };
   protoOf(MutableProblogSolver).loadDynamicKb = function (theory) {
-    return this.d2z(theory);
+    return this.i31(theory);
   };
-  protoOf(MutableProblogSolver).e2z = function (theory) {
-    this.w34_1.appendDynamicKb(Companion_instance_10.ofIterable(this.w34_1.m1i(), theory));
+  protoOf(MutableProblogSolver).j31 = function (theory) {
+    this.b37_1.appendDynamicKb(Companion_instance_10.ofIterable(this.b37_1.r1k(), theory));
   };
   protoOf(MutableProblogSolver).appendDynamicKb = function (theory) {
-    return this.e2z(theory);
+    return this.j31(theory);
   };
-  protoOf(MutableProblogSolver).f2z = function () {
-    this.w34_1.resetDynamicKb();
+  protoOf(MutableProblogSolver).k31 = function () {
+    this.b37_1.resetDynamicKb();
   };
   protoOf(MutableProblogSolver).resetDynamicKb = function () {
-    return this.f2z();
+    return this.k31();
   };
-  protoOf(MutableProblogSolver).y1j = function (clause) {
-    this.w34_1.assertA(first(Companion_instance_10.of(this.w34_1.m1i(), [clause]).w1i()));
+  protoOf(MutableProblogSolver).d1m = function (clause) {
+    this.b37_1.assertA(first(Companion_instance_10.of(this.b37_1.r1k(), [clause]).b1l()));
   };
   protoOf(MutableProblogSolver).assertA = function (clause) {
-    return this.y1j(clause);
+    return this.d1m(clause);
   };
-  protoOf(MutableProblogSolver).g2z = function (fact) {
-    this.w34_1.assertA(first(Companion_instance_10.of(this.w34_1.m1i(), [Companion_instance.of(fact)]).w1i()));
+  protoOf(MutableProblogSolver).l31 = function (fact) {
+    this.b37_1.assertA(first(Companion_instance_10.of(this.b37_1.r1k(), [Companion_instance.of(fact)]).b1l()));
   };
   protoOf(MutableProblogSolver).assertAFact = function (fact) {
-    return this.g2z(fact);
+    return this.l31(fact);
   };
-  protoOf(MutableProblogSolver).z1i = function (clause) {
-    this.w34_1.assertZ(first(Companion_instance_10.of(this.w34_1.m1i(), [clause]).w1i()));
+  protoOf(MutableProblogSolver).e1l = function (clause) {
+    this.b37_1.assertZ(first(Companion_instance_10.of(this.b37_1.r1k(), [clause]).b1l()));
   };
   protoOf(MutableProblogSolver).assertZ = function (clause) {
-    return this.z1i(clause);
+    return this.e1l(clause);
   };
-  protoOf(MutableProblogSolver).h2z = function (fact) {
-    this.w34_1.assertA(first(Companion_instance_10.of(this.w34_1.m1i(), [Companion_instance.of(fact)]).w1i()));
+  protoOf(MutableProblogSolver).m31 = function (fact) {
+    this.b37_1.assertA(first(Companion_instance_10.of(this.b37_1.r1k(), [Companion_instance.of(fact)]).b1l()));
   };
   protoOf(MutableProblogSolver).assertZFact = function (fact) {
-    return this.h2z(fact);
+    return this.m31(fact);
   };
-  protoOf(MutableProblogSolver).s1q = function (clause) {
-    return this.w34_1.retract(first(Companion_instance_10.of(this.w34_1.m1i(), [clause]).w1i()));
+  protoOf(MutableProblogSolver).x1s = function (clause) {
+    return this.b37_1.retract(first(Companion_instance_10.of(this.b37_1.r1k(), [clause]).b1l()));
   };
   protoOf(MutableProblogSolver).retract = function (clause) {
-    return this.s1q(clause);
+    return this.x1s(clause);
   };
-  protoOf(MutableProblogSolver).t1q = function (fact) {
-    return this.w34_1.retract(first(Companion_instance_10.of(this.w34_1.m1i(), [Companion_instance.of(fact)]).w1i()));
+  protoOf(MutableProblogSolver).y1s = function (fact) {
+    return this.b37_1.retract(first(Companion_instance_10.of(this.b37_1.r1k(), [Companion_instance.of(fact)]).b1l()));
   };
   protoOf(MutableProblogSolver).retractByHead = function (fact) {
-    return this.t1q(fact);
+    return this.y1s(fact);
   };
-  protoOf(MutableProblogSolver).e1j = function (clause) {
-    return this.w34_1.retractAll(first(Companion_instance_10.of(this.w34_1.m1i(), [clause]).w1i()));
+  protoOf(MutableProblogSolver).j1l = function (clause) {
+    return this.b37_1.retractAll(first(Companion_instance_10.of(this.b37_1.r1k(), [clause]).b1l()));
   };
   protoOf(MutableProblogSolver).retractAll = function (clause) {
-    return this.e1j(clause);
+    return this.j1l(clause);
   };
-  protoOf(MutableProblogSolver).i2z = function (fact) {
-    return this.w34_1.retractAll(first(Companion_instance_10.of(this.w34_1.m1i(), [Companion_instance.of(fact)]).w1i()));
+  protoOf(MutableProblogSolver).n31 = function (fact) {
+    return this.b37_1.retractAll(first(Companion_instance_10.of(this.b37_1.r1k(), [Companion_instance.of(fact)]).b1l()));
   };
   protoOf(MutableProblogSolver).retractAllBeHead = function (fact) {
-    return this.i2z(fact);
+    return this.n31(fact);
   };
-  protoOf(MutableProblogSolver).j2z = function (name, value) {
-    this.w34_1.setFlag(name, value);
+  protoOf(MutableProblogSolver).o31 = function (name, value) {
+    this.b37_1.setFlag(name, value);
   };
   protoOf(MutableProblogSolver).setFlag = function (name, value) {
-    return this.j2z(name, value);
+    return this.o31(name, value);
   };
-  protoOf(MutableProblogSolver).k2z = function (flag) {
-    this.w34_1.setFlagPair(flag);
+  protoOf(MutableProblogSolver).p31 = function (flag) {
+    this.b37_1.setFlagPair(flag);
   };
   protoOf(MutableProblogSolver).setFlagPair = function (flag) {
-    return this.k2z(flag);
+    return this.p31(flag);
   };
-  protoOf(MutableProblogSolver).l2z = function (flag) {
-    this.w34_1.setFlagNotable(flag);
+  protoOf(MutableProblogSolver).q31 = function (flag) {
+    this.b37_1.setFlagNotable(flag);
   };
   protoOf(MutableProblogSolver).setFlagNotable = function (flag) {
-    return this.l2z(flag);
+    return this.q31(flag);
   };
-  protoOf(MutableProblogSolver).m2z = function (stdIn) {
-    this.w34_1.setStandardInput(stdIn);
+  protoOf(MutableProblogSolver).r31 = function (stdIn) {
+    this.b37_1.setStandardInput(stdIn);
   };
   protoOf(MutableProblogSolver).setStandardInput = function (stdIn) {
-    return this.m2z(stdIn);
+    return this.r31(stdIn);
   };
-  protoOf(MutableProblogSolver).n2z = function (stdErr) {
-    this.w34_1.setStandardError(stdErr);
+  protoOf(MutableProblogSolver).s31 = function (stdErr) {
+    this.b37_1.setStandardError(stdErr);
   };
   protoOf(MutableProblogSolver).setStandardError = function (stdErr) {
-    return this.n2z(stdErr);
+    return this.s31(stdErr);
   };
-  protoOf(MutableProblogSolver).o2z = function (stdOut) {
-    this.w34_1.setStandardOutput(stdOut);
+  protoOf(MutableProblogSolver).t31 = function (stdOut) {
+    this.b37_1.setStandardOutput(stdOut);
   };
   protoOf(MutableProblogSolver).setStandardOutput = function (stdOut) {
-    return this.o2z(stdOut);
+    return this.t31(stdOut);
   };
-  protoOf(MutableProblogSolver).p2z = function (warnings) {
-    this.w34_1.setWarnings(warnings);
+  protoOf(MutableProblogSolver).u31 = function (warnings) {
+    this.b37_1.setWarnings(warnings);
   };
   protoOf(MutableProblogSolver).setWarnings = function (warnings) {
-    return this.p2z(warnings);
+    return this.u31(warnings);
   };
-  protoOf(MutableProblogSolver).a1t = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
-    return new MutableProblogSolver(this.w34_1.a1t(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings));
+  protoOf(MutableProblogSolver).f1v = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
+    return new MutableProblogSolver(this.b37_1.f1v(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings));
   };
   protoOf(MutableProblogSolver).copy = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, $super) {
     return this.copy(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, ($super == null ? true : $super instanceof MutableProblogSolver) ? $super : THROW_CCE());
   };
-  protoOf(MutableProblogSolver).b1q = function () {
-    return new MutableProblogSolver(this.w34_1.b1q());
+  protoOf(MutableProblogSolver).g1s = function () {
+    return new MutableProblogSolver(this.b37_1.g1s());
   };
   protoOf(MutableProblogSolver).clone = function () {
-    return this.b1q();
+    return this.g1s();
   };
   function get_ANNOTATION_OPERATOR() {
     _init_properties_Operators_kt__ggskrn();
@@ -449,11 +449,11 @@
     var tmp_0 = Companion_getInstance_1();
     // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
     var tmp$ret$0 = ProbSetConfig_getInstance().signature.name;
-    var tmp_1 = tmp_0.of(tmp$ret$0, [ProbSetConfig_getInstance().k35(options)]);
+    var tmp_1 = tmp_0.of(tmp$ret$0, [ProbSetConfig_getInstance().p37(options)]);
     var tmp_2 = Companion_getInstance_1();
     // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
     var tmp$ret$1 = Prob_getInstance().signature.name;
-    var tmp_3 = $this.x34_1.solveWithOptions(tmp.of(tmp_1, tmp_2.of(tmp$ret$1, [anonVar, goal])), options);
+    var tmp_3 = $this.c37_1.solveWithOptions(tmp.of(tmp_1, tmp_2.of(tmp$ret$1, [anonVar, goal])), options);
     return map(tmp_3, ProblogSolver$solveNonProbabilistically$lambda(goal, anonVar));
   }
   function solveProbabilistically($this, goal, options) {
@@ -462,7 +462,7 @@
     var tmp = Companion_getInstance_1();
     // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
     var tmp$ret$0 = ProbQuery_getInstance().signature.name;
-    var tmp_0 = $this.x34_1.solveWithOptions(tmp.of(tmp$ret$0, [probabilityVar, goal, ProbSetConfig_getInstance().k35(options), bddVar]), options);
+    var tmp_0 = $this.c37_1.solveWithOptions(tmp.of(tmp$ret$0, [probabilityVar, goal, ProbSetConfig_getInstance().p37(options), bddVar]), options);
     return map(tmp_0, ProblogSolver$solveProbabilistically$lambda(probabilityVar, bddVar, goal, options));
   }
   function ProblogSolver$solveNonProbabilistically$lambda$lambda($anonVar) {
@@ -475,11 +475,11 @@
       var tmp;
       if (isInterface(it, Yes)) {
         var tmp_0 = Companion_instance_1;
-        var tmp_1 = it.f1s();
-        tmp = tmp_0.v1t($goal, tmp_1.yz(ProblogSolver$solveNonProbabilistically$lambda$lambda($anonVar)));
+        var tmp_1 = it.k1u();
+        tmp = tmp_0.a1w($goal, tmp_1.yz(ProblogSolver$solveNonProbabilistically$lambda$lambda($anonVar)));
       } else {
         if (isInterface(it, Halt)) {
-          tmp = Companion_instance_1.halt($goal, it.l1t());
+          tmp = Companion_instance_1.halt($goal, it.q1v());
         } else {
           tmp = Companion_instance_1.no($goal);
         }
@@ -494,16 +494,16 @@
   }
   function ProblogSolver$solveProbabilistically$lambda($probabilityVar, $bddVar, $goal, $options) {
     return function (it) {
-      var probabilityTerm = it.f1s().h2($probabilityVar);
-      var bddTerm = it.f1s().h2($bddVar);
+      var probabilityTerm = it.k1u().h2($probabilityVar);
+      var bddTerm = it.k1u().h2($bddVar);
       var tmp;
       if (isInterface(it, Yes)) {
         var tmp_0 = Companion_instance_1;
-        var tmp_1 = it.f1s();
-        tmp = tmp_0.v1t($goal, tmp_1.yz(ProblogSolver$solveProbabilistically$lambda$lambda($probabilityVar, $bddVar)));
+        var tmp_1 = it.k1u();
+        tmp = tmp_0.a1w($goal, tmp_1.yz(ProblogSolver$solveProbabilistically$lambda$lambda($probabilityVar, $bddVar)));
       } else {
         if (isInterface(it, Halt)) {
-          tmp = Companion_instance_1.halt($goal, it.l1t());
+          tmp = Companion_instance_1.halt($goal, it.q1v());
         } else {
           tmp = Companion_instance_1.no($goal);
         }
@@ -527,9 +527,9 @@
           tmp_4 = false;
         }
         if (tmp_4) {
-          var explanation = bddTerm.m35_1;
+          var explanation = bddTerm.r37_1;
           if (explanation instanceof BinaryDecisionDiagramExplanation) {
-            newSolution = setBinaryDecisionDiagram(newSolution, explanation.n35_1);
+            newSolution = setBinaryDecisionDiagram(newSolution, explanation.s37_1);
           }
         }
         tmp_2 = newSolution;
@@ -538,9 +538,9 @@
     };
   }
   function ProblogSolver(solver) {
-    this.x34_1 = solver;
+    this.c37_1 = solver;
   }
-  protoOf(ProblogSolver).g28 = function (goal, options) {
+  protoOf(ProblogSolver).l2a = function (goal, options) {
     var tmp;
     if (!get_isProbabilistic(options)) {
       tmp = solveNonProbabilistically(this, goal, options);
@@ -550,103 +550,103 @@
     return tmp;
   };
   protoOf(ProblogSolver).solveWithOptions = function (goal, options) {
-    return this.g28(goal, options);
+    return this.l2a(goal, options);
   };
-  protoOf(ProblogSolver).y34 = function (goal, timeout) {
-    return this.g28(goal, Companion_getInstance_2().allLazilyWithTimeout(timeout));
+  protoOf(ProblogSolver).d37 = function (goal, timeout) {
+    return this.l2a(goal, Companion_getInstance_2().allLazilyWithTimeout(timeout));
   };
   protoOf(ProblogSolver).solveWithTimeout = function (goal, timeout) {
-    return this.y34(goal, timeout);
+    return this.d37(goal, timeout);
   };
-  protoOf(ProblogSolver).z34 = function (goal) {
-    return this.g28(goal, Companion_getInstance_2().DEFAULT);
+  protoOf(ProblogSolver).e37 = function (goal) {
+    return this.l2a(goal, Companion_getInstance_2().DEFAULT);
   };
   protoOf(ProblogSolver).solve = function (goal) {
-    return this.z34(goal);
+    return this.e37(goal);
   };
-  protoOf(ProblogSolver).a35 = function (goal, timeout) {
-    return toList(this.y34(goal, timeout));
+  protoOf(ProblogSolver).f37 = function (goal, timeout) {
+    return toList(this.d37(goal, timeout));
   };
   protoOf(ProblogSolver).solveListWithTimeout = function (goal, timeout) {
-    return this.a35(goal, timeout);
+    return this.f37(goal, timeout);
   };
-  protoOf(ProblogSolver).b35 = function (goal) {
-    return toList(this.z34(goal));
+  protoOf(ProblogSolver).g37 = function (goal) {
+    return toList(this.e37(goal));
   };
   protoOf(ProblogSolver).solveList = function (goal) {
-    return this.b35(goal);
+    return this.g37(goal);
   };
-  protoOf(ProblogSolver).c35 = function (goal, options) {
-    return toList(this.g28(goal, options));
+  protoOf(ProblogSolver).h37 = function (goal, options) {
+    return toList(this.l2a(goal, options));
   };
   protoOf(ProblogSolver).solveListWithOptions = function (goal, options) {
-    return this.c35(goal, options);
+    return this.h37(goal, options);
   };
-  protoOf(ProblogSolver).d35 = function (goal, timeout) {
-    return first_0(this.g28(goal, Companion_getInstance_2().someLazilyWithTimeout(1, timeout)));
+  protoOf(ProblogSolver).i37 = function (goal, timeout) {
+    return first_0(this.l2a(goal, Companion_getInstance_2().someLazilyWithTimeout(1, timeout)));
   };
   protoOf(ProblogSolver).solveOnceWithTimeout = function (goal, timeout) {
-    return this.d35(goal, timeout);
+    return this.i37(goal, timeout);
   };
-  protoOf(ProblogSolver).e35 = function (goal) {
-    return first_0(this.g28(goal, Companion_getInstance_2().someLazily(1)));
+  protoOf(ProblogSolver).j37 = function (goal) {
+    return first_0(this.l2a(goal, Companion_getInstance_2().someLazily(1)));
   };
   protoOf(ProblogSolver).solveOnce = function (goal) {
-    return this.e35(goal);
+    return this.j37(goal);
   };
-  protoOf(ProblogSolver).f35 = function (goal, options) {
-    return first_0(this.g28(goal, options.setLimit(1)));
+  protoOf(ProblogSolver).k37 = function (goal, options) {
+    return first_0(this.l2a(goal, options.setLimit(1)));
   };
   protoOf(ProblogSolver).solveOnceWithOptions = function (goal, options) {
-    return this.f35(goal, options);
+    return this.k37(goal, options);
   };
-  protoOf(ProblogSolver).a1t = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
-    return new ProblogSolver(this.x34_1.a1t(unificator, libraries, flags, Companion_instance_10.ofIterable(unificator, staticKb), Companion_instance_10.ofIterable(unificator, dynamicKb), stdIn, stdOut, stdErr, warnings));
+  protoOf(ProblogSolver).f1v = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
+    return new ProblogSolver(this.c37_1.f1v(unificator, libraries, flags, Companion_instance_10.ofIterable(unificator, staticKb), Companion_instance_10.ofIterable(unificator, dynamicKb), stdIn, stdOut, stdErr, warnings));
   };
   protoOf(ProblogSolver).copy = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, $super) {
     return this.copy(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, ($super == null ? true : $super instanceof ProblogSolver) ? $super : THROW_CCE());
   };
-  protoOf(ProblogSolver).b1q = function () {
-    return new ProblogSolver(this.x34_1.clone());
+  protoOf(ProblogSolver).g1s = function () {
+    return new ProblogSolver(this.c37_1.clone());
   };
   protoOf(ProblogSolver).clone = function () {
-    return this.b1q();
+    return this.g1s();
   };
-  protoOf(ProblogSolver).j1s = function () {
-    return this.x34_1.j1s();
+  protoOf(ProblogSolver).o1u = function () {
+    return this.c37_1.o1u();
   };
-  protoOf(ProblogSolver).k1s = function () {
-    return this.x34_1.k1s();
+  protoOf(ProblogSolver).p1u = function () {
+    return this.c37_1.p1u();
   };
-  protoOf(ProblogSolver).l1s = function () {
-    return this.x34_1.l1s();
+  protoOf(ProblogSolver).q1u = function () {
+    return this.c37_1.q1u();
   };
-  protoOf(ProblogSolver).m1s = function () {
-    return this.x34_1.m1s();
+  protoOf(ProblogSolver).r1u = function () {
+    return this.c37_1.r1u();
   };
-  protoOf(ProblogSolver).s1s = function () {
-    return this.x34_1.s1s();
+  protoOf(ProblogSolver).x1u = function () {
+    return this.c37_1.x1u();
   };
-  protoOf(ProblogSolver).n1s = function () {
-    return this.x34_1.n1s();
+  protoOf(ProblogSolver).s1u = function () {
+    return this.c37_1.s1u();
   };
-  protoOf(ProblogSolver).o1s = function () {
-    return this.x34_1.o1s();
+  protoOf(ProblogSolver).t1u = function () {
+    return this.c37_1.t1u();
   };
-  protoOf(ProblogSolver).t1s = function () {
-    return this.x34_1.t1s();
+  protoOf(ProblogSolver).y1u = function () {
+    return this.c37_1.y1u();
   };
-  protoOf(ProblogSolver).u1s = function () {
-    return this.x34_1.u1s();
+  protoOf(ProblogSolver).z1u = function () {
+    return this.c37_1.z1u();
   };
-  protoOf(ProblogSolver).v1s = function () {
-    return this.x34_1.v1s();
+  protoOf(ProblogSolver).a1v = function () {
+    return this.c37_1.a1v();
   };
-  protoOf(ProblogSolver).w1s = function () {
-    return this.x34_1.w1s();
+  protoOf(ProblogSolver).b1v = function () {
+    return this.c37_1.b1v();
   };
-  protoOf(ProblogSolver).m1i = function () {
-    return this.x34_1.m1i();
+  protoOf(ProblogSolver).r1k = function () {
+    return this.c37_1.r1k();
   };
   function ensureVariablesTracking($this, flags) {
     var tmp = TrackVariables_getInstance();
@@ -656,7 +656,7 @@
     var tmp;
     // Inline function 'kotlin.collections.contains' call
     // Inline function 'kotlin.collections.containsKey' call
-    var key = ProblogLib_getInstance().x2a();
+    var key = ProblogLib_getInstance().c2d();
     if (!(isInterface(libraries, KtMap) ? libraries : THROW_CCE()).f2(key)) {
       tmp = libraries.plusLibrary(MinimalBuiltins_getInstance());
     } else {
@@ -665,36 +665,36 @@
     return tmp;
   }
   function ProblogSolverFactory$ensureVariablesTracking$lambda($this$TrackVariables) {
-    return $this$TrackVariables.y25_1;
+    return $this$TrackVariables.d28_1;
   }
   function ProblogSolverFactory() {
   }
-  protoOf(ProblogSolverFactory).v1u = function () {
+  protoOf(ProblogSolverFactory).a1x = function () {
     return DefaultBuiltins_getInstance_0();
   };
-  protoOf(ProblogSolverFactory).x1u = function () {
+  protoOf(ProblogSolverFactory).c1x = function () {
     return ensureVariablesTracking(this, get_defaultFlags.call(this));
   };
-  protoOf(ProblogSolverFactory).g1v = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs) {
-    return new ProblogSolver(ClassicSolverFactory_instance.g1v(unificator, fixLibraries(this, libraries), ensureVariablesTracking(this, flags), Companion_instance_10.ofIterable(unificator, staticKb), Companion_instance_10.ofIterable(unificator, dynamicKb), inputs, outputs));
+  protoOf(ProblogSolverFactory).l1x = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs) {
+    return new ProblogSolver(ClassicSolverFactory_instance.l1x(unificator, fixLibraries(this, libraries), ensureVariablesTracking(this, flags), Companion_instance_10.ofIterable(unificator, staticKb), Companion_instance_10.ofIterable(unificator, dynamicKb), inputs, outputs));
   };
   protoOf(ProblogSolverFactory).rawSolverOf = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs, $super) {
     return this.rawSolverOf(unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs, ($super == null ? true : $super instanceof ProblogSolverFactory) ? $super : THROW_CCE());
   };
-  protoOf(ProblogSolverFactory).m1v = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
-    return new ProblogSolver(ClassicSolverFactory_instance.m1v(unificator, fixLibraries(this, libraries), ensureVariablesTracking(this, flags), Companion_instance_10.ofIterable(unificator, staticKb), Companion_instance_10.ofIterable(unificator, dynamicKb), stdIn, stdOut, stdErr, warnings));
+  protoOf(ProblogSolverFactory).r1x = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
+    return new ProblogSolver(ClassicSolverFactory_instance.r1x(unificator, fixLibraries(this, libraries), ensureVariablesTracking(this, flags), Companion_instance_10.ofIterable(unificator, staticKb), Companion_instance_10.ofIterable(unificator, dynamicKb), stdIn, stdOut, stdErr, warnings));
   };
   protoOf(ProblogSolverFactory).solverOf = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, $super) {
     return this.solverOf(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, ($super == null ? true : $super instanceof ProblogSolverFactory) ? $super : THROW_CCE());
   };
-  protoOf(ProblogSolverFactory).o1v = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
-    return new MutableProblogSolver(ClassicSolverFactory_instance.o1v(unificator, fixLibraries(this, libraries), ensureVariablesTracking(this, flags), Companion_instance_10.ofIterable(unificator, staticKb), Companion_instance_10.ofIterable(unificator, dynamicKb), stdIn, stdOut, stdErr, warnings));
+  protoOf(ProblogSolverFactory).t1x = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
+    return new MutableProblogSolver(ClassicSolverFactory_instance.t1x(unificator, fixLibraries(this, libraries), ensureVariablesTracking(this, flags), Companion_instance_10.ofIterable(unificator, staticKb), Companion_instance_10.ofIterable(unificator, dynamicKb), stdIn, stdOut, stdErr, warnings));
   };
   protoOf(ProblogSolverFactory).mutableSolverOf = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, $super) {
     return this.mutableSolverOf(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, ($super == null ? true : $super instanceof ProblogSolverFactory) ? $super : THROW_CCE());
   };
-  protoOf(ProblogSolverFactory).q1v = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs) {
-    return new MutableProblogSolver(ClassicSolverFactory_instance.q1v(unificator, fixLibraries(this, libraries), ensureVariablesTracking(this, flags), Companion_instance_10.ofIterable(unificator, staticKb), Companion_instance_10.ofIterable(unificator, dynamicKb), inputs, outputs));
+  protoOf(ProblogSolverFactory).v1x = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs) {
+    return new MutableProblogSolver(ClassicSolverFactory_instance.v1x(unificator, fixLibraries(this, libraries), ensureVariablesTracking(this, flags), Companion_instance_10.ofIterable(unificator, staticKb), Companion_instance_10.ofIterable(unificator, dynamicKb), inputs, outputs));
   };
   protoOf(ProblogSolverFactory).rawMutableSolverOf = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs, $super) {
     return this.rawMutableSolverOf(unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs, ($super == null ? true : $super instanceof ProblogSolverFactory) ? $super : THROW_CCE());
@@ -707,17 +707,17 @@
     DefaultBuiltins_instance = this;
     ExtensionLibrary.call(this, DefaultBuiltins_getInstance());
   }
-  protoOf(DefaultBuiltins).x2a = function () {
-    return ProblogLib_getInstance().x2a();
+  protoOf(DefaultBuiltins).c2d = function () {
+    return ProblogLib_getInstance().c2d();
   };
-  protoOf(DefaultBuiltins).i2b = function () {
-    return ProblogLib_getInstance().i2b();
+  protoOf(DefaultBuiltins).n2d = function () {
+    return ProblogLib_getInstance().n2d();
   };
-  protoOf(DefaultBuiltins).k2b = function () {
-    return ProblogLib_getInstance().k2b();
+  protoOf(DefaultBuiltins).p2d = function () {
+    return ProblogLib_getInstance().p2d();
   };
-  protoOf(DefaultBuiltins).j2b = function () {
-    return ProblogLib_getInstance().j2b();
+  protoOf(DefaultBuiltins).o2d = function () {
+    return ProblogLib_getInstance().o2d();
   };
   var DefaultBuiltins_instance;
   function DefaultBuiltins_getInstance_0() {
@@ -729,10 +729,10 @@
     MinimalBuiltins_instance = this;
     ExtensionLibrary.call(this, ProblogLib_getInstance());
   }
-  protoOf(MinimalBuiltins).k2b = function () {
+  protoOf(MinimalBuiltins).p2d = function () {
     return listOf(EnsureExecutable_getInstance());
   };
-  protoOf(MinimalBuiltins).j2b = function () {
+  protoOf(MinimalBuiltins).o2d = function () {
     return listOf(Call_getInstance());
   };
   var MinimalBuiltins_instance;
@@ -744,17 +744,17 @@
   function ProblogLib() {
     ProblogLib_instance = this;
     ExtensionLibrary.call(this, Companion_getInstance_3().of('problog.lang'));
-    this.e36_1 = 'EXPL';
-    this.f36_1 = 'evidence';
-    this.g36_1 = 'prob';
+    this.j38_1 = 'EXPL';
+    this.k38_1 = 'evidence';
+    this.l38_1 = 'prob';
   }
-  protoOf(ProblogLib).i2b = function () {
+  protoOf(ProblogLib).n2d = function () {
     return get_PROBLOG_SPECIFIC_OPERATORS();
   };
-  protoOf(ProblogLib).j2b = function () {
+  protoOf(ProblogLib).o2d = function () {
     return listOf(Prob_getInstance());
   };
-  protoOf(ProblogLib).k2b = function () {
+  protoOf(ProblogLib).p2d = function () {
     return listOf_0([ProbHelper_getInstance(), ProbSolve_getInstance(), ProbExplAnd_getInstance(), ProbQuery_getInstance(), ProbSolveEvidence_getInstance(), ProbSolveWithEvidence_getInstance(), ProbNegationAsFailure_getInstance(), ProbSetConfig_getInstance()]);
   };
   var ProblogLib_instance;
@@ -767,11 +767,11 @@
     cause = cause === VOID ? null : cause;
     TuPrologException_init_$Init$(cause, this);
     captureStack(this, ClauseMappingException);
-    this.n36_1 = message;
+    this.s38_1 = message;
     delete this.message;
   }
   protoOf(ClauseMappingException).o1 = function () {
-    return this.n36_1;
+    return this.s38_1;
   };
   function Companion() {
   }
@@ -807,11 +807,11 @@
   }
   function Companion_0() {
     Companion_instance_9 = this;
-    this.o36_1 = new BinaryDecisionDiagramExplanation(bddTerminalOf(false), Companion_getInstance_13().r36_1);
-    this.p36_1 = new BinaryDecisionDiagramExplanation(bddTerminalOf(true), Companion_getInstance_13().s36_1);
+    this.t38_1 = new BinaryDecisionDiagramExplanation(bddTerminalOf(false), Companion_getInstance_13().w38_1);
+    this.u38_1 = new BinaryDecisionDiagramExplanation(bddTerminalOf(true), Companion_getInstance_13().x38_1);
   }
-  protoOf(Companion_0).t36 = function (term) {
-    return new BinaryDecisionDiagramExplanation(bddOf(term), new ComputedValue(term.w36_1));
+  protoOf(Companion_0).y38 = function (term) {
+    return new BinaryDecisionDiagramExplanation(bddOf(term), new ComputedValue(term.b39_1));
   };
   var Companion_instance_9;
   function Companion_getInstance_11() {
@@ -831,12 +831,12 @@
   }
   function ProbExplanationTerm$apply$lambda($substitution) {
     return function (it) {
-      return it.c14($substitution);
+      return it.p14($substitution);
     };
   }
   function ProbExplanationTerm(explanation) {
-    this.l35_1 = Companion_getInstance_4().of('<expl:' + explanation.toString() + '>');
-    this.m35_1 = explanation;
+    this.q37_1 = Companion_getInstance_4().of('<expl:' + explanation.toString() + '>');
+    this.r37_1 = explanation;
   }
   protoOf(ProbExplanationTerm).wu = function () {
     return false;
@@ -848,322 +848,322 @@
     return this.av();
   };
   protoOf(ProbExplanationTerm).au = function () {
-    return new ProbExplanationTerm(this.m35_1.applyTransformation(ProbExplanationTerm$freshCopy$lambda));
+    return new ProbExplanationTerm(this.r37_1.applyTransformation(ProbExplanationTerm$freshCopy$lambda));
   };
   protoOf(ProbExplanationTerm).freshCopy = function () {
     return this.au();
   };
   protoOf(ProbExplanationTerm).bu = function (scope) {
-    return new ProbExplanationTerm(this.m35_1.applyTransformation(ProbExplanationTerm$freshCopy$lambda_0(scope)));
+    return new ProbExplanationTerm(this.r37_1.applyTransformation(ProbExplanationTerm$freshCopy$lambda_0(scope)));
   };
   protoOf(ProbExplanationTerm).freshCopyFromScope = function (scope) {
     return this.bu(scope);
   };
-  protoOf(ProbExplanationTerm).i2j = function (substitution, substitutions) {
-    return this.j2j(substitution, substitutions.slice());
+  protoOf(ProbExplanationTerm).n2l = function (substitution, substitutions) {
+    return this.o2l(substitution, substitutions.slice());
   };
   protoOf(ProbExplanationTerm).getSubstituted = function (substitution, substitutions) {
-    return this.i2j(substitution, substitutions);
+    return this.n2l(substitution, substitutions);
   };
-  protoOf(ProbExplanationTerm).j2j = function (substitution, substitutions) {
-    return this.c14(Companion_getInstance_5().ofSubstitution(substitution, substitutions.slice()));
+  protoOf(ProbExplanationTerm).o2l = function (substitution, substitutions) {
+    return this.p14(Companion_getInstance_5().ofSubstitution(substitution, substitutions.slice()));
   };
   protoOf(ProbExplanationTerm).apply = function (substitution, substitutions) {
-    return this.j2j(substitution, substitutions);
+    return this.o2l(substitution, substitutions);
   };
-  protoOf(ProbExplanationTerm).c14 = function (substitution) {
+  protoOf(ProbExplanationTerm).p14 = function (substitution) {
     var tmp;
     if (substitution.h() || this.bv()) {
       tmp = this;
     } else {
-      tmp = new ProbExplanationTerm(this.m35_1.applyTransformation(ProbExplanationTerm$apply$lambda(substitution)));
+      tmp = new ProbExplanationTerm(this.r37_1.applyTransformation(ProbExplanationTerm$apply$lambda(substitution)));
     }
     return tmp;
   };
   protoOf(ProbExplanationTerm).applySubstitution = function (substitution) {
-    return this.c14(substitution);
+    return this.p14(substitution);
   };
   protoOf(ProbExplanationTerm).bv = function () {
-    return !this.m35_1.d37();
+    return !this.r37_1.i39();
   };
   protoOf(ProbExplanationTerm).cu = function () {
-    return this.l35_1.cu();
+    return this.q37_1.cu();
   };
   protoOf(ProbExplanationTerm).asAtom = function () {
     return this.cu();
   };
   protoOf(ProbExplanationTerm).rt = function () {
-    return this.l35_1.rt();
+    return this.q37_1.rt();
   };
   protoOf(ProbExplanationTerm).st = function () {
-    return this.l35_1.st();
+    return this.q37_1.st();
   };
   protoOf(ProbExplanationTerm).tt = function () {
-    return this.l35_1.tt();
+    return this.q37_1.tt();
   };
   protoOf(ProbExplanationTerm).ut = function () {
-    return this.l35_1.ut();
+    return this.q37_1.ut();
   };
   protoOf(ProbExplanationTerm).vt = function () {
-    return this.l35_1.vt();
+    return this.q37_1.vt();
   };
   protoOf(ProbExplanationTerm).e2 = function () {
-    return this.l35_1.e2();
+    return this.q37_1.e2();
   };
   protoOf(ProbExplanationTerm).yt = function () {
-    return this.l35_1.yt();
+    return this.q37_1.yt();
   };
   protoOf(ProbExplanationTerm).zt = function () {
-    return this.l35_1.zt();
+    return this.q37_1.zt();
   };
   protoOf(ProbExplanationTerm).nu = function () {
-    return this.l35_1.nu();
+    return this.q37_1.nu();
   };
   protoOf(ProbExplanationTerm).asStruct = function () {
     return this.nu();
   };
   protoOf(ProbExplanationTerm).append = function (argument) {
-    return this.l35_1.append(argument);
+    return this.q37_1.append(argument);
   };
   protoOf(ProbExplanationTerm).addLast = function (argument) {
-    return this.l35_1.addLast(argument);
+    return this.q37_1.addLast(argument);
   };
   protoOf(ProbExplanationTerm).addFirst = function (argument) {
-    return this.l35_1.addFirst(argument);
+    return this.q37_1.addFirst(argument);
   };
   protoOf(ProbExplanationTerm).insertAt = function (index, argument) {
-    return this.l35_1.insertAt(index, argument);
+    return this.q37_1.insertAt(index, argument);
   };
   protoOf(ProbExplanationTerm).setFunctor = function (functor) {
-    return this.l35_1.setFunctor(functor);
+    return this.q37_1.setFunctor(functor);
   };
   protoOf(ProbExplanationTerm).getArgAt = function (index) {
-    return this.l35_1.getArgAt(index);
+    return this.q37_1.getArgAt(index);
   };
   protoOf(ProbExplanationTerm).setArgs = function (args) {
-    return this.l35_1.setArgs(args);
+    return this.q37_1.setArgs(args);
   };
   protoOf(ProbExplanationTerm).setArgsIterable = function (args) {
-    return this.l35_1.setArgsIterable(args);
+    return this.q37_1.setArgsIterable(args);
   };
   protoOf(ProbExplanationTerm).setArgsSequence = function (args) {
-    return this.l35_1.setArgsSequence(args);
+    return this.q37_1.setArgsSequence(args);
   };
   protoOf(ProbExplanationTerm).get = function (index) {
-    return this.l35_1.get(index);
+    return this.q37_1.get(index);
   };
   protoOf(ProbExplanationTerm).du = function () {
-    return this.l35_1.du();
+    return this.q37_1.du();
   };
   protoOf(ProbExplanationTerm).eu = function () {
-    return this.l35_1.eu();
+    return this.q37_1.eu();
   };
   protoOf(ProbExplanationTerm).fu = function () {
-    return this.l35_1.fu();
+    return this.q37_1.fu();
   };
   protoOf(ProbExplanationTerm).iu = function () {
-    return this.l35_1.iu();
+    return this.q37_1.iu();
   };
   protoOf(ProbExplanationTerm).ju = function () {
-    return this.l35_1.ju();
+    return this.q37_1.ju();
   };
   protoOf(ProbExplanationTerm).ku = function () {
-    return this.l35_1.ku();
+    return this.q37_1.ku();
   };
   protoOf(ProbExplanationTerm).mu = function () {
-    return this.l35_1.mu();
+    return this.q37_1.mu();
   };
   protoOf(ProbExplanationTerm).xt = function () {
-    return this.l35_1.xt();
+    return this.q37_1.xt();
   };
   protoOf(ProbExplanationTerm).ou = function () {
-    return this.l35_1.ou();
+    return this.q37_1.ou();
   };
   protoOf(ProbExplanationTerm).pu = function () {
-    return this.l35_1.pu();
+    return this.q37_1.pu();
   };
   protoOf(ProbExplanationTerm).qu = function () {
-    return this.l35_1.qu();
+    return this.q37_1.qu();
   };
   protoOf(ProbExplanationTerm).ru = function () {
-    return this.l35_1.ru();
+    return this.q37_1.ru();
   };
   protoOf(ProbExplanationTerm).ep = function () {
     return this.ru();
   };
   protoOf(ProbExplanationTerm).su = function (other) {
-    return this.l35_1.su(other);
+    return this.q37_1.su(other);
   };
   protoOf(ProbExplanationTerm).d = function (other) {
     return this.su((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
   };
   protoOf(ProbExplanationTerm).equalsUsingVarCompleteNames = function (other, useVarCompleteName) {
-    return this.l35_1.equalsUsingVarCompleteNames(other, useVarCompleteName);
+    return this.q37_1.equalsUsingVarCompleteNames(other, useVarCompleteName);
   };
   protoOf(ProbExplanationTerm).equals = function (other) {
-    return this.l35_1.equals(other);
+    return this.q37_1.equals(other);
   };
   protoOf(ProbExplanationTerm).structurallyEquals = function (other) {
-    return this.l35_1.structurallyEquals(other);
+    return this.q37_1.structurallyEquals(other);
   };
   protoOf(ProbExplanationTerm).accept = function (visitor) {
-    return this.l35_1.accept(visitor);
+    return this.q37_1.accept(visitor);
   };
   protoOf(ProbExplanationTerm).castToAtom = function () {
-    return this.l35_1.castToAtom();
+    return this.q37_1.castToAtom();
   };
   protoOf(ProbExplanationTerm).castToClause = function () {
-    return this.l35_1.castToClause();
+    return this.q37_1.castToClause();
   };
   protoOf(ProbExplanationTerm).castToCons = function () {
-    return this.l35_1.castToCons();
+    return this.q37_1.castToCons();
   };
   protoOf(ProbExplanationTerm).castToConstant = function () {
-    return this.l35_1.castToConstant();
+    return this.q37_1.castToConstant();
   };
   protoOf(ProbExplanationTerm).castToDirective = function () {
-    return this.l35_1.castToDirective();
+    return this.q37_1.castToDirective();
   };
   protoOf(ProbExplanationTerm).castToEmptyList = function () {
-    return this.l35_1.castToEmptyList();
+    return this.q37_1.castToEmptyList();
   };
   protoOf(ProbExplanationTerm).castToEmptyBlock = function () {
-    return this.l35_1.castToEmptyBlock();
+    return this.q37_1.castToEmptyBlock();
   };
   protoOf(ProbExplanationTerm).castToFact = function () {
-    return this.l35_1.castToFact();
+    return this.q37_1.castToFact();
   };
   protoOf(ProbExplanationTerm).castToIndicator = function () {
-    return this.l35_1.castToIndicator();
+    return this.q37_1.castToIndicator();
   };
   protoOf(ProbExplanationTerm).castToInteger = function () {
-    return this.l35_1.castToInteger();
+    return this.q37_1.castToInteger();
   };
   protoOf(ProbExplanationTerm).castToList = function () {
-    return this.l35_1.castToList();
+    return this.q37_1.castToList();
   };
   protoOf(ProbExplanationTerm).castToNumeric = function () {
-    return this.l35_1.castToNumeric();
+    return this.q37_1.castToNumeric();
   };
   protoOf(ProbExplanationTerm).castToReal = function () {
-    return this.l35_1.castToReal();
+    return this.q37_1.castToReal();
   };
   protoOf(ProbExplanationTerm).castToRule = function () {
-    return this.l35_1.castToRule();
+    return this.q37_1.castToRule();
   };
   protoOf(ProbExplanationTerm).castToBlock = function () {
-    return this.l35_1.castToBlock();
+    return this.q37_1.castToBlock();
   };
   protoOf(ProbExplanationTerm).castToStruct = function () {
-    return this.l35_1.castToStruct();
+    return this.q37_1.castToStruct();
   };
   protoOf(ProbExplanationTerm).castToRecursive = function () {
-    return this.l35_1.castToRecursive();
+    return this.q37_1.castToRecursive();
   };
   protoOf(ProbExplanationTerm).castToTerm = function () {
-    return this.l35_1.castToTerm();
+    return this.q37_1.castToTerm();
   };
   protoOf(ProbExplanationTerm).castToTruth = function () {
-    return this.l35_1.castToTruth();
+    return this.q37_1.castToTruth();
   };
   protoOf(ProbExplanationTerm).castToTuple = function () {
-    return this.l35_1.castToTuple();
+    return this.q37_1.castToTuple();
   };
   protoOf(ProbExplanationTerm).castToVar = function () {
-    return this.l35_1.castToVar();
+    return this.q37_1.castToVar();
   };
   protoOf(ProbExplanationTerm).asClause = function () {
-    return this.l35_1.asClause();
+    return this.q37_1.asClause();
   };
   protoOf(ProbExplanationTerm).asCons = function () {
-    return this.l35_1.asCons();
+    return this.q37_1.asCons();
   };
   protoOf(ProbExplanationTerm).asDirective = function () {
-    return this.l35_1.asDirective();
+    return this.q37_1.asDirective();
   };
   protoOf(ProbExplanationTerm).asEmptyList = function () {
-    return this.l35_1.asEmptyList();
+    return this.q37_1.asEmptyList();
   };
   protoOf(ProbExplanationTerm).asEmptyBlock = function () {
-    return this.l35_1.asEmptyBlock();
+    return this.q37_1.asEmptyBlock();
   };
   protoOf(ProbExplanationTerm).asFact = function () {
-    return this.l35_1.asFact();
+    return this.q37_1.asFact();
   };
   protoOf(ProbExplanationTerm).asIndicator = function () {
-    return this.l35_1.asIndicator();
+    return this.q37_1.asIndicator();
   };
   protoOf(ProbExplanationTerm).asInteger = function () {
-    return this.l35_1.asInteger();
+    return this.q37_1.asInteger();
   };
   protoOf(ProbExplanationTerm).asList = function () {
-    return this.l35_1.asList();
+    return this.q37_1.asList();
   };
   protoOf(ProbExplanationTerm).asNumeric = function () {
-    return this.l35_1.asNumeric();
+    return this.q37_1.asNumeric();
   };
   protoOf(ProbExplanationTerm).asReal = function () {
-    return this.l35_1.asReal();
+    return this.q37_1.asReal();
   };
   protoOf(ProbExplanationTerm).asRule = function () {
-    return this.l35_1.asRule();
+    return this.q37_1.asRule();
   };
   protoOf(ProbExplanationTerm).asBlock = function () {
-    return this.l35_1.asBlock();
+    return this.q37_1.asBlock();
   };
   protoOf(ProbExplanationTerm).asRecursive = function () {
-    return this.l35_1.asRecursive();
+    return this.q37_1.asRecursive();
   };
   protoOf(ProbExplanationTerm).asTerm = function () {
-    return this.l35_1.asTerm();
+    return this.q37_1.asTerm();
   };
   protoOf(ProbExplanationTerm).asTruth = function () {
-    return this.l35_1.asTruth();
+    return this.q37_1.asTruth();
   };
   protoOf(ProbExplanationTerm).asTuple = function () {
-    return this.l35_1.asTuple();
+    return this.q37_1.asTuple();
   };
   protoOf(ProbExplanationTerm).asVar = function () {
-    return this.l35_1.asVar();
+    return this.q37_1.asVar();
   };
   protoOf(ProbExplanationTerm).hashCode = function () {
-    return this.l35_1.hashCode();
+    return this.q37_1.hashCode();
   };
   protoOf(ProbExplanationTerm).toString = function () {
-    return this.l35_1.toString();
+    return this.q37_1.toString();
   };
   protoOf(ProbExplanationTerm).tu = function () {
-    return this.l35_1.tu();
+    return this.q37_1.tu();
   };
   protoOf(ProbExplanationTerm).uu = function () {
-    return this.l35_1.uu();
+    return this.q37_1.uu();
   };
   protoOf(ProbExplanationTerm).vu = function () {
-    return this.l35_1.vu();
+    return this.q37_1.vu();
   };
   protoOf(ProbExplanationTerm).xu = function () {
-    return this.l35_1.xu();
+    return this.q37_1.xu();
   };
   protoOf(ProbExplanationTerm).yu = function () {
-    return this.l35_1.yu();
+    return this.q37_1.yu();
   };
   protoOf(ProbExplanationTerm).zu = function () {
-    return this.l35_1.zu();
+    return this.q37_1.zu();
   };
   protoOf(ProbExplanationTerm).getTag = function (name) {
-    return this.l35_1.getTag(name);
+    return this.q37_1.getTag(name);
   };
   protoOf(ProbExplanationTerm).resetTags = function (tags) {
-    return this.l35_1.resetTags(tags);
+    return this.q37_1.resetTags(tags);
   };
   protoOf(ProbExplanationTerm).containsTag = function (name) {
-    return this.l35_1.containsTag(name);
+    return this.q37_1.containsTag(name);
   };
   protoOf(ProbExplanationTerm).lr = function () {
-    return this.l35_1.lr();
+    return this.q37_1.lr();
   };
   function _get_cachedHashCode__d7x0zy($this) {
-    var tmp0 = $this.a37_1;
+    var tmp0 = $this.f39_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     getPropertyCallableRef('cachedHashCode', 1, tmp, ProbTerm$_get_cachedHashCode_$ref_1qdqtc(), null);
@@ -1172,8 +1172,8 @@
   function ProbTerm$isGround$delegate$lambda(this$0) {
     return function () {
       var tmp;
-      if (this$0.x36_1.bv()) {
-        var tmp0 = this$0.y36_1;
+      if (this$0.c39_1.bv()) {
+        var tmp0 = this$0.d39_1;
         var tmp$ret$0;
         $l$block_0: {
           // Inline function 'kotlin.collections.any' call
@@ -1211,10 +1211,10 @@
   }
   function ProbTerm$cachedHashCode$delegate$lambda(this$0) {
     return function () {
-      var result = getBigIntHashCode(this$0.v36_1);
-      result = imul(31, result) + getNumberHashCode(this$0.w36_1) | 0;
-      result = imul(31, result) + this$0.x36_1.hashCode() | 0;
-      result = imul(31, result) + hashCode(this$0.y36_1) | 0;
+      var result = getBigIntHashCode(this$0.a39_1);
+      result = imul(31, result) + getNumberHashCode(this$0.b39_1) | 0;
+      result = imul(31, result) + this$0.c39_1.hashCode() | 0;
+      result = imul(31, result) + hashCode(this$0.d39_1) | 0;
       return result;
     };
   }
@@ -1225,20 +1225,20 @@
   }
   function ProbTerm(id, probability, term, extraVariables) {
     extraVariables = extraVariables === VOID ? emptySet() : extraVariables;
-    this.u36_1 = Companion_getInstance_1().of('::', [Companion_getInstance_6().ofDouble(probability), term]);
-    this.v36_1 = id;
-    this.w36_1 = probability;
-    this.x36_1 = term;
-    this.y36_1 = extraVariables;
+    this.z38_1 = Companion_getInstance_1().of('::', [Companion_getInstance_6().ofDouble(probability), term]);
+    this.a39_1 = id;
+    this.b39_1 = probability;
+    this.c39_1 = term;
+    this.d39_1 = extraVariables;
     var tmp = this;
-    tmp.z36_1 = lazy(ProbTerm$isGround$delegate$lambda(this));
+    tmp.e39_1 = lazy(ProbTerm$isGround$delegate$lambda(this));
     var tmp_0 = this;
-    tmp_0.a37_1 = lazy(ProbTerm$cachedHashCode$delegate$lambda(this));
+    tmp_0.f39_1 = lazy(ProbTerm$cachedHashCode$delegate$lambda(this));
   }
   protoOf(ProbTerm).au = function () {
-    var termCopy = this.x36_1.freshCopy();
+    var termCopy = this.c39_1.freshCopy();
     // Inline function 'kotlin.collections.map' call
-    var this_0 = this.y36_1;
+    var this_0 = this.d39_1;
     // Inline function 'kotlin.collections.mapTo' call
     var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
     var _iterator__ex2g4s = this_0.n();
@@ -1247,15 +1247,15 @@
       var tmp$ret$2 = item.freshCopy();
       destination.l(tmp$ret$2);
     }
-    return new ProbTerm(this.v36_1, this.w36_1, termCopy, toSet(destination));
+    return new ProbTerm(this.a39_1, this.b39_1, termCopy, toSet(destination));
   };
   protoOf(ProbTerm).freshCopy = function () {
     return this.au();
   };
   protoOf(ProbTerm).bu = function (scope) {
-    var termCopy = this.x36_1.freshCopyFromScope(scope);
+    var termCopy = this.c39_1.freshCopyFromScope(scope);
     // Inline function 'kotlin.collections.map' call
-    var this_0 = this.y36_1;
+    var this_0 = this.d39_1;
     // Inline function 'kotlin.collections.mapTo' call
     var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
     var _iterator__ex2g4s = this_0.n();
@@ -1264,30 +1264,30 @@
       var tmp$ret$2 = item.freshCopyFromScope(scope);
       destination.l(tmp$ret$2);
     }
-    return new ProbTerm(this.v36_1, this.w36_1, termCopy, toSet(destination));
+    return new ProbTerm(this.a39_1, this.b39_1, termCopy, toSet(destination));
   };
   protoOf(ProbTerm).freshCopyFromScope = function (scope) {
     return this.bu(scope);
   };
-  protoOf(ProbTerm).i2j = function (substitution, substitutions) {
-    return this.j2j(substitution, substitutions.slice());
+  protoOf(ProbTerm).n2l = function (substitution, substitutions) {
+    return this.o2l(substitution, substitutions.slice());
   };
   protoOf(ProbTerm).getSubstituted = function (substitution, substitutions) {
-    return this.i2j(substitution, substitutions);
+    return this.n2l(substitution, substitutions);
   };
-  protoOf(ProbTerm).j2j = function (substitution, substitutions) {
-    return this.c14(Companion_getInstance_5().ofSubstitution(substitution, substitutions.slice()));
+  protoOf(ProbTerm).o2l = function (substitution, substitutions) {
+    return this.p14(Companion_getInstance_5().ofSubstitution(substitution, substitutions.slice()));
   };
   protoOf(ProbTerm).apply = function (substitution, substitutions) {
-    return this.j2j(substitution, substitutions);
+    return this.o2l(substitution, substitutions);
   };
-  protoOf(ProbTerm).c14 = function (substitution) {
+  protoOf(ProbTerm).p14 = function (substitution) {
     var tmp;
     if (substitution.h() || this.bv()) {
       tmp = this;
     } else {
       var tmp_0;
-      var tmp0 = this.y36_1;
+      var tmp0 = this.d39_1;
       var tmp$ret$0;
       $l$block_0: {
         // Inline function 'kotlin.collections.any' call
@@ -1312,10 +1312,10 @@
         tmp$ret$0 = false;
       }
       if (!tmp$ret$0) {
-        tmp_0 = this.y36_1;
+        tmp_0 = this.d39_1;
       } else {
         // Inline function 'kotlin.collections.mapNotNull' call
-        var tmp0_0 = this.y36_1;
+        var tmp0_0 = this.d39_1;
         // Inline function 'kotlin.collections.mapNotNullTo' call
         var destination = ArrayList_init_$Create$_0();
         // Inline function 'kotlin.collections.forEach' call
@@ -1333,15 +1333,15 @@
         tmp_0 = toSet(destination);
       }
       var newExtraVars = tmp_0;
-      tmp = new ProbTerm(this.v36_1, this.w36_1, this.x36_1.applySubstitution(substitution), newExtraVars);
+      tmp = new ProbTerm(this.a39_1, this.b39_1, this.c39_1.applySubstitution(substitution), newExtraVars);
     }
     return tmp;
   };
   protoOf(ProbTerm).applySubstitution = function (substitution) {
-    return this.c14(substitution);
+    return this.p14(substitution);
   };
   protoOf(ProbTerm).bv = function () {
-    var tmp0 = this.z36_1;
+    var tmp0 = this.e39_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     getPropertyCallableRef('isGround', 1, tmp, ProbTerm$_get_isGround_$ref_ue0rck(), null);
@@ -1351,16 +1351,16 @@
     if (!(other instanceof ProbTerm)) {
       return compareTo.call(this, other);
     }
-    var res = compareTo_0(this.v36_1, other.v36_1);
+    var res = compareTo_0(this.a39_1, other.a39_1);
     if (!(res === 0))
       return res;
-    res = this.x36_1.su(other.x36_1);
+    res = this.c39_1.su(other.c39_1);
     if (!(res === 0))
       return res;
-    res = equals(this.y36_1, other.y36_1) ? 0 : -1;
+    res = equals(this.d39_1, other.d39_1) ? 0 : -1;
     if (!(res === 0))
       return res;
-    res = compareTo_0(this.w36_1, other.w36_1);
+    res = compareTo_0(this.b39_1, other.b39_1);
     return res;
   };
   protoOf(ProbTerm).d = function (other) {
@@ -1379,214 +1379,214 @@
     return _get_cachedHashCode__d7x0zy(this);
   };
   protoOf(ProbTerm).toString = function () {
-    return '' + round(this.w36_1 * 100) / 100.0 + '::' + this.x36_1.toString();
+    return '' + round(this.b39_1 * 100) / 100.0 + '::' + this.c39_1.toString();
   };
   protoOf(ProbTerm).ru = function () {
-    return this.u36_1.ru();
+    return this.z38_1.ru();
   };
   protoOf(ProbTerm).ep = function () {
     return this.ru();
   };
   protoOf(ProbTerm).equalsUsingVarCompleteNames = function (other, useVarCompleteName) {
-    return this.u36_1.equalsUsingVarCompleteNames(other, useVarCompleteName);
+    return this.z38_1.equalsUsingVarCompleteNames(other, useVarCompleteName);
   };
   protoOf(ProbTerm).structurallyEquals = function (other) {
-    return this.u36_1.structurallyEquals(other);
+    return this.z38_1.structurallyEquals(other);
   };
   protoOf(ProbTerm).accept = function (visitor) {
-    return this.u36_1.accept(visitor);
+    return this.z38_1.accept(visitor);
   };
   protoOf(ProbTerm).castToAtom = function () {
-    return this.u36_1.castToAtom();
+    return this.z38_1.castToAtom();
   };
   protoOf(ProbTerm).castToClause = function () {
-    return this.u36_1.castToClause();
+    return this.z38_1.castToClause();
   };
   protoOf(ProbTerm).castToCons = function () {
-    return this.u36_1.castToCons();
+    return this.z38_1.castToCons();
   };
   protoOf(ProbTerm).castToConstant = function () {
-    return this.u36_1.castToConstant();
+    return this.z38_1.castToConstant();
   };
   protoOf(ProbTerm).castToDirective = function () {
-    return this.u36_1.castToDirective();
+    return this.z38_1.castToDirective();
   };
   protoOf(ProbTerm).castToEmptyList = function () {
-    return this.u36_1.castToEmptyList();
+    return this.z38_1.castToEmptyList();
   };
   protoOf(ProbTerm).castToEmptyBlock = function () {
-    return this.u36_1.castToEmptyBlock();
+    return this.z38_1.castToEmptyBlock();
   };
   protoOf(ProbTerm).castToFact = function () {
-    return this.u36_1.castToFact();
+    return this.z38_1.castToFact();
   };
   protoOf(ProbTerm).castToIndicator = function () {
-    return this.u36_1.castToIndicator();
+    return this.z38_1.castToIndicator();
   };
   protoOf(ProbTerm).castToInteger = function () {
-    return this.u36_1.castToInteger();
+    return this.z38_1.castToInteger();
   };
   protoOf(ProbTerm).castToList = function () {
-    return this.u36_1.castToList();
+    return this.z38_1.castToList();
   };
   protoOf(ProbTerm).castToNumeric = function () {
-    return this.u36_1.castToNumeric();
+    return this.z38_1.castToNumeric();
   };
   protoOf(ProbTerm).castToReal = function () {
-    return this.u36_1.castToReal();
+    return this.z38_1.castToReal();
   };
   protoOf(ProbTerm).castToRule = function () {
-    return this.u36_1.castToRule();
+    return this.z38_1.castToRule();
   };
   protoOf(ProbTerm).castToBlock = function () {
-    return this.u36_1.castToBlock();
+    return this.z38_1.castToBlock();
   };
   protoOf(ProbTerm).castToStruct = function () {
-    return this.u36_1.castToStruct();
+    return this.z38_1.castToStruct();
   };
   protoOf(ProbTerm).castToRecursive = function () {
-    return this.u36_1.castToRecursive();
+    return this.z38_1.castToRecursive();
   };
   protoOf(ProbTerm).castToTerm = function () {
-    return this.u36_1.castToTerm();
+    return this.z38_1.castToTerm();
   };
   protoOf(ProbTerm).castToTruth = function () {
-    return this.u36_1.castToTruth();
+    return this.z38_1.castToTruth();
   };
   protoOf(ProbTerm).castToTuple = function () {
-    return this.u36_1.castToTuple();
+    return this.z38_1.castToTuple();
   };
   protoOf(ProbTerm).castToVar = function () {
-    return this.u36_1.castToVar();
+    return this.z38_1.castToVar();
   };
   protoOf(ProbTerm).asAtom = function () {
-    return this.u36_1.asAtom();
+    return this.z38_1.asAtom();
   };
   protoOf(ProbTerm).asClause = function () {
-    return this.u36_1.asClause();
+    return this.z38_1.asClause();
   };
   protoOf(ProbTerm).asCons = function () {
-    return this.u36_1.asCons();
+    return this.z38_1.asCons();
   };
   protoOf(ProbTerm).asConstant = function () {
-    return this.u36_1.asConstant();
+    return this.z38_1.asConstant();
   };
   protoOf(ProbTerm).asDirective = function () {
-    return this.u36_1.asDirective();
+    return this.z38_1.asDirective();
   };
   protoOf(ProbTerm).asEmptyList = function () {
-    return this.u36_1.asEmptyList();
+    return this.z38_1.asEmptyList();
   };
   protoOf(ProbTerm).asEmptyBlock = function () {
-    return this.u36_1.asEmptyBlock();
+    return this.z38_1.asEmptyBlock();
   };
   protoOf(ProbTerm).asFact = function () {
-    return this.u36_1.asFact();
+    return this.z38_1.asFact();
   };
   protoOf(ProbTerm).asIndicator = function () {
-    return this.u36_1.asIndicator();
+    return this.z38_1.asIndicator();
   };
   protoOf(ProbTerm).asInteger = function () {
-    return this.u36_1.asInteger();
+    return this.z38_1.asInteger();
   };
   protoOf(ProbTerm).asList = function () {
-    return this.u36_1.asList();
+    return this.z38_1.asList();
   };
   protoOf(ProbTerm).asNumeric = function () {
-    return this.u36_1.asNumeric();
+    return this.z38_1.asNumeric();
   };
   protoOf(ProbTerm).asReal = function () {
-    return this.u36_1.asReal();
+    return this.z38_1.asReal();
   };
   protoOf(ProbTerm).asRule = function () {
-    return this.u36_1.asRule();
+    return this.z38_1.asRule();
   };
   protoOf(ProbTerm).asBlock = function () {
-    return this.u36_1.asBlock();
+    return this.z38_1.asBlock();
   };
   protoOf(ProbTerm).asStruct = function () {
-    return this.u36_1.nu();
+    return this.z38_1.nu();
   };
   protoOf(ProbTerm).asRecursive = function () {
-    return this.u36_1.asRecursive();
+    return this.z38_1.asRecursive();
   };
   protoOf(ProbTerm).asTerm = function () {
-    return this.u36_1.asTerm();
+    return this.z38_1.asTerm();
   };
   protoOf(ProbTerm).asTruth = function () {
-    return this.u36_1.asTruth();
+    return this.z38_1.asTruth();
   };
   protoOf(ProbTerm).asTuple = function () {
-    return this.u36_1.asTuple();
+    return this.z38_1.asTuple();
   };
   protoOf(ProbTerm).asVar = function () {
-    return this.u36_1.asVar();
+    return this.z38_1.asVar();
   };
   protoOf(ProbTerm).tu = function () {
-    return this.u36_1.tu();
+    return this.z38_1.tu();
   };
   protoOf(ProbTerm).du = function () {
-    return this.u36_1.du();
+    return this.z38_1.du();
   };
   protoOf(ProbTerm).uu = function () {
-    return this.u36_1.uu();
+    return this.z38_1.uu();
   };
   protoOf(ProbTerm).vu = function () {
-    return this.u36_1.vu();
+    return this.z38_1.vu();
   };
   protoOf(ProbTerm).st = function () {
-    return this.u36_1.st();
+    return this.z38_1.st();
   };
   protoOf(ProbTerm).wu = function () {
-    return this.u36_1.wu();
+    return this.z38_1.wu();
   };
   protoOf(ProbTerm).xu = function () {
-    return this.u36_1.xu();
+    return this.z38_1.xu();
   };
   protoOf(ProbTerm).yu = function () {
-    return this.u36_1.yu();
+    return this.z38_1.yu();
   };
   protoOf(ProbTerm).zu = function () {
-    return this.u36_1.zu();
+    return this.z38_1.zu();
   };
   protoOf(ProbTerm).ju = function () {
-    return this.u36_1.ju();
+    return this.z38_1.ju();
   };
   protoOf(ProbTerm).iu = function () {
-    return this.u36_1.iu();
+    return this.z38_1.iu();
   };
   protoOf(ProbTerm).tt = function () {
-    return this.u36_1.tt();
+    return this.z38_1.tt();
   };
   protoOf(ProbTerm).eu = function () {
-    return this.u36_1.eu();
+    return this.z38_1.eu();
   };
   protoOf(ProbTerm).ku = function () {
-    return this.u36_1.ku();
+    return this.z38_1.ku();
   };
   protoOf(ProbTerm).ut = function () {
-    return this.u36_1.ut();
+    return this.z38_1.ut();
   };
   protoOf(ProbTerm).vt = function () {
-    return this.u36_1.vt();
+    return this.z38_1.vt();
   };
   protoOf(ProbTerm).mu = function () {
-    return this.u36_1.mu();
+    return this.z38_1.mu();
   };
   protoOf(ProbTerm).getTag = function (name) {
-    return this.u36_1.getTag(name);
+    return this.z38_1.getTag(name);
   };
   protoOf(ProbTerm).resetTags = function (tags) {
-    return this.u36_1.resetTags(tags);
+    return this.z38_1.resetTags(tags);
   };
   protoOf(ProbTerm).containsTag = function (name) {
-    return this.u36_1.containsTag(name);
+    return this.z38_1.containsTag(name);
   };
   protoOf(ProbTerm).lr = function () {
-    return this.u36_1.lr();
+    return this.z38_1.lr();
   };
   protoOf(ProbTerm).zt = function () {
-    return this.u36_1.zt();
+    return this.z38_1.zt();
   };
   function Companion_1() {
   }
@@ -1669,7 +1669,7 @@
   }
   function AnnotatedDisjunctionClauseMapper() {
   }
-  protoOf(AnnotatedDisjunctionClauseMapper).e37 = function (clause) {
+  protoOf(AnnotatedDisjunctionClauseMapper).j39 = function (clause) {
     var tmp;
     if (isInterface(clause, Rule)) {
       tmp = clause.dw().xt() === ';';
@@ -1678,7 +1678,7 @@
     }
     return tmp;
   };
-  protoOf(AnnotatedDisjunctionClauseMapper).f37 = function (clause) {
+  protoOf(AnnotatedDisjunctionClauseMapper).k39 = function (clause) {
     if (!isInterface(clause, Rule)) {
       throw new ClauseMappingException('Clause is not an instance of Rule: ' + clause.toString());
     }
@@ -1705,21 +1705,21 @@
       }
       var curRuleHead = tmp_0;
       probSum = probSum + curProb;
-      var tmp$ret$3 = ProbabilisticClauseMapper_instance.g37(Companion_instance_3.of(Companion_getInstance_1().of('::', [Companion_getInstance_6().ofDouble(curProb / (1.0 - (probSum - curProb))), curRuleHead]), [body]));
+      var tmp$ret$3 = ProbabilisticClauseMapper_instance.l39(Companion_instance_3.of(Companion_getInstance_1().of('::', [Companion_getInstance_6().ofDouble(curProb / (1.0 - (probSum - curProb))), curRuleHead]), [body]));
       destination.l(tmp$ret$3);
     }
     var mappedRules = toList_0(destination);
-    var explanation = Companion_getInstance_11().p36_1;
+    var explanation = Companion_getInstance_11().u38_1;
     // Inline function 'kotlin.collections.map' call
     // Inline function 'kotlin.collections.mapTo' call
     var destination_0 = ArrayList_init_$Create$(collectionSizeOrDefault(mappedRules, 10));
     var _iterator__ex2g4s_0 = mappedRules.n();
     while (_iterator__ex2g4s_0.q()) {
       var item_0 = _iterator__ex2g4s_0.r();
-      var thisExplanation = Companion_getInstance_11().t36(item_0.second);
+      var thisExplanation = Companion_getInstance_11().y38(item_0.second);
       var resultExplanation = thisExplanation.and(explanation);
       explanation = explanation.and(thisExplanation.not());
-      var tmp$ret$6 = ProbabilisticClauseMapper_instance.h37(item_0.first, resultExplanation);
+      var tmp$ret$6 = ProbabilisticClauseMapper_instance.m39(item_0.first, resultExplanation);
       destination_0.l(tmp$ret$6);
     }
     return destination_0;
@@ -1729,28 +1729,28 @@
     return AnnotatedDisjunctionClauseMapper_instance;
   }
   function ComputedValue(probability) {
-    this.i37_1 = probability;
+    this.n39_1 = probability;
   }
   protoOf(ComputedValue).toString = function () {
-    return 'ComputedValue(probability=' + this.i37_1 + ')';
+    return 'ComputedValue(probability=' + this.n39_1 + ')';
   };
   protoOf(ComputedValue).hashCode = function () {
-    return this.i37_1 == null ? 0 : getNumberHashCode(this.i37_1);
+    return this.n39_1 == null ? 0 : getNumberHashCode(this.n39_1);
   };
   protoOf(ComputedValue).equals = function (other) {
     if (this === other)
       return true;
     if (!(other instanceof ComputedValue))
       return false;
-    if (!equals(this.i37_1, other.i37_1))
+    if (!equals(this.n39_1, other.n39_1))
       return false;
     return true;
   };
   function Companion_2() {
     Companion_instance_11 = this;
-    this.q36_1 = new ComputedValue(null);
-    this.r36_1 = new ComputedValue(0.0);
-    this.s36_1 = new ComputedValue(1.0);
+    this.v38_1 = new ComputedValue(null);
+    this.w38_1 = new ComputedValue(0.0);
+    this.x38_1 = new ComputedValue(1.0);
   }
   var Companion_instance_11;
   function Companion_getInstance_13() {
@@ -1766,15 +1766,15 @@
   }
   function computeExpansion($this, value, low, high) {
     var tmp;
-    if (!(low.i37_1 == null) && !(high.i37_1 == null)) {
-      tmp = value.w36_1 * high.i37_1 + (1.0 - value.w36_1) * low.i37_1;
+    if (!(low.n39_1 == null) && !(high.n39_1 == null)) {
+      tmp = value.b39_1 * high.n39_1 + (1.0 - value.b39_1) * low.n39_1;
     } else {
       tmp = null;
     }
     return new ComputedValue(tmp);
   }
   function _get_cachedNot__l38068($this) {
-    var tmp0 = $this.p35_1;
+    var tmp0 = $this.u37_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     getPropertyCallableRef('cachedNot', 1, tmp, BinaryDecisionDiagramExplanation$_get_cachedNot_$ref_q3r5qq(), null);
@@ -1787,9 +1787,9 @@
   }
   function BinaryDecisionDiagramExplanation$cachedNot$delegate$lambda(this$0) {
     return function () {
-      var tmp = Companion_getInstance_13().r36_1;
-      var tmp_0 = Companion_getInstance_13().s36_1;
-      var result = notThenExpansion(this$0.n35_1, tmp, tmp_0, BinaryDecisionDiagramExplanation$cachedNot$delegate$lambda$lambda(this$0));
+      var tmp = Companion_getInstance_13().w38_1;
+      var tmp_0 = Companion_getInstance_13().x38_1;
+      var result = notThenExpansion(this$0.s37_1, tmp, tmp_0, BinaryDecisionDiagramExplanation$cachedNot$delegate$lambda$lambda(this$0));
       return new BinaryDecisionDiagramExplanation(result.first, result.second);
     };
   }
@@ -1809,14 +1809,14 @@
     };
   }
   function BinaryDecisionDiagramExplanation$probability$delegate$lambda$lambda(node, low, high) {
-    return node.w36_1 * high + (1.0 - node.w36_1) * low;
+    return node.b39_1 * high + (1.0 - node.b39_1) * low;
   }
   function BinaryDecisionDiagramExplanation$probability$delegate$lambda(this$0) {
     return function () {
-      var tmp0_elvis_lhs = this$0.o35_1.i37_1;
+      var tmp0_elvis_lhs = this$0.t37_1.n39_1;
       var tmp;
       if (tmp0_elvis_lhs == null) {
-        tmp = expansion(this$0.n35_1, 0.0, 1.0, BinaryDecisionDiagramExplanation$probability$delegate$lambda$lambda);
+        tmp = expansion(this$0.s37_1, 0.0, 1.0, BinaryDecisionDiagramExplanation$probability$delegate$lambda$lambda);
       } else {
         tmp = tmp0_elvis_lhs;
       }
@@ -1825,7 +1825,7 @@
   }
   function BinaryDecisionDiagramExplanation$_get_probability_$ref_gzzr62() {
     return constructCallableReference(function (p0) {
-      return p0.b37();
+      return p0.g39();
     }, 1, 0, 92);
   }
   function BinaryDecisionDiagramExplanation$containsAnyNotGroundTerm$delegate$lambda$lambda(it) {
@@ -1833,12 +1833,12 @@
   }
   function BinaryDecisionDiagramExplanation$containsAnyNotGroundTerm$delegate$lambda(this$0) {
     return function () {
-      return anyWhere(this$0.n35_1, BinaryDecisionDiagramExplanation$containsAnyNotGroundTerm$delegate$lambda$lambda);
+      return anyWhere(this$0.s37_1, BinaryDecisionDiagramExplanation$containsAnyNotGroundTerm$delegate$lambda$lambda);
     };
   }
   function BinaryDecisionDiagramExplanation$_get_containsAnyNotGroundTerm_$ref_82xwv2() {
     return constructCallableReference(function (p0) {
-      return p0.d37();
+      return p0.i39();
     }, 1, 0, 93);
   }
   function BinaryDecisionDiagramExplanation$apply$lambda($transformation) {
@@ -1848,64 +1848,64 @@
   }
   function BinaryDecisionDiagramExplanation(diagram, computedValue) {
     Companion_getInstance_13();
-    computedValue = computedValue === VOID ? Companion_getInstance_13().q36_1 : computedValue;
-    this.n35_1 = diagram;
-    this.o35_1 = computedValue;
+    computedValue = computedValue === VOID ? Companion_getInstance_13().v38_1 : computedValue;
+    this.s37_1 = diagram;
+    this.t37_1 = computedValue;
     var tmp = this;
-    tmp.p35_1 = lazy(BinaryDecisionDiagramExplanation$cachedNot$delegate$lambda(this));
+    tmp.u37_1 = lazy(BinaryDecisionDiagramExplanation$cachedNot$delegate$lambda(this));
     var tmp_0 = this;
-    tmp_0.q35_1 = lazy(BinaryDecisionDiagramExplanation$probability$delegate$lambda(this));
+    tmp_0.v37_1 = lazy(BinaryDecisionDiagramExplanation$probability$delegate$lambda(this));
     var tmp_1 = this;
-    tmp_1.r35_1 = lazy(BinaryDecisionDiagramExplanation$containsAnyNotGroundTerm$delegate$lambda(this));
+    tmp_1.w37_1 = lazy(BinaryDecisionDiagramExplanation$containsAnyNotGroundTerm$delegate$lambda(this));
   }
-  protoOf(BinaryDecisionDiagramExplanation).j37 = function () {
+  protoOf(BinaryDecisionDiagramExplanation).o39 = function () {
     return _get_cachedNot__l38068(this);
   };
   protoOf(BinaryDecisionDiagramExplanation).not = function () {
-    return this.j37();
+    return this.o39();
   };
-  protoOf(BinaryDecisionDiagramExplanation).k37 = function (that) {
-    var tmp = getAsInternal(this, that).n35_1;
-    var tmp_0 = Companion_getInstance_13().r36_1;
-    var tmp_1 = Companion_getInstance_13().s36_1;
-    var result = andThenExpansion(this.n35_1, tmp, tmp_0, tmp_1, BinaryDecisionDiagramExplanation$and$lambda(this));
+  protoOf(BinaryDecisionDiagramExplanation).p39 = function (that) {
+    var tmp = getAsInternal(this, that).s37_1;
+    var tmp_0 = Companion_getInstance_13().w38_1;
+    var tmp_1 = Companion_getInstance_13().x38_1;
+    var result = andThenExpansion(this.s37_1, tmp, tmp_0, tmp_1, BinaryDecisionDiagramExplanation$and$lambda(this));
     return new BinaryDecisionDiagramExplanation(result.first, result.second);
   };
   protoOf(BinaryDecisionDiagramExplanation).and = function (that) {
-    return this.k37(that);
+    return this.p39(that);
   };
-  protoOf(BinaryDecisionDiagramExplanation).l37 = function (that) {
-    var tmp = getAsInternal(this, that).n35_1;
-    var tmp_0 = Companion_getInstance_13().r36_1;
-    var tmp_1 = Companion_getInstance_13().s36_1;
-    var result = orThenExpansion(this.n35_1, tmp, tmp_0, tmp_1, BinaryDecisionDiagramExplanation$or$lambda(this));
+  protoOf(BinaryDecisionDiagramExplanation).q39 = function (that) {
+    var tmp = getAsInternal(this, that).s37_1;
+    var tmp_0 = Companion_getInstance_13().w38_1;
+    var tmp_1 = Companion_getInstance_13().x38_1;
+    var result = orThenExpansion(this.s37_1, tmp, tmp_0, tmp_1, BinaryDecisionDiagramExplanation$or$lambda(this));
     return new BinaryDecisionDiagramExplanation(result.first, result.second);
   };
   protoOf(BinaryDecisionDiagramExplanation).or = function (that) {
-    return this.l37(that);
+    return this.q39(that);
   };
-  protoOf(BinaryDecisionDiagramExplanation).b37 = function () {
-    var tmp0 = this.q35_1;
+  protoOf(BinaryDecisionDiagramExplanation).g39 = function () {
+    var tmp0 = this.v37_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     getPropertyCallableRef('probability', 1, tmp, BinaryDecisionDiagramExplanation$_get_probability_$ref_gzzr62(), null);
     return tmp0.e2();
   };
-  protoOf(BinaryDecisionDiagramExplanation).d37 = function () {
-    var tmp0 = this.r35_1;
+  protoOf(BinaryDecisionDiagramExplanation).i39 = function () {
+    var tmp0 = this.w37_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     getPropertyCallableRef('containsAnyNotGroundTerm', 1, tmp, BinaryDecisionDiagramExplanation$_get_containsAnyNotGroundTerm_$ref_82xwv2(), null);
     return tmp0.e2();
   };
   protoOf(BinaryDecisionDiagramExplanation).toString = function () {
-    return 'bdd:' + hashCode(this.n35_1);
+    return 'bdd:' + hashCode(this.s37_1);
   };
-  protoOf(BinaryDecisionDiagramExplanation).m37 = function (transformation) {
-    return new BinaryDecisionDiagramExplanation(map_0(this.n35_1, BinaryDecisionDiagramExplanation$apply$lambda(transformation)));
+  protoOf(BinaryDecisionDiagramExplanation).r39 = function (transformation) {
+    return new BinaryDecisionDiagramExplanation(map_0(this.s37_1, BinaryDecisionDiagramExplanation$apply$lambda(transformation)));
   };
   protoOf(BinaryDecisionDiagramExplanation).applyTransformation = function (transformation) {
-    return this.m37(transformation);
+    return this.r39(transformation);
   };
   function get_nonWrappableFunctors() {
     _init_properties_ClauseMappingUtils_kt__go80e();
@@ -1914,27 +1914,27 @@
   var nonWrappableFunctors;
   function ClauseMappingUtils() {
     ClauseMappingUtils_instance = this;
-    this.n37_1 = 1n;
-    this.o37_1 = listOf_0([DirectiveClauseMapper_instance, AnnotatedDisjunctionClauseMapper_instance, ProbabilisticClauseMapper_instance, EvidenceClauseMapper_instance, PrologClauseMapper_instance, NothingClauseMapper_instance]);
+    this.s39_1 = 1n;
+    this.t39_1 = listOf_0([DirectiveClauseMapper_instance, AnnotatedDisjunctionClauseMapper_instance, ProbabilisticClauseMapper_instance, EvidenceClauseMapper_instance, PrologClauseMapper_instance, NothingClauseMapper_instance]);
   }
-  protoOf(ClauseMappingUtils).p37 = function () {
-    var _unary__edvuaz = this.n37_1;
-    this.n37_1 = add(_unary__edvuaz, get_ONE());
+  protoOf(ClauseMappingUtils).u39 = function () {
+    var _unary__edvuaz = this.s39_1;
+    this.s39_1 = add(_unary__edvuaz, get_ONE());
     return _unary__edvuaz;
   };
-  protoOf(ClauseMappingUtils).q37 = function (clause) {
+  protoOf(ClauseMappingUtils).v39 = function (clause) {
     var tmp;
     if (get_isMappedAsProblog(clause)) {
       tmp = listOf(clause);
     } else {
-      var tmp0 = this.o37_1;
+      var tmp0 = this.t39_1;
       var tmp$ret$0;
       $l$block: {
         // Inline function 'kotlin.collections.first' call
         var _iterator__ex2g4s = tmp0.n();
         while (_iterator__ex2g4s.q()) {
           var element = _iterator__ex2g4s.r();
-          if (element.e37(clause)) {
+          if (element.j39(clause)) {
             tmp$ret$0 = element;
             break $l$block;
           }
@@ -1942,7 +1942,7 @@
         throw NoSuchElementException_init_$Create$('Collection contains no element matching the predicate.');
       }
       // Inline function 'kotlin.collections.map' call
-      var this_0 = tmp$ret$0.f37(clause);
+      var this_0 = tmp$ret$0.k39(clause);
       // Inline function 'kotlin.collections.mapTo' call
       var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
       var _iterator__ex2g4s_0 = this_0.n();
@@ -1955,7 +1955,7 @@
     }
     return tmp;
   };
-  protoOf(ClauseMappingUtils).r37 = function (indicator) {
+  protoOf(ClauseMappingUtils).w39 = function (indicator) {
     var arityTerm = indicator.ey();
     var tmp = Companion_instance_4;
     var tmp_0 = indicator.dy();
@@ -2059,7 +2059,7 @@
   }
   function withExplanationNonWrappable(_this__u8e3s4, explanation) {
     _init_properties_ClauseMappingUtils_kt__go80e();
-    return Companion_instance_0.of(_this__u8e3s4, Companion_getInstance_1().of('=', [explanation, toTerm(Companion_getInstance_11().p36_1)]));
+    return Companion_instance_0.of(_this__u8e3s4, Companion_getInstance_1().of('=', [explanation, toTerm(Companion_getInstance_11().u38_1)]));
   }
   function wrapInPredicate(_this__u8e3s4, functor, explanation) {
     _init_properties_ClauseMappingUtils_kt__go80e();
@@ -2107,7 +2107,7 @@
     var _iterator__ex2g4s = tmp0.n();
     while (_iterator__ex2g4s.q()) {
       var element = _iterator__ex2g4s.r();
-      if (element.h12()) {
+      if (element.u12()) {
         destination.l(element);
       }
     }
@@ -2154,10 +2154,10 @@
   }
   function DirectiveClauseMapper() {
   }
-  protoOf(DirectiveClauseMapper).e37 = function (clause) {
+  protoOf(DirectiveClauseMapper).j39 = function (clause) {
     return clause.gu();
   };
-  protoOf(DirectiveClauseMapper).f37 = function (clause) {
+  protoOf(DirectiveClauseMapper).k39 = function (clause) {
     var body = clause.ew();
     if (!isInterface(clause, Directive)) {
       throw new ClauseMappingException('Clause is not an instance of Directive: ' + clause.toString());
@@ -2197,7 +2197,7 @@
   }
   function EvidenceClauseMapper() {
   }
-  protoOf(EvidenceClauseMapper).e37 = function (clause) {
+  protoOf(EvidenceClauseMapper).j39 = function (clause) {
     var tmp;
     if (isInterface(clause, Rule)) {
       tmp = clause.dw().xt() === 'evidence';
@@ -2206,7 +2206,7 @@
     }
     return tmp;
   };
-  protoOf(EvidenceClauseMapper).f37 = function (clause) {
+  protoOf(EvidenceClauseMapper).k39 = function (clause) {
     if (!isInterface(clause, Rule)) {
       throw new ClauseMappingException('Clause is not an instance of Rule: ' + clause.toString());
     }
@@ -2241,7 +2241,7 @@
     return EvidenceClauseMapper_instance;
   }
   function MappedMutableProblogTheory(clauses, unificator, theory) {
-    unificator = unificator === VOID ? Companion_getInstance_8().f1i() : unificator;
+    unificator = unificator === VOID ? Companion_getInstance_8().k1k() : unificator;
     var tmp;
     if (theory === VOID) {
       var tmp_0 = Companion_instance_6;
@@ -2255,7 +2255,7 @@
         var _iterator__ex2g4s = clauses.n();
         while (_iterator__ex2g4s.q()) {
           var element = _iterator__ex2g4s.r();
-          var list = ClauseMappingUtils_getInstance().q37(element);
+          var list = ClauseMappingUtils_getInstance().v39(element);
           addAll(destination, list);
         }
         tmp_1 = destination;
@@ -2266,102 +2266,102 @@
       tmp = theory;
     }
     theory = tmp;
-    this.s37_1 = theory;
+    this.x39_1 = theory;
   }
-  protoOf(MappedMutableProblogTheory).c1q = function () {
+  protoOf(MappedMutableProblogTheory).h1s = function () {
     return false;
   };
-  protoOf(MappedMutableProblogTheory).p1q = function () {
-    return Companion_instance_8.ofIterable(this.m1i(), this);
+  protoOf(MappedMutableProblogTheory).u1s = function () {
+    return Companion_instance_8.ofIterable(this.r1k(), this);
   };
   protoOf(MappedMutableProblogTheory).toMutableTheory = function () {
-    return this.p1q();
+    return this.u1s();
   };
-  protoOf(MappedMutableProblogTheory).c1p = function () {
+  protoOf(MappedMutableProblogTheory).h1r = function () {
     return this;
   };
   protoOf(MappedMutableProblogTheory).toImmutableTheory = function () {
-    return this.c1p();
+    return this.h1r();
   };
-  protoOf(MappedMutableProblogTheory).t37 = function (theory) {
-    return new MappedMutableProblogTheory(null, this.m1i(), this.s37_1.p1p(theory));
+  protoOf(MappedMutableProblogTheory).y39 = function (theory) {
+    return new MappedMutableProblogTheory(null, this.r1k(), this.x39_1.u1r(theory));
   };
-  protoOf(MappedMutableProblogTheory).p1p = function (theory) {
+  protoOf(MappedMutableProblogTheory).u1r = function (theory) {
     var tmp;
     if (isInterface(theory, ProblogTheory)) {
-      tmp = this.t37(theory);
+      tmp = this.y39(theory);
     } else {
-      tmp = this.t37(new MappedMutableProblogTheory(theory, this.m1i()));
+      tmp = this.y39(new MappedMutableProblogTheory(theory, this.r1k()));
     }
     return tmp;
   };
   protoOf(MappedMutableProblogTheory).plusTheory = function (theory) {
-    return this.p1p(theory);
+    return this.u1r(theory);
   };
-  protoOf(MappedMutableProblogTheory).d1p = function (clause) {
-    var mapped = ClauseMappingUtils_getInstance().q37(clause);
-    return new MappedMutableProblogTheory(null, this.m1i(), this.s37_1.p1p(Companion_instance_7.indexedOfIterable(this.m1i(), mapped)));
+  protoOf(MappedMutableProblogTheory).i1r = function (clause) {
+    var mapped = ClauseMappingUtils_getInstance().v39(clause);
+    return new MappedMutableProblogTheory(null, this.r1k(), this.x39_1.u1r(Companion_instance_7.indexedOfIterable(this.r1k(), mapped)));
   };
   protoOf(MappedMutableProblogTheory).plus = function (clause) {
-    return this.d1p(clause);
+    return this.i1r(clause);
   };
-  protoOf(MappedMutableProblogTheory).t1p = function (clauses) {
+  protoOf(MappedMutableProblogTheory).y1r = function (clauses) {
     // Inline function 'kotlin.collections.flatMap' call
     // Inline function 'kotlin.collections.flatMapTo' call
     var destination = ArrayList_init_$Create$_0();
     var _iterator__ex2g4s = clauses.n();
     while (_iterator__ex2g4s.q()) {
       var element = _iterator__ex2g4s.r();
-      var list = ClauseMappingUtils_getInstance().q37(element);
+      var list = ClauseMappingUtils_getInstance().v39(element);
       addAll(destination, list);
     }
     var mapped = destination;
-    return new MappedMutableProblogTheory(null, this.m1i(), this.s37_1.t1p(mapped));
+    return new MappedMutableProblogTheory(null, this.r1k(), this.x39_1.y1r(mapped));
   };
   protoOf(MappedMutableProblogTheory).assertAIterable = function (clauses) {
-    return this.t1p(clauses);
+    return this.y1r(clauses);
   };
-  protoOf(MappedMutableProblogTheory).w1p = function (clauses) {
+  protoOf(MappedMutableProblogTheory).b1s = function (clauses) {
     // Inline function 'kotlin.collections.flatMap' call
     // Inline function 'kotlin.collections.flatMapTo' call
     var destination = ArrayList_init_$Create$_0();
     var _iterator__ex2g4s = clauses.n();
     while (_iterator__ex2g4s.q()) {
       var element = _iterator__ex2g4s.r();
-      var list = ClauseMappingUtils_getInstance().q37(element);
+      var list = ClauseMappingUtils_getInstance().v39(element);
       addAll(destination, list);
     }
     var mapped = destination;
-    return new MappedMutableProblogTheory(null, this.m1i(), this.s37_1.w1p(mapped));
+    return new MappedMutableProblogTheory(null, this.r1k(), this.x39_1.b1s(mapped));
   };
   protoOf(MappedMutableProblogTheory).assertZIterable = function (clauses) {
-    return this.w1p(clauses);
+    return this.b1s(clauses);
   };
-  protoOf(MappedMutableProblogTheory).a1q = function (clauses) {
+  protoOf(MappedMutableProblogTheory).f1s = function (clauses) {
     // Inline function 'kotlin.collections.flatMap' call
     // Inline function 'kotlin.collections.flatMapTo' call
     var destination = ArrayList_init_$Create$_0();
     var _iterator__ex2g4s = clauses.n();
     while (_iterator__ex2g4s.q()) {
       var element = _iterator__ex2g4s.r();
-      var list = ClauseMappingUtils_getInstance().q37(element);
+      var list = ClauseMappingUtils_getInstance().v39(element);
       addAll(destination, list);
     }
     var mapped = destination;
-    var result = this.s37_1.a1q(mapped);
+    var result = this.x39_1.f1s(mapped);
     var tmp;
     if (result instanceof Success) {
-      tmp = new Success(new MappedMutableProblogTheory(null, this.m1i(), result.v1q_1), result.w1q_1);
+      tmp = new Success(new MappedMutableProblogTheory(null, this.r1k(), result.a1t_1), result.b1t_1);
     } else {
-      tmp = new Failure(new MappedMutableProblogTheory(null, this.m1i(), result.j1p()));
+      tmp = new Failure(new MappedMutableProblogTheory(null, this.r1k(), result.o1r()));
     }
     return tmp;
   };
   protoOf(MappedMutableProblogTheory).retractIterable = function (clauses) {
-    return this.a1q(clauses);
+    return this.f1s(clauses);
   };
-  protoOf(MappedMutableProblogTheory).e1j = function (clause) {
-    var mappedClauses = ClauseMappingUtils_getInstance().q37(clause);
+  protoOf(MappedMutableProblogTheory).j1l = function (clause) {
+    var mappedClauses = ClauseMappingUtils_getInstance().v39(clause);
     var result = null;
     var _iterator__ex2g4s = mappedClauses.n();
     while (_iterator__ex2g4s.q()) {
@@ -2373,16 +2373,16 @@
         tmp = !(result instanceof Failure);
       }
       if (tmp) {
-        result = this.s37_1.e1j(c);
+        result = this.x39_1.j1l(c);
       }
     }
     var tmp0_subject = result;
     var tmp_0;
     if (tmp0_subject instanceof Success) {
-      tmp_0 = new Success(new MappedMutableProblogTheory(null, this.m1i(), result.v1q_1), result.w1q_1);
+      tmp_0 = new Success(new MappedMutableProblogTheory(null, this.r1k(), result.a1t_1), result.b1t_1);
     } else {
       if (tmp0_subject instanceof Failure) {
-        tmp_0 = new Failure(new MappedMutableProblogTheory(null, this.m1i(), result.x1q_1));
+        tmp_0 = new Failure(new MappedMutableProblogTheory(null, this.r1k(), result.c1t_1));
       } else {
         tmp_0 = new Failure(this);
       }
@@ -2390,145 +2390,145 @@
     return tmp_0;
   };
   protoOf(MappedMutableProblogTheory).retractAll = function (clause) {
-    return this.e1j(clause);
+    return this.j1l(clause);
   };
-  protoOf(MappedMutableProblogTheory).i1p = function (indicator) {
-    return new MappedMutableProblogTheory(null, this.m1i(), this.s37_1.i1p(ClauseMappingUtils_getInstance().r37(indicator)));
+  protoOf(MappedMutableProblogTheory).n1r = function (indicator) {
+    return new MappedMutableProblogTheory(null, this.r1k(), this.x39_1.n1r(ClauseMappingUtils_getInstance().w39(indicator)));
   };
   protoOf(MappedMutableProblogTheory).abolish = function (indicator) {
-    return this.i1p(indicator);
+    return this.n1r(indicator);
   };
-  protoOf(MappedMutableProblogTheory).q1q = function (struct) {
-    return this.r1p(Companion_instance.of(struct));
+  protoOf(MappedMutableProblogTheory).v1s = function (struct) {
+    return this.w1r(Companion_instance.of(struct));
   };
   protoOf(MappedMutableProblogTheory).assertAFact = function (struct) {
-    return this.q1q(struct);
+    return this.v1s(struct);
   };
-  protoOf(MappedMutableProblogTheory).r1q = function (struct) {
-    return this.v1p(Companion_instance.of(struct));
+  protoOf(MappedMutableProblogTheory).w1s = function (struct) {
+    return this.a1s(Companion_instance.of(struct));
   };
   protoOf(MappedMutableProblogTheory).assertZFact = function (struct) {
-    return this.r1q(struct);
+    return this.w1s(struct);
   };
-  protoOf(MappedMutableProblogTheory).r1p = function (clause) {
-    return this.t1p(listOf(clause));
+  protoOf(MappedMutableProblogTheory).w1r = function (clause) {
+    return this.y1r(listOf(clause));
   };
   protoOf(MappedMutableProblogTheory).assertA = function (clause) {
-    return this.r1p(clause);
+    return this.w1r(clause);
   };
-  protoOf(MappedMutableProblogTheory).u1p = function (clauses) {
-    return this.t1p(asIterable_0(clauses));
+  protoOf(MappedMutableProblogTheory).z1r = function (clauses) {
+    return this.y1r(asIterable_0(clauses));
   };
   protoOf(MappedMutableProblogTheory).assertASequence = function (clauses) {
-    return this.u1p(clauses);
+    return this.z1r(clauses);
   };
-  protoOf(MappedMutableProblogTheory).v1p = function (clause) {
-    return this.w1p(listOf(clause));
+  protoOf(MappedMutableProblogTheory).a1s = function (clause) {
+    return this.b1s(listOf(clause));
   };
   protoOf(MappedMutableProblogTheory).assertZ = function (clause) {
-    return this.v1p(clause);
+    return this.a1s(clause);
   };
-  protoOf(MappedMutableProblogTheory).x1p = function (clauses) {
-    return this.w1p(asIterable_0(clauses));
+  protoOf(MappedMutableProblogTheory).c1s = function (clauses) {
+    return this.b1s(asIterable_0(clauses));
   };
   protoOf(MappedMutableProblogTheory).assertZSequence = function (clauses) {
-    return this.x1p(clauses);
+    return this.c1s(clauses);
   };
-  protoOf(MappedMutableProblogTheory).t1q = function (head) {
-    return this.s1q(Companion_instance_3.of(head, [Companion_getInstance_0().anonymous()]));
+  protoOf(MappedMutableProblogTheory).y1s = function (head) {
+    return this.x1s(Companion_instance_3.of(head, [Companion_getInstance_0().anonymous()]));
   };
   protoOf(MappedMutableProblogTheory).retractByHead = function (head) {
-    return this.t1q(head);
+    return this.y1s(head);
   };
-  protoOf(MappedMutableProblogTheory).s1q = function (clause) {
-    return this.a1q(listOf(clause));
+  protoOf(MappedMutableProblogTheory).x1s = function (clause) {
+    return this.f1s(listOf(clause));
   };
   protoOf(MappedMutableProblogTheory).retract = function (clause) {
-    return this.s1q(clause);
+    return this.x1s(clause);
   };
-  protoOf(MappedMutableProblogTheory).z1p = function (clauses) {
-    return this.a1q(asIterable_0(clauses));
+  protoOf(MappedMutableProblogTheory).e1s = function (clauses) {
+    return this.f1s(asIterable_0(clauses));
   };
   protoOf(MappedMutableProblogTheory).retractSequence = function (clauses) {
-    return this.z1p(clauses);
+    return this.e1s(clauses);
   };
-  protoOf(MappedMutableProblogTheory).u1q = function (head) {
-    return this.e1j(Companion_instance_3.of(head, [Companion_getInstance_0().anonymous()]));
+  protoOf(MappedMutableProblogTheory).z1s = function (head) {
+    return this.j1l(Companion_instance_3.of(head, [Companion_getInstance_0().anonymous()]));
   };
   protoOf(MappedMutableProblogTheory).retractAllByHead = function (head) {
-    return this.u1q(head);
+    return this.z1s(head);
   };
-  protoOf(MappedMutableProblogTheory).n1p = function (unificator) {
-    return this.s37_1.n1p(unificator);
+  protoOf(MappedMutableProblogTheory).s1r = function (unificator) {
+    return this.x39_1.s1r(unificator);
   };
   protoOf(MappedMutableProblogTheory).setUnificator = function (unificator) {
-    return this.n1p(unificator);
+    return this.s1r(unificator);
   };
   protoOf(MappedMutableProblogTheory).b10 = function (tags) {
-    return this.s37_1.b10(tags);
+    return this.x39_1.b10(tags);
   };
   protoOf(MappedMutableProblogTheory).resetTags = function (tags) {
     return this.b10(tags);
   };
-  protoOf(MappedMutableProblogTheory).b1q = function () {
-    return this.s37_1.b1q();
+  protoOf(MappedMutableProblogTheory).g1s = function () {
+    return this.x39_1.g1s();
   };
   protoOf(MappedMutableProblogTheory).clone = function () {
-    return this.b1q();
+    return this.g1s();
   };
   protoOf(MappedMutableProblogTheory).contains = function (clause) {
-    return this.s37_1.contains(clause);
+    return this.x39_1.contains(clause);
   };
   protoOf(MappedMutableProblogTheory).containsHead = function (head) {
-    return this.s37_1.containsHead(head);
+    return this.x39_1.containsHead(head);
   };
   protoOf(MappedMutableProblogTheory).containsIndicator = function (indicator) {
-    return this.s37_1.containsIndicator(indicator);
+    return this.x39_1.containsIndicator(indicator);
   };
   protoOf(MappedMutableProblogTheory).get = function (clause) {
-    return this.s37_1.get(clause);
+    return this.x39_1.get(clause);
   };
   protoOf(MappedMutableProblogTheory).getByHead = function (head) {
-    return this.s37_1.getByHead(head);
+    return this.x39_1.getByHead(head);
   };
   protoOf(MappedMutableProblogTheory).getByIndicator = function (indicator) {
-    return this.s37_1.getByIndicator(indicator);
+    return this.x39_1.getByIndicator(indicator);
   };
   protoOf(MappedMutableProblogTheory).toStringAsProlog = function (asPrologText) {
-    return this.s37_1.toStringAsProlog(asPrologText);
+    return this.x39_1.toStringAsProlog(asPrologText);
   };
   protoOf(MappedMutableProblogTheory).equalsUsingVarCompleteNames = function (other, useVarCompleteName) {
-    return this.s37_1.equalsUsingVarCompleteNames(other, useVarCompleteName);
+    return this.x39_1.equalsUsingVarCompleteNames(other, useVarCompleteName);
   };
-  protoOf(MappedMutableProblogTheory).w1i = function () {
-    return this.s37_1.w1i();
+  protoOf(MappedMutableProblogTheory).b1l = function () {
+    return this.x39_1.b1l();
   };
-  protoOf(MappedMutableProblogTheory).p1i = function () {
-    return this.s37_1.p1i();
+  protoOf(MappedMutableProblogTheory).u1k = function () {
+    return this.x39_1.u1k();
   };
-  protoOf(MappedMutableProblogTheory).r1i = function () {
-    return this.s37_1.r1i();
+  protoOf(MappedMutableProblogTheory).w1k = function () {
+    return this.x39_1.w1k();
   };
-  protoOf(MappedMutableProblogTheory).m1p = function () {
-    return this.s37_1.m1p();
+  protoOf(MappedMutableProblogTheory).r1r = function () {
+    return this.x39_1.r1r();
   };
   protoOf(MappedMutableProblogTheory).n = function () {
-    return this.s37_1.n();
+    return this.x39_1.n();
   };
   protoOf(MappedMutableProblogTheory).getTag = function (name) {
-    return this.s37_1.getTag(name);
+    return this.x39_1.getTag(name);
   };
   protoOf(MappedMutableProblogTheory).containsTag = function (name) {
-    return this.s37_1.containsTag(name);
+    return this.x39_1.containsTag(name);
   };
   protoOf(MappedMutableProblogTheory).lr = function () {
-    return this.s37_1.lr();
+    return this.x39_1.lr();
   };
-  protoOf(MappedMutableProblogTheory).m1i = function () {
-    return this.s37_1.m1i();
+  protoOf(MappedMutableProblogTheory).r1k = function () {
+    return this.x39_1.r1k();
   };
   function MappedProblogTheory(clauses, unificator, theory) {
-    unificator = unificator === VOID ? Companion_getInstance_8().f1i() : unificator;
+    unificator = unificator === VOID ? Companion_getInstance_8().k1k() : unificator;
     var tmp;
     if (theory === VOID) {
       var tmp_0 = Companion_instance_7;
@@ -2542,7 +2542,7 @@
         var _iterator__ex2g4s = clauses.n();
         while (_iterator__ex2g4s.q()) {
           var element = _iterator__ex2g4s.r();
-          var list = ClauseMappingUtils_getInstance().q37(element);
+          var list = ClauseMappingUtils_getInstance().v39(element);
           addAll(destination, list);
         }
         tmp_1 = destination;
@@ -2553,102 +2553,102 @@
       tmp = theory;
     }
     theory = tmp;
-    this.u37_1 = theory;
+    this.z39_1 = theory;
   }
-  protoOf(MappedProblogTheory).c1q = function () {
+  protoOf(MappedProblogTheory).h1s = function () {
     return false;
   };
-  protoOf(MappedProblogTheory).p1q = function () {
-    return Companion_instance_8.ofIterable(this.m1i(), this);
+  protoOf(MappedProblogTheory).u1s = function () {
+    return Companion_instance_8.ofIterable(this.r1k(), this);
   };
   protoOf(MappedProblogTheory).toMutableTheory = function () {
-    return this.p1q();
+    return this.u1s();
   };
-  protoOf(MappedProblogTheory).c1p = function () {
+  protoOf(MappedProblogTheory).h1r = function () {
     return this;
   };
   protoOf(MappedProblogTheory).toImmutableTheory = function () {
-    return this.c1p();
+    return this.h1r();
   };
-  protoOf(MappedProblogTheory).t37 = function (theory) {
-    return new MappedProblogTheory(null, this.m1i(), this.u37_1.plusTheory(theory));
+  protoOf(MappedProblogTheory).y39 = function (theory) {
+    return new MappedProblogTheory(null, this.r1k(), this.z39_1.plusTheory(theory));
   };
-  protoOf(MappedProblogTheory).p1p = function (theory) {
+  protoOf(MappedProblogTheory).u1r = function (theory) {
     var tmp;
     if (isInterface(theory, ProblogTheory)) {
-      tmp = this.t37(theory);
+      tmp = this.y39(theory);
     } else {
-      tmp = this.t37(new MappedProblogTheory(theory, this.m1i()));
+      tmp = this.y39(new MappedProblogTheory(theory, this.r1k()));
     }
     return tmp;
   };
   protoOf(MappedProblogTheory).plusTheory = function (theory) {
-    return this.p1p(theory);
+    return this.u1r(theory);
   };
-  protoOf(MappedProblogTheory).d1p = function (clause) {
-    var mapped = ClauseMappingUtils_getInstance().q37(clause);
-    return new MappedProblogTheory(null, this.m1i(), this.u37_1.plusTheory(Companion_instance_7.indexedOfIterable(this.m1i(), mapped)));
+  protoOf(MappedProblogTheory).i1r = function (clause) {
+    var mapped = ClauseMappingUtils_getInstance().v39(clause);
+    return new MappedProblogTheory(null, this.r1k(), this.z39_1.plusTheory(Companion_instance_7.indexedOfIterable(this.r1k(), mapped)));
   };
   protoOf(MappedProblogTheory).plus = function (clause) {
-    return this.d1p(clause);
+    return this.i1r(clause);
   };
-  protoOf(MappedProblogTheory).t1p = function (clauses) {
+  protoOf(MappedProblogTheory).y1r = function (clauses) {
     // Inline function 'kotlin.collections.flatMap' call
     // Inline function 'kotlin.collections.flatMapTo' call
     var destination = ArrayList_init_$Create$_0();
     var _iterator__ex2g4s = clauses.n();
     while (_iterator__ex2g4s.q()) {
       var element = _iterator__ex2g4s.r();
-      var list = ClauseMappingUtils_getInstance().q37(element);
+      var list = ClauseMappingUtils_getInstance().v39(element);
       addAll(destination, list);
     }
     var mapped = destination;
-    return new MappedProblogTheory(null, this.m1i(), this.u37_1.assertAIterable(mapped));
+    return new MappedProblogTheory(null, this.r1k(), this.z39_1.assertAIterable(mapped));
   };
   protoOf(MappedProblogTheory).assertAIterable = function (clauses) {
-    return this.t1p(clauses);
+    return this.y1r(clauses);
   };
-  protoOf(MappedProblogTheory).w1p = function (clauses) {
+  protoOf(MappedProblogTheory).b1s = function (clauses) {
     // Inline function 'kotlin.collections.flatMap' call
     // Inline function 'kotlin.collections.flatMapTo' call
     var destination = ArrayList_init_$Create$_0();
     var _iterator__ex2g4s = clauses.n();
     while (_iterator__ex2g4s.q()) {
       var element = _iterator__ex2g4s.r();
-      var list = ClauseMappingUtils_getInstance().q37(element);
+      var list = ClauseMappingUtils_getInstance().v39(element);
       addAll(destination, list);
     }
     var mapped = destination;
-    return new MappedProblogTheory(null, this.m1i(), this.u37_1.assertZIterable(mapped));
+    return new MappedProblogTheory(null, this.r1k(), this.z39_1.assertZIterable(mapped));
   };
   protoOf(MappedProblogTheory).assertZIterable = function (clauses) {
-    return this.w1p(clauses);
+    return this.b1s(clauses);
   };
-  protoOf(MappedProblogTheory).a1q = function (clauses) {
+  protoOf(MappedProblogTheory).f1s = function (clauses) {
     // Inline function 'kotlin.collections.flatMap' call
     // Inline function 'kotlin.collections.flatMapTo' call
     var destination = ArrayList_init_$Create$_0();
     var _iterator__ex2g4s = clauses.n();
     while (_iterator__ex2g4s.q()) {
       var element = _iterator__ex2g4s.r();
-      var list = ClauseMappingUtils_getInstance().q37(element);
+      var list = ClauseMappingUtils_getInstance().v39(element);
       addAll(destination, list);
     }
     var mapped = destination;
-    var result = this.u37_1.retractIterable(mapped);
+    var result = this.z39_1.retractIterable(mapped);
     var tmp;
     if (result instanceof Success) {
-      tmp = new Success(new MappedProblogTheory(null, this.m1i(), result.v1q_1), result.w1q_1);
+      tmp = new Success(new MappedProblogTheory(null, this.r1k(), result.a1t_1), result.b1t_1);
     } else {
-      tmp = new Failure(new MappedProblogTheory(null, this.m1i(), result.j1p()));
+      tmp = new Failure(new MappedProblogTheory(null, this.r1k(), result.o1r()));
     }
     return tmp;
   };
   protoOf(MappedProblogTheory).retractIterable = function (clauses) {
-    return this.a1q(clauses);
+    return this.f1s(clauses);
   };
-  protoOf(MappedProblogTheory).e1j = function (clause) {
-    var mappedClauses = ClauseMappingUtils_getInstance().q37(clause);
+  protoOf(MappedProblogTheory).j1l = function (clause) {
+    var mappedClauses = ClauseMappingUtils_getInstance().v39(clause);
     var result = null;
     var _iterator__ex2g4s = mappedClauses.n();
     while (_iterator__ex2g4s.q()) {
@@ -2660,152 +2660,152 @@
         tmp = !(result instanceof Failure);
       }
       if (tmp) {
-        result = this.u37_1.retractAll(c);
+        result = this.z39_1.retractAll(c);
       }
     }
     var tmp_0;
     if (result instanceof Success) {
-      tmp_0 = new Success(new MappedProblogTheory(null, this.m1i(), result.v1q_1), result.w1q_1);
+      tmp_0 = new Success(new MappedProblogTheory(null, this.r1k(), result.a1t_1), result.b1t_1);
     } else {
       tmp_0 = new Failure(this);
     }
     return tmp_0;
   };
   protoOf(MappedProblogTheory).retractAll = function (clause) {
-    return this.e1j(clause);
+    return this.j1l(clause);
   };
-  protoOf(MappedProblogTheory).i1p = function (indicator) {
-    return new MappedProblogTheory(null, this.m1i(), this.u37_1.abolish(ClauseMappingUtils_getInstance().r37(indicator)));
+  protoOf(MappedProblogTheory).n1r = function (indicator) {
+    return new MappedProblogTheory(null, this.r1k(), this.z39_1.abolish(ClauseMappingUtils_getInstance().w39(indicator)));
   };
   protoOf(MappedProblogTheory).abolish = function (indicator) {
-    return this.i1p(indicator);
+    return this.n1r(indicator);
   };
-  protoOf(MappedProblogTheory).q1q = function (struct) {
-    return this.r1p(Companion_instance.of(struct));
+  protoOf(MappedProblogTheory).v1s = function (struct) {
+    return this.w1r(Companion_instance.of(struct));
   };
   protoOf(MappedProblogTheory).assertAFact = function (struct) {
-    return this.q1q(struct);
+    return this.v1s(struct);
   };
-  protoOf(MappedProblogTheory).r1q = function (struct) {
-    return this.v1p(Companion_instance.of(struct));
+  protoOf(MappedProblogTheory).w1s = function (struct) {
+    return this.a1s(Companion_instance.of(struct));
   };
   protoOf(MappedProblogTheory).assertZFact = function (struct) {
-    return this.r1q(struct);
+    return this.w1s(struct);
   };
-  protoOf(MappedProblogTheory).r1p = function (clause) {
-    return this.t1p(listOf(clause));
+  protoOf(MappedProblogTheory).w1r = function (clause) {
+    return this.y1r(listOf(clause));
   };
   protoOf(MappedProblogTheory).assertA = function (clause) {
-    return this.r1p(clause);
+    return this.w1r(clause);
   };
-  protoOf(MappedProblogTheory).u1p = function (clauses) {
-    return this.t1p(asIterable_0(clauses));
+  protoOf(MappedProblogTheory).z1r = function (clauses) {
+    return this.y1r(asIterable_0(clauses));
   };
   protoOf(MappedProblogTheory).assertASequence = function (clauses) {
-    return this.u1p(clauses);
+    return this.z1r(clauses);
   };
-  protoOf(MappedProblogTheory).v1p = function (clause) {
-    return this.w1p(listOf(clause));
+  protoOf(MappedProblogTheory).a1s = function (clause) {
+    return this.b1s(listOf(clause));
   };
   protoOf(MappedProblogTheory).assertZ = function (clause) {
-    return this.v1p(clause);
+    return this.a1s(clause);
   };
-  protoOf(MappedProblogTheory).x1p = function (clauses) {
-    return this.w1p(asIterable_0(clauses));
+  protoOf(MappedProblogTheory).c1s = function (clauses) {
+    return this.b1s(asIterable_0(clauses));
   };
   protoOf(MappedProblogTheory).assertZSequence = function (clauses) {
-    return this.x1p(clauses);
+    return this.c1s(clauses);
   };
-  protoOf(MappedProblogTheory).t1q = function (head) {
-    return this.s1q(Companion_instance_3.of(head, [Companion_getInstance_0().anonymous()]));
+  protoOf(MappedProblogTheory).y1s = function (head) {
+    return this.x1s(Companion_instance_3.of(head, [Companion_getInstance_0().anonymous()]));
   };
   protoOf(MappedProblogTheory).retractByHead = function (head) {
-    return this.t1q(head);
+    return this.y1s(head);
   };
-  protoOf(MappedProblogTheory).s1q = function (clause) {
-    return this.a1q(listOf(clause));
+  protoOf(MappedProblogTheory).x1s = function (clause) {
+    return this.f1s(listOf(clause));
   };
   protoOf(MappedProblogTheory).retract = function (clause) {
-    return this.s1q(clause);
+    return this.x1s(clause);
   };
-  protoOf(MappedProblogTheory).z1p = function (clauses) {
-    return this.a1q(asIterable_0(clauses));
+  protoOf(MappedProblogTheory).e1s = function (clauses) {
+    return this.f1s(asIterable_0(clauses));
   };
   protoOf(MappedProblogTheory).retractSequence = function (clauses) {
-    return this.z1p(clauses);
+    return this.e1s(clauses);
   };
-  protoOf(MappedProblogTheory).u1q = function (head) {
-    return this.e1j(Companion_instance_3.of(head, [Companion_getInstance_0().anonymous()]));
+  protoOf(MappedProblogTheory).z1s = function (head) {
+    return this.j1l(Companion_instance_3.of(head, [Companion_getInstance_0().anonymous()]));
   };
   protoOf(MappedProblogTheory).retractAllByHead = function (head) {
-    return this.u1q(head);
+    return this.z1s(head);
   };
   protoOf(MappedProblogTheory).setUnificator = function (unificator) {
-    return this.u37_1.setUnificator(unificator);
+    return this.z39_1.setUnificator(unificator);
   };
   protoOf(MappedProblogTheory).contains = function (clause) {
-    return this.u37_1.contains(clause);
+    return this.z39_1.contains(clause);
   };
   protoOf(MappedProblogTheory).containsHead = function (head) {
-    return this.u37_1.containsHead(head);
+    return this.z39_1.containsHead(head);
   };
   protoOf(MappedProblogTheory).containsIndicator = function (indicator) {
-    return this.u37_1.containsIndicator(indicator);
+    return this.z39_1.containsIndicator(indicator);
   };
   protoOf(MappedProblogTheory).get = function (clause) {
-    return this.u37_1.get(clause);
+    return this.z39_1.get(clause);
   };
   protoOf(MappedProblogTheory).getByHead = function (head) {
-    return this.u37_1.getByHead(head);
+    return this.z39_1.getByHead(head);
   };
   protoOf(MappedProblogTheory).getByIndicator = function (indicator) {
-    return this.u37_1.getByIndicator(indicator);
+    return this.z39_1.getByIndicator(indicator);
   };
   protoOf(MappedProblogTheory).toStringAsProlog = function (asPrologText) {
-    return this.u37_1.toStringAsProlog(asPrologText);
+    return this.z39_1.toStringAsProlog(asPrologText);
   };
   protoOf(MappedProblogTheory).equalsUsingVarCompleteNames = function (other, useVarCompleteName) {
-    return this.u37_1.equalsUsingVarCompleteNames(other, useVarCompleteName);
+    return this.z39_1.equalsUsingVarCompleteNames(other, useVarCompleteName);
   };
   protoOf(MappedProblogTheory).clone = function () {
-    return this.u37_1.clone();
+    return this.z39_1.clone();
   };
-  protoOf(MappedProblogTheory).w1i = function () {
-    return this.u37_1.w1i();
+  protoOf(MappedProblogTheory).b1l = function () {
+    return this.z39_1.b1l();
   };
-  protoOf(MappedProblogTheory).p1i = function () {
-    return this.u37_1.p1i();
+  protoOf(MappedProblogTheory).u1k = function () {
+    return this.z39_1.u1k();
   };
-  protoOf(MappedProblogTheory).r1i = function () {
-    return this.u37_1.r1i();
+  protoOf(MappedProblogTheory).w1k = function () {
+    return this.z39_1.w1k();
   };
-  protoOf(MappedProblogTheory).m1p = function () {
-    return this.u37_1.m1p();
+  protoOf(MappedProblogTheory).r1r = function () {
+    return this.z39_1.r1r();
   };
   protoOf(MappedProblogTheory).n = function () {
-    return this.u37_1.n();
+    return this.z39_1.n();
   };
   protoOf(MappedProblogTheory).getTag = function (name) {
-    return this.u37_1.getTag(name);
+    return this.z39_1.getTag(name);
   };
   protoOf(MappedProblogTheory).resetTags = function (tags) {
-    return this.u37_1.resetTags(tags);
+    return this.z39_1.resetTags(tags);
   };
   protoOf(MappedProblogTheory).containsTag = function (name) {
-    return this.u37_1.containsTag(name);
+    return this.z39_1.containsTag(name);
   };
   protoOf(MappedProblogTheory).lr = function () {
-    return this.u37_1.lr();
+    return this.z39_1.lr();
   };
-  protoOf(MappedProblogTheory).m1i = function () {
-    return this.u37_1.m1i();
+  protoOf(MappedProblogTheory).r1k = function () {
+    return this.z39_1.r1k();
   };
   function NothingClauseMapper() {
   }
-  protoOf(NothingClauseMapper).e37 = function (clause) {
+  protoOf(NothingClauseMapper).j39 = function (clause) {
     return true;
   };
-  protoOf(NothingClauseMapper).f37 = function (clause) {
+  protoOf(NothingClauseMapper).k39 = function (clause) {
     return listOf(clause);
   };
   var NothingClauseMapper_instance;
@@ -2814,7 +2814,7 @@
   }
   function ProbabilisticClauseMapper() {
   }
-  protoOf(ProbabilisticClauseMapper).e37 = function (clause) {
+  protoOf(ProbabilisticClauseMapper).j39 = function (clause) {
     var tmp;
     if (isInterface(clause, Rule)) {
       tmp = clause.dw().xt() === '::';
@@ -2823,14 +2823,14 @@
     }
     return tmp;
   };
-  protoOf(ProbabilisticClauseMapper).f37 = function (clause) {
+  protoOf(ProbabilisticClauseMapper).k39 = function (clause) {
     if (!isInterface(clause, Rule)) {
       throw new ClauseMappingException('Clause is not an instance of Rule: ' + clause.toString());
     }
-    var mapped = this.g37(clause);
-    return listOf(this.h37(mapped.first, Companion_getInstance_11().t36(mapped.second)));
+    var mapped = this.l39(clause);
+    return listOf(this.m39(mapped.first, Companion_getInstance_11().y38(mapped.second)));
   };
-  protoOf(ProbabilisticClauseMapper).g37 = function (rule) {
+  protoOf(ProbabilisticClauseMapper).l39 = function (rule) {
     if (!(rule.dw().rt() === 2)) {
       throw TuPrologException_init_$Create$('Invalid probabilistic rule: ' + rule.dw().toString());
     }
@@ -2858,10 +2858,10 @@
     headTerm = anonVariablesFix.dw();
     bodyTerm = anonVariablesFix.ew();
     var extraVariables = get_extraVariables(Companion_instance_3.of(headTerm, [bodyTerm]));
-    var probTerm_0 = new ProbTerm(ClauseMappingUtils_getInstance().p37(), probability, headTerm, extraVariables);
+    var probTerm_0 = new ProbTerm(ClauseMappingUtils_getInstance().u39(), probability, headTerm, extraVariables);
     return new Pair(Companion_instance_3.of(headTerm, [bodyTerm]), probTerm_0);
   };
-  protoOf(ProbabilisticClauseMapper).h37 = function (rule, explanation) {
+  protoOf(ProbabilisticClauseMapper).m39 = function (rule, explanation) {
     var tmp = rule.ew();
     if (isInterface(tmp, Truth)) {
       return Companion_instance_3.of(withExplanation(rule.dw(), toTerm(explanation)), [rule.ew()]);
@@ -2883,16 +2883,16 @@
   }
   function PrologClauseMapper() {
   }
-  protoOf(PrologClauseMapper).e37 = function (clause) {
+  protoOf(PrologClauseMapper).j39 = function (clause) {
     return isInterface(clause, Rule);
   };
-  protoOf(PrologClauseMapper).f37 = function (clause) {
+  protoOf(PrologClauseMapper).k39 = function (clause) {
     if (!isInterface(clause, Rule)) {
       throw new ClauseMappingException('Clause is not an instance of Rule: ' + clause.toString());
     }
     var tmp = clause.ew();
     if (isInterface(tmp, Truth)) {
-      return listOf(Companion_instance_3.of(withExplanation(clause.dw(), toTerm(Companion_getInstance_11().p36_1)), [clause.ew()]));
+      return listOf(Companion_instance_3.of(withExplanation(clause.dw(), toTerm(Companion_getInstance_11().u38_1)), [clause.ew()]));
     }
     var explanationVar = Companion_getInstance_0().of('EXPL_Res');
     return listOf(Companion_instance_3.of(withExplanation(clause.dw(), explanationVar), [withBodyExplanation(clause.ew(), explanationVar)]));
@@ -2902,17 +2902,17 @@
     return PrologClauseMapper_instance;
   }
   function _get_prob__dc6m52($this, $receiver) {
-    return $receiver.m35_1.b37();
+    return $receiver.r37_1.g39();
   }
   function ProbExplAnd() {
     ProbExplAnd_instance = this;
     NonBacktrackable.call(this, 'prob_expl_and');
   }
-  protoOf(ProbExplAnd).g2m = function (_this__u8e3s4, first, second, third) {
-    Companion_getInstance_9().o2d(_this__u8e3s4, 1);
-    Companion_getInstance_9().s2d(_this__u8e3s4, 1);
-    if (ProbSetConfig_getInstance().w37(_this__u8e3s4.context)) {
-      return _this__u8e3s4.replyWith(Companion_getInstance_9().i2d(_this__u8e3s4, first, toTerm(Companion_getInstance_11().p36_1)), VOID, []);
+  protoOf(ProbExplAnd).l2o = function (_this__u8e3s4, first, second, third) {
+    Companion_getInstance_9().t2f(_this__u8e3s4, 1);
+    Companion_getInstance_9().x2f(_this__u8e3s4, 1);
+    if (ProbSetConfig_getInstance().b3a(_this__u8e3s4.context)) {
+      return _this__u8e3s4.replyWith(Companion_getInstance_9().n2f(_this__u8e3s4, first, toTerm(Companion_getInstance_11().u38_1)), VOID, []);
     }
     var tmp;
     var tmp_0;
@@ -2928,12 +2928,12 @@
       tmp_0 = false;
     }
     if (tmp_0) {
-      var explanation = _get_prob__dc6m52(this, second) === 0.0 || _get_prob__dc6m52(this, third) === 0.0 ? Companion_getInstance_11().o36_1 : _get_prob__dc6m52(this, second) === 1.0 && _get_prob__dc6m52(this, third) === 1.0 ? Companion_getInstance_11().p36_1 : _get_prob__dc6m52(this, second) === 1.0 ? third.m35_1 : _get_prob__dc6m52(this, third) === 1.0 ? second.m35_1 : second.m35_1.and(third.m35_1);
+      var explanation = _get_prob__dc6m52(this, second) === 0.0 || _get_prob__dc6m52(this, third) === 0.0 ? Companion_getInstance_11().t38_1 : _get_prob__dc6m52(this, second) === 1.0 && _get_prob__dc6m52(this, third) === 1.0 ? Companion_getInstance_11().u38_1 : _get_prob__dc6m52(this, second) === 1.0 ? third.r37_1 : _get_prob__dc6m52(this, third) === 1.0 ? second.r37_1 : second.r37_1.and(third.r37_1);
       var tmp_2;
-      if (explanation.b37() === 0.0) {
+      if (explanation.g39() === 0.0) {
         tmp_2 = _this__u8e3s4.replyWithCondition(false, VOID, []);
       } else {
-        tmp_2 = _this__u8e3s4.replyWith(Companion_getInstance_9().i2d(_this__u8e3s4, first, new ProbExplanationTerm(explanation)), VOID, []);
+        tmp_2 = _this__u8e3s4.replyWith(Companion_getInstance_9().n2f(_this__u8e3s4, first, new ProbExplanationTerm(explanation)), VOID, []);
       }
       tmp = tmp_2;
     } else {
@@ -2943,8 +2943,8 @@
     }
     return tmp;
   };
-  protoOf(ProbExplAnd).o2f = function (_this__u8e3s4, first, second, third) {
-    return this.g2m(_this__u8e3s4, first, second, third);
+  protoOf(ProbExplAnd).t2h = function (_this__u8e3s4, first, second, third) {
+    return this.l2o(_this__u8e3s4, first, second, third);
   };
   var ProbExplAnd_instance;
   function ProbExplAnd_getInstance() {
@@ -2953,22 +2953,22 @@
     return ProbExplAnd_instance;
   }
   function ProbHelper$computeAllSubstitutions$slambda($goal, $this_computeAllSubstitutions, $third, $first, $second, $goalSignature, resultContinuation) {
-    this.f38_1 = $goal;
-    this.g38_1 = $this_computeAllSubstitutions;
-    this.h38_1 = $third;
-    this.i38_1 = $first;
-    this.j38_1 = $second;
-    this.k38_1 = $goalSignature;
+    this.k3a_1 = $goal;
+    this.l3a_1 = $this_computeAllSubstitutions;
+    this.m3a_1 = $third;
+    this.n3a_1 = $first;
+    this.o3a_1 = $second;
+    this.p3a_1 = $goalSignature;
     CoroutineImpl.call(this, resultContinuation);
   }
-  protoOf(ProbHelper$computeAllSubstitutions$slambda).x2n = function ($this$sequence, $completion) {
-    var tmp = this.y2n($this$sequence, $completion);
+  protoOf(ProbHelper$computeAllSubstitutions$slambda).c2q = function ($this$sequence, $completion) {
+    var tmp = this.d2q($this$sequence, $completion);
     tmp.d8_1 = Unit_instance;
     tmp.e8_1 = null;
     return tmp.j8();
   };
   protoOf(ProbHelper$computeAllSubstitutions$slambda).a9 = function (p1, $completion) {
-    return this.x2n(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
+    return this.c2q(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
   };
   protoOf(ProbHelper$computeAllSubstitutions$slambda).j8 = function () {
     var suspendResult = this.d8_1;
@@ -2978,27 +2978,27 @@
         switch (tmp) {
           case 0:
             this.c8_1 = 18;
-            var tmp0_subject = this.f38_1.xt();
+            var tmp0_subject = this.k3a_1.xt();
             switch (tmp0_subject) {
               case '\\+':
               case 'not':
                 this.b8_1 = 16;
                 var tmp_0;
-                if (ProbSetConfig_getInstance().w37(this.g38_1.context)) {
+                if (ProbSetConfig_getInstance().b3a(this.l3a_1.context)) {
                   var tmp_1 = Companion_getInstance_9();
                   var tmp_2 = Companion_getInstance_1();
-                  var tmp_3 = this.f38_1.xt();
+                  var tmp_3 = this.k3a_1.xt();
                   var tmp_4 = Companion_getInstance_1();
                   var this_0 = Prob_getInstance();
-                  tmp_0 = tmp_1.i2d(this.g38_1, this.h38_1, tmp_2.of(tmp_3, [tmp_4.of(this_0.signature.name, [Companion_getInstance_0().anonymous(), this.f38_1.get(0)])])).plus(Companion_getInstance_9().i2d(this.g38_1, this.i38_1, toTerm(Companion_getInstance_11().p36_1)));
+                  tmp_0 = tmp_1.n2f(this.l3a_1, this.m3a_1, tmp_2.of(tmp_3, [tmp_4.of(this_0.signature.name, [Companion_getInstance_0().anonymous(), this.k3a_1.get(0)])])).plus(Companion_getInstance_9().n2f(this.l3a_1, this.n3a_1, toTerm(Companion_getInstance_11().u38_1)));
                 } else {
                   var tmp_5 = Companion_getInstance_9();
                   var tmp_6 = Companion_getInstance_1();
                   var this_1 = ProbNegationAsFailure_getInstance();
-                  tmp_0 = tmp_5.i2d(this.g38_1, this.h38_1, tmp_6.of(this_1.signature.name, [this.i38_1, this.f38_1.get(0)]));
+                  tmp_0 = tmp_5.n2f(this.l3a_1, this.m3a_1, tmp_6.of(this_1.signature.name, [this.n3a_1, this.k3a_1.get(0)]));
                 }
 
-                suspendResult = this.l38_1.bd(tmp_0, this);
+                suspendResult = this.q3a_1.bd(tmp_0, this);
                 if (suspendResult === get_COROUTINE_SUSPENDED()) {
                   return suspendResult;
                 }
@@ -3011,13 +3011,13 @@
                   case '->':
                     this.b8_1 = 15;
                     var tmp_7;
-                    if (ProbSetConfig_getInstance().w37(this.g38_1.context)) {
-                      tmp_7 = Companion_getInstance_9().i2d(this.g38_1, this.h38_1, withBodyExplanation(this.f38_1, Companion_getInstance_0().anonymous())).plus(Companion_getInstance_9().i2d(this.g38_1, this.i38_1, toTerm(Companion_getInstance_11().p36_1)));
+                    if (ProbSetConfig_getInstance().b3a(this.l3a_1.context)) {
+                      tmp_7 = Companion_getInstance_9().n2f(this.l3a_1, this.m3a_1, withBodyExplanation(this.k3a_1, Companion_getInstance_0().anonymous())).plus(Companion_getInstance_9().n2f(this.l3a_1, this.n3a_1, toTerm(Companion_getInstance_11().u38_1)));
                     } else {
-                      tmp_7 = Companion_getInstance_9().i2d(this.g38_1, this.h38_1, withBodyExplanation(this.f38_1, this.i38_1));
+                      tmp_7 = Companion_getInstance_9().n2f(this.l3a_1, this.m3a_1, withBodyExplanation(this.k3a_1, this.n3a_1));
                     }
 
-                    suspendResult = this.l38_1.bd(tmp_7, this);
+                    suspendResult = this.q3a_1.bd(tmp_7, this);
                     if (suspendResult === get_COROUTINE_SUSPENDED()) {
                       return suspendResult;
                     }
@@ -3025,9 +3025,9 @@
                     continue $sm;
                   default:
                     if (tmp0_subject === 'call') {
-                      var newGoal = this.f38_1.get(0);
+                      var newGoal = this.k3a_1.get(0);
                       this.b8_1 = 14;
-                      suspendResult = this.l38_1.bd(Companion_getInstance_9().i2d(this.g38_1, this.h38_1, Companion_instance_0.of(Companion_getInstance_1().of('ensure_executable', [newGoal]), Companion_getInstance_1().of(this.f38_1.xt(), [withBodyExplanation(newGoal, this.i38_1)]))), this);
+                      suspendResult = this.q3a_1.bd(Companion_getInstance_9().n2f(this.l3a_1, this.m3a_1, Companion_instance_0.of(Companion_getInstance_1().of('ensure_executable', [newGoal]), Companion_getInstance_1().of(this.k3a_1.xt(), [withBodyExplanation(newGoal, this.n3a_1)]))), this);
                       if (suspendResult === get_COROUTINE_SUSPENDED()) {
                         return suspendResult;
                       }
@@ -3035,18 +3035,18 @@
                     } else {
                       if (tmp0_subject === 'catch') {
                         this.b8_1 = 13;
-                        suspendResult = this.l38_1.bd(Companion_getInstance_9().i2d(this.g38_1, this.h38_1, Companion_getInstance_1().of(this.f38_1.xt(), [withBodyExplanation(this.f38_1.get(0), this.i38_1), this.f38_1.get(1), withBodyExplanation(this.f38_1.get(2), this.i38_1)])), this);
+                        suspendResult = this.q3a_1.bd(Companion_getInstance_9().n2f(this.l3a_1, this.m3a_1, Companion_getInstance_1().of(this.k3a_1.xt(), [withBodyExplanation(this.k3a_1.get(0), this.n3a_1), this.k3a_1.get(1), withBodyExplanation(this.k3a_1.get(2), this.n3a_1)])), this);
                         if (suspendResult === get_COROUTINE_SUSPENDED()) {
                           return suspendResult;
                         }
                         continue $sm;
                       } else {
                         if (tmp0_subject === 'findall') {
-                          var this_2 = this.f38_1.yt();
+                          var this_2 = this.k3a_1.yt();
                           var goalArgs = copyToArray(this_2);
                           goalArgs[1] = withBodyExplanation(goalArgs[1], Companion_getInstance_0().anonymous());
                           this.b8_1 = 12;
-                          suspendResult = this.l38_1.bd(Companion_getInstance_9().i2d(this.g38_1, this.h38_1, Companion_getInstance_1().of(this.f38_1.xt(), goalArgs.slice())).plus(Companion_getInstance_9().i2d(this.g38_1, this.i38_1, toTerm(Companion_getInstance_11().p36_1))), this);
+                          suspendResult = this.q3a_1.bd(Companion_getInstance_9().n2f(this.l3a_1, this.m3a_1, Companion_getInstance_1().of(this.k3a_1.xt(), goalArgs.slice())).plus(Companion_getInstance_9().n2f(this.l3a_1, this.n3a_1, toTerm(Companion_getInstance_11().u38_1))), this);
                           if (suspendResult === get_COROUTINE_SUSPENDED()) {
                             return suspendResult;
                           }
@@ -3056,7 +3056,7 @@
                             case 'assert':
                             case 'asserta':
                             case 'assertz':
-                              var subGoal = this.f38_1.get(0);
+                              var subGoal = this.k3a_1.get(0);
                               var tmp_8;
                               if (isInterface(subGoal, Clause)) {
                                 tmp_8 = extractSignature(ensureNotNull(subGoal.dw()));
@@ -3066,7 +3066,7 @@
 
                               var subGoalSignature = tmp_8;
                               var tmp_9;
-                              if (this.g38_1.context.j1s().containsSignature(subGoalSignature)) {
+                              if (this.l3a_1.context.o1u().containsSignature(subGoalSignature)) {
                                 tmp_9 = true;
                               } else {
                                 var tmp_10;
@@ -3080,7 +3080,7 @@
 
                               if (tmp_9) {
                                 this.b8_1 = 10;
-                                suspendResult = this.l38_1.bd(Companion_getInstance_9().i2d(this.g38_1, this.h38_1, this.f38_1).plus(Companion_getInstance_9().i2d(this.g38_1, this.i38_1, toTerm(Companion_getInstance_11().p36_1))), this);
+                                suspendResult = this.q3a_1.bd(Companion_getInstance_9().n2f(this.l3a_1, this.m3a_1, this.k3a_1).plus(Companion_getInstance_9().n2f(this.l3a_1, this.n3a_1, toTerm(Companion_getInstance_11().u38_1))), this);
                                 if (suspendResult === get_COROUTINE_SUSPENDED()) {
                                   return suspendResult;
                                 }
@@ -3088,10 +3088,10 @@
                               } else {
                                 var tmp_11;
                                 if (isInterface(subGoal, Clause)) {
-                                  tmp_11 = ClauseMappingUtils_getInstance().q37(subGoal);
+                                  tmp_11 = ClauseMappingUtils_getInstance().v39(subGoal);
                                 } else {
                                   if (isInterface(subGoal, Struct)) {
-                                    var this_3 = ClauseMappingUtils_getInstance().q37(Companion_instance.of(subGoal));
+                                    var this_3 = ClauseMappingUtils_getInstance().v39(Companion_instance.of(subGoal));
                                     var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_3, 10));
                                     var _iterator__ex2g4s = this_3.n();
                                     while (_iterator__ex2g4s.q()) {
@@ -3109,9 +3109,9 @@
                                 var _iterator__ex2g4s_0 = newGoals.n();
                                 while (_iterator__ex2g4s_0.q()) {
                                   var item_0 = _iterator__ex2g4s_0.r();
-                                  destination_0.l(Companion_getInstance_9().i2d(this.g38_1, this.h38_1, Companion_getInstance_1().of(this.f38_1.xt(), [item_0])).plus(Companion_getInstance_9().i2d(this.g38_1, this.i38_1, toTerm(Companion_getInstance_11().p36_1))));
+                                  destination_0.l(Companion_getInstance_9().n2f(this.l3a_1, this.m3a_1, Companion_getInstance_1().of(this.k3a_1.xt(), [item_0])).plus(Companion_getInstance_9().n2f(this.l3a_1, this.n3a_1, toTerm(Companion_getInstance_11().u38_1))));
                                 }
-                                suspendResult = this.l38_1.dd(destination_0, this);
+                                suspendResult = this.q3a_1.dd(destination_0, this);
                                 if (suspendResult === get_COROUTINE_SUSPENDED()) {
                                   return suspendResult;
                                 }
@@ -3122,11 +3122,11 @@
                               switch (tmp0_subject) {
                                 case 'retract':
                                 case 'retractall':
-                                  var goalArg = this.f38_1.get(0);
+                                  var goalArg = this.k3a_1.get(0);
                                   this.b8_1 = 8;
                                   var tmp_12 = Companion_getInstance_9();
                                   var tmp_13 = Companion_getInstance_1();
-                                  var tmp_14 = this.f38_1.xt();
+                                  var tmp_14 = this.k3a_1.xt();
                                   var tmp_15;
                                   var tmp_16;
                                   var tmp_17;
@@ -3145,16 +3145,16 @@
                                   if (tmp_17) {
                                     tmp_16 = true;
                                   } else {
-                                    tmp_16 = this.g38_1.context.j1s().containsSignature(extractSignature(safeToStruct(goalArg)));
+                                    tmp_16 = this.l3a_1.context.o1u().containsSignature(extractSignature(safeToStruct(goalArg)));
                                   }
 
                                   if (tmp_16) {
                                     tmp_15 = goalArg;
                                   } else {
-                                    tmp_15 = withExplanation(goalArg, this.i38_1);
+                                    tmp_15 = withExplanation(goalArg, this.n3a_1);
                                   }
 
-                                  suspendResult = this.l38_1.bd(tmp_12.i2d(this.g38_1, this.h38_1, tmp_13.of(tmp_14, [tmp_15])), this);
+                                  suspendResult = this.q3a_1.bd(tmp_12.n2f(this.l3a_1, this.m3a_1, tmp_13.of(tmp_14, [tmp_15])), this);
                                   if (suspendResult === get_COROUTINE_SUSPENDED()) {
                                     return suspendResult;
                                   }
@@ -3162,23 +3162,23 @@
                                   continue $sm;
                                 default:
                                   if (tmp0_subject === 'clause') {
-                                    var subGoal_0 = this.f38_1.get(0);
+                                    var subGoal_0 = this.k3a_1.get(0);
                                     var tmp_19;
                                     if (!isInterface(subGoal_0, Struct)) {
                                       tmp_19 = true;
                                     } else {
-                                      tmp_19 = this.g38_1.context.j1s().hasProtected(extractSignature(subGoal_0));
+                                      tmp_19 = this.l3a_1.context.o1u().hasProtected(extractSignature(subGoal_0));
                                     }
                                     if (tmp_19) {
                                       this.b8_1 = 6;
-                                      suspendResult = this.l38_1.bd(Companion_getInstance_9().i2d(this.g38_1, this.h38_1, this.f38_1).plus(Companion_getInstance_9().i2d(this.g38_1, this.i38_1, toTerm(Companion_getInstance_11().p36_1))), this);
+                                      suspendResult = this.q3a_1.bd(Companion_getInstance_9().n2f(this.l3a_1, this.m3a_1, this.k3a_1).plus(Companion_getInstance_9().n2f(this.l3a_1, this.n3a_1, toTerm(Companion_getInstance_11().u38_1))), this);
                                       if (suspendResult === get_COROUTINE_SUSPENDED()) {
                                         return suspendResult;
                                       }
                                       continue $sm;
                                     } else {
                                       this.b8_1 = 5;
-                                      suspendResult = this.l38_1.bd(Companion_getInstance_9().i2d(this.g38_1, this.h38_1, Companion_getInstance_1().of(this.f38_1.xt(), [withExplanation(this.f38_1.get(0), this.i38_1), this.f38_1.get(1)])), this);
+                                      suspendResult = this.q3a_1.bd(Companion_getInstance_9().n2f(this.l3a_1, this.m3a_1, Companion_getInstance_1().of(this.k3a_1.xt(), [withExplanation(this.k3a_1.get(0), this.n3a_1), this.k3a_1.get(1)])), this);
                                       if (suspendResult === get_COROUTINE_SUSPENDED()) {
                                         return suspendResult;
                                       }
@@ -3187,16 +3187,16 @@
                                   } else {
                                     var tmp_20 = this;
                                     var tmp_21;
-                                    var tmp_22 = this.j38_1;
+                                    var tmp_22 = this.o3a_1;
                                     if (isInterface(tmp_22, Truth)) {
                                       tmp_21 = true;
                                     } else {
-                                      tmp_21 = this.g38_1.context.j1s().containsSignature(this.k38_1);
+                                      tmp_21 = this.l3a_1.context.o1u().containsSignature(this.p3a_1);
                                     }
-                                    tmp_20.m38_1 = tmp_21;
-                                    if (this.m38_1 || this.g38_1.context.l1s().containsIndicator(this.k38_1.toIndicator()) || this.g38_1.context.m1s().containsIndicator(this.k38_1.toIndicator())) {
+                                    tmp_20.r3a_1 = tmp_21;
+                                    if (this.r3a_1 || this.l3a_1.context.q1u().containsIndicator(this.p3a_1.toIndicator()) || this.l3a_1.context.r1u().containsIndicator(this.p3a_1.toIndicator())) {
                                       this.b8_1 = 1;
-                                      suspendResult = this.l38_1.bd(Companion_getInstance_9().i2d(this.g38_1, this.h38_1, this.f38_1).plus(Companion_getInstance_9().i2d(this.g38_1, this.i38_1, toTerm(Companion_getInstance_11().p36_1))), this);
+                                      suspendResult = this.q3a_1.bd(Companion_getInstance_9().n2f(this.l3a_1, this.m3a_1, this.k3a_1).plus(Companion_getInstance_9().n2f(this.l3a_1, this.n3a_1, toTerm(Companion_getInstance_11().u38_1))), this);
                                       if (suspendResult === get_COROUTINE_SUSPENDED()) {
                                         return suspendResult;
                                       }
@@ -3226,9 +3226,9 @@
             this.b8_1 = 2;
             continue $sm;
           case 2:
-            if (!this.m38_1) {
+            if (!this.r3a_1) {
               this.b8_1 = 3;
-              suspendResult = this.l38_1.bd(Companion_getInstance_9().i2d(this.g38_1, this.h38_1, withExplanation(this.f38_1, this.i38_1)), this);
+              suspendResult = this.q3a_1.bd(Companion_getInstance_9().n2f(this.l3a_1, this.m3a_1, withExplanation(this.k3a_1, this.n3a_1)), this);
               if (suspendResult === get_COROUTINE_SUSPENDED()) {
                 return suspendResult;
               }
@@ -3296,30 +3296,30 @@
       }
      while (true);
   };
-  protoOf(ProbHelper$computeAllSubstitutions$slambda).y2n = function ($this$sequence, completion) {
-    var i = new ProbHelper$computeAllSubstitutions$slambda(this.f38_1, this.g38_1, this.h38_1, this.i38_1, this.j38_1, this.k38_1, completion);
-    i.l38_1 = $this$sequence;
+  protoOf(ProbHelper$computeAllSubstitutions$slambda).d2q = function ($this$sequence, completion) {
+    var i = new ProbHelper$computeAllSubstitutions$slambda(this.k3a_1, this.l3a_1, this.m3a_1, this.n3a_1, this.o3a_1, this.p3a_1, completion);
+    i.q3a_1 = $this$sequence;
     return i;
   };
   function ProbHelper$computeAllSubstitutions$slambda_0($goal, $this_computeAllSubstitutions, $third, $first, $second, $goalSignature, resultContinuation) {
     var i = new ProbHelper$computeAllSubstitutions$slambda($goal, $this_computeAllSubstitutions, $third, $first, $second, $goalSignature, resultContinuation);
     return constructCallableReference(function ($this$sequence, $completion) {
-      return i.x2n($this$sequence, $completion);
+      return i.c2q($this$sequence, $completion);
     }, 1);
   }
   function ProbHelper() {
     ProbHelper_instance = this;
     WithoutSideEffects.call(this, 'prob_helper');
   }
-  protoOf(ProbHelper).y2j = function (_this__u8e3s4, first, second, third) {
-    Companion_getInstance_9().o2d(_this__u8e3s4, 1);
-    Companion_getInstance_9().s2d(_this__u8e3s4, 1);
+  protoOf(ProbHelper).d2m = function (_this__u8e3s4, first, second, third) {
+    Companion_getInstance_9().t2f(_this__u8e3s4, 1);
+    Companion_getInstance_9().x2f(_this__u8e3s4, 1);
     var goal = safeToStruct(second);
     var goalSignature = extractSignature(goal);
     return sequence(ProbHelper$computeAllSubstitutions$slambda_0(goal, _this__u8e3s4, third, first, second, goalSignature, null));
   };
-  protoOf(ProbHelper).k2f = function (_this__u8e3s4, first, second, third) {
-    return this.y2j(_this__u8e3s4, first, second, third);
+  protoOf(ProbHelper).p2h = function (_this__u8e3s4, first, second, third) {
+    return this.d2m(_this__u8e3s4, first, second, third);
   };
   var ProbHelper_instance;
   function ProbHelper_getInstance() {
@@ -3331,9 +3331,9 @@
     ProbNegationAsFailure_instance = this;
     NonBacktrackable_0.call(this, 'prob_negation_as_failure');
   }
-  protoOf(ProbNegationAsFailure).e2k = function (_this__u8e3s4, first, second) {
-    Companion_getInstance_9().o2d(_this__u8e3s4, 1);
-    Companion_getInstance_9().s2d(_this__u8e3s4, 1);
+  protoOf(ProbNegationAsFailure).j2m = function (_this__u8e3s4, first, second) {
+    Companion_getInstance_9().t2f(_this__u8e3s4, 1);
+    Companion_getInstance_9().x2f(_this__u8e3s4, 1);
     var tmp;
     if (!second.bv()) {
       tmp = _this__u8e3s4.replyException(ResolutionException_init_$Create$('Probabilistic negation does not support non-ground goals: ' + second.toString(), VOID, _this__u8e3s4.context, []), VOID, []);
@@ -3348,7 +3348,7 @@
       if (solution == null) {
         tmp_2 = _this__u8e3s4.replyFail(VOID, []);
       } else {
-        var explanationTerm = solution.f1s().h2(explanationTermVar);
+        var explanationTerm = solution.k1u().h2(explanationTermVar);
         var tmp_3;
         var tmp_4;
         if (explanationTerm == null) {
@@ -3359,7 +3359,7 @@
         if (tmp_4) {
           tmp_3 = _this__u8e3s4.replyException(ResolutionException_init_$Create$('No valid explanation has been solved for goal: ' + second.toString(), VOID, _this__u8e3s4.context, []), VOID, []);
         } else {
-          tmp_3 = _this__u8e3s4.replyWith(Companion_getInstance_5().ofSubstitution(Companion_getInstance_9().i2d(_this__u8e3s4, first, new ProbExplanationTerm(explanationTerm.m35_1.not())), []), VOID, []);
+          tmp_3 = _this__u8e3s4.replyWith(Companion_getInstance_5().ofSubstitution(Companion_getInstance_9().n2f(_this__u8e3s4, first, new ProbExplanationTerm(explanationTerm.r37_1.not())), []), VOID, []);
         }
         tmp_2 = tmp_3;
       }
@@ -3367,8 +3367,8 @@
     }
     return tmp;
   };
-  protoOf(ProbNegationAsFailure).m2c = function (_this__u8e3s4, first, second) {
-    return this.e2k(_this__u8e3s4, first, second);
+  protoOf(ProbNegationAsFailure).r2e = function (_this__u8e3s4, first, second) {
+    return this.j2m(_this__u8e3s4, first, second);
   };
   var ProbNegationAsFailure_instance;
   function ProbNegationAsFailure_getInstance() {
@@ -3382,22 +3382,22 @@
     };
   }
   function ProbQuery$computeAllSubstitutions$slambda($solutions, $queryWithEvidenceExplanation, $evidenceExplanation, $this_computeAllSubstitutions, $first, $fourth, resultContinuation) {
-    this.x38_1 = $solutions;
-    this.y38_1 = $queryWithEvidenceExplanation;
-    this.z38_1 = $evidenceExplanation;
-    this.a39_1 = $this_computeAllSubstitutions;
-    this.b39_1 = $first;
-    this.c39_1 = $fourth;
+    this.c3b_1 = $solutions;
+    this.d3b_1 = $queryWithEvidenceExplanation;
+    this.e3b_1 = $evidenceExplanation;
+    this.f3b_1 = $this_computeAllSubstitutions;
+    this.g3b_1 = $first;
+    this.h3b_1 = $fourth;
     CoroutineImpl.call(this, resultContinuation);
   }
-  protoOf(ProbQuery$computeAllSubstitutions$slambda).x2n = function ($this$sequence, $completion) {
-    var tmp = this.y2n($this$sequence, $completion);
+  protoOf(ProbQuery$computeAllSubstitutions$slambda).c2q = function ($this$sequence, $completion) {
+    var tmp = this.d2q($this$sequence, $completion);
     tmp.d8_1 = Unit_instance;
     tmp.e8_1 = null;
     return tmp.j8();
   };
   protoOf(ProbQuery$computeAllSubstitutions$slambda).a9 = function (p1, $completion) {
-    return this.x2n(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
+    return this.c2q(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
   };
   protoOf(ProbQuery$computeAllSubstitutions$slambda).j8 = function () {
     var suspendResult = this.d8_1;
@@ -3407,20 +3407,20 @@
         switch (tmp) {
           case 0:
             this.c8_1 = 8;
-            this.e39_1 = this.x38_1.n();
+            this.j3b_1 = this.c3b_1.n();
             this.b8_1 = 1;
             continue $sm;
           case 1:
-            if (!this.e39_1.q()) {
+            if (!this.j3b_1.q()) {
               this.b8_1 = 7;
               continue $sm;
             }
 
-            var solution = this.e39_1.r();
-            if (solution.o1t())
-              throw ensureNotNull(solution.l1t());
-            var queryWithEvidenceExplanationTerm = solution.f1s().h2(this.y38_1);
-            var evidenceExplanationTerm = solution.f1s().h2(this.z38_1);
+            var solution = this.j3b_1.r();
+            if (solution.t1v())
+              throw ensureNotNull(solution.q1v());
+            var queryWithEvidenceExplanationTerm = solution.k1u().h2(this.d3b_1);
+            var evidenceExplanationTerm = solution.k1u().h2(this.e3b_1);
             var tmp_0;
             var tmp_1;
             var tmp_2;
@@ -3444,27 +3444,27 @@
 
             if (tmp_0) {
               this.b8_1 = 5;
-              suspendResult = this.d39_1.bd(Companion_getInstance_5().failed(), this);
+              suspendResult = this.i3b_1.bd(Companion_getInstance_5().failed(), this);
               if (suspendResult === get_COROUTINE_SUSPENDED()) {
                 return suspendResult;
               }
               continue $sm;
             } else {
-              var queryWithEvidenceProbability = queryWithEvidenceExplanationTerm.m35_1.c37();
-              var evidenceProbability = evidenceExplanationTerm.m35_1.c37();
+              var queryWithEvidenceProbability = queryWithEvidenceExplanationTerm.r37_1.h39();
+              var evidenceProbability = evidenceExplanationTerm.r37_1.h39();
               if (queryWithEvidenceProbability == null || evidenceProbability == null) {
                 this.b8_1 = 3;
-                suspendResult = this.d39_1.bd(Companion_getInstance_5().failed(), this);
+                suspendResult = this.i3b_1.bd(Companion_getInstance_5().failed(), this);
                 if (suspendResult === get_COROUTINE_SUSPENDED()) {
                   return suspendResult;
                 }
                 continue $sm;
               } else {
-                var tmp_3 = solution.f1s();
-                var solutionSubstitution = tmp_3.filter(ProbQuery$computeAllSubstitutions$slambda$lambda(this.z38_1, this.y38_1));
+                var tmp_3 = solution.k1u();
+                var solutionSubstitution = tmp_3.filter(ProbQuery$computeAllSubstitutions$slambda$lambda(this.e3b_1, this.d3b_1));
                 var probabilityTerm = Companion_getInstance_6().ofDouble(queryWithEvidenceProbability / evidenceProbability);
                 this.b8_1 = 2;
-                suspendResult = this.d39_1.bd(Companion_getInstance_5().ofSubstitution(solutionSubstitution, [Companion_getInstance_9().i2d(this.a39_1, this.b39_1, probabilityTerm), Companion_getInstance_9().i2d(this.a39_1, this.c39_1, queryWithEvidenceExplanationTerm)]), this);
+                suspendResult = this.i3b_1.bd(Companion_getInstance_5().ofSubstitution(solutionSubstitution, [Companion_getInstance_9().n2f(this.f3b_1, this.g3b_1, probabilityTerm), Companion_getInstance_9().n2f(this.f3b_1, this.h3b_1, queryWithEvidenceExplanationTerm)]), this);
                 if (suspendResult === get_COROUTINE_SUSPENDED()) {
                   return suspendResult;
                 }
@@ -3503,26 +3503,26 @@
       }
      while (true);
   };
-  protoOf(ProbQuery$computeAllSubstitutions$slambda).y2n = function ($this$sequence, completion) {
-    var i = new ProbQuery$computeAllSubstitutions$slambda(this.x38_1, this.y38_1, this.z38_1, this.a39_1, this.b39_1, this.c39_1, completion);
-    i.d39_1 = $this$sequence;
+  protoOf(ProbQuery$computeAllSubstitutions$slambda).d2q = function ($this$sequence, completion) {
+    var i = new ProbQuery$computeAllSubstitutions$slambda(this.c3b_1, this.d3b_1, this.e3b_1, this.f3b_1, this.g3b_1, this.h3b_1, completion);
+    i.i3b_1 = $this$sequence;
     return i;
   };
   function ProbQuery$computeAllSubstitutions$slambda_0($solutions, $queryWithEvidenceExplanation, $evidenceExplanation, $this_computeAllSubstitutions, $first, $fourth, resultContinuation) {
     var i = new ProbQuery$computeAllSubstitutions$slambda($solutions, $queryWithEvidenceExplanation, $evidenceExplanation, $this_computeAllSubstitutions, $first, $fourth, resultContinuation);
     return constructCallableReference(function ($this$sequence, $completion) {
-      return i.x2n($this$sequence, $completion);
+      return i.c2q($this$sequence, $completion);
     }, 1);
   }
   function ProbQuery() {
     ProbQuery_instance = this;
     WithoutSideEffects_0.call(this, 'prob_query');
   }
-  protoOf(ProbQuery).g39 = function (_this__u8e3s4, first, second, third, fourth) {
-    Companion_getInstance_9().o2d(_this__u8e3s4, 1);
-    Companion_getInstance_9().s2d(_this__u8e3s4, 1);
-    Companion_getInstance_9().q2d(_this__u8e3s4, 1);
-    Companion_getInstance_9().o2d(_this__u8e3s4, 2);
+  protoOf(ProbQuery).l3b = function (_this__u8e3s4, first, second, third, fourth) {
+    Companion_getInstance_9().t2f(_this__u8e3s4, 1);
+    Companion_getInstance_9().x2f(_this__u8e3s4, 1);
+    Companion_getInstance_9().v2f(_this__u8e3s4, 1);
+    Companion_getInstance_9().t2f(_this__u8e3s4, 2);
     var queryWithEvidenceExplanation = Companion_getInstance_0().of('QueryWithEvidenceExplanation');
     var evidenceExplanation = Companion_getInstance_0().of('EvidenceExplanation');
     var tmp = _this__u8e3s4.subSolver();
@@ -3534,11 +3534,11 @@
     var tmp_3 = Companion_getInstance_1();
     // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
     var tmp$ret$1 = ProbSolveWithEvidence_getInstance().signature.name;
-    var solutions = tmp.solveWithOptions(tmp_0.of(tmp_2, tmp_3.of(tmp$ret$1, [queryWithEvidenceExplanation, evidenceExplanation, second])), ProbSetConfig_getInstance().h39(third));
+    var solutions = tmp.solveWithOptions(tmp_0.of(tmp_2, tmp_3.of(tmp$ret$1, [queryWithEvidenceExplanation, evidenceExplanation, second])), ProbSetConfig_getInstance().m3b(third));
     return sequence(ProbQuery$computeAllSubstitutions$slambda_0(solutions, queryWithEvidenceExplanation, evidenceExplanation, _this__u8e3s4, first, fourth, null));
   };
-  protoOf(ProbQuery).h2e = function (_this__u8e3s4, first, second, third, fourth) {
-    return this.g39(_this__u8e3s4, first, second, third, fourth);
+  protoOf(ProbQuery).m2g = function (_this__u8e3s4, first, second, third, fourth) {
+    return this.l3b(_this__u8e3s4, first, second, third, fourth);
   };
   var ProbQuery_instance;
   function ProbQuery_getInstance() {
@@ -3551,40 +3551,40 @@
     NonBacktrackable_1.call(this, 'prob_set_config');
     var tmp = this;
     // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
-    tmp.h35_1 = this.signature.name + '_flag';
+    tmp.m37_1 = this.signature.name + '_flag';
     var tmp_0 = this;
     // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
-    tmp_0.i35_1 = this.signature.name + '_term';
+    tmp_0.n37_1 = this.signature.name + '_term';
     var tmp_1 = this;
     // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
-    tmp_1.j35_1 = 'it.unibo.tuprolog.solve.probability' + this.signature.name + '_tag';
+    tmp_1.o37_1 = 'it.unibo.tuprolog.solve.probability' + this.signature.name + '_tag';
   }
-  protoOf(ProbSetConfig).n2j = function (_this__u8e3s4, first) {
-    Companion_getInstance_9().o2d(_this__u8e3s4, 0);
-    Companion_getInstance_9().u2d(_this__u8e3s4, 0);
+  protoOf(ProbSetConfig).s2l = function (_this__u8e3s4, first) {
+    Companion_getInstance_9().t2f(_this__u8e3s4, 0);
+    Companion_getInstance_9().z2f(_this__u8e3s4, 0);
     // Inline function 'kotlin.arrayOf' call
     // Inline function 'kotlin.js.unsafeCast' call
     // Inline function 'kotlin.js.asDynamic' call
-    var tmp$ret$0 = [SetFlags_init_$Create$([new Pair(this.h35_1, first)])];
+    var tmp$ret$0 = [SetFlags_init_$Create$([new Pair(this.m37_1, first)])];
     return _this__u8e3s4.replySuccess(VOID, VOID, tmp$ret$0.slice());
   };
-  protoOf(ProbSetConfig).v2f = function (_this__u8e3s4, first) {
-    return this.n2j(_this__u8e3s4, first);
+  protoOf(ProbSetConfig).a2i = function (_this__u8e3s4, first) {
+    return this.s2l(_this__u8e3s4, first);
   };
-  protoOf(ProbSetConfig).h39 = function (_this__u8e3s4) {
-    var tmp0_elvis_lhs = _this__u8e3s4.getTag(this.j35_1);
+  protoOf(ProbSetConfig).m3b = function (_this__u8e3s4) {
+    var tmp0_elvis_lhs = _this__u8e3s4.getTag(this.o37_1);
     return tmp0_elvis_lhs == null ? Companion_getInstance_2().DEFAULT : tmp0_elvis_lhs;
   };
-  protoOf(ProbSetConfig).k35 = function (_this__u8e3s4) {
-    return setTag(Companion_getInstance_4().of(this.i35_1), this.j35_1, _this__u8e3s4);
+  protoOf(ProbSetConfig).p37 = function (_this__u8e3s4) {
+    return setTag(Companion_getInstance_4().of(this.n37_1), this.o37_1, _this__u8e3s4);
   };
-  protoOf(ProbSetConfig).i39 = function (_this__u8e3s4) {
-    var tmp0_safe_receiver = _this__u8e3s4.k1s().cb(this.h35_1);
-    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : this.h39(tmp0_safe_receiver);
+  protoOf(ProbSetConfig).n3b = function (_this__u8e3s4) {
+    var tmp0_safe_receiver = _this__u8e3s4.p1u().cb(this.m37_1);
+    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : this.m3b(tmp0_safe_receiver);
     return tmp1_elvis_lhs == null ? Companion_getInstance_2().DEFAULT : tmp1_elvis_lhs;
   };
-  protoOf(ProbSetConfig).w37 = function (_this__u8e3s4) {
-    return !get_isProbabilistic(this.i39(_this__u8e3s4));
+  protoOf(ProbSetConfig).b3a = function (_this__u8e3s4) {
+    return !get_isProbabilistic(this.n3b(_this__u8e3s4));
   };
   var ProbSetConfig_instance;
   function ProbSetConfig_getInstance() {
@@ -3593,9 +3593,9 @@
     return ProbSetConfig_instance;
   }
   function ProbSolve$computeAllSubstitutions$lambda(it) {
-    if (it.o1t())
-      throw ensureNotNull(it.l1t());
-    return it.f1s();
+    if (it.t1v())
+      throw ensureNotNull(it.q1v());
+    return it.k1u();
   }
   function ProbSolve$computeAllSubstitutions$lambda_0(it) {
     return !(it == null) ? isInterface(it, Halt) : false;
@@ -3606,20 +3606,20 @@
     };
   }
   function ProbSolve$computeAllSubstitutions$slambda($solutionGroups, $explanationVar, $this_computeAllSubstitutions, $first, resultContinuation) {
-    this.r39_1 = $solutionGroups;
-    this.s39_1 = $explanationVar;
-    this.t39_1 = $this_computeAllSubstitutions;
-    this.u39_1 = $first;
+    this.w3b_1 = $solutionGroups;
+    this.x3b_1 = $explanationVar;
+    this.y3b_1 = $this_computeAllSubstitutions;
+    this.z3b_1 = $first;
     CoroutineImpl.call(this, resultContinuation);
   }
-  protoOf(ProbSolve$computeAllSubstitutions$slambda).x2n = function ($this$sequence, $completion) {
-    var tmp = this.y2n($this$sequence, $completion);
+  protoOf(ProbSolve$computeAllSubstitutions$slambda).c2q = function ($this$sequence, $completion) {
+    var tmp = this.d2q($this$sequence, $completion);
     tmp.d8_1 = Unit_instance;
     tmp.e8_1 = null;
     return tmp.j8();
   };
   protoOf(ProbSolve$computeAllSubstitutions$slambda).a9 = function (p1, $completion) {
-    return this.x2n(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
+    return this.c2q(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
   };
   protoOf(ProbSolve$computeAllSubstitutions$slambda).j8 = function () {
     var suspendResult = this.d8_1;
@@ -3630,22 +3630,22 @@
           case 0:
             this.c8_1 = 4;
             var tmp_0 = this;
-            tmp_0.w39_1 = this.r39_1.d1().n();
+            tmp_0.b3c_1 = this.w3b_1.d1().n();
             this.b8_1 = 1;
             continue $sm;
           case 1:
-            if (!this.w39_1.q()) {
+            if (!this.b3c_1.q()) {
               this.b8_1 = 3;
               continue $sm;
             }
 
-            var solutionGroup = this.w39_1.r();
+            var solutionGroup = this.b3c_1.r();
             var this_0 = solutionGroup.e2();
             var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
             var _iterator__ex2g4s = this_0.n();
             while (_iterator__ex2g4s.q()) {
               var item = _iterator__ex2g4s.r();
-              destination.l(item.f1s().h2(this.s39_1));
+              destination.l(item.k1u().h2(this.x3b_1));
             }
 
             var destination_0 = ArrayList_init_$Create$_0();
@@ -3661,7 +3661,7 @@
             var _iterator__ex2g4s_1 = destination_0.n();
             while (_iterator__ex2g4s_1.q()) {
               var item_0 = _iterator__ex2g4s_1.r();
-              destination_1.l(item_0.m35_1);
+              destination_1.l(item_0.r37_1);
             }
 
             var iterator = destination_1.n();
@@ -3671,13 +3671,13 @@
             while (iterator.q()) {
               var tmp0 = accumulator;
               var expl = iterator.r();
-              accumulator = expl.b37() === 1.0 ? tmp0 : tmp0.b37() === 1.0 ? expl : tmp0.or(expl);
+              accumulator = expl.g39() === 1.0 ? tmp0 : tmp0.g39() === 1.0 ? expl : tmp0.or(expl);
             }
 
             var explanation = accumulator;
-            var substitution = Companion_getInstance_5().ofSubstitution(solutionGroup.d2(), [Companion_getInstance_9().i2d(this.t39_1, this.u39_1, new ProbExplanationTerm(explanation))]);
+            var substitution = Companion_getInstance_5().ofSubstitution(solutionGroup.d2(), [Companion_getInstance_9().n2f(this.y3b_1, this.z3b_1, new ProbExplanationTerm(explanation))]);
             this.b8_1 = 2;
-            suspendResult = this.v39_1.bd(substitution, this);
+            suspendResult = this.a3c_1.bd(substitution, this);
             if (suspendResult === get_COROUTINE_SUSPENDED()) {
               return suspendResult;
             }
@@ -3702,30 +3702,30 @@
       }
      while (true);
   };
-  protoOf(ProbSolve$computeAllSubstitutions$slambda).y2n = function ($this$sequence, completion) {
-    var i = new ProbSolve$computeAllSubstitutions$slambda(this.r39_1, this.s39_1, this.t39_1, this.u39_1, completion);
-    i.v39_1 = $this$sequence;
+  protoOf(ProbSolve$computeAllSubstitutions$slambda).d2q = function ($this$sequence, completion) {
+    var i = new ProbSolve$computeAllSubstitutions$slambda(this.w3b_1, this.x3b_1, this.y3b_1, this.z3b_1, completion);
+    i.a3c_1 = $this$sequence;
     return i;
   };
   function ProbSolve$computeAllSubstitutions$slambda_0($solutionGroups, $explanationVar, $this_computeAllSubstitutions, $first, resultContinuation) {
     var i = new ProbSolve$computeAllSubstitutions$slambda($solutionGroups, $explanationVar, $this_computeAllSubstitutions, $first, resultContinuation);
     return constructCallableReference(function ($this$sequence, $completion) {
-      return i.x2n($this$sequence, $completion);
+      return i.c2q($this$sequence, $completion);
     }, 1);
   }
   function ProbSolve() {
     ProbSolve_instance = this;
     WithoutSideEffects_1.call(this, 'prob_solve');
   }
-  protoOf(ProbSolve).d2l = function (_this__u8e3s4, first, second) {
-    Companion_getInstance_9().o2d(_this__u8e3s4, 1);
-    Companion_getInstance_9().s2d(_this__u8e3s4, 1);
-    if (ProbSetConfig_getInstance().w37(_this__u8e3s4.context)) {
+  protoOf(ProbSolve).i2n = function (_this__u8e3s4, first, second) {
+    Companion_getInstance_9().t2f(_this__u8e3s4, 1);
+    Companion_getInstance_9().x2f(_this__u8e3s4, 1);
+    if (ProbSetConfig_getInstance().b3a(_this__u8e3s4.context)) {
       var tmp = _this__u8e3s4.subSolver();
       var tmp_0 = Companion_getInstance_1();
       // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
       var tmp$ret$0 = Prob_getInstance().signature.name;
-      var tmp_1 = tmp.solveWithOptions(tmp_0.of(tmp$ret$0, [first, second]), ProbSetConfig_getInstance().i39(_this__u8e3s4.context));
+      var tmp_1 = tmp.solveWithOptions(tmp_0.of(tmp$ret$0, [first, second]), ProbSetConfig_getInstance().n3b(_this__u8e3s4.context));
       return map(tmp_1, ProbSolve$computeAllSubstitutions$lambda);
     }
     var explanationVar = Companion_getInstance_0().of('EXPL');
@@ -3733,14 +3733,14 @@
     var tmp_3 = Companion_getInstance_1();
     // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
     var tmp$ret$1 = Prob_getInstance().signature.name;
-    var solutions = toList(tmp_2.solveWithOptions(tmp_3.of(tmp$ret$1, [explanationVar, second]), ProbSetConfig_getInstance().i39(_this__u8e3s4.context)));
+    var solutions = toList(tmp_2.solveWithOptions(tmp_3.of(tmp$ret$1, [explanationVar, second]), ProbSetConfig_getInstance().n3b(_this__u8e3s4.context)));
     // Inline function 'kotlin.sequences.filterIsInstance' call
     var this_0 = asSequence(solutions);
     var tmp_4 = filter(this_0, ProbSolve$computeAllSubstitutions$lambda_0);
     var tmp$ret$2 = isInterface(tmp_4, Sequence) ? tmp_4 : THROW_CCE();
     var error = firstOrNull(tmp$ret$2);
     if (!(error == null))
-      throw error.l1t();
+      throw error.q1v();
     var tmp_5;
     var tmp$ret$3;
     $l$block_0: {
@@ -3766,7 +3766,7 @@
       tmp$ret$3 = false;
     }
     if (!tmp$ret$3) {
-      tmp_5 = sequenceOf(Companion_getInstance_5().ofSubstitution(Companion_getInstance_9().i2d(_this__u8e3s4, first, new ProbExplanationTerm(Companion_getInstance_11().o36_1)), []));
+      tmp_5 = sequenceOf(Companion_getInstance_5().ofSubstitution(Companion_getInstance_9().n2f(_this__u8e3s4, first, new ProbExplanationTerm(Companion_getInstance_11().t38_1)), []));
     } else {
       // Inline function 'kotlin.collections.filterIsInstance' call
       // Inline function 'kotlin.collections.filterIsInstanceTo' call
@@ -3784,7 +3784,7 @@
       var _iterator__ex2g4s_1 = destination.n();
       while (_iterator__ex2g4s_1.q()) {
         var element_1 = _iterator__ex2g4s_1.r();
-        var tmp_7 = element_1.f1s();
+        var tmp_7 = element_1.k1u();
         var key = tmp_7.yz(ProbSolve$computeAllSubstitutions$lambda_1(explanationVar));
         // Inline function 'kotlin.collections.getOrPut' call
         var value = destination_0.h2(key);
@@ -3804,8 +3804,8 @@
     }
     return tmp_5;
   };
-  protoOf(ProbSolve).t2c = function (_this__u8e3s4, first, second) {
-    return this.d2l(_this__u8e3s4, first, second);
+  protoOf(ProbSolve).y2e = function (_this__u8e3s4, first, second) {
+    return this.i2n(_this__u8e3s4, first, second);
   };
   var ProbSolve_instance;
   function ProbSolve_getInstance() {
@@ -3818,28 +3818,28 @@
   }
   function ProbSolveEvidence$computeOne$lambda_0($explanationVar) {
     return function (s) {
-      return s.f1s().h2($explanationVar);
+      return s.k1u().h2($explanationVar);
     };
   }
   function ProbSolveEvidence$computeOne$lambda_1(it) {
     return it instanceof ProbExplanationTerm;
   }
   function ProbSolveEvidence$computeOne$lambda_2(t) {
-    return t.m35_1;
+    return t.r37_1;
   }
   function ProbSolveEvidence() {
     ProbSolveEvidence_instance = this;
     NonBacktrackable_1.call(this, 'prob_solve_evidence');
   }
-  protoOf(ProbSolveEvidence).n2j = function (_this__u8e3s4, first) {
+  protoOf(ProbSolveEvidence).s2l = function (_this__u8e3s4, first) {
     var evidenceIndicator = Companion_instance_4.ofString('evidence', 2);
-    if (!_this__u8e3s4.context.l1s().containsIndicator(evidenceIndicator) && !_this__u8e3s4.context.m1s().containsIndicator(evidenceIndicator)) {
-      return _this__u8e3s4.replyWith(Companion_getInstance_9().i2d(_this__u8e3s4, first, new ProbExplanationTerm(Companion_getInstance_11().p36_1)), VOID, []);
+    if (!_this__u8e3s4.context.q1u().containsIndicator(evidenceIndicator) && !_this__u8e3s4.context.r1u().containsIndicator(evidenceIndicator)) {
+      return _this__u8e3s4.replyWith(Companion_getInstance_9().n2f(_this__u8e3s4, first, new ProbExplanationTerm(Companion_getInstance_11().u38_1)), VOID, []);
     }
     var evidenceTermVar = Companion_getInstance_0().of('TermVar');
     var evidenceTruthVar = Companion_getInstance_0().of('TruthVar');
     var subQuery = Companion_getInstance_1().of('evidence', [evidenceTermVar, evidenceTruthVar]);
-    var subOptions = ProbSetConfig_getInstance().i39(_this__u8e3s4.context).setLimit(-1).setLazy(false);
+    var subOptions = ProbSetConfig_getInstance().n3b(_this__u8e3s4.context).setLimit(-1).setLazy(false);
     // Inline function 'kotlin.sequences.filterIsInstance' call
     var this_0 = _this__u8e3s4.subSolver().solveWithOptions(subQuery, subOptions);
     var tmp = filter(this_0, ProbSolveEvidence$computeOne$lambda);
@@ -3851,8 +3851,8 @@
     var _iterator__ex2g4s = this_1.n();
     while (_iterator__ex2g4s.q()) {
       var item = _iterator__ex2g4s.r();
-      var truth = item.f1s().h2(evidenceTruthVar);
-      var term = item.f1s().h2(evidenceTermVar);
+      var truth = item.k1u().h2(evidenceTruthVar);
+      var term = item.k1u().h2(evidenceTermVar);
       var tmp_0;
       var tmp_1;
       if (term == null || term.tu() || truth == null) {
@@ -3861,7 +3861,7 @@
         tmp_1 = !isInterface(truth, Truth);
       }
       if (tmp_1) {
-        tmp_0 = Companion_getInstance_11().o36_1;
+        tmp_0 = Companion_getInstance_11().t38_1;
       } else {
         var explanationVar = Companion_getInstance_0().of('EXPL');
         var tmp_2 = Companion_getInstance_1();
@@ -3880,7 +3880,7 @@
         while (iterator.q()) {
           var tmp0 = accumulator;
           var t = iterator.r();
-          accumulator = t.b37() === 1.0 ? tmp0 : tmp0.b37() === 1.0 ? t : t.or(tmp0);
+          accumulator = t.g39() === 1.0 ? tmp0 : tmp0.g39() === 1.0 ? t : t.or(tmp0);
         }
         var totalExplanation = accumulator;
         tmp_0 = truth.vt() ? totalExplanation : totalExplanation.not();
@@ -3894,14 +3894,14 @@
     var _iterator__ex2g4s_0 = destination.n();
     while (_iterator__ex2g4s_0.q()) {
       var element = _iterator__ex2g4s_0.r();
-      if (!equals(element, Companion_getInstance_11().o36_1)) {
+      if (!equals(element, Companion_getInstance_11().t38_1)) {
         destination_0.l(element);
       }
     }
     var result = destination_0;
     var tmp_6;
     if (result.h()) {
-      tmp_6 = Companion_getInstance_11().p36_1;
+      tmp_6 = Companion_getInstance_11().u38_1;
     } else {
       // Inline function 'kotlin.collections.reduce' call
       var iterator_0 = result.n();
@@ -3915,10 +3915,10 @@
       tmp_6 = accumulator_0;
     }
     var resultExplanation = tmp_6;
-    return _this__u8e3s4.replyWith(Companion_getInstance_9().i2d(_this__u8e3s4, first, new ProbExplanationTerm(resultExplanation)), VOID, []);
+    return _this__u8e3s4.replyWith(Companion_getInstance_9().n2f(_this__u8e3s4, first, new ProbExplanationTerm(resultExplanation)), VOID, []);
   };
-  protoOf(ProbSolveEvidence).v2f = function (_this__u8e3s4, first) {
-    return this.n2j(_this__u8e3s4, first);
+  protoOf(ProbSolveEvidence).a2i = function (_this__u8e3s4, first) {
+    return this.s2l(_this__u8e3s4, first);
   };
   var ProbSolveEvidence_instance;
   function ProbSolveEvidence_getInstance() {
@@ -3932,22 +3932,22 @@
     };
   }
   function ProbSolveWithEvidence$computeAllSubstitutions$slambda($solutions, $goalExplanationVar, $evidenceExplanationTerm, $this_computeAllSubstitutions, $first, $second, resultContinuation) {
-    this.h3a_1 = $solutions;
-    this.i3a_1 = $goalExplanationVar;
-    this.j3a_1 = $evidenceExplanationTerm;
-    this.k3a_1 = $this_computeAllSubstitutions;
-    this.l3a_1 = $first;
-    this.m3a_1 = $second;
+    this.m3c_1 = $solutions;
+    this.n3c_1 = $goalExplanationVar;
+    this.o3c_1 = $evidenceExplanationTerm;
+    this.p3c_1 = $this_computeAllSubstitutions;
+    this.q3c_1 = $first;
+    this.r3c_1 = $second;
     CoroutineImpl.call(this, resultContinuation);
   }
-  protoOf(ProbSolveWithEvidence$computeAllSubstitutions$slambda).x2n = function ($this$sequence, $completion) {
-    var tmp = this.y2n($this$sequence, $completion);
+  protoOf(ProbSolveWithEvidence$computeAllSubstitutions$slambda).c2q = function ($this$sequence, $completion) {
+    var tmp = this.d2q($this$sequence, $completion);
     tmp.d8_1 = Unit_instance;
     tmp.e8_1 = null;
     return tmp.j8();
   };
   protoOf(ProbSolveWithEvidence$computeAllSubstitutions$slambda).a9 = function (p1, $completion) {
-    return this.x2n(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
+    return this.c2q(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
   };
   protoOf(ProbSolveWithEvidence$computeAllSubstitutions$slambda).j8 = function () {
     var suspendResult = this.d8_1;
@@ -3957,26 +3957,26 @@
         switch (tmp) {
           case 0:
             this.c8_1 = 6;
-            this.o3a_1 = this.h3a_1.n();
+            this.t3c_1 = this.m3c_1.n();
             this.b8_1 = 1;
             continue $sm;
           case 1:
-            if (!this.o3a_1.q()) {
+            if (!this.t3c_1.q()) {
               this.b8_1 = 5;
               continue $sm;
             }
 
-            var solution = this.o3a_1.r();
-            if (solution.o1t())
-              throw ensureNotNull(solution.l1t());
-            var goalExplanationTerm = solution.f1s().h2(this.i3a_1);
+            var solution = this.t3c_1.r();
+            if (solution.t1v())
+              throw ensureNotNull(solution.q1v());
+            var goalExplanationTerm = solution.k1u().h2(this.n3c_1);
             var tmp_0;
             var tmp_1;
             var tmp_2;
-            if (this.j3a_1 == null) {
+            if (this.o3c_1 == null) {
               tmp_2 = true;
             } else {
-              var tmp_3 = this.j3a_1;
+              var tmp_3 = this.o3c_1;
               tmp_2 = !(tmp_3 instanceof ProbExplanationTerm);
             }
 
@@ -3994,19 +3994,19 @@
 
             if (tmp_0) {
               this.b8_1 = 3;
-              suspendResult = this.n3a_1.bd(Companion_getInstance_5().failed(), this);
+              suspendResult = this.s3c_1.bd(Companion_getInstance_5().failed(), this);
               if (suspendResult === get_COROUTINE_SUSPENDED()) {
                 return suspendResult;
               }
               continue $sm;
             } else {
-              var explanationWithEvidenceTerm = new ProbExplanationTerm(goalExplanationTerm.m35_1.and(this.j3a_1.m35_1));
+              var explanationWithEvidenceTerm = new ProbExplanationTerm(goalExplanationTerm.r37_1.and(this.o3c_1.r37_1));
               this.b8_1 = 2;
               var tmp_4 = Companion_getInstance_5();
-              var tmp_5 = Companion_getInstance_9().i2d(this.k3a_1, this.l3a_1, explanationWithEvidenceTerm);
-              var tmp_6 = Companion_getInstance_9().i2d(this.k3a_1, this.m3a_1, this.j3a_1);
-              var tmp_7 = solution.f1s();
-              suspendResult = this.n3a_1.bd(tmp_4.ofSubstitution(tmp_5, [tmp_6, tmp_7.filter(ProbSolveWithEvidence$computeAllSubstitutions$slambda$lambda(this.i3a_1))]), this);
+              var tmp_5 = Companion_getInstance_9().n2f(this.p3c_1, this.q3c_1, explanationWithEvidenceTerm);
+              var tmp_6 = Companion_getInstance_9().n2f(this.p3c_1, this.r3c_1, this.o3c_1);
+              var tmp_7 = solution.k1u();
+              suspendResult = this.s3c_1.bd(tmp_4.ofSubstitution(tmp_5, [tmp_6, tmp_7.filter(ProbSolveWithEvidence$computeAllSubstitutions$slambda$lambda(this.n3c_1))]), this);
               if (suspendResult === get_COROUTINE_SUSPENDED()) {
                 return suspendResult;
               }
@@ -4038,35 +4038,35 @@
       }
      while (true);
   };
-  protoOf(ProbSolveWithEvidence$computeAllSubstitutions$slambda).y2n = function ($this$sequence, completion) {
-    var i = new ProbSolveWithEvidence$computeAllSubstitutions$slambda(this.h3a_1, this.i3a_1, this.j3a_1, this.k3a_1, this.l3a_1, this.m3a_1, completion);
-    i.n3a_1 = $this$sequence;
+  protoOf(ProbSolveWithEvidence$computeAllSubstitutions$slambda).d2q = function ($this$sequence, completion) {
+    var i = new ProbSolveWithEvidence$computeAllSubstitutions$slambda(this.m3c_1, this.n3c_1, this.o3c_1, this.p3c_1, this.q3c_1, this.r3c_1, completion);
+    i.s3c_1 = $this$sequence;
     return i;
   };
   function ProbSolveWithEvidence$computeAllSubstitutions$slambda_0($solutions, $goalExplanationVar, $evidenceExplanationTerm, $this_computeAllSubstitutions, $first, $second, resultContinuation) {
     var i = new ProbSolveWithEvidence$computeAllSubstitutions$slambda($solutions, $goalExplanationVar, $evidenceExplanationTerm, $this_computeAllSubstitutions, $first, $second, resultContinuation);
     return constructCallableReference(function ($this$sequence, $completion) {
-      return i.x2n($this$sequence, $completion);
+      return i.c2q($this$sequence, $completion);
     }, 1);
   }
   function ProbSolveWithEvidence() {
     ProbSolveWithEvidence_instance = this;
     WithoutSideEffects.call(this, 'prob_solve_with_evidence');
   }
-  protoOf(ProbSolveWithEvidence).y2j = function (_this__u8e3s4, first, second, third) {
-    Companion_getInstance_9().o2d(_this__u8e3s4, 2);
-    Companion_getInstance_9().s2d(_this__u8e3s4, 2);
+  protoOf(ProbSolveWithEvidence).d2m = function (_this__u8e3s4, first, second, third) {
+    Companion_getInstance_9().t2f(_this__u8e3s4, 2);
+    Companion_getInstance_9().x2f(_this__u8e3s4, 2);
     var evidenceExplanationVar = Companion_getInstance_0().of('EvidenceExplanation');
     var tmp;
-    if (ProbSetConfig_getInstance().w37(_this__u8e3s4.context)) {
-      tmp = toTerm(Companion_getInstance_11().p36_1);
+    if (ProbSetConfig_getInstance().b3a(_this__u8e3s4.context)) {
+      tmp = toTerm(Companion_getInstance_11().u38_1);
     } else {
       var tmp_0 = Companion_getInstance_1();
       // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
       var tmp$ret$0 = ProbSolveEvidence_getInstance().signature.name;
       var subQuery = tmp_0.of(tmp$ret$0, [evidenceExplanationVar]);
-      var solution = _this__u8e3s4.subSolver().solveOnceWithOptions(subQuery, ProbSetConfig_getInstance().i39(_this__u8e3s4.context));
-      tmp = solution.f1s().h2(evidenceExplanationVar);
+      var solution = _this__u8e3s4.subSolver().solveOnceWithOptions(subQuery, ProbSetConfig_getInstance().n3b(_this__u8e3s4.context));
+      tmp = solution.k1u().h2(evidenceExplanationVar);
     }
     var evidenceExplanationTerm = tmp;
     var goalExplanationVar = Companion_getInstance_0().of('GoalExplanation');
@@ -4074,11 +4074,11 @@
     var tmp_2 = Companion_getInstance_1();
     // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
     var tmp$ret$1 = ProbSolve_getInstance().signature.name;
-    var solutions = tmp_1.solveWithOptions(tmp_2.of(tmp$ret$1, [goalExplanationVar, third]), ProbSetConfig_getInstance().i39(_this__u8e3s4.context));
+    var solutions = tmp_1.solveWithOptions(tmp_2.of(tmp$ret$1, [goalExplanationVar, third]), ProbSetConfig_getInstance().n3b(_this__u8e3s4.context));
     return sequence(ProbSolveWithEvidence$computeAllSubstitutions$slambda_0(solutions, goalExplanationVar, evidenceExplanationTerm, _this__u8e3s4, first, second, null));
   };
-  protoOf(ProbSolveWithEvidence).k2f = function (_this__u8e3s4, first, second, third) {
-    return this.y2j(_this__u8e3s4, first, second, third);
+  protoOf(ProbSolveWithEvidence).p2h = function (_this__u8e3s4, first, second, third) {
+    return this.d2m(_this__u8e3s4, first, second, third);
   };
   var ProbSolveWithEvidence_instance;
   function ProbSolveWithEvidence_getInstance() {
@@ -4090,10 +4090,10 @@
     Prob_instance = this;
     RuleWrapper_init_$Init$('prob', 2, VOID, this);
   }
-  protoOf(Prob).b2g = function (_this__u8e3s4) {
+  protoOf(Prob).g2i = function (_this__u8e3s4) {
     return listOf_0([_this__u8e3s4.varOf('EXPL'), _this__u8e3s4.varOf('GOAL')]);
   };
-  protoOf(Prob).c2g = function (_this__u8e3s4) {
+  protoOf(Prob).h2i = function (_this__u8e3s4) {
     var expl = _this__u8e3s4.varOf('EXPL');
     var goal = _this__u8e3s4.varOf('GOAL');
     var newGoal = _this__u8e3s4.varOf('NEW_GOAL');
@@ -4122,22 +4122,22 @@
   protoOf(ProblogSolverFactory).mutableSolverOf = mutableSolverOf;
   protoOf(ProblogSolverFactory).rawMutableSolverOf = rawMutableSolverOf;
   protoOf(ProblogSolverFactory).newBuilder = newBuilder;
-  protoOf(ProblogSolverFactory).u1u = get_defaultRuntime;
-  protoOf(ProblogSolverFactory).w1u = get_defaultUnificator;
-  protoOf(ProblogSolverFactory).a1v = get_defaultStaticKb;
-  protoOf(ProblogSolverFactory).b1v = get_defaultDynamicKb;
-  protoOf(ProblogSolverFactory).c1v = get_defaultInputChannel;
-  protoOf(ProblogSolverFactory).d1v = get_defaultOutputChannel;
-  protoOf(ProblogSolverFactory).e1v = get_defaultErrorChannel;
-  protoOf(ProblogSolverFactory).f1v = get_defaultWarningsChannel;
-  protoOf(ProblogSolverFactory).n1v = solverWithDefaultBuiltins;
+  protoOf(ProblogSolverFactory).z1w = get_defaultRuntime;
+  protoOf(ProblogSolverFactory).b1x = get_defaultUnificator;
+  protoOf(ProblogSolverFactory).f1x = get_defaultStaticKb;
+  protoOf(ProblogSolverFactory).g1x = get_defaultDynamicKb;
+  protoOf(ProblogSolverFactory).h1x = get_defaultInputChannel;
+  protoOf(ProblogSolverFactory).i1x = get_defaultOutputChannel;
+  protoOf(ProblogSolverFactory).j1x = get_defaultErrorChannel;
+  protoOf(ProblogSolverFactory).k1x = get_defaultWarningsChannel;
+  protoOf(ProblogSolverFactory).s1x = solverWithDefaultBuiltins;
   protoOf(ProblogSolverFactory).solverWithDefaultBuiltinsAnd = solverWithDefaultBuiltinsAnd;
-  protoOf(ProblogSolverFactory).p1v = mutableSolverWithDefaultBuiltins;
+  protoOf(ProblogSolverFactory).u1x = mutableSolverWithDefaultBuiltins;
   protoOf(ProblogSolverFactory).mutableSolverWithDefaultBuiltinsAnd = mutableSolverWithDefaultBuiltinsAnd;
   defineProp(protoOf(ClauseMappingException), 'message', function () {
     return this.o1();
   });
-  protoOf(BinaryDecisionDiagramExplanation).c37 = get_probabilityOrNull;
+  protoOf(BinaryDecisionDiagramExplanation).h39 = get_probabilityOrNull;
   //endregion
   //region block: init
   ProblogSolverFactory_instance = new ProblogSolverFactory();