@tuprolog/2p-full 3.0.0 → 3.0.2

package/2p-solve-problog.js

@@ -219,7 +219,7 @@
   function get_probabilityOrNull() {
     var tmp;
     try {
-      tmp = this.get_probability_7g5yr8_k$();
+      tmp = this.l3n();
     } catch ($p) {
       var tmp_0;
       if ($p instanceof Error) {
@@ -265,163 +265,163 @@
   //endregion
   function MutableProblogSolver(solver) {
     ProblogSolver.call(this, solver);
-    this.solver_2 = solver;
+    this.g3l_1 = solver;
   }
-  protoOf(MutableProblogSolver).loadLibrary_q1n5nu_k$ = function (library) {
-    this.solver_2.loadLibrary(library);
+  protoOf(MutableProblogSolver).z3d = function (library) {
+    this.g3l_1.loadLibrary(library);
   };
   protoOf(MutableProblogSolver).loadLibrary = function (library) {
-    return this.loadLibrary_q1n5nu_k$(library);
+    return this.z3d(library);
   };
-  protoOf(MutableProblogSolver).unloadLibrary_v0n1oj_k$ = function (library) {
-    this.solver_2.unloadLibrary(library);
+  protoOf(MutableProblogSolver).a3e = function (library) {
+    this.g3l_1.unloadLibrary(library);
   };
   protoOf(MutableProblogSolver).unloadLibrary = function (library) {
-    return this.unloadLibrary_v0n1oj_k$(library);
+    return this.a3e(library);
   };
-  protoOf(MutableProblogSolver).setLibraries_6nxae9_k$ = function (libraries) {
-    this.solver_2.setLibraries(libraries);
+  protoOf(MutableProblogSolver).b3e = function (libraries) {
+    this.g3l_1.setLibraries(libraries);
   };
   protoOf(MutableProblogSolver).setLibraries = function (libraries) {
-    return this.setLibraries_6nxae9_k$(libraries);
+    return this.b3e(libraries);
   };
-  protoOf(MutableProblogSolver).loadStaticKb_2i4jai_k$ = function (theory) {
-    this.solver_2.loadStaticKb(Companion_instance_10.ofIterable(this.solver_2.get_unificator_xw6v3j_k$(), theory));
+  protoOf(MutableProblogSolver).c3e = function (theory) {
+    this.g3l_1.loadStaticKb(Companion_instance_10.ofIterable(this.g3l_1.v1n(), theory));
   };
   protoOf(MutableProblogSolver).loadStaticKb = function (theory) {
-    return this.loadStaticKb_2i4jai_k$(theory);
+    return this.c3e(theory);
   };
-  protoOf(MutableProblogSolver).appendStaticKb_uqqmam_k$ = function (theory) {
-    this.solver_2.appendStaticKb(Companion_instance_10.ofIterable(this.solver_2.get_unificator_xw6v3j_k$(), theory));
+  protoOf(MutableProblogSolver).d3e = function (theory) {
+    this.g3l_1.appendStaticKb(Companion_instance_10.ofIterable(this.g3l_1.v1n(), theory));
   };
   protoOf(MutableProblogSolver).appendStaticKb = function (theory) {
-    return this.appendStaticKb_uqqmam_k$(theory);
+    return this.d3e(theory);
   };
-  protoOf(MutableProblogSolver).resetStaticKb_rhuuis_k$ = function () {
-    this.solver_2.resetStaticKb();
+  protoOf(MutableProblogSolver).e3e = function () {
+    this.g3l_1.resetStaticKb();
   };
   protoOf(MutableProblogSolver).resetStaticKb = function () {
-    return this.resetStaticKb_rhuuis_k$();
+    return this.e3e();
   };
-  protoOf(MutableProblogSolver).loadDynamicKb_5wazkf_k$ = function (theory) {
-    this.solver_2.loadDynamicKb(Companion_instance_10.ofIterable(this.solver_2.get_unificator_xw6v3j_k$(), theory));
+  protoOf(MutableProblogSolver).f3e = function (theory) {
+    this.g3l_1.loadDynamicKb(Companion_instance_10.ofIterable(this.g3l_1.v1n(), theory));
   };
   protoOf(MutableProblogSolver).loadDynamicKb = function (theory) {
-    return this.loadDynamicKb_5wazkf_k$(theory);
+    return this.f3e(theory);
   };
-  protoOf(MutableProblogSolver).appendDynamicKb_sxywyj_k$ = function (theory) {
-    this.solver_2.appendDynamicKb(Companion_instance_10.ofIterable(this.solver_2.get_unificator_xw6v3j_k$(), theory));
+  protoOf(MutableProblogSolver).g3e = function (theory) {
+    this.g3l_1.appendDynamicKb(Companion_instance_10.ofIterable(this.g3l_1.v1n(), theory));
   };
   protoOf(MutableProblogSolver).appendDynamicKb = function (theory) {
-    return this.appendDynamicKb_sxywyj_k$(theory);
+    return this.g3e(theory);
   };
-  protoOf(MutableProblogSolver).resetDynamicKb_ja5swn_k$ = function () {
-    this.solver_2.resetDynamicKb();
+  protoOf(MutableProblogSolver).h3e = function () {
+    this.g3l_1.resetDynamicKb();
   };
   protoOf(MutableProblogSolver).resetDynamicKb = function () {
-    return this.resetDynamicKb_ja5swn_k$();
+    return this.h3e();
   };
-  protoOf(MutableProblogSolver).assertA_tusqwa_k$ = function (clause) {
-    this.solver_2.assertA(first(Companion_instance_10.of(this.solver_2.get_unificator_xw6v3j_k$(), [clause]).get_clauses_fdta0r_k$()));
+  protoOf(MutableProblogSolver).h1p = function (clause) {
+    this.g3l_1.assertA(first(Companion_instance_10.of(this.g3l_1.v1n(), [clause]).f1o()));
   };
   protoOf(MutableProblogSolver).assertA = function (clause) {
-    return this.assertA_tusqwa_k$(clause);
+    return this.h1p(clause);
   };
-  protoOf(MutableProblogSolver).assertAFact_a3ln65_k$ = function (fact) {
-    this.solver_2.assertA(first(Companion_instance_10.of(this.solver_2.get_unificator_xw6v3j_k$(), [Companion_instance.of(fact)]).get_clauses_fdta0r_k$()));
+  protoOf(MutableProblogSolver).i3e = function (fact) {
+    this.g3l_1.assertA(first(Companion_instance_10.of(this.g3l_1.v1n(), [Companion_instance.of(fact)]).f1o()));
   };
   protoOf(MutableProblogSolver).assertAFact = function (fact) {
-    return this.assertAFact_a3ln65_k$(fact);
+    return this.i3e(fact);
   };
-  protoOf(MutableProblogSolver).assertZ_zg84ar_k$ = function (clause) {
-    this.solver_2.assertZ(first(Companion_instance_10.of(this.solver_2.get_unificator_xw6v3j_k$(), [clause]).get_clauses_fdta0r_k$()));
+  protoOf(MutableProblogSolver).i1o = function (clause) {
+    this.g3l_1.assertZ(first(Companion_instance_10.of(this.g3l_1.v1n(), [clause]).f1o()));
   };
   protoOf(MutableProblogSolver).assertZ = function (clause) {
-    return this.assertZ_zg84ar_k$(clause);
+    return this.i1o(clause);
   };
-  protoOf(MutableProblogSolver).assertZFact_vgt1ys_k$ = function (fact) {
-    this.solver_2.assertA(first(Companion_instance_10.of(this.solver_2.get_unificator_xw6v3j_k$(), [Companion_instance.of(fact)]).get_clauses_fdta0r_k$()));
+  protoOf(MutableProblogSolver).j3e = function (fact) {
+    this.g3l_1.assertA(first(Companion_instance_10.of(this.g3l_1.v1n(), [Companion_instance.of(fact)]).f1o()));
   };
   protoOf(MutableProblogSolver).assertZFact = function (fact) {
-    return this.assertZFact_vgt1ys_k$(fact);
+    return this.j3e(fact);
   };
-  protoOf(MutableProblogSolver).retract_hfhq2o_k$ = function (clause) {
-    return this.solver_2.retract(first(Companion_instance_10.of(this.solver_2.get_unificator_xw6v3j_k$(), [clause]).get_clauses_fdta0r_k$()));
+  protoOf(MutableProblogSolver).b1w = function (clause) {
+    return this.g3l_1.retract(first(Companion_instance_10.of(this.g3l_1.v1n(), [clause]).f1o()));
   };
   protoOf(MutableProblogSolver).retract = function (clause) {
-    return this.retract_hfhq2o_k$(clause);
+    return this.b1w(clause);
   };
-  protoOf(MutableProblogSolver).retractByHead_iva4y4_k$ = function (fact) {
-    return this.solver_2.retract(first(Companion_instance_10.of(this.solver_2.get_unificator_xw6v3j_k$(), [Companion_instance.of(fact)]).get_clauses_fdta0r_k$()));
+  protoOf(MutableProblogSolver).c1w = function (fact) {
+    return this.g3l_1.retract(first(Companion_instance_10.of(this.g3l_1.v1n(), [Companion_instance.of(fact)]).f1o()));
   };
   protoOf(MutableProblogSolver).retractByHead = function (fact) {
-    return this.retractByHead_iva4y4_k$(fact);
+    return this.c1w(fact);
   };
-  protoOf(MutableProblogSolver).retractAll_ggzq75_k$ = function (clause) {
-    return this.solver_2.retractAll(first(Companion_instance_10.of(this.solver_2.get_unificator_xw6v3j_k$(), [clause]).get_clauses_fdta0r_k$()));
+  protoOf(MutableProblogSolver).n1o = function (clause) {
+    return this.g3l_1.retractAll(first(Companion_instance_10.of(this.g3l_1.v1n(), [clause]).f1o()));
   };
   protoOf(MutableProblogSolver).retractAll = function (clause) {
-    return this.retractAll_ggzq75_k$(clause);
+    return this.n1o(clause);
   };
-  protoOf(MutableProblogSolver).retractAllBeHead_dm84sf_k$ = function (fact) {
-    return this.solver_2.retractAll(first(Companion_instance_10.of(this.solver_2.get_unificator_xw6v3j_k$(), [Companion_instance.of(fact)]).get_clauses_fdta0r_k$()));
+  protoOf(MutableProblogSolver).k3e = function (fact) {
+    return this.g3l_1.retractAll(first(Companion_instance_10.of(this.g3l_1.v1n(), [Companion_instance.of(fact)]).f1o()));
   };
   protoOf(MutableProblogSolver).retractAllBeHead = function (fact) {
-    return this.retractAllBeHead_dm84sf_k$(fact);
+    return this.k3e(fact);
   };
-  protoOf(MutableProblogSolver).setFlag_38uvxd_k$ = function (name, value) {
-    this.solver_2.setFlag(name, value);
+  protoOf(MutableProblogSolver).l3e = function (name, value) {
+    this.g3l_1.setFlag(name, value);
   };
   protoOf(MutableProblogSolver).setFlag = function (name, value) {
-    return this.setFlag_38uvxd_k$(name, value);
+    return this.l3e(name, value);
   };
-  protoOf(MutableProblogSolver).setFlagPair_5b01qk_k$ = function (flag) {
-    this.solver_2.setFlagPair(flag);
+  protoOf(MutableProblogSolver).m3e = function (flag) {
+    this.g3l_1.setFlagPair(flag);
   };
   protoOf(MutableProblogSolver).setFlagPair = function (flag) {
-    return this.setFlagPair_5b01qk_k$(flag);
+    return this.m3e(flag);
   };
-  protoOf(MutableProblogSolver).setFlagNotable_13nuxs_k$ = function (flag) {
-    this.solver_2.setFlagNotable(flag);
+  protoOf(MutableProblogSolver).n3e = function (flag) {
+    this.g3l_1.setFlagNotable(flag);
   };
   protoOf(MutableProblogSolver).setFlagNotable = function (flag) {
-    return this.setFlagNotable_13nuxs_k$(flag);
+    return this.n3e(flag);
   };
-  protoOf(MutableProblogSolver).setStandardInput_4u5ra6_k$ = function (stdIn) {
-    this.solver_2.setStandardInput(stdIn);
+  protoOf(MutableProblogSolver).o3e = function (stdIn) {
+    this.g3l_1.setStandardInput(stdIn);
   };
   protoOf(MutableProblogSolver).setStandardInput = function (stdIn) {
-    return this.setStandardInput_4u5ra6_k$(stdIn);
+    return this.o3e(stdIn);
   };
-  protoOf(MutableProblogSolver).setStandardError_7qwifb_k$ = function (stdErr) {
-    this.solver_2.setStandardError(stdErr);
+  protoOf(MutableProblogSolver).p3e = function (stdErr) {
+    this.g3l_1.setStandardError(stdErr);
   };
   protoOf(MutableProblogSolver).setStandardError = function (stdErr) {
-    return this.setStandardError_7qwifb_k$(stdErr);
+    return this.p3e(stdErr);
   };
-  protoOf(MutableProblogSolver).setStandardOutput_apporm_k$ = function (stdOut) {
-    this.solver_2.setStandardOutput(stdOut);
+  protoOf(MutableProblogSolver).q3e = function (stdOut) {
+    this.g3l_1.setStandardOutput(stdOut);
   };
   protoOf(MutableProblogSolver).setStandardOutput = function (stdOut) {
-    return this.setStandardOutput_apporm_k$(stdOut);
+    return this.q3e(stdOut);
   };
-  protoOf(MutableProblogSolver).setWarnings_9w8les_k$ = function (warnings) {
-    this.solver_2.setWarnings(warnings);
+  protoOf(MutableProblogSolver).r3e = function (warnings) {
+    this.g3l_1.setWarnings(warnings);
   };
   protoOf(MutableProblogSolver).setWarnings = function (warnings) {
-    return this.setWarnings_9w8les_k$(warnings);
+    return this.r3e(warnings);
   };
-  protoOf(MutableProblogSolver).copy_equ050_k$ = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
-    return new MutableProblogSolver(this.solver_2.copy_equ050_k$(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings));
+  protoOf(MutableProblogSolver).a1z = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
+    return new MutableProblogSolver(this.g3l_1.a1z(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).clone_1keycd_k$ = function () {
-    return new MutableProblogSolver(this.solver_2.clone_1keycd_k$());
+  protoOf(MutableProblogSolver).k1v = function () {
+    return new MutableProblogSolver(this.g3l_1.k1v());
   };
   protoOf(MutableProblogSolver).clone = function () {
-    return this.clone_1keycd_k$();
+    return this.k1v();
   };
   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().toProbConfigTerm_kcau8_k$(options)]);
+    var tmp_1 = tmp_0.of(tmp$ret$0, [ProbSetConfig_getInstance().u3l(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.solver_1.solveWithOptions(tmp.of(tmp_1, tmp_2.of(tmp$ret$1, [anonVar, goal])), options);
+    var tmp_3 = $this.h3l_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.solver_1.solveWithOptions(tmp.of(tmp$ret$0, [probabilityVar, goal, ProbSetConfig_getInstance().toProbConfigTerm_kcau8_k$(options), bddVar]), options);
+    var tmp_0 = $this.h3l_1.solveWithOptions(tmp.of(tmp$ret$0, [probabilityVar, goal, ProbSetConfig_getInstance().u3l(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.get_substitution_i7fi9y_k$();
-        tmp = tmp_0.yes_cwt97u_k$($goal, tmp_1.filter_fevdr4_k$(ProblogSolver$solveNonProbabilistically$lambda$lambda($anonVar)));
+        var tmp_1 = it.p1x();
+        tmp = tmp_0.t1z($goal, tmp_1.x12(ProblogSolver$solveNonProbabilistically$lambda$lambda($anonVar)));
       } else {
         if (isInterface(it, Halt)) {
-          tmp = Companion_instance_1.halt($goal, it.get_exception_x0n6w6_k$());
+          tmp = Companion_instance_1.halt($goal, it.l1z());
         } 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.get_substitution_i7fi9y_k$().get_wei43m_k$($probabilityVar);
-      var bddTerm = it.get_substitution_i7fi9y_k$().get_wei43m_k$($bddVar);
+      var probabilityTerm = it.p1x().j2($probabilityVar);
+      var bddTerm = it.p1x().j2($bddVar);
       var tmp;
       if (isInterface(it, Yes)) {
         var tmp_0 = Companion_instance_1;
-        var tmp_1 = it.get_substitution_i7fi9y_k$();
-        tmp = tmp_0.yes_cwt97u_k$($goal, tmp_1.filter_fevdr4_k$(ProblogSolver$solveProbabilistically$lambda$lambda($probabilityVar, $bddVar)));
+        var tmp_1 = it.p1x();
+        tmp = tmp_0.t1z($goal, tmp_1.x12(ProblogSolver$solveProbabilistically$lambda$lambda($probabilityVar, $bddVar)));
       } else {
         if (isInterface(it, Halt)) {
-          tmp = Companion_instance_1.halt($goal, it.get_exception_x0n6w6_k$());
+          tmp = Companion_instance_1.halt($goal, it.l1z());
         } 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.get_decimalValue_7pja3t_k$().toDouble());
+          tmp_3 = setProbability(newSolution, probabilityTerm.o11().toDouble());
         } else {
           tmp_3 = setProbability(newSolution, NaN);
         }
@@ -527,9 +527,9 @@
           tmp_4 = false;
         }
         if (tmp_4) {
-          var explanation = bddTerm.explanation_1;
+          var explanation = bddTerm.w3l_1;
           if (explanation instanceof BinaryDecisionDiagramExplanation) {
-            newSolution = setBinaryDecisionDiagram(newSolution, explanation.diagram_1);
+            newSolution = setBinaryDecisionDiagram(newSolution, explanation.x3l_1);
           }
         }
         tmp_2 = newSolution;
@@ -538,9 +538,9 @@
     };
   }
   function ProblogSolver(solver) {
-    this.solver_1 = solver;
+    this.h3l_1 = solver;
   }
-  protoOf(ProblogSolver).solveWithOptions_5o6xex_k$ = function (goal, options) {
+  protoOf(ProblogSolver).x2f = 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.solveWithOptions_5o6xex_k$(goal, options);
+    return this.x2f(goal, options);
   };
-  protoOf(ProblogSolver).solveWithTimeout_duwkjw_k$ = function (goal, timeout) {
-    return this.solveWithOptions_5o6xex_k$(goal, Companion_getInstance_2().allLazilyWithTimeout(timeout));
+  protoOf(ProblogSolver).i3l = function (goal, timeout) {
+    return this.x2f(goal, Companion_getInstance_2().allLazilyWithTimeout(timeout));
   };
   protoOf(ProblogSolver).solveWithTimeout = function (goal, timeout) {
-    return this.solveWithTimeout_duwkjw_k$(goal, timeout);
+    return this.i3l(goal, timeout);
   };
-  protoOf(ProblogSolver).solve_yemo91_k$ = function (goal) {
-    return this.solveWithOptions_5o6xex_k$(goal, Companion_getInstance_2().DEFAULT);
+  protoOf(ProblogSolver).j3l = function (goal) {
+    return this.x2f(goal, Companion_getInstance_2().DEFAULT);
   };
   protoOf(ProblogSolver).solve = function (goal) {
-    return this.solve_yemo91_k$(goal);
+    return this.j3l(goal);
   };
-  protoOf(ProblogSolver).solveListWithTimeout_r7o3t6_k$ = function (goal, timeout) {
-    return toList(this.solveWithTimeout_duwkjw_k$(goal, timeout));
+  protoOf(ProblogSolver).k3l = function (goal, timeout) {
+    return toList(this.i3l(goal, timeout));
   };
   protoOf(ProblogSolver).solveListWithTimeout = function (goal, timeout) {
-    return this.solveListWithTimeout_r7o3t6_k$(goal, timeout);
+    return this.k3l(goal, timeout);
   };
-  protoOf(ProblogSolver).solveList_wz9v95_k$ = function (goal) {
-    return toList(this.solve_yemo91_k$(goal));
+  protoOf(ProblogSolver).l3l = function (goal) {
+    return toList(this.j3l(goal));
   };
   protoOf(ProblogSolver).solveList = function (goal) {
-    return this.solveList_wz9v95_k$(goal);
+    return this.l3l(goal);
   };
-  protoOf(ProblogSolver).solveListWithOptions_6irtg5_k$ = function (goal, options) {
-    return toList(this.solveWithOptions_5o6xex_k$(goal, options));
+  protoOf(ProblogSolver).m3l = function (goal, options) {
+    return toList(this.x2f(goal, options));
   };
   protoOf(ProblogSolver).solveListWithOptions = function (goal, options) {
-    return this.solveListWithOptions_6irtg5_k$(goal, options);
+    return this.m3l(goal, options);
   };
-  protoOf(ProblogSolver).solveOnceWithTimeout_lq9a37_k$ = function (goal, timeout) {
-    return first_0(this.solveWithOptions_5o6xex_k$(goal, Companion_getInstance_2().someLazilyWithTimeout(1, timeout)));
+  protoOf(ProblogSolver).n3l = function (goal, timeout) {
+    return first_0(this.x2f(goal, Companion_getInstance_2().someLazilyWithTimeout(1, timeout)));
   };
   protoOf(ProblogSolver).solveOnceWithTimeout = function (goal, timeout) {
-    return this.solveOnceWithTimeout_lq9a37_k$(goal, timeout);
+    return this.n3l(goal, timeout);
   };
-  protoOf(ProblogSolver).solveOnce_yolml8_k$ = function (goal) {
-    return first_0(this.solveWithOptions_5o6xex_k$(goal, Companion_getInstance_2().someLazily(1)));
+  protoOf(ProblogSolver).o3l = function (goal) {
+    return first_0(this.x2f(goal, Companion_getInstance_2().someLazily(1)));
   };
   protoOf(ProblogSolver).solveOnce = function (goal) {
-    return this.solveOnce_yolml8_k$(goal);
+    return this.o3l(goal);
   };
-  protoOf(ProblogSolver).solveOnceWithOptions_w35mu0_k$ = function (goal, options) {
-    return first_0(this.solveWithOptions_5o6xex_k$(goal, options.setLimit(1)));
+  protoOf(ProblogSolver).p3l = function (goal, options) {
+    return first_0(this.x2f(goal, options.setLimit(1)));
   };
   protoOf(ProblogSolver).solveOnceWithOptions = function (goal, options) {
-    return this.solveOnceWithOptions_w35mu0_k$(goal, options);
+    return this.p3l(goal, options);
   };
-  protoOf(ProblogSolver).copy_equ050_k$ = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
-    return new ProblogSolver(this.solver_1.copy_equ050_k$(unificator, libraries, flags, Companion_instance_10.ofIterable(unificator, staticKb), Companion_instance_10.ofIterable(unificator, dynamicKb), stdIn, stdOut, stdErr, warnings));
+  protoOf(ProblogSolver).a1z = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
+    return new ProblogSolver(this.h3l_1.a1z(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).clone_1keycd_k$ = function () {
-    return new ProblogSolver(this.solver_1.clone());
+  protoOf(ProblogSolver).k1v = function () {
+    return new ProblogSolver(this.h3l_1.clone());
   };
   protoOf(ProblogSolver).clone = function () {
-    return this.clone_1keycd_k$();
+    return this.k1v();
   };
-  protoOf(ProblogSolver).get_libraries_lyf10w_k$ = function () {
-    return this.solver_1.get_libraries_lyf10w_k$();
+  protoOf(ProblogSolver).t1x = function () {
+    return this.h3l_1.t1x();
   };
-  protoOf(ProblogSolver).get_flags_irfhb2_k$ = function () {
-    return this.solver_1.get_flags_irfhb2_k$();
+  protoOf(ProblogSolver).u1x = function () {
+    return this.h3l_1.u1x();
   };
-  protoOf(ProblogSolver).get_staticKb_a01l1u_k$ = function () {
-    return this.solver_1.get_staticKb_a01l1u_k$();
+  protoOf(ProblogSolver).v1x = function () {
+    return this.h3l_1.v1x();
   };
-  protoOf(ProblogSolver).get_dynamicKb_wvqg8j_k$ = function () {
-    return this.solver_1.get_dynamicKb_wvqg8j_k$();
+  protoOf(ProblogSolver).w1x = function () {
+    return this.h3l_1.w1x();
   };
-  protoOf(ProblogSolver).get_operators_z0nmfu_k$ = function () {
-    return this.solver_1.get_operators_z0nmfu_k$();
+  protoOf(ProblogSolver).c1y = function () {
+    return this.h3l_1.c1y();
   };
-  protoOf(ProblogSolver).get_inputChannels_uyf05t_k$ = function () {
-    return this.solver_1.get_inputChannels_uyf05t_k$();
+  protoOf(ProblogSolver).x1x = function () {
+    return this.h3l_1.x1x();
   };
-  protoOf(ProblogSolver).get_outputChannels_ffvoca_k$ = function () {
-    return this.solver_1.get_outputChannels_ffvoca_k$();
+  protoOf(ProblogSolver).y1x = function () {
+    return this.h3l_1.y1x();
   };
-  protoOf(ProblogSolver).get_standardInput_yibe3g_k$ = function () {
-    return this.solver_1.get_standardInput_yibe3g_k$();
+  protoOf(ProblogSolver).d1y = function () {
+    return this.h3l_1.d1y();
   };
-  protoOf(ProblogSolver).get_standardOutput_1cxkgp_k$ = function () {
-    return this.solver_1.get_standardOutput_1cxkgp_k$();
+  protoOf(ProblogSolver).e1y = function () {
+    return this.h3l_1.e1y();
   };
-  protoOf(ProblogSolver).get_standardError_ykfz6m_k$ = function () {
-    return this.solver_1.get_standardError_ykfz6m_k$();
+  protoOf(ProblogSolver).f1y = function () {
+    return this.h3l_1.f1y();
   };
-  protoOf(ProblogSolver).get_warnings_nkdx40_k$ = function () {
-    return this.solver_1.get_warnings_nkdx40_k$();
+  protoOf(ProblogSolver).g1y = function () {
+    return this.h3l_1.g1y();
   };
-  protoOf(ProblogSolver).get_unificator_xw6v3j_k$ = function () {
-    return this.solver_1.get_unificator_xw6v3j_k$();
+  protoOf(ProblogSolver).v1n = function () {
+    return this.h3l_1.v1n();
   };
   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().get_alias_iooo4n_k$();
-    if (!(isInterface(libraries, KtMap) ? libraries : THROW_CCE()).containsKey_aw81wo_k$(key)) {
+    var key = ProblogLib_getInstance().w2i();
+    if (!(isInterface(libraries, KtMap) ? libraries : THROW_CCE()).h2(key)) {
       tmp = libraries.plusLibrary(MinimalBuiltins_getInstance());
     } else {
       tmp = libraries;
@@ -665,36 +665,36 @@
     return tmp;
   }
   function ProblogSolverFactory$ensureVariablesTracking$lambda($this$TrackVariables) {
-    return $this$TrackVariables.ON_1;
+    return $this$TrackVariables.g2d_1;
   }
   function ProblogSolverFactory() {
   }
-  protoOf(ProblogSolverFactory).get_defaultBuiltins_lwij14_k$ = function () {
+  protoOf(ProblogSolverFactory).b21 = function () {
     return DefaultBuiltins_getInstance_0();
   };
-  protoOf(ProblogSolverFactory).get_defaultFlags_6lgyr5_k$ = function () {
+  protoOf(ProblogSolverFactory).d21 = function () {
     return ensureVariablesTracking(this, get_defaultFlags.call(this));
   };
-  protoOf(ProblogSolverFactory).solverOf_7gm3c2_k$ = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs) {
-    return new ProblogSolver(PrologSolverFactory_instance.solverOf_7gm3c2_k$(unificator, fixLibraries(this, libraries), ensureVariablesTracking(this, flags), Companion_instance_10.ofIterable(unificator, staticKb), Companion_instance_10.ofIterable(unificator, dynamicKb), inputs, outputs));
+  protoOf(ProblogSolverFactory).m21 = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs) {
+    return new ProblogSolver(PrologSolverFactory_instance.m21(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).solverOf_dn642x_k$ = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
-    return new ProblogSolver(PrologSolverFactory_instance.solverOf_dn642x_k$(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).s21 = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
+    return new ProblogSolver(PrologSolverFactory_instance.s21(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).mutableSolverOf_wmp0rz_k$ = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
-    return new MutableProblogSolver(PrologSolverFactory_instance.mutableSolverOf_wmp0rz_k$(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).u21 = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
+    return new MutableProblogSolver(PrologSolverFactory_instance.u21(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).mutableSolverOf_16557c_k$ = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs) {
-    return new MutableProblogSolver(PrologSolverFactory_instance.mutableSolverOf_16557c_k$(unificator, fixLibraries(this, libraries), ensureVariablesTracking(this, flags), Companion_instance_10.ofIterable(unificator, staticKb), Companion_instance_10.ofIterable(unificator, dynamicKb), inputs, outputs));
+  protoOf(ProblogSolverFactory).w21 = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs) {
+    return new MutableProblogSolver(PrologSolverFactory_instance.w21(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).get_alias_iooo4n_k$ = function () {
-    return ProblogLib_getInstance().get_alias_iooo4n_k$();
+  protoOf(DefaultBuiltins).w2i = function () {
+    return ProblogLib_getInstance().w2i();
   };
-  protoOf(DefaultBuiltins).get_additionalOperators_ifx7cx_k$ = function () {
-    return ProblogLib_getInstance().get_additionalOperators_ifx7cx_k$();
+  protoOf(DefaultBuiltins).h2j = function () {
+    return ProblogLib_getInstance().h2j();
   };
-  protoOf(DefaultBuiltins).get_additionalPrimitives_kt57lw_k$ = function () {
-    return ProblogLib_getInstance().get_additionalPrimitives_kt57lw_k$();
+  protoOf(DefaultBuiltins).j2j = function () {
+    return ProblogLib_getInstance().j2j();
   };
-  protoOf(DefaultBuiltins).get_additionalRules_xfzx7d_k$ = function () {
-    return ProblogLib_getInstance().get_additionalRules_xfzx7d_k$();
+  protoOf(DefaultBuiltins).i2j = function () {
+    return ProblogLib_getInstance().i2j();
   };
   var DefaultBuiltins_instance;
   function DefaultBuiltins_getInstance_0() {
@@ -729,10 +729,10 @@
     MinimalBuiltins_instance = this;
     ExtensionLibrary.call(this, ProblogLib_getInstance());
   }
-  protoOf(MinimalBuiltins).get_additionalPrimitives_kt57lw_k$ = function () {
+  protoOf(MinimalBuiltins).j2j = function () {
     return listOf(EnsureExecutable_getInstance());
   };
-  protoOf(MinimalBuiltins).get_additionalRules_xfzx7d_k$ = function () {
+  protoOf(MinimalBuiltins).i2j = 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.EXPLANATION_VAR_NAME_1 = 'EXPL';
-    this.EVIDENCE_PREDICATE_1 = 'evidence';
-    this.PREDICATE_PREFIX_1 = 'prob';
+    this.o3m_1 = 'EXPL';
+    this.p3m_1 = 'evidence';
+    this.q3m_1 = 'prob';
   }
-  protoOf(ProblogLib).get_additionalOperators_ifx7cx_k$ = function () {
+  protoOf(ProblogLib).h2j = function () {
     return get_PROBLOG_SPECIFIC_OPERATORS();
   };
-  protoOf(ProblogLib).get_additionalRules_xfzx7d_k$ = function () {
+  protoOf(ProblogLib).i2j = function () {
     return listOf(Prob_getInstance());
   };
-  protoOf(ProblogLib).get_additionalPrimitives_kt57lw_k$ = function () {
+  protoOf(ProblogLib).j2j = 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.message_1 = message;
+    this.x3m_1 = message;
     delete this.message;
   }
-  protoOf(ClauseMappingException).get_message_h23axq_k$ = function () {
-    return this.message_1;
+  protoOf(ClauseMappingException).p1 = function () {
+    return this.x3m_1;
   };
   function Companion() {
   }
@@ -794,7 +794,7 @@
       var item = clauses[inductionVariable];
       inductionVariable = inductionVariable + 1 | 0;
       var tmp$ret$2 = item(Companion_instance_2.empty());
-      destination.add_utx5q5_k$(tmp$ret$2);
+      destination.l(tmp$ret$2);
     }
     return this.ofIterable(unificator, destination);
   };
@@ -807,11 +807,11 @@
   }
   function Companion_0() {
     Companion_instance_9 = this;
-    this.FALSE_1 = new BinaryDecisionDiagramExplanation(bddTerminalOf(false), Companion_getInstance_13().FALSE_COMPUTED_VALUE_1);
-    this.TRUE_1 = new BinaryDecisionDiagramExplanation(bddTerminalOf(true), Companion_getInstance_13().TRUE_COMPUTED_VALUE_1);
+    this.y3m_1 = new BinaryDecisionDiagramExplanation(bddTerminalOf(false), Companion_getInstance_13().b3n_1);
+    this.z3m_1 = new BinaryDecisionDiagramExplanation(bddTerminalOf(true), Companion_getInstance_13().c3n_1);
   }
-  protoOf(Companion_0).of_80r6fo_k$ = function (term) {
-    return new BinaryDecisionDiagramExplanation(bddOf(term), new ComputedValue(term.probability_1));
+  protoOf(Companion_0).d3n = function (term) {
+    return new BinaryDecisionDiagramExplanation(bddOf(term), new ComputedValue(term.g3n_1));
   };
   var Companion_instance_9;
   function Companion_getInstance_11() {
@@ -822,364 +822,364 @@
   function ProbExplanation() {
   }
   function ProbExplanationTerm$freshCopy$lambda(it) {
-    return it.freshCopy_fcm65_k$();
+    return it.bx();
   }
   function ProbExplanationTerm$freshCopy$lambda_0($scope) {
     return function (it) {
-      return it.freshCopyFromScope_tnhsyi_k$($scope);
+      return it.cx($scope);
     };
   }
   function ProbExplanationTerm$apply$lambda($substitution) {
     return function (it) {
-      return it.applySubstitution_t7osbf_k$($substitution);
+      return it.r17($substitution);
     };
   }
   function ProbExplanationTerm(explanation) {
-    this.$$delegate_0__1 = Companion_getInstance_4().of('<expl:' + explanation.toString() + '>');
-    this.explanation_1 = explanation;
+    this.v3l_1 = Companion_getInstance_4().of('<expl:' + explanation.toString() + '>');
+    this.w3l_1 = explanation;
   }
-  protoOf(ProbExplanationTerm).get_isConstant_scia2f_k$ = function () {
+  protoOf(ProbExplanationTerm).xx = function () {
     return false;
   };
-  protoOf(ProbExplanationTerm).asConstant_3hn112_k$ = function () {
+  protoOf(ProbExplanationTerm).by = function () {
     return this;
   };
   protoOf(ProbExplanationTerm).asConstant = function () {
-    return this.asConstant_3hn112_k$();
+    return this.by();
   };
-  protoOf(ProbExplanationTerm).freshCopy_fcm65_k$ = function () {
-    return new ProbExplanationTerm(this.explanation_1.applyTransformation(ProbExplanationTerm$freshCopy$lambda));
+  protoOf(ProbExplanationTerm).bx = function () {
+    return new ProbExplanationTerm(this.w3l_1.applyTransformation(ProbExplanationTerm$freshCopy$lambda));
   };
   protoOf(ProbExplanationTerm).freshCopy = function () {
-    return this.freshCopy_fcm65_k$();
+    return this.bx();
   };
-  protoOf(ProbExplanationTerm).freshCopyFromScope_tnhsyi_k$ = function (scope) {
-    return new ProbExplanationTerm(this.explanation_1.applyTransformation(ProbExplanationTerm$freshCopy$lambda_0(scope)));
+  protoOf(ProbExplanationTerm).cx = function (scope) {
+    return new ProbExplanationTerm(this.w3l_1.applyTransformation(ProbExplanationTerm$freshCopy$lambda_0(scope)));
   };
   protoOf(ProbExplanationTerm).freshCopyFromScope = function (scope) {
-    return this.freshCopyFromScope_tnhsyi_k$(scope);
+    return this.cx(scope);
   };
-  protoOf(ProbExplanationTerm).getSubstituted_8310r6_k$ = function (substitution, substitutions) {
-    return this.apply_jso7fw_k$(substitution, substitutions.slice());
+  protoOf(ProbExplanationTerm).f2u = function (substitution, substitutions) {
+    return this.g2u(substitution, substitutions.slice());
   };
   protoOf(ProbExplanationTerm).getSubstituted = function (substitution, substitutions) {
-    return this.getSubstituted_8310r6_k$(substitution, substitutions);
+    return this.f2u(substitution, substitutions);
   };
-  protoOf(ProbExplanationTerm).apply_jso7fw_k$ = function (substitution, substitutions) {
-    return this.applySubstitution_t7osbf_k$(Companion_getInstance_5().ofSubstitution(substitution, substitutions.slice()));
+  protoOf(ProbExplanationTerm).g2u = function (substitution, substitutions) {
+    return this.r17(Companion_getInstance_5().ofSubstitution(substitution, substitutions.slice()));
   };
   protoOf(ProbExplanationTerm).apply = function (substitution, substitutions) {
-    return this.apply_jso7fw_k$(substitution, substitutions);
+    return this.g2u(substitution, substitutions);
   };
-  protoOf(ProbExplanationTerm).applySubstitution_t7osbf_k$ = function (substitution) {
+  protoOf(ProbExplanationTerm).r17 = function (substitution) {
     var tmp;
-    if (substitution.isEmpty_y1axqb_k$() || this.get_isGround_twq4nu_k$()) {
+    if (substitution.i() || this.cy()) {
       tmp = this;
     } else {
-      tmp = new ProbExplanationTerm(this.explanation_1.applyTransformation(ProbExplanationTerm$apply$lambda(substitution)));
+      tmp = new ProbExplanationTerm(this.w3l_1.applyTransformation(ProbExplanationTerm$apply$lambda(substitution)));
     }
     return tmp;
   };
   protoOf(ProbExplanationTerm).applySubstitution = function (substitution) {
-    return this.applySubstitution_t7osbf_k$(substitution);
+    return this.r17(substitution);
   };
-  protoOf(ProbExplanationTerm).get_isGround_twq4nu_k$ = function () {
-    return !this.explanation_1.get_containsNonGroundTerm_exngzs_k$();
+  protoOf(ProbExplanationTerm).cy = function () {
+    return !this.w3l_1.n3n();
   };
-  protoOf(ProbExplanationTerm).asAtom_nbael9_k$ = function () {
-    return this.$$delegate_0__1.asAtom_nbael9_k$();
+  protoOf(ProbExplanationTerm).dx = function () {
+    return this.v3l_1.dx();
   };
   protoOf(ProbExplanationTerm).asAtom = function () {
-    return this.asAtom_nbael9_k$();
+    return this.dx();
   };
-  protoOf(ProbExplanationTerm).get_arity_iosiic_k$ = function () {
-    return this.$$delegate_0__1.get_arity_iosiic_k$();
+  protoOf(ProbExplanationTerm).sw = function () {
+    return this.v3l_1.sw();
   };
-  protoOf(ProbExplanationTerm).get_isAtom_evuq3o_k$ = function () {
-    return this.$$delegate_0__1.get_isAtom_evuq3o_k$();
+  protoOf(ProbExplanationTerm).tw = function () {
+    return this.v3l_1.tw();
   };
-  protoOf(ProbExplanationTerm).get_isEmptyBlock_mhm4pf_k$ = function () {
-    return this.$$delegate_0__1.get_isEmptyBlock_mhm4pf_k$();
+  protoOf(ProbExplanationTerm).uw = function () {
+    return this.v3l_1.uw();
   };
-  protoOf(ProbExplanationTerm).get_isEmptyList_9w8q3c_k$ = function () {
-    return this.$$delegate_0__1.get_isEmptyList_9w8q3c_k$();
+  protoOf(ProbExplanationTerm).vw = function () {
+    return this.v3l_1.vw();
   };
-  protoOf(ProbExplanationTerm).get_isTrue_ew6ti9_k$ = function () {
-    return this.$$delegate_0__1.get_isTrue_ew6ti9_k$();
+  protoOf(ProbExplanationTerm).ww = function () {
+    return this.v3l_1.ww();
   };
-  protoOf(ProbExplanationTerm).get_value_j01efc_k$ = function () {
-    return this.$$delegate_0__1.get_value_j01efc_k$();
+  protoOf(ProbExplanationTerm).f1 = function () {
+    return this.v3l_1.f1();
   };
-  protoOf(ProbExplanationTerm).get_argsList_cw1bs4_k$ = function () {
-    return this.$$delegate_0__1.get_argsList_cw1bs4_k$();
+  protoOf(ProbExplanationTerm).zw = function () {
+    return this.v3l_1.zw();
   };
-  protoOf(ProbExplanationTerm).get_variables_75f0zy_k$ = function () {
-    return this.$$delegate_0__1.get_variables_75f0zy_k$();
+  protoOf(ProbExplanationTerm).ax = function () {
+    return this.v3l_1.ax();
   };
-  protoOf(ProbExplanationTerm).asStruct_l3eul5_k$ = function () {
-    return this.$$delegate_0__1.asStruct_l3eul5_k$();
+  protoOf(ProbExplanationTerm).ox = function () {
+    return this.v3l_1.ox();
   };
   protoOf(ProbExplanationTerm).asStruct = function () {
-    return this.asStruct_l3eul5_k$();
+    return this.ox();
   };
   protoOf(ProbExplanationTerm).append = function (argument) {
-    return this.$$delegate_0__1.append(argument);
+    return this.v3l_1.append(argument);
   };
   protoOf(ProbExplanationTerm).addLast = function (argument) {
-    return this.$$delegate_0__1.addLast(argument);
+    return this.v3l_1.addLast(argument);
   };
   protoOf(ProbExplanationTerm).addFirst = function (argument) {
-    return this.$$delegate_0__1.addFirst(argument);
+    return this.v3l_1.addFirst(argument);
   };
   protoOf(ProbExplanationTerm).insertAt = function (index, argument) {
-    return this.$$delegate_0__1.insertAt(index, argument);
+    return this.v3l_1.insertAt(index, argument);
   };
   protoOf(ProbExplanationTerm).setFunctor = function (functor) {
-    return this.$$delegate_0__1.setFunctor(functor);
+    return this.v3l_1.setFunctor(functor);
   };
   protoOf(ProbExplanationTerm).getArgAt = function (index) {
-    return this.$$delegate_0__1.getArgAt(index);
+    return this.v3l_1.getArgAt(index);
   };
   protoOf(ProbExplanationTerm).setArgs = function (args) {
-    return this.$$delegate_0__1.setArgs(args);
+    return this.v3l_1.setArgs(args);
   };
   protoOf(ProbExplanationTerm).setArgsIterable = function (args) {
-    return this.$$delegate_0__1.setArgsIterable(args);
+    return this.v3l_1.setArgsIterable(args);
   };
   protoOf(ProbExplanationTerm).setArgsSequence = function (args) {
-    return this.$$delegate_0__1.setArgsSequence(args);
+    return this.v3l_1.setArgsSequence(args);
   };
   protoOf(ProbExplanationTerm).get = function (index) {
-    return this.$$delegate_0__1.get(index);
+    return this.v3l_1.get(index);
   };
-  protoOf(ProbExplanationTerm).get_isStruct_zeoyoo_k$ = function () {
-    return this.$$delegate_0__1.get_isStruct_zeoyoo_k$();
+  protoOf(ProbExplanationTerm).ex = function () {
+    return this.v3l_1.ex();
   };
-  protoOf(ProbExplanationTerm).get_isClause_rwzxtu_k$ = function () {
-    return this.$$delegate_0__1.get_isClause_rwzxtu_k$();
+  protoOf(ProbExplanationTerm).fx = function () {
+    return this.v3l_1.fx();
   };
-  protoOf(ProbExplanationTerm).get_isRule_ew5ljj_k$ = function () {
-    return this.$$delegate_0__1.get_isRule_ew5ljj_k$();
+  protoOf(ProbExplanationTerm).gx = function () {
+    return this.v3l_1.gx();
   };
-  protoOf(ProbExplanationTerm).get_isTuple_zhv5m3_k$ = function () {
-    return this.$$delegate_0__1.get_isTuple_zhv5m3_k$();
+  protoOf(ProbExplanationTerm).jx = function () {
+    return this.v3l_1.jx();
   };
-  protoOf(ProbExplanationTerm).get_isList_ew1iwh_k$ = function () {
-    return this.$$delegate_0__1.get_isList_ew1iwh_k$();
+  protoOf(ProbExplanationTerm).kx = function () {
+    return this.v3l_1.kx();
   };
-  protoOf(ProbExplanationTerm).get_isCons_evvwck_k$ = function () {
-    return this.$$delegate_0__1.get_isCons_evvwck_k$();
+  protoOf(ProbExplanationTerm).lx = function () {
+    return this.v3l_1.lx();
   };
-  protoOf(ProbExplanationTerm).get_isIndicator_llw8m4_k$ = function () {
-    return this.$$delegate_0__1.get_isIndicator_llw8m4_k$();
+  protoOf(ProbExplanationTerm).nx = function () {
+    return this.v3l_1.nx();
   };
-  protoOf(ProbExplanationTerm).get_functor_75vgt2_k$ = function () {
-    return this.$$delegate_0__1.get_functor_75vgt2_k$();
+  protoOf(ProbExplanationTerm).yw = function () {
+    return this.v3l_1.yw();
   };
-  protoOf(ProbExplanationTerm).get_isFunctorWellFormed_fgwhjl_k$ = function () {
-    return this.$$delegate_0__1.get_isFunctorWellFormed_fgwhjl_k$();
+  protoOf(ProbExplanationTerm).px = function () {
+    return this.v3l_1.px();
   };
-  protoOf(ProbExplanationTerm).get_indicator_39dti2_k$ = function () {
-    return this.$$delegate_0__1.get_indicator_39dti2_k$();
+  protoOf(ProbExplanationTerm).qx = function () {
+    return this.v3l_1.qx();
   };
-  protoOf(ProbExplanationTerm).get_argsSequence_z7gge1_k$ = function () {
-    return this.$$delegate_0__1.get_argsSequence_z7gge1_k$();
+  protoOf(ProbExplanationTerm).rx = function () {
+    return this.v3l_1.rx();
   };
-  protoOf(ProbExplanationTerm).castTo_8vzplt_k$ = function () {
-    return this.$$delegate_0__1.castTo_8vzplt_k$();
+  protoOf(ProbExplanationTerm).sx = function () {
+    return this.v3l_1.sx();
   };
-  protoOf(ProbExplanationTerm).castTo_mm7cm3_k$ = function () {
-    return this.castTo_8vzplt_k$();
+  protoOf(ProbExplanationTerm).pr = function () {
+    return this.sx();
   };
-  protoOf(ProbExplanationTerm).compareTo_kfa5id_k$ = function (other) {
-    return this.$$delegate_0__1.compareTo_kfa5id_k$(other);
+  protoOf(ProbExplanationTerm).tx = function (other) {
+    return this.v3l_1.tx(other);
   };
-  protoOf(ProbExplanationTerm).compareTo_hpufkf_k$ = function (other) {
-    return this.compareTo_kfa5id_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+  protoOf(ProbExplanationTerm).d = function (other) {
+    return this.tx((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
   };
   protoOf(ProbExplanationTerm).equalsUsingVarCompleteNames = function (other, useVarCompleteName) {
-    return this.$$delegate_0__1.equalsUsingVarCompleteNames(other, useVarCompleteName);
+    return this.v3l_1.equalsUsingVarCompleteNames(other, useVarCompleteName);
   };
   protoOf(ProbExplanationTerm).equals = function (other) {
-    return this.$$delegate_0__1.equals(other);
+    return this.v3l_1.equals(other);
   };
   protoOf(ProbExplanationTerm).structurallyEquals = function (other) {
-    return this.$$delegate_0__1.structurallyEquals(other);
+    return this.v3l_1.structurallyEquals(other);
   };
   protoOf(ProbExplanationTerm).accept = function (visitor) {
-    return this.$$delegate_0__1.accept(visitor);
+    return this.v3l_1.accept(visitor);
   };
   protoOf(ProbExplanationTerm).castToAtom = function () {
-    return this.$$delegate_0__1.castToAtom();
+    return this.v3l_1.castToAtom();
   };
   protoOf(ProbExplanationTerm).castToClause = function () {
-    return this.$$delegate_0__1.castToClause();
+    return this.v3l_1.castToClause();
   };
   protoOf(ProbExplanationTerm).castToCons = function () {
-    return this.$$delegate_0__1.castToCons();
+    return this.v3l_1.castToCons();
   };
   protoOf(ProbExplanationTerm).castToConstant = function () {
-    return this.$$delegate_0__1.castToConstant();
+    return this.v3l_1.castToConstant();
   };
   protoOf(ProbExplanationTerm).castToDirective = function () {
-    return this.$$delegate_0__1.castToDirective();
+    return this.v3l_1.castToDirective();
   };
   protoOf(ProbExplanationTerm).castToEmptyList = function () {
-    return this.$$delegate_0__1.castToEmptyList();
+    return this.v3l_1.castToEmptyList();
   };
   protoOf(ProbExplanationTerm).castToEmptyBlock = function () {
-    return this.$$delegate_0__1.castToEmptyBlock();
+    return this.v3l_1.castToEmptyBlock();
   };
   protoOf(ProbExplanationTerm).castToFact = function () {
-    return this.$$delegate_0__1.castToFact();
+    return this.v3l_1.castToFact();
   };
   protoOf(ProbExplanationTerm).castToIndicator = function () {
-    return this.$$delegate_0__1.castToIndicator();
+    return this.v3l_1.castToIndicator();
   };
   protoOf(ProbExplanationTerm).castToInteger = function () {
-    return this.$$delegate_0__1.castToInteger();
+    return this.v3l_1.castToInteger();
   };
   protoOf(ProbExplanationTerm).castToList = function () {
-    return this.$$delegate_0__1.castToList();
+    return this.v3l_1.castToList();
   };
   protoOf(ProbExplanationTerm).castToNumeric = function () {
-    return this.$$delegate_0__1.castToNumeric();
+    return this.v3l_1.castToNumeric();
   };
   protoOf(ProbExplanationTerm).castToReal = function () {
-    return this.$$delegate_0__1.castToReal();
+    return this.v3l_1.castToReal();
   };
   protoOf(ProbExplanationTerm).castToRule = function () {
-    return this.$$delegate_0__1.castToRule();
+    return this.v3l_1.castToRule();
   };
   protoOf(ProbExplanationTerm).castToBlock = function () {
-    return this.$$delegate_0__1.castToBlock();
+    return this.v3l_1.castToBlock();
   };
   protoOf(ProbExplanationTerm).castToStruct = function () {
-    return this.$$delegate_0__1.castToStruct();
+    return this.v3l_1.castToStruct();
   };
   protoOf(ProbExplanationTerm).castToRecursive = function () {
-    return this.$$delegate_0__1.castToRecursive();
+    return this.v3l_1.castToRecursive();
   };
   protoOf(ProbExplanationTerm).castToTerm = function () {
-    return this.$$delegate_0__1.castToTerm();
+    return this.v3l_1.castToTerm();
   };
   protoOf(ProbExplanationTerm).castToTruth = function () {
-    return this.$$delegate_0__1.castToTruth();
+    return this.v3l_1.castToTruth();
   };
   protoOf(ProbExplanationTerm).castToTuple = function () {
-    return this.$$delegate_0__1.castToTuple();
+    return this.v3l_1.castToTuple();
   };
   protoOf(ProbExplanationTerm).castToVar = function () {
-    return this.$$delegate_0__1.castToVar();
+    return this.v3l_1.castToVar();
   };
   protoOf(ProbExplanationTerm).asClause = function () {
-    return this.$$delegate_0__1.asClause();
+    return this.v3l_1.asClause();
   };
   protoOf(ProbExplanationTerm).asCons = function () {
-    return this.$$delegate_0__1.asCons();
+    return this.v3l_1.asCons();
   };
   protoOf(ProbExplanationTerm).asDirective = function () {
-    return this.$$delegate_0__1.asDirective();
+    return this.v3l_1.asDirective();
   };
   protoOf(ProbExplanationTerm).asEmptyList = function () {
-    return this.$$delegate_0__1.asEmptyList();
+    return this.v3l_1.asEmptyList();
   };
   protoOf(ProbExplanationTerm).asEmptyBlock = function () {
-    return this.$$delegate_0__1.asEmptyBlock();
+    return this.v3l_1.asEmptyBlock();
   };
   protoOf(ProbExplanationTerm).asFact = function () {
-    return this.$$delegate_0__1.asFact();
+    return this.v3l_1.asFact();
   };
   protoOf(ProbExplanationTerm).asIndicator = function () {
-    return this.$$delegate_0__1.asIndicator();
+    return this.v3l_1.asIndicator();
   };
   protoOf(ProbExplanationTerm).asInteger = function () {
-    return this.$$delegate_0__1.asInteger();
+    return this.v3l_1.asInteger();
   };
   protoOf(ProbExplanationTerm).asList = function () {
-    return this.$$delegate_0__1.asList();
+    return this.v3l_1.asList();
   };
   protoOf(ProbExplanationTerm).asNumeric = function () {
-    return this.$$delegate_0__1.asNumeric();
+    return this.v3l_1.asNumeric();
   };
   protoOf(ProbExplanationTerm).asReal = function () {
-    return this.$$delegate_0__1.asReal();
+    return this.v3l_1.asReal();
   };
   protoOf(ProbExplanationTerm).asRule = function () {
-    return this.$$delegate_0__1.asRule();
+    return this.v3l_1.asRule();
   };
   protoOf(ProbExplanationTerm).asBlock = function () {
-    return this.$$delegate_0__1.asBlock();
+    return this.v3l_1.asBlock();
   };
   protoOf(ProbExplanationTerm).asRecursive = function () {
-    return this.$$delegate_0__1.asRecursive();
+    return this.v3l_1.asRecursive();
   };
   protoOf(ProbExplanationTerm).asTerm = function () {
-    return this.$$delegate_0__1.asTerm();
+    return this.v3l_1.asTerm();
   };
   protoOf(ProbExplanationTerm).asTruth = function () {
-    return this.$$delegate_0__1.asTruth();
+    return this.v3l_1.asTruth();
   };
   protoOf(ProbExplanationTerm).asTuple = function () {
-    return this.$$delegate_0__1.asTuple();
+    return this.v3l_1.asTuple();
   };
   protoOf(ProbExplanationTerm).asVar = function () {
-    return this.$$delegate_0__1.asVar();
+    return this.v3l_1.asVar();
   };
   protoOf(ProbExplanationTerm).hashCode = function () {
-    return this.$$delegate_0__1.hashCode();
+    return this.v3l_1.hashCode();
   };
   protoOf(ProbExplanationTerm).toString = function () {
-    return this.$$delegate_0__1.toString();
+    return this.v3l_1.toString();
   };
-  protoOf(ProbExplanationTerm).get_isVar_it73p0_k$ = function () {
-    return this.$$delegate_0__1.get_isVar_it73p0_k$();
+  protoOf(ProbExplanationTerm).ux = function () {
+    return this.v3l_1.ux();
   };
-  protoOf(ProbExplanationTerm).get_isTruth_zhwyo8_k$ = function () {
-    return this.$$delegate_0__1.get_isTruth_zhwyo8_k$();
+  protoOf(ProbExplanationTerm).vx = function () {
+    return this.v3l_1.vx();
   };
-  protoOf(ProbExplanationTerm).get_isRecursive_id8h1d_k$ = function () {
-    return this.$$delegate_0__1.get_isRecursive_id8h1d_k$();
+  protoOf(ProbExplanationTerm).wx = function () {
+    return this.v3l_1.wx();
   };
-  protoOf(ProbExplanationTerm).get_isNumber_x9n6xo_k$ = function () {
-    return this.$$delegate_0__1.get_isNumber_x9n6xo_k$();
+  protoOf(ProbExplanationTerm).yx = function () {
+    return this.v3l_1.yx();
   };
-  protoOf(ProbExplanationTerm).get_isInteger_vb3zt7_k$ = function () {
-    return this.$$delegate_0__1.get_isInteger_vb3zt7_k$();
+  protoOf(ProbExplanationTerm).zx = function () {
+    return this.v3l_1.zx();
   };
-  protoOf(ProbExplanationTerm).get_isReal_ew59f5_k$ = function () {
-    return this.$$delegate_0__1.get_isReal_ew59f5_k$();
+  protoOf(ProbExplanationTerm).ay = function () {
+    return this.v3l_1.ay();
   };
   protoOf(ProbExplanationTerm).getTag = function (name) {
-    return this.$$delegate_0__1.getTag(name);
+    return this.v3l_1.getTag(name);
   };
   protoOf(ProbExplanationTerm).resetTags = function (tags) {
-    return this.$$delegate_0__1.resetTags(tags);
+    return this.v3l_1.resetTags(tags);
   };
   protoOf(ProbExplanationTerm).containsTag = function (name) {
-    return this.$$delegate_0__1.containsTag(name);
+    return this.v3l_1.containsTag(name);
   };
-  protoOf(ProbExplanationTerm).get_tags_wousf6_k$ = function () {
-    return this.$$delegate_0__1.get_tags_wousf6_k$();
+  protoOf(ProbExplanationTerm).du = function () {
+    return this.v3l_1.du();
   };
   function _get_cachedHashCode__d7x0zy($this) {
-    var tmp0 = $this.cachedHashCode$delegate_1;
+    var tmp0 = $this.k3n_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     getPropertyCallableRef('cachedHashCode', 1, tmp, ProbTerm$_get_cachedHashCode_$ref_1qdqtc(), null);
-    return tmp0.get_value_j01efc_k$();
+    return tmp0.f1();
   }
   function ProbTerm$isGround$delegate$lambda(this$0) {
     return function () {
       var tmp;
-      if (this$0.term_1.get_isGround_twq4nu_k$()) {
-        var tmp0 = this$0.extraVariables_1;
+      if (this$0.h3n_1.cy()) {
+        var tmp0 = this$0.i3n_1;
         var tmp$ret$0;
         $l$block_0: {
           // Inline function 'kotlin.collections.any' call
           var tmp_0;
           if (isInterface(tmp0, Collection)) {
-            tmp_0 = tmp0.isEmpty_y1axqb_k$();
+            tmp_0 = tmp0.i();
           } else {
             tmp_0 = false;
           }
@@ -1187,10 +1187,10 @@
             tmp$ret$0 = false;
             break $l$block_0;
           }
-          var _iterator__ex2g4s = tmp0.iterator_jk1svi_k$();
-          while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
-            var element = _iterator__ex2g4s.next_20eer_k$();
-            if (element.get_isVar_it73p0_k$()) {
+          var _iterator__ex2g4s = tmp0.n();
+          while (_iterator__ex2g4s.q()) {
+            var element = _iterator__ex2g4s.r();
+            if (element.ux()) {
               tmp$ret$0 = true;
               break $l$block_0;
             }
@@ -1206,15 +1206,15 @@
   }
   function ProbTerm$_get_isGround_$ref_ue0rck() {
     return constructCallableReference(function (p0) {
-      return p0.get_isGround_twq4nu_k$();
+      return p0.cy();
     }, 1, 0, 92);
   }
   function ProbTerm$cachedHashCode$delegate$lambda(this$0) {
     return function () {
-      var result = getBigIntHashCode(this$0.id_1);
-      result = imul(31, result) + getNumberHashCode(this$0.probability_1) | 0;
-      result = imul(31, result) + this$0.term_1.hashCode() | 0;
-      result = imul(31, result) + hashCode(this$0.extraVariables_1) | 0;
+      var result = getBigIntHashCode(this$0.f3n_1);
+      result = imul(31, result) + getNumberHashCode(this$0.g3n_1) | 0;
+      result = imul(31, result) + this$0.h3n_1.hashCode() | 0;
+      result = imul(31, result) + hashCode(this$0.i3n_1) | 0;
       return result;
     };
   }
@@ -1225,75 +1225,75 @@
   }
   function ProbTerm(id, probability, term, extraVariables) {
     extraVariables = extraVariables === VOID ? emptySet() : extraVariables;
-    this.$$delegate_0__1 = Companion_getInstance_1().of('::', [Companion_getInstance_6().ofDouble(probability), term]);
-    this.id_1 = id;
-    this.probability_1 = probability;
-    this.term_1 = term;
-    this.extraVariables_1 = extraVariables;
+    this.e3n_1 = Companion_getInstance_1().of('::', [Companion_getInstance_6().ofDouble(probability), term]);
+    this.f3n_1 = id;
+    this.g3n_1 = probability;
+    this.h3n_1 = term;
+    this.i3n_1 = extraVariables;
     var tmp = this;
-    tmp.isGround$delegate_1 = lazy(ProbTerm$isGround$delegate$lambda(this));
+    tmp.j3n_1 = lazy(ProbTerm$isGround$delegate$lambda(this));
     var tmp_0 = this;
-    tmp_0.cachedHashCode$delegate_1 = lazy(ProbTerm$cachedHashCode$delegate$lambda(this));
+    tmp_0.k3n_1 = lazy(ProbTerm$cachedHashCode$delegate$lambda(this));
   }
-  protoOf(ProbTerm).freshCopy_fcm65_k$ = function () {
-    var termCopy = this.term_1.freshCopy();
+  protoOf(ProbTerm).bx = function () {
+    var termCopy = this.h3n_1.freshCopy();
     // Inline function 'kotlin.collections.map' call
-    var this_0 = this.extraVariables_1;
+    var this_0 = this.i3n_1;
     // Inline function 'kotlin.collections.mapTo' call
     var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
-    var _iterator__ex2g4s = this_0.iterator_jk1svi_k$();
-    while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
-      var item = _iterator__ex2g4s.next_20eer_k$();
+    var _iterator__ex2g4s = this_0.n();
+    while (_iterator__ex2g4s.q()) {
+      var item = _iterator__ex2g4s.r();
       var tmp$ret$2 = item.freshCopy();
-      destination.add_utx5q5_k$(tmp$ret$2);
+      destination.l(tmp$ret$2);
     }
-    return new ProbTerm(this.id_1, this.probability_1, termCopy, toSet(destination));
+    return new ProbTerm(this.f3n_1, this.g3n_1, termCopy, toSet(destination));
   };
   protoOf(ProbTerm).freshCopy = function () {
-    return this.freshCopy_fcm65_k$();
+    return this.bx();
   };
-  protoOf(ProbTerm).freshCopyFromScope_tnhsyi_k$ = function (scope) {
-    var termCopy = this.term_1.freshCopyFromScope(scope);
+  protoOf(ProbTerm).cx = function (scope) {
+    var termCopy = this.h3n_1.freshCopyFromScope(scope);
     // Inline function 'kotlin.collections.map' call
-    var this_0 = this.extraVariables_1;
+    var this_0 = this.i3n_1;
     // Inline function 'kotlin.collections.mapTo' call
     var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
-    var _iterator__ex2g4s = this_0.iterator_jk1svi_k$();
-    while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
-      var item = _iterator__ex2g4s.next_20eer_k$();
+    var _iterator__ex2g4s = this_0.n();
+    while (_iterator__ex2g4s.q()) {
+      var item = _iterator__ex2g4s.r();
       var tmp$ret$2 = item.freshCopyFromScope(scope);
-      destination.add_utx5q5_k$(tmp$ret$2);
+      destination.l(tmp$ret$2);
     }
-    return new ProbTerm(this.id_1, this.probability_1, termCopy, toSet(destination));
+    return new ProbTerm(this.f3n_1, this.g3n_1, termCopy, toSet(destination));
   };
   protoOf(ProbTerm).freshCopyFromScope = function (scope) {
-    return this.freshCopyFromScope_tnhsyi_k$(scope);
+    return this.cx(scope);
   };
-  protoOf(ProbTerm).getSubstituted_8310r6_k$ = function (substitution, substitutions) {
-    return this.apply_jso7fw_k$(substitution, substitutions.slice());
+  protoOf(ProbTerm).f2u = function (substitution, substitutions) {
+    return this.g2u(substitution, substitutions.slice());
   };
   protoOf(ProbTerm).getSubstituted = function (substitution, substitutions) {
-    return this.getSubstituted_8310r6_k$(substitution, substitutions);
+    return this.f2u(substitution, substitutions);
   };
-  protoOf(ProbTerm).apply_jso7fw_k$ = function (substitution, substitutions) {
-    return this.applySubstitution_t7osbf_k$(Companion_getInstance_5().ofSubstitution(substitution, substitutions.slice()));
+  protoOf(ProbTerm).g2u = function (substitution, substitutions) {
+    return this.r17(Companion_getInstance_5().ofSubstitution(substitution, substitutions.slice()));
   };
   protoOf(ProbTerm).apply = function (substitution, substitutions) {
-    return this.apply_jso7fw_k$(substitution, substitutions);
+    return this.g2u(substitution, substitutions);
   };
-  protoOf(ProbTerm).applySubstitution_t7osbf_k$ = function (substitution) {
+  protoOf(ProbTerm).r17 = function (substitution) {
     var tmp;
-    if (substitution.isEmpty_y1axqb_k$() || this.get_isGround_twq4nu_k$()) {
+    if (substitution.i() || this.cy()) {
       tmp = this;
     } else {
       var tmp_0;
-      var tmp0 = this.extraVariables_1;
+      var tmp0 = this.i3n_1;
       var tmp$ret$0;
       $l$block_0: {
         // Inline function 'kotlin.collections.any' call
         var tmp_1;
         if (isInterface(tmp0, Collection)) {
-          tmp_1 = tmp0.isEmpty_y1axqb_k$();
+          tmp_1 = tmp0.i();
         } else {
           tmp_1 = false;
         }
@@ -1301,10 +1301,10 @@
           tmp$ret$0 = false;
           break $l$block_0;
         }
-        var _iterator__ex2g4s = tmp0.iterator_jk1svi_k$();
-        while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
-          var element = _iterator__ex2g4s.next_20eer_k$();
-          if (element.get_isVar_it73p0_k$()) {
+        var _iterator__ex2g4s = tmp0.n();
+        while (_iterator__ex2g4s.q()) {
+          var element = _iterator__ex2g4s.r();
+          if (element.ux()) {
             tmp$ret$0 = true;
             break $l$block_0;
           }
@@ -1312,64 +1312,64 @@
         tmp$ret$0 = false;
       }
       if (!tmp$ret$0) {
-        tmp_0 = this.extraVariables_1;
+        tmp_0 = this.i3n_1;
       } else {
         // Inline function 'kotlin.collections.mapNotNull' call
-        var tmp0_0 = this.extraVariables_1;
+        var tmp0_0 = this.i3n_1;
         // Inline function 'kotlin.collections.mapNotNullTo' call
         var destination = ArrayList_init_$Create$_0();
         // Inline function 'kotlin.collections.forEach' call
-        var _iterator__ex2g4s_0 = tmp0_0.iterator_jk1svi_k$();
-        while (_iterator__ex2g4s_0.hasNext_bitz1p_k$()) {
-          var element_0 = _iterator__ex2g4s_0.next_20eer_k$();
+        var _iterator__ex2g4s_0 = tmp0_0.n();
+        while (_iterator__ex2g4s_0.q()) {
+          var element_0 = _iterator__ex2g4s_0.r();
           var tmp0_safe_receiver = substitution.applyTo(element_0);
           if (tmp0_safe_receiver == null)
             null;
           else {
             // Inline function 'kotlin.let' call
-            destination.add_utx5q5_k$(tmp0_safe_receiver);
+            destination.l(tmp0_safe_receiver);
           }
         }
         tmp_0 = toSet(destination);
       }
       var newExtraVars = tmp_0;
-      tmp = new ProbTerm(this.id_1, this.probability_1, this.term_1.applySubstitution(substitution), newExtraVars);
+      tmp = new ProbTerm(this.f3n_1, this.g3n_1, this.h3n_1.applySubstitution(substitution), newExtraVars);
     }
     return tmp;
   };
   protoOf(ProbTerm).applySubstitution = function (substitution) {
-    return this.applySubstitution_t7osbf_k$(substitution);
+    return this.r17(substitution);
   };
-  protoOf(ProbTerm).get_isGround_twq4nu_k$ = function () {
-    var tmp0 = this.isGround$delegate_1;
+  protoOf(ProbTerm).cy = function () {
+    var tmp0 = this.j3n_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     getPropertyCallableRef('isGround', 1, tmp, ProbTerm$_get_isGround_$ref_ue0rck(), null);
-    return tmp0.get_value_j01efc_k$();
+    return tmp0.f1();
   };
-  protoOf(ProbTerm).compareTo_kfa5id_k$ = function (other) {
+  protoOf(ProbTerm).tx = function (other) {
     if (!(other instanceof ProbTerm)) {
       return compareTo.call(this, other);
     }
-    var res = compareTo_0(this.id_1, other.id_1);
+    var res = compareTo_0(this.f3n_1, other.f3n_1);
     if (!(res === 0))
       return res;
-    res = this.term_1.compareTo_kfa5id_k$(other.term_1);
+    res = this.h3n_1.tx(other.h3n_1);
     if (!(res === 0))
       return res;
-    res = equals(this.extraVariables_1, other.extraVariables_1) ? 0 : -1;
+    res = equals(this.i3n_1, other.i3n_1) ? 0 : -1;
     if (!(res === 0))
       return res;
-    res = compareTo_0(this.probability_1, other.probability_1);
+    res = compareTo_0(this.g3n_1, other.g3n_1);
     return res;
   };
-  protoOf(ProbTerm).compareTo_hpufkf_k$ = function (other) {
-    return this.compareTo_kfa5id_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+  protoOf(ProbTerm).d = function (other) {
+    return this.tx((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
   };
   protoOf(ProbTerm).equals = function (other) {
     var tmp;
     if (other instanceof ProbTerm) {
-      tmp = this.compareTo_kfa5id_k$(other) === 0;
+      tmp = this.tx(other) === 0;
     } else {
       tmp = false;
     }
@@ -1379,214 +1379,214 @@
     return _get_cachedHashCode__d7x0zy(this);
   };
   protoOf(ProbTerm).toString = function () {
-    return '' + round(this.probability_1 * 100) / 100.0 + '::' + this.term_1.toString();
+    return '' + round(this.g3n_1 * 100) / 100.0 + '::' + this.h3n_1.toString();
   };
-  protoOf(ProbTerm).castTo_8vzplt_k$ = function () {
-    return this.$$delegate_0__1.castTo_8vzplt_k$();
+  protoOf(ProbTerm).sx = function () {
+    return this.e3n_1.sx();
   };
-  protoOf(ProbTerm).castTo_mm7cm3_k$ = function () {
-    return this.castTo_8vzplt_k$();
+  protoOf(ProbTerm).pr = function () {
+    return this.sx();
   };
   protoOf(ProbTerm).equalsUsingVarCompleteNames = function (other, useVarCompleteName) {
-    return this.$$delegate_0__1.equalsUsingVarCompleteNames(other, useVarCompleteName);
+    return this.e3n_1.equalsUsingVarCompleteNames(other, useVarCompleteName);
   };
   protoOf(ProbTerm).structurallyEquals = function (other) {
-    return this.$$delegate_0__1.structurallyEquals(other);
+    return this.e3n_1.structurallyEquals(other);
   };
   protoOf(ProbTerm).accept = function (visitor) {
-    return this.$$delegate_0__1.accept(visitor);
+    return this.e3n_1.accept(visitor);
   };
   protoOf(ProbTerm).castToAtom = function () {
-    return this.$$delegate_0__1.castToAtom();
+    return this.e3n_1.castToAtom();
   };
   protoOf(ProbTerm).castToClause = function () {
-    return this.$$delegate_0__1.castToClause();
+    return this.e3n_1.castToClause();
   };
   protoOf(ProbTerm).castToCons = function () {
-    return this.$$delegate_0__1.castToCons();
+    return this.e3n_1.castToCons();
   };
   protoOf(ProbTerm).castToConstant = function () {
-    return this.$$delegate_0__1.castToConstant();
+    return this.e3n_1.castToConstant();
   };
   protoOf(ProbTerm).castToDirective = function () {
-    return this.$$delegate_0__1.castToDirective();
+    return this.e3n_1.castToDirective();
   };
   protoOf(ProbTerm).castToEmptyList = function () {
-    return this.$$delegate_0__1.castToEmptyList();
+    return this.e3n_1.castToEmptyList();
   };
   protoOf(ProbTerm).castToEmptyBlock = function () {
-    return this.$$delegate_0__1.castToEmptyBlock();
+    return this.e3n_1.castToEmptyBlock();
   };
   protoOf(ProbTerm).castToFact = function () {
-    return this.$$delegate_0__1.castToFact();
+    return this.e3n_1.castToFact();
   };
   protoOf(ProbTerm).castToIndicator = function () {
-    return this.$$delegate_0__1.castToIndicator();
+    return this.e3n_1.castToIndicator();
   };
   protoOf(ProbTerm).castToInteger = function () {
-    return this.$$delegate_0__1.castToInteger();
+    return this.e3n_1.castToInteger();
   };
   protoOf(ProbTerm).castToList = function () {
-    return this.$$delegate_0__1.castToList();
+    return this.e3n_1.castToList();
   };
   protoOf(ProbTerm).castToNumeric = function () {
-    return this.$$delegate_0__1.castToNumeric();
+    return this.e3n_1.castToNumeric();
   };
   protoOf(ProbTerm).castToReal = function () {
-    return this.$$delegate_0__1.castToReal();
+    return this.e3n_1.castToReal();
   };
   protoOf(ProbTerm).castToRule = function () {
-    return this.$$delegate_0__1.castToRule();
+    return this.e3n_1.castToRule();
   };
   protoOf(ProbTerm).castToBlock = function () {
-    return this.$$delegate_0__1.castToBlock();
+    return this.e3n_1.castToBlock();
   };
   protoOf(ProbTerm).castToStruct = function () {
-    return this.$$delegate_0__1.castToStruct();
+    return this.e3n_1.castToStruct();
   };
   protoOf(ProbTerm).castToRecursive = function () {
-    return this.$$delegate_0__1.castToRecursive();
+    return this.e3n_1.castToRecursive();
   };
   protoOf(ProbTerm).castToTerm = function () {
-    return this.$$delegate_0__1.castToTerm();
+    return this.e3n_1.castToTerm();
   };
   protoOf(ProbTerm).castToTruth = function () {
-    return this.$$delegate_0__1.castToTruth();
+    return this.e3n_1.castToTruth();
   };
   protoOf(ProbTerm).castToTuple = function () {
-    return this.$$delegate_0__1.castToTuple();
+    return this.e3n_1.castToTuple();
   };
   protoOf(ProbTerm).castToVar = function () {
-    return this.$$delegate_0__1.castToVar();
+    return this.e3n_1.castToVar();
   };
   protoOf(ProbTerm).asAtom = function () {
-    return this.$$delegate_0__1.asAtom();
+    return this.e3n_1.asAtom();
   };
   protoOf(ProbTerm).asClause = function () {
-    return this.$$delegate_0__1.asClause();
+    return this.e3n_1.asClause();
   };
   protoOf(ProbTerm).asCons = function () {
-    return this.$$delegate_0__1.asCons();
+    return this.e3n_1.asCons();
   };
   protoOf(ProbTerm).asConstant = function () {
-    return this.$$delegate_0__1.asConstant();
+    return this.e3n_1.asConstant();
   };
   protoOf(ProbTerm).asDirective = function () {
-    return this.$$delegate_0__1.asDirective();
+    return this.e3n_1.asDirective();
   };
   protoOf(ProbTerm).asEmptyList = function () {
-    return this.$$delegate_0__1.asEmptyList();
+    return this.e3n_1.asEmptyList();
   };
   protoOf(ProbTerm).asEmptyBlock = function () {
-    return this.$$delegate_0__1.asEmptyBlock();
+    return this.e3n_1.asEmptyBlock();
   };
   protoOf(ProbTerm).asFact = function () {
-    return this.$$delegate_0__1.asFact();
+    return this.e3n_1.asFact();
   };
   protoOf(ProbTerm).asIndicator = function () {
-    return this.$$delegate_0__1.asIndicator();
+    return this.e3n_1.asIndicator();
   };
   protoOf(ProbTerm).asInteger = function () {
-    return this.$$delegate_0__1.asInteger();
+    return this.e3n_1.asInteger();
   };
   protoOf(ProbTerm).asList = function () {
-    return this.$$delegate_0__1.asList();
+    return this.e3n_1.asList();
   };
   protoOf(ProbTerm).asNumeric = function () {
-    return this.$$delegate_0__1.asNumeric();
+    return this.e3n_1.asNumeric();
   };
   protoOf(ProbTerm).asReal = function () {
-    return this.$$delegate_0__1.asReal();
+    return this.e3n_1.asReal();
   };
   protoOf(ProbTerm).asRule = function () {
-    return this.$$delegate_0__1.asRule();
+    return this.e3n_1.asRule();
   };
   protoOf(ProbTerm).asBlock = function () {
-    return this.$$delegate_0__1.asBlock();
+    return this.e3n_1.asBlock();
   };
   protoOf(ProbTerm).asStruct = function () {
-    return this.$$delegate_0__1.asStruct_l3eul5_k$();
+    return this.e3n_1.ox();
   };
   protoOf(ProbTerm).asRecursive = function () {
-    return this.$$delegate_0__1.asRecursive();
+    return this.e3n_1.asRecursive();
   };
   protoOf(ProbTerm).asTerm = function () {
-    return this.$$delegate_0__1.asTerm();
+    return this.e3n_1.asTerm();
   };
   protoOf(ProbTerm).asTruth = function () {
-    return this.$$delegate_0__1.asTruth();
+    return this.e3n_1.asTruth();
   };
   protoOf(ProbTerm).asTuple = function () {
-    return this.$$delegate_0__1.asTuple();
+    return this.e3n_1.asTuple();
   };
   protoOf(ProbTerm).asVar = function () {
-    return this.$$delegate_0__1.asVar();
+    return this.e3n_1.asVar();
   };
-  protoOf(ProbTerm).get_isVar_it73p0_k$ = function () {
-    return this.$$delegate_0__1.get_isVar_it73p0_k$();
+  protoOf(ProbTerm).ux = function () {
+    return this.e3n_1.ux();
   };
-  protoOf(ProbTerm).get_isStruct_zeoyoo_k$ = function () {
-    return this.$$delegate_0__1.get_isStruct_zeoyoo_k$();
+  protoOf(ProbTerm).ex = function () {
+    return this.e3n_1.ex();
   };
-  protoOf(ProbTerm).get_isTruth_zhwyo8_k$ = function () {
-    return this.$$delegate_0__1.get_isTruth_zhwyo8_k$();
+  protoOf(ProbTerm).vx = function () {
+    return this.e3n_1.vx();
   };
-  protoOf(ProbTerm).get_isRecursive_id8h1d_k$ = function () {
-    return this.$$delegate_0__1.get_isRecursive_id8h1d_k$();
+  protoOf(ProbTerm).wx = function () {
+    return this.e3n_1.wx();
   };
-  protoOf(ProbTerm).get_isAtom_evuq3o_k$ = function () {
-    return this.$$delegate_0__1.get_isAtom_evuq3o_k$();
+  protoOf(ProbTerm).tw = function () {
+    return this.e3n_1.tw();
   };
-  protoOf(ProbTerm).get_isConstant_scia2f_k$ = function () {
-    return this.$$delegate_0__1.get_isConstant_scia2f_k$();
+  protoOf(ProbTerm).xx = function () {
+    return this.e3n_1.xx();
   };
-  protoOf(ProbTerm).get_isNumber_x9n6xo_k$ = function () {
-    return this.$$delegate_0__1.get_isNumber_x9n6xo_k$();
+  protoOf(ProbTerm).yx = function () {
+    return this.e3n_1.yx();
   };
-  protoOf(ProbTerm).get_isInteger_vb3zt7_k$ = function () {
-    return this.$$delegate_0__1.get_isInteger_vb3zt7_k$();
+  protoOf(ProbTerm).zx = function () {
+    return this.e3n_1.zx();
   };
-  protoOf(ProbTerm).get_isReal_ew59f5_k$ = function () {
-    return this.$$delegate_0__1.get_isReal_ew59f5_k$();
+  protoOf(ProbTerm).ay = function () {
+    return this.e3n_1.ay();
   };
-  protoOf(ProbTerm).get_isList_ew1iwh_k$ = function () {
-    return this.$$delegate_0__1.get_isList_ew1iwh_k$();
+  protoOf(ProbTerm).kx = function () {
+    return this.e3n_1.kx();
   };
-  protoOf(ProbTerm).get_isTuple_zhv5m3_k$ = function () {
-    return this.$$delegate_0__1.get_isTuple_zhv5m3_k$();
+  protoOf(ProbTerm).jx = function () {
+    return this.e3n_1.jx();
   };
-  protoOf(ProbTerm).get_isEmptyBlock_mhm4pf_k$ = function () {
-    return this.$$delegate_0__1.get_isEmptyBlock_mhm4pf_k$();
+  protoOf(ProbTerm).uw = function () {
+    return this.e3n_1.uw();
   };
-  protoOf(ProbTerm).get_isClause_rwzxtu_k$ = function () {
-    return this.$$delegate_0__1.get_isClause_rwzxtu_k$();
+  protoOf(ProbTerm).fx = function () {
+    return this.e3n_1.fx();
   };
-  protoOf(ProbTerm).get_isCons_evvwck_k$ = function () {
-    return this.$$delegate_0__1.get_isCons_evvwck_k$();
+  protoOf(ProbTerm).lx = function () {
+    return this.e3n_1.lx();
   };
-  protoOf(ProbTerm).get_isEmptyList_9w8q3c_k$ = function () {
-    return this.$$delegate_0__1.get_isEmptyList_9w8q3c_k$();
+  protoOf(ProbTerm).vw = function () {
+    return this.e3n_1.vw();
   };
-  protoOf(ProbTerm).get_isTrue_ew6ti9_k$ = function () {
-    return this.$$delegate_0__1.get_isTrue_ew6ti9_k$();
+  protoOf(ProbTerm).ww = function () {
+    return this.e3n_1.ww();
   };
-  protoOf(ProbTerm).get_isIndicator_llw8m4_k$ = function () {
-    return this.$$delegate_0__1.get_isIndicator_llw8m4_k$();
+  protoOf(ProbTerm).nx = function () {
+    return this.e3n_1.nx();
   };
   protoOf(ProbTerm).getTag = function (name) {
-    return this.$$delegate_0__1.getTag(name);
+    return this.e3n_1.getTag(name);
   };
   protoOf(ProbTerm).resetTags = function (tags) {
-    return this.$$delegate_0__1.resetTags(tags);
+    return this.e3n_1.resetTags(tags);
   };
   protoOf(ProbTerm).containsTag = function (name) {
-    return this.$$delegate_0__1.containsTag(name);
+    return this.e3n_1.containsTag(name);
   };
-  protoOf(ProbTerm).get_tags_wousf6_k$ = function () {
-    return this.$$delegate_0__1.get_tags_wousf6_k$();
+  protoOf(ProbTerm).du = function () {
+    return this.e3n_1.du();
   };
-  protoOf(ProbTerm).get_variables_75f0zy_k$ = function () {
-    return this.$$delegate_0__1.get_variables_75f0zy_k$();
+  protoOf(ProbTerm).ax = function () {
+    return this.e3n_1.ax();
   };
   function Companion_1() {
   }
@@ -1609,7 +1609,7 @@
       var item = clauses[inductionVariable];
       inductionVariable = inductionVariable + 1 | 0;
       var tmp$ret$2 = item(Companion_instance_2.empty());
-      destination.add_utx5q5_k$(tmp$ret$2);
+      destination.l(tmp$ret$2);
     }
     return this.ofIterable(unificator, destination);
   };
@@ -1631,25 +1631,25 @@
   function collectAllHeads($this, head, accumulator) {
     var tmp;
     if (isInterface(head, Struct)) {
-      tmp = head.get_arity_iosiic_k$() === 2;
+      tmp = head.sw() === 2;
     } else {
       tmp = false;
     }
     if (tmp) {
-      if (!(head.get_functor_75vgt2_k$() === ';') && !(head.get_functor_75vgt2_k$() === '::')) {
+      if (!(head.yw() === ';') && !(head.yw() === '::')) {
         throw TuPrologException_init_$Create$('Badly formatted disjoint annotation: ' + head.toString());
       }
-      if (head.get_functor_75vgt2_k$() === ';') {
+      if (head.yw() === ';') {
         collectAllHeads($this, head.get(1), accumulator);
       }
     }
     var curHeadProb = 1.0;
     var curHead = head;
     if (isInterface(head, Struct)) {
-      curHead = head.get_functor_75vgt2_k$() === ';' ? head.get(0) : head;
+      curHead = head.yw() === ';' ? head.get(0) : head;
       var tmp_0;
       if (isInterface(curHead, Struct)) {
-        tmp_0 = curHead.get_functor_75vgt2_k$() === '::';
+        tmp_0 = curHead.yw() === '::';
       } else {
         tmp_0 = false;
       }
@@ -1657,7 +1657,7 @@
         var curHeadProbTerm = curHead.get(0);
         var tmp_1;
         if (isInterface(curHeadProbTerm, Numeric)) {
-          tmp_1 = curHeadProbTerm.get_decimalValue_7pja3t_k$().toDouble();
+          tmp_1 = curHeadProbTerm.o11().toDouble();
         } else {
           tmp_1 = solveArithmeticExpression(curHeadProbTerm);
         }
@@ -1665,36 +1665,36 @@
         curHead = curHead.get(1);
       }
     }
-    accumulator.add_utx5q5_k$(Companion_getInstance_1().of('::', [Companion_getInstance_6().ofDouble(curHeadProb), curHead]));
+    accumulator.l(Companion_getInstance_1().of('::', [Companion_getInstance_6().ofDouble(curHeadProb), curHead]));
   }
   function AnnotatedDisjunctionClauseMapper() {
   }
-  protoOf(AnnotatedDisjunctionClauseMapper).isCompatible_jra7od_k$ = function (clause) {
+  protoOf(AnnotatedDisjunctionClauseMapper).o3n = function (clause) {
     var tmp;
     if (isInterface(clause, Rule)) {
-      tmp = clause.get_head_won7e1_k$().get_functor_75vgt2_k$() === ';';
+      tmp = clause.ez().yw() === ';';
     } else {
       tmp = false;
     }
     return tmp;
   };
-  protoOf(AnnotatedDisjunctionClauseMapper).apply_a16z0z_k$ = function (clause) {
+  protoOf(AnnotatedDisjunctionClauseMapper).p3n = function (clause) {
     if (!isInterface(clause, Rule)) {
       throw new ClauseMappingException('Clause is not an instance of Rule: ' + clause.toString());
     }
-    var body = clause.get_body_wojkyz_k$();
+    var body = clause.fz();
     // Inline function 'kotlin.collections.mutableListOf' call
     var disjointHeads = ArrayList_init_$Create$_0();
-    collectAllHeads(this, clause.get_head_won7e1_k$(), disjointHeads);
+    collectAllHeads(this, clause.ez(), disjointHeads);
     var probSum = 0.0;
     // Inline function 'kotlin.collections.map' call
     // Inline function 'kotlin.collections.mapTo' call
     var destination = ArrayList_init_$Create$(collectionSizeOrDefault(disjointHeads, 10));
-    var _iterator__ex2g4s = disjointHeads.iterator_jk1svi_k$();
-    while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
-      var item = _iterator__ex2g4s.next_20eer_k$();
+    var _iterator__ex2g4s = disjointHeads.n();
+    while (_iterator__ex2g4s.q()) {
+      var item = _iterator__ex2g4s.r();
       var tmp = item.get(0);
-      var curProb = (isInterface(tmp, Numeric) ? tmp : THROW_CCE()).get_decimalValue_7pja3t_k$().toDouble();
+      var curProb = (isInterface(tmp, Numeric) ? tmp : THROW_CCE()).o11().toDouble();
       var tmp_0;
       var tmp_1 = item.get(1);
       if (isInterface(tmp_1, Struct)) {
@@ -1705,22 +1705,22 @@
       }
       var curRuleHead = tmp_0;
       probSum = probSum + curProb;
-      var tmp$ret$3 = ProbabilisticClauseMapper_instance.mapRuleInternal_y0jl17_k$(Companion_instance_3.of(Companion_getInstance_1().of('::', [Companion_getInstance_6().ofDouble(curProb / (1.0 - (probSum - curProb))), curRuleHead]), [body]));
-      destination.add_utx5q5_k$(tmp$ret$3);
+      var tmp$ret$3 = ProbabilisticClauseMapper_instance.q3n(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().TRUE_1;
+    var explanation = Companion_getInstance_11().z3m_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.iterator_jk1svi_k$();
-    while (_iterator__ex2g4s_0.hasNext_bitz1p_k$()) {
-      var item_0 = _iterator__ex2g4s_0.next_20eer_k$();
-      var thisExplanation = Companion_getInstance_11().of_80r6fo_k$(item_0.second);
+    var _iterator__ex2g4s_0 = mappedRules.n();
+    while (_iterator__ex2g4s_0.q()) {
+      var item_0 = _iterator__ex2g4s_0.r();
+      var thisExplanation = Companion_getInstance_11().d3n(item_0.second);
       var resultExplanation = thisExplanation.and(explanation);
       explanation = explanation.and(thisExplanation.not());
-      var tmp$ret$6 = ProbabilisticClauseMapper_instance.mapRuleWithExplanation_lmelqv_k$(item_0.first, resultExplanation);
-      destination_0.add_utx5q5_k$(tmp$ret$6);
+      var tmp$ret$6 = ProbabilisticClauseMapper_instance.r3n(item_0.first, resultExplanation);
+      destination_0.l(tmp$ret$6);
     }
     return destination_0;
   };
@@ -1729,28 +1729,28 @@
     return AnnotatedDisjunctionClauseMapper_instance;
   }
   function ComputedValue(probability) {
-    this.probability_1 = probability;
+    this.s3n_1 = probability;
   }
   protoOf(ComputedValue).toString = function () {
-    return 'ComputedValue(probability=' + this.probability_1 + ')';
+    return 'ComputedValue(probability=' + this.s3n_1 + ')';
   };
   protoOf(ComputedValue).hashCode = function () {
-    return this.probability_1 == null ? 0 : getNumberHashCode(this.probability_1);
+    return this.s3n_1 == null ? 0 : getNumberHashCode(this.s3n_1);
   };
   protoOf(ComputedValue).equals = function (other) {
     if (this === other)
       return true;
     if (!(other instanceof ComputedValue))
       return false;
-    if (!equals(this.probability_1, other.probability_1))
+    if (!equals(this.s3n_1, other.s3n_1))
       return false;
     return true;
   };
   function Companion_2() {
     Companion_instance_11 = this;
-    this.EMPTY_COMPUTED_VALUE_1 = new ComputedValue(null);
-    this.FALSE_COMPUTED_VALUE_1 = new ComputedValue(0.0);
-    this.TRUE_COMPUTED_VALUE_1 = new ComputedValue(1.0);
+    this.a3n_1 = new ComputedValue(null);
+    this.b3n_1 = new ComputedValue(0.0);
+    this.c3n_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.probability_1 == null) && !(high.probability_1 == null)) {
-      tmp = value.probability_1 * high.probability_1 + (1.0 - value.probability_1) * low.probability_1;
+    if (!(low.s3n_1 == null) && !(high.s3n_1 == null)) {
+      tmp = value.g3n_1 * high.s3n_1 + (1.0 - value.g3n_1) * low.s3n_1;
     } else {
       tmp = null;
     }
     return new ComputedValue(tmp);
   }
   function _get_cachedNot__l38068($this) {
-    var tmp0 = $this.cachedNot$delegate_1;
+    var tmp0 = $this.z3l_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     getPropertyCallableRef('cachedNot', 1, tmp, BinaryDecisionDiagramExplanation$_get_cachedNot_$ref_q3r5qq(), null);
-    return tmp0.get_value_j01efc_k$();
+    return tmp0.f1();
   }
   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().FALSE_COMPUTED_VALUE_1;
-      var tmp_0 = Companion_getInstance_13().TRUE_COMPUTED_VALUE_1;
-      var result = notThenExpansion(this$0.diagram_1, tmp, tmp_0, BinaryDecisionDiagramExplanation$cachedNot$delegate$lambda$lambda(this$0));
+      var tmp = Companion_getInstance_13().b3n_1;
+      var tmp_0 = Companion_getInstance_13().c3n_1;
+      var result = notThenExpansion(this$0.x3l_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.probability_1 * high + (1.0 - node.probability_1) * low;
+    return node.g3n_1 * high + (1.0 - node.g3n_1) * low;
   }
   function BinaryDecisionDiagramExplanation$probability$delegate$lambda(this$0) {
     return function () {
-      var tmp0_elvis_lhs = this$0.computedValue_1.probability_1;
+      var tmp0_elvis_lhs = this$0.y3l_1.s3n_1;
       var tmp;
       if (tmp0_elvis_lhs == null) {
-        tmp = expansion(this$0.diagram_1, 0.0, 1.0, BinaryDecisionDiagramExplanation$probability$delegate$lambda$lambda);
+        tmp = expansion(this$0.x3l_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.get_probability_7g5yr8_k$();
+      return p0.l3n();
     }, 1, 0, 95);
   }
   function BinaryDecisionDiagramExplanation$containsAnyNotGroundTerm$delegate$lambda$lambda(it) {
-    return !it.get_isGround_twq4nu_k$();
+    return !it.cy();
   }
   function BinaryDecisionDiagramExplanation$containsAnyNotGroundTerm$delegate$lambda(this$0) {
     return function () {
-      return anyWhere(this$0.diagram_1, BinaryDecisionDiagramExplanation$containsAnyNotGroundTerm$delegate$lambda$lambda);
+      return anyWhere(this$0.x3l_1, BinaryDecisionDiagramExplanation$containsAnyNotGroundTerm$delegate$lambda$lambda);
     };
   }
   function BinaryDecisionDiagramExplanation$_get_containsAnyNotGroundTerm_$ref_82xwv2() {
     return constructCallableReference(function (p0) {
-      return p0.get_containsNonGroundTerm_exngzs_k$();
+      return p0.n3n();
     }, 1, 0, 96);
   }
   function BinaryDecisionDiagramExplanation$apply$lambda($transformation) {
@@ -1848,64 +1848,64 @@
   }
   function BinaryDecisionDiagramExplanation(diagram, computedValue) {
     Companion_getInstance_13();
-    computedValue = computedValue === VOID ? Companion_getInstance_13().EMPTY_COMPUTED_VALUE_1 : computedValue;
-    this.diagram_1 = diagram;
-    this.computedValue_1 = computedValue;
+    computedValue = computedValue === VOID ? Companion_getInstance_13().a3n_1 : computedValue;
+    this.x3l_1 = diagram;
+    this.y3l_1 = computedValue;
     var tmp = this;
-    tmp.cachedNot$delegate_1 = lazy(BinaryDecisionDiagramExplanation$cachedNot$delegate$lambda(this));
+    tmp.z3l_1 = lazy(BinaryDecisionDiagramExplanation$cachedNot$delegate$lambda(this));
     var tmp_0 = this;
-    tmp_0.probability$delegate_1 = lazy(BinaryDecisionDiagramExplanation$probability$delegate$lambda(this));
+    tmp_0.a3m_1 = lazy(BinaryDecisionDiagramExplanation$probability$delegate$lambda(this));
     var tmp_1 = this;
-    tmp_1.containsAnyNotGroundTerm$delegate_1 = lazy(BinaryDecisionDiagramExplanation$containsAnyNotGroundTerm$delegate$lambda(this));
+    tmp_1.b3m_1 = lazy(BinaryDecisionDiagramExplanation$containsAnyNotGroundTerm$delegate$lambda(this));
   }
-  protoOf(BinaryDecisionDiagramExplanation).not_2cb7_k$ = function () {
+  protoOf(BinaryDecisionDiagramExplanation).t3n = function () {
     return _get_cachedNot__l38068(this);
   };
   protoOf(BinaryDecisionDiagramExplanation).not = function () {
-    return this.not_2cb7_k$();
+    return this.t3n();
   };
-  protoOf(BinaryDecisionDiagramExplanation).and_kbcar1_k$ = function (that) {
-    var tmp = getAsInternal(this, that).diagram_1;
-    var tmp_0 = Companion_getInstance_13().FALSE_COMPUTED_VALUE_1;
-    var tmp_1 = Companion_getInstance_13().TRUE_COMPUTED_VALUE_1;
-    var result = andThenExpansion(this.diagram_1, tmp, tmp_0, tmp_1, BinaryDecisionDiagramExplanation$and$lambda(this));
+  protoOf(BinaryDecisionDiagramExplanation).u3n = function (that) {
+    var tmp = getAsInternal(this, that).x3l_1;
+    var tmp_0 = Companion_getInstance_13().b3n_1;
+    var tmp_1 = Companion_getInstance_13().c3n_1;
+    var result = andThenExpansion(this.x3l_1, tmp, tmp_0, tmp_1, BinaryDecisionDiagramExplanation$and$lambda(this));
     return new BinaryDecisionDiagramExplanation(result.first, result.second);
   };
   protoOf(BinaryDecisionDiagramExplanation).and = function (that) {
-    return this.and_kbcar1_k$(that);
+    return this.u3n(that);
   };
-  protoOf(BinaryDecisionDiagramExplanation).or_mpoao7_k$ = function (that) {
-    var tmp = getAsInternal(this, that).diagram_1;
-    var tmp_0 = Companion_getInstance_13().FALSE_COMPUTED_VALUE_1;
-    var tmp_1 = Companion_getInstance_13().TRUE_COMPUTED_VALUE_1;
-    var result = orThenExpansion(this.diagram_1, tmp, tmp_0, tmp_1, BinaryDecisionDiagramExplanation$or$lambda(this));
+  protoOf(BinaryDecisionDiagramExplanation).v3n = function (that) {
+    var tmp = getAsInternal(this, that).x3l_1;
+    var tmp_0 = Companion_getInstance_13().b3n_1;
+    var tmp_1 = Companion_getInstance_13().c3n_1;
+    var result = orThenExpansion(this.x3l_1, tmp, tmp_0, tmp_1, BinaryDecisionDiagramExplanation$or$lambda(this));
     return new BinaryDecisionDiagramExplanation(result.first, result.second);
   };
   protoOf(BinaryDecisionDiagramExplanation).or = function (that) {
-    return this.or_mpoao7_k$(that);
+    return this.v3n(that);
   };
-  protoOf(BinaryDecisionDiagramExplanation).get_probability_7g5yr8_k$ = function () {
-    var tmp0 = this.probability$delegate_1;
+  protoOf(BinaryDecisionDiagramExplanation).l3n = function () {
+    var tmp0 = this.a3m_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     getPropertyCallableRef('probability', 1, tmp, BinaryDecisionDiagramExplanation$_get_probability_$ref_gzzr62(), null);
-    return tmp0.get_value_j01efc_k$();
+    return tmp0.f1();
   };
-  protoOf(BinaryDecisionDiagramExplanation).get_containsNonGroundTerm_exngzs_k$ = function () {
-    var tmp0 = this.containsAnyNotGroundTerm$delegate_1;
+  protoOf(BinaryDecisionDiagramExplanation).n3n = function () {
+    var tmp0 = this.b3m_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     getPropertyCallableRef('containsAnyNotGroundTerm', 1, tmp, BinaryDecisionDiagramExplanation$_get_containsAnyNotGroundTerm_$ref_82xwv2(), null);
-    return tmp0.get_value_j01efc_k$();
+    return tmp0.f1();
   };
   protoOf(BinaryDecisionDiagramExplanation).toString = function () {
-    return 'bdd:' + hashCode(this.diagram_1);
+    return 'bdd:' + hashCode(this.x3l_1);
   };
-  protoOf(BinaryDecisionDiagramExplanation).applyTransformation_8udvxw_k$ = function (transformation) {
-    return new BinaryDecisionDiagramExplanation(map_0(this.diagram_1, BinaryDecisionDiagramExplanation$apply$lambda(transformation)));
+  protoOf(BinaryDecisionDiagramExplanation).w3n = function (transformation) {
+    return new BinaryDecisionDiagramExplanation(map_0(this.x3l_1, BinaryDecisionDiagramExplanation$apply$lambda(transformation)));
   };
   protoOf(BinaryDecisionDiagramExplanation).applyTransformation = function (transformation) {
-    return this.applyTransformation_8udvxw_k$(transformation);
+    return this.w3n(transformation);
   };
   function get_nonWrappableFunctors() {
     _init_properties_ClauseMappingUtils_kt__go80e();
@@ -1914,27 +1914,27 @@
   var nonWrappableFunctors;
   function ClauseMappingUtils() {
     ClauseMappingUtils_instance = this;
-    this.clauseIndex_1 = 1n;
-    this.cascadeMappers_1 = listOf_0([DirectiveClauseMapper_instance, AnnotatedDisjunctionClauseMapper_instance, ProbabilisticClauseMapper_instance, EvidenceClauseMapper_instance, PrologClauseMapper_instance, NothingClauseMapper_instance]);
+    this.x3n_1 = 1n;
+    this.y3n_1 = listOf_0([DirectiveClauseMapper_instance, AnnotatedDisjunctionClauseMapper_instance, ProbabilisticClauseMapper_instance, EvidenceClauseMapper_instance, PrologClauseMapper_instance, NothingClauseMapper_instance]);
   }
-  protoOf(ClauseMappingUtils).newClauseId_w9leay_k$ = function () {
-    var _unary__edvuaz = this.clauseIndex_1;
-    this.clauseIndex_1 = add(_unary__edvuaz, get_ONE());
+  protoOf(ClauseMappingUtils).z3n = function () {
+    var _unary__edvuaz = this.x3n_1;
+    this.x3n_1 = add(_unary__edvuaz, get_ONE());
     return _unary__edvuaz;
   };
-  protoOf(ClauseMappingUtils).map_neip0b_k$ = function (clause) {
+  protoOf(ClauseMappingUtils).a3o = function (clause) {
     var tmp;
     if (get_isMappedAsProblog(clause)) {
       tmp = listOf(clause);
     } else {
-      var tmp0 = this.cascadeMappers_1;
+      var tmp0 = this.y3n_1;
       var tmp$ret$0;
       $l$block: {
         // Inline function 'kotlin.collections.first' call
-        var _iterator__ex2g4s = tmp0.iterator_jk1svi_k$();
-        while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
-          var element = _iterator__ex2g4s.next_20eer_k$();
-          if (element.isCompatible_jra7od_k$(clause)) {
+        var _iterator__ex2g4s = tmp0.n();
+        while (_iterator__ex2g4s.q()) {
+          var element = _iterator__ex2g4s.r();
+          if (element.o3n(clause)) {
             tmp$ret$0 = element;
             break $l$block;
           }
@@ -1942,26 +1942,26 @@
         throw NoSuchElementException_init_$Create$('Collection contains no element matching the predicate.');
       }
       // Inline function 'kotlin.collections.map' call
-      var this_0 = tmp$ret$0.apply_a16z0z_k$(clause);
+      var this_0 = tmp$ret$0.p3n(clause);
       // Inline function 'kotlin.collections.mapTo' call
       var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
-      var _iterator__ex2g4s_0 = this_0.iterator_jk1svi_k$();
-      while (_iterator__ex2g4s_0.hasNext_bitz1p_k$()) {
-        var item = _iterator__ex2g4s_0.next_20eer_k$();
+      var _iterator__ex2g4s_0 = this_0.n();
+      while (_iterator__ex2g4s_0.q()) {
+        var item = _iterator__ex2g4s_0.r();
         var tmp$ret$4 = setMappedAsProblog(item, true);
-        destination.add_utx5q5_k$(tmp$ret$4);
+        destination.l(tmp$ret$4);
       }
       tmp = destination;
     }
     return tmp;
   };
-  protoOf(ClauseMappingUtils).map_v8kjbx_k$ = function (indicator) {
-    var arityTerm = indicator.get_arityTerm_3wo1ts_k$();
+  protoOf(ClauseMappingUtils).b3o = function (indicator) {
+    var arityTerm = indicator.f11();
     var tmp = Companion_instance_4;
-    var tmp_0 = indicator.get_nameTerm_1d3t7k_k$();
+    var tmp_0 = indicator.e11();
     var tmp_1;
     if (isInterface(arityTerm, Numeric)) {
-      tmp_1 = Companion_getInstance_6().ofInteger(arityTerm.get_intValue_mlvnn9_k$().toInt() + 1 | 0);
+      tmp_1 = Companion_getInstance_6().ofInteger(arityTerm.g11().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.get_functor_75vgt2_k$(), plus(_this__u8e3s4.get_argsList_cw1bs4_k$(), explanation));
+        tmp_0 = Companion_getInstance_1().ofList(_this__u8e3s4.yw(), plus(_this__u8e3s4.zw(), 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.get_functor_75vgt2_k$()) {
+      switch (_this__u8e3s4.yw()) {
         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().contains_aljjnj_k$(safeToStruct(_this__u8e3s4).get_functor_75vgt2_k$());
+    return !get_nonWrappableFunctors().y(safeToStruct(_this__u8e3s4).yw());
   }
   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().TRUE_1)]));
+    return Companion_instance_0.of(_this__u8e3s4, Companion_getInstance_1().of('=', [explanation, toTerm(Companion_getInstance_11().z3m_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').replace_1ix0wf_k$(tmp0, '');
-    var tmp0_elvis_lhs = Regex_init_$Create$('([0-9.]+)(/)([0-9.]+).*').find$default_xakyli_k$(termStr);
+    var termStr = Regex_init_$Create$('\\s').ub(tmp0, '');
+    var tmp0_elvis_lhs = Regex_init_$Create$('([0-9.]+)(/)([0-9.]+).*').pb(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.get_destructured_a9abdx_k$();
+    var _destruct__k2r9zo = regexMatch.oc();
     // Inline function 'kotlin.text.Destructured.component1' call
-    var dividendStr = _destruct__k2r9zo.match_1.get_groupValues_rkv314_k$().get_c1px32_k$(1);
+    var dividendStr = _destruct__k2r9zo.qj_1.nc().x(1);
     // Inline function 'kotlin.text.Destructured.component3' call
-    var divisorStr = _destruct__k2r9zo.match_1.get_groupValues_rkv314_k$().get_c1px32_k$(3);
+    var divisorStr = _destruct__k2r9zo.qj_1.nc().x(3);
     var dividend = toDoubleOrNull(dividendStr);
     var divisor = toDoubleOrNull(divisorStr);
     if (dividend == null || divisor == null) {
@@ -2101,44 +2101,44 @@
     _init_properties_ClauseMappingUtils_kt__go80e();
     var tmp = Companion_getInstance_5();
     // Inline function 'kotlin.collections.filter' call
-    var tmp0 = plus_0(toSet_0(_this__u8e3s4.get_head_won7e1_k$().get_variables_75f0zy_k$()), toSet_0(_this__u8e3s4.get_body_wojkyz_k$().get_variables_75f0zy_k$()));
+    var tmp0 = plus_0(toSet_0(_this__u8e3s4.ez().ax()), toSet_0(_this__u8e3s4.fz().ax()));
     // Inline function 'kotlin.collections.filterTo' call
     var destination = ArrayList_init_$Create$_0();
-    var _iterator__ex2g4s = tmp0.iterator_jk1svi_k$();
-    while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
-      var element = _iterator__ex2g4s.next_20eer_k$();
-      if (element.get_isAnonymous_19zn5y_k$()) {
-        destination.add_utx5q5_k$(element);
+    var _iterator__ex2g4s = tmp0.n();
+    while (_iterator__ex2g4s.q()) {
+      var element = _iterator__ex2g4s.r();
+      if (element.v15()) {
+        destination.l(element);
       }
     }
     // Inline function 'kotlin.collections.mapIndexed' call
     // Inline function 'kotlin.collections.mapIndexedTo' call
     var destination_0 = ArrayList_init_$Create$(collectionSizeOrDefault(destination, 10));
     var index = 0;
-    var _iterator__ex2g4s_0 = destination.iterator_jk1svi_k$();
-    while (_iterator__ex2g4s_0.hasNext_bitz1p_k$()) {
-      var item = _iterator__ex2g4s_0.next_20eer_k$();
+    var _iterator__ex2g4s_0 = destination.n();
+    while (_iterator__ex2g4s_0.q()) {
+      var item = _iterator__ex2g4s_0.r();
       var _unary__edvuaz = index;
       index = _unary__edvuaz + 1 | 0;
       var index_0 = checkIndexOverflow(_unary__edvuaz);
       var tmp$ret$5 = new Pair(item, Companion_getInstance_0().of('ANON_' + index_0));
-      destination_0.add_utx5q5_k$(tmp$ret$5);
+      destination_0.l(tmp$ret$5);
     }
     var anonVarSubstitution = tmp.ofIterable(destination_0);
     var tmp_0;
     if (isInterface(_this__u8e3s4, Fact)) {
-      tmp_0 = Companion_instance.of(safeToStruct(_this__u8e3s4.get_head_won7e1_k$().applySubstitution(anonVarSubstitution)));
+      tmp_0 = Companion_instance.of(safeToStruct(_this__u8e3s4.ez().applySubstitution(anonVarSubstitution)));
     } else {
-      tmp_0 = Companion_instance_3.of(safeToStruct(_this__u8e3s4.get_head_won7e1_k$().applySubstitution(anonVarSubstitution)), [safeToStruct(_this__u8e3s4.get_body_wojkyz_k$().applySubstitution(anonVarSubstitution))]);
+      tmp_0 = Companion_instance_3.of(safeToStruct(_this__u8e3s4.ez().applySubstitution(anonVarSubstitution)), [safeToStruct(_this__u8e3s4.fz().applySubstitution(anonVarSubstitution))]);
     }
     return tmp_0;
   }
   function get_extraVariables(_this__u8e3s4) {
     _init_properties_ClauseMappingUtils_kt__go80e();
     var tmp;
-    if (!_this__u8e3s4.get_isGround_twq4nu_k$()) {
-      var headVars = toSet_0(_this__u8e3s4.get_head_won7e1_k$().get_variables_75f0zy_k$());
-      var bodyVars = toSet_0(_this__u8e3s4.get_body_wojkyz_k$().get_variables_75f0zy_k$());
+    if (!_this__u8e3s4.cy()) {
+      var headVars = toSet_0(_this__u8e3s4.ez().ax());
+      var bodyVars = toSet_0(_this__u8e3s4.fz().ax());
       tmp = subtract(bodyVars, headVars);
     } else {
       tmp = emptySet();
@@ -2154,17 +2154,17 @@
   }
   function DirectiveClauseMapper() {
   }
-  protoOf(DirectiveClauseMapper).isCompatible_jra7od_k$ = function (clause) {
-    return clause.get_isDirective_hgp7mk_k$();
+  protoOf(DirectiveClauseMapper).o3n = function (clause) {
+    return clause.hx();
   };
-  protoOf(DirectiveClauseMapper).apply_a16z0z_k$ = function (clause) {
-    var body = clause.get_body_wojkyz_k$();
+  protoOf(DirectiveClauseMapper).p3n = function (clause) {
+    var body = clause.fz();
     if (!isInterface(clause, Directive)) {
       throw new ClauseMappingException('Clause is not an instance of Directive: ' + clause.toString());
     }
     var tmp;
     if (isInterface(body, Struct)) {
-      tmp = body.get_functor_75vgt2_k$() === 'static' || body.get_functor_75vgt2_k$() === 'dynamic';
+      tmp = body.yw() === 'static' || body.yw() === 'dynamic';
     } else {
       tmp = false;
     }
@@ -2173,21 +2173,21 @@
       if (!isInterface(indicatorTerm, Indicator)) {
         throw new ClauseMappingException('Malformed directive: ' + clause.toString());
       }
-      var name = indicatorTerm.get_nameTerm_1d3t7k_k$();
-      var arity = indicatorTerm.get_arityTerm_3wo1ts_k$();
+      var name = indicatorTerm.e11();
+      var arity = indicatorTerm.f11();
       if (!isInterface(arity, Numeric)) {
         throw new ClauseMappingException('Malformed directive: ' + clause.toString());
       }
-      return listOf(Companion_instance_5.of(Companion_getInstance_1().of(body.get_functor_75vgt2_k$(), [Companion_instance_4.of(name, Companion_getInstance_6().ofInteger(arity.get_decimalValue_7pja3t_k$().toInt() + 1 | 0))]), []));
+      return listOf(Companion_instance_5.of(Companion_getInstance_1().of(body.yw(), [Companion_instance_4.of(name, Companion_getInstance_6().ofInteger(arity.o11().toInt() + 1 | 0))]), []));
     }
     var tmp_0;
     if (isInterface(body, Struct)) {
-      tmp_0 = body.get_functor_75vgt2_k$() === 'initialization' || body.get_functor_75vgt2_k$() === 'solve';
+      tmp_0 = body.yw() === 'initialization' || body.yw() === 'solve';
     } else {
       tmp_0 = false;
     }
     if (tmp_0) {
-      return listOf(Companion_instance_5.of(Companion_getInstance_1().of(body.get_functor_75vgt2_k$(), [withBodyExplanation(body.get(0), Companion_getInstance_0().anonymous())]), []));
+      return listOf(Companion_instance_5.of(Companion_getInstance_1().of(body.yw(), [withBodyExplanation(body.get(0), Companion_getInstance_0().anonymous())]), []));
     }
     return listOf(clause);
   };
@@ -2197,42 +2197,42 @@
   }
   function EvidenceClauseMapper() {
   }
-  protoOf(EvidenceClauseMapper).isCompatible_jra7od_k$ = function (clause) {
+  protoOf(EvidenceClauseMapper).o3n = function (clause) {
     var tmp;
     if (isInterface(clause, Rule)) {
-      tmp = clause.get_head_won7e1_k$().get_functor_75vgt2_k$() === 'evidence';
+      tmp = clause.ez().yw() === 'evidence';
     } else {
       tmp = false;
     }
     return tmp;
   };
-  protoOf(EvidenceClauseMapper).apply_a16z0z_k$ = function (clause) {
+  protoOf(EvidenceClauseMapper).p3n = function (clause) {
     if (!isInterface(clause, Rule)) {
       throw new ClauseMappingException('Clause is not an instance of Rule: ' + clause.toString());
     }
-    if (clause.get_head_won7e1_k$().get_arity_iosiic_k$() > 2) {
-      throw TuPrologException_init_$Create$('Invalid evidence predicate: ' + clause.get_head_won7e1_k$().toString());
+    if (clause.ez().sw() > 2) {
+      throw TuPrologException_init_$Create$('Invalid evidence predicate: ' + clause.ez().toString());
     } else {
       var tmp;
-      if (clause.get_head_won7e1_k$().get_arity_iosiic_k$() === 2) {
-        var tmp_0 = clause.get_head_won7e1_k$().get(1);
+      if (clause.ez().sw() === 2) {
+        var tmp_0 = clause.ez().get(1);
         tmp = !isInterface(tmp_0, Truth);
       } else {
         tmp = false;
       }
       if (tmp) {
-        throw TuPrologException_init_$Create$('Invalid evidence predicate: ' + clause.get_head_won7e1_k$().toString());
+        throw TuPrologException_init_$Create$('Invalid evidence predicate: ' + clause.ez().toString());
       }
     }
-    var headTerm = clause.get_head_won7e1_k$();
-    if (headTerm.get_arity_iosiic_k$() === 1) {
-      headTerm = Companion_getInstance_1().of(headTerm.get_functor_75vgt2_k$(), [headTerm.get(0), Companion_getInstance_7().TRUE_1]);
+    var headTerm = clause.ez();
+    if (headTerm.sw() === 1) {
+      headTerm = Companion_getInstance_1().of(headTerm.yw(), [headTerm.get(0), Companion_getInstance_7().pw_1]);
     }
     var tmp_1;
     if (isInterface(clause, Fact)) {
       tmp_1 = Companion_instance.of(headTerm);
     } else {
-      tmp_1 = Companion_instance_3.of(headTerm, [withBodyExplanation(clause.get_body_wojkyz_k$(), Companion_getInstance_0().anonymous())]);
+      tmp_1 = Companion_instance_3.of(headTerm, [withBodyExplanation(clause.fz(), 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().get_default_qtagd4_k$() : unificator;
+    unificator = unificator === VOID ? Companion_getInstance_8().o1n() : unificator;
     var tmp;
     if (theory === VOID) {
       var tmp_0 = Companion_instance_6;
@@ -2252,10 +2252,10 @@
         // Inline function 'kotlin.collections.flatMap' call
         // Inline function 'kotlin.collections.flatMapTo' call
         var destination = ArrayList_init_$Create$_0();
-        var _iterator__ex2g4s = clauses.iterator_jk1svi_k$();
-        while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
-          var element = _iterator__ex2g4s.next_20eer_k$();
-          var list = ClauseMappingUtils_getInstance().map_neip0b_k$(element);
+        var _iterator__ex2g4s = clauses.n();
+        while (_iterator__ex2g4s.q()) {
+          var element = _iterator__ex2g4s.r();
+          var list = ClauseMappingUtils_getInstance().a3o(element);
           addAll(destination, list);
         }
         tmp_1 = destination;
@@ -2266,106 +2266,106 @@
       tmp = theory;
     }
     theory = tmp;
-    this.theory_1 = theory;
+    this.c3o_1 = theory;
   }
-  protoOf(MappedMutableProblogTheory).get_isMutable_matrzn_k$ = function () {
+  protoOf(MappedMutableProblogTheory).l1v = function () {
     return false;
   };
-  protoOf(MappedMutableProblogTheory).toMutableTheory_1yp9n4_k$ = function () {
-    return Companion_instance_8.ofIterable(this.get_unificator_xw6v3j_k$(), this);
+  protoOf(MappedMutableProblogTheory).y1v = function () {
+    return Companion_instance_8.ofIterable(this.v1n(), this);
   };
   protoOf(MappedMutableProblogTheory).toMutableTheory = function () {
-    return this.toMutableTheory_1yp9n4_k$();
+    return this.y1v();
   };
-  protoOf(MappedMutableProblogTheory).toImmutableTheory_k8hbm4_k$ = function () {
+  protoOf(MappedMutableProblogTheory).l1u = function () {
     return this;
   };
   protoOf(MappedMutableProblogTheory).toImmutableTheory = function () {
-    return this.toImmutableTheory_k8hbm4_k$();
+    return this.l1u();
   };
-  protoOf(MappedMutableProblogTheory).plus_jzqt4d_k$ = function (theory) {
-    return new MappedMutableProblogTheory(null, this.get_unificator_xw6v3j_k$(), this.theory_1.plusTheory_613tvy_k$(theory));
+  protoOf(MappedMutableProblogTheory).d3o = function (theory) {
+    return new MappedMutableProblogTheory(null, this.v1n(), this.c3o_1.y1u(theory));
   };
-  protoOf(MappedMutableProblogTheory).plusTheory_613tvy_k$ = function (theory) {
+  protoOf(MappedMutableProblogTheory).y1u = function (theory) {
     var tmp;
     if (isInterface(theory, ProblogTheory)) {
-      tmp = this.plus_jzqt4d_k$(theory);
+      tmp = this.d3o(theory);
     } else {
-      tmp = this.plus_jzqt4d_k$(new MappedMutableProblogTheory(theory, this.get_unificator_xw6v3j_k$()));
+      tmp = this.d3o(new MappedMutableProblogTheory(theory, this.v1n()));
     }
     return tmp;
   };
   protoOf(MappedMutableProblogTheory).plusTheory = function (theory) {
-    return this.plusTheory_613tvy_k$(theory);
+    return this.y1u(theory);
   };
-  protoOf(MappedMutableProblogTheory).plus_uxlzkp_k$ = function (clause) {
-    var mapped = ClauseMappingUtils_getInstance().map_neip0b_k$(clause);
-    return new MappedMutableProblogTheory(null, this.get_unificator_xw6v3j_k$(), this.theory_1.plusTheory_613tvy_k$(Companion_instance_7.indexedOfIterable(this.get_unificator_xw6v3j_k$(), mapped)));
+  protoOf(MappedMutableProblogTheory).m1u = function (clause) {
+    var mapped = ClauseMappingUtils_getInstance().a3o(clause);
+    return new MappedMutableProblogTheory(null, this.v1n(), this.c3o_1.y1u(Companion_instance_7.indexedOfIterable(this.v1n(), mapped)));
   };
   protoOf(MappedMutableProblogTheory).plus = function (clause) {
-    return this.plus_uxlzkp_k$(clause);
+    return this.m1u(clause);
   };
-  protoOf(MappedMutableProblogTheory).assertAIterable_k6qgdt_k$ = function (clauses) {
+  protoOf(MappedMutableProblogTheory).c1v = function (clauses) {
     // Inline function 'kotlin.collections.flatMap' call
     // Inline function 'kotlin.collections.flatMapTo' call
     var destination = ArrayList_init_$Create$_0();
-    var _iterator__ex2g4s = clauses.iterator_jk1svi_k$();
-    while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
-      var element = _iterator__ex2g4s.next_20eer_k$();
-      var list = ClauseMappingUtils_getInstance().map_neip0b_k$(element);
+    var _iterator__ex2g4s = clauses.n();
+    while (_iterator__ex2g4s.q()) {
+      var element = _iterator__ex2g4s.r();
+      var list = ClauseMappingUtils_getInstance().a3o(element);
       addAll(destination, list);
     }
     var mapped = destination;
-    return new MappedMutableProblogTheory(null, this.get_unificator_xw6v3j_k$(), this.theory_1.assertAIterable_k6qgdt_k$(mapped));
+    return new MappedMutableProblogTheory(null, this.v1n(), this.c3o_1.c1v(mapped));
   };
   protoOf(MappedMutableProblogTheory).assertAIterable = function (clauses) {
-    return this.assertAIterable_k6qgdt_k$(clauses);
+    return this.c1v(clauses);
   };
-  protoOf(MappedMutableProblogTheory).assertZIterable_th66so_k$ = function (clauses) {
+  protoOf(MappedMutableProblogTheory).f1v = function (clauses) {
     // Inline function 'kotlin.collections.flatMap' call
     // Inline function 'kotlin.collections.flatMapTo' call
     var destination = ArrayList_init_$Create$_0();
-    var _iterator__ex2g4s = clauses.iterator_jk1svi_k$();
-    while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
-      var element = _iterator__ex2g4s.next_20eer_k$();
-      var list = ClauseMappingUtils_getInstance().map_neip0b_k$(element);
+    var _iterator__ex2g4s = clauses.n();
+    while (_iterator__ex2g4s.q()) {
+      var element = _iterator__ex2g4s.r();
+      var list = ClauseMappingUtils_getInstance().a3o(element);
       addAll(destination, list);
     }
     var mapped = destination;
-    return new MappedMutableProblogTheory(null, this.get_unificator_xw6v3j_k$(), this.theory_1.assertZIterable_th66so_k$(mapped));
+    return new MappedMutableProblogTheory(null, this.v1n(), this.c3o_1.f1v(mapped));
   };
   protoOf(MappedMutableProblogTheory).assertZIterable = function (clauses) {
-    return this.assertZIterable_th66so_k$(clauses);
+    return this.f1v(clauses);
   };
-  protoOf(MappedMutableProblogTheory).retractIterable_ebg9t7_k$ = function (clauses) {
+  protoOf(MappedMutableProblogTheory).j1v = function (clauses) {
     // Inline function 'kotlin.collections.flatMap' call
     // Inline function 'kotlin.collections.flatMapTo' call
     var destination = ArrayList_init_$Create$_0();
-    var _iterator__ex2g4s = clauses.iterator_jk1svi_k$();
-    while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
-      var element = _iterator__ex2g4s.next_20eer_k$();
-      var list = ClauseMappingUtils_getInstance().map_neip0b_k$(element);
+    var _iterator__ex2g4s = clauses.n();
+    while (_iterator__ex2g4s.q()) {
+      var element = _iterator__ex2g4s.r();
+      var list = ClauseMappingUtils_getInstance().a3o(element);
       addAll(destination, list);
     }
     var mapped = destination;
-    var result = this.theory_1.retractIterable_ebg9t7_k$(mapped);
+    var result = this.c3o_1.j1v(mapped);
     var tmp;
     if (result instanceof Success) {
-      tmp = new Success(new MappedMutableProblogTheory(null, this.get_unificator_xw6v3j_k$(), result.theory_1), result.clauses_1);
+      tmp = new Success(new MappedMutableProblogTheory(null, this.v1n(), result.e1w_1), result.f1w_1);
     } else {
-      tmp = new Failure(new MappedMutableProblogTheory(null, this.get_unificator_xw6v3j_k$(), result.get_theory_jxxpta_k$()));
+      tmp = new Failure(new MappedMutableProblogTheory(null, this.v1n(), result.s1u()));
     }
     return tmp;
   };
   protoOf(MappedMutableProblogTheory).retractIterable = function (clauses) {
-    return this.retractIterable_ebg9t7_k$(clauses);
+    return this.j1v(clauses);
   };
-  protoOf(MappedMutableProblogTheory).retractAll_ggzq75_k$ = function (clause) {
-    var mappedClauses = ClauseMappingUtils_getInstance().map_neip0b_k$(clause);
+  protoOf(MappedMutableProblogTheory).n1o = function (clause) {
+    var mappedClauses = ClauseMappingUtils_getInstance().a3o(clause);
     var result = null;
-    var _iterator__ex2g4s = mappedClauses.iterator_jk1svi_k$();
-    while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
-      var c = _iterator__ex2g4s.next_20eer_k$();
+    var _iterator__ex2g4s = mappedClauses.n();
+    while (_iterator__ex2g4s.q()) {
+      var c = _iterator__ex2g4s.r();
       var tmp;
       if (result == null) {
         tmp = true;
@@ -2373,16 +2373,16 @@
         tmp = !(result instanceof Failure);
       }
       if (tmp) {
-        result = this.theory_1.retractAll_ggzq75_k$(c);
+        result = this.c3o_1.n1o(c);
       }
     }
     var tmp0_subject = result;
     var tmp_0;
     if (tmp0_subject instanceof Success) {
-      tmp_0 = new Success(new MappedMutableProblogTheory(null, this.get_unificator_xw6v3j_k$(), result.theory_1), result.clauses_1);
+      tmp_0 = new Success(new MappedMutableProblogTheory(null, this.v1n(), result.e1w_1), result.f1w_1);
     } else {
       if (tmp0_subject instanceof Failure) {
-        tmp_0 = new Failure(new MappedMutableProblogTheory(null, this.get_unificator_xw6v3j_k$(), result.theory_1));
+        tmp_0 = new Failure(new MappedMutableProblogTheory(null, this.v1n(), result.g1w_1));
       } else {
         tmp_0 = new Failure(this);
       }
@@ -2390,148 +2390,148 @@
     return tmp_0;
   };
   protoOf(MappedMutableProblogTheory).retractAll = function (clause) {
-    return this.retractAll_ggzq75_k$(clause);
+    return this.n1o(clause);
   };
-  protoOf(MappedMutableProblogTheory).abolish_852mm9_k$ = function (indicator) {
-    return new MappedMutableProblogTheory(null, this.get_unificator_xw6v3j_k$(), this.theory_1.abolish_852mm9_k$(ClauseMappingUtils_getInstance().map_v8kjbx_k$(indicator)));
+  protoOf(MappedMutableProblogTheory).r1u = function (indicator) {
+    return new MappedMutableProblogTheory(null, this.v1n(), this.c3o_1.r1u(ClauseMappingUtils_getInstance().b3o(indicator)));
   };
   protoOf(MappedMutableProblogTheory).abolish = function (indicator) {
-    return this.abolish_852mm9_k$(indicator);
+    return this.r1u(indicator);
   };
-  protoOf(MappedMutableProblogTheory).assertAFact_4uxdq5_k$ = function (struct) {
-    return this.assertA_rph7uu_k$(Companion_instance.of(struct));
+  protoOf(MappedMutableProblogTheory).z1v = function (struct) {
+    return this.a1v(Companion_instance.of(struct));
   };
   protoOf(MappedMutableProblogTheory).assertAFact = function (struct) {
-    return this.assertAFact_4uxdq5_k$(struct);
+    return this.z1v(struct);
   };
-  protoOf(MappedMutableProblogTheory).assertZFact_k45js4_k$ = function (struct) {
-    return this.assertZ_cv7m25_k$(Companion_instance.of(struct));
+  protoOf(MappedMutableProblogTheory).a1w = function (struct) {
+    return this.e1v(Companion_instance.of(struct));
   };
   protoOf(MappedMutableProblogTheory).assertZFact = function (struct) {
-    return this.assertZFact_k45js4_k$(struct);
+    return this.a1w(struct);
   };
-  protoOf(MappedMutableProblogTheory).assertA_rph7uu_k$ = function (clause) {
-    return this.assertAIterable_k6qgdt_k$(listOf(clause));
+  protoOf(MappedMutableProblogTheory).a1v = function (clause) {
+    return this.c1v(listOf(clause));
   };
   protoOf(MappedMutableProblogTheory).assertA = function (clause) {
-    return this.assertA_rph7uu_k$(clause);
+    return this.a1v(clause);
   };
-  protoOf(MappedMutableProblogTheory).assertASequence_4ooi9c_k$ = function (clauses) {
-    return this.assertAIterable_k6qgdt_k$(asIterable_0(clauses));
+  protoOf(MappedMutableProblogTheory).d1v = function (clauses) {
+    return this.c1v(asIterable_0(clauses));
   };
   protoOf(MappedMutableProblogTheory).assertASequence = function (clauses) {
-    return this.assertASequence_4ooi9c_k$(clauses);
+    return this.d1v(clauses);
   };
-  protoOf(MappedMutableProblogTheory).assertZ_cv7m25_k$ = function (clause) {
-    return this.assertZIterable_th66so_k$(listOf(clause));
+  protoOf(MappedMutableProblogTheory).e1v = function (clause) {
+    return this.f1v(listOf(clause));
   };
   protoOf(MappedMutableProblogTheory).assertZ = function (clause) {
-    return this.assertZ_cv7m25_k$(clause);
+    return this.e1v(clause);
   };
-  protoOf(MappedMutableProblogTheory).assertZSequence_wqv55_k$ = function (clauses) {
-    return this.assertZIterable_th66so_k$(asIterable_0(clauses));
+  protoOf(MappedMutableProblogTheory).g1v = function (clauses) {
+    return this.f1v(asIterable_0(clauses));
   };
   protoOf(MappedMutableProblogTheory).assertZSequence = function (clauses) {
-    return this.assertZSequence_wqv55_k$(clauses);
+    return this.g1v(clauses);
   };
-  protoOf(MappedMutableProblogTheory).retractByHead_iva4y4_k$ = function (head) {
-    return this.retract_hfhq2o_k$(Companion_instance_3.of(head, [Companion_getInstance_0().anonymous()]));
+  protoOf(MappedMutableProblogTheory).c1w = function (head) {
+    return this.b1w(Companion_instance_3.of(head, [Companion_getInstance_0().anonymous()]));
   };
   protoOf(MappedMutableProblogTheory).retractByHead = function (head) {
-    return this.retractByHead_iva4y4_k$(head);
+    return this.c1w(head);
   };
-  protoOf(MappedMutableProblogTheory).retract_hfhq2o_k$ = function (clause) {
-    return this.retractIterable_ebg9t7_k$(listOf(clause));
+  protoOf(MappedMutableProblogTheory).b1w = function (clause) {
+    return this.j1v(listOf(clause));
   };
   protoOf(MappedMutableProblogTheory).retract = function (clause) {
-    return this.retract_hfhq2o_k$(clause);
+    return this.b1w(clause);
   };
-  protoOf(MappedMutableProblogTheory).retractSequence_n30sa2_k$ = function (clauses) {
-    return this.retractIterable_ebg9t7_k$(asIterable_0(clauses));
+  protoOf(MappedMutableProblogTheory).i1v = function (clauses) {
+    return this.j1v(asIterable_0(clauses));
   };
   protoOf(MappedMutableProblogTheory).retractSequence = function (clauses) {
-    return this.retractSequence_n30sa2_k$(clauses);
+    return this.i1v(clauses);
   };
-  protoOf(MappedMutableProblogTheory).retractAllByHead_fm9lxv_k$ = function (head) {
-    return this.retractAll_ggzq75_k$(Companion_instance_3.of(head, [Companion_getInstance_0().anonymous()]));
+  protoOf(MappedMutableProblogTheory).d1w = function (head) {
+    return this.n1o(Companion_instance_3.of(head, [Companion_getInstance_0().anonymous()]));
   };
   protoOf(MappedMutableProblogTheory).retractAllByHead = function (head) {
-    return this.retractAllByHead_fm9lxv_k$(head);
+    return this.d1w(head);
   };
-  protoOf(MappedMutableProblogTheory).setUnificator_7dfmd5_k$ = function (unificator) {
-    return this.theory_1.setUnificator_7dfmd5_k$(unificator);
+  protoOf(MappedMutableProblogTheory).w1u = function (unificator) {
+    return this.c3o_1.w1u(unificator);
   };
   protoOf(MappedMutableProblogTheory).setUnificator = function (unificator) {
-    return this.setUnificator_7dfmd5_k$(unificator);
+    return this.w1u(unificator);
   };
-  protoOf(MappedMutableProblogTheory).resetTags_94corn_k$ = function (tags) {
-    return this.theory_1.resetTags_94corn_k$(tags);
+  protoOf(MappedMutableProblogTheory).a13 = function (tags) {
+    return this.c3o_1.a13(tags);
   };
   protoOf(MappedMutableProblogTheory).resetTags = function (tags) {
-    return this.resetTags_94corn_k$(tags);
+    return this.a13(tags);
   };
-  protoOf(MappedMutableProblogTheory).clone_1keycd_k$ = function () {
-    return this.theory_1.clone_1keycd_k$();
+  protoOf(MappedMutableProblogTheory).k1v = function () {
+    return this.c3o_1.k1v();
   };
   protoOf(MappedMutableProblogTheory).clone = function () {
-    return this.clone_1keycd_k$();
+    return this.k1v();
   };
   protoOf(MappedMutableProblogTheory).contains = function (clause) {
-    return this.theory_1.contains(clause);
+    return this.c3o_1.contains(clause);
   };
   protoOf(MappedMutableProblogTheory).containsHead = function (head) {
-    return this.theory_1.containsHead(head);
+    return this.c3o_1.containsHead(head);
   };
   protoOf(MappedMutableProblogTheory).containsIndicator = function (indicator) {
-    return this.theory_1.containsIndicator(indicator);
+    return this.c3o_1.containsIndicator(indicator);
   };
   protoOf(MappedMutableProblogTheory).get = function (clause) {
-    return this.theory_1.get(clause);
+    return this.c3o_1.get(clause);
   };
   protoOf(MappedMutableProblogTheory).getByHead = function (head) {
-    return this.theory_1.getByHead(head);
+    return this.c3o_1.getByHead(head);
   };
   protoOf(MappedMutableProblogTheory).getByIndicator = function (indicator) {
-    return this.theory_1.getByIndicator(indicator);
+    return this.c3o_1.getByIndicator(indicator);
   };
   protoOf(MappedMutableProblogTheory).toStringAsProlog = function (asPrologText) {
-    return this.theory_1.toStringAsProlog(asPrologText);
+    return this.c3o_1.toStringAsProlog(asPrologText);
   };
   protoOf(MappedMutableProblogTheory).equalsUsingVarCompleteNames = function (other, useVarCompleteName) {
-    return this.theory_1.equalsUsingVarCompleteNames(other, useVarCompleteName);
+    return this.c3o_1.equalsUsingVarCompleteNames(other, useVarCompleteName);
   };
-  protoOf(MappedMutableProblogTheory).get_clauses_fdta0r_k$ = function () {
-    return this.theory_1.get_clauses_fdta0r_k$();
+  protoOf(MappedMutableProblogTheory).f1o = function () {
+    return this.c3o_1.f1o();
   };
-  protoOf(MappedMutableProblogTheory).get_directives_ggm35f_k$ = function () {
-    return this.theory_1.get_directives_ggm35f_k$();
+  protoOf(MappedMutableProblogTheory).y1n = function () {
+    return this.c3o_1.y1n();
   };
-  protoOf(MappedMutableProblogTheory).get_size_woubt6_k$ = function () {
-    return this.theory_1.get_size_woubt6_k$();
+  protoOf(MappedMutableProblogTheory).s = function () {
+    return this.c3o_1.s();
   };
-  protoOf(MappedMutableProblogTheory).get_isEmpty_zauvru_k$ = function () {
-    return this.theory_1.get_isEmpty_zauvru_k$();
+  protoOf(MappedMutableProblogTheory).a1o = function () {
+    return this.c3o_1.a1o();
   };
-  protoOf(MappedMutableProblogTheory).get_isNonEmpty_aglh2l_k$ = function () {
-    return this.theory_1.get_isNonEmpty_aglh2l_k$();
+  protoOf(MappedMutableProblogTheory).v1u = function () {
+    return this.c3o_1.v1u();
   };
-  protoOf(MappedMutableProblogTheory).iterator_jk1svi_k$ = function () {
-    return this.theory_1.iterator_jk1svi_k$();
+  protoOf(MappedMutableProblogTheory).n = function () {
+    return this.c3o_1.n();
   };
   protoOf(MappedMutableProblogTheory).getTag = function (name) {
-    return this.theory_1.getTag(name);
+    return this.c3o_1.getTag(name);
   };
   protoOf(MappedMutableProblogTheory).containsTag = function (name) {
-    return this.theory_1.containsTag(name);
+    return this.c3o_1.containsTag(name);
   };
-  protoOf(MappedMutableProblogTheory).get_tags_wousf6_k$ = function () {
-    return this.theory_1.get_tags_wousf6_k$();
+  protoOf(MappedMutableProblogTheory).du = function () {
+    return this.c3o_1.du();
   };
-  protoOf(MappedMutableProblogTheory).get_unificator_xw6v3j_k$ = function () {
-    return this.theory_1.get_unificator_xw6v3j_k$();
+  protoOf(MappedMutableProblogTheory).v1n = function () {
+    return this.c3o_1.v1n();
   };
   function MappedProblogTheory(clauses, unificator, theory) {
-    unificator = unificator === VOID ? Companion_getInstance_8().get_default_qtagd4_k$() : unificator;
+    unificator = unificator === VOID ? Companion_getInstance_8().o1n() : unificator;
     var tmp;
     if (theory === VOID) {
       var tmp_0 = Companion_instance_7;
@@ -2542,10 +2542,10 @@
         // Inline function 'kotlin.collections.flatMap' call
         // Inline function 'kotlin.collections.flatMapTo' call
         var destination = ArrayList_init_$Create$_0();
-        var _iterator__ex2g4s = clauses.iterator_jk1svi_k$();
-        while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
-          var element = _iterator__ex2g4s.next_20eer_k$();
-          var list = ClauseMappingUtils_getInstance().map_neip0b_k$(element);
+        var _iterator__ex2g4s = clauses.n();
+        while (_iterator__ex2g4s.q()) {
+          var element = _iterator__ex2g4s.r();
+          var list = ClauseMappingUtils_getInstance().a3o(element);
           addAll(destination, list);
         }
         tmp_1 = destination;
@@ -2556,106 +2556,106 @@
       tmp = theory;
     }
     theory = tmp;
-    this.theory_1 = theory;
+    this.e3o_1 = theory;
   }
-  protoOf(MappedProblogTheory).get_isMutable_matrzn_k$ = function () {
+  protoOf(MappedProblogTheory).l1v = function () {
     return false;
   };
-  protoOf(MappedProblogTheory).toMutableTheory_1yp9n4_k$ = function () {
-    return Companion_instance_8.ofIterable(this.get_unificator_xw6v3j_k$(), this);
+  protoOf(MappedProblogTheory).y1v = function () {
+    return Companion_instance_8.ofIterable(this.v1n(), this);
   };
   protoOf(MappedProblogTheory).toMutableTheory = function () {
-    return this.toMutableTheory_1yp9n4_k$();
+    return this.y1v();
   };
-  protoOf(MappedProblogTheory).toImmutableTheory_k8hbm4_k$ = function () {
+  protoOf(MappedProblogTheory).l1u = function () {
     return this;
   };
   protoOf(MappedProblogTheory).toImmutableTheory = function () {
-    return this.toImmutableTheory_k8hbm4_k$();
+    return this.l1u();
   };
-  protoOf(MappedProblogTheory).plus_jzqt4d_k$ = function (theory) {
-    return new MappedProblogTheory(null, this.get_unificator_xw6v3j_k$(), this.theory_1.plusTheory(theory));
+  protoOf(MappedProblogTheory).d3o = function (theory) {
+    return new MappedProblogTheory(null, this.v1n(), this.e3o_1.plusTheory(theory));
   };
-  protoOf(MappedProblogTheory).plusTheory_613tvy_k$ = function (theory) {
+  protoOf(MappedProblogTheory).y1u = function (theory) {
     var tmp;
     if (isInterface(theory, ProblogTheory)) {
-      tmp = this.plus_jzqt4d_k$(theory);
+      tmp = this.d3o(theory);
     } else {
-      tmp = this.plus_jzqt4d_k$(new MappedProblogTheory(theory, this.get_unificator_xw6v3j_k$()));
+      tmp = this.d3o(new MappedProblogTheory(theory, this.v1n()));
     }
     return tmp;
   };
   protoOf(MappedProblogTheory).plusTheory = function (theory) {
-    return this.plusTheory_613tvy_k$(theory);
+    return this.y1u(theory);
   };
-  protoOf(MappedProblogTheory).plus_uxlzkp_k$ = function (clause) {
-    var mapped = ClauseMappingUtils_getInstance().map_neip0b_k$(clause);
-    return new MappedProblogTheory(null, this.get_unificator_xw6v3j_k$(), this.theory_1.plusTheory(Companion_instance_7.indexedOfIterable(this.get_unificator_xw6v3j_k$(), mapped)));
+  protoOf(MappedProblogTheory).m1u = function (clause) {
+    var mapped = ClauseMappingUtils_getInstance().a3o(clause);
+    return new MappedProblogTheory(null, this.v1n(), this.e3o_1.plusTheory(Companion_instance_7.indexedOfIterable(this.v1n(), mapped)));
   };
   protoOf(MappedProblogTheory).plus = function (clause) {
-    return this.plus_uxlzkp_k$(clause);
+    return this.m1u(clause);
   };
-  protoOf(MappedProblogTheory).assertAIterable_k6qgdt_k$ = function (clauses) {
+  protoOf(MappedProblogTheory).c1v = function (clauses) {
     // Inline function 'kotlin.collections.flatMap' call
     // Inline function 'kotlin.collections.flatMapTo' call
     var destination = ArrayList_init_$Create$_0();
-    var _iterator__ex2g4s = clauses.iterator_jk1svi_k$();
-    while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
-      var element = _iterator__ex2g4s.next_20eer_k$();
-      var list = ClauseMappingUtils_getInstance().map_neip0b_k$(element);
+    var _iterator__ex2g4s = clauses.n();
+    while (_iterator__ex2g4s.q()) {
+      var element = _iterator__ex2g4s.r();
+      var list = ClauseMappingUtils_getInstance().a3o(element);
       addAll(destination, list);
     }
     var mapped = destination;
-    return new MappedProblogTheory(null, this.get_unificator_xw6v3j_k$(), this.theory_1.assertAIterable(mapped));
+    return new MappedProblogTheory(null, this.v1n(), this.e3o_1.assertAIterable(mapped));
   };
   protoOf(MappedProblogTheory).assertAIterable = function (clauses) {
-    return this.assertAIterable_k6qgdt_k$(clauses);
+    return this.c1v(clauses);
   };
-  protoOf(MappedProblogTheory).assertZIterable_th66so_k$ = function (clauses) {
+  protoOf(MappedProblogTheory).f1v = function (clauses) {
     // Inline function 'kotlin.collections.flatMap' call
     // Inline function 'kotlin.collections.flatMapTo' call
     var destination = ArrayList_init_$Create$_0();
-    var _iterator__ex2g4s = clauses.iterator_jk1svi_k$();
-    while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
-      var element = _iterator__ex2g4s.next_20eer_k$();
-      var list = ClauseMappingUtils_getInstance().map_neip0b_k$(element);
+    var _iterator__ex2g4s = clauses.n();
+    while (_iterator__ex2g4s.q()) {
+      var element = _iterator__ex2g4s.r();
+      var list = ClauseMappingUtils_getInstance().a3o(element);
       addAll(destination, list);
     }
     var mapped = destination;
-    return new MappedProblogTheory(null, this.get_unificator_xw6v3j_k$(), this.theory_1.assertZIterable(mapped));
+    return new MappedProblogTheory(null, this.v1n(), this.e3o_1.assertZIterable(mapped));
   };
   protoOf(MappedProblogTheory).assertZIterable = function (clauses) {
-    return this.assertZIterable_th66so_k$(clauses);
+    return this.f1v(clauses);
   };
-  protoOf(MappedProblogTheory).retractIterable_ebg9t7_k$ = function (clauses) {
+  protoOf(MappedProblogTheory).j1v = function (clauses) {
     // Inline function 'kotlin.collections.flatMap' call
     // Inline function 'kotlin.collections.flatMapTo' call
     var destination = ArrayList_init_$Create$_0();
-    var _iterator__ex2g4s = clauses.iterator_jk1svi_k$();
-    while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
-      var element = _iterator__ex2g4s.next_20eer_k$();
-      var list = ClauseMappingUtils_getInstance().map_neip0b_k$(element);
+    var _iterator__ex2g4s = clauses.n();
+    while (_iterator__ex2g4s.q()) {
+      var element = _iterator__ex2g4s.r();
+      var list = ClauseMappingUtils_getInstance().a3o(element);
       addAll(destination, list);
     }
     var mapped = destination;
-    var result = this.theory_1.retractIterable(mapped);
+    var result = this.e3o_1.retractIterable(mapped);
     var tmp;
     if (result instanceof Success) {
-      tmp = new Success(new MappedProblogTheory(null, this.get_unificator_xw6v3j_k$(), result.theory_1), result.clauses_1);
+      tmp = new Success(new MappedProblogTheory(null, this.v1n(), result.e1w_1), result.f1w_1);
     } else {
-      tmp = new Failure(new MappedProblogTheory(null, this.get_unificator_xw6v3j_k$(), result.get_theory_jxxpta_k$()));
+      tmp = new Failure(new MappedProblogTheory(null, this.v1n(), result.s1u()));
     }
     return tmp;
   };
   protoOf(MappedProblogTheory).retractIterable = function (clauses) {
-    return this.retractIterable_ebg9t7_k$(clauses);
+    return this.j1v(clauses);
   };
-  protoOf(MappedProblogTheory).retractAll_ggzq75_k$ = function (clause) {
-    var mappedClauses = ClauseMappingUtils_getInstance().map_neip0b_k$(clause);
+  protoOf(MappedProblogTheory).n1o = function (clause) {
+    var mappedClauses = ClauseMappingUtils_getInstance().a3o(clause);
     var result = null;
-    var _iterator__ex2g4s = mappedClauses.iterator_jk1svi_k$();
-    while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
-      var c = _iterator__ex2g4s.next_20eer_k$();
+    var _iterator__ex2g4s = mappedClauses.n();
+    while (_iterator__ex2g4s.q()) {
+      var c = _iterator__ex2g4s.r();
       var tmp;
       if (result == null) {
         tmp = true;
@@ -2663,155 +2663,155 @@
         tmp = !(result instanceof Failure);
       }
       if (tmp) {
-        result = this.theory_1.retractAll(c);
+        result = this.e3o_1.retractAll(c);
       }
     }
     var tmp_0;
     if (result instanceof Success) {
-      tmp_0 = new Success(new MappedProblogTheory(null, this.get_unificator_xw6v3j_k$(), result.theory_1), result.clauses_1);
+      tmp_0 = new Success(new MappedProblogTheory(null, this.v1n(), result.e1w_1), result.f1w_1);
     } else {
       tmp_0 = new Failure(this);
     }
     return tmp_0;
   };
   protoOf(MappedProblogTheory).retractAll = function (clause) {
-    return this.retractAll_ggzq75_k$(clause);
+    return this.n1o(clause);
   };
-  protoOf(MappedProblogTheory).abolish_852mm9_k$ = function (indicator) {
-    return new MappedProblogTheory(null, this.get_unificator_xw6v3j_k$(), this.theory_1.abolish(ClauseMappingUtils_getInstance().map_v8kjbx_k$(indicator)));
+  protoOf(MappedProblogTheory).r1u = function (indicator) {
+    return new MappedProblogTheory(null, this.v1n(), this.e3o_1.abolish(ClauseMappingUtils_getInstance().b3o(indicator)));
   };
   protoOf(MappedProblogTheory).abolish = function (indicator) {
-    return this.abolish_852mm9_k$(indicator);
+    return this.r1u(indicator);
   };
-  protoOf(MappedProblogTheory).assertAFact_4uxdq5_k$ = function (struct) {
-    return this.assertA_rph7uu_k$(Companion_instance.of(struct));
+  protoOf(MappedProblogTheory).z1v = function (struct) {
+    return this.a1v(Companion_instance.of(struct));
   };
   protoOf(MappedProblogTheory).assertAFact = function (struct) {
-    return this.assertAFact_4uxdq5_k$(struct);
+    return this.z1v(struct);
   };
-  protoOf(MappedProblogTheory).assertZFact_k45js4_k$ = function (struct) {
-    return this.assertZ_cv7m25_k$(Companion_instance.of(struct));
+  protoOf(MappedProblogTheory).a1w = function (struct) {
+    return this.e1v(Companion_instance.of(struct));
   };
   protoOf(MappedProblogTheory).assertZFact = function (struct) {
-    return this.assertZFact_k45js4_k$(struct);
+    return this.a1w(struct);
   };
-  protoOf(MappedProblogTheory).assertA_rph7uu_k$ = function (clause) {
-    return this.assertAIterable_k6qgdt_k$(listOf(clause));
+  protoOf(MappedProblogTheory).a1v = function (clause) {
+    return this.c1v(listOf(clause));
   };
   protoOf(MappedProblogTheory).assertA = function (clause) {
-    return this.assertA_rph7uu_k$(clause);
+    return this.a1v(clause);
   };
-  protoOf(MappedProblogTheory).assertASequence_4ooi9c_k$ = function (clauses) {
-    return this.assertAIterable_k6qgdt_k$(asIterable_0(clauses));
+  protoOf(MappedProblogTheory).d1v = function (clauses) {
+    return this.c1v(asIterable_0(clauses));
   };
   protoOf(MappedProblogTheory).assertASequence = function (clauses) {
-    return this.assertASequence_4ooi9c_k$(clauses);
+    return this.d1v(clauses);
   };
-  protoOf(MappedProblogTheory).assertZ_cv7m25_k$ = function (clause) {
-    return this.assertZIterable_th66so_k$(listOf(clause));
+  protoOf(MappedProblogTheory).e1v = function (clause) {
+    return this.f1v(listOf(clause));
   };
   protoOf(MappedProblogTheory).assertZ = function (clause) {
-    return this.assertZ_cv7m25_k$(clause);
+    return this.e1v(clause);
   };
-  protoOf(MappedProblogTheory).assertZSequence_wqv55_k$ = function (clauses) {
-    return this.assertZIterable_th66so_k$(asIterable_0(clauses));
+  protoOf(MappedProblogTheory).g1v = function (clauses) {
+    return this.f1v(asIterable_0(clauses));
   };
   protoOf(MappedProblogTheory).assertZSequence = function (clauses) {
-    return this.assertZSequence_wqv55_k$(clauses);
+    return this.g1v(clauses);
   };
-  protoOf(MappedProblogTheory).retractByHead_iva4y4_k$ = function (head) {
-    return this.retract_hfhq2o_k$(Companion_instance_3.of(head, [Companion_getInstance_0().anonymous()]));
+  protoOf(MappedProblogTheory).c1w = function (head) {
+    return this.b1w(Companion_instance_3.of(head, [Companion_getInstance_0().anonymous()]));
   };
   protoOf(MappedProblogTheory).retractByHead = function (head) {
-    return this.retractByHead_iva4y4_k$(head);
+    return this.c1w(head);
   };
-  protoOf(MappedProblogTheory).retract_hfhq2o_k$ = function (clause) {
-    return this.retractIterable_ebg9t7_k$(listOf(clause));
+  protoOf(MappedProblogTheory).b1w = function (clause) {
+    return this.j1v(listOf(clause));
   };
   protoOf(MappedProblogTheory).retract = function (clause) {
-    return this.retract_hfhq2o_k$(clause);
+    return this.b1w(clause);
   };
-  protoOf(MappedProblogTheory).retractSequence_n30sa2_k$ = function (clauses) {
-    return this.retractIterable_ebg9t7_k$(asIterable_0(clauses));
+  protoOf(MappedProblogTheory).i1v = function (clauses) {
+    return this.j1v(asIterable_0(clauses));
   };
   protoOf(MappedProblogTheory).retractSequence = function (clauses) {
-    return this.retractSequence_n30sa2_k$(clauses);
+    return this.i1v(clauses);
   };
-  protoOf(MappedProblogTheory).retractAllByHead_fm9lxv_k$ = function (head) {
-    return this.retractAll_ggzq75_k$(Companion_instance_3.of(head, [Companion_getInstance_0().anonymous()]));
+  protoOf(MappedProblogTheory).d1w = function (head) {
+    return this.n1o(Companion_instance_3.of(head, [Companion_getInstance_0().anonymous()]));
   };
   protoOf(MappedProblogTheory).retractAllByHead = function (head) {
-    return this.retractAllByHead_fm9lxv_k$(head);
+    return this.d1w(head);
   };
   protoOf(MappedProblogTheory).setUnificator = function (unificator) {
-    return this.theory_1.setUnificator(unificator);
+    return this.e3o_1.setUnificator(unificator);
   };
   protoOf(MappedProblogTheory).contains = function (clause) {
-    return this.theory_1.contains(clause);
+    return this.e3o_1.contains(clause);
   };
   protoOf(MappedProblogTheory).containsHead = function (head) {
-    return this.theory_1.containsHead(head);
+    return this.e3o_1.containsHead(head);
   };
   protoOf(MappedProblogTheory).containsIndicator = function (indicator) {
-    return this.theory_1.containsIndicator(indicator);
+    return this.e3o_1.containsIndicator(indicator);
   };
   protoOf(MappedProblogTheory).get = function (clause) {
-    return this.theory_1.get(clause);
+    return this.e3o_1.get(clause);
   };
   protoOf(MappedProblogTheory).getByHead = function (head) {
-    return this.theory_1.getByHead(head);
+    return this.e3o_1.getByHead(head);
   };
   protoOf(MappedProblogTheory).getByIndicator = function (indicator) {
-    return this.theory_1.getByIndicator(indicator);
+    return this.e3o_1.getByIndicator(indicator);
   };
   protoOf(MappedProblogTheory).toStringAsProlog = function (asPrologText) {
-    return this.theory_1.toStringAsProlog(asPrologText);
+    return this.e3o_1.toStringAsProlog(asPrologText);
   };
   protoOf(MappedProblogTheory).equalsUsingVarCompleteNames = function (other, useVarCompleteName) {
-    return this.theory_1.equalsUsingVarCompleteNames(other, useVarCompleteName);
+    return this.e3o_1.equalsUsingVarCompleteNames(other, useVarCompleteName);
   };
   protoOf(MappedProblogTheory).clone = function () {
-    return this.theory_1.clone();
+    return this.e3o_1.clone();
   };
-  protoOf(MappedProblogTheory).get_clauses_fdta0r_k$ = function () {
-    return this.theory_1.get_clauses_fdta0r_k$();
+  protoOf(MappedProblogTheory).f1o = function () {
+    return this.e3o_1.f1o();
   };
-  protoOf(MappedProblogTheory).get_directives_ggm35f_k$ = function () {
-    return this.theory_1.get_directives_ggm35f_k$();
+  protoOf(MappedProblogTheory).y1n = function () {
+    return this.e3o_1.y1n();
   };
-  protoOf(MappedProblogTheory).get_size_woubt6_k$ = function () {
-    return this.theory_1.get_size_woubt6_k$();
+  protoOf(MappedProblogTheory).s = function () {
+    return this.e3o_1.s();
   };
-  protoOf(MappedProblogTheory).get_isEmpty_zauvru_k$ = function () {
-    return this.theory_1.get_isEmpty_zauvru_k$();
+  protoOf(MappedProblogTheory).a1o = function () {
+    return this.e3o_1.a1o();
   };
-  protoOf(MappedProblogTheory).get_isNonEmpty_aglh2l_k$ = function () {
-    return this.theory_1.get_isNonEmpty_aglh2l_k$();
+  protoOf(MappedProblogTheory).v1u = function () {
+    return this.e3o_1.v1u();
   };
-  protoOf(MappedProblogTheory).iterator_jk1svi_k$ = function () {
-    return this.theory_1.iterator_jk1svi_k$();
+  protoOf(MappedProblogTheory).n = function () {
+    return this.e3o_1.n();
   };
   protoOf(MappedProblogTheory).getTag = function (name) {
-    return this.theory_1.getTag(name);
+    return this.e3o_1.getTag(name);
   };
   protoOf(MappedProblogTheory).resetTags = function (tags) {
-    return this.theory_1.resetTags(tags);
+    return this.e3o_1.resetTags(tags);
   };
   protoOf(MappedProblogTheory).containsTag = function (name) {
-    return this.theory_1.containsTag(name);
+    return this.e3o_1.containsTag(name);
   };
-  protoOf(MappedProblogTheory).get_tags_wousf6_k$ = function () {
-    return this.theory_1.get_tags_wousf6_k$();
+  protoOf(MappedProblogTheory).du = function () {
+    return this.e3o_1.du();
   };
-  protoOf(MappedProblogTheory).get_unificator_xw6v3j_k$ = function () {
-    return this.theory_1.get_unificator_xw6v3j_k$();
+  protoOf(MappedProblogTheory).v1n = function () {
+    return this.e3o_1.v1n();
   };
   function NothingClauseMapper() {
   }
-  protoOf(NothingClauseMapper).isCompatible_jra7od_k$ = function (clause) {
+  protoOf(NothingClauseMapper).o3n = function (clause) {
     return true;
   };
-  protoOf(NothingClauseMapper).apply_a16z0z_k$ = function (clause) {
+  protoOf(NothingClauseMapper).p3n = function (clause) {
     return listOf(clause);
   };
   var NothingClauseMapper_instance;
@@ -2820,63 +2820,63 @@
   }
   function ProbabilisticClauseMapper() {
   }
-  protoOf(ProbabilisticClauseMapper).isCompatible_jra7od_k$ = function (clause) {
+  protoOf(ProbabilisticClauseMapper).o3n = function (clause) {
     var tmp;
     if (isInterface(clause, Rule)) {
-      tmp = clause.get_head_won7e1_k$().get_functor_75vgt2_k$() === '::';
+      tmp = clause.ez().yw() === '::';
     } else {
       tmp = false;
     }
     return tmp;
   };
-  protoOf(ProbabilisticClauseMapper).apply_a16z0z_k$ = function (clause) {
+  protoOf(ProbabilisticClauseMapper).p3n = function (clause) {
     if (!isInterface(clause, Rule)) {
       throw new ClauseMappingException('Clause is not an instance of Rule: ' + clause.toString());
     }
-    var mapped = this.mapRuleInternal_y0jl17_k$(clause);
-    return listOf(this.mapRuleWithExplanation_lmelqv_k$(mapped.first, Companion_getInstance_11().of_80r6fo_k$(mapped.second)));
+    var mapped = this.q3n(clause);
+    return listOf(this.r3n(mapped.first, Companion_getInstance_11().d3n(mapped.second)));
   };
-  protoOf(ProbabilisticClauseMapper).mapRuleInternal_y0jl17_k$ = function (rule) {
-    if (!(rule.get_head_won7e1_k$().get_arity_iosiic_k$() === 2)) {
-      throw TuPrologException_init_$Create$('Invalid probabilistic rule: ' + rule.get_head_won7e1_k$().toString());
+  protoOf(ProbabilisticClauseMapper).q3n = function (rule) {
+    if (!(rule.ez().sw() === 2)) {
+      throw TuPrologException_init_$Create$('Invalid probabilistic rule: ' + rule.ez().toString());
     }
-    var probTerm = rule.get_head_won7e1_k$().get(0);
+    var probTerm = rule.ez().get(0);
     var tmp;
     if (isInterface(probTerm, Numeric)) {
-      tmp = probTerm.get_decimalValue_7pja3t_k$().toDouble();
+      tmp = probTerm.o11().toDouble();
     } else {
       tmp = solveArithmeticExpression(probTerm);
     }
     var probability = tmp;
-    var headTerm = safeToStruct(rule.get_head_won7e1_k$().get(1));
-    if (headTerm.get_functor_75vgt2_k$() === 'evidence') {
-      throw TuPrologException_init_$Create$("Probability notation can't be expressed on evidence: " + rule.get_head_won7e1_k$().toString());
+    var headTerm = safeToStruct(rule.ez().get(1));
+    if (headTerm.yw() === 'evidence') {
+      throw TuPrologException_init_$Create$("Probability notation can't be expressed on evidence: " + rule.ez().toString());
     }
-    var bodyTerm = rule.get_body_wojkyz_k$();
-    var tmp_0 = rule.get_body_wojkyz_k$();
+    var bodyTerm = rule.fz();
+    var tmp_0 = rule.fz();
     if (isInterface(tmp_0, Truth)) {
-      if (!rule.get_body_wojkyz_k$().get_isTrue_ew6ti9_k$() && probability < 1.0) {
+      if (!rule.fz().ww() && probability < 1.0) {
         probability = 1.0 - probability;
         bodyTerm = Companion_getInstance_7().of(true);
       }
     }
     var anonVariablesFix = withoutAnonymousVars(Companion_instance_3.of(headTerm, [bodyTerm]));
-    headTerm = anonVariablesFix.get_head_won7e1_k$();
-    bodyTerm = anonVariablesFix.get_body_wojkyz_k$();
+    headTerm = anonVariablesFix.ez();
+    bodyTerm = anonVariablesFix.fz();
     var extraVariables = get_extraVariables(Companion_instance_3.of(headTerm, [bodyTerm]));
-    var probTerm_0 = new ProbTerm(ClauseMappingUtils_getInstance().newClauseId_w9leay_k$(), probability, headTerm, extraVariables);
+    var probTerm_0 = new ProbTerm(ClauseMappingUtils_getInstance().z3n(), probability, headTerm, extraVariables);
     return new Pair(Companion_instance_3.of(headTerm, [bodyTerm]), probTerm_0);
   };
-  protoOf(ProbabilisticClauseMapper).mapRuleWithExplanation_lmelqv_k$ = function (rule, explanation) {
-    var tmp = rule.get_body_wojkyz_k$();
+  protoOf(ProbabilisticClauseMapper).r3n = function (rule, explanation) {
+    var tmp = rule.fz();
     if (isInterface(tmp, Truth)) {
-      return Companion_instance_3.of(withExplanation(rule.get_head_won7e1_k$(), toTerm(explanation)), [rule.get_body_wojkyz_k$()]);
+      return Companion_instance_3.of(withExplanation(rule.ez(), toTerm(explanation)), [rule.fz()]);
     }
     var explanationVar = Companion_getInstance_0().of('EXPL_Res');
     var explanationBodyVar = Companion_getInstance_0().of('EXPL_Body');
-    var newBody = withBodyExplanation(rule.get_body_wojkyz_k$(), explanationBodyVar);
+    var newBody = withBodyExplanation(rule.fz(), explanationBodyVar);
     var tmp_0 = Companion_instance_3;
-    var tmp_1 = withExplanation(rule.get_head_won7e1_k$(), explanationVar);
+    var tmp_1 = withExplanation(rule.ez(), explanationVar);
     var tmp_2 = Companion_getInstance_1();
     var tmp_3 = Companion_getInstance_1();
     // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
@@ -2889,36 +2889,36 @@
   }
   function PrologClauseMapper() {
   }
-  protoOf(PrologClauseMapper).isCompatible_jra7od_k$ = function (clause) {
+  protoOf(PrologClauseMapper).o3n = function (clause) {
     return isInterface(clause, Rule);
   };
-  protoOf(PrologClauseMapper).apply_a16z0z_k$ = function (clause) {
+  protoOf(PrologClauseMapper).p3n = function (clause) {
     if (!isInterface(clause, Rule)) {
       throw new ClauseMappingException('Clause is not an instance of Rule: ' + clause.toString());
     }
-    var tmp = clause.get_body_wojkyz_k$();
+    var tmp = clause.fz();
     if (isInterface(tmp, Truth)) {
-      return listOf(Companion_instance_3.of(withExplanation(clause.get_head_won7e1_k$(), toTerm(Companion_getInstance_11().TRUE_1)), [clause.get_body_wojkyz_k$()]));
+      return listOf(Companion_instance_3.of(withExplanation(clause.ez(), toTerm(Companion_getInstance_11().z3m_1)), [clause.fz()]));
     }
     var explanationVar = Companion_getInstance_0().of('EXPL_Res');
-    return listOf(Companion_instance_3.of(withExplanation(clause.get_head_won7e1_k$(), explanationVar), [withBodyExplanation(clause.get_body_wojkyz_k$(), explanationVar)]));
+    return listOf(Companion_instance_3.of(withExplanation(clause.ez(), explanationVar), [withBodyExplanation(clause.fz(), explanationVar)]));
   };
   var PrologClauseMapper_instance;
   function PrologClauseMapper_getInstance() {
     return PrologClauseMapper_instance;
   }
   function _get_prob__dc6m52($this, $receiver) {
-    return $receiver.explanation_1.get_probability_7g5yr8_k$();
+    return $receiver.w3l_1.l3n();
   }
   function ProbExplAnd() {
     ProbExplAnd_instance = this;
     NonBacktrackable.call(this, 'prob_expl_and');
   }
-  protoOf(ProbExplAnd).computeOne_oq9h0q_k$ = function (_this__u8e3s4, first, second, third) {
-    Companion_getInstance_9().ensuringArgumentIsInstantiated_dpjvac_k$(_this__u8e3s4, 1);
-    Companion_getInstance_9().ensuringArgumentIsCallable_xwjiqq_k$(_this__u8e3s4, 1);
-    if (ProbSetConfig_getInstance().isPrologMode_3vojg3_k$(_this__u8e3s4.context)) {
-      return _this__u8e3s4.replyWith(Companion_getInstance_9().mgu_jyyt35_k$(_this__u8e3s4, first, toTerm(Companion_getInstance_11().TRUE_1)), VOID, []);
+  protoOf(ProbExplAnd).w2z = function (_this__u8e3s4, first, second, third) {
+    Companion_getInstance_9().o2l(_this__u8e3s4, 1);
+    Companion_getInstance_9().u2l(_this__u8e3s4, 1);
+    if (ProbSetConfig_getInstance().g3o(_this__u8e3s4.context)) {
+      return _this__u8e3s4.replyWith(Companion_getInstance_9().i2l(_this__u8e3s4, first, toTerm(Companion_getInstance_11().z3m_1)), VOID, []);
     }
     var tmp;
     var tmp_0;
@@ -2934,12 +2934,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().FALSE_1 : _get_prob__dc6m52(this, second) === 1.0 && _get_prob__dc6m52(this, third) === 1.0 ? Companion_getInstance_11().TRUE_1 : _get_prob__dc6m52(this, second) === 1.0 ? third.explanation_1 : _get_prob__dc6m52(this, third) === 1.0 ? second.explanation_1 : second.explanation_1.and(third.explanation_1);
+      var explanation = _get_prob__dc6m52(this, second) === 0.0 || _get_prob__dc6m52(this, third) === 0.0 ? Companion_getInstance_11().y3m_1 : _get_prob__dc6m52(this, second) === 1.0 && _get_prob__dc6m52(this, third) === 1.0 ? Companion_getInstance_11().z3m_1 : _get_prob__dc6m52(this, second) === 1.0 ? third.w3l_1 : _get_prob__dc6m52(this, third) === 1.0 ? second.w3l_1 : second.w3l_1.and(third.w3l_1);
       var tmp_2;
-      if (explanation.get_probability_7g5yr8_k$() === 0.0) {
+      if (explanation.l3n() === 0.0) {
         tmp_2 = _this__u8e3s4.replyWithCondition(false, VOID, []);
       } else {
-        tmp_2 = _this__u8e3s4.replyWith(Companion_getInstance_9().mgu_jyyt35_k$(_this__u8e3s4, first, new ProbExplanationTerm(explanation)), VOID, []);
+        tmp_2 = _this__u8e3s4.replyWith(Companion_getInstance_9().i2l(_this__u8e3s4, first, new ProbExplanationTerm(explanation)), VOID, []);
       }
       tmp = tmp_2;
     } else {
@@ -2949,8 +2949,8 @@
     }
     return tmp;
   };
-  protoOf(ProbExplAnd).computeOne_bappeh_k$ = function (_this__u8e3s4, first, second, third) {
-    return this.computeOne_oq9h0q_k$(_this__u8e3s4, first, second, third);
+  protoOf(ProbExplAnd).r2n = function (_this__u8e3s4, first, second, third) {
+    return this.w2z(_this__u8e3s4, first, second, third);
   };
   var ProbExplAnd_instance;
   function ProbExplAnd_getInstance() {
@@ -2959,52 +2959,52 @@
     return ProbExplAnd_instance;
   }
   function ProbHelper$computeAllSubstitutions$slambda($goal, $this_computeAllSubstitutions, $third, $first, $second, $goalSignature, resultContinuation) {
-    this.$goal_1 = $goal;
-    this.$this_computeAllSubstitutions_1 = $this_computeAllSubstitutions;
-    this.$third_1 = $third;
-    this.$first_1 = $first;
-    this.$second_1 = $second;
-    this.$goalSignature_1 = $goalSignature;
+    this.p3o_1 = $goal;
+    this.q3o_1 = $this_computeAllSubstitutions;
+    this.r3o_1 = $third;
+    this.s3o_1 = $first;
+    this.t3o_1 = $second;
+    this.u3o_1 = $goalSignature;
     CoroutineImpl.call(this, resultContinuation);
   }
-  protoOf(ProbHelper$computeAllSubstitutions$slambda).invoke_1hnob7_k$ = function ($this$sequence, $completion) {
-    var tmp = this.create_v0gj1t_k$($this$sequence, $completion);
-    tmp.result_1 = Unit_instance;
-    tmp.exception_1 = null;
-    return tmp.doResume_5yljmg_k$();
+  protoOf(ProbHelper$computeAllSubstitutions$slambda).x31 = function ($this$sequence, $completion) {
+    var tmp = this.y31($this$sequence, $completion);
+    tmp.r8_1 = Unit_instance;
+    tmp.s8_1 = null;
+    return tmp.x8();
   };
-  protoOf(ProbHelper$computeAllSubstitutions$slambda).invoke_qns8j1_k$ = function (p1, $completion) {
-    return this.invoke_1hnob7_k$(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
+  protoOf(ProbHelper$computeAllSubstitutions$slambda).o9 = function (p1, $completion) {
+    return this.x31(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
   };
-  protoOf(ProbHelper$computeAllSubstitutions$slambda).doResume_5yljmg_k$ = function () {
-    var suspendResult = this.result_1;
+  protoOf(ProbHelper$computeAllSubstitutions$slambda).x8 = function () {
+    var suspendResult = this.r8_1;
     $sm: do
       try {
-        var tmp = this.state_1;
+        var tmp = this.p8_1;
         switch (tmp) {
           case 0:
-            this.exceptionState_1 = 18;
-            var tmp0_subject = this.$goal_1.get_functor_75vgt2_k$();
+            this.q8_1 = 18;
+            var tmp0_subject = this.p3o_1.yw();
             switch (tmp0_subject) {
               case '\\+':
               case 'not':
-                this.state_1 = 16;
+                this.p8_1 = 16;
                 var tmp_0;
-                if (ProbSetConfig_getInstance().isPrologMode_3vojg3_k$(this.$this_computeAllSubstitutions_1.context)) {
+                if (ProbSetConfig_getInstance().g3o(this.q3o_1.context)) {
                   var tmp_1 = Companion_getInstance_9();
                   var tmp_2 = Companion_getInstance_1();
-                  var tmp_3 = this.$goal_1.get_functor_75vgt2_k$();
+                  var tmp_3 = this.p3o_1.yw();
                   var tmp_4 = Companion_getInstance_1();
                   var this_0 = Prob_getInstance();
-                  tmp_0 = tmp_1.mgu_jyyt35_k$(this.$this_computeAllSubstitutions_1, this.$third_1, tmp_2.of(tmp_3, [tmp_4.of(this_0.signature.name, [Companion_getInstance_0().anonymous(), this.$goal_1.get(0)])])).plus(Companion_getInstance_9().mgu_jyyt35_k$(this.$this_computeAllSubstitutions_1, this.$first_1, toTerm(Companion_getInstance_11().TRUE_1)));
+                  tmp_0 = tmp_1.i2l(this.q3o_1, this.r3o_1, tmp_2.of(tmp_3, [tmp_4.of(this_0.signature.name, [Companion_getInstance_0().anonymous(), this.p3o_1.get(0)])])).plus(Companion_getInstance_9().i2l(this.q3o_1, this.s3o_1, toTerm(Companion_getInstance_11().z3m_1)));
                 } else {
                   var tmp_5 = Companion_getInstance_9();
                   var tmp_6 = Companion_getInstance_1();
                   var this_1 = ProbNegationAsFailure_getInstance();
-                  tmp_0 = tmp_5.mgu_jyyt35_k$(this.$this_computeAllSubstitutions_1, this.$third_1, tmp_6.of(this_1.signature.name, [this.$first_1, this.$goal_1.get(0)]));
+                  tmp_0 = tmp_5.i2l(this.q3o_1, this.r3o_1, tmp_6.of(this_1.signature.name, [this.s3o_1, this.p3o_1.get(0)]));
                 }
 
-                suspendResult = this.$this$sequence_1.yield_3xhcex_k$(tmp_0, this);
+                suspendResult = this.v3o_1.te(tmp_0, this);
                 if (suspendResult === get_COROUTINE_SUSPENDED()) {
                   return suspendResult;
                 }
@@ -3015,15 +3015,15 @@
                   case ',':
                   case ';':
                   case '->':
-                    this.state_1 = 15;
+                    this.p8_1 = 15;
                     var tmp_7;
-                    if (ProbSetConfig_getInstance().isPrologMode_3vojg3_k$(this.$this_computeAllSubstitutions_1.context)) {
-                      tmp_7 = Companion_getInstance_9().mgu_jyyt35_k$(this.$this_computeAllSubstitutions_1, this.$third_1, withBodyExplanation(this.$goal_1, Companion_getInstance_0().anonymous())).plus(Companion_getInstance_9().mgu_jyyt35_k$(this.$this_computeAllSubstitutions_1, this.$first_1, toTerm(Companion_getInstance_11().TRUE_1)));
+                    if (ProbSetConfig_getInstance().g3o(this.q3o_1.context)) {
+                      tmp_7 = Companion_getInstance_9().i2l(this.q3o_1, this.r3o_1, withBodyExplanation(this.p3o_1, Companion_getInstance_0().anonymous())).plus(Companion_getInstance_9().i2l(this.q3o_1, this.s3o_1, toTerm(Companion_getInstance_11().z3m_1)));
                     } else {
-                      tmp_7 = Companion_getInstance_9().mgu_jyyt35_k$(this.$this_computeAllSubstitutions_1, this.$third_1, withBodyExplanation(this.$goal_1, this.$first_1));
+                      tmp_7 = Companion_getInstance_9().i2l(this.q3o_1, this.r3o_1, withBodyExplanation(this.p3o_1, this.s3o_1));
                     }
 
-                    suspendResult = this.$this$sequence_1.yield_3xhcex_k$(tmp_7, this);
+                    suspendResult = this.v3o_1.te(tmp_7, this);
                     if (suspendResult === get_COROUTINE_SUSPENDED()) {
                       return suspendResult;
                     }
@@ -3031,28 +3031,28 @@
                     continue $sm;
                   default:
                     if (tmp0_subject === 'call') {
-                      var newGoal = this.$goal_1.get(0);
-                      this.state_1 = 14;
-                      suspendResult = this.$this$sequence_1.yield_3xhcex_k$(Companion_getInstance_9().mgu_jyyt35_k$(this.$this_computeAllSubstitutions_1, this.$third_1, Companion_instance_0.of(Companion_getInstance_1().of('ensure_executable', [newGoal]), Companion_getInstance_1().of(this.$goal_1.get_functor_75vgt2_k$(), [withBodyExplanation(newGoal, this.$first_1)]))), this);
+                      var newGoal = this.p3o_1.get(0);
+                      this.p8_1 = 14;
+                      suspendResult = this.v3o_1.te(Companion_getInstance_9().i2l(this.q3o_1, this.r3o_1, Companion_instance_0.of(Companion_getInstance_1().of('ensure_executable', [newGoal]), Companion_getInstance_1().of(this.p3o_1.yw(), [withBodyExplanation(newGoal, this.s3o_1)]))), this);
                       if (suspendResult === get_COROUTINE_SUSPENDED()) {
                         return suspendResult;
                       }
                       continue $sm;
                     } else {
                       if (tmp0_subject === 'catch') {
-                        this.state_1 = 13;
-                        suspendResult = this.$this$sequence_1.yield_3xhcex_k$(Companion_getInstance_9().mgu_jyyt35_k$(this.$this_computeAllSubstitutions_1, this.$third_1, Companion_getInstance_1().of(this.$goal_1.get_functor_75vgt2_k$(), [withBodyExplanation(this.$goal_1.get(0), this.$first_1), this.$goal_1.get(1), withBodyExplanation(this.$goal_1.get(2), this.$first_1)])), this);
+                        this.p8_1 = 13;
+                        suspendResult = this.v3o_1.te(Companion_getInstance_9().i2l(this.q3o_1, this.r3o_1, Companion_getInstance_1().of(this.p3o_1.yw(), [withBodyExplanation(this.p3o_1.get(0), this.s3o_1), this.p3o_1.get(1), withBodyExplanation(this.p3o_1.get(2), this.s3o_1)])), this);
                         if (suspendResult === get_COROUTINE_SUSPENDED()) {
                           return suspendResult;
                         }
                         continue $sm;
                       } else {
                         if (tmp0_subject === 'findall') {
-                          var this_2 = this.$goal_1.get_argsList_cw1bs4_k$();
+                          var this_2 = this.p3o_1.zw();
                           var goalArgs = copyToArray(this_2);
                           goalArgs[1] = withBodyExplanation(goalArgs[1], Companion_getInstance_0().anonymous());
-                          this.state_1 = 12;
-                          suspendResult = this.$this$sequence_1.yield_3xhcex_k$(Companion_getInstance_9().mgu_jyyt35_k$(this.$this_computeAllSubstitutions_1, this.$third_1, Companion_getInstance_1().of(this.$goal_1.get_functor_75vgt2_k$(), goalArgs.slice())).plus(Companion_getInstance_9().mgu_jyyt35_k$(this.$this_computeAllSubstitutions_1, this.$first_1, toTerm(Companion_getInstance_11().TRUE_1))), this);
+                          this.p8_1 = 12;
+                          suspendResult = this.v3o_1.te(Companion_getInstance_9().i2l(this.q3o_1, this.r3o_1, Companion_getInstance_1().of(this.p3o_1.yw(), goalArgs.slice())).plus(Companion_getInstance_9().i2l(this.q3o_1, this.s3o_1, toTerm(Companion_getInstance_11().z3m_1))), this);
                           if (suspendResult === get_COROUTINE_SUSPENDED()) {
                             return suspendResult;
                           }
@@ -3062,22 +3062,22 @@
                             case 'assert':
                             case 'asserta':
                             case 'assertz':
-                              var subGoal = this.$goal_1.get(0);
+                              var subGoal = this.p3o_1.get(0);
                               var tmp_8;
                               if (isInterface(subGoal, Clause)) {
-                                tmp_8 = extractSignature(ensureNotNull(subGoal.get_head_won7e1_k$()));
+                                tmp_8 = extractSignature(ensureNotNull(subGoal.ez()));
                               } else {
                                 tmp_8 = extractSignature(safeToStruct(subGoal));
                               }
 
                               var subGoalSignature = tmp_8;
                               var tmp_9;
-                              if (this.$this_computeAllSubstitutions_1.context.get_libraries_lyf10w_k$().containsSignature(subGoalSignature)) {
+                              if (this.q3o_1.context.t1x().containsSignature(subGoalSignature)) {
                                 tmp_9 = true;
                               } else {
                                 var tmp_10;
                                 if (isInterface(subGoal, Clause)) {
-                                  tmp_10 = !subGoal.get_isWellFormed_hzilt0_k$();
+                                  tmp_10 = !subGoal.oz();
                                 } else {
                                   tmp_10 = false;
                                 }
@@ -3085,8 +3085,8 @@
                               }
 
                               if (tmp_9) {
-                                this.state_1 = 10;
-                                suspendResult = this.$this$sequence_1.yield_3xhcex_k$(Companion_getInstance_9().mgu_jyyt35_k$(this.$this_computeAllSubstitutions_1, this.$third_1, this.$goal_1).plus(Companion_getInstance_9().mgu_jyyt35_k$(this.$this_computeAllSubstitutions_1, this.$first_1, toTerm(Companion_getInstance_11().TRUE_1))), this);
+                                this.p8_1 = 10;
+                                suspendResult = this.v3o_1.te(Companion_getInstance_9().i2l(this.q3o_1, this.r3o_1, this.p3o_1).plus(Companion_getInstance_9().i2l(this.q3o_1, this.s3o_1, toTerm(Companion_getInstance_11().z3m_1))), this);
                                 if (suspendResult === get_COROUTINE_SUSPENDED()) {
                                   return suspendResult;
                                 }
@@ -3094,15 +3094,15 @@
                               } else {
                                 var tmp_11;
                                 if (isInterface(subGoal, Clause)) {
-                                  tmp_11 = ClauseMappingUtils_getInstance().map_neip0b_k$(subGoal);
+                                  tmp_11 = ClauseMappingUtils_getInstance().a3o(subGoal);
                                 } else {
                                   if (isInterface(subGoal, Struct)) {
-                                    var this_3 = ClauseMappingUtils_getInstance().map_neip0b_k$(Companion_instance.of(subGoal));
+                                    var this_3 = ClauseMappingUtils_getInstance().a3o(Companion_instance.of(subGoal));
                                     var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_3, 10));
-                                    var _iterator__ex2g4s = this_3.iterator_jk1svi_k$();
-                                    while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
-                                      var item = _iterator__ex2g4s.next_20eer_k$();
-                                      destination.add_utx5q5_k$(ensureNotNull(item.get_head_won7e1_k$()));
+                                    var _iterator__ex2g4s = this_3.n();
+                                    while (_iterator__ex2g4s.q()) {
+                                      var item = _iterator__ex2g4s.r();
+                                      destination.l(ensureNotNull(item.ez()));
                                     }
                                     tmp_11 = destination;
                                   } else {
@@ -3110,14 +3110,14 @@
                                   }
                                 }
                                 var newGoals = tmp_11;
-                                this.state_1 = 9;
+                                this.p8_1 = 9;
                                 var destination_0 = ArrayList_init_$Create$(collectionSizeOrDefault(newGoals, 10));
-                                var _iterator__ex2g4s_0 = newGoals.iterator_jk1svi_k$();
-                                while (_iterator__ex2g4s_0.hasNext_bitz1p_k$()) {
-                                  var item_0 = _iterator__ex2g4s_0.next_20eer_k$();
-                                  destination_0.add_utx5q5_k$(Companion_getInstance_9().mgu_jyyt35_k$(this.$this_computeAllSubstitutions_1, this.$third_1, Companion_getInstance_1().of(this.$goal_1.get_functor_75vgt2_k$(), [item_0])).plus(Companion_getInstance_9().mgu_jyyt35_k$(this.$this_computeAllSubstitutions_1, this.$first_1, toTerm(Companion_getInstance_11().TRUE_1))));
+                                var _iterator__ex2g4s_0 = newGoals.n();
+                                while (_iterator__ex2g4s_0.q()) {
+                                  var item_0 = _iterator__ex2g4s_0.r();
+                                  destination_0.l(Companion_getInstance_9().i2l(this.q3o_1, this.r3o_1, Companion_getInstance_1().of(this.p3o_1.yw(), [item_0])).plus(Companion_getInstance_9().i2l(this.q3o_1, this.s3o_1, toTerm(Companion_getInstance_11().z3m_1))));
                                 }
-                                suspendResult = this.$this$sequence_1.yieldAll_nwjlo5_k$(destination_0, this);
+                                suspendResult = this.v3o_1.ve(destination_0, this);
                                 if (suspendResult === get_COROUTINE_SUSPENDED()) {
                                   return suspendResult;
                                 }
@@ -3128,20 +3128,20 @@
                               switch (tmp0_subject) {
                                 case 'retract':
                                 case 'retractall':
-                                  var goalArg = this.$goal_1.get(0);
-                                  this.state_1 = 8;
+                                  var goalArg = this.p3o_1.get(0);
+                                  this.p8_1 = 8;
                                   var tmp_12 = Companion_getInstance_9();
                                   var tmp_13 = Companion_getInstance_1();
-                                  var tmp_14 = this.$goal_1.get_functor_75vgt2_k$();
+                                  var tmp_14 = this.p3o_1.yw();
                                   var tmp_15;
                                   var tmp_16;
                                   var tmp_17;
-                                  if (goalArg.get_isClause_rwzxtu_k$()) {
+                                  if (goalArg.fx()) {
                                     tmp_17 = true;
                                   } else {
                                     var tmp_18;
                                     if (isInterface(goalArg, Struct)) {
-                                      tmp_18 = goalArg.get_functor_75vgt2_k$() === ':-';
+                                      tmp_18 = goalArg.yw() === ':-';
                                     } else {
                                       tmp_18 = false;
                                     }
@@ -3151,16 +3151,16 @@
                                   if (tmp_17) {
                                     tmp_16 = true;
                                   } else {
-                                    tmp_16 = this.$this_computeAllSubstitutions_1.context.get_libraries_lyf10w_k$().containsSignature(extractSignature(safeToStruct(goalArg)));
+                                    tmp_16 = this.q3o_1.context.t1x().containsSignature(extractSignature(safeToStruct(goalArg)));
                                   }
 
                                   if (tmp_16) {
                                     tmp_15 = goalArg;
                                   } else {
-                                    tmp_15 = withExplanation(goalArg, this.$first_1);
+                                    tmp_15 = withExplanation(goalArg, this.s3o_1);
                                   }
 
-                                  suspendResult = this.$this$sequence_1.yield_3xhcex_k$(tmp_12.mgu_jyyt35_k$(this.$this_computeAllSubstitutions_1, this.$third_1, tmp_13.of(tmp_14, [tmp_15])), this);
+                                  suspendResult = this.v3o_1.te(tmp_12.i2l(this.q3o_1, this.r3o_1, tmp_13.of(tmp_14, [tmp_15])), this);
                                   if (suspendResult === get_COROUTINE_SUSPENDED()) {
                                     return suspendResult;
                                   }
@@ -3168,23 +3168,23 @@
                                   continue $sm;
                                 default:
                                   if (tmp0_subject === 'clause') {
-                                    var subGoal_0 = this.$goal_1.get(0);
+                                    var subGoal_0 = this.p3o_1.get(0);
                                     var tmp_19;
                                     if (!isInterface(subGoal_0, Struct)) {
                                       tmp_19 = true;
                                     } else {
-                                      tmp_19 = this.$this_computeAllSubstitutions_1.context.get_libraries_lyf10w_k$().hasProtected(extractSignature(subGoal_0));
+                                      tmp_19 = this.q3o_1.context.t1x().hasProtected(extractSignature(subGoal_0));
                                     }
                                     if (tmp_19) {
-                                      this.state_1 = 6;
-                                      suspendResult = this.$this$sequence_1.yield_3xhcex_k$(Companion_getInstance_9().mgu_jyyt35_k$(this.$this_computeAllSubstitutions_1, this.$third_1, this.$goal_1).plus(Companion_getInstance_9().mgu_jyyt35_k$(this.$this_computeAllSubstitutions_1, this.$first_1, toTerm(Companion_getInstance_11().TRUE_1))), this);
+                                      this.p8_1 = 6;
+                                      suspendResult = this.v3o_1.te(Companion_getInstance_9().i2l(this.q3o_1, this.r3o_1, this.p3o_1).plus(Companion_getInstance_9().i2l(this.q3o_1, this.s3o_1, toTerm(Companion_getInstance_11().z3m_1))), this);
                                       if (suspendResult === get_COROUTINE_SUSPENDED()) {
                                         return suspendResult;
                                       }
                                       continue $sm;
                                     } else {
-                                      this.state_1 = 5;
-                                      suspendResult = this.$this$sequence_1.yield_3xhcex_k$(Companion_getInstance_9().mgu_jyyt35_k$(this.$this_computeAllSubstitutions_1, this.$third_1, Companion_getInstance_1().of(this.$goal_1.get_functor_75vgt2_k$(), [withExplanation(this.$goal_1.get(0), this.$first_1), this.$goal_1.get(1)])), this);
+                                      this.p8_1 = 5;
+                                      suspendResult = this.v3o_1.te(Companion_getInstance_9().i2l(this.q3o_1, this.r3o_1, Companion_getInstance_1().of(this.p3o_1.yw(), [withExplanation(this.p3o_1.get(0), this.s3o_1), this.p3o_1.get(1)])), this);
                                       if (suspendResult === get_COROUTINE_SUSPENDED()) {
                                         return suspendResult;
                                       }
@@ -3193,22 +3193,22 @@
                                   } else {
                                     var tmp_20 = this;
                                     var tmp_21;
-                                    var tmp_22 = this.$second_1;
+                                    var tmp_22 = this.t3o_1;
                                     if (isInterface(tmp_22, Truth)) {
                                       tmp_21 = true;
                                     } else {
-                                      tmp_21 = this.$this_computeAllSubstitutions_1.context.get_libraries_lyf10w_k$().containsSignature(this.$goalSignature_1);
+                                      tmp_21 = this.q3o_1.context.t1x().containsSignature(this.u3o_1);
                                     }
-                                    tmp_20.isPrologOnly0__1 = tmp_21;
-                                    if (this.isPrologOnly0__1 || this.$this_computeAllSubstitutions_1.context.get_staticKb_a01l1u_k$().containsIndicator(this.$goalSignature_1.toIndicator()) || this.$this_computeAllSubstitutions_1.context.get_dynamicKb_wvqg8j_k$().containsIndicator(this.$goalSignature_1.toIndicator())) {
-                                      this.state_1 = 1;
-                                      suspendResult = this.$this$sequence_1.yield_3xhcex_k$(Companion_getInstance_9().mgu_jyyt35_k$(this.$this_computeAllSubstitutions_1, this.$third_1, this.$goal_1).plus(Companion_getInstance_9().mgu_jyyt35_k$(this.$this_computeAllSubstitutions_1, this.$first_1, toTerm(Companion_getInstance_11().TRUE_1))), this);
+                                    tmp_20.w3o_1 = tmp_21;
+                                    if (this.w3o_1 || this.q3o_1.context.v1x().containsIndicator(this.u3o_1.toIndicator()) || this.q3o_1.context.w1x().containsIndicator(this.u3o_1.toIndicator())) {
+                                      this.p8_1 = 1;
+                                      suspendResult = this.v3o_1.te(Companion_getInstance_9().i2l(this.q3o_1, this.r3o_1, this.p3o_1).plus(Companion_getInstance_9().i2l(this.q3o_1, this.s3o_1, toTerm(Companion_getInstance_11().z3m_1))), this);
                                       if (suspendResult === get_COROUTINE_SUSPENDED()) {
                                         return suspendResult;
                                       }
                                       continue $sm;
                                     } else {
-                                      this.state_1 = 2;
+                                      this.p8_1 = 2;
                                       continue $sm;
                                     }
                                   }
@@ -3229,103 +3229,103 @@
 
             break;
           case 1:
-            this.state_1 = 2;
+            this.p8_1 = 2;
             continue $sm;
           case 2:
-            if (!this.isPrologOnly0__1) {
-              this.state_1 = 3;
-              suspendResult = this.$this$sequence_1.yield_3xhcex_k$(Companion_getInstance_9().mgu_jyyt35_k$(this.$this_computeAllSubstitutions_1, this.$third_1, withExplanation(this.$goal_1, this.$first_1)), this);
+            if (!this.w3o_1) {
+              this.p8_1 = 3;
+              suspendResult = this.v3o_1.te(Companion_getInstance_9().i2l(this.q3o_1, this.r3o_1, withExplanation(this.p3o_1, this.s3o_1)), this);
               if (suspendResult === get_COROUTINE_SUSPENDED()) {
                 return suspendResult;
               }
               continue $sm;
             } else {
-              this.state_1 = 4;
+              this.p8_1 = 4;
               continue $sm;
             }
 
           case 3:
-            this.state_1 = 4;
+            this.p8_1 = 4;
             continue $sm;
           case 4:
-            this.state_1 = 17;
+            this.p8_1 = 17;
             continue $sm;
           case 5:
-            this.state_1 = 7;
+            this.p8_1 = 7;
             continue $sm;
           case 6:
-            this.state_1 = 7;
+            this.p8_1 = 7;
             continue $sm;
           case 7:
-            this.state_1 = 17;
+            this.p8_1 = 17;
             continue $sm;
           case 8:
-            this.state_1 = 17;
+            this.p8_1 = 17;
             continue $sm;
           case 9:
-            this.state_1 = 11;
+            this.p8_1 = 11;
             continue $sm;
           case 10:
-            this.state_1 = 11;
+            this.p8_1 = 11;
             continue $sm;
           case 11:
-            this.state_1 = 17;
+            this.p8_1 = 17;
             continue $sm;
           case 12:
-            this.state_1 = 17;
+            this.p8_1 = 17;
             continue $sm;
           case 13:
-            this.state_1 = 17;
+            this.p8_1 = 17;
             continue $sm;
           case 14:
-            this.state_1 = 17;
+            this.p8_1 = 17;
             continue $sm;
           case 15:
-            this.state_1 = 17;
+            this.p8_1 = 17;
             continue $sm;
           case 16:
-            this.state_1 = 17;
+            this.p8_1 = 17;
             continue $sm;
           case 17:
             return Unit_instance;
           case 18:
-            throw this.exception_1;
+            throw this.s8_1;
         }
       } catch ($p) {
         var e = $p;
-        if (this.exceptionState_1 === 18) {
+        if (this.q8_1 === 18) {
           throw e;
         } else {
-          this.state_1 = this.exceptionState_1;
-          this.exception_1 = e;
+          this.p8_1 = this.q8_1;
+          this.s8_1 = e;
         }
       }
      while (true);
   };
-  protoOf(ProbHelper$computeAllSubstitutions$slambda).create_v0gj1t_k$ = function ($this$sequence, completion) {
-    var i = new ProbHelper$computeAllSubstitutions$slambda(this.$goal_1, this.$this_computeAllSubstitutions_1, this.$third_1, this.$first_1, this.$second_1, this.$goalSignature_1, completion);
-    i.$this$sequence_1 = $this$sequence;
+  protoOf(ProbHelper$computeAllSubstitutions$slambda).y31 = function ($this$sequence, completion) {
+    var i = new ProbHelper$computeAllSubstitutions$slambda(this.p3o_1, this.q3o_1, this.r3o_1, this.s3o_1, this.t3o_1, this.u3o_1, completion);
+    i.v3o_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.invoke_1hnob7_k$($this$sequence, $completion);
+      return i.x31($this$sequence, $completion);
     }, 1);
   }
   function ProbHelper() {
     ProbHelper_instance = this;
     WithoutSideEffects.call(this, 'prob_helper');
   }
-  protoOf(ProbHelper).computeAllSubstitutions_kk6w37_k$ = function (_this__u8e3s4, first, second, third) {
-    Companion_getInstance_9().ensuringArgumentIsInstantiated_dpjvac_k$(_this__u8e3s4, 1);
-    Companion_getInstance_9().ensuringArgumentIsCallable_xwjiqq_k$(_this__u8e3s4, 1);
+  protoOf(ProbHelper).w2u = function (_this__u8e3s4, first, second, third) {
+    Companion_getInstance_9().o2l(_this__u8e3s4, 1);
+    Companion_getInstance_9().u2l(_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).computeAllSubstitutions_skk6sq_k$ = function (_this__u8e3s4, first, second, third) {
-    return this.computeAllSubstitutions_kk6w37_k$(_this__u8e3s4, first, second, third);
+  protoOf(ProbHelper).n2n = function (_this__u8e3s4, first, second, third) {
+    return this.w2u(_this__u8e3s4, first, second, third);
   };
   var ProbHelper_instance;
   function ProbHelper_getInstance() {
@@ -3337,11 +3337,11 @@
     ProbNegationAsFailure_instance = this;
     NonBacktrackable_0.call(this, 'prob_negation_as_failure');
   }
-  protoOf(ProbNegationAsFailure).computeOne_sdv9lb_k$ = function (_this__u8e3s4, first, second) {
-    Companion_getInstance_9().ensuringArgumentIsInstantiated_dpjvac_k$(_this__u8e3s4, 1);
-    Companion_getInstance_9().ensuringArgumentIsCallable_xwjiqq_k$(_this__u8e3s4, 1);
+  protoOf(ProbNegationAsFailure).c2v = function (_this__u8e3s4, first, second) {
+    Companion_getInstance_9().o2l(_this__u8e3s4, 1);
+    Companion_getInstance_9().u2l(_this__u8e3s4, 1);
     var tmp;
-    if (!second.get_isGround_twq4nu_k$()) {
+    if (!second.cy()) {
       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');
@@ -3354,7 +3354,7 @@
       if (solution == null) {
         tmp_2 = _this__u8e3s4.replyFail(VOID, []);
       } else {
-        var explanationTerm = solution.get_substitution_i7fi9y_k$().get_wei43m_k$(explanationTermVar);
+        var explanationTerm = solution.p1x().j2(explanationTermVar);
         var tmp_3;
         var tmp_4;
         if (explanationTerm == null) {
@@ -3365,7 +3365,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().mgu_jyyt35_k$(_this__u8e3s4, first, new ProbExplanationTerm(explanationTerm.explanation_1.not())), []), VOID, []);
+          tmp_3 = _this__u8e3s4.replyWith(Companion_getInstance_5().ofSubstitution(Companion_getInstance_9().i2l(_this__u8e3s4, first, new ProbExplanationTerm(explanationTerm.w3l_1.not())), []), VOID, []);
         }
         tmp_2 = tmp_3;
       }
@@ -3373,8 +3373,8 @@
     }
     return tmp;
   };
-  protoOf(ProbNegationAsFailure).computeOne_d8jipq_k$ = function (_this__u8e3s4, first, second) {
-    return this.computeOne_sdv9lb_k$(_this__u8e3s4, first, second);
+  protoOf(ProbNegationAsFailure).n2k = function (_this__u8e3s4, first, second) {
+    return this.c2v(_this__u8e3s4, first, second);
   };
   var ProbNegationAsFailure_instance;
   function ProbNegationAsFailure_getInstance() {
@@ -3388,45 +3388,45 @@
     };
   }
   function ProbQuery$computeAllSubstitutions$slambda($solutions, $queryWithEvidenceExplanation, $evidenceExplanation, $this_computeAllSubstitutions, $first, $fourth, resultContinuation) {
-    this.$solutions_1 = $solutions;
-    this.$queryWithEvidenceExplanation_1 = $queryWithEvidenceExplanation;
-    this.$evidenceExplanation_1 = $evidenceExplanation;
-    this.$this_computeAllSubstitutions_1 = $this_computeAllSubstitutions;
-    this.$first_1 = $first;
-    this.$fourth_1 = $fourth;
+    this.h3p_1 = $solutions;
+    this.i3p_1 = $queryWithEvidenceExplanation;
+    this.j3p_1 = $evidenceExplanation;
+    this.k3p_1 = $this_computeAllSubstitutions;
+    this.l3p_1 = $first;
+    this.m3p_1 = $fourth;
     CoroutineImpl.call(this, resultContinuation);
   }
-  protoOf(ProbQuery$computeAllSubstitutions$slambda).invoke_1hnob7_k$ = function ($this$sequence, $completion) {
-    var tmp = this.create_v0gj1t_k$($this$sequence, $completion);
-    tmp.result_1 = Unit_instance;
-    tmp.exception_1 = null;
-    return tmp.doResume_5yljmg_k$();
+  protoOf(ProbQuery$computeAllSubstitutions$slambda).x31 = function ($this$sequence, $completion) {
+    var tmp = this.y31($this$sequence, $completion);
+    tmp.r8_1 = Unit_instance;
+    tmp.s8_1 = null;
+    return tmp.x8();
   };
-  protoOf(ProbQuery$computeAllSubstitutions$slambda).invoke_qns8j1_k$ = function (p1, $completion) {
-    return this.invoke_1hnob7_k$(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
+  protoOf(ProbQuery$computeAllSubstitutions$slambda).o9 = function (p1, $completion) {
+    return this.x31(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
   };
-  protoOf(ProbQuery$computeAllSubstitutions$slambda).doResume_5yljmg_k$ = function () {
-    var suspendResult = this.result_1;
+  protoOf(ProbQuery$computeAllSubstitutions$slambda).x8 = function () {
+    var suspendResult = this.r8_1;
     $sm: do
       try {
-        var tmp = this.state_1;
+        var tmp = this.p8_1;
         switch (tmp) {
           case 0:
-            this.exceptionState_1 = 8;
-            this._iterator_0_yqohr0__1 = this.$solutions_1.iterator_jk1svi_k$();
-            this.state_1 = 1;
+            this.q8_1 = 8;
+            this.o3p_1 = this.h3p_1.n();
+            this.p8_1 = 1;
             continue $sm;
           case 1:
-            if (!this._iterator_0_yqohr0__1.hasNext_bitz1p_k$()) {
-              this.state_1 = 7;
+            if (!this.o3p_1.q()) {
+              this.p8_1 = 7;
               continue $sm;
             }
 
-            var solution = this._iterator_0_yqohr0__1.next_20eer_k$();
-            if (solution.get_isHalt_evysus_k$())
-              throw ensureNotNull(solution.get_exception_x0n6w6_k$());
-            var queryWithEvidenceExplanationTerm = solution.get_substitution_i7fi9y_k$().get_wei43m_k$(this.$queryWithEvidenceExplanation_1);
-            var evidenceExplanationTerm = solution.get_substitution_i7fi9y_k$().get_wei43m_k$(this.$evidenceExplanation_1);
+            var solution = this.o3p_1.r();
+            if (solution.n1z())
+              throw ensureNotNull(solution.l1z());
+            var queryWithEvidenceExplanationTerm = solution.p1x().j2(this.i3p_1);
+            var evidenceExplanationTerm = solution.p1x().j2(this.j3p_1);
             var tmp_0;
             var tmp_1;
             var tmp_2;
@@ -3449,28 +3449,28 @@
             }
 
             if (tmp_0) {
-              this.state_1 = 5;
-              suspendResult = this.$this$sequence_1.yield_3xhcex_k$(Companion_getInstance_5().failed(), this);
+              this.p8_1 = 5;
+              suspendResult = this.n3p_1.te(Companion_getInstance_5().failed(), this);
               if (suspendResult === get_COROUTINE_SUSPENDED()) {
                 return suspendResult;
               }
               continue $sm;
             } else {
-              var queryWithEvidenceProbability = queryWithEvidenceExplanationTerm.explanation_1.get_probabilityOrNull_pcn56y_k$();
-              var evidenceProbability = evidenceExplanationTerm.explanation_1.get_probabilityOrNull_pcn56y_k$();
+              var queryWithEvidenceProbability = queryWithEvidenceExplanationTerm.w3l_1.m3n();
+              var evidenceProbability = evidenceExplanationTerm.w3l_1.m3n();
               if (queryWithEvidenceProbability == null || evidenceProbability == null) {
-                this.state_1 = 3;
-                suspendResult = this.$this$sequence_1.yield_3xhcex_k$(Companion_getInstance_5().failed(), this);
+                this.p8_1 = 3;
+                suspendResult = this.n3p_1.te(Companion_getInstance_5().failed(), this);
                 if (suspendResult === get_COROUTINE_SUSPENDED()) {
                   return suspendResult;
                 }
                 continue $sm;
               } else {
-                var tmp_3 = solution.get_substitution_i7fi9y_k$();
-                var solutionSubstitution = tmp_3.filter(ProbQuery$computeAllSubstitutions$slambda$lambda(this.$evidenceExplanation_1, this.$queryWithEvidenceExplanation_1));
+                var tmp_3 = solution.p1x();
+                var solutionSubstitution = tmp_3.filter(ProbQuery$computeAllSubstitutions$slambda$lambda(this.j3p_1, this.i3p_1));
                 var probabilityTerm = Companion_getInstance_6().ofDouble(queryWithEvidenceProbability / evidenceProbability);
-                this.state_1 = 2;
-                suspendResult = this.$this$sequence_1.yield_3xhcex_k$(Companion_getInstance_5().ofSubstitution(solutionSubstitution, [Companion_getInstance_9().mgu_jyyt35_k$(this.$this_computeAllSubstitutions_1, this.$first_1, probabilityTerm), Companion_getInstance_9().mgu_jyyt35_k$(this.$this_computeAllSubstitutions_1, this.$fourth_1, queryWithEvidenceExplanationTerm)]), this);
+                this.p8_1 = 2;
+                suspendResult = this.n3p_1.te(Companion_getInstance_5().ofSubstitution(solutionSubstitution, [Companion_getInstance_9().i2l(this.k3p_1, this.l3p_1, probabilityTerm), Companion_getInstance_9().i2l(this.k3p_1, this.m3p_1, queryWithEvidenceExplanationTerm)]), this);
                 if (suspendResult === get_COROUTINE_SUSPENDED()) {
                   return suspendResult;
                 }
@@ -3479,56 +3479,56 @@
             }
 
           case 2:
-            this.state_1 = 4;
+            this.p8_1 = 4;
             continue $sm;
           case 3:
-            this.state_1 = 4;
+            this.p8_1 = 4;
             continue $sm;
           case 4:
-            this.state_1 = 6;
+            this.p8_1 = 6;
             continue $sm;
           case 5:
-            this.state_1 = 6;
+            this.p8_1 = 6;
             continue $sm;
           case 6:
-            this.state_1 = 1;
+            this.p8_1 = 1;
             continue $sm;
           case 7:
             return Unit_instance;
           case 8:
-            throw this.exception_1;
+            throw this.s8_1;
         }
       } catch ($p) {
         var e = $p;
-        if (this.exceptionState_1 === 8) {
+        if (this.q8_1 === 8) {
           throw e;
         } else {
-          this.state_1 = this.exceptionState_1;
-          this.exception_1 = e;
+          this.p8_1 = this.q8_1;
+          this.s8_1 = e;
         }
       }
      while (true);
   };
-  protoOf(ProbQuery$computeAllSubstitutions$slambda).create_v0gj1t_k$ = function ($this$sequence, completion) {
-    var i = new ProbQuery$computeAllSubstitutions$slambda(this.$solutions_1, this.$queryWithEvidenceExplanation_1, this.$evidenceExplanation_1, this.$this_computeAllSubstitutions_1, this.$first_1, this.$fourth_1, completion);
-    i.$this$sequence_1 = $this$sequence;
+  protoOf(ProbQuery$computeAllSubstitutions$slambda).y31 = function ($this$sequence, completion) {
+    var i = new ProbQuery$computeAllSubstitutions$slambda(this.h3p_1, this.i3p_1, this.j3p_1, this.k3p_1, this.l3p_1, this.m3p_1, completion);
+    i.n3p_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.invoke_1hnob7_k$($this$sequence, $completion);
+      return i.x31($this$sequence, $completion);
     }, 1);
   }
   function ProbQuery() {
     ProbQuery_instance = this;
     WithoutSideEffects_0.call(this, 'prob_query');
   }
-  protoOf(ProbQuery).computeAllSubstitutions_8i2i54_k$ = function (_this__u8e3s4, first, second, third, fourth) {
-    Companion_getInstance_9().ensuringArgumentIsInstantiated_dpjvac_k$(_this__u8e3s4, 1);
-    Companion_getInstance_9().ensuringArgumentIsCallable_xwjiqq_k$(_this__u8e3s4, 1);
-    Companion_getInstance_9().ensuringArgumentIsStruct_lk4yyp_k$(_this__u8e3s4, 1);
-    Companion_getInstance_9().ensuringArgumentIsInstantiated_dpjvac_k$(_this__u8e3s4, 2);
+  protoOf(ProbQuery).q3p = function (_this__u8e3s4, first, second, third, fourth) {
+    Companion_getInstance_9().o2l(_this__u8e3s4, 1);
+    Companion_getInstance_9().u2l(_this__u8e3s4, 1);
+    Companion_getInstance_9().s2l(_this__u8e3s4, 1);
+    Companion_getInstance_9().o2l(_this__u8e3s4, 2);
     var queryWithEvidenceExplanation = Companion_getInstance_0().of('QueryWithEvidenceExplanation');
     var evidenceExplanation = Companion_getInstance_0().of('EvidenceExplanation');
     var tmp = _this__u8e3s4.subSolver();
@@ -3540,11 +3540,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().toSolveOptions_fb0e37_k$(third));
+    var solutions = tmp.solveWithOptions(tmp_0.of(tmp_2, tmp_3.of(tmp$ret$1, [queryWithEvidenceExplanation, evidenceExplanation, second])), ProbSetConfig_getInstance().r3p(third));
     return sequence(ProbQuery$computeAllSubstitutions$slambda_0(solutions, queryWithEvidenceExplanation, evidenceExplanation, _this__u8e3s4, first, fourth, null));
   };
-  protoOf(ProbQuery).computeAllSubstitutions_cnpafj_k$ = function (_this__u8e3s4, first, second, third, fourth) {
-    return this.computeAllSubstitutions_8i2i54_k$(_this__u8e3s4, first, second, third, fourth);
+  protoOf(ProbQuery).m2m = function (_this__u8e3s4, first, second, third, fourth) {
+    return this.q3p(_this__u8e3s4, first, second, third, fourth);
   };
   var ProbQuery_instance;
   function ProbQuery_getInstance() {
@@ -3557,40 +3557,40 @@
     NonBacktrackable_1.call(this, 'prob_set_config');
     var tmp = this;
     // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
-    tmp.CONFIG_FLAG_1 = this.signature.name + '_flag';
+    tmp.r3l_1 = this.signature.name + '_flag';
     var tmp_0 = this;
     // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
-    tmp_0.CONFIG_TERM_NAME_1 = this.signature.name + '_term';
+    tmp_0.s3l_1 = this.signature.name + '_term';
     var tmp_1 = this;
     // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
-    tmp_1.CONFIG_TERM_TAG_1 = 'it.unibo.tuprolog.solve.probability' + this.signature.name + '_tag';
+    tmp_1.t3l_1 = 'it.unibo.tuprolog.solve.probability' + this.signature.name + '_tag';
   }
-  protoOf(ProbSetConfig).computeOne_6dkmes_k$ = function (_this__u8e3s4, first) {
-    Companion_getInstance_9().ensuringArgumentIsInstantiated_dpjvac_k$(_this__u8e3s4, 0);
-    Companion_getInstance_9().ensuringArgumentIsAtom_5kuj97_k$(_this__u8e3s4, 0);
+  protoOf(ProbSetConfig).l2u = function (_this__u8e3s4, first) {
+    Companion_getInstance_9().o2l(_this__u8e3s4, 0);
+    Companion_getInstance_9().x2l(_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.CONFIG_FLAG_1, first)])];
+    var tmp$ret$0 = [SetFlags_init_$Create$([new Pair(this.r3l_1, first)])];
     return _this__u8e3s4.replySuccess(VOID, VOID, tmp$ret$0.slice());
   };
-  protoOf(ProbSetConfig).computeOne_2tedul_k$ = function (_this__u8e3s4, first) {
-    return this.computeOne_6dkmes_k$(_this__u8e3s4, first);
+  protoOf(ProbSetConfig).a2o = function (_this__u8e3s4, first) {
+    return this.l2u(_this__u8e3s4, first);
   };
-  protoOf(ProbSetConfig).toSolveOptions_fb0e37_k$ = function (_this__u8e3s4) {
-    var tmp0_elvis_lhs = _this__u8e3s4.getTag(this.CONFIG_TERM_TAG_1);
+  protoOf(ProbSetConfig).r3p = function (_this__u8e3s4) {
+    var tmp0_elvis_lhs = _this__u8e3s4.getTag(this.t3l_1);
     return tmp0_elvis_lhs == null ? Companion_getInstance_2().DEFAULT : tmp0_elvis_lhs;
   };
-  protoOf(ProbSetConfig).toProbConfigTerm_kcau8_k$ = function (_this__u8e3s4) {
-    return setTag(Companion_getInstance_4().of(this.CONFIG_TERM_NAME_1), this.CONFIG_TERM_TAG_1, _this__u8e3s4);
+  protoOf(ProbSetConfig).u3l = function (_this__u8e3s4) {
+    return setTag(Companion_getInstance_4().of(this.s3l_1), this.t3l_1, _this__u8e3s4);
   };
-  protoOf(ProbSetConfig).getSolverOptions_b2hzqc_k$ = function (_this__u8e3s4) {
-    var tmp0_safe_receiver = _this__u8e3s4.get_flags_irfhb2_k$().get_6bo4tg_k$(this.CONFIG_FLAG_1);
-    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : this.toSolveOptions_fb0e37_k$(tmp0_safe_receiver);
+  protoOf(ProbSetConfig).s3p = function (_this__u8e3s4) {
+    var tmp0_safe_receiver = _this__u8e3s4.u1x().zb(this.r3l_1);
+    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : this.r3p(tmp0_safe_receiver);
     return tmp1_elvis_lhs == null ? Companion_getInstance_2().DEFAULT : tmp1_elvis_lhs;
   };
-  protoOf(ProbSetConfig).isPrologMode_3vojg3_k$ = function (_this__u8e3s4) {
-    return !get_isProbabilistic(this.getSolverOptions_b2hzqc_k$(_this__u8e3s4));
+  protoOf(ProbSetConfig).g3o = function (_this__u8e3s4) {
+    return !get_isProbabilistic(this.s3p(_this__u8e3s4));
   };
   var ProbSetConfig_instance;
   function ProbSetConfig_getInstance() {
@@ -3599,9 +3599,9 @@
     return ProbSetConfig_instance;
   }
   function ProbSolve$computeAllSubstitutions$lambda(it) {
-    if (it.get_isHalt_evysus_k$())
-      throw ensureNotNull(it.get_exception_x0n6w6_k$());
-    return it.get_substitution_i7fi9y_k$();
+    if (it.n1z())
+      throw ensureNotNull(it.l1z());
+    return it.p1x();
   }
   function ProbSolve$computeAllSubstitutions$lambda_0(it) {
     return !(it == null) ? isInterface(it, Halt) : false;
@@ -3612,126 +3612,126 @@
     };
   }
   function ProbSolve$computeAllSubstitutions$slambda($solutionGroups, $explanationVar, $this_computeAllSubstitutions, $first, resultContinuation) {
-    this.$solutionGroups_1 = $solutionGroups;
-    this.$explanationVar_1 = $explanationVar;
-    this.$this_computeAllSubstitutions_1 = $this_computeAllSubstitutions;
-    this.$first_1 = $first;
+    this.b3q_1 = $solutionGroups;
+    this.c3q_1 = $explanationVar;
+    this.d3q_1 = $this_computeAllSubstitutions;
+    this.e3q_1 = $first;
     CoroutineImpl.call(this, resultContinuation);
   }
-  protoOf(ProbSolve$computeAllSubstitutions$slambda).invoke_1hnob7_k$ = function ($this$sequence, $completion) {
-    var tmp = this.create_v0gj1t_k$($this$sequence, $completion);
-    tmp.result_1 = Unit_instance;
-    tmp.exception_1 = null;
-    return tmp.doResume_5yljmg_k$();
+  protoOf(ProbSolve$computeAllSubstitutions$slambda).x31 = function ($this$sequence, $completion) {
+    var tmp = this.y31($this$sequence, $completion);
+    tmp.r8_1 = Unit_instance;
+    tmp.s8_1 = null;
+    return tmp.x8();
   };
-  protoOf(ProbSolve$computeAllSubstitutions$slambda).invoke_qns8j1_k$ = function (p1, $completion) {
-    return this.invoke_1hnob7_k$(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
+  protoOf(ProbSolve$computeAllSubstitutions$slambda).o9 = function (p1, $completion) {
+    return this.x31(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
   };
-  protoOf(ProbSolve$computeAllSubstitutions$slambda).doResume_5yljmg_k$ = function () {
-    var suspendResult = this.result_1;
+  protoOf(ProbSolve$computeAllSubstitutions$slambda).x8 = function () {
+    var suspendResult = this.r8_1;
     $sm: do
       try {
-        var tmp = this.state_1;
+        var tmp = this.p8_1;
         switch (tmp) {
           case 0:
-            this.exceptionState_1 = 4;
+            this.q8_1 = 4;
             var tmp_0 = this;
-            tmp_0._iterator_0_yqohr0__1 = this.$solutionGroups_1.get_entries_p20ztl_k$().iterator_jk1svi_k$();
-            this.state_1 = 1;
+            tmp_0.g3q_1 = this.b3q_1.d1().n();
+            this.p8_1 = 1;
             continue $sm;
           case 1:
-            if (!this._iterator_0_yqohr0__1.hasNext_bitz1p_k$()) {
-              this.state_1 = 3;
+            if (!this.g3q_1.q()) {
+              this.p8_1 = 3;
               continue $sm;
             }
 
-            var solutionGroup = this._iterator_0_yqohr0__1.next_20eer_k$();
-            var this_0 = solutionGroup.get_value_j01efc_k$();
+            var solutionGroup = this.g3q_1.r();
+            var this_0 = solutionGroup.f1();
             var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
-            var _iterator__ex2g4s = this_0.iterator_jk1svi_k$();
-            while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
-              var item = _iterator__ex2g4s.next_20eer_k$();
-              destination.add_utx5q5_k$(item.get_substitution_i7fi9y_k$().get_wei43m_k$(this.$explanationVar_1));
+            var _iterator__ex2g4s = this_0.n();
+            while (_iterator__ex2g4s.q()) {
+              var item = _iterator__ex2g4s.r();
+              destination.l(item.p1x().j2(this.c3q_1));
             }
 
             var destination_0 = ArrayList_init_$Create$_0();
-            var _iterator__ex2g4s_0 = destination.iterator_jk1svi_k$();
-            while (_iterator__ex2g4s_0.hasNext_bitz1p_k$()) {
-              var element = _iterator__ex2g4s_0.next_20eer_k$();
+            var _iterator__ex2g4s_0 = destination.n();
+            while (_iterator__ex2g4s_0.q()) {
+              var element = _iterator__ex2g4s_0.r();
               if (element instanceof ProbExplanationTerm) {
-                destination_0.add_utx5q5_k$(element);
+                destination_0.l(element);
               }
             }
 
             var destination_1 = ArrayList_init_$Create$(collectionSizeOrDefault(destination_0, 10));
-            var _iterator__ex2g4s_1 = destination_0.iterator_jk1svi_k$();
-            while (_iterator__ex2g4s_1.hasNext_bitz1p_k$()) {
-              var item_0 = _iterator__ex2g4s_1.next_20eer_k$();
-              destination_1.add_utx5q5_k$(item_0.explanation_1);
+            var _iterator__ex2g4s_1 = destination_0.n();
+            while (_iterator__ex2g4s_1.q()) {
+              var item_0 = _iterator__ex2g4s_1.r();
+              destination_1.l(item_0.w3l_1);
             }
 
-            var iterator = destination_1.iterator_jk1svi_k$();
-            if (!iterator.hasNext_bitz1p_k$())
+            var iterator = destination_1.n();
+            if (!iterator.q())
               throw UnsupportedOperationException_init_$Create$("Empty collection can't be reduced.");
-            var accumulator = iterator.next_20eer_k$();
-            while (iterator.hasNext_bitz1p_k$()) {
+            var accumulator = iterator.r();
+            while (iterator.q()) {
               var tmp0 = accumulator;
-              var expl = iterator.next_20eer_k$();
-              accumulator = expl.get_probability_7g5yr8_k$() === 1.0 ? tmp0 : tmp0.get_probability_7g5yr8_k$() === 1.0 ? expl : tmp0.or(expl);
+              var expl = iterator.r();
+              accumulator = expl.l3n() === 1.0 ? tmp0 : tmp0.l3n() === 1.0 ? expl : tmp0.or(expl);
             }
 
             var explanation = accumulator;
-            var substitution = Companion_getInstance_5().ofSubstitution(solutionGroup.get_key_18j28a_k$(), [Companion_getInstance_9().mgu_jyyt35_k$(this.$this_computeAllSubstitutions_1, this.$first_1, new ProbExplanationTerm(explanation))]);
-            this.state_1 = 2;
-            suspendResult = this.$this$sequence_1.yield_3xhcex_k$(substitution, this);
+            var substitution = Companion_getInstance_5().ofSubstitution(solutionGroup.e1(), [Companion_getInstance_9().i2l(this.d3q_1, this.e3q_1, new ProbExplanationTerm(explanation))]);
+            this.p8_1 = 2;
+            suspendResult = this.f3q_1.te(substitution, this);
             if (suspendResult === get_COROUTINE_SUSPENDED()) {
               return suspendResult;
             }
 
             continue $sm;
           case 2:
-            this.state_1 = 1;
+            this.p8_1 = 1;
             continue $sm;
           case 3:
             return Unit_instance;
           case 4:
-            throw this.exception_1;
+            throw this.s8_1;
         }
       } catch ($p) {
         var e = $p;
-        if (this.exceptionState_1 === 4) {
+        if (this.q8_1 === 4) {
           throw e;
         } else {
-          this.state_1 = this.exceptionState_1;
-          this.exception_1 = e;
+          this.p8_1 = this.q8_1;
+          this.s8_1 = e;
         }
       }
      while (true);
   };
-  protoOf(ProbSolve$computeAllSubstitutions$slambda).create_v0gj1t_k$ = function ($this$sequence, completion) {
-    var i = new ProbSolve$computeAllSubstitutions$slambda(this.$solutionGroups_1, this.$explanationVar_1, this.$this_computeAllSubstitutions_1, this.$first_1, completion);
-    i.$this$sequence_1 = $this$sequence;
+  protoOf(ProbSolve$computeAllSubstitutions$slambda).y31 = function ($this$sequence, completion) {
+    var i = new ProbSolve$computeAllSubstitutions$slambda(this.b3q_1, this.c3q_1, this.d3q_1, this.e3q_1, completion);
+    i.f3q_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.invoke_1hnob7_k$($this$sequence, $completion);
+      return i.x31($this$sequence, $completion);
     }, 1);
   }
   function ProbSolve() {
     ProbSolve_instance = this;
     WithoutSideEffects_1.call(this, 'prob_solve');
   }
-  protoOf(ProbSolve).computeAllSubstitutions_ou0z3m_k$ = function (_this__u8e3s4, first, second) {
-    Companion_getInstance_9().ensuringArgumentIsInstantiated_dpjvac_k$(_this__u8e3s4, 1);
-    Companion_getInstance_9().ensuringArgumentIsCallable_xwjiqq_k$(_this__u8e3s4, 1);
-    if (ProbSetConfig_getInstance().isPrologMode_3vojg3_k$(_this__u8e3s4.context)) {
+  protoOf(ProbSolve).c2x = function (_this__u8e3s4, first, second) {
+    Companion_getInstance_9().o2l(_this__u8e3s4, 1);
+    Companion_getInstance_9().u2l(_this__u8e3s4, 1);
+    if (ProbSetConfig_getInstance().g3o(_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().getSolverOptions_b2hzqc_k$(_this__u8e3s4.context));
+      var tmp_1 = tmp.solveWithOptions(tmp_0.of(tmp$ret$0, [first, second]), ProbSetConfig_getInstance().s3p(_this__u8e3s4.context));
       return map(tmp_1, ProbSolve$computeAllSubstitutions$lambda);
     }
     var explanationVar = Companion_getInstance_0().of('EXPL');
@@ -3739,21 +3739,21 @@
     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().getSolverOptions_b2hzqc_k$(_this__u8e3s4.context)));
+    var solutions = toList(tmp_2.solveWithOptions(tmp_3.of(tmp$ret$1, [explanationVar, second]), ProbSetConfig_getInstance().s3p(_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.get_exception_x0n6w6_k$();
+      throw error.l1z();
     var tmp_5;
     var tmp$ret$3;
     $l$block_0: {
       // Inline function 'kotlin.collections.any' call
       var tmp_6;
       if (isInterface(solutions, Collection)) {
-        tmp_6 = solutions.isEmpty_y1axqb_k$();
+        tmp_6 = solutions.i();
       } else {
         tmp_6 = false;
       }
@@ -3761,9 +3761,9 @@
         tmp$ret$3 = false;
         break $l$block_0;
       }
-      var _iterator__ex2g4s = solutions.iterator_jk1svi_k$();
-      while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
-        var element = _iterator__ex2g4s.next_20eer_k$();
+      var _iterator__ex2g4s = solutions.n();
+      while (_iterator__ex2g4s.q()) {
+        var element = _iterator__ex2g4s.r();
         if (isInterface(element, Yes)) {
           tmp$ret$3 = true;
           break $l$block_0;
@@ -3772,46 +3772,46 @@
       tmp$ret$3 = false;
     }
     if (!tmp$ret$3) {
-      tmp_5 = sequenceOf(Companion_getInstance_5().ofSubstitution(Companion_getInstance_9().mgu_jyyt35_k$(_this__u8e3s4, first, new ProbExplanationTerm(Companion_getInstance_11().FALSE_1)), []));
+      tmp_5 = sequenceOf(Companion_getInstance_5().ofSubstitution(Companion_getInstance_9().i2l(_this__u8e3s4, first, new ProbExplanationTerm(Companion_getInstance_11().y3m_1)), []));
     } else {
       // Inline function 'kotlin.collections.filterIsInstance' call
       // Inline function 'kotlin.collections.filterIsInstanceTo' call
       var destination = ArrayList_init_$Create$_0();
-      var _iterator__ex2g4s_0 = solutions.iterator_jk1svi_k$();
-      while (_iterator__ex2g4s_0.hasNext_bitz1p_k$()) {
-        var element_0 = _iterator__ex2g4s_0.next_20eer_k$();
+      var _iterator__ex2g4s_0 = solutions.n();
+      while (_iterator__ex2g4s_0.q()) {
+        var element_0 = _iterator__ex2g4s_0.r();
         if (!(element_0 == null) ? isInterface(element_0, Yes) : false) {
-          destination.add_utx5q5_k$(element_0);
+          destination.l(element_0);
         }
       }
       // Inline function 'kotlin.collections.groupBy' call
       // Inline function 'kotlin.collections.groupByTo' call
       var destination_0 = LinkedHashMap_init_$Create$();
-      var _iterator__ex2g4s_1 = destination.iterator_jk1svi_k$();
-      while (_iterator__ex2g4s_1.hasNext_bitz1p_k$()) {
-        var element_1 = _iterator__ex2g4s_1.next_20eer_k$();
-        var tmp_7 = element_1.get_substitution_i7fi9y_k$();
-        var key = tmp_7.filter_fevdr4_k$(ProbSolve$computeAllSubstitutions$lambda_1(explanationVar));
+      var _iterator__ex2g4s_1 = destination.n();
+      while (_iterator__ex2g4s_1.q()) {
+        var element_1 = _iterator__ex2g4s_1.r();
+        var tmp_7 = element_1.p1x();
+        var key = tmp_7.x12(ProbSolve$computeAllSubstitutions$lambda_1(explanationVar));
         // Inline function 'kotlin.collections.getOrPut' call
-        var value = destination_0.get_wei43m_k$(key);
+        var value = destination_0.j2(key);
         var tmp_8;
         if (value == null) {
           var answer = ArrayList_init_$Create$_0();
-          destination_0.put_4fpzoq_k$(key, answer);
+          destination_0.s4(key, answer);
           tmp_8 = answer;
         } else {
           tmp_8 = value;
         }
         var list = tmp_8;
-        list.add_utx5q5_k$(element_1);
+        list.l(element_1);
       }
       var solutionGroups = destination_0;
       tmp_5 = sequence(ProbSolve$computeAllSubstitutions$slambda_0(solutionGroups, explanationVar, _this__u8e3s4, first, null));
     }
     return tmp_5;
   };
-  protoOf(ProbSolve).computeAllSubstitutions_kci3jv_k$ = function (_this__u8e3s4, first, second) {
-    return this.computeAllSubstitutions_ou0z3m_k$(_this__u8e3s4, first, second);
+  protoOf(ProbSolve).u2k = function (_this__u8e3s4, first, second) {
+    return this.c2x(_this__u8e3s4, first, second);
   };
   var ProbSolve_instance;
   function ProbSolve_getInstance() {
@@ -3824,28 +3824,28 @@
   }
   function ProbSolveEvidence$computeOne$lambda_0($explanationVar) {
     return function (s) {
-      return s.get_substitution_i7fi9y_k$().get_wei43m_k$($explanationVar);
+      return s.p1x().j2($explanationVar);
     };
   }
   function ProbSolveEvidence$computeOne$lambda_1(it) {
     return it instanceof ProbExplanationTerm;
   }
   function ProbSolveEvidence$computeOne$lambda_2(t) {
-    return t.explanation_1;
+    return t.w3l_1;
   }
   function ProbSolveEvidence() {
     ProbSolveEvidence_instance = this;
     NonBacktrackable_1.call(this, 'prob_solve_evidence');
   }
-  protoOf(ProbSolveEvidence).computeOne_6dkmes_k$ = function (_this__u8e3s4, first) {
+  protoOf(ProbSolveEvidence).l2u = function (_this__u8e3s4, first) {
     var evidenceIndicator = Companion_instance_4.ofString('evidence', 2);
-    if (!_this__u8e3s4.context.get_staticKb_a01l1u_k$().containsIndicator(evidenceIndicator) && !_this__u8e3s4.context.get_dynamicKb_wvqg8j_k$().containsIndicator(evidenceIndicator)) {
-      return _this__u8e3s4.replyWith(Companion_getInstance_9().mgu_jyyt35_k$(_this__u8e3s4, first, new ProbExplanationTerm(Companion_getInstance_11().TRUE_1)), VOID, []);
+    if (!_this__u8e3s4.context.v1x().containsIndicator(evidenceIndicator) && !_this__u8e3s4.context.w1x().containsIndicator(evidenceIndicator)) {
+      return _this__u8e3s4.replyWith(Companion_getInstance_9().i2l(_this__u8e3s4, first, new ProbExplanationTerm(Companion_getInstance_11().z3m_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().getSolverOptions_b2hzqc_k$(_this__u8e3s4.context).setLimit(-1).setLazy(false);
+    var subOptions = ProbSetConfig_getInstance().s3p(_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);
@@ -3854,20 +3854,20 @@
     var this_1 = toList(tmp$ret$0);
     // Inline function 'kotlin.collections.mapTo' call
     var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_1, 10));
-    var _iterator__ex2g4s = this_1.iterator_jk1svi_k$();
-    while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
-      var item = _iterator__ex2g4s.next_20eer_k$();
-      var truth = item.get_substitution_i7fi9y_k$().get_wei43m_k$(evidenceTruthVar);
-      var term = item.get_substitution_i7fi9y_k$().get_wei43m_k$(evidenceTermVar);
+    var _iterator__ex2g4s = this_1.n();
+    while (_iterator__ex2g4s.q()) {
+      var item = _iterator__ex2g4s.r();
+      var truth = item.p1x().j2(evidenceTruthVar);
+      var term = item.p1x().j2(evidenceTermVar);
       var tmp_0;
       var tmp_1;
-      if (term == null || term.get_isVar_it73p0_k$() || truth == null) {
+      if (term == null || term.ux() || truth == null) {
         tmp_1 = true;
       } else {
         tmp_1 = !isInterface(truth, Truth);
       }
       if (tmp_1) {
-        tmp_0 = Companion_getInstance_11().FALSE_1;
+        tmp_0 = Companion_getInstance_11().y3m_1;
       } else {
         var explanationVar = Companion_getInstance_0().of('EXPL');
         var tmp_2 = Companion_getInstance_1();
@@ -3879,52 +3879,52 @@
         var tmp_4 = filter(this_2, ProbSolveEvidence$computeOne$lambda_1);
         var tmp_5 = isInterface(tmp_4, Sequence) ? tmp_4 : THROW_CCE();
         // Inline function 'kotlin.sequences.reduce' call
-        var iterator = map(tmp_5, ProbSolveEvidence$computeOne$lambda_2).iterator_jk1svi_k$();
-        if (!iterator.hasNext_bitz1p_k$())
+        var iterator = map(tmp_5, ProbSolveEvidence$computeOne$lambda_2).n();
+        if (!iterator.q())
           throw UnsupportedOperationException_init_$Create$("Empty sequence can't be reduced.");
-        var accumulator = iterator.next_20eer_k$();
-        while (iterator.hasNext_bitz1p_k$()) {
+        var accumulator = iterator.r();
+        while (iterator.q()) {
           var tmp0 = accumulator;
-          var t = iterator.next_20eer_k$();
-          accumulator = t.get_probability_7g5yr8_k$() === 1.0 ? tmp0 : tmp0.get_probability_7g5yr8_k$() === 1.0 ? t : t.or(tmp0);
+          var t = iterator.r();
+          accumulator = t.l3n() === 1.0 ? tmp0 : tmp0.l3n() === 1.0 ? t : t.or(tmp0);
         }
         var totalExplanation = accumulator;
-        tmp_0 = truth.get_isTrue_ew6ti9_k$() ? totalExplanation : totalExplanation.not();
+        tmp_0 = truth.ww() ? totalExplanation : totalExplanation.not();
       }
       var tmp$ret$3 = tmp_0;
-      destination.add_utx5q5_k$(tmp$ret$3);
+      destination.l(tmp$ret$3);
     }
     // Inline function 'kotlin.collections.filter' call
     // Inline function 'kotlin.collections.filterTo' call
     var destination_0 = ArrayList_init_$Create$_0();
-    var _iterator__ex2g4s_0 = destination.iterator_jk1svi_k$();
-    while (_iterator__ex2g4s_0.hasNext_bitz1p_k$()) {
-      var element = _iterator__ex2g4s_0.next_20eer_k$();
-      if (!equals(element, Companion_getInstance_11().FALSE_1)) {
-        destination_0.add_utx5q5_k$(element);
+    var _iterator__ex2g4s_0 = destination.n();
+    while (_iterator__ex2g4s_0.q()) {
+      var element = _iterator__ex2g4s_0.r();
+      if (!equals(element, Companion_getInstance_11().y3m_1)) {
+        destination_0.l(element);
       }
     }
     var result = destination_0;
     var tmp_6;
-    if (result.isEmpty_y1axqb_k$()) {
-      tmp_6 = Companion_getInstance_11().TRUE_1;
+    if (result.i()) {
+      tmp_6 = Companion_getInstance_11().z3m_1;
     } else {
       // Inline function 'kotlin.collections.reduce' call
-      var iterator_0 = result.iterator_jk1svi_k$();
-      if (!iterator_0.hasNext_bitz1p_k$())
+      var iterator_0 = result.n();
+      if (!iterator_0.q())
         throw UnsupportedOperationException_init_$Create$("Empty collection can't be reduced.");
-      var accumulator_0 = iterator_0.next_20eer_k$();
-      while (iterator_0.hasNext_bitz1p_k$()) {
+      var accumulator_0 = iterator_0.r();
+      while (iterator_0.q()) {
         var tmp0_0 = accumulator_0;
-        accumulator_0 = iterator_0.next_20eer_k$().and(tmp0_0);
+        accumulator_0 = iterator_0.r().and(tmp0_0);
       }
       tmp_6 = accumulator_0;
     }
     var resultExplanation = tmp_6;
-    return _this__u8e3s4.replyWith(Companion_getInstance_9().mgu_jyyt35_k$(_this__u8e3s4, first, new ProbExplanationTerm(resultExplanation)), VOID, []);
+    return _this__u8e3s4.replyWith(Companion_getInstance_9().i2l(_this__u8e3s4, first, new ProbExplanationTerm(resultExplanation)), VOID, []);
   };
-  protoOf(ProbSolveEvidence).computeOne_2tedul_k$ = function (_this__u8e3s4, first) {
-    return this.computeOne_6dkmes_k$(_this__u8e3s4, first);
+  protoOf(ProbSolveEvidence).a2o = function (_this__u8e3s4, first) {
+    return this.l2u(_this__u8e3s4, first);
   };
   var ProbSolveEvidence_instance;
   function ProbSolveEvidence_getInstance() {
@@ -3938,51 +3938,51 @@
     };
   }
   function ProbSolveWithEvidence$computeAllSubstitutions$slambda($solutions, $goalExplanationVar, $evidenceExplanationTerm, $this_computeAllSubstitutions, $first, $second, resultContinuation) {
-    this.$solutions_1 = $solutions;
-    this.$goalExplanationVar_1 = $goalExplanationVar;
-    this.$evidenceExplanationTerm_1 = $evidenceExplanationTerm;
-    this.$this_computeAllSubstitutions_1 = $this_computeAllSubstitutions;
-    this.$first_1 = $first;
-    this.$second_1 = $second;
+    this.r3q_1 = $solutions;
+    this.s3q_1 = $goalExplanationVar;
+    this.t3q_1 = $evidenceExplanationTerm;
+    this.u3q_1 = $this_computeAllSubstitutions;
+    this.v3q_1 = $first;
+    this.w3q_1 = $second;
     CoroutineImpl.call(this, resultContinuation);
   }
-  protoOf(ProbSolveWithEvidence$computeAllSubstitutions$slambda).invoke_1hnob7_k$ = function ($this$sequence, $completion) {
-    var tmp = this.create_v0gj1t_k$($this$sequence, $completion);
-    tmp.result_1 = Unit_instance;
-    tmp.exception_1 = null;
-    return tmp.doResume_5yljmg_k$();
+  protoOf(ProbSolveWithEvidence$computeAllSubstitutions$slambda).x31 = function ($this$sequence, $completion) {
+    var tmp = this.y31($this$sequence, $completion);
+    tmp.r8_1 = Unit_instance;
+    tmp.s8_1 = null;
+    return tmp.x8();
   };
-  protoOf(ProbSolveWithEvidence$computeAllSubstitutions$slambda).invoke_qns8j1_k$ = function (p1, $completion) {
-    return this.invoke_1hnob7_k$(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
+  protoOf(ProbSolveWithEvidence$computeAllSubstitutions$slambda).o9 = function (p1, $completion) {
+    return this.x31(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
   };
-  protoOf(ProbSolveWithEvidence$computeAllSubstitutions$slambda).doResume_5yljmg_k$ = function () {
-    var suspendResult = this.result_1;
+  protoOf(ProbSolveWithEvidence$computeAllSubstitutions$slambda).x8 = function () {
+    var suspendResult = this.r8_1;
     $sm: do
       try {
-        var tmp = this.state_1;
+        var tmp = this.p8_1;
         switch (tmp) {
           case 0:
-            this.exceptionState_1 = 6;
-            this._iterator_0_yqohr0__1 = this.$solutions_1.iterator_jk1svi_k$();
-            this.state_1 = 1;
+            this.q8_1 = 6;
+            this.y3q_1 = this.r3q_1.n();
+            this.p8_1 = 1;
             continue $sm;
           case 1:
-            if (!this._iterator_0_yqohr0__1.hasNext_bitz1p_k$()) {
-              this.state_1 = 5;
+            if (!this.y3q_1.q()) {
+              this.p8_1 = 5;
               continue $sm;
             }
 
-            var solution = this._iterator_0_yqohr0__1.next_20eer_k$();
-            if (solution.get_isHalt_evysus_k$())
-              throw ensureNotNull(solution.get_exception_x0n6w6_k$());
-            var goalExplanationTerm = solution.get_substitution_i7fi9y_k$().get_wei43m_k$(this.$goalExplanationVar_1);
+            var solution = this.y3q_1.r();
+            if (solution.n1z())
+              throw ensureNotNull(solution.l1z());
+            var goalExplanationTerm = solution.p1x().j2(this.s3q_1);
             var tmp_0;
             var tmp_1;
             var tmp_2;
-            if (this.$evidenceExplanationTerm_1 == null) {
+            if (this.t3q_1 == null) {
               tmp_2 = true;
             } else {
-              var tmp_3 = this.$evidenceExplanationTerm_1;
+              var tmp_3 = this.t3q_1;
               tmp_2 = !(tmp_3 instanceof ProbExplanationTerm);
             }
 
@@ -3999,20 +3999,20 @@
             }
 
             if (tmp_0) {
-              this.state_1 = 3;
-              suspendResult = this.$this$sequence_1.yield_3xhcex_k$(Companion_getInstance_5().failed(), this);
+              this.p8_1 = 3;
+              suspendResult = this.x3q_1.te(Companion_getInstance_5().failed(), this);
               if (suspendResult === get_COROUTINE_SUSPENDED()) {
                 return suspendResult;
               }
               continue $sm;
             } else {
-              var explanationWithEvidenceTerm = new ProbExplanationTerm(goalExplanationTerm.explanation_1.and(this.$evidenceExplanationTerm_1.explanation_1));
-              this.state_1 = 2;
+              var explanationWithEvidenceTerm = new ProbExplanationTerm(goalExplanationTerm.w3l_1.and(this.t3q_1.w3l_1));
+              this.p8_1 = 2;
               var tmp_4 = Companion_getInstance_5();
-              var tmp_5 = Companion_getInstance_9().mgu_jyyt35_k$(this.$this_computeAllSubstitutions_1, this.$first_1, explanationWithEvidenceTerm);
-              var tmp_6 = Companion_getInstance_9().mgu_jyyt35_k$(this.$this_computeAllSubstitutions_1, this.$second_1, this.$evidenceExplanationTerm_1);
-              var tmp_7 = solution.get_substitution_i7fi9y_k$();
-              suspendResult = this.$this$sequence_1.yield_3xhcex_k$(tmp_4.ofSubstitution(tmp_5, [tmp_6, tmp_7.filter(ProbSolveWithEvidence$computeAllSubstitutions$slambda$lambda(this.$goalExplanationVar_1))]), this);
+              var tmp_5 = Companion_getInstance_9().i2l(this.u3q_1, this.v3q_1, explanationWithEvidenceTerm);
+              var tmp_6 = Companion_getInstance_9().i2l(this.u3q_1, this.w3q_1, this.t3q_1);
+              var tmp_7 = solution.p1x();
+              suspendResult = this.x3q_1.te(tmp_4.ofSubstitution(tmp_5, [tmp_6, tmp_7.filter(ProbSolveWithEvidence$computeAllSubstitutions$slambda$lambda(this.s3q_1))]), this);
               if (suspendResult === get_COROUTINE_SUSPENDED()) {
                 return suspendResult;
               }
@@ -4020,59 +4020,59 @@
             }
 
           case 2:
-            this.state_1 = 4;
+            this.p8_1 = 4;
             continue $sm;
           case 3:
-            this.state_1 = 4;
+            this.p8_1 = 4;
             continue $sm;
           case 4:
-            this.state_1 = 1;
+            this.p8_1 = 1;
             continue $sm;
           case 5:
             return Unit_instance;
           case 6:
-            throw this.exception_1;
+            throw this.s8_1;
         }
       } catch ($p) {
         var e = $p;
-        if (this.exceptionState_1 === 6) {
+        if (this.q8_1 === 6) {
           throw e;
         } else {
-          this.state_1 = this.exceptionState_1;
-          this.exception_1 = e;
+          this.p8_1 = this.q8_1;
+          this.s8_1 = e;
         }
       }
      while (true);
   };
-  protoOf(ProbSolveWithEvidence$computeAllSubstitutions$slambda).create_v0gj1t_k$ = function ($this$sequence, completion) {
-    var i = new ProbSolveWithEvidence$computeAllSubstitutions$slambda(this.$solutions_1, this.$goalExplanationVar_1, this.$evidenceExplanationTerm_1, this.$this_computeAllSubstitutions_1, this.$first_1, this.$second_1, completion);
-    i.$this$sequence_1 = $this$sequence;
+  protoOf(ProbSolveWithEvidence$computeAllSubstitutions$slambda).y31 = function ($this$sequence, completion) {
+    var i = new ProbSolveWithEvidence$computeAllSubstitutions$slambda(this.r3q_1, this.s3q_1, this.t3q_1, this.u3q_1, this.v3q_1, this.w3q_1, completion);
+    i.x3q_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.invoke_1hnob7_k$($this$sequence, $completion);
+      return i.x31($this$sequence, $completion);
     }, 1);
   }
   function ProbSolveWithEvidence() {
     ProbSolveWithEvidence_instance = this;
     WithoutSideEffects.call(this, 'prob_solve_with_evidence');
   }
-  protoOf(ProbSolveWithEvidence).computeAllSubstitutions_kk6w37_k$ = function (_this__u8e3s4, first, second, third) {
-    Companion_getInstance_9().ensuringArgumentIsInstantiated_dpjvac_k$(_this__u8e3s4, 2);
-    Companion_getInstance_9().ensuringArgumentIsCallable_xwjiqq_k$(_this__u8e3s4, 2);
+  protoOf(ProbSolveWithEvidence).w2u = function (_this__u8e3s4, first, second, third) {
+    Companion_getInstance_9().o2l(_this__u8e3s4, 2);
+    Companion_getInstance_9().u2l(_this__u8e3s4, 2);
     var evidenceExplanationVar = Companion_getInstance_0().of('EvidenceExplanation');
     var tmp;
-    if (ProbSetConfig_getInstance().isPrologMode_3vojg3_k$(_this__u8e3s4.context)) {
-      tmp = toTerm(Companion_getInstance_11().TRUE_1);
+    if (ProbSetConfig_getInstance().g3o(_this__u8e3s4.context)) {
+      tmp = toTerm(Companion_getInstance_11().z3m_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().getSolverOptions_b2hzqc_k$(_this__u8e3s4.context));
-      tmp = solution.get_substitution_i7fi9y_k$().get_wei43m_k$(evidenceExplanationVar);
+      var solution = _this__u8e3s4.subSolver().solveOnceWithOptions(subQuery, ProbSetConfig_getInstance().s3p(_this__u8e3s4.context));
+      tmp = solution.p1x().j2(evidenceExplanationVar);
     }
     var evidenceExplanationTerm = tmp;
     var goalExplanationVar = Companion_getInstance_0().of('GoalExplanation');
@@ -4080,11 +4080,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().getSolverOptions_b2hzqc_k$(_this__u8e3s4.context));
+    var solutions = tmp_1.solveWithOptions(tmp_2.of(tmp$ret$1, [goalExplanationVar, third]), ProbSetConfig_getInstance().s3p(_this__u8e3s4.context));
     return sequence(ProbSolveWithEvidence$computeAllSubstitutions$slambda_0(solutions, goalExplanationVar, evidenceExplanationTerm, _this__u8e3s4, first, second, null));
   };
-  protoOf(ProbSolveWithEvidence).computeAllSubstitutions_skk6sq_k$ = function (_this__u8e3s4, first, second, third) {
-    return this.computeAllSubstitutions_kk6w37_k$(_this__u8e3s4, first, second, third);
+  protoOf(ProbSolveWithEvidence).n2n = function (_this__u8e3s4, first, second, third) {
+    return this.w2u(_this__u8e3s4, first, second, third);
   };
   var ProbSolveWithEvidence_instance;
   function ProbSolveWithEvidence_getInstance() {
@@ -4096,10 +4096,10 @@
     Prob_instance = this;
     RuleWrapper_init_$Init$('prob', 2, VOID, this);
   }
-  protoOf(Prob).get_head_btpmqe_k$ = function (_this__u8e3s4) {
+  protoOf(Prob).g2o = function (_this__u8e3s4) {
     return listOf_0([_this__u8e3s4.varOf('EXPL'), _this__u8e3s4.varOf('GOAL')]);
   };
-  protoOf(Prob).get_body_3ji99k_k$ = function (_this__u8e3s4) {
+  protoOf(Prob).h2o = function (_this__u8e3s4) {
     var expl = _this__u8e3s4.varOf('EXPL');
     var goal = _this__u8e3s4.varOf('GOAL');
     var newGoal = _this__u8e3s4.varOf('NEW_GOAL');
@@ -4128,22 +4128,22 @@
   protoOf(ProblogSolverFactory).mutableSolverOf = mutableSolverOf;
   protoOf(ProblogSolverFactory).rawMutableSolverOf = rawMutableSolverOf;
   protoOf(ProblogSolverFactory).newBuilder = newBuilder;
-  protoOf(ProblogSolverFactory).get_defaultRuntime_l4gjfk_k$ = get_defaultRuntime;
-  protoOf(ProblogSolverFactory).get_defaultUnificator_ub4hy6_k$ = get_defaultUnificator;
-  protoOf(ProblogSolverFactory).get_defaultStaticKb_njv4d9_k$ = get_defaultStaticKb;
-  protoOf(ProblogSolverFactory).get_defaultDynamicKb_ctuo3i_k$ = get_defaultDynamicKb;
-  protoOf(ProblogSolverFactory).get_defaultInputChannel_2ryi7j_k$ = get_defaultInputChannel;
-  protoOf(ProblogSolverFactory).get_defaultOutputChannel_bnwwa_k$ = get_defaultOutputChannel;
-  protoOf(ProblogSolverFactory).get_defaultErrorChannel_ezdmst_k$ = get_defaultErrorChannel;
-  protoOf(ProblogSolverFactory).get_defaultWarningsChannel_rdf4c_k$ = get_defaultWarningsChannel;
-  protoOf(ProblogSolverFactory).solverWithDefaultBuiltins_tcha89_k$ = solverWithDefaultBuiltins;
+  protoOf(ProblogSolverFactory).a21 = get_defaultRuntime;
+  protoOf(ProblogSolverFactory).c21 = get_defaultUnificator;
+  protoOf(ProblogSolverFactory).g21 = get_defaultStaticKb;
+  protoOf(ProblogSolverFactory).h21 = get_defaultDynamicKb;
+  protoOf(ProblogSolverFactory).i21 = get_defaultInputChannel;
+  protoOf(ProblogSolverFactory).j21 = get_defaultOutputChannel;
+  protoOf(ProblogSolverFactory).k21 = get_defaultErrorChannel;
+  protoOf(ProblogSolverFactory).l21 = get_defaultWarningsChannel;
+  protoOf(ProblogSolverFactory).t21 = solverWithDefaultBuiltins;
   protoOf(ProblogSolverFactory).solverWithDefaultBuiltinsAnd = solverWithDefaultBuiltinsAnd;
-  protoOf(ProblogSolverFactory).mutableSolverWithDefaultBuiltins_bc3d81_k$ = mutableSolverWithDefaultBuiltins;
+  protoOf(ProblogSolverFactory).v21 = mutableSolverWithDefaultBuiltins;
   protoOf(ProblogSolverFactory).mutableSolverWithDefaultBuiltinsAnd = mutableSolverWithDefaultBuiltinsAnd;
   defineProp(protoOf(ClauseMappingException), 'message', function () {
-    return this.get_message_h23axq_k$();
+    return this.p1();
   });
-  protoOf(BinaryDecisionDiagramExplanation).get_probabilityOrNull_pcn56y_k$ = get_probabilityOrNull;
+  protoOf(BinaryDecisionDiagramExplanation).m3n = get_probabilityOrNull;
   //endregion
   //region block: init
   ProblogSolverFactory_instance = new ProblogSolverFactory();