@tuprolog/2p-full 1.4.0 → 1.5.0

package/2p-solve-problog.js

@@ -40,7 +40,7 @@
   var protoOf = kotlin_kotlin.$_$.p6;
   var first = kotlin_kotlin.$_$.q2;
   var Companion_instance = kotlin_it_unibo_tuprolog_core.$_$.g;
-  var THROW_CCE = kotlin_kotlin.$_$.na;
+  var THROW_CCE = kotlin_kotlin.$_$.oa;
   var loadStaticClauses = kotlin_it_unibo_tuprolog_solve.$_$.v2;
   var loadStaticClausesIterable = kotlin_it_unibo_tuprolog_solve.$_$.w2;
   var loadStaticClausesSequence = kotlin_it_unibo_tuprolog_solve.$_$.x2;
@@ -129,7 +129,7 @@
   var hashCode = kotlin_kotlin.$_$.z5;
   var emptySet = kotlin_kotlin.$_$.n2;
   var Companion_getInstance_6 = kotlin_it_unibo_tuprolog_core.$_$.k;
-  var lazy = kotlin_kotlin.$_$.ta;
+  var lazy = kotlin_kotlin.$_$.ua;
   var collectionSizeOrDefault = kotlin_kotlin.$_$.d2;
   var toSet = kotlin_kotlin.$_$.m4;
   var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.o;
@@ -158,11 +158,11 @@
   var plus = kotlin_kotlin.$_$.u3;
   var setTag = kotlin_it_unibo_tuprolog_utils.$_$.j1;
   var Regex_init_$Create$ = kotlin_kotlin.$_$.t;
-  var toDoubleOrNull = kotlin_kotlin.$_$.u9;
+  var toDoubleOrNull = kotlin_kotlin.$_$.v9;
   var toSet_0 = kotlin_kotlin.$_$.x8;
   var plus_0 = kotlin_kotlin.$_$.r3;
   var checkIndexOverflow = kotlin_kotlin.$_$.c2;
-  var Pair = kotlin_kotlin.$_$.la;
+  var Pair = kotlin_kotlin.$_$.ma;
   var Fact = kotlin_it_unibo_tuprolog_core.$_$.i1;
   var subtract = kotlin_kotlin.$_$.c4;
   var setOf = kotlin_kotlin.$_$.x3;
@@ -185,7 +185,7 @@
   var SequenceScope = kotlin_kotlin.$_$.i7;
   var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.o4;
   var extractSignature = kotlin_it_unibo_tuprolog_solve.$_$.b4;
-  var ensureNotNull = kotlin_kotlin.$_$.ra;
+  var ensureNotNull = kotlin_kotlin.$_$.sa;
   var Clause = kotlin_it_unibo_tuprolog_core.$_$.f1;
   var copyToArray = kotlin_kotlin.$_$.i2;
   var initMetadataForLambda = kotlin_kotlin.$_$.e6;
@@ -219,7 +219,7 @@
   function get_probabilityOrNull() {
     var tmp;
     try {
-      tmp = this.g39();
+      tmp = this.j39();
     } catch ($p) {
       var tmp_0;
       if ($p instanceof Error) {
@@ -265,163 +265,163 @@
   //endregion
   function MutableProblogSolver(solver) {
     ProblogSolver.call(this, solver);
-    this.b37_1 = solver;
+    this.e37_1 = solver;
   }
-  protoOf(MutableProblogSolver).c31 = function (library) {
-    this.b37_1.loadLibrary(library);
+  protoOf(MutableProblogSolver).f31 = function (library) {
+    this.e37_1.loadLibrary(library);
   };
   protoOf(MutableProblogSolver).loadLibrary = function (library) {
-    return this.c31(library);
+    return this.f31(library);
   };
-  protoOf(MutableProblogSolver).d31 = function (library) {
-    this.b37_1.unloadLibrary(library);
+  protoOf(MutableProblogSolver).g31 = function (library) {
+    this.e37_1.unloadLibrary(library);
   };
   protoOf(MutableProblogSolver).unloadLibrary = function (library) {
-    return this.d31(library);
+    return this.g31(library);
   };
-  protoOf(MutableProblogSolver).e31 = function (libraries) {
-    this.b37_1.setLibraries(libraries);
+  protoOf(MutableProblogSolver).h31 = function (libraries) {
+    this.e37_1.setLibraries(libraries);
   };
   protoOf(MutableProblogSolver).setLibraries = function (libraries) {
-    return this.e31(libraries);
+    return this.h31(libraries);
   };
-  protoOf(MutableProblogSolver).f31 = function (theory) {
-    this.b37_1.loadStaticKb(Companion_instance_10.ofIterable(this.b37_1.r1k(), theory));
+  protoOf(MutableProblogSolver).i31 = function (theory) {
+    this.e37_1.loadStaticKb(Companion_instance_10.ofIterable(this.e37_1.u1k(), theory));
   };
   protoOf(MutableProblogSolver).loadStaticKb = function (theory) {
-    return this.f31(theory);
+    return this.i31(theory);
   };
-  protoOf(MutableProblogSolver).g31 = function (theory) {
-    this.b37_1.appendStaticKb(Companion_instance_10.ofIterable(this.b37_1.r1k(), theory));
+  protoOf(MutableProblogSolver).j31 = function (theory) {
+    this.e37_1.appendStaticKb(Companion_instance_10.ofIterable(this.e37_1.u1k(), theory));
   };
   protoOf(MutableProblogSolver).appendStaticKb = function (theory) {
-    return this.g31(theory);
+    return this.j31(theory);
   };
-  protoOf(MutableProblogSolver).h31 = function () {
-    this.b37_1.resetStaticKb();
+  protoOf(MutableProblogSolver).k31 = function () {
+    this.e37_1.resetStaticKb();
   };
   protoOf(MutableProblogSolver).resetStaticKb = function () {
-    return this.h31();
+    return this.k31();
   };
-  protoOf(MutableProblogSolver).i31 = function (theory) {
-    this.b37_1.loadDynamicKb(Companion_instance_10.ofIterable(this.b37_1.r1k(), theory));
+  protoOf(MutableProblogSolver).l31 = function (theory) {
+    this.e37_1.loadDynamicKb(Companion_instance_10.ofIterable(this.e37_1.u1k(), theory));
   };
   protoOf(MutableProblogSolver).loadDynamicKb = function (theory) {
-    return this.i31(theory);
+    return this.l31(theory);
   };
-  protoOf(MutableProblogSolver).j31 = function (theory) {
-    this.b37_1.appendDynamicKb(Companion_instance_10.ofIterable(this.b37_1.r1k(), theory));
+  protoOf(MutableProblogSolver).m31 = function (theory) {
+    this.e37_1.appendDynamicKb(Companion_instance_10.ofIterable(this.e37_1.u1k(), theory));
   };
   protoOf(MutableProblogSolver).appendDynamicKb = function (theory) {
-    return this.j31(theory);
+    return this.m31(theory);
   };
-  protoOf(MutableProblogSolver).k31 = function () {
-    this.b37_1.resetDynamicKb();
+  protoOf(MutableProblogSolver).n31 = function () {
+    this.e37_1.resetDynamicKb();
   };
   protoOf(MutableProblogSolver).resetDynamicKb = function () {
-    return this.k31();
+    return this.n31();
   };
-  protoOf(MutableProblogSolver).d1m = function (clause) {
-    this.b37_1.assertA(first(Companion_instance_10.of(this.b37_1.r1k(), [clause]).b1l()));
+  protoOf(MutableProblogSolver).g1m = function (clause) {
+    this.e37_1.assertA(first(Companion_instance_10.of(this.e37_1.u1k(), [clause]).e1l()));
   };
   protoOf(MutableProblogSolver).assertA = function (clause) {
-    return this.d1m(clause);
+    return this.g1m(clause);
   };
-  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).o31 = function (fact) {
+    this.e37_1.assertA(first(Companion_instance_10.of(this.e37_1.u1k(), [Companion_instance.of(fact)]).e1l()));
   };
   protoOf(MutableProblogSolver).assertAFact = function (fact) {
-    return this.l31(fact);
+    return this.o31(fact);
   };
-  protoOf(MutableProblogSolver).e1l = function (clause) {
-    this.b37_1.assertZ(first(Companion_instance_10.of(this.b37_1.r1k(), [clause]).b1l()));
+  protoOf(MutableProblogSolver).h1l = function (clause) {
+    this.e37_1.assertZ(first(Companion_instance_10.of(this.e37_1.u1k(), [clause]).e1l()));
   };
   protoOf(MutableProblogSolver).assertZ = function (clause) {
-    return this.e1l(clause);
+    return this.h1l(clause);
   };
-  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).p31 = function (fact) {
+    this.e37_1.assertA(first(Companion_instance_10.of(this.e37_1.u1k(), [Companion_instance.of(fact)]).e1l()));
   };
   protoOf(MutableProblogSolver).assertZFact = function (fact) {
-    return this.m31(fact);
+    return this.p31(fact);
   };
-  protoOf(MutableProblogSolver).x1s = function (clause) {
-    return this.b37_1.retract(first(Companion_instance_10.of(this.b37_1.r1k(), [clause]).b1l()));
+  protoOf(MutableProblogSolver).a1t = function (clause) {
+    return this.e37_1.retract(first(Companion_instance_10.of(this.e37_1.u1k(), [clause]).e1l()));
   };
   protoOf(MutableProblogSolver).retract = function (clause) {
-    return this.x1s(clause);
+    return this.a1t(clause);
   };
-  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).b1t = function (fact) {
+    return this.e37_1.retract(first(Companion_instance_10.of(this.e37_1.u1k(), [Companion_instance.of(fact)]).e1l()));
   };
   protoOf(MutableProblogSolver).retractByHead = function (fact) {
-    return this.y1s(fact);
+    return this.b1t(fact);
   };
-  protoOf(MutableProblogSolver).j1l = function (clause) {
-    return this.b37_1.retractAll(first(Companion_instance_10.of(this.b37_1.r1k(), [clause]).b1l()));
+  protoOf(MutableProblogSolver).m1l = function (clause) {
+    return this.e37_1.retractAll(first(Companion_instance_10.of(this.e37_1.u1k(), [clause]).e1l()));
   };
   protoOf(MutableProblogSolver).retractAll = function (clause) {
-    return this.j1l(clause);
+    return this.m1l(clause);
   };
-  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).q31 = function (fact) {
+    return this.e37_1.retractAll(first(Companion_instance_10.of(this.e37_1.u1k(), [Companion_instance.of(fact)]).e1l()));
   };
   protoOf(MutableProblogSolver).retractAllBeHead = function (fact) {
-    return this.n31(fact);
+    return this.q31(fact);
   };
-  protoOf(MutableProblogSolver).o31 = function (name, value) {
-    this.b37_1.setFlag(name, value);
+  protoOf(MutableProblogSolver).r31 = function (name, value) {
+    this.e37_1.setFlag(name, value);
   };
   protoOf(MutableProblogSolver).setFlag = function (name, value) {
-    return this.o31(name, value);
+    return this.r31(name, value);
   };
-  protoOf(MutableProblogSolver).p31 = function (flag) {
-    this.b37_1.setFlagPair(flag);
+  protoOf(MutableProblogSolver).s31 = function (flag) {
+    this.e37_1.setFlagPair(flag);
   };
   protoOf(MutableProblogSolver).setFlagPair = function (flag) {
-    return this.p31(flag);
+    return this.s31(flag);
   };
-  protoOf(MutableProblogSolver).q31 = function (flag) {
-    this.b37_1.setFlagNotable(flag);
+  protoOf(MutableProblogSolver).t31 = function (flag) {
+    this.e37_1.setFlagNotable(flag);
   };
   protoOf(MutableProblogSolver).setFlagNotable = function (flag) {
-    return this.q31(flag);
+    return this.t31(flag);
   };
-  protoOf(MutableProblogSolver).r31 = function (stdIn) {
-    this.b37_1.setStandardInput(stdIn);
+  protoOf(MutableProblogSolver).u31 = function (stdIn) {
+    this.e37_1.setStandardInput(stdIn);
   };
   protoOf(MutableProblogSolver).setStandardInput = function (stdIn) {
-    return this.r31(stdIn);
+    return this.u31(stdIn);
   };
-  protoOf(MutableProblogSolver).s31 = function (stdErr) {
-    this.b37_1.setStandardError(stdErr);
+  protoOf(MutableProblogSolver).v31 = function (stdErr) {
+    this.e37_1.setStandardError(stdErr);
   };
   protoOf(MutableProblogSolver).setStandardError = function (stdErr) {
-    return this.s31(stdErr);
+    return this.v31(stdErr);
   };
-  protoOf(MutableProblogSolver).t31 = function (stdOut) {
-    this.b37_1.setStandardOutput(stdOut);
+  protoOf(MutableProblogSolver).w31 = function (stdOut) {
+    this.e37_1.setStandardOutput(stdOut);
   };
   protoOf(MutableProblogSolver).setStandardOutput = function (stdOut) {
-    return this.t31(stdOut);
+    return this.w31(stdOut);
   };
-  protoOf(MutableProblogSolver).u31 = function (warnings) {
-    this.b37_1.setWarnings(warnings);
+  protoOf(MutableProblogSolver).x31 = function (warnings) {
+    this.e37_1.setWarnings(warnings);
   };
   protoOf(MutableProblogSolver).setWarnings = function (warnings) {
-    return this.u31(warnings);
+    return this.x31(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).i1v = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
+    return new MutableProblogSolver(this.e37_1.i1v(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).g1s = function () {
-    return new MutableProblogSolver(this.b37_1.g1s());
+  protoOf(MutableProblogSolver).j1s = function () {
+    return new MutableProblogSolver(this.e37_1.j1s());
   };
   protoOf(MutableProblogSolver).clone = function () {
-    return this.g1s();
+    return this.j1s();
   };
   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().p37(options)]);
+    var tmp_1 = tmp_0.of(tmp$ret$0, [ProbSetConfig_getInstance().s37(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.c37_1.solveWithOptions(tmp.of(tmp_1, tmp_2.of(tmp$ret$1, [anonVar, goal])), options);
+    var tmp_3 = $this.f37_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.c37_1.solveWithOptions(tmp.of(tmp$ret$0, [probabilityVar, goal, ProbSetConfig_getInstance().p37(options), bddVar]), options);
+    var tmp_0 = $this.f37_1.solveWithOptions(tmp.of(tmp$ret$0, [probabilityVar, goal, ProbSetConfig_getInstance().s37(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.k1u();
-        tmp = tmp_0.a1w($goal, tmp_1.yz(ProblogSolver$solveNonProbabilistically$lambda$lambda($anonVar)));
+        var tmp_1 = it.n1u();
+        tmp = tmp_0.d1w($goal, tmp_1.b10(ProblogSolver$solveNonProbabilistically$lambda$lambda($anonVar)));
       } else {
         if (isInterface(it, Halt)) {
-          tmp = Companion_instance_1.halt($goal, it.q1v());
+          tmp = Companion_instance_1.halt($goal, it.t1v());
         } 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.k1u().h2($probabilityVar);
-      var bddTerm = it.k1u().h2($bddVar);
+      var probabilityTerm = it.n1u().i2($probabilityVar);
+      var bddTerm = it.n1u().i2($bddVar);
       var tmp;
       if (isInterface(it, Yes)) {
         var tmp_0 = Companion_instance_1;
-        var tmp_1 = it.k1u();
-        tmp = tmp_0.a1w($goal, tmp_1.yz(ProblogSolver$solveProbabilistically$lambda$lambda($probabilityVar, $bddVar)));
+        var tmp_1 = it.n1u();
+        tmp = tmp_0.d1w($goal, tmp_1.b10(ProblogSolver$solveProbabilistically$lambda$lambda($probabilityVar, $bddVar)));
       } else {
         if (isInterface(it, Halt)) {
-          tmp = Companion_instance_1.halt($goal, it.q1v());
+          tmp = Companion_instance_1.halt($goal, it.t1v());
         } else {
           tmp = Companion_instance_1.no($goal);
         }
@@ -515,7 +515,7 @@
       } else {
         var tmp_3;
         if (!(probabilityTerm == null) ? isInterface(probabilityTerm, Numeric) : false) {
-          tmp_3 = setProbability(newSolution, probabilityTerm.ny().toDouble());
+          tmp_3 = setProbability(newSolution, probabilityTerm.qy().toDouble());
         } else {
           tmp_3 = setProbability(newSolution, NaN);
         }
@@ -527,9 +527,9 @@
           tmp_4 = false;
         }
         if (tmp_4) {
-          var explanation = bddTerm.r37_1;
+          var explanation = bddTerm.u37_1;
           if (explanation instanceof BinaryDecisionDiagramExplanation) {
-            newSolution = setBinaryDecisionDiagram(newSolution, explanation.s37_1);
+            newSolution = setBinaryDecisionDiagram(newSolution, explanation.v37_1);
           }
         }
         tmp_2 = newSolution;
@@ -538,9 +538,9 @@
     };
   }
   function ProblogSolver(solver) {
-    this.c37_1 = solver;
+    this.f37_1 = solver;
   }
-  protoOf(ProblogSolver).l2a = function (goal, options) {
+  protoOf(ProblogSolver).o2a = 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.l2a(goal, options);
+    return this.o2a(goal, options);
   };
-  protoOf(ProblogSolver).d37 = function (goal, timeout) {
-    return this.l2a(goal, Companion_getInstance_2().allLazilyWithTimeout(timeout));
+  protoOf(ProblogSolver).g37 = function (goal, timeout) {
+    return this.o2a(goal, Companion_getInstance_2().allLazilyWithTimeout(timeout));
   };
   protoOf(ProblogSolver).solveWithTimeout = function (goal, timeout) {
-    return this.d37(goal, timeout);
+    return this.g37(goal, timeout);
   };
-  protoOf(ProblogSolver).e37 = function (goal) {
-    return this.l2a(goal, Companion_getInstance_2().DEFAULT);
+  protoOf(ProblogSolver).h37 = function (goal) {
+    return this.o2a(goal, Companion_getInstance_2().DEFAULT);
   };
   protoOf(ProblogSolver).solve = function (goal) {
-    return this.e37(goal);
+    return this.h37(goal);
   };
-  protoOf(ProblogSolver).f37 = function (goal, timeout) {
-    return toList(this.d37(goal, timeout));
+  protoOf(ProblogSolver).i37 = function (goal, timeout) {
+    return toList(this.g37(goal, timeout));
   };
   protoOf(ProblogSolver).solveListWithTimeout = function (goal, timeout) {
-    return this.f37(goal, timeout);
+    return this.i37(goal, timeout);
   };
-  protoOf(ProblogSolver).g37 = function (goal) {
-    return toList(this.e37(goal));
+  protoOf(ProblogSolver).j37 = function (goal) {
+    return toList(this.h37(goal));
   };
   protoOf(ProblogSolver).solveList = function (goal) {
-    return this.g37(goal);
+    return this.j37(goal);
   };
-  protoOf(ProblogSolver).h37 = function (goal, options) {
-    return toList(this.l2a(goal, options));
+  protoOf(ProblogSolver).k37 = function (goal, options) {
+    return toList(this.o2a(goal, options));
   };
   protoOf(ProblogSolver).solveListWithOptions = function (goal, options) {
-    return this.h37(goal, options);
+    return this.k37(goal, options);
   };
-  protoOf(ProblogSolver).i37 = function (goal, timeout) {
-    return first_0(this.l2a(goal, Companion_getInstance_2().someLazilyWithTimeout(1, timeout)));
+  protoOf(ProblogSolver).l37 = function (goal, timeout) {
+    return first_0(this.o2a(goal, Companion_getInstance_2().someLazilyWithTimeout(1, timeout)));
   };
   protoOf(ProblogSolver).solveOnceWithTimeout = function (goal, timeout) {
-    return this.i37(goal, timeout);
+    return this.l37(goal, timeout);
   };
-  protoOf(ProblogSolver).j37 = function (goal) {
-    return first_0(this.l2a(goal, Companion_getInstance_2().someLazily(1)));
+  protoOf(ProblogSolver).m37 = function (goal) {
+    return first_0(this.o2a(goal, Companion_getInstance_2().someLazily(1)));
   };
   protoOf(ProblogSolver).solveOnce = function (goal) {
-    return this.j37(goal);
+    return this.m37(goal);
   };
-  protoOf(ProblogSolver).k37 = function (goal, options) {
-    return first_0(this.l2a(goal, options.setLimit(1)));
+  protoOf(ProblogSolver).n37 = function (goal, options) {
+    return first_0(this.o2a(goal, options.setLimit(1)));
   };
   protoOf(ProblogSolver).solveOnceWithOptions = function (goal, options) {
-    return this.k37(goal, options);
+    return this.n37(goal, options);
   };
-  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).i1v = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
+    return new ProblogSolver(this.f37_1.i1v(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).g1s = function () {
-    return new ProblogSolver(this.c37_1.clone());
+  protoOf(ProblogSolver).j1s = function () {
+    return new ProblogSolver(this.f37_1.clone());
   };
   protoOf(ProblogSolver).clone = function () {
-    return this.g1s();
-  };
-  protoOf(ProblogSolver).o1u = function () {
-    return this.c37_1.o1u();
-  };
-  protoOf(ProblogSolver).p1u = function () {
-    return this.c37_1.p1u();
-  };
-  protoOf(ProblogSolver).q1u = function () {
-    return this.c37_1.q1u();
+    return this.j1s();
   };
   protoOf(ProblogSolver).r1u = function () {
-    return this.c37_1.r1u();
-  };
-  protoOf(ProblogSolver).x1u = function () {
-    return this.c37_1.x1u();
+    return this.f37_1.r1u();
   };
   protoOf(ProblogSolver).s1u = function () {
-    return this.c37_1.s1u();
+    return this.f37_1.s1u();
   };
   protoOf(ProblogSolver).t1u = function () {
-    return this.c37_1.t1u();
+    return this.f37_1.t1u();
   };
-  protoOf(ProblogSolver).y1u = function () {
-    return this.c37_1.y1u();
-  };
-  protoOf(ProblogSolver).z1u = function () {
-    return this.c37_1.z1u();
+  protoOf(ProblogSolver).u1u = function () {
+    return this.f37_1.u1u();
   };
   protoOf(ProblogSolver).a1v = function () {
-    return this.c37_1.a1v();
+    return this.f37_1.a1v();
+  };
+  protoOf(ProblogSolver).v1u = function () {
+    return this.f37_1.v1u();
+  };
+  protoOf(ProblogSolver).w1u = function () {
+    return this.f37_1.w1u();
   };
   protoOf(ProblogSolver).b1v = function () {
-    return this.c37_1.b1v();
+    return this.f37_1.b1v();
+  };
+  protoOf(ProblogSolver).c1v = function () {
+    return this.f37_1.c1v();
+  };
+  protoOf(ProblogSolver).d1v = function () {
+    return this.f37_1.d1v();
   };
-  protoOf(ProblogSolver).r1k = function () {
-    return this.c37_1.r1k();
+  protoOf(ProblogSolver).e1v = function () {
+    return this.f37_1.e1v();
+  };
+  protoOf(ProblogSolver).u1k = function () {
+    return this.f37_1.u1k();
   };
   function ensureVariablesTracking($this, flags) {
     var tmp = TrackVariables_getInstance();
@@ -656,8 +656,8 @@
     var tmp;
     // Inline function 'kotlin.collections.contains' call
     // Inline function 'kotlin.collections.containsKey' call
-    var key = ProblogLib_getInstance().c2d();
-    if (!(isInterface(libraries, KtMap) ? libraries : THROW_CCE()).f2(key)) {
+    var key = ProblogLib_getInstance().f2d();
+    if (!(isInterface(libraries, KtMap) ? libraries : THROW_CCE()).g2(key)) {
       tmp = libraries.plusLibrary(MinimalBuiltins_getInstance());
     } else {
       tmp = libraries;
@@ -665,36 +665,36 @@
     return tmp;
   }
   function ProblogSolverFactory$ensureVariablesTracking$lambda($this$TrackVariables) {
-    return $this$TrackVariables.d28_1;
+    return $this$TrackVariables.g28_1;
   }
   function ProblogSolverFactory() {
   }
-  protoOf(ProblogSolverFactory).a1x = function () {
+  protoOf(ProblogSolverFactory).d1x = function () {
     return DefaultBuiltins_getInstance_0();
   };
-  protoOf(ProblogSolverFactory).c1x = function () {
+  protoOf(ProblogSolverFactory).f1x = function () {
     return ensureVariablesTracking(this, get_defaultFlags.call(this));
   };
-  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).o1x = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs) {
+    return new ProblogSolver(ClassicSolverFactory_instance.o1x(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).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).u1x = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
+    return new ProblogSolver(ClassicSolverFactory_instance.u1x(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).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).w1x = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
+    return new MutableProblogSolver(ClassicSolverFactory_instance.w1x(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).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).y1x = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs) {
+    return new MutableProblogSolver(ClassicSolverFactory_instance.y1x(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).c2d = function () {
-    return ProblogLib_getInstance().c2d();
+  protoOf(DefaultBuiltins).f2d = function () {
+    return ProblogLib_getInstance().f2d();
   };
-  protoOf(DefaultBuiltins).n2d = function () {
-    return ProblogLib_getInstance().n2d();
+  protoOf(DefaultBuiltins).q2d = function () {
+    return ProblogLib_getInstance().q2d();
   };
-  protoOf(DefaultBuiltins).p2d = function () {
-    return ProblogLib_getInstance().p2d();
+  protoOf(DefaultBuiltins).s2d = function () {
+    return ProblogLib_getInstance().s2d();
   };
-  protoOf(DefaultBuiltins).o2d = function () {
-    return ProblogLib_getInstance().o2d();
+  protoOf(DefaultBuiltins).r2d = function () {
+    return ProblogLib_getInstance().r2d();
   };
   var DefaultBuiltins_instance;
   function DefaultBuiltins_getInstance_0() {
@@ -729,10 +729,10 @@
     MinimalBuiltins_instance = this;
     ExtensionLibrary.call(this, ProblogLib_getInstance());
   }
-  protoOf(MinimalBuiltins).p2d = function () {
+  protoOf(MinimalBuiltins).s2d = function () {
     return listOf(EnsureExecutable_getInstance());
   };
-  protoOf(MinimalBuiltins).o2d = function () {
+  protoOf(MinimalBuiltins).r2d = 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.j38_1 = 'EXPL';
-    this.k38_1 = 'evidence';
-    this.l38_1 = 'prob';
+    this.m38_1 = 'EXPL';
+    this.n38_1 = 'evidence';
+    this.o38_1 = 'prob';
   }
-  protoOf(ProblogLib).n2d = function () {
+  protoOf(ProblogLib).q2d = function () {
     return get_PROBLOG_SPECIFIC_OPERATORS();
   };
-  protoOf(ProblogLib).o2d = function () {
+  protoOf(ProblogLib).r2d = function () {
     return listOf(Prob_getInstance());
   };
-  protoOf(ProblogLib).p2d = function () {
+  protoOf(ProblogLib).s2d = 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.s38_1 = message;
+    this.v38_1 = message;
     delete this.message;
   }
-  protoOf(ClauseMappingException).o1 = function () {
-    return this.s38_1;
+  protoOf(ClauseMappingException).p1 = function () {
+    return this.v38_1;
   };
   function Companion() {
   }
@@ -807,11 +807,11 @@
   }
   function Companion_0() {
     Companion_instance_9 = this;
-    this.t38_1 = new BinaryDecisionDiagramExplanation(bddTerminalOf(false), Companion_getInstance_13().w38_1);
-    this.u38_1 = new BinaryDecisionDiagramExplanation(bddTerminalOf(true), Companion_getInstance_13().x38_1);
+    this.w38_1 = new BinaryDecisionDiagramExplanation(bddTerminalOf(false), Companion_getInstance_13().z38_1);
+    this.x38_1 = new BinaryDecisionDiagramExplanation(bddTerminalOf(true), Companion_getInstance_13().a39_1);
   }
-  protoOf(Companion_0).y38 = function (term) {
-    return new BinaryDecisionDiagramExplanation(bddOf(term), new ComputedValue(term.b39_1));
+  protoOf(Companion_0).b39 = function (term) {
+    return new BinaryDecisionDiagramExplanation(bddOf(term), new ComputedValue(term.e39_1));
   };
   var Companion_instance_9;
   function Companion_getInstance_11() {
@@ -822,358 +822,358 @@
   function ProbExplanation() {
   }
   function ProbExplanationTerm$freshCopy$lambda(it) {
-    return it.au();
+    return it.du();
   }
   function ProbExplanationTerm$freshCopy$lambda_0($scope) {
     return function (it) {
-      return it.bu($scope);
+      return it.eu($scope);
     };
   }
   function ProbExplanationTerm$apply$lambda($substitution) {
     return function (it) {
-      return it.p14($substitution);
+      return it.s14($substitution);
     };
   }
   function ProbExplanationTerm(explanation) {
-    this.q37_1 = Companion_getInstance_4().of('<expl:' + explanation.toString() + '>');
-    this.r37_1 = explanation;
+    this.t37_1 = Companion_getInstance_4().of('<expl:' + explanation.toString() + '>');
+    this.u37_1 = explanation;
   }
-  protoOf(ProbExplanationTerm).wu = function () {
+  protoOf(ProbExplanationTerm).zu = function () {
     return false;
   };
-  protoOf(ProbExplanationTerm).av = function () {
+  protoOf(ProbExplanationTerm).dv = function () {
     return this;
   };
   protoOf(ProbExplanationTerm).asConstant = function () {
-    return this.av();
+    return this.dv();
   };
-  protoOf(ProbExplanationTerm).au = function () {
-    return new ProbExplanationTerm(this.r37_1.applyTransformation(ProbExplanationTerm$freshCopy$lambda));
+  protoOf(ProbExplanationTerm).du = function () {
+    return new ProbExplanationTerm(this.u37_1.applyTransformation(ProbExplanationTerm$freshCopy$lambda));
   };
   protoOf(ProbExplanationTerm).freshCopy = function () {
-    return this.au();
+    return this.du();
   };
-  protoOf(ProbExplanationTerm).bu = function (scope) {
-    return new ProbExplanationTerm(this.r37_1.applyTransformation(ProbExplanationTerm$freshCopy$lambda_0(scope)));
+  protoOf(ProbExplanationTerm).eu = function (scope) {
+    return new ProbExplanationTerm(this.u37_1.applyTransformation(ProbExplanationTerm$freshCopy$lambda_0(scope)));
   };
   protoOf(ProbExplanationTerm).freshCopyFromScope = function (scope) {
-    return this.bu(scope);
+    return this.eu(scope);
   };
-  protoOf(ProbExplanationTerm).n2l = function (substitution, substitutions) {
-    return this.o2l(substitution, substitutions.slice());
+  protoOf(ProbExplanationTerm).q2l = function (substitution, substitutions) {
+    return this.r2l(substitution, substitutions.slice());
   };
   protoOf(ProbExplanationTerm).getSubstituted = function (substitution, substitutions) {
-    return this.n2l(substitution, substitutions);
+    return this.q2l(substitution, substitutions);
   };
-  protoOf(ProbExplanationTerm).o2l = function (substitution, substitutions) {
-    return this.p14(Companion_getInstance_5().ofSubstitution(substitution, substitutions.slice()));
+  protoOf(ProbExplanationTerm).r2l = function (substitution, substitutions) {
+    return this.s14(Companion_getInstance_5().ofSubstitution(substitution, substitutions.slice()));
   };
   protoOf(ProbExplanationTerm).apply = function (substitution, substitutions) {
-    return this.o2l(substitution, substitutions);
+    return this.r2l(substitution, substitutions);
   };
-  protoOf(ProbExplanationTerm).p14 = function (substitution) {
+  protoOf(ProbExplanationTerm).s14 = function (substitution) {
     var tmp;
-    if (substitution.h() || this.bv()) {
+    if (substitution.h() || this.ev()) {
       tmp = this;
     } else {
-      tmp = new ProbExplanationTerm(this.r37_1.applyTransformation(ProbExplanationTerm$apply$lambda(substitution)));
+      tmp = new ProbExplanationTerm(this.u37_1.applyTransformation(ProbExplanationTerm$apply$lambda(substitution)));
     }
     return tmp;
   };
   protoOf(ProbExplanationTerm).applySubstitution = function (substitution) {
-    return this.p14(substitution);
+    return this.s14(substitution);
   };
-  protoOf(ProbExplanationTerm).bv = function () {
-    return !this.r37_1.i39();
+  protoOf(ProbExplanationTerm).ev = function () {
+    return !this.u37_1.l39();
   };
-  protoOf(ProbExplanationTerm).cu = function () {
-    return this.q37_1.cu();
+  protoOf(ProbExplanationTerm).fu = function () {
+    return this.t37_1.fu();
   };
   protoOf(ProbExplanationTerm).asAtom = function () {
-    return this.cu();
-  };
-  protoOf(ProbExplanationTerm).rt = function () {
-    return this.q37_1.rt();
-  };
-  protoOf(ProbExplanationTerm).st = function () {
-    return this.q37_1.st();
-  };
-  protoOf(ProbExplanationTerm).tt = function () {
-    return this.q37_1.tt();
+    return this.fu();
   };
   protoOf(ProbExplanationTerm).ut = function () {
-    return this.q37_1.ut();
+    return this.t37_1.ut();
   };
   protoOf(ProbExplanationTerm).vt = function () {
-    return this.q37_1.vt();
+    return this.t37_1.vt();
   };
-  protoOf(ProbExplanationTerm).e2 = function () {
-    return this.q37_1.e2();
+  protoOf(ProbExplanationTerm).wt = function () {
+    return this.t37_1.wt();
+  };
+  protoOf(ProbExplanationTerm).xt = function () {
+    return this.t37_1.xt();
   };
   protoOf(ProbExplanationTerm).yt = function () {
-    return this.q37_1.yt();
+    return this.t37_1.yt();
   };
-  protoOf(ProbExplanationTerm).zt = function () {
-    return this.q37_1.zt();
+  protoOf(ProbExplanationTerm).f2 = function () {
+    return this.t37_1.f2();
   };
-  protoOf(ProbExplanationTerm).nu = function () {
-    return this.q37_1.nu();
+  protoOf(ProbExplanationTerm).bu = function () {
+    return this.t37_1.bu();
+  };
+  protoOf(ProbExplanationTerm).cu = function () {
+    return this.t37_1.cu();
+  };
+  protoOf(ProbExplanationTerm).qu = function () {
+    return this.t37_1.qu();
   };
   protoOf(ProbExplanationTerm).asStruct = function () {
-    return this.nu();
+    return this.qu();
   };
   protoOf(ProbExplanationTerm).append = function (argument) {
-    return this.q37_1.append(argument);
+    return this.t37_1.append(argument);
   };
   protoOf(ProbExplanationTerm).addLast = function (argument) {
-    return this.q37_1.addLast(argument);
+    return this.t37_1.addLast(argument);
   };
   protoOf(ProbExplanationTerm).addFirst = function (argument) {
-    return this.q37_1.addFirst(argument);
+    return this.t37_1.addFirst(argument);
   };
   protoOf(ProbExplanationTerm).insertAt = function (index, argument) {
-    return this.q37_1.insertAt(index, argument);
+    return this.t37_1.insertAt(index, argument);
   };
   protoOf(ProbExplanationTerm).setFunctor = function (functor) {
-    return this.q37_1.setFunctor(functor);
+    return this.t37_1.setFunctor(functor);
   };
   protoOf(ProbExplanationTerm).getArgAt = function (index) {
-    return this.q37_1.getArgAt(index);
+    return this.t37_1.getArgAt(index);
   };
   protoOf(ProbExplanationTerm).setArgs = function (args) {
-    return this.q37_1.setArgs(args);
+    return this.t37_1.setArgs(args);
   };
   protoOf(ProbExplanationTerm).setArgsIterable = function (args) {
-    return this.q37_1.setArgsIterable(args);
+    return this.t37_1.setArgsIterable(args);
   };
   protoOf(ProbExplanationTerm).setArgsSequence = function (args) {
-    return this.q37_1.setArgsSequence(args);
+    return this.t37_1.setArgsSequence(args);
   };
   protoOf(ProbExplanationTerm).get = function (index) {
-    return this.q37_1.get(index);
+    return this.t37_1.get(index);
   };
-  protoOf(ProbExplanationTerm).du = function () {
-    return this.q37_1.du();
-  };
-  protoOf(ProbExplanationTerm).eu = function () {
-    return this.q37_1.eu();
+  protoOf(ProbExplanationTerm).gu = function () {
+    return this.t37_1.gu();
   };
-  protoOf(ProbExplanationTerm).fu = function () {
-    return this.q37_1.fu();
+  protoOf(ProbExplanationTerm).hu = function () {
+    return this.t37_1.hu();
   };
   protoOf(ProbExplanationTerm).iu = function () {
-    return this.q37_1.iu();
-  };
-  protoOf(ProbExplanationTerm).ju = function () {
-    return this.q37_1.ju();
+    return this.t37_1.iu();
   };
-  protoOf(ProbExplanationTerm).ku = function () {
-    return this.q37_1.ku();
+  protoOf(ProbExplanationTerm).lu = function () {
+    return this.t37_1.lu();
   };
   protoOf(ProbExplanationTerm).mu = function () {
-    return this.q37_1.mu();
+    return this.t37_1.mu();
   };
-  protoOf(ProbExplanationTerm).xt = function () {
-    return this.q37_1.xt();
-  };
-  protoOf(ProbExplanationTerm).ou = function () {
-    return this.q37_1.ou();
+  protoOf(ProbExplanationTerm).nu = function () {
+    return this.t37_1.nu();
   };
   protoOf(ProbExplanationTerm).pu = function () {
-    return this.q37_1.pu();
+    return this.t37_1.pu();
   };
-  protoOf(ProbExplanationTerm).qu = function () {
-    return this.q37_1.qu();
+  protoOf(ProbExplanationTerm).au = function () {
+    return this.t37_1.au();
   };
   protoOf(ProbExplanationTerm).ru = function () {
-    return this.q37_1.ru();
+    return this.t37_1.ru();
+  };
+  protoOf(ProbExplanationTerm).su = function () {
+    return this.t37_1.su();
+  };
+  protoOf(ProbExplanationTerm).tu = function () {
+    return this.t37_1.tu();
+  };
+  protoOf(ProbExplanationTerm).uu = function () {
+    return this.t37_1.uu();
   };
-  protoOf(ProbExplanationTerm).ep = function () {
-    return this.ru();
+  protoOf(ProbExplanationTerm).hp = function () {
+    return this.uu();
   };
-  protoOf(ProbExplanationTerm).su = function (other) {
-    return this.q37_1.su(other);
+  protoOf(ProbExplanationTerm).vu = function (other) {
+    return this.t37_1.vu(other);
   };
   protoOf(ProbExplanationTerm).d = function (other) {
-    return this.su((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+    return this.vu((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
   };
   protoOf(ProbExplanationTerm).equalsUsingVarCompleteNames = function (other, useVarCompleteName) {
-    return this.q37_1.equalsUsingVarCompleteNames(other, useVarCompleteName);
+    return this.t37_1.equalsUsingVarCompleteNames(other, useVarCompleteName);
   };
   protoOf(ProbExplanationTerm).equals = function (other) {
-    return this.q37_1.equals(other);
+    return this.t37_1.equals(other);
   };
   protoOf(ProbExplanationTerm).structurallyEquals = function (other) {
-    return this.q37_1.structurallyEquals(other);
+    return this.t37_1.structurallyEquals(other);
   };
   protoOf(ProbExplanationTerm).accept = function (visitor) {
-    return this.q37_1.accept(visitor);
+    return this.t37_1.accept(visitor);
   };
   protoOf(ProbExplanationTerm).castToAtom = function () {
-    return this.q37_1.castToAtom();
+    return this.t37_1.castToAtom();
   };
   protoOf(ProbExplanationTerm).castToClause = function () {
-    return this.q37_1.castToClause();
+    return this.t37_1.castToClause();
   };
   protoOf(ProbExplanationTerm).castToCons = function () {
-    return this.q37_1.castToCons();
+    return this.t37_1.castToCons();
   };
   protoOf(ProbExplanationTerm).castToConstant = function () {
-    return this.q37_1.castToConstant();
+    return this.t37_1.castToConstant();
   };
   protoOf(ProbExplanationTerm).castToDirective = function () {
-    return this.q37_1.castToDirective();
+    return this.t37_1.castToDirective();
   };
   protoOf(ProbExplanationTerm).castToEmptyList = function () {
-    return this.q37_1.castToEmptyList();
+    return this.t37_1.castToEmptyList();
   };
   protoOf(ProbExplanationTerm).castToEmptyBlock = function () {
-    return this.q37_1.castToEmptyBlock();
+    return this.t37_1.castToEmptyBlock();
   };
   protoOf(ProbExplanationTerm).castToFact = function () {
-    return this.q37_1.castToFact();
+    return this.t37_1.castToFact();
   };
   protoOf(ProbExplanationTerm).castToIndicator = function () {
-    return this.q37_1.castToIndicator();
+    return this.t37_1.castToIndicator();
   };
   protoOf(ProbExplanationTerm).castToInteger = function () {
-    return this.q37_1.castToInteger();
+    return this.t37_1.castToInteger();
   };
   protoOf(ProbExplanationTerm).castToList = function () {
-    return this.q37_1.castToList();
+    return this.t37_1.castToList();
   };
   protoOf(ProbExplanationTerm).castToNumeric = function () {
-    return this.q37_1.castToNumeric();
+    return this.t37_1.castToNumeric();
   };
   protoOf(ProbExplanationTerm).castToReal = function () {
-    return this.q37_1.castToReal();
+    return this.t37_1.castToReal();
   };
   protoOf(ProbExplanationTerm).castToRule = function () {
-    return this.q37_1.castToRule();
+    return this.t37_1.castToRule();
   };
   protoOf(ProbExplanationTerm).castToBlock = function () {
-    return this.q37_1.castToBlock();
+    return this.t37_1.castToBlock();
   };
   protoOf(ProbExplanationTerm).castToStruct = function () {
-    return this.q37_1.castToStruct();
+    return this.t37_1.castToStruct();
   };
   protoOf(ProbExplanationTerm).castToRecursive = function () {
-    return this.q37_1.castToRecursive();
+    return this.t37_1.castToRecursive();
   };
   protoOf(ProbExplanationTerm).castToTerm = function () {
-    return this.q37_1.castToTerm();
+    return this.t37_1.castToTerm();
   };
   protoOf(ProbExplanationTerm).castToTruth = function () {
-    return this.q37_1.castToTruth();
+    return this.t37_1.castToTruth();
   };
   protoOf(ProbExplanationTerm).castToTuple = function () {
-    return this.q37_1.castToTuple();
+    return this.t37_1.castToTuple();
   };
   protoOf(ProbExplanationTerm).castToVar = function () {
-    return this.q37_1.castToVar();
+    return this.t37_1.castToVar();
   };
   protoOf(ProbExplanationTerm).asClause = function () {
-    return this.q37_1.asClause();
+    return this.t37_1.asClause();
   };
   protoOf(ProbExplanationTerm).asCons = function () {
-    return this.q37_1.asCons();
+    return this.t37_1.asCons();
   };
   protoOf(ProbExplanationTerm).asDirective = function () {
-    return this.q37_1.asDirective();
+    return this.t37_1.asDirective();
   };
   protoOf(ProbExplanationTerm).asEmptyList = function () {
-    return this.q37_1.asEmptyList();
+    return this.t37_1.asEmptyList();
   };
   protoOf(ProbExplanationTerm).asEmptyBlock = function () {
-    return this.q37_1.asEmptyBlock();
+    return this.t37_1.asEmptyBlock();
   };
   protoOf(ProbExplanationTerm).asFact = function () {
-    return this.q37_1.asFact();
+    return this.t37_1.asFact();
   };
   protoOf(ProbExplanationTerm).asIndicator = function () {
-    return this.q37_1.asIndicator();
+    return this.t37_1.asIndicator();
   };
   protoOf(ProbExplanationTerm).asInteger = function () {
-    return this.q37_1.asInteger();
+    return this.t37_1.asInteger();
   };
   protoOf(ProbExplanationTerm).asList = function () {
-    return this.q37_1.asList();
+    return this.t37_1.asList();
   };
   protoOf(ProbExplanationTerm).asNumeric = function () {
-    return this.q37_1.asNumeric();
+    return this.t37_1.asNumeric();
   };
   protoOf(ProbExplanationTerm).asReal = function () {
-    return this.q37_1.asReal();
+    return this.t37_1.asReal();
   };
   protoOf(ProbExplanationTerm).asRule = function () {
-    return this.q37_1.asRule();
+    return this.t37_1.asRule();
   };
   protoOf(ProbExplanationTerm).asBlock = function () {
-    return this.q37_1.asBlock();
+    return this.t37_1.asBlock();
   };
   protoOf(ProbExplanationTerm).asRecursive = function () {
-    return this.q37_1.asRecursive();
+    return this.t37_1.asRecursive();
   };
   protoOf(ProbExplanationTerm).asTerm = function () {
-    return this.q37_1.asTerm();
+    return this.t37_1.asTerm();
   };
   protoOf(ProbExplanationTerm).asTruth = function () {
-    return this.q37_1.asTruth();
+    return this.t37_1.asTruth();
   };
   protoOf(ProbExplanationTerm).asTuple = function () {
-    return this.q37_1.asTuple();
+    return this.t37_1.asTuple();
   };
   protoOf(ProbExplanationTerm).asVar = function () {
-    return this.q37_1.asVar();
+    return this.t37_1.asVar();
   };
   protoOf(ProbExplanationTerm).hashCode = function () {
-    return this.q37_1.hashCode();
+    return this.t37_1.hashCode();
   };
   protoOf(ProbExplanationTerm).toString = function () {
-    return this.q37_1.toString();
-  };
-  protoOf(ProbExplanationTerm).tu = function () {
-    return this.q37_1.tu();
-  };
-  protoOf(ProbExplanationTerm).uu = function () {
-    return this.q37_1.uu();
+    return this.t37_1.toString();
   };
-  protoOf(ProbExplanationTerm).vu = function () {
-    return this.q37_1.vu();
+  protoOf(ProbExplanationTerm).wu = function () {
+    return this.t37_1.wu();
   };
   protoOf(ProbExplanationTerm).xu = function () {
-    return this.q37_1.xu();
+    return this.t37_1.xu();
   };
   protoOf(ProbExplanationTerm).yu = function () {
-    return this.q37_1.yu();
+    return this.t37_1.yu();
   };
-  protoOf(ProbExplanationTerm).zu = function () {
-    return this.q37_1.zu();
+  protoOf(ProbExplanationTerm).av = function () {
+    return this.t37_1.av();
+  };
+  protoOf(ProbExplanationTerm).bv = function () {
+    return this.t37_1.bv();
+  };
+  protoOf(ProbExplanationTerm).cv = function () {
+    return this.t37_1.cv();
   };
   protoOf(ProbExplanationTerm).getTag = function (name) {
-    return this.q37_1.getTag(name);
+    return this.t37_1.getTag(name);
   };
   protoOf(ProbExplanationTerm).resetTags = function (tags) {
-    return this.q37_1.resetTags(tags);
+    return this.t37_1.resetTags(tags);
   };
   protoOf(ProbExplanationTerm).containsTag = function (name) {
-    return this.q37_1.containsTag(name);
+    return this.t37_1.containsTag(name);
   };
-  protoOf(ProbExplanationTerm).lr = function () {
-    return this.q37_1.lr();
+  protoOf(ProbExplanationTerm).pr = function () {
+    return this.t37_1.pr();
   };
   function _get_cachedHashCode__d7x0zy($this) {
-    var tmp0 = $this.f39_1;
+    var tmp0 = $this.i39_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     getPropertyCallableRef('cachedHashCode', 1, tmp, ProbTerm$_get_cachedHashCode_$ref_1qdqtc(), null);
-    return tmp0.e2();
+    return tmp0.f2();
   }
   function ProbTerm$isGround$delegate$lambda(this$0) {
     return function () {
       var tmp;
-      if (this$0.c39_1.bv()) {
-        var tmp0 = this$0.d39_1;
+      if (this$0.f39_1.ev()) {
+        var tmp0 = this$0.g39_1;
         var tmp$ret$0;
         $l$block_0: {
           // Inline function 'kotlin.collections.any' call
@@ -1190,7 +1190,7 @@
           var _iterator__ex2g4s = tmp0.n();
           while (_iterator__ex2g4s.q()) {
             var element = _iterator__ex2g4s.r();
-            if (element.tu()) {
+            if (element.wu()) {
               tmp$ret$0 = true;
               break $l$block_0;
             }
@@ -1206,15 +1206,15 @@
   }
   function ProbTerm$_get_isGround_$ref_ue0rck() {
     return constructCallableReference(function (p0) {
-      return p0.bv();
+      return p0.ev();
     }, 1, 0, 89);
   }
   function ProbTerm$cachedHashCode$delegate$lambda(this$0) {
     return function () {
-      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;
+      var result = getBigIntHashCode(this$0.d39_1);
+      result = imul(31, result) + getNumberHashCode(this$0.e39_1) | 0;
+      result = imul(31, result) + this$0.f39_1.hashCode() | 0;
+      result = imul(31, result) + hashCode(this$0.g39_1) | 0;
       return result;
     };
   }
@@ -1225,20 +1225,20 @@
   }
   function ProbTerm(id, probability, term, extraVariables) {
     extraVariables = extraVariables === VOID ? emptySet() : 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;
+    this.c39_1 = Companion_getInstance_1().of('::', [Companion_getInstance_6().ofDouble(probability), term]);
+    this.d39_1 = id;
+    this.e39_1 = probability;
+    this.f39_1 = term;
+    this.g39_1 = extraVariables;
     var tmp = this;
-    tmp.e39_1 = lazy(ProbTerm$isGround$delegate$lambda(this));
+    tmp.h39_1 = lazy(ProbTerm$isGround$delegate$lambda(this));
     var tmp_0 = this;
-    tmp_0.f39_1 = lazy(ProbTerm$cachedHashCode$delegate$lambda(this));
+    tmp_0.i39_1 = lazy(ProbTerm$cachedHashCode$delegate$lambda(this));
   }
-  protoOf(ProbTerm).au = function () {
-    var termCopy = this.c39_1.freshCopy();
+  protoOf(ProbTerm).du = function () {
+    var termCopy = this.f39_1.freshCopy();
     // Inline function 'kotlin.collections.map' call
-    var this_0 = this.d39_1;
+    var this_0 = this.g39_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.a39_1, this.b39_1, termCopy, toSet(destination));
+    return new ProbTerm(this.d39_1, this.e39_1, termCopy, toSet(destination));
   };
   protoOf(ProbTerm).freshCopy = function () {
-    return this.au();
+    return this.du();
   };
-  protoOf(ProbTerm).bu = function (scope) {
-    var termCopy = this.c39_1.freshCopyFromScope(scope);
+  protoOf(ProbTerm).eu = function (scope) {
+    var termCopy = this.f39_1.freshCopyFromScope(scope);
     // Inline function 'kotlin.collections.map' call
-    var this_0 = this.d39_1;
+    var this_0 = this.g39_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.a39_1, this.b39_1, termCopy, toSet(destination));
+    return new ProbTerm(this.d39_1, this.e39_1, termCopy, toSet(destination));
   };
   protoOf(ProbTerm).freshCopyFromScope = function (scope) {
-    return this.bu(scope);
+    return this.eu(scope);
   };
-  protoOf(ProbTerm).n2l = function (substitution, substitutions) {
-    return this.o2l(substitution, substitutions.slice());
+  protoOf(ProbTerm).q2l = function (substitution, substitutions) {
+    return this.r2l(substitution, substitutions.slice());
   };
   protoOf(ProbTerm).getSubstituted = function (substitution, substitutions) {
-    return this.n2l(substitution, substitutions);
+    return this.q2l(substitution, substitutions);
   };
-  protoOf(ProbTerm).o2l = function (substitution, substitutions) {
-    return this.p14(Companion_getInstance_5().ofSubstitution(substitution, substitutions.slice()));
+  protoOf(ProbTerm).r2l = function (substitution, substitutions) {
+    return this.s14(Companion_getInstance_5().ofSubstitution(substitution, substitutions.slice()));
   };
   protoOf(ProbTerm).apply = function (substitution, substitutions) {
-    return this.o2l(substitution, substitutions);
+    return this.r2l(substitution, substitutions);
   };
-  protoOf(ProbTerm).p14 = function (substitution) {
+  protoOf(ProbTerm).s14 = function (substitution) {
     var tmp;
-    if (substitution.h() || this.bv()) {
+    if (substitution.h() || this.ev()) {
       tmp = this;
     } else {
       var tmp_0;
-      var tmp0 = this.d39_1;
+      var tmp0 = this.g39_1;
       var tmp$ret$0;
       $l$block_0: {
         // Inline function 'kotlin.collections.any' call
@@ -1304,7 +1304,7 @@
         var _iterator__ex2g4s = tmp0.n();
         while (_iterator__ex2g4s.q()) {
           var element = _iterator__ex2g4s.r();
-          if (element.tu()) {
+          if (element.wu()) {
             tmp$ret$0 = true;
             break $l$block_0;
           }
@@ -1312,10 +1312,10 @@
         tmp$ret$0 = false;
       }
       if (!tmp$ret$0) {
-        tmp_0 = this.d39_1;
+        tmp_0 = this.g39_1;
       } else {
         // Inline function 'kotlin.collections.mapNotNull' call
-        var tmp0_0 = this.d39_1;
+        var tmp0_0 = this.g39_1;
         // Inline function 'kotlin.collections.mapNotNullTo' call
         var destination = ArrayList_init_$Create$_0();
         // Inline function 'kotlin.collections.forEach' call
@@ -1333,43 +1333,43 @@
         tmp_0 = toSet(destination);
       }
       var newExtraVars = tmp_0;
-      tmp = new ProbTerm(this.a39_1, this.b39_1, this.c39_1.applySubstitution(substitution), newExtraVars);
+      tmp = new ProbTerm(this.d39_1, this.e39_1, this.f39_1.applySubstitution(substitution), newExtraVars);
     }
     return tmp;
   };
   protoOf(ProbTerm).applySubstitution = function (substitution) {
-    return this.p14(substitution);
+    return this.s14(substitution);
   };
-  protoOf(ProbTerm).bv = function () {
-    var tmp0 = this.e39_1;
+  protoOf(ProbTerm).ev = function () {
+    var tmp0 = this.h39_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     getPropertyCallableRef('isGround', 1, tmp, ProbTerm$_get_isGround_$ref_ue0rck(), null);
-    return tmp0.e2();
+    return tmp0.f2();
   };
-  protoOf(ProbTerm).su = function (other) {
+  protoOf(ProbTerm).vu = function (other) {
     if (!(other instanceof ProbTerm)) {
       return compareTo.call(this, other);
     }
-    var res = compareTo_0(this.a39_1, other.a39_1);
+    var res = compareTo_0(this.d39_1, other.d39_1);
     if (!(res === 0))
       return res;
-    res = this.c39_1.su(other.c39_1);
+    res = this.f39_1.vu(other.f39_1);
     if (!(res === 0))
       return res;
-    res = equals(this.d39_1, other.d39_1) ? 0 : -1;
+    res = equals(this.g39_1, other.g39_1) ? 0 : -1;
     if (!(res === 0))
       return res;
-    res = compareTo_0(this.b39_1, other.b39_1);
+    res = compareTo_0(this.e39_1, other.e39_1);
     return res;
   };
   protoOf(ProbTerm).d = function (other) {
-    return this.su((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+    return this.vu((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
   };
   protoOf(ProbTerm).equals = function (other) {
     var tmp;
     if (other instanceof ProbTerm) {
-      tmp = this.su(other) === 0;
+      tmp = this.vu(other) === 0;
     } else {
       tmp = false;
     }
@@ -1379,214 +1379,214 @@
     return _get_cachedHashCode__d7x0zy(this);
   };
   protoOf(ProbTerm).toString = function () {
-    return '' + round(this.b39_1 * 100) / 100.0 + '::' + this.c39_1.toString();
+    return '' + round(this.e39_1 * 100) / 100.0 + '::' + this.f39_1.toString();
   };
-  protoOf(ProbTerm).ru = function () {
-    return this.z38_1.ru();
+  protoOf(ProbTerm).uu = function () {
+    return this.c39_1.uu();
   };
-  protoOf(ProbTerm).ep = function () {
-    return this.ru();
+  protoOf(ProbTerm).hp = function () {
+    return this.uu();
   };
   protoOf(ProbTerm).equalsUsingVarCompleteNames = function (other, useVarCompleteName) {
-    return this.z38_1.equalsUsingVarCompleteNames(other, useVarCompleteName);
+    return this.c39_1.equalsUsingVarCompleteNames(other, useVarCompleteName);
   };
   protoOf(ProbTerm).structurallyEquals = function (other) {
-    return this.z38_1.structurallyEquals(other);
+    return this.c39_1.structurallyEquals(other);
   };
   protoOf(ProbTerm).accept = function (visitor) {
-    return this.z38_1.accept(visitor);
+    return this.c39_1.accept(visitor);
   };
   protoOf(ProbTerm).castToAtom = function () {
-    return this.z38_1.castToAtom();
+    return this.c39_1.castToAtom();
   };
   protoOf(ProbTerm).castToClause = function () {
-    return this.z38_1.castToClause();
+    return this.c39_1.castToClause();
   };
   protoOf(ProbTerm).castToCons = function () {
-    return this.z38_1.castToCons();
+    return this.c39_1.castToCons();
   };
   protoOf(ProbTerm).castToConstant = function () {
-    return this.z38_1.castToConstant();
+    return this.c39_1.castToConstant();
   };
   protoOf(ProbTerm).castToDirective = function () {
-    return this.z38_1.castToDirective();
+    return this.c39_1.castToDirective();
   };
   protoOf(ProbTerm).castToEmptyList = function () {
-    return this.z38_1.castToEmptyList();
+    return this.c39_1.castToEmptyList();
   };
   protoOf(ProbTerm).castToEmptyBlock = function () {
-    return this.z38_1.castToEmptyBlock();
+    return this.c39_1.castToEmptyBlock();
   };
   protoOf(ProbTerm).castToFact = function () {
-    return this.z38_1.castToFact();
+    return this.c39_1.castToFact();
   };
   protoOf(ProbTerm).castToIndicator = function () {
-    return this.z38_1.castToIndicator();
+    return this.c39_1.castToIndicator();
   };
   protoOf(ProbTerm).castToInteger = function () {
-    return this.z38_1.castToInteger();
+    return this.c39_1.castToInteger();
   };
   protoOf(ProbTerm).castToList = function () {
-    return this.z38_1.castToList();
+    return this.c39_1.castToList();
   };
   protoOf(ProbTerm).castToNumeric = function () {
-    return this.z38_1.castToNumeric();
+    return this.c39_1.castToNumeric();
   };
   protoOf(ProbTerm).castToReal = function () {
-    return this.z38_1.castToReal();
+    return this.c39_1.castToReal();
   };
   protoOf(ProbTerm).castToRule = function () {
-    return this.z38_1.castToRule();
+    return this.c39_1.castToRule();
   };
   protoOf(ProbTerm).castToBlock = function () {
-    return this.z38_1.castToBlock();
+    return this.c39_1.castToBlock();
   };
   protoOf(ProbTerm).castToStruct = function () {
-    return this.z38_1.castToStruct();
+    return this.c39_1.castToStruct();
   };
   protoOf(ProbTerm).castToRecursive = function () {
-    return this.z38_1.castToRecursive();
+    return this.c39_1.castToRecursive();
   };
   protoOf(ProbTerm).castToTerm = function () {
-    return this.z38_1.castToTerm();
+    return this.c39_1.castToTerm();
   };
   protoOf(ProbTerm).castToTruth = function () {
-    return this.z38_1.castToTruth();
+    return this.c39_1.castToTruth();
   };
   protoOf(ProbTerm).castToTuple = function () {
-    return this.z38_1.castToTuple();
+    return this.c39_1.castToTuple();
   };
   protoOf(ProbTerm).castToVar = function () {
-    return this.z38_1.castToVar();
+    return this.c39_1.castToVar();
   };
   protoOf(ProbTerm).asAtom = function () {
-    return this.z38_1.asAtom();
+    return this.c39_1.asAtom();
   };
   protoOf(ProbTerm).asClause = function () {
-    return this.z38_1.asClause();
+    return this.c39_1.asClause();
   };
   protoOf(ProbTerm).asCons = function () {
-    return this.z38_1.asCons();
+    return this.c39_1.asCons();
   };
   protoOf(ProbTerm).asConstant = function () {
-    return this.z38_1.asConstant();
+    return this.c39_1.asConstant();
   };
   protoOf(ProbTerm).asDirective = function () {
-    return this.z38_1.asDirective();
+    return this.c39_1.asDirective();
   };
   protoOf(ProbTerm).asEmptyList = function () {
-    return this.z38_1.asEmptyList();
+    return this.c39_1.asEmptyList();
   };
   protoOf(ProbTerm).asEmptyBlock = function () {
-    return this.z38_1.asEmptyBlock();
+    return this.c39_1.asEmptyBlock();
   };
   protoOf(ProbTerm).asFact = function () {
-    return this.z38_1.asFact();
+    return this.c39_1.asFact();
   };
   protoOf(ProbTerm).asIndicator = function () {
-    return this.z38_1.asIndicator();
+    return this.c39_1.asIndicator();
   };
   protoOf(ProbTerm).asInteger = function () {
-    return this.z38_1.asInteger();
+    return this.c39_1.asInteger();
   };
   protoOf(ProbTerm).asList = function () {
-    return this.z38_1.asList();
+    return this.c39_1.asList();
   };
   protoOf(ProbTerm).asNumeric = function () {
-    return this.z38_1.asNumeric();
+    return this.c39_1.asNumeric();
   };
   protoOf(ProbTerm).asReal = function () {
-    return this.z38_1.asReal();
+    return this.c39_1.asReal();
   };
   protoOf(ProbTerm).asRule = function () {
-    return this.z38_1.asRule();
+    return this.c39_1.asRule();
   };
   protoOf(ProbTerm).asBlock = function () {
-    return this.z38_1.asBlock();
+    return this.c39_1.asBlock();
   };
   protoOf(ProbTerm).asStruct = function () {
-    return this.z38_1.nu();
+    return this.c39_1.qu();
   };
   protoOf(ProbTerm).asRecursive = function () {
-    return this.z38_1.asRecursive();
+    return this.c39_1.asRecursive();
   };
   protoOf(ProbTerm).asTerm = function () {
-    return this.z38_1.asTerm();
+    return this.c39_1.asTerm();
   };
   protoOf(ProbTerm).asTruth = function () {
-    return this.z38_1.asTruth();
+    return this.c39_1.asTruth();
   };
   protoOf(ProbTerm).asTuple = function () {
-    return this.z38_1.asTuple();
+    return this.c39_1.asTuple();
   };
   protoOf(ProbTerm).asVar = function () {
-    return this.z38_1.asVar();
+    return this.c39_1.asVar();
   };
-  protoOf(ProbTerm).tu = function () {
-    return this.z38_1.tu();
+  protoOf(ProbTerm).wu = function () {
+    return this.c39_1.wu();
   };
-  protoOf(ProbTerm).du = function () {
-    return this.z38_1.du();
+  protoOf(ProbTerm).gu = function () {
+    return this.c39_1.gu();
   };
-  protoOf(ProbTerm).uu = function () {
-    return this.z38_1.uu();
+  protoOf(ProbTerm).xu = function () {
+    return this.c39_1.xu();
   };
-  protoOf(ProbTerm).vu = function () {
-    return this.z38_1.vu();
+  protoOf(ProbTerm).yu = function () {
+    return this.c39_1.yu();
   };
-  protoOf(ProbTerm).st = function () {
-    return this.z38_1.st();
+  protoOf(ProbTerm).vt = function () {
+    return this.c39_1.vt();
   };
-  protoOf(ProbTerm).wu = function () {
-    return this.z38_1.wu();
+  protoOf(ProbTerm).zu = function () {
+    return this.c39_1.zu();
   };
-  protoOf(ProbTerm).xu = function () {
-    return this.z38_1.xu();
+  protoOf(ProbTerm).av = function () {
+    return this.c39_1.av();
   };
-  protoOf(ProbTerm).yu = function () {
-    return this.z38_1.yu();
+  protoOf(ProbTerm).bv = function () {
+    return this.c39_1.bv();
   };
-  protoOf(ProbTerm).zu = function () {
-    return this.z38_1.zu();
+  protoOf(ProbTerm).cv = function () {
+    return this.c39_1.cv();
   };
-  protoOf(ProbTerm).ju = function () {
-    return this.z38_1.ju();
+  protoOf(ProbTerm).mu = function () {
+    return this.c39_1.mu();
   };
-  protoOf(ProbTerm).iu = function () {
-    return this.z38_1.iu();
+  protoOf(ProbTerm).lu = function () {
+    return this.c39_1.lu();
   };
-  protoOf(ProbTerm).tt = function () {
-    return this.z38_1.tt();
+  protoOf(ProbTerm).wt = function () {
+    return this.c39_1.wt();
   };
-  protoOf(ProbTerm).eu = function () {
-    return this.z38_1.eu();
+  protoOf(ProbTerm).hu = function () {
+    return this.c39_1.hu();
   };
-  protoOf(ProbTerm).ku = function () {
-    return this.z38_1.ku();
+  protoOf(ProbTerm).nu = function () {
+    return this.c39_1.nu();
   };
-  protoOf(ProbTerm).ut = function () {
-    return this.z38_1.ut();
+  protoOf(ProbTerm).xt = function () {
+    return this.c39_1.xt();
   };
-  protoOf(ProbTerm).vt = function () {
-    return this.z38_1.vt();
+  protoOf(ProbTerm).yt = function () {
+    return this.c39_1.yt();
   };
-  protoOf(ProbTerm).mu = function () {
-    return this.z38_1.mu();
+  protoOf(ProbTerm).pu = function () {
+    return this.c39_1.pu();
   };
   protoOf(ProbTerm).getTag = function (name) {
-    return this.z38_1.getTag(name);
+    return this.c39_1.getTag(name);
   };
   protoOf(ProbTerm).resetTags = function (tags) {
-    return this.z38_1.resetTags(tags);
+    return this.c39_1.resetTags(tags);
   };
   protoOf(ProbTerm).containsTag = function (name) {
-    return this.z38_1.containsTag(name);
+    return this.c39_1.containsTag(name);
   };
-  protoOf(ProbTerm).lr = function () {
-    return this.z38_1.lr();
+  protoOf(ProbTerm).pr = function () {
+    return this.c39_1.pr();
   };
-  protoOf(ProbTerm).zt = function () {
-    return this.z38_1.zt();
+  protoOf(ProbTerm).cu = function () {
+    return this.c39_1.cu();
   };
   function Companion_1() {
   }
@@ -1631,25 +1631,25 @@
   function collectAllHeads($this, head, accumulator) {
     var tmp;
     if (isInterface(head, Struct)) {
-      tmp = head.rt() === 2;
+      tmp = head.ut() === 2;
     } else {
       tmp = false;
     }
     if (tmp) {
-      if (!(head.xt() === ';') && !(head.xt() === '::')) {
+      if (!(head.au() === ';') && !(head.au() === '::')) {
         throw TuPrologException_init_$Create$('Badly formatted disjoint annotation: ' + head.toString());
       }
-      if (head.xt() === ';') {
+      if (head.au() === ';') {
         collectAllHeads($this, head.get(1), accumulator);
       }
     }
     var curHeadProb = 1.0;
     var curHead = head;
     if (isInterface(head, Struct)) {
-      curHead = head.xt() === ';' ? head.get(0) : head;
+      curHead = head.au() === ';' ? head.get(0) : head;
       var tmp_0;
       if (isInterface(curHead, Struct)) {
-        tmp_0 = curHead.xt() === '::';
+        tmp_0 = curHead.au() === '::';
       } else {
         tmp_0 = false;
       }
@@ -1657,7 +1657,7 @@
         var curHeadProbTerm = curHead.get(0);
         var tmp_1;
         if (isInterface(curHeadProbTerm, Numeric)) {
-          tmp_1 = curHeadProbTerm.ny().toDouble();
+          tmp_1 = curHeadProbTerm.qy().toDouble();
         } else {
           tmp_1 = solveArithmeticExpression(curHeadProbTerm);
         }
@@ -1669,23 +1669,23 @@
   }
   function AnnotatedDisjunctionClauseMapper() {
   }
-  protoOf(AnnotatedDisjunctionClauseMapper).j39 = function (clause) {
+  protoOf(AnnotatedDisjunctionClauseMapper).m39 = function (clause) {
     var tmp;
     if (isInterface(clause, Rule)) {
-      tmp = clause.dw().xt() === ';';
+      tmp = clause.gw().au() === ';';
     } else {
       tmp = false;
     }
     return tmp;
   };
-  protoOf(AnnotatedDisjunctionClauseMapper).k39 = function (clause) {
+  protoOf(AnnotatedDisjunctionClauseMapper).n39 = function (clause) {
     if (!isInterface(clause, Rule)) {
       throw new ClauseMappingException('Clause is not an instance of Rule: ' + clause.toString());
     }
-    var body = clause.ew();
+    var body = clause.hw();
     // Inline function 'kotlin.collections.mutableListOf' call
     var disjointHeads = ArrayList_init_$Create$_0();
-    collectAllHeads(this, clause.dw(), disjointHeads);
+    collectAllHeads(this, clause.gw(), disjointHeads);
     var probSum = 0.0;
     // Inline function 'kotlin.collections.map' call
     // Inline function 'kotlin.collections.mapTo' call
@@ -1694,7 +1694,7 @@
     while (_iterator__ex2g4s.q()) {
       var item = _iterator__ex2g4s.r();
       var tmp = item.get(0);
-      var curProb = (isInterface(tmp, Numeric) ? tmp : THROW_CCE()).ny().toDouble();
+      var curProb = (isInterface(tmp, Numeric) ? tmp : THROW_CCE()).qy().toDouble();
       var tmp_0;
       var tmp_1 = item.get(1);
       if (isInterface(tmp_1, Struct)) {
@@ -1705,21 +1705,21 @@
       }
       var curRuleHead = tmp_0;
       probSum = probSum + curProb;
-      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]));
+      var tmp$ret$3 = ProbabilisticClauseMapper_instance.o39(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().u38_1;
+    var explanation = Companion_getInstance_11().x38_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().y38(item_0.second);
+      var thisExplanation = Companion_getInstance_11().b39(item_0.second);
       var resultExplanation = thisExplanation.and(explanation);
       explanation = explanation.and(thisExplanation.not());
-      var tmp$ret$6 = ProbabilisticClauseMapper_instance.m39(item_0.first, resultExplanation);
+      var tmp$ret$6 = ProbabilisticClauseMapper_instance.p39(item_0.first, resultExplanation);
       destination_0.l(tmp$ret$6);
     }
     return destination_0;
@@ -1729,28 +1729,28 @@
     return AnnotatedDisjunctionClauseMapper_instance;
   }
   function ComputedValue(probability) {
-    this.n39_1 = probability;
+    this.q39_1 = probability;
   }
   protoOf(ComputedValue).toString = function () {
-    return 'ComputedValue(probability=' + this.n39_1 + ')';
+    return 'ComputedValue(probability=' + this.q39_1 + ')';
   };
   protoOf(ComputedValue).hashCode = function () {
-    return this.n39_1 == null ? 0 : getNumberHashCode(this.n39_1);
+    return this.q39_1 == null ? 0 : getNumberHashCode(this.q39_1);
   };
   protoOf(ComputedValue).equals = function (other) {
     if (this === other)
       return true;
     if (!(other instanceof ComputedValue))
       return false;
-    if (!equals(this.n39_1, other.n39_1))
+    if (!equals(this.q39_1, other.q39_1))
       return false;
     return true;
   };
   function Companion_2() {
     Companion_instance_11 = this;
-    this.v38_1 = new ComputedValue(null);
-    this.w38_1 = new ComputedValue(0.0);
-    this.x38_1 = new ComputedValue(1.0);
+    this.y38_1 = new ComputedValue(null);
+    this.z38_1 = new ComputedValue(0.0);
+    this.a39_1 = new ComputedValue(1.0);
   }
   var Companion_instance_11;
   function Companion_getInstance_13() {
@@ -1766,19 +1766,19 @@
   }
   function computeExpansion($this, value, low, high) {
     var tmp;
-    if (!(low.n39_1 == null) && !(high.n39_1 == null)) {
-      tmp = value.b39_1 * high.n39_1 + (1.0 - value.b39_1) * low.n39_1;
+    if (!(low.q39_1 == null) && !(high.q39_1 == null)) {
+      tmp = value.e39_1 * high.q39_1 + (1.0 - value.e39_1) * low.q39_1;
     } else {
       tmp = null;
     }
     return new ComputedValue(tmp);
   }
   function _get_cachedNot__l38068($this) {
-    var tmp0 = $this.u37_1;
+    var tmp0 = $this.x37_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     getPropertyCallableRef('cachedNot', 1, tmp, BinaryDecisionDiagramExplanation$_get_cachedNot_$ref_q3r5qq(), null);
-    return tmp0.e2();
+    return tmp0.f2();
   }
   function BinaryDecisionDiagramExplanation$cachedNot$delegate$lambda$lambda(this$0) {
     return function (node, low, high) {
@@ -1787,9 +1787,9 @@
   }
   function BinaryDecisionDiagramExplanation$cachedNot$delegate$lambda(this$0) {
     return function () {
-      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));
+      var tmp = Companion_getInstance_13().z38_1;
+      var tmp_0 = Companion_getInstance_13().a39_1;
+      var result = notThenExpansion(this$0.v37_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.b39_1 * high + (1.0 - node.b39_1) * low;
+    return node.e39_1 * high + (1.0 - node.e39_1) * low;
   }
   function BinaryDecisionDiagramExplanation$probability$delegate$lambda(this$0) {
     return function () {
-      var tmp0_elvis_lhs = this$0.t37_1.n39_1;
+      var tmp0_elvis_lhs = this$0.w37_1.q39_1;
       var tmp;
       if (tmp0_elvis_lhs == null) {
-        tmp = expansion(this$0.s37_1, 0.0, 1.0, BinaryDecisionDiagramExplanation$probability$delegate$lambda$lambda);
+        tmp = expansion(this$0.v37_1, 0.0, 1.0, BinaryDecisionDiagramExplanation$probability$delegate$lambda$lambda);
       } else {
         tmp = tmp0_elvis_lhs;
       }
@@ -1825,20 +1825,20 @@
   }
   function BinaryDecisionDiagramExplanation$_get_probability_$ref_gzzr62() {
     return constructCallableReference(function (p0) {
-      return p0.g39();
+      return p0.j39();
     }, 1, 0, 92);
   }
   function BinaryDecisionDiagramExplanation$containsAnyNotGroundTerm$delegate$lambda$lambda(it) {
-    return !it.bv();
+    return !it.ev();
   }
   function BinaryDecisionDiagramExplanation$containsAnyNotGroundTerm$delegate$lambda(this$0) {
     return function () {
-      return anyWhere(this$0.s37_1, BinaryDecisionDiagramExplanation$containsAnyNotGroundTerm$delegate$lambda$lambda);
+      return anyWhere(this$0.v37_1, BinaryDecisionDiagramExplanation$containsAnyNotGroundTerm$delegate$lambda$lambda);
     };
   }
   function BinaryDecisionDiagramExplanation$_get_containsAnyNotGroundTerm_$ref_82xwv2() {
     return constructCallableReference(function (p0) {
-      return p0.i39();
+      return p0.l39();
     }, 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().v38_1 : computedValue;
-    this.s37_1 = diagram;
-    this.t37_1 = computedValue;
+    computedValue = computedValue === VOID ? Companion_getInstance_13().y38_1 : computedValue;
+    this.v37_1 = diagram;
+    this.w37_1 = computedValue;
     var tmp = this;
-    tmp.u37_1 = lazy(BinaryDecisionDiagramExplanation$cachedNot$delegate$lambda(this));
+    tmp.x37_1 = lazy(BinaryDecisionDiagramExplanation$cachedNot$delegate$lambda(this));
     var tmp_0 = this;
-    tmp_0.v37_1 = lazy(BinaryDecisionDiagramExplanation$probability$delegate$lambda(this));
+    tmp_0.y37_1 = lazy(BinaryDecisionDiagramExplanation$probability$delegate$lambda(this));
     var tmp_1 = this;
-    tmp_1.w37_1 = lazy(BinaryDecisionDiagramExplanation$containsAnyNotGroundTerm$delegate$lambda(this));
+    tmp_1.z37_1 = lazy(BinaryDecisionDiagramExplanation$containsAnyNotGroundTerm$delegate$lambda(this));
   }
-  protoOf(BinaryDecisionDiagramExplanation).o39 = function () {
+  protoOf(BinaryDecisionDiagramExplanation).r39 = function () {
     return _get_cachedNot__l38068(this);
   };
   protoOf(BinaryDecisionDiagramExplanation).not = function () {
-    return this.o39();
+    return this.r39();
   };
-  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));
+  protoOf(BinaryDecisionDiagramExplanation).s39 = function (that) {
+    var tmp = getAsInternal(this, that).v37_1;
+    var tmp_0 = Companion_getInstance_13().z38_1;
+    var tmp_1 = Companion_getInstance_13().a39_1;
+    var result = andThenExpansion(this.v37_1, tmp, tmp_0, tmp_1, BinaryDecisionDiagramExplanation$and$lambda(this));
     return new BinaryDecisionDiagramExplanation(result.first, result.second);
   };
   protoOf(BinaryDecisionDiagramExplanation).and = function (that) {
-    return this.p39(that);
+    return this.s39(that);
   };
-  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));
+  protoOf(BinaryDecisionDiagramExplanation).t39 = function (that) {
+    var tmp = getAsInternal(this, that).v37_1;
+    var tmp_0 = Companion_getInstance_13().z38_1;
+    var tmp_1 = Companion_getInstance_13().a39_1;
+    var result = orThenExpansion(this.v37_1, tmp, tmp_0, tmp_1, BinaryDecisionDiagramExplanation$or$lambda(this));
     return new BinaryDecisionDiagramExplanation(result.first, result.second);
   };
   protoOf(BinaryDecisionDiagramExplanation).or = function (that) {
-    return this.q39(that);
+    return this.t39(that);
   };
-  protoOf(BinaryDecisionDiagramExplanation).g39 = function () {
-    var tmp0 = this.v37_1;
+  protoOf(BinaryDecisionDiagramExplanation).j39 = function () {
+    var tmp0 = this.y37_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     getPropertyCallableRef('probability', 1, tmp, BinaryDecisionDiagramExplanation$_get_probability_$ref_gzzr62(), null);
-    return tmp0.e2();
+    return tmp0.f2();
   };
-  protoOf(BinaryDecisionDiagramExplanation).i39 = function () {
-    var tmp0 = this.w37_1;
+  protoOf(BinaryDecisionDiagramExplanation).l39 = function () {
+    var tmp0 = this.z37_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     getPropertyCallableRef('containsAnyNotGroundTerm', 1, tmp, BinaryDecisionDiagramExplanation$_get_containsAnyNotGroundTerm_$ref_82xwv2(), null);
-    return tmp0.e2();
+    return tmp0.f2();
   };
   protoOf(BinaryDecisionDiagramExplanation).toString = function () {
-    return 'bdd:' + hashCode(this.s37_1);
+    return 'bdd:' + hashCode(this.v37_1);
   };
-  protoOf(BinaryDecisionDiagramExplanation).r39 = function (transformation) {
-    return new BinaryDecisionDiagramExplanation(map_0(this.s37_1, BinaryDecisionDiagramExplanation$apply$lambda(transformation)));
+  protoOf(BinaryDecisionDiagramExplanation).u39 = function (transformation) {
+    return new BinaryDecisionDiagramExplanation(map_0(this.v37_1, BinaryDecisionDiagramExplanation$apply$lambda(transformation)));
   };
   protoOf(BinaryDecisionDiagramExplanation).applyTransformation = function (transformation) {
-    return this.r39(transformation);
+    return this.u39(transformation);
   };
   function get_nonWrappableFunctors() {
     _init_properties_ClauseMappingUtils_kt__go80e();
@@ -1914,27 +1914,27 @@
   var nonWrappableFunctors;
   function ClauseMappingUtils() {
     ClauseMappingUtils_instance = this;
-    this.s39_1 = 1n;
-    this.t39_1 = listOf_0([DirectiveClauseMapper_instance, AnnotatedDisjunctionClauseMapper_instance, ProbabilisticClauseMapper_instance, EvidenceClauseMapper_instance, PrologClauseMapper_instance, NothingClauseMapper_instance]);
+    this.v39_1 = 1n;
+    this.w39_1 = listOf_0([DirectiveClauseMapper_instance, AnnotatedDisjunctionClauseMapper_instance, ProbabilisticClauseMapper_instance, EvidenceClauseMapper_instance, PrologClauseMapper_instance, NothingClauseMapper_instance]);
   }
-  protoOf(ClauseMappingUtils).u39 = function () {
-    var _unary__edvuaz = this.s39_1;
-    this.s39_1 = add(_unary__edvuaz, get_ONE());
+  protoOf(ClauseMappingUtils).x39 = function () {
+    var _unary__edvuaz = this.v39_1;
+    this.v39_1 = add(_unary__edvuaz, get_ONE());
     return _unary__edvuaz;
   };
-  protoOf(ClauseMappingUtils).v39 = function (clause) {
+  protoOf(ClauseMappingUtils).y39 = function (clause) {
     var tmp;
     if (get_isMappedAsProblog(clause)) {
       tmp = listOf(clause);
     } else {
-      var tmp0 = this.t39_1;
+      var tmp0 = this.w39_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.j39(clause)) {
+          if (element.m39(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.k39(clause);
+      var this_0 = tmp$ret$0.n39(clause);
       // Inline function 'kotlin.collections.mapTo' call
       var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
       var _iterator__ex2g4s_0 = this_0.n();
@@ -1955,13 +1955,13 @@
     }
     return tmp;
   };
-  protoOf(ClauseMappingUtils).w39 = function (indicator) {
-    var arityTerm = indicator.ey();
+  protoOf(ClauseMappingUtils).z39 = function (indicator) {
+    var arityTerm = indicator.hy();
     var tmp = Companion_instance_4;
-    var tmp_0 = indicator.dy();
+    var tmp_0 = indicator.gy();
     var tmp_1;
     if (isInterface(arityTerm, Numeric)) {
-      tmp_1 = Companion_getInstance_6().ofInteger(arityTerm.fy().toInt() + 1 | 0);
+      tmp_1 = Companion_getInstance_6().ofInteger(arityTerm.iy().toInt() + 1 | 0);
     } else {
       tmp_1 = arityTerm;
     }
@@ -2001,7 +2001,7 @@
     } else {
       var tmp_0;
       if (isInterface(_this__u8e3s4, Struct)) {
-        tmp_0 = Companion_getInstance_1().ofList(_this__u8e3s4.xt(), plus(_this__u8e3s4.yt(), explanation));
+        tmp_0 = Companion_getInstance_1().ofList(_this__u8e3s4.au(), plus(_this__u8e3s4.bu(), explanation));
       } else {
         tmp_0 = Companion_getInstance_1().of(_this__u8e3s4.toString(), [explanation]);
       }
@@ -2024,7 +2024,7 @@
     var tmp;
     if (isInterface(_this__u8e3s4, Struct)) {
       var tmp_0;
-      switch (_this__u8e3s4.xt()) {
+      switch (_this__u8e3s4.au()) {
         case ',':
           var leftVar = Companion_getInstance_0().of('EXPL_A_' + depth);
           var rightVar = Companion_getInstance_0().of('EXPL_B_' + depth);
@@ -2055,11 +2055,11 @@
   }
   function get_isWrappableWithExplanation(_this__u8e3s4) {
     _init_properties_ClauseMappingUtils_kt__go80e();
-    return !get_nonWrappableFunctors().y(safeToStruct(_this__u8e3s4).xt());
+    return !get_nonWrappableFunctors().y(safeToStruct(_this__u8e3s4).au());
   }
   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().u38_1)]));
+    return Companion_instance_0.of(_this__u8e3s4, Companion_getInstance_1().of('=', [explanation, toTerm(Companion_getInstance_11().x38_1)]));
   }
   function wrapInPredicate(_this__u8e3s4, functor, explanation) {
     _init_properties_ClauseMappingUtils_kt__go80e();
@@ -2076,8 +2076,8 @@
     var tmp0 = _this__u8e3s4.toString();
     // Inline function 'kotlin.text.toRegex' call
     // Inline function 'kotlin.text.replace' call
-    var termStr = Regex_init_$Create$('\\s').xa(tmp0, '');
-    var tmp0_elvis_lhs = Regex_init_$Create$('([0-9.]+)(/)([0-9.]+).*').wa(termStr);
+    var termStr = Regex_init_$Create$('\\s').ya(tmp0, '');
+    var tmp0_elvis_lhs = Regex_init_$Create$('([0-9.]+)(/)([0-9.]+).*').xa(termStr);
     var tmp;
     if (tmp0_elvis_lhs == null) {
       throw TuPrologException_init_$Create$('Unsupported probability notation in annotated disjunction: ' + termStr);
@@ -2085,11 +2085,11 @@
       tmp = tmp0_elvis_lhs;
     }
     var regexMatch = tmp;
-    var _destruct__k2r9zo = regexMatch.rb();
+    var _destruct__k2r9zo = regexMatch.sb();
     // Inline function 'kotlin.text.Destructured.component1' call
-    var dividendStr = _destruct__k2r9zo.hh_1.qb().x(1);
+    var dividendStr = _destruct__k2r9zo.kh_1.rb().x(1);
     // Inline function 'kotlin.text.Destructured.component3' call
-    var divisorStr = _destruct__k2r9zo.hh_1.qb().x(3);
+    var divisorStr = _destruct__k2r9zo.kh_1.rb().x(3);
     var dividend = toDoubleOrNull(dividendStr);
     var divisor = toDoubleOrNull(divisorStr);
     if (dividend == null || divisor == null) {
@@ -2101,13 +2101,13 @@
     _init_properties_ClauseMappingUtils_kt__go80e();
     var tmp = Companion_getInstance_5();
     // Inline function 'kotlin.collections.filter' call
-    var tmp0 = plus_0(toSet_0(_this__u8e3s4.dw().zt()), toSet_0(_this__u8e3s4.ew().zt()));
+    var tmp0 = plus_0(toSet_0(_this__u8e3s4.gw().cu()), toSet_0(_this__u8e3s4.hw().cu()));
     // Inline function 'kotlin.collections.filterTo' call
     var destination = ArrayList_init_$Create$_0();
     var _iterator__ex2g4s = tmp0.n();
     while (_iterator__ex2g4s.q()) {
       var element = _iterator__ex2g4s.r();
-      if (element.u12()) {
+      if (element.x12()) {
         destination.l(element);
       }
     }
@@ -2127,18 +2127,18 @@
     var anonVarSubstitution = tmp.ofIterable(destination_0);
     var tmp_0;
     if (isInterface(_this__u8e3s4, Fact)) {
-      tmp_0 = Companion_instance.of(safeToStruct(_this__u8e3s4.dw().applySubstitution(anonVarSubstitution)));
+      tmp_0 = Companion_instance.of(safeToStruct(_this__u8e3s4.gw().applySubstitution(anonVarSubstitution)));
     } else {
-      tmp_0 = Companion_instance_3.of(safeToStruct(_this__u8e3s4.dw().applySubstitution(anonVarSubstitution)), [safeToStruct(_this__u8e3s4.ew().applySubstitution(anonVarSubstitution))]);
+      tmp_0 = Companion_instance_3.of(safeToStruct(_this__u8e3s4.gw().applySubstitution(anonVarSubstitution)), [safeToStruct(_this__u8e3s4.hw().applySubstitution(anonVarSubstitution))]);
     }
     return tmp_0;
   }
   function get_extraVariables(_this__u8e3s4) {
     _init_properties_ClauseMappingUtils_kt__go80e();
     var tmp;
-    if (!_this__u8e3s4.bv()) {
-      var headVars = toSet_0(_this__u8e3s4.dw().zt());
-      var bodyVars = toSet_0(_this__u8e3s4.ew().zt());
+    if (!_this__u8e3s4.ev()) {
+      var headVars = toSet_0(_this__u8e3s4.gw().cu());
+      var bodyVars = toSet_0(_this__u8e3s4.hw().cu());
       tmp = subtract(bodyVars, headVars);
     } else {
       tmp = emptySet();
@@ -2154,17 +2154,17 @@
   }
   function DirectiveClauseMapper() {
   }
-  protoOf(DirectiveClauseMapper).j39 = function (clause) {
-    return clause.gu();
+  protoOf(DirectiveClauseMapper).m39 = function (clause) {
+    return clause.ju();
   };
-  protoOf(DirectiveClauseMapper).k39 = function (clause) {
-    var body = clause.ew();
+  protoOf(DirectiveClauseMapper).n39 = function (clause) {
+    var body = clause.hw();
     if (!isInterface(clause, Directive)) {
       throw new ClauseMappingException('Clause is not an instance of Directive: ' + clause.toString());
     }
     var tmp;
     if (isInterface(body, Struct)) {
-      tmp = body.xt() === 'static' || body.xt() === 'dynamic';
+      tmp = body.au() === 'static' || body.au() === 'dynamic';
     } else {
       tmp = false;
     }
@@ -2173,21 +2173,21 @@
       if (!isInterface(indicatorTerm, Indicator)) {
         throw new ClauseMappingException('Malformed directive: ' + clause.toString());
       }
-      var name = indicatorTerm.dy();
-      var arity = indicatorTerm.ey();
+      var name = indicatorTerm.gy();
+      var arity = indicatorTerm.hy();
       if (!isInterface(arity, Numeric)) {
         throw new ClauseMappingException('Malformed directive: ' + clause.toString());
       }
-      return listOf(Companion_instance_5.of(Companion_getInstance_1().of(body.xt(), [Companion_instance_4.of(name, Companion_getInstance_6().ofInteger(arity.ny().toInt() + 1 | 0))]), []));
+      return listOf(Companion_instance_5.of(Companion_getInstance_1().of(body.au(), [Companion_instance_4.of(name, Companion_getInstance_6().ofInteger(arity.qy().toInt() + 1 | 0))]), []));
     }
     var tmp_0;
     if (isInterface(body, Struct)) {
-      tmp_0 = body.xt() === 'initialization' || body.xt() === 'solve';
+      tmp_0 = body.au() === 'initialization' || body.au() === 'solve';
     } else {
       tmp_0 = false;
     }
     if (tmp_0) {
-      return listOf(Companion_instance_5.of(Companion_getInstance_1().of(body.xt(), [withBodyExplanation(body.get(0), Companion_getInstance_0().anonymous())]), []));
+      return listOf(Companion_instance_5.of(Companion_getInstance_1().of(body.au(), [withBodyExplanation(body.get(0), Companion_getInstance_0().anonymous())]), []));
     }
     return listOf(clause);
   };
@@ -2197,42 +2197,42 @@
   }
   function EvidenceClauseMapper() {
   }
-  protoOf(EvidenceClauseMapper).j39 = function (clause) {
+  protoOf(EvidenceClauseMapper).m39 = function (clause) {
     var tmp;
     if (isInterface(clause, Rule)) {
-      tmp = clause.dw().xt() === 'evidence';
+      tmp = clause.gw().au() === 'evidence';
     } else {
       tmp = false;
     }
     return tmp;
   };
-  protoOf(EvidenceClauseMapper).k39 = function (clause) {
+  protoOf(EvidenceClauseMapper).n39 = function (clause) {
     if (!isInterface(clause, Rule)) {
       throw new ClauseMappingException('Clause is not an instance of Rule: ' + clause.toString());
     }
-    if (clause.dw().rt() > 2) {
-      throw TuPrologException_init_$Create$('Invalid evidence predicate: ' + clause.dw().toString());
+    if (clause.gw().ut() > 2) {
+      throw TuPrologException_init_$Create$('Invalid evidence predicate: ' + clause.gw().toString());
     } else {
       var tmp;
-      if (clause.dw().rt() === 2) {
-        var tmp_0 = clause.dw().get(1);
+      if (clause.gw().ut() === 2) {
+        var tmp_0 = clause.gw().get(1);
         tmp = !isInterface(tmp_0, Truth);
       } else {
         tmp = false;
       }
       if (tmp) {
-        throw TuPrologException_init_$Create$('Invalid evidence predicate: ' + clause.dw().toString());
+        throw TuPrologException_init_$Create$('Invalid evidence predicate: ' + clause.gw().toString());
       }
     }
-    var headTerm = clause.dw();
-    if (headTerm.rt() === 1) {
-      headTerm = Companion_getInstance_1().of(headTerm.xt(), [headTerm.get(0), Companion_getInstance_7().ot_1]);
+    var headTerm = clause.gw();
+    if (headTerm.ut() === 1) {
+      headTerm = Companion_getInstance_1().of(headTerm.au(), [headTerm.get(0), Companion_getInstance_7().rt_1]);
     }
     var tmp_1;
     if (isInterface(clause, Fact)) {
       tmp_1 = Companion_instance.of(headTerm);
     } else {
-      tmp_1 = Companion_instance_3.of(headTerm, [withBodyExplanation(clause.ew(), Companion_getInstance_0().anonymous())]);
+      tmp_1 = Companion_instance_3.of(headTerm, [withBodyExplanation(clause.hw(), Companion_getInstance_0().anonymous())]);
     }
     return listOf(tmp_1);
   };
@@ -2241,7 +2241,7 @@
     return EvidenceClauseMapper_instance;
   }
   function MappedMutableProblogTheory(clauses, unificator, theory) {
-    unificator = unificator === VOID ? Companion_getInstance_8().k1k() : unificator;
+    unificator = unificator === VOID ? Companion_getInstance_8().n1k() : 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().v39(element);
+          var list = ClauseMappingUtils_getInstance().y39(element);
           addAll(destination, list);
         }
         tmp_1 = destination;
@@ -2266,102 +2266,102 @@
       tmp = theory;
     }
     theory = tmp;
-    this.x39_1 = theory;
+    this.a3a_1 = theory;
   }
-  protoOf(MappedMutableProblogTheory).h1s = function () {
+  protoOf(MappedMutableProblogTheory).k1s = function () {
     return false;
   };
-  protoOf(MappedMutableProblogTheory).u1s = function () {
-    return Companion_instance_8.ofIterable(this.r1k(), this);
+  protoOf(MappedMutableProblogTheory).x1s = function () {
+    return Companion_instance_8.ofIterable(this.u1k(), this);
   };
   protoOf(MappedMutableProblogTheory).toMutableTheory = function () {
-    return this.u1s();
+    return this.x1s();
   };
-  protoOf(MappedMutableProblogTheory).h1r = function () {
+  protoOf(MappedMutableProblogTheory).k1r = function () {
     return this;
   };
   protoOf(MappedMutableProblogTheory).toImmutableTheory = function () {
-    return this.h1r();
+    return this.k1r();
   };
-  protoOf(MappedMutableProblogTheory).y39 = function (theory) {
-    return new MappedMutableProblogTheory(null, this.r1k(), this.x39_1.u1r(theory));
+  protoOf(MappedMutableProblogTheory).b3a = function (theory) {
+    return new MappedMutableProblogTheory(null, this.u1k(), this.a3a_1.x1r(theory));
   };
-  protoOf(MappedMutableProblogTheory).u1r = function (theory) {
+  protoOf(MappedMutableProblogTheory).x1r = function (theory) {
     var tmp;
     if (isInterface(theory, ProblogTheory)) {
-      tmp = this.y39(theory);
+      tmp = this.b3a(theory);
     } else {
-      tmp = this.y39(new MappedMutableProblogTheory(theory, this.r1k()));
+      tmp = this.b3a(new MappedMutableProblogTheory(theory, this.u1k()));
     }
     return tmp;
   };
   protoOf(MappedMutableProblogTheory).plusTheory = function (theory) {
-    return this.u1r(theory);
+    return this.x1r(theory);
   };
-  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).l1r = function (clause) {
+    var mapped = ClauseMappingUtils_getInstance().y39(clause);
+    return new MappedMutableProblogTheory(null, this.u1k(), this.a3a_1.x1r(Companion_instance_7.indexedOfIterable(this.u1k(), mapped)));
   };
   protoOf(MappedMutableProblogTheory).plus = function (clause) {
-    return this.i1r(clause);
+    return this.l1r(clause);
   };
-  protoOf(MappedMutableProblogTheory).y1r = 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().v39(element);
+      var list = ClauseMappingUtils_getInstance().y39(element);
       addAll(destination, list);
     }
     var mapped = destination;
-    return new MappedMutableProblogTheory(null, this.r1k(), this.x39_1.y1r(mapped));
+    return new MappedMutableProblogTheory(null, this.u1k(), this.a3a_1.b1s(mapped));
   };
   protoOf(MappedMutableProblogTheory).assertAIterable = function (clauses) {
-    return this.y1r(clauses);
+    return this.b1s(clauses);
   };
-  protoOf(MappedMutableProblogTheory).b1s = function (clauses) {
+  protoOf(MappedMutableProblogTheory).e1s = 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().v39(element);
+      var list = ClauseMappingUtils_getInstance().y39(element);
       addAll(destination, list);
     }
     var mapped = destination;
-    return new MappedMutableProblogTheory(null, this.r1k(), this.x39_1.b1s(mapped));
+    return new MappedMutableProblogTheory(null, this.u1k(), this.a3a_1.e1s(mapped));
   };
   protoOf(MappedMutableProblogTheory).assertZIterable = function (clauses) {
-    return this.b1s(clauses);
+    return this.e1s(clauses);
   };
-  protoOf(MappedMutableProblogTheory).f1s = function (clauses) {
+  protoOf(MappedMutableProblogTheory).i1s = 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().v39(element);
+      var list = ClauseMappingUtils_getInstance().y39(element);
       addAll(destination, list);
     }
     var mapped = destination;
-    var result = this.x39_1.f1s(mapped);
+    var result = this.a3a_1.i1s(mapped);
     var tmp;
     if (result instanceof Success) {
-      tmp = new Success(new MappedMutableProblogTheory(null, this.r1k(), result.a1t_1), result.b1t_1);
+      tmp = new Success(new MappedMutableProblogTheory(null, this.u1k(), result.d1t_1), result.e1t_1);
     } else {
-      tmp = new Failure(new MappedMutableProblogTheory(null, this.r1k(), result.o1r()));
+      tmp = new Failure(new MappedMutableProblogTheory(null, this.u1k(), result.r1r()));
     }
     return tmp;
   };
   protoOf(MappedMutableProblogTheory).retractIterable = function (clauses) {
-    return this.f1s(clauses);
+    return this.i1s(clauses);
   };
-  protoOf(MappedMutableProblogTheory).j1l = function (clause) {
-    var mappedClauses = ClauseMappingUtils_getInstance().v39(clause);
+  protoOf(MappedMutableProblogTheory).m1l = function (clause) {
+    var mappedClauses = ClauseMappingUtils_getInstance().y39(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.x39_1.j1l(c);
+        result = this.a3a_1.m1l(c);
       }
     }
     var tmp0_subject = result;
     var tmp_0;
     if (tmp0_subject instanceof Success) {
-      tmp_0 = new Success(new MappedMutableProblogTheory(null, this.r1k(), result.a1t_1), result.b1t_1);
+      tmp_0 = new Success(new MappedMutableProblogTheory(null, this.u1k(), result.d1t_1), result.e1t_1);
     } else {
       if (tmp0_subject instanceof Failure) {
-        tmp_0 = new Failure(new MappedMutableProblogTheory(null, this.r1k(), result.c1t_1));
+        tmp_0 = new Failure(new MappedMutableProblogTheory(null, this.u1k(), result.f1t_1));
       } else {
         tmp_0 = new Failure(this);
       }
@@ -2390,145 +2390,145 @@
     return tmp_0;
   };
   protoOf(MappedMutableProblogTheory).retractAll = function (clause) {
-    return this.j1l(clause);
+    return this.m1l(clause);
   };
-  protoOf(MappedMutableProblogTheory).n1r = function (indicator) {
-    return new MappedMutableProblogTheory(null, this.r1k(), this.x39_1.n1r(ClauseMappingUtils_getInstance().w39(indicator)));
+  protoOf(MappedMutableProblogTheory).q1r = function (indicator) {
+    return new MappedMutableProblogTheory(null, this.u1k(), this.a3a_1.q1r(ClauseMappingUtils_getInstance().z39(indicator)));
   };
   protoOf(MappedMutableProblogTheory).abolish = function (indicator) {
-    return this.n1r(indicator);
+    return this.q1r(indicator);
   };
-  protoOf(MappedMutableProblogTheory).v1s = function (struct) {
-    return this.w1r(Companion_instance.of(struct));
+  protoOf(MappedMutableProblogTheory).y1s = function (struct) {
+    return this.z1r(Companion_instance.of(struct));
   };
   protoOf(MappedMutableProblogTheory).assertAFact = function (struct) {
-    return this.v1s(struct);
+    return this.y1s(struct);
   };
-  protoOf(MappedMutableProblogTheory).w1s = function (struct) {
-    return this.a1s(Companion_instance.of(struct));
+  protoOf(MappedMutableProblogTheory).z1s = function (struct) {
+    return this.d1s(Companion_instance.of(struct));
   };
   protoOf(MappedMutableProblogTheory).assertZFact = function (struct) {
-    return this.w1s(struct);
+    return this.z1s(struct);
   };
-  protoOf(MappedMutableProblogTheory).w1r = function (clause) {
-    return this.y1r(listOf(clause));
+  protoOf(MappedMutableProblogTheory).z1r = function (clause) {
+    return this.b1s(listOf(clause));
   };
   protoOf(MappedMutableProblogTheory).assertA = function (clause) {
-    return this.w1r(clause);
+    return this.z1r(clause);
   };
-  protoOf(MappedMutableProblogTheory).z1r = function (clauses) {
-    return this.y1r(asIterable_0(clauses));
+  protoOf(MappedMutableProblogTheory).c1s = function (clauses) {
+    return this.b1s(asIterable_0(clauses));
   };
   protoOf(MappedMutableProblogTheory).assertASequence = function (clauses) {
-    return this.z1r(clauses);
+    return this.c1s(clauses);
   };
-  protoOf(MappedMutableProblogTheory).a1s = function (clause) {
-    return this.b1s(listOf(clause));
+  protoOf(MappedMutableProblogTheory).d1s = function (clause) {
+    return this.e1s(listOf(clause));
   };
   protoOf(MappedMutableProblogTheory).assertZ = function (clause) {
-    return this.a1s(clause);
+    return this.d1s(clause);
   };
-  protoOf(MappedMutableProblogTheory).c1s = function (clauses) {
-    return this.b1s(asIterable_0(clauses));
+  protoOf(MappedMutableProblogTheory).f1s = function (clauses) {
+    return this.e1s(asIterable_0(clauses));
   };
   protoOf(MappedMutableProblogTheory).assertZSequence = function (clauses) {
-    return this.c1s(clauses);
+    return this.f1s(clauses);
   };
-  protoOf(MappedMutableProblogTheory).y1s = function (head) {
-    return this.x1s(Companion_instance_3.of(head, [Companion_getInstance_0().anonymous()]));
+  protoOf(MappedMutableProblogTheory).b1t = function (head) {
+    return this.a1t(Companion_instance_3.of(head, [Companion_getInstance_0().anonymous()]));
   };
   protoOf(MappedMutableProblogTheory).retractByHead = function (head) {
-    return this.y1s(head);
+    return this.b1t(head);
   };
-  protoOf(MappedMutableProblogTheory).x1s = function (clause) {
-    return this.f1s(listOf(clause));
+  protoOf(MappedMutableProblogTheory).a1t = function (clause) {
+    return this.i1s(listOf(clause));
   };
   protoOf(MappedMutableProblogTheory).retract = function (clause) {
-    return this.x1s(clause);
+    return this.a1t(clause);
   };
-  protoOf(MappedMutableProblogTheory).e1s = function (clauses) {
-    return this.f1s(asIterable_0(clauses));
+  protoOf(MappedMutableProblogTheory).h1s = function (clauses) {
+    return this.i1s(asIterable_0(clauses));
   };
   protoOf(MappedMutableProblogTheory).retractSequence = function (clauses) {
-    return this.e1s(clauses);
+    return this.h1s(clauses);
   };
-  protoOf(MappedMutableProblogTheory).z1s = function (head) {
-    return this.j1l(Companion_instance_3.of(head, [Companion_getInstance_0().anonymous()]));
+  protoOf(MappedMutableProblogTheory).c1t = function (head) {
+    return this.m1l(Companion_instance_3.of(head, [Companion_getInstance_0().anonymous()]));
   };
   protoOf(MappedMutableProblogTheory).retractAllByHead = function (head) {
-    return this.z1s(head);
+    return this.c1t(head);
   };
-  protoOf(MappedMutableProblogTheory).s1r = function (unificator) {
-    return this.x39_1.s1r(unificator);
+  protoOf(MappedMutableProblogTheory).v1r = function (unificator) {
+    return this.a3a_1.v1r(unificator);
   };
   protoOf(MappedMutableProblogTheory).setUnificator = function (unificator) {
-    return this.s1r(unificator);
+    return this.v1r(unificator);
   };
-  protoOf(MappedMutableProblogTheory).b10 = function (tags) {
-    return this.x39_1.b10(tags);
+  protoOf(MappedMutableProblogTheory).e10 = function (tags) {
+    return this.a3a_1.e10(tags);
   };
   protoOf(MappedMutableProblogTheory).resetTags = function (tags) {
-    return this.b10(tags);
+    return this.e10(tags);
   };
-  protoOf(MappedMutableProblogTheory).g1s = function () {
-    return this.x39_1.g1s();
+  protoOf(MappedMutableProblogTheory).j1s = function () {
+    return this.a3a_1.j1s();
   };
   protoOf(MappedMutableProblogTheory).clone = function () {
-    return this.g1s();
+    return this.j1s();
   };
   protoOf(MappedMutableProblogTheory).contains = function (clause) {
-    return this.x39_1.contains(clause);
+    return this.a3a_1.contains(clause);
   };
   protoOf(MappedMutableProblogTheory).containsHead = function (head) {
-    return this.x39_1.containsHead(head);
+    return this.a3a_1.containsHead(head);
   };
   protoOf(MappedMutableProblogTheory).containsIndicator = function (indicator) {
-    return this.x39_1.containsIndicator(indicator);
+    return this.a3a_1.containsIndicator(indicator);
   };
   protoOf(MappedMutableProblogTheory).get = function (clause) {
-    return this.x39_1.get(clause);
+    return this.a3a_1.get(clause);
   };
   protoOf(MappedMutableProblogTheory).getByHead = function (head) {
-    return this.x39_1.getByHead(head);
+    return this.a3a_1.getByHead(head);
   };
   protoOf(MappedMutableProblogTheory).getByIndicator = function (indicator) {
-    return this.x39_1.getByIndicator(indicator);
+    return this.a3a_1.getByIndicator(indicator);
   };
   protoOf(MappedMutableProblogTheory).toStringAsProlog = function (asPrologText) {
-    return this.x39_1.toStringAsProlog(asPrologText);
+    return this.a3a_1.toStringAsProlog(asPrologText);
   };
   protoOf(MappedMutableProblogTheory).equalsUsingVarCompleteNames = function (other, useVarCompleteName) {
-    return this.x39_1.equalsUsingVarCompleteNames(other, useVarCompleteName);
+    return this.a3a_1.equalsUsingVarCompleteNames(other, useVarCompleteName);
   };
-  protoOf(MappedMutableProblogTheory).b1l = function () {
-    return this.x39_1.b1l();
+  protoOf(MappedMutableProblogTheory).e1l = function () {
+    return this.a3a_1.e1l();
   };
-  protoOf(MappedMutableProblogTheory).u1k = function () {
-    return this.x39_1.u1k();
+  protoOf(MappedMutableProblogTheory).x1k = function () {
+    return this.a3a_1.x1k();
   };
-  protoOf(MappedMutableProblogTheory).w1k = function () {
-    return this.x39_1.w1k();
+  protoOf(MappedMutableProblogTheory).z1k = function () {
+    return this.a3a_1.z1k();
   };
-  protoOf(MappedMutableProblogTheory).r1r = function () {
-    return this.x39_1.r1r();
+  protoOf(MappedMutableProblogTheory).u1r = function () {
+    return this.a3a_1.u1r();
   };
   protoOf(MappedMutableProblogTheory).n = function () {
-    return this.x39_1.n();
+    return this.a3a_1.n();
   };
   protoOf(MappedMutableProblogTheory).getTag = function (name) {
-    return this.x39_1.getTag(name);
+    return this.a3a_1.getTag(name);
   };
   protoOf(MappedMutableProblogTheory).containsTag = function (name) {
-    return this.x39_1.containsTag(name);
+    return this.a3a_1.containsTag(name);
   };
-  protoOf(MappedMutableProblogTheory).lr = function () {
-    return this.x39_1.lr();
+  protoOf(MappedMutableProblogTheory).pr = function () {
+    return this.a3a_1.pr();
   };
-  protoOf(MappedMutableProblogTheory).r1k = function () {
-    return this.x39_1.r1k();
+  protoOf(MappedMutableProblogTheory).u1k = function () {
+    return this.a3a_1.u1k();
   };
   function MappedProblogTheory(clauses, unificator, theory) {
-    unificator = unificator === VOID ? Companion_getInstance_8().k1k() : unificator;
+    unificator = unificator === VOID ? Companion_getInstance_8().n1k() : 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().v39(element);
+          var list = ClauseMappingUtils_getInstance().y39(element);
           addAll(destination, list);
         }
         tmp_1 = destination;
@@ -2553,102 +2553,102 @@
       tmp = theory;
     }
     theory = tmp;
-    this.z39_1 = theory;
+    this.c3a_1 = theory;
   }
-  protoOf(MappedProblogTheory).h1s = function () {
+  protoOf(MappedProblogTheory).k1s = function () {
     return false;
   };
-  protoOf(MappedProblogTheory).u1s = function () {
-    return Companion_instance_8.ofIterable(this.r1k(), this);
+  protoOf(MappedProblogTheory).x1s = function () {
+    return Companion_instance_8.ofIterable(this.u1k(), this);
   };
   protoOf(MappedProblogTheory).toMutableTheory = function () {
-    return this.u1s();
+    return this.x1s();
   };
-  protoOf(MappedProblogTheory).h1r = function () {
+  protoOf(MappedProblogTheory).k1r = function () {
     return this;
   };
   protoOf(MappedProblogTheory).toImmutableTheory = function () {
-    return this.h1r();
+    return this.k1r();
   };
-  protoOf(MappedProblogTheory).y39 = function (theory) {
-    return new MappedProblogTheory(null, this.r1k(), this.z39_1.plusTheory(theory));
+  protoOf(MappedProblogTheory).b3a = function (theory) {
+    return new MappedProblogTheory(null, this.u1k(), this.c3a_1.plusTheory(theory));
   };
-  protoOf(MappedProblogTheory).u1r = function (theory) {
+  protoOf(MappedProblogTheory).x1r = function (theory) {
     var tmp;
     if (isInterface(theory, ProblogTheory)) {
-      tmp = this.y39(theory);
+      tmp = this.b3a(theory);
     } else {
-      tmp = this.y39(new MappedProblogTheory(theory, this.r1k()));
+      tmp = this.b3a(new MappedProblogTheory(theory, this.u1k()));
     }
     return tmp;
   };
   protoOf(MappedProblogTheory).plusTheory = function (theory) {
-    return this.u1r(theory);
+    return this.x1r(theory);
   };
-  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).l1r = function (clause) {
+    var mapped = ClauseMappingUtils_getInstance().y39(clause);
+    return new MappedProblogTheory(null, this.u1k(), this.c3a_1.plusTheory(Companion_instance_7.indexedOfIterable(this.u1k(), mapped)));
   };
   protoOf(MappedProblogTheory).plus = function (clause) {
-    return this.i1r(clause);
+    return this.l1r(clause);
   };
-  protoOf(MappedProblogTheory).y1r = 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().v39(element);
+      var list = ClauseMappingUtils_getInstance().y39(element);
       addAll(destination, list);
     }
     var mapped = destination;
-    return new MappedProblogTheory(null, this.r1k(), this.z39_1.assertAIterable(mapped));
+    return new MappedProblogTheory(null, this.u1k(), this.c3a_1.assertAIterable(mapped));
   };
   protoOf(MappedProblogTheory).assertAIterable = function (clauses) {
-    return this.y1r(clauses);
+    return this.b1s(clauses);
   };
-  protoOf(MappedProblogTheory).b1s = function (clauses) {
+  protoOf(MappedProblogTheory).e1s = 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().v39(element);
+      var list = ClauseMappingUtils_getInstance().y39(element);
       addAll(destination, list);
     }
     var mapped = destination;
-    return new MappedProblogTheory(null, this.r1k(), this.z39_1.assertZIterable(mapped));
+    return new MappedProblogTheory(null, this.u1k(), this.c3a_1.assertZIterable(mapped));
   };
   protoOf(MappedProblogTheory).assertZIterable = function (clauses) {
-    return this.b1s(clauses);
+    return this.e1s(clauses);
   };
-  protoOf(MappedProblogTheory).f1s = function (clauses) {
+  protoOf(MappedProblogTheory).i1s = 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().v39(element);
+      var list = ClauseMappingUtils_getInstance().y39(element);
       addAll(destination, list);
     }
     var mapped = destination;
-    var result = this.z39_1.retractIterable(mapped);
+    var result = this.c3a_1.retractIterable(mapped);
     var tmp;
     if (result instanceof Success) {
-      tmp = new Success(new MappedProblogTheory(null, this.r1k(), result.a1t_1), result.b1t_1);
+      tmp = new Success(new MappedProblogTheory(null, this.u1k(), result.d1t_1), result.e1t_1);
     } else {
-      tmp = new Failure(new MappedProblogTheory(null, this.r1k(), result.o1r()));
+      tmp = new Failure(new MappedProblogTheory(null, this.u1k(), result.r1r()));
     }
     return tmp;
   };
   protoOf(MappedProblogTheory).retractIterable = function (clauses) {
-    return this.f1s(clauses);
+    return this.i1s(clauses);
   };
-  protoOf(MappedProblogTheory).j1l = function (clause) {
-    var mappedClauses = ClauseMappingUtils_getInstance().v39(clause);
+  protoOf(MappedProblogTheory).m1l = function (clause) {
+    var mappedClauses = ClauseMappingUtils_getInstance().y39(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.z39_1.retractAll(c);
+        result = this.c3a_1.retractAll(c);
       }
     }
     var tmp_0;
     if (result instanceof Success) {
-      tmp_0 = new Success(new MappedProblogTheory(null, this.r1k(), result.a1t_1), result.b1t_1);
+      tmp_0 = new Success(new MappedProblogTheory(null, this.u1k(), result.d1t_1), result.e1t_1);
     } else {
       tmp_0 = new Failure(this);
     }
     return tmp_0;
   };
   protoOf(MappedProblogTheory).retractAll = function (clause) {
-    return this.j1l(clause);
+    return this.m1l(clause);
   };
-  protoOf(MappedProblogTheory).n1r = function (indicator) {
-    return new MappedProblogTheory(null, this.r1k(), this.z39_1.abolish(ClauseMappingUtils_getInstance().w39(indicator)));
+  protoOf(MappedProblogTheory).q1r = function (indicator) {
+    return new MappedProblogTheory(null, this.u1k(), this.c3a_1.abolish(ClauseMappingUtils_getInstance().z39(indicator)));
   };
   protoOf(MappedProblogTheory).abolish = function (indicator) {
-    return this.n1r(indicator);
+    return this.q1r(indicator);
   };
-  protoOf(MappedProblogTheory).v1s = function (struct) {
-    return this.w1r(Companion_instance.of(struct));
+  protoOf(MappedProblogTheory).y1s = function (struct) {
+    return this.z1r(Companion_instance.of(struct));
   };
   protoOf(MappedProblogTheory).assertAFact = function (struct) {
-    return this.v1s(struct);
+    return this.y1s(struct);
   };
-  protoOf(MappedProblogTheory).w1s = function (struct) {
-    return this.a1s(Companion_instance.of(struct));
+  protoOf(MappedProblogTheory).z1s = function (struct) {
+    return this.d1s(Companion_instance.of(struct));
   };
   protoOf(MappedProblogTheory).assertZFact = function (struct) {
-    return this.w1s(struct);
+    return this.z1s(struct);
   };
-  protoOf(MappedProblogTheory).w1r = function (clause) {
-    return this.y1r(listOf(clause));
+  protoOf(MappedProblogTheory).z1r = function (clause) {
+    return this.b1s(listOf(clause));
   };
   protoOf(MappedProblogTheory).assertA = function (clause) {
-    return this.w1r(clause);
+    return this.z1r(clause);
   };
-  protoOf(MappedProblogTheory).z1r = function (clauses) {
-    return this.y1r(asIterable_0(clauses));
+  protoOf(MappedProblogTheory).c1s = function (clauses) {
+    return this.b1s(asIterable_0(clauses));
   };
   protoOf(MappedProblogTheory).assertASequence = function (clauses) {
-    return this.z1r(clauses);
+    return this.c1s(clauses);
   };
-  protoOf(MappedProblogTheory).a1s = function (clause) {
-    return this.b1s(listOf(clause));
+  protoOf(MappedProblogTheory).d1s = function (clause) {
+    return this.e1s(listOf(clause));
   };
   protoOf(MappedProblogTheory).assertZ = function (clause) {
-    return this.a1s(clause);
+    return this.d1s(clause);
   };
-  protoOf(MappedProblogTheory).c1s = function (clauses) {
-    return this.b1s(asIterable_0(clauses));
+  protoOf(MappedProblogTheory).f1s = function (clauses) {
+    return this.e1s(asIterable_0(clauses));
   };
   protoOf(MappedProblogTheory).assertZSequence = function (clauses) {
-    return this.c1s(clauses);
+    return this.f1s(clauses);
   };
-  protoOf(MappedProblogTheory).y1s = function (head) {
-    return this.x1s(Companion_instance_3.of(head, [Companion_getInstance_0().anonymous()]));
+  protoOf(MappedProblogTheory).b1t = function (head) {
+    return this.a1t(Companion_instance_3.of(head, [Companion_getInstance_0().anonymous()]));
   };
   protoOf(MappedProblogTheory).retractByHead = function (head) {
-    return this.y1s(head);
+    return this.b1t(head);
   };
-  protoOf(MappedProblogTheory).x1s = function (clause) {
-    return this.f1s(listOf(clause));
+  protoOf(MappedProblogTheory).a1t = function (clause) {
+    return this.i1s(listOf(clause));
   };
   protoOf(MappedProblogTheory).retract = function (clause) {
-    return this.x1s(clause);
+    return this.a1t(clause);
   };
-  protoOf(MappedProblogTheory).e1s = function (clauses) {
-    return this.f1s(asIterable_0(clauses));
+  protoOf(MappedProblogTheory).h1s = function (clauses) {
+    return this.i1s(asIterable_0(clauses));
   };
   protoOf(MappedProblogTheory).retractSequence = function (clauses) {
-    return this.e1s(clauses);
+    return this.h1s(clauses);
   };
-  protoOf(MappedProblogTheory).z1s = function (head) {
-    return this.j1l(Companion_instance_3.of(head, [Companion_getInstance_0().anonymous()]));
+  protoOf(MappedProblogTheory).c1t = function (head) {
+    return this.m1l(Companion_instance_3.of(head, [Companion_getInstance_0().anonymous()]));
   };
   protoOf(MappedProblogTheory).retractAllByHead = function (head) {
-    return this.z1s(head);
+    return this.c1t(head);
   };
   protoOf(MappedProblogTheory).setUnificator = function (unificator) {
-    return this.z39_1.setUnificator(unificator);
+    return this.c3a_1.setUnificator(unificator);
   };
   protoOf(MappedProblogTheory).contains = function (clause) {
-    return this.z39_1.contains(clause);
+    return this.c3a_1.contains(clause);
   };
   protoOf(MappedProblogTheory).containsHead = function (head) {
-    return this.z39_1.containsHead(head);
+    return this.c3a_1.containsHead(head);
   };
   protoOf(MappedProblogTheory).containsIndicator = function (indicator) {
-    return this.z39_1.containsIndicator(indicator);
+    return this.c3a_1.containsIndicator(indicator);
   };
   protoOf(MappedProblogTheory).get = function (clause) {
-    return this.z39_1.get(clause);
+    return this.c3a_1.get(clause);
   };
   protoOf(MappedProblogTheory).getByHead = function (head) {
-    return this.z39_1.getByHead(head);
+    return this.c3a_1.getByHead(head);
   };
   protoOf(MappedProblogTheory).getByIndicator = function (indicator) {
-    return this.z39_1.getByIndicator(indicator);
+    return this.c3a_1.getByIndicator(indicator);
   };
   protoOf(MappedProblogTheory).toStringAsProlog = function (asPrologText) {
-    return this.z39_1.toStringAsProlog(asPrologText);
+    return this.c3a_1.toStringAsProlog(asPrologText);
   };
   protoOf(MappedProblogTheory).equalsUsingVarCompleteNames = function (other, useVarCompleteName) {
-    return this.z39_1.equalsUsingVarCompleteNames(other, useVarCompleteName);
+    return this.c3a_1.equalsUsingVarCompleteNames(other, useVarCompleteName);
   };
   protoOf(MappedProblogTheory).clone = function () {
-    return this.z39_1.clone();
+    return this.c3a_1.clone();
   };
-  protoOf(MappedProblogTheory).b1l = function () {
-    return this.z39_1.b1l();
+  protoOf(MappedProblogTheory).e1l = function () {
+    return this.c3a_1.e1l();
   };
-  protoOf(MappedProblogTheory).u1k = function () {
-    return this.z39_1.u1k();
+  protoOf(MappedProblogTheory).x1k = function () {
+    return this.c3a_1.x1k();
   };
-  protoOf(MappedProblogTheory).w1k = function () {
-    return this.z39_1.w1k();
+  protoOf(MappedProblogTheory).z1k = function () {
+    return this.c3a_1.z1k();
   };
-  protoOf(MappedProblogTheory).r1r = function () {
-    return this.z39_1.r1r();
+  protoOf(MappedProblogTheory).u1r = function () {
+    return this.c3a_1.u1r();
   };
   protoOf(MappedProblogTheory).n = function () {
-    return this.z39_1.n();
+    return this.c3a_1.n();
   };
   protoOf(MappedProblogTheory).getTag = function (name) {
-    return this.z39_1.getTag(name);
+    return this.c3a_1.getTag(name);
   };
   protoOf(MappedProblogTheory).resetTags = function (tags) {
-    return this.z39_1.resetTags(tags);
+    return this.c3a_1.resetTags(tags);
   };
   protoOf(MappedProblogTheory).containsTag = function (name) {
-    return this.z39_1.containsTag(name);
+    return this.c3a_1.containsTag(name);
   };
-  protoOf(MappedProblogTheory).lr = function () {
-    return this.z39_1.lr();
+  protoOf(MappedProblogTheory).pr = function () {
+    return this.c3a_1.pr();
   };
-  protoOf(MappedProblogTheory).r1k = function () {
-    return this.z39_1.r1k();
+  protoOf(MappedProblogTheory).u1k = function () {
+    return this.c3a_1.u1k();
   };
   function NothingClauseMapper() {
   }
-  protoOf(NothingClauseMapper).j39 = function (clause) {
+  protoOf(NothingClauseMapper).m39 = function (clause) {
     return true;
   };
-  protoOf(NothingClauseMapper).k39 = function (clause) {
+  protoOf(NothingClauseMapper).n39 = function (clause) {
     return listOf(clause);
   };
   var NothingClauseMapper_instance;
@@ -2814,63 +2814,63 @@
   }
   function ProbabilisticClauseMapper() {
   }
-  protoOf(ProbabilisticClauseMapper).j39 = function (clause) {
+  protoOf(ProbabilisticClauseMapper).m39 = function (clause) {
     var tmp;
     if (isInterface(clause, Rule)) {
-      tmp = clause.dw().xt() === '::';
+      tmp = clause.gw().au() === '::';
     } else {
       tmp = false;
     }
     return tmp;
   };
-  protoOf(ProbabilisticClauseMapper).k39 = function (clause) {
+  protoOf(ProbabilisticClauseMapper).n39 = function (clause) {
     if (!isInterface(clause, Rule)) {
       throw new ClauseMappingException('Clause is not an instance of Rule: ' + clause.toString());
     }
-    var mapped = this.l39(clause);
-    return listOf(this.m39(mapped.first, Companion_getInstance_11().y38(mapped.second)));
+    var mapped = this.o39(clause);
+    return listOf(this.p39(mapped.first, Companion_getInstance_11().b39(mapped.second)));
   };
-  protoOf(ProbabilisticClauseMapper).l39 = function (rule) {
-    if (!(rule.dw().rt() === 2)) {
-      throw TuPrologException_init_$Create$('Invalid probabilistic rule: ' + rule.dw().toString());
+  protoOf(ProbabilisticClauseMapper).o39 = function (rule) {
+    if (!(rule.gw().ut() === 2)) {
+      throw TuPrologException_init_$Create$('Invalid probabilistic rule: ' + rule.gw().toString());
     }
-    var probTerm = rule.dw().get(0);
+    var probTerm = rule.gw().get(0);
     var tmp;
     if (isInterface(probTerm, Numeric)) {
-      tmp = probTerm.ny().toDouble();
+      tmp = probTerm.qy().toDouble();
     } else {
       tmp = solveArithmeticExpression(probTerm);
     }
     var probability = tmp;
-    var headTerm = safeToStruct(rule.dw().get(1));
-    if (headTerm.xt() === 'evidence') {
-      throw TuPrologException_init_$Create$("Probability notation can't be expressed on evidence: " + rule.dw().toString());
+    var headTerm = safeToStruct(rule.gw().get(1));
+    if (headTerm.au() === 'evidence') {
+      throw TuPrologException_init_$Create$("Probability notation can't be expressed on evidence: " + rule.gw().toString());
     }
-    var bodyTerm = rule.ew();
-    var tmp_0 = rule.ew();
+    var bodyTerm = rule.hw();
+    var tmp_0 = rule.hw();
     if (isInterface(tmp_0, Truth)) {
-      if (!rule.ew().vt() && probability < 1.0) {
+      if (!rule.hw().yt() && probability < 1.0) {
         probability = 1.0 - probability;
         bodyTerm = Companion_getInstance_7().of(true);
       }
     }
     var anonVariablesFix = withoutAnonymousVars(Companion_instance_3.of(headTerm, [bodyTerm]));
-    headTerm = anonVariablesFix.dw();
-    bodyTerm = anonVariablesFix.ew();
+    headTerm = anonVariablesFix.gw();
+    bodyTerm = anonVariablesFix.hw();
     var extraVariables = get_extraVariables(Companion_instance_3.of(headTerm, [bodyTerm]));
-    var probTerm_0 = new ProbTerm(ClauseMappingUtils_getInstance().u39(), probability, headTerm, extraVariables);
+    var probTerm_0 = new ProbTerm(ClauseMappingUtils_getInstance().x39(), probability, headTerm, extraVariables);
     return new Pair(Companion_instance_3.of(headTerm, [bodyTerm]), probTerm_0);
   };
-  protoOf(ProbabilisticClauseMapper).m39 = function (rule, explanation) {
-    var tmp = rule.ew();
+  protoOf(ProbabilisticClauseMapper).p39 = function (rule, explanation) {
+    var tmp = rule.hw();
     if (isInterface(tmp, Truth)) {
-      return Companion_instance_3.of(withExplanation(rule.dw(), toTerm(explanation)), [rule.ew()]);
+      return Companion_instance_3.of(withExplanation(rule.gw(), toTerm(explanation)), [rule.hw()]);
     }
     var explanationVar = Companion_getInstance_0().of('EXPL_Res');
     var explanationBodyVar = Companion_getInstance_0().of('EXPL_Body');
-    var newBody = withBodyExplanation(rule.ew(), explanationBodyVar);
+    var newBody = withBodyExplanation(rule.hw(), explanationBodyVar);
     var tmp_0 = Companion_instance_3;
-    var tmp_1 = withExplanation(rule.dw(), explanationVar);
+    var tmp_1 = withExplanation(rule.gw(), explanationVar);
     var tmp_2 = Companion_getInstance_1();
     var tmp_3 = Companion_getInstance_1();
     // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
@@ -2883,36 +2883,36 @@
   }
   function PrologClauseMapper() {
   }
-  protoOf(PrologClauseMapper).j39 = function (clause) {
+  protoOf(PrologClauseMapper).m39 = function (clause) {
     return isInterface(clause, Rule);
   };
-  protoOf(PrologClauseMapper).k39 = function (clause) {
+  protoOf(PrologClauseMapper).n39 = function (clause) {
     if (!isInterface(clause, Rule)) {
       throw new ClauseMappingException('Clause is not an instance of Rule: ' + clause.toString());
     }
-    var tmp = clause.ew();
+    var tmp = clause.hw();
     if (isInterface(tmp, Truth)) {
-      return listOf(Companion_instance_3.of(withExplanation(clause.dw(), toTerm(Companion_getInstance_11().u38_1)), [clause.ew()]));
+      return listOf(Companion_instance_3.of(withExplanation(clause.gw(), toTerm(Companion_getInstance_11().x38_1)), [clause.hw()]));
     }
     var explanationVar = Companion_getInstance_0().of('EXPL_Res');
-    return listOf(Companion_instance_3.of(withExplanation(clause.dw(), explanationVar), [withBodyExplanation(clause.ew(), explanationVar)]));
+    return listOf(Companion_instance_3.of(withExplanation(clause.gw(), explanationVar), [withBodyExplanation(clause.hw(), explanationVar)]));
   };
   var PrologClauseMapper_instance;
   function PrologClauseMapper_getInstance() {
     return PrologClauseMapper_instance;
   }
   function _get_prob__dc6m52($this, $receiver) {
-    return $receiver.r37_1.g39();
+    return $receiver.u37_1.j39();
   }
   function ProbExplAnd() {
     ProbExplAnd_instance = this;
     NonBacktrackable.call(this, 'prob_expl_and');
   }
-  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, []);
+  protoOf(ProbExplAnd).o2o = function (_this__u8e3s4, first, second, third) {
+    Companion_getInstance_9().w2f(_this__u8e3s4, 1);
+    Companion_getInstance_9().a2g(_this__u8e3s4, 1);
+    if (ProbSetConfig_getInstance().e3a(_this__u8e3s4.context)) {
+      return _this__u8e3s4.replyWith(Companion_getInstance_9().q2f(_this__u8e3s4, first, toTerm(Companion_getInstance_11().x38_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().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 explanation = _get_prob__dc6m52(this, second) === 0.0 || _get_prob__dc6m52(this, third) === 0.0 ? Companion_getInstance_11().w38_1 : _get_prob__dc6m52(this, second) === 1.0 && _get_prob__dc6m52(this, third) === 1.0 ? Companion_getInstance_11().x38_1 : _get_prob__dc6m52(this, second) === 1.0 ? third.u37_1 : _get_prob__dc6m52(this, third) === 1.0 ? second.u37_1 : second.u37_1.and(third.u37_1);
       var tmp_2;
-      if (explanation.g39() === 0.0) {
+      if (explanation.j39() === 0.0) {
         tmp_2 = _this__u8e3s4.replyWithCondition(false, VOID, []);
       } else {
-        tmp_2 = _this__u8e3s4.replyWith(Companion_getInstance_9().n2f(_this__u8e3s4, first, new ProbExplanationTerm(explanation)), VOID, []);
+        tmp_2 = _this__u8e3s4.replyWith(Companion_getInstance_9().q2f(_this__u8e3s4, first, new ProbExplanationTerm(explanation)), VOID, []);
       }
       tmp = tmp_2;
     } else {
@@ -2943,8 +2943,8 @@
     }
     return tmp;
   };
-  protoOf(ProbExplAnd).t2h = function (_this__u8e3s4, first, second, third) {
-    return this.l2o(_this__u8e3s4, first, second, third);
+  protoOf(ProbExplAnd).w2h = function (_this__u8e3s4, first, second, third) {
+    return this.o2o(_this__u8e3s4, first, second, third);
   };
   var ProbExplAnd_instance;
   function ProbExplAnd_getInstance() {
@@ -2953,52 +2953,52 @@
     return ProbExplAnd_instance;
   }
   function ProbHelper$computeAllSubstitutions$slambda($goal, $this_computeAllSubstitutions, $third, $first, $second, $goalSignature, resultContinuation) {
-    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;
+    this.n3a_1 = $goal;
+    this.o3a_1 = $this_computeAllSubstitutions;
+    this.p3a_1 = $third;
+    this.q3a_1 = $first;
+    this.r3a_1 = $second;
+    this.s3a_1 = $goalSignature;
     CoroutineImpl.call(this, resultContinuation);
   }
-  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).f2q = function ($this$sequence, $completion) {
+    var tmp = this.g2q($this$sequence, $completion);
+    tmp.e8_1 = Unit_instance;
+    tmp.f8_1 = null;
+    return tmp.k8();
   };
-  protoOf(ProbHelper$computeAllSubstitutions$slambda).a9 = function (p1, $completion) {
-    return this.c2q(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
+  protoOf(ProbHelper$computeAllSubstitutions$slambda).b9 = function (p1, $completion) {
+    return this.f2q(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
   };
-  protoOf(ProbHelper$computeAllSubstitutions$slambda).j8 = function () {
-    var suspendResult = this.d8_1;
+  protoOf(ProbHelper$computeAllSubstitutions$slambda).k8 = function () {
+    var suspendResult = this.e8_1;
     $sm: do
       try {
-        var tmp = this.b8_1;
+        var tmp = this.c8_1;
         switch (tmp) {
           case 0:
-            this.c8_1 = 18;
-            var tmp0_subject = this.k3a_1.xt();
+            this.d8_1 = 18;
+            var tmp0_subject = this.n3a_1.au();
             switch (tmp0_subject) {
               case '\\+':
               case 'not':
-                this.b8_1 = 16;
+                this.c8_1 = 16;
                 var tmp_0;
-                if (ProbSetConfig_getInstance().b3a(this.l3a_1.context)) {
+                if (ProbSetConfig_getInstance().e3a(this.o3a_1.context)) {
                   var tmp_1 = Companion_getInstance_9();
                   var tmp_2 = Companion_getInstance_1();
-                  var tmp_3 = this.k3a_1.xt();
+                  var tmp_3 = this.n3a_1.au();
                   var tmp_4 = Companion_getInstance_1();
                   var this_0 = Prob_getInstance();
-                  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)));
+                  tmp_0 = tmp_1.q2f(this.o3a_1, this.p3a_1, tmp_2.of(tmp_3, [tmp_4.of(this_0.signature.name, [Companion_getInstance_0().anonymous(), this.n3a_1.get(0)])])).plus(Companion_getInstance_9().q2f(this.o3a_1, this.q3a_1, toTerm(Companion_getInstance_11().x38_1)));
                 } else {
                   var tmp_5 = Companion_getInstance_9();
                   var tmp_6 = Companion_getInstance_1();
                   var this_1 = ProbNegationAsFailure_getInstance();
-                  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)]));
+                  tmp_0 = tmp_5.q2f(this.o3a_1, this.p3a_1, tmp_6.of(this_1.signature.name, [this.q3a_1, this.n3a_1.get(0)]));
                 }
 
-                suspendResult = this.q3a_1.bd(tmp_0, this);
+                suspendResult = this.t3a_1.cd(tmp_0, this);
                 if (suspendResult === get_COROUTINE_SUSPENDED()) {
                   return suspendResult;
                 }
@@ -3009,15 +3009,15 @@
                   case ',':
                   case ';':
                   case '->':
-                    this.b8_1 = 15;
+                    this.c8_1 = 15;
                     var tmp_7;
-                    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)));
+                    if (ProbSetConfig_getInstance().e3a(this.o3a_1.context)) {
+                      tmp_7 = Companion_getInstance_9().q2f(this.o3a_1, this.p3a_1, withBodyExplanation(this.n3a_1, Companion_getInstance_0().anonymous())).plus(Companion_getInstance_9().q2f(this.o3a_1, this.q3a_1, toTerm(Companion_getInstance_11().x38_1)));
                     } else {
-                      tmp_7 = Companion_getInstance_9().n2f(this.l3a_1, this.m3a_1, withBodyExplanation(this.k3a_1, this.n3a_1));
+                      tmp_7 = Companion_getInstance_9().q2f(this.o3a_1, this.p3a_1, withBodyExplanation(this.n3a_1, this.q3a_1));
                     }
 
-                    suspendResult = this.q3a_1.bd(tmp_7, this);
+                    suspendResult = this.t3a_1.cd(tmp_7, this);
                     if (suspendResult === get_COROUTINE_SUSPENDED()) {
                       return suspendResult;
                     }
@@ -3025,28 +3025,28 @@
                     continue $sm;
                   default:
                     if (tmp0_subject === 'call') {
-                      var newGoal = this.k3a_1.get(0);
-                      this.b8_1 = 14;
-                      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);
+                      var newGoal = this.n3a_1.get(0);
+                      this.c8_1 = 14;
+                      suspendResult = this.t3a_1.cd(Companion_getInstance_9().q2f(this.o3a_1, this.p3a_1, Companion_instance_0.of(Companion_getInstance_1().of('ensure_executable', [newGoal]), Companion_getInstance_1().of(this.n3a_1.au(), [withBodyExplanation(newGoal, this.q3a_1)]))), this);
                       if (suspendResult === get_COROUTINE_SUSPENDED()) {
                         return suspendResult;
                       }
                       continue $sm;
                     } else {
                       if (tmp0_subject === 'catch') {
-                        this.b8_1 = 13;
-                        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);
+                        this.c8_1 = 13;
+                        suspendResult = this.t3a_1.cd(Companion_getInstance_9().q2f(this.o3a_1, this.p3a_1, Companion_getInstance_1().of(this.n3a_1.au(), [withBodyExplanation(this.n3a_1.get(0), this.q3a_1), this.n3a_1.get(1), withBodyExplanation(this.n3a_1.get(2), this.q3a_1)])), this);
                         if (suspendResult === get_COROUTINE_SUSPENDED()) {
                           return suspendResult;
                         }
                         continue $sm;
                       } else {
                         if (tmp0_subject === 'findall') {
-                          var this_2 = this.k3a_1.yt();
+                          var this_2 = this.n3a_1.bu();
                           var goalArgs = copyToArray(this_2);
                           goalArgs[1] = withBodyExplanation(goalArgs[1], Companion_getInstance_0().anonymous());
-                          this.b8_1 = 12;
-                          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);
+                          this.c8_1 = 12;
+                          suspendResult = this.t3a_1.cd(Companion_getInstance_9().q2f(this.o3a_1, this.p3a_1, Companion_getInstance_1().of(this.n3a_1.au(), goalArgs.slice())).plus(Companion_getInstance_9().q2f(this.o3a_1, this.q3a_1, toTerm(Companion_getInstance_11().x38_1))), this);
                           if (suspendResult === get_COROUTINE_SUSPENDED()) {
                             return suspendResult;
                           }
@@ -3056,22 +3056,22 @@
                             case 'assert':
                             case 'asserta':
                             case 'assertz':
-                              var subGoal = this.k3a_1.get(0);
+                              var subGoal = this.n3a_1.get(0);
                               var tmp_8;
                               if (isInterface(subGoal, Clause)) {
-                                tmp_8 = extractSignature(ensureNotNull(subGoal.dw()));
+                                tmp_8 = extractSignature(ensureNotNull(subGoal.gw()));
                               } else {
                                 tmp_8 = extractSignature(safeToStruct(subGoal));
                               }
 
                               var subGoalSignature = tmp_8;
                               var tmp_9;
-                              if (this.l3a_1.context.o1u().containsSignature(subGoalSignature)) {
+                              if (this.o3a_1.context.r1u().containsSignature(subGoalSignature)) {
                                 tmp_9 = true;
                               } else {
                                 var tmp_10;
                                 if (isInterface(subGoal, Clause)) {
-                                  tmp_10 = !subGoal.nw();
+                                  tmp_10 = !subGoal.qw();
                                 } else {
                                   tmp_10 = false;
                                 }
@@ -3079,8 +3079,8 @@
                               }
 
                               if (tmp_9) {
-                                this.b8_1 = 10;
-                                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);
+                                this.c8_1 = 10;
+                                suspendResult = this.t3a_1.cd(Companion_getInstance_9().q2f(this.o3a_1, this.p3a_1, this.n3a_1).plus(Companion_getInstance_9().q2f(this.o3a_1, this.q3a_1, toTerm(Companion_getInstance_11().x38_1))), this);
                                 if (suspendResult === get_COROUTINE_SUSPENDED()) {
                                   return suspendResult;
                                 }
@@ -3088,15 +3088,15 @@
                               } else {
                                 var tmp_11;
                                 if (isInterface(subGoal, Clause)) {
-                                  tmp_11 = ClauseMappingUtils_getInstance().v39(subGoal);
+                                  tmp_11 = ClauseMappingUtils_getInstance().y39(subGoal);
                                 } else {
                                   if (isInterface(subGoal, Struct)) {
-                                    var this_3 = ClauseMappingUtils_getInstance().v39(Companion_instance.of(subGoal));
+                                    var this_3 = ClauseMappingUtils_getInstance().y39(Companion_instance.of(subGoal));
                                     var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_3, 10));
                                     var _iterator__ex2g4s = this_3.n();
                                     while (_iterator__ex2g4s.q()) {
                                       var item = _iterator__ex2g4s.r();
-                                      destination.l(ensureNotNull(item.dw()));
+                                      destination.l(ensureNotNull(item.gw()));
                                     }
                                     tmp_11 = destination;
                                   } else {
@@ -3104,14 +3104,14 @@
                                   }
                                 }
                                 var newGoals = tmp_11;
-                                this.b8_1 = 9;
+                                this.c8_1 = 9;
                                 var destination_0 = ArrayList_init_$Create$(collectionSizeOrDefault(newGoals, 10));
                                 var _iterator__ex2g4s_0 = newGoals.n();
                                 while (_iterator__ex2g4s_0.q()) {
                                   var item_0 = _iterator__ex2g4s_0.r();
-                                  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))));
+                                  destination_0.l(Companion_getInstance_9().q2f(this.o3a_1, this.p3a_1, Companion_getInstance_1().of(this.n3a_1.au(), [item_0])).plus(Companion_getInstance_9().q2f(this.o3a_1, this.q3a_1, toTerm(Companion_getInstance_11().x38_1))));
                                 }
-                                suspendResult = this.q3a_1.dd(destination_0, this);
+                                suspendResult = this.t3a_1.ed(destination_0, this);
                                 if (suspendResult === get_COROUTINE_SUSPENDED()) {
                                   return suspendResult;
                                 }
@@ -3122,20 +3122,20 @@
                               switch (tmp0_subject) {
                                 case 'retract':
                                 case 'retractall':
-                                  var goalArg = this.k3a_1.get(0);
-                                  this.b8_1 = 8;
+                                  var goalArg = this.n3a_1.get(0);
+                                  this.c8_1 = 8;
                                   var tmp_12 = Companion_getInstance_9();
                                   var tmp_13 = Companion_getInstance_1();
-                                  var tmp_14 = this.k3a_1.xt();
+                                  var tmp_14 = this.n3a_1.au();
                                   var tmp_15;
                                   var tmp_16;
                                   var tmp_17;
-                                  if (goalArg.eu()) {
+                                  if (goalArg.hu()) {
                                     tmp_17 = true;
                                   } else {
                                     var tmp_18;
                                     if (isInterface(goalArg, Struct)) {
-                                      tmp_18 = goalArg.xt() === ':-';
+                                      tmp_18 = goalArg.au() === ':-';
                                     } else {
                                       tmp_18 = false;
                                     }
@@ -3145,16 +3145,16 @@
                                   if (tmp_17) {
                                     tmp_16 = true;
                                   } else {
-                                    tmp_16 = this.l3a_1.context.o1u().containsSignature(extractSignature(safeToStruct(goalArg)));
+                                    tmp_16 = this.o3a_1.context.r1u().containsSignature(extractSignature(safeToStruct(goalArg)));
                                   }
 
                                   if (tmp_16) {
                                     tmp_15 = goalArg;
                                   } else {
-                                    tmp_15 = withExplanation(goalArg, this.n3a_1);
+                                    tmp_15 = withExplanation(goalArg, this.q3a_1);
                                   }
 
-                                  suspendResult = this.q3a_1.bd(tmp_12.n2f(this.l3a_1, this.m3a_1, tmp_13.of(tmp_14, [tmp_15])), this);
+                                  suspendResult = this.t3a_1.cd(tmp_12.q2f(this.o3a_1, this.p3a_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.k3a_1.get(0);
+                                    var subGoal_0 = this.n3a_1.get(0);
                                     var tmp_19;
                                     if (!isInterface(subGoal_0, Struct)) {
                                       tmp_19 = true;
                                     } else {
-                                      tmp_19 = this.l3a_1.context.o1u().hasProtected(extractSignature(subGoal_0));
+                                      tmp_19 = this.o3a_1.context.r1u().hasProtected(extractSignature(subGoal_0));
                                     }
                                     if (tmp_19) {
-                                      this.b8_1 = 6;
-                                      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);
+                                      this.c8_1 = 6;
+                                      suspendResult = this.t3a_1.cd(Companion_getInstance_9().q2f(this.o3a_1, this.p3a_1, this.n3a_1).plus(Companion_getInstance_9().q2f(this.o3a_1, this.q3a_1, toTerm(Companion_getInstance_11().x38_1))), this);
                                       if (suspendResult === get_COROUTINE_SUSPENDED()) {
                                         return suspendResult;
                                       }
                                       continue $sm;
                                     } else {
-                                      this.b8_1 = 5;
-                                      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);
+                                      this.c8_1 = 5;
+                                      suspendResult = this.t3a_1.cd(Companion_getInstance_9().q2f(this.o3a_1, this.p3a_1, Companion_getInstance_1().of(this.n3a_1.au(), [withExplanation(this.n3a_1.get(0), this.q3a_1), this.n3a_1.get(1)])), this);
                                       if (suspendResult === get_COROUTINE_SUSPENDED()) {
                                         return suspendResult;
                                       }
@@ -3187,22 +3187,22 @@
                                   } else {
                                     var tmp_20 = this;
                                     var tmp_21;
-                                    var tmp_22 = this.o3a_1;
+                                    var tmp_22 = this.r3a_1;
                                     if (isInterface(tmp_22, Truth)) {
                                       tmp_21 = true;
                                     } else {
-                                      tmp_21 = this.l3a_1.context.o1u().containsSignature(this.p3a_1);
+                                      tmp_21 = this.o3a_1.context.r1u().containsSignature(this.s3a_1);
                                     }
-                                    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.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);
+                                    tmp_20.u3a_1 = tmp_21;
+                                    if (this.u3a_1 || this.o3a_1.context.t1u().containsIndicator(this.s3a_1.toIndicator()) || this.o3a_1.context.u1u().containsIndicator(this.s3a_1.toIndicator())) {
+                                      this.c8_1 = 1;
+                                      suspendResult = this.t3a_1.cd(Companion_getInstance_9().q2f(this.o3a_1, this.p3a_1, this.n3a_1).plus(Companion_getInstance_9().q2f(this.o3a_1, this.q3a_1, toTerm(Companion_getInstance_11().x38_1))), this);
                                       if (suspendResult === get_COROUTINE_SUSPENDED()) {
                                         return suspendResult;
                                       }
                                       continue $sm;
                                     } else {
-                                      this.b8_1 = 2;
+                                      this.c8_1 = 2;
                                       continue $sm;
                                     }
                                   }
@@ -3223,103 +3223,103 @@
 
             break;
           case 1:
-            this.b8_1 = 2;
+            this.c8_1 = 2;
             continue $sm;
           case 2:
-            if (!this.r3a_1) {
-              this.b8_1 = 3;
-              suspendResult = this.q3a_1.bd(Companion_getInstance_9().n2f(this.l3a_1, this.m3a_1, withExplanation(this.k3a_1, this.n3a_1)), this);
+            if (!this.u3a_1) {
+              this.c8_1 = 3;
+              suspendResult = this.t3a_1.cd(Companion_getInstance_9().q2f(this.o3a_1, this.p3a_1, withExplanation(this.n3a_1, this.q3a_1)), this);
               if (suspendResult === get_COROUTINE_SUSPENDED()) {
                 return suspendResult;
               }
               continue $sm;
             } else {
-              this.b8_1 = 4;
+              this.c8_1 = 4;
               continue $sm;
             }
 
           case 3:
-            this.b8_1 = 4;
+            this.c8_1 = 4;
             continue $sm;
           case 4:
-            this.b8_1 = 17;
+            this.c8_1 = 17;
             continue $sm;
           case 5:
-            this.b8_1 = 7;
+            this.c8_1 = 7;
             continue $sm;
           case 6:
-            this.b8_1 = 7;
+            this.c8_1 = 7;
             continue $sm;
           case 7:
-            this.b8_1 = 17;
+            this.c8_1 = 17;
             continue $sm;
           case 8:
-            this.b8_1 = 17;
+            this.c8_1 = 17;
             continue $sm;
           case 9:
-            this.b8_1 = 11;
+            this.c8_1 = 11;
             continue $sm;
           case 10:
-            this.b8_1 = 11;
+            this.c8_1 = 11;
             continue $sm;
           case 11:
-            this.b8_1 = 17;
+            this.c8_1 = 17;
             continue $sm;
           case 12:
-            this.b8_1 = 17;
+            this.c8_1 = 17;
             continue $sm;
           case 13:
-            this.b8_1 = 17;
+            this.c8_1 = 17;
             continue $sm;
           case 14:
-            this.b8_1 = 17;
+            this.c8_1 = 17;
             continue $sm;
           case 15:
-            this.b8_1 = 17;
+            this.c8_1 = 17;
             continue $sm;
           case 16:
-            this.b8_1 = 17;
+            this.c8_1 = 17;
             continue $sm;
           case 17:
             return Unit_instance;
           case 18:
-            throw this.e8_1;
+            throw this.f8_1;
         }
       } catch ($p) {
         var e = $p;
-        if (this.c8_1 === 18) {
+        if (this.d8_1 === 18) {
           throw e;
         } else {
-          this.b8_1 = this.c8_1;
-          this.e8_1 = e;
+          this.c8_1 = this.d8_1;
+          this.f8_1 = e;
         }
       }
      while (true);
   };
-  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;
+  protoOf(ProbHelper$computeAllSubstitutions$slambda).g2q = function ($this$sequence, completion) {
+    var i = new ProbHelper$computeAllSubstitutions$slambda(this.n3a_1, this.o3a_1, this.p3a_1, this.q3a_1, this.r3a_1, this.s3a_1, completion);
+    i.t3a_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.c2q($this$sequence, $completion);
+      return i.f2q($this$sequence, $completion);
     }, 1);
   }
   function ProbHelper() {
     ProbHelper_instance = this;
     WithoutSideEffects.call(this, 'prob_helper');
   }
-  protoOf(ProbHelper).d2m = function (_this__u8e3s4, first, second, third) {
-    Companion_getInstance_9().t2f(_this__u8e3s4, 1);
-    Companion_getInstance_9().x2f(_this__u8e3s4, 1);
+  protoOf(ProbHelper).g2m = function (_this__u8e3s4, first, second, third) {
+    Companion_getInstance_9().w2f(_this__u8e3s4, 1);
+    Companion_getInstance_9().a2g(_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).p2h = function (_this__u8e3s4, first, second, third) {
-    return this.d2m(_this__u8e3s4, first, second, third);
+  protoOf(ProbHelper).s2h = function (_this__u8e3s4, first, second, third) {
+    return this.g2m(_this__u8e3s4, first, second, third);
   };
   var ProbHelper_instance;
   function ProbHelper_getInstance() {
@@ -3331,11 +3331,11 @@
     ProbNegationAsFailure_instance = this;
     NonBacktrackable_0.call(this, 'prob_negation_as_failure');
   }
-  protoOf(ProbNegationAsFailure).j2m = function (_this__u8e3s4, first, second) {
-    Companion_getInstance_9().t2f(_this__u8e3s4, 1);
-    Companion_getInstance_9().x2f(_this__u8e3s4, 1);
+  protoOf(ProbNegationAsFailure).m2m = function (_this__u8e3s4, first, second) {
+    Companion_getInstance_9().w2f(_this__u8e3s4, 1);
+    Companion_getInstance_9().a2g(_this__u8e3s4, 1);
     var tmp;
-    if (!second.bv()) {
+    if (!second.ev()) {
       tmp = _this__u8e3s4.replyException(ResolutionException_init_$Create$('Probabilistic negation does not support non-ground goals: ' + second.toString(), VOID, _this__u8e3s4.context, []), VOID, []);
     } else {
       var explanationTermVar = Companion_getInstance_0().of('Explanation');
@@ -3348,7 +3348,7 @@
       if (solution == null) {
         tmp_2 = _this__u8e3s4.replyFail(VOID, []);
       } else {
-        var explanationTerm = solution.k1u().h2(explanationTermVar);
+        var explanationTerm = solution.n1u().i2(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().n2f(_this__u8e3s4, first, new ProbExplanationTerm(explanationTerm.r37_1.not())), []), VOID, []);
+          tmp_3 = _this__u8e3s4.replyWith(Companion_getInstance_5().ofSubstitution(Companion_getInstance_9().q2f(_this__u8e3s4, first, new ProbExplanationTerm(explanationTerm.u37_1.not())), []), VOID, []);
         }
         tmp_2 = tmp_3;
       }
@@ -3367,8 +3367,8 @@
     }
     return tmp;
   };
-  protoOf(ProbNegationAsFailure).r2e = function (_this__u8e3s4, first, second) {
-    return this.j2m(_this__u8e3s4, first, second);
+  protoOf(ProbNegationAsFailure).u2e = function (_this__u8e3s4, first, second) {
+    return this.m2m(_this__u8e3s4, first, second);
   };
   var ProbNegationAsFailure_instance;
   function ProbNegationAsFailure_getInstance() {
@@ -3382,45 +3382,45 @@
     };
   }
   function ProbQuery$computeAllSubstitutions$slambda($solutions, $queryWithEvidenceExplanation, $evidenceExplanation, $this_computeAllSubstitutions, $first, $fourth, resultContinuation) {
-    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;
+    this.f3b_1 = $solutions;
+    this.g3b_1 = $queryWithEvidenceExplanation;
+    this.h3b_1 = $evidenceExplanation;
+    this.i3b_1 = $this_computeAllSubstitutions;
+    this.j3b_1 = $first;
+    this.k3b_1 = $fourth;
     CoroutineImpl.call(this, resultContinuation);
   }
-  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).f2q = function ($this$sequence, $completion) {
+    var tmp = this.g2q($this$sequence, $completion);
+    tmp.e8_1 = Unit_instance;
+    tmp.f8_1 = null;
+    return tmp.k8();
   };
-  protoOf(ProbQuery$computeAllSubstitutions$slambda).a9 = function (p1, $completion) {
-    return this.c2q(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
+  protoOf(ProbQuery$computeAllSubstitutions$slambda).b9 = function (p1, $completion) {
+    return this.f2q(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
   };
-  protoOf(ProbQuery$computeAllSubstitutions$slambda).j8 = function () {
-    var suspendResult = this.d8_1;
+  protoOf(ProbQuery$computeAllSubstitutions$slambda).k8 = function () {
+    var suspendResult = this.e8_1;
     $sm: do
       try {
-        var tmp = this.b8_1;
+        var tmp = this.c8_1;
         switch (tmp) {
           case 0:
-            this.c8_1 = 8;
-            this.j3b_1 = this.c3b_1.n();
-            this.b8_1 = 1;
+            this.d8_1 = 8;
+            this.m3b_1 = this.f3b_1.n();
+            this.c8_1 = 1;
             continue $sm;
           case 1:
-            if (!this.j3b_1.q()) {
-              this.b8_1 = 7;
+            if (!this.m3b_1.q()) {
+              this.c8_1 = 7;
               continue $sm;
             }
 
-            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 solution = this.m3b_1.r();
+            if (solution.w1v())
+              throw ensureNotNull(solution.t1v());
+            var queryWithEvidenceExplanationTerm = solution.n1u().i2(this.g3b_1);
+            var evidenceExplanationTerm = solution.n1u().i2(this.h3b_1);
             var tmp_0;
             var tmp_1;
             var tmp_2;
@@ -3443,28 +3443,28 @@
             }
 
             if (tmp_0) {
-              this.b8_1 = 5;
-              suspendResult = this.i3b_1.bd(Companion_getInstance_5().failed(), this);
+              this.c8_1 = 5;
+              suspendResult = this.l3b_1.cd(Companion_getInstance_5().failed(), this);
               if (suspendResult === get_COROUTINE_SUSPENDED()) {
                 return suspendResult;
               }
               continue $sm;
             } else {
-              var queryWithEvidenceProbability = queryWithEvidenceExplanationTerm.r37_1.h39();
-              var evidenceProbability = evidenceExplanationTerm.r37_1.h39();
+              var queryWithEvidenceProbability = queryWithEvidenceExplanationTerm.u37_1.k39();
+              var evidenceProbability = evidenceExplanationTerm.u37_1.k39();
               if (queryWithEvidenceProbability == null || evidenceProbability == null) {
-                this.b8_1 = 3;
-                suspendResult = this.i3b_1.bd(Companion_getInstance_5().failed(), this);
+                this.c8_1 = 3;
+                suspendResult = this.l3b_1.cd(Companion_getInstance_5().failed(), this);
                 if (suspendResult === get_COROUTINE_SUSPENDED()) {
                   return suspendResult;
                 }
                 continue $sm;
               } else {
-                var tmp_3 = solution.k1u();
-                var solutionSubstitution = tmp_3.filter(ProbQuery$computeAllSubstitutions$slambda$lambda(this.e3b_1, this.d3b_1));
+                var tmp_3 = solution.n1u();
+                var solutionSubstitution = tmp_3.filter(ProbQuery$computeAllSubstitutions$slambda$lambda(this.h3b_1, this.g3b_1));
                 var probabilityTerm = Companion_getInstance_6().ofDouble(queryWithEvidenceProbability / evidenceProbability);
-                this.b8_1 = 2;
-                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);
+                this.c8_1 = 2;
+                suspendResult = this.l3b_1.cd(Companion_getInstance_5().ofSubstitution(solutionSubstitution, [Companion_getInstance_9().q2f(this.i3b_1, this.j3b_1, probabilityTerm), Companion_getInstance_9().q2f(this.i3b_1, this.k3b_1, queryWithEvidenceExplanationTerm)]), this);
                 if (suspendResult === get_COROUTINE_SUSPENDED()) {
                   return suspendResult;
                 }
@@ -3473,56 +3473,56 @@
             }
 
           case 2:
-            this.b8_1 = 4;
+            this.c8_1 = 4;
             continue $sm;
           case 3:
-            this.b8_1 = 4;
+            this.c8_1 = 4;
             continue $sm;
           case 4:
-            this.b8_1 = 6;
+            this.c8_1 = 6;
             continue $sm;
           case 5:
-            this.b8_1 = 6;
+            this.c8_1 = 6;
             continue $sm;
           case 6:
-            this.b8_1 = 1;
+            this.c8_1 = 1;
             continue $sm;
           case 7:
             return Unit_instance;
           case 8:
-            throw this.e8_1;
+            throw this.f8_1;
         }
       } catch ($p) {
         var e = $p;
-        if (this.c8_1 === 8) {
+        if (this.d8_1 === 8) {
           throw e;
         } else {
-          this.b8_1 = this.c8_1;
-          this.e8_1 = e;
+          this.c8_1 = this.d8_1;
+          this.f8_1 = e;
         }
       }
      while (true);
   };
-  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;
+  protoOf(ProbQuery$computeAllSubstitutions$slambda).g2q = function ($this$sequence, completion) {
+    var i = new ProbQuery$computeAllSubstitutions$slambda(this.f3b_1, this.g3b_1, this.h3b_1, this.i3b_1, this.j3b_1, this.k3b_1, completion);
+    i.l3b_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.c2q($this$sequence, $completion);
+      return i.f2q($this$sequence, $completion);
     }, 1);
   }
   function ProbQuery() {
     ProbQuery_instance = this;
     WithoutSideEffects_0.call(this, 'prob_query');
   }
-  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);
+  protoOf(ProbQuery).o3b = function (_this__u8e3s4, first, second, third, fourth) {
+    Companion_getInstance_9().w2f(_this__u8e3s4, 1);
+    Companion_getInstance_9().a2g(_this__u8e3s4, 1);
+    Companion_getInstance_9().y2f(_this__u8e3s4, 1);
+    Companion_getInstance_9().w2f(_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().m3b(third));
+    var solutions = tmp.solveWithOptions(tmp_0.of(tmp_2, tmp_3.of(tmp$ret$1, [queryWithEvidenceExplanation, evidenceExplanation, second])), ProbSetConfig_getInstance().p3b(third));
     return sequence(ProbQuery$computeAllSubstitutions$slambda_0(solutions, queryWithEvidenceExplanation, evidenceExplanation, _this__u8e3s4, first, fourth, null));
   };
-  protoOf(ProbQuery).m2g = function (_this__u8e3s4, first, second, third, fourth) {
-    return this.l3b(_this__u8e3s4, first, second, third, fourth);
+  protoOf(ProbQuery).p2g = function (_this__u8e3s4, first, second, third, fourth) {
+    return this.o3b(_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.m37_1 = this.signature.name + '_flag';
+    tmp.p37_1 = this.signature.name + '_flag';
     var tmp_0 = this;
     // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
-    tmp_0.n37_1 = this.signature.name + '_term';
+    tmp_0.q37_1 = this.signature.name + '_term';
     var tmp_1 = this;
     // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
-    tmp_1.o37_1 = 'it.unibo.tuprolog.solve.probability' + this.signature.name + '_tag';
+    tmp_1.r37_1 = 'it.unibo.tuprolog.solve.probability' + this.signature.name + '_tag';
   }
-  protoOf(ProbSetConfig).s2l = function (_this__u8e3s4, first) {
-    Companion_getInstance_9().t2f(_this__u8e3s4, 0);
-    Companion_getInstance_9().z2f(_this__u8e3s4, 0);
+  protoOf(ProbSetConfig).v2l = function (_this__u8e3s4, first) {
+    Companion_getInstance_9().w2f(_this__u8e3s4, 0);
+    Companion_getInstance_9().c2g(_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.m37_1, first)])];
+    var tmp$ret$0 = [SetFlags_init_$Create$([new Pair(this.p37_1, first)])];
     return _this__u8e3s4.replySuccess(VOID, VOID, tmp$ret$0.slice());
   };
-  protoOf(ProbSetConfig).a2i = function (_this__u8e3s4, first) {
-    return this.s2l(_this__u8e3s4, first);
+  protoOf(ProbSetConfig).d2i = function (_this__u8e3s4, first) {
+    return this.v2l(_this__u8e3s4, first);
   };
-  protoOf(ProbSetConfig).m3b = function (_this__u8e3s4) {
-    var tmp0_elvis_lhs = _this__u8e3s4.getTag(this.o37_1);
+  protoOf(ProbSetConfig).p3b = function (_this__u8e3s4) {
+    var tmp0_elvis_lhs = _this__u8e3s4.getTag(this.r37_1);
     return tmp0_elvis_lhs == null ? Companion_getInstance_2().DEFAULT : tmp0_elvis_lhs;
   };
-  protoOf(ProbSetConfig).p37 = function (_this__u8e3s4) {
-    return setTag(Companion_getInstance_4().of(this.n37_1), this.o37_1, _this__u8e3s4);
+  protoOf(ProbSetConfig).s37 = function (_this__u8e3s4) {
+    return setTag(Companion_getInstance_4().of(this.q37_1), this.r37_1, _this__u8e3s4);
   };
-  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);
+  protoOf(ProbSetConfig).q3b = function (_this__u8e3s4) {
+    var tmp0_safe_receiver = _this__u8e3s4.s1u().db(this.p37_1);
+    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : this.p3b(tmp0_safe_receiver);
     return tmp1_elvis_lhs == null ? Companion_getInstance_2().DEFAULT : tmp1_elvis_lhs;
   };
-  protoOf(ProbSetConfig).b3a = function (_this__u8e3s4) {
-    return !get_isProbabilistic(this.n3b(_this__u8e3s4));
+  protoOf(ProbSetConfig).e3a = function (_this__u8e3s4) {
+    return !get_isProbabilistic(this.q3b(_this__u8e3s4));
   };
   var ProbSetConfig_instance;
   function ProbSetConfig_getInstance() {
@@ -3593,9 +3593,9 @@
     return ProbSetConfig_instance;
   }
   function ProbSolve$computeAllSubstitutions$lambda(it) {
-    if (it.t1v())
-      throw ensureNotNull(it.q1v());
-    return it.k1u();
+    if (it.w1v())
+      throw ensureNotNull(it.t1v());
+    return it.n1u();
   }
   function ProbSolve$computeAllSubstitutions$lambda_0(it) {
     return !(it == null) ? isInterface(it, Halt) : false;
@@ -3606,46 +3606,46 @@
     };
   }
   function ProbSolve$computeAllSubstitutions$slambda($solutionGroups, $explanationVar, $this_computeAllSubstitutions, $first, resultContinuation) {
-    this.w3b_1 = $solutionGroups;
-    this.x3b_1 = $explanationVar;
-    this.y3b_1 = $this_computeAllSubstitutions;
-    this.z3b_1 = $first;
+    this.z3b_1 = $solutionGroups;
+    this.a3c_1 = $explanationVar;
+    this.b3c_1 = $this_computeAllSubstitutions;
+    this.c3c_1 = $first;
     CoroutineImpl.call(this, resultContinuation);
   }
-  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).f2q = function ($this$sequence, $completion) {
+    var tmp = this.g2q($this$sequence, $completion);
+    tmp.e8_1 = Unit_instance;
+    tmp.f8_1 = null;
+    return tmp.k8();
   };
-  protoOf(ProbSolve$computeAllSubstitutions$slambda).a9 = function (p1, $completion) {
-    return this.c2q(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
+  protoOf(ProbSolve$computeAllSubstitutions$slambda).b9 = function (p1, $completion) {
+    return this.f2q(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
   };
-  protoOf(ProbSolve$computeAllSubstitutions$slambda).j8 = function () {
-    var suspendResult = this.d8_1;
+  protoOf(ProbSolve$computeAllSubstitutions$slambda).k8 = function () {
+    var suspendResult = this.e8_1;
     $sm: do
       try {
-        var tmp = this.b8_1;
+        var tmp = this.c8_1;
         switch (tmp) {
           case 0:
-            this.c8_1 = 4;
+            this.d8_1 = 4;
             var tmp_0 = this;
-            tmp_0.b3c_1 = this.w3b_1.d1().n();
-            this.b8_1 = 1;
+            tmp_0.e3c_1 = this.z3b_1.d1().n();
+            this.c8_1 = 1;
             continue $sm;
           case 1:
-            if (!this.b3c_1.q()) {
-              this.b8_1 = 3;
+            if (!this.e3c_1.q()) {
+              this.c8_1 = 3;
               continue $sm;
             }
 
-            var solutionGroup = this.b3c_1.r();
-            var this_0 = solutionGroup.e2();
+            var solutionGroup = this.e3c_1.r();
+            var this_0 = solutionGroup.f2();
             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.k1u().h2(this.x3b_1));
+              destination.l(item.n1u().i2(this.a3c_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.r37_1);
+              destination_1.l(item_0.u37_1);
             }
 
             var iterator = destination_1.n();
@@ -3671,61 +3671,61 @@
             while (iterator.q()) {
               var tmp0 = accumulator;
               var expl = iterator.r();
-              accumulator = expl.g39() === 1.0 ? tmp0 : tmp0.g39() === 1.0 ? expl : tmp0.or(expl);
+              accumulator = expl.j39() === 1.0 ? tmp0 : tmp0.j39() === 1.0 ? expl : tmp0.or(expl);
             }
 
             var explanation = accumulator;
-            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.a3c_1.bd(substitution, this);
+            var substitution = Companion_getInstance_5().ofSubstitution(solutionGroup.e2(), [Companion_getInstance_9().q2f(this.b3c_1, this.c3c_1, new ProbExplanationTerm(explanation))]);
+            this.c8_1 = 2;
+            suspendResult = this.d3c_1.cd(substitution, this);
             if (suspendResult === get_COROUTINE_SUSPENDED()) {
               return suspendResult;
             }
 
             continue $sm;
           case 2:
-            this.b8_1 = 1;
+            this.c8_1 = 1;
             continue $sm;
           case 3:
             return Unit_instance;
           case 4:
-            throw this.e8_1;
+            throw this.f8_1;
         }
       } catch ($p) {
         var e = $p;
-        if (this.c8_1 === 4) {
+        if (this.d8_1 === 4) {
           throw e;
         } else {
-          this.b8_1 = this.c8_1;
-          this.e8_1 = e;
+          this.c8_1 = this.d8_1;
+          this.f8_1 = e;
         }
       }
      while (true);
   };
-  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;
+  protoOf(ProbSolve$computeAllSubstitutions$slambda).g2q = function ($this$sequence, completion) {
+    var i = new ProbSolve$computeAllSubstitutions$slambda(this.z3b_1, this.a3c_1, this.b3c_1, this.c3c_1, completion);
+    i.d3c_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.c2q($this$sequence, $completion);
+      return i.f2q($this$sequence, $completion);
     }, 1);
   }
   function ProbSolve() {
     ProbSolve_instance = this;
     WithoutSideEffects_1.call(this, 'prob_solve');
   }
-  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)) {
+  protoOf(ProbSolve).l2n = function (_this__u8e3s4, first, second) {
+    Companion_getInstance_9().w2f(_this__u8e3s4, 1);
+    Companion_getInstance_9().a2g(_this__u8e3s4, 1);
+    if (ProbSetConfig_getInstance().e3a(_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().n3b(_this__u8e3s4.context));
+      var tmp_1 = tmp.solveWithOptions(tmp_0.of(tmp$ret$0, [first, second]), ProbSetConfig_getInstance().q3b(_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().n3b(_this__u8e3s4.context)));
+    var solutions = toList(tmp_2.solveWithOptions(tmp_3.of(tmp$ret$1, [explanationVar, second]), ProbSetConfig_getInstance().q3b(_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.q1v();
+      throw error.t1v();
     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().n2f(_this__u8e3s4, first, new ProbExplanationTerm(Companion_getInstance_11().t38_1)), []));
+      tmp_5 = sequenceOf(Companion_getInstance_5().ofSubstitution(Companion_getInstance_9().q2f(_this__u8e3s4, first, new ProbExplanationTerm(Companion_getInstance_11().w38_1)), []));
     } else {
       // Inline function 'kotlin.collections.filterIsInstance' call
       // Inline function 'kotlin.collections.filterIsInstanceTo' call
@@ -3784,14 +3784,14 @@
       var _iterator__ex2g4s_1 = destination.n();
       while (_iterator__ex2g4s_1.q()) {
         var element_1 = _iterator__ex2g4s_1.r();
-        var tmp_7 = element_1.k1u();
-        var key = tmp_7.yz(ProbSolve$computeAllSubstitutions$lambda_1(explanationVar));
+        var tmp_7 = element_1.n1u();
+        var key = tmp_7.b10(ProbSolve$computeAllSubstitutions$lambda_1(explanationVar));
         // Inline function 'kotlin.collections.getOrPut' call
-        var value = destination_0.h2(key);
+        var value = destination_0.i2(key);
         var tmp_8;
         if (value == null) {
           var answer = ArrayList_init_$Create$_0();
-          destination_0.k4(key, answer);
+          destination_0.l4(key, answer);
           tmp_8 = answer;
         } else {
           tmp_8 = value;
@@ -3804,8 +3804,8 @@
     }
     return tmp_5;
   };
-  protoOf(ProbSolve).y2e = function (_this__u8e3s4, first, second) {
-    return this.i2n(_this__u8e3s4, first, second);
+  protoOf(ProbSolve).b2f = function (_this__u8e3s4, first, second) {
+    return this.l2n(_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.k1u().h2($explanationVar);
+      return s.n1u().i2($explanationVar);
     };
   }
   function ProbSolveEvidence$computeOne$lambda_1(it) {
     return it instanceof ProbExplanationTerm;
   }
   function ProbSolveEvidence$computeOne$lambda_2(t) {
-    return t.r37_1;
+    return t.u37_1;
   }
   function ProbSolveEvidence() {
     ProbSolveEvidence_instance = this;
     NonBacktrackable_1.call(this, 'prob_solve_evidence');
   }
-  protoOf(ProbSolveEvidence).s2l = function (_this__u8e3s4, first) {
+  protoOf(ProbSolveEvidence).v2l = function (_this__u8e3s4, first) {
     var evidenceIndicator = Companion_instance_4.ofString('evidence', 2);
-    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, []);
+    if (!_this__u8e3s4.context.t1u().containsIndicator(evidenceIndicator) && !_this__u8e3s4.context.u1u().containsIndicator(evidenceIndicator)) {
+      return _this__u8e3s4.replyWith(Companion_getInstance_9().q2f(_this__u8e3s4, first, new ProbExplanationTerm(Companion_getInstance_11().x38_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().n3b(_this__u8e3s4.context).setLimit(-1).setLazy(false);
+    var subOptions = ProbSetConfig_getInstance().q3b(_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,17 +3851,17 @@
     var _iterator__ex2g4s = this_1.n();
     while (_iterator__ex2g4s.q()) {
       var item = _iterator__ex2g4s.r();
-      var truth = item.k1u().h2(evidenceTruthVar);
-      var term = item.k1u().h2(evidenceTermVar);
+      var truth = item.n1u().i2(evidenceTruthVar);
+      var term = item.n1u().i2(evidenceTermVar);
       var tmp_0;
       var tmp_1;
-      if (term == null || term.tu() || truth == null) {
+      if (term == null || term.wu() || truth == null) {
         tmp_1 = true;
       } else {
         tmp_1 = !isInterface(truth, Truth);
       }
       if (tmp_1) {
-        tmp_0 = Companion_getInstance_11().t38_1;
+        tmp_0 = Companion_getInstance_11().w38_1;
       } else {
         var explanationVar = Companion_getInstance_0().of('EXPL');
         var tmp_2 = Companion_getInstance_1();
@@ -3880,10 +3880,10 @@
         while (iterator.q()) {
           var tmp0 = accumulator;
           var t = iterator.r();
-          accumulator = t.g39() === 1.0 ? tmp0 : tmp0.g39() === 1.0 ? t : t.or(tmp0);
+          accumulator = t.j39() === 1.0 ? tmp0 : tmp0.j39() === 1.0 ? t : t.or(tmp0);
         }
         var totalExplanation = accumulator;
-        tmp_0 = truth.vt() ? totalExplanation : totalExplanation.not();
+        tmp_0 = truth.yt() ? totalExplanation : totalExplanation.not();
       }
       var tmp$ret$3 = tmp_0;
       destination.l(tmp$ret$3);
@@ -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().t38_1)) {
+      if (!equals(element, Companion_getInstance_11().w38_1)) {
         destination_0.l(element);
       }
     }
     var result = destination_0;
     var tmp_6;
     if (result.h()) {
-      tmp_6 = Companion_getInstance_11().u38_1;
+      tmp_6 = Companion_getInstance_11().x38_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().n2f(_this__u8e3s4, first, new ProbExplanationTerm(resultExplanation)), VOID, []);
+    return _this__u8e3s4.replyWith(Companion_getInstance_9().q2f(_this__u8e3s4, first, new ProbExplanationTerm(resultExplanation)), VOID, []);
   };
-  protoOf(ProbSolveEvidence).a2i = function (_this__u8e3s4, first) {
-    return this.s2l(_this__u8e3s4, first);
+  protoOf(ProbSolveEvidence).d2i = function (_this__u8e3s4, first) {
+    return this.v2l(_this__u8e3s4, first);
   };
   var ProbSolveEvidence_instance;
   function ProbSolveEvidence_getInstance() {
@@ -3932,51 +3932,51 @@
     };
   }
   function ProbSolveWithEvidence$computeAllSubstitutions$slambda($solutions, $goalExplanationVar, $evidenceExplanationTerm, $this_computeAllSubstitutions, $first, $second, resultContinuation) {
-    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;
+    this.p3c_1 = $solutions;
+    this.q3c_1 = $goalExplanationVar;
+    this.r3c_1 = $evidenceExplanationTerm;
+    this.s3c_1 = $this_computeAllSubstitutions;
+    this.t3c_1 = $first;
+    this.u3c_1 = $second;
     CoroutineImpl.call(this, resultContinuation);
   }
-  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).f2q = function ($this$sequence, $completion) {
+    var tmp = this.g2q($this$sequence, $completion);
+    tmp.e8_1 = Unit_instance;
+    tmp.f8_1 = null;
+    return tmp.k8();
   };
-  protoOf(ProbSolveWithEvidence$computeAllSubstitutions$slambda).a9 = function (p1, $completion) {
-    return this.c2q(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
+  protoOf(ProbSolveWithEvidence$computeAllSubstitutions$slambda).b9 = function (p1, $completion) {
+    return this.f2q(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
   };
-  protoOf(ProbSolveWithEvidence$computeAllSubstitutions$slambda).j8 = function () {
-    var suspendResult = this.d8_1;
+  protoOf(ProbSolveWithEvidence$computeAllSubstitutions$slambda).k8 = function () {
+    var suspendResult = this.e8_1;
     $sm: do
       try {
-        var tmp = this.b8_1;
+        var tmp = this.c8_1;
         switch (tmp) {
           case 0:
-            this.c8_1 = 6;
-            this.t3c_1 = this.m3c_1.n();
-            this.b8_1 = 1;
+            this.d8_1 = 6;
+            this.w3c_1 = this.p3c_1.n();
+            this.c8_1 = 1;
             continue $sm;
           case 1:
-            if (!this.t3c_1.q()) {
-              this.b8_1 = 5;
+            if (!this.w3c_1.q()) {
+              this.c8_1 = 5;
               continue $sm;
             }
 
-            var solution = this.t3c_1.r();
-            if (solution.t1v())
-              throw ensureNotNull(solution.q1v());
-            var goalExplanationTerm = solution.k1u().h2(this.n3c_1);
+            var solution = this.w3c_1.r();
+            if (solution.w1v())
+              throw ensureNotNull(solution.t1v());
+            var goalExplanationTerm = solution.n1u().i2(this.q3c_1);
             var tmp_0;
             var tmp_1;
             var tmp_2;
-            if (this.o3c_1 == null) {
+            if (this.r3c_1 == null) {
               tmp_2 = true;
             } else {
-              var tmp_3 = this.o3c_1;
+              var tmp_3 = this.r3c_1;
               tmp_2 = !(tmp_3 instanceof ProbExplanationTerm);
             }
 
@@ -3993,20 +3993,20 @@
             }
 
             if (tmp_0) {
-              this.b8_1 = 3;
-              suspendResult = this.s3c_1.bd(Companion_getInstance_5().failed(), this);
+              this.c8_1 = 3;
+              suspendResult = this.v3c_1.cd(Companion_getInstance_5().failed(), this);
               if (suspendResult === get_COROUTINE_SUSPENDED()) {
                 return suspendResult;
               }
               continue $sm;
             } else {
-              var explanationWithEvidenceTerm = new ProbExplanationTerm(goalExplanationTerm.r37_1.and(this.o3c_1.r37_1));
-              this.b8_1 = 2;
+              var explanationWithEvidenceTerm = new ProbExplanationTerm(goalExplanationTerm.u37_1.and(this.r3c_1.u37_1));
+              this.c8_1 = 2;
               var tmp_4 = Companion_getInstance_5();
-              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);
+              var tmp_5 = Companion_getInstance_9().q2f(this.s3c_1, this.t3c_1, explanationWithEvidenceTerm);
+              var tmp_6 = Companion_getInstance_9().q2f(this.s3c_1, this.u3c_1, this.r3c_1);
+              var tmp_7 = solution.n1u();
+              suspendResult = this.v3c_1.cd(tmp_4.ofSubstitution(tmp_5, [tmp_6, tmp_7.filter(ProbSolveWithEvidence$computeAllSubstitutions$slambda$lambda(this.q3c_1))]), this);
               if (suspendResult === get_COROUTINE_SUSPENDED()) {
                 return suspendResult;
               }
@@ -4014,59 +4014,59 @@
             }
 
           case 2:
-            this.b8_1 = 4;
+            this.c8_1 = 4;
             continue $sm;
           case 3:
-            this.b8_1 = 4;
+            this.c8_1 = 4;
             continue $sm;
           case 4:
-            this.b8_1 = 1;
+            this.c8_1 = 1;
             continue $sm;
           case 5:
             return Unit_instance;
           case 6:
-            throw this.e8_1;
+            throw this.f8_1;
         }
       } catch ($p) {
         var e = $p;
-        if (this.c8_1 === 6) {
+        if (this.d8_1 === 6) {
           throw e;
         } else {
-          this.b8_1 = this.c8_1;
-          this.e8_1 = e;
+          this.c8_1 = this.d8_1;
+          this.f8_1 = e;
         }
       }
      while (true);
   };
-  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;
+  protoOf(ProbSolveWithEvidence$computeAllSubstitutions$slambda).g2q = function ($this$sequence, completion) {
+    var i = new ProbSolveWithEvidence$computeAllSubstitutions$slambda(this.p3c_1, this.q3c_1, this.r3c_1, this.s3c_1, this.t3c_1, this.u3c_1, completion);
+    i.v3c_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.c2q($this$sequence, $completion);
+      return i.f2q($this$sequence, $completion);
     }, 1);
   }
   function ProbSolveWithEvidence() {
     ProbSolveWithEvidence_instance = this;
     WithoutSideEffects.call(this, 'prob_solve_with_evidence');
   }
-  protoOf(ProbSolveWithEvidence).d2m = function (_this__u8e3s4, first, second, third) {
-    Companion_getInstance_9().t2f(_this__u8e3s4, 2);
-    Companion_getInstance_9().x2f(_this__u8e3s4, 2);
+  protoOf(ProbSolveWithEvidence).g2m = function (_this__u8e3s4, first, second, third) {
+    Companion_getInstance_9().w2f(_this__u8e3s4, 2);
+    Companion_getInstance_9().a2g(_this__u8e3s4, 2);
     var evidenceExplanationVar = Companion_getInstance_0().of('EvidenceExplanation');
     var tmp;
-    if (ProbSetConfig_getInstance().b3a(_this__u8e3s4.context)) {
-      tmp = toTerm(Companion_getInstance_11().u38_1);
+    if (ProbSetConfig_getInstance().e3a(_this__u8e3s4.context)) {
+      tmp = toTerm(Companion_getInstance_11().x38_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().n3b(_this__u8e3s4.context));
-      tmp = solution.k1u().h2(evidenceExplanationVar);
+      var solution = _this__u8e3s4.subSolver().solveOnceWithOptions(subQuery, ProbSetConfig_getInstance().q3b(_this__u8e3s4.context));
+      tmp = solution.n1u().i2(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().n3b(_this__u8e3s4.context));
+    var solutions = tmp_1.solveWithOptions(tmp_2.of(tmp$ret$1, [goalExplanationVar, third]), ProbSetConfig_getInstance().q3b(_this__u8e3s4.context));
     return sequence(ProbSolveWithEvidence$computeAllSubstitutions$slambda_0(solutions, goalExplanationVar, evidenceExplanationTerm, _this__u8e3s4, first, second, null));
   };
-  protoOf(ProbSolveWithEvidence).p2h = function (_this__u8e3s4, first, second, third) {
-    return this.d2m(_this__u8e3s4, first, second, third);
+  protoOf(ProbSolveWithEvidence).s2h = function (_this__u8e3s4, first, second, third) {
+    return this.g2m(_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).g2i = function (_this__u8e3s4) {
+  protoOf(Prob).j2i = function (_this__u8e3s4) {
     return listOf_0([_this__u8e3s4.varOf('EXPL'), _this__u8e3s4.varOf('GOAL')]);
   };
-  protoOf(Prob).h2i = function (_this__u8e3s4) {
+  protoOf(Prob).k2i = 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).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).c1x = get_defaultRuntime;
+  protoOf(ProblogSolverFactory).e1x = get_defaultUnificator;
+  protoOf(ProblogSolverFactory).i1x = get_defaultStaticKb;
+  protoOf(ProblogSolverFactory).j1x = get_defaultDynamicKb;
+  protoOf(ProblogSolverFactory).k1x = get_defaultInputChannel;
+  protoOf(ProblogSolverFactory).l1x = get_defaultOutputChannel;
+  protoOf(ProblogSolverFactory).m1x = get_defaultErrorChannel;
+  protoOf(ProblogSolverFactory).n1x = get_defaultWarningsChannel;
+  protoOf(ProblogSolverFactory).v1x = solverWithDefaultBuiltins;
   protoOf(ProblogSolverFactory).solverWithDefaultBuiltinsAnd = solverWithDefaultBuiltinsAnd;
-  protoOf(ProblogSolverFactory).u1x = mutableSolverWithDefaultBuiltins;
+  protoOf(ProblogSolverFactory).x1x = mutableSolverWithDefaultBuiltins;
   protoOf(ProblogSolverFactory).mutableSolverWithDefaultBuiltinsAnd = mutableSolverWithDefaultBuiltinsAnd;
   defineProp(protoOf(ClauseMappingException), 'message', function () {
-    return this.o1();
+    return this.p1();
   });
-  protoOf(BinaryDecisionDiagramExplanation).h39 = get_probabilityOrNull;
+  protoOf(BinaryDecisionDiagramExplanation).k39 = get_probabilityOrNull;
   //endregion
   //region block: init
   ProblogSolverFactory_instance = new ProblogSolverFactory();