@tuprolog/2p-full 0.31.5-dev0a → 0.31.5-dev0f

package/2p-solve-streams.js

@@ -164,7 +164,7 @@
   setMetadataFor(AlreadyExecutedState, 'AlreadyExecutedState', classMeta, undefined, undefined, undefined, undefined, []);
   setMetadataFor(FinalState, 'FinalState', interfaceMeta, undefined, undefined, undefined, undefined, []);
   function get_context() {
-    var tmp = this.k4c().context;
+    var tmp = this.h4c().context;
     return tmp instanceof StreamsExecutionContext ? tmp : THROW_CCE();
   }
   setMetadataFor(IntermediateState, 'IntermediateState', interfaceMeta, undefined, undefined, undefined, undefined, []);
@@ -198,19 +198,19 @@
   //endregion
   function SolverStrategies$Companion$prologStandard$1() {
   }
-  SolverStrategies$Companion$prologStandard$1.prototype.g4c = function (predicationSequence, context) {
+  SolverStrategies$Companion$prologStandard$1.prototype.d4c = function (predicationSequence, context) {
     return first(predicationSequence);
   };
-  SolverStrategies$Companion$prologStandard$1.prototype.h4c = function (unifiableClauses, context) {
+  SolverStrategies$Companion$prologStandard$1.prototype.e4c = function (unifiableClauses, context) {
     return first(unifiableClauses);
   };
-  SolverStrategies$Companion$prologStandard$1.prototype.i4c = function (term, context) {
-    return term.dw();
+  SolverStrategies$Companion$prologStandard$1.prototype.f4c = function (term, context) {
+    return term.aw();
   };
   function Companion() {
     Companion_instance = this;
     var tmp = this;
-    tmp.j4c_1 = new SolverStrategies$Companion$prologStandard$1();
+    tmp.g4c_1 = new SolverStrategies$Companion$prologStandard$1();
   }
   var Companion_instance;
   function Companion_getInstance_15() {
@@ -223,14 +223,14 @@
   }
   function StreamsSolver$Companion$solveToFinalStates$lambda_0($goalRequest) {
     return function (it) {
-      return it.k4c().solution.x1v().equals($goalRequest.x1v());
+      return it.h4c().solution.u1v().equals($goalRequest.u1v());
     };
   }
   function StreamsSolver$Companion$solveToResponses$lambda(it) {
-    return it.k4c();
+    return it.h4c();
   }
   function StreamsSolver_init_$Init$(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, $this) {
-    StreamsSolver.call($this, unificator, libraries, flags, staticKb, dynamicKb, Companion_getInstance().p1y(stdIn), Companion_getInstance_0().s1y(stdOut, stdErr, warnings));
+    StreamsSolver.call($this, unificator, libraries, flags, staticKb, dynamicKb, Companion_getInstance().m1y(stdIn), Companion_getInstance_0().p1y(stdOut, stdErr, warnings));
     return $this;
   }
   function StreamsSolver_init_$Create$(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
@@ -239,17 +239,17 @@
   function Companion_0() {
     Companion_instance_0 = this;
   }
-  Companion_0.prototype.l4c = function (goalRequest) {
+  Companion_0.prototype.i4c = function (goalRequest) {
     var tmp$ret$0;
     // Inline function 'kotlin.sequences.filterIsInstance' call
-    var tmp0_filterIsInstance = StateMachineExecutor_getInstance().m4c(new StateInit(goalRequest));
+    var tmp0_filterIsInstance = StateMachineExecutor_getInstance().j4c(new StateInit(goalRequest));
     var tmp = filter(tmp0_filterIsInstance, StreamsSolver$Companion$solveToFinalStates$lambda);
     tmp$ret$0 = isInterface(tmp, Sequence) ? tmp : THROW_CCE();
     var tmp_0 = tmp$ret$0;
     return filter(tmp_0, StreamsSolver$Companion$solveToFinalStates$lambda_0(goalRequest));
   };
-  Companion_0.prototype.n4c = function (goalRequest) {
-    var tmp = this.l4c(goalRequest);
+  Companion_0.prototype.k4c = function (goalRequest) {
+    var tmp = this.i4c(goalRequest);
     return map(tmp, StreamsSolver$Companion$solveToResponses$lambda);
   };
   var Companion_instance_0;
@@ -260,8 +260,8 @@
   }
   function StreamsSolver$solve$lambda(this$0) {
     return function (it) {
-      this$0.o4c_1 = it.j5().c37(it.k4c().sideEffects);
-      return it.k4c().solution.cleanUp();
+      this$0.l4c_1 = it.j5().z36(it.h4c().sideEffects);
+      return it.h4c().solution.cleanUp();
     };
   }
   function StreamsSolver(unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels) {
@@ -270,82 +270,82 @@
     var tmp_0 = toOperatorSet(getAllOperators(libraries, [staticKb, dynamicKb]));
     var tmp_1 = new Long(0, 0);
     var tmp_2 = new Long(0, 0);
-    tmp.o4c_1 = StreamsExecutionContext_init_$Create$(unificator, libraries, flags, staticKb, dynamicKb, tmp_0, inputChannels, outputChannels, null, null, tmp_1, tmp_2, null, null, 16128, null);
+    tmp.l4c_1 = StreamsExecutionContext_init_$Create$(unificator, libraries, flags, staticKb, dynamicKb, tmp_0, inputChannels, outputChannels, null, null, tmp_1, tmp_2, null, null, 16128, null);
   }
-  StreamsSolver.prototype.c2c = function (goal, options) {
+  StreamsSolver.prototype.z2b = function (goal, options) {
     var tmp = this;
-    var tmp_0 = this.k1l();
-    var tmp_1 = this.w1u();
-    var tmp_2 = this.x1u();
-    var tmp_3 = this.y1u();
-    var tmp_4 = this.z1u();
-    var tmp_5 = this.a1v();
-    var tmp_6 = this.b1v();
+    var tmp_0 = this.h1l();
+    var tmp_1 = this.t1u();
+    var tmp_2 = this.u1u();
+    var tmp_3 = this.v1u();
+    var tmp_4 = this.w1u();
+    var tmp_5 = this.x1u();
+    var tmp_6 = this.y1u();
     var tmp_7 = new Long(0, 0);
-    var tmp_8 = options.j1x();
-    tmp.o4c_1 = StreamsExecutionContext_init_$Create$(tmp_0, tmp_1, tmp_2, tmp_3, tmp_4, null, tmp_5, tmp_6, null, null, tmp_7, tmp_8, null, null, 14112, null);
+    var tmp_8 = options.g1x();
+    tmp.l4c_1 = StreamsExecutionContext_init_$Create$(tmp_0, tmp_1, tmp_2, tmp_3, tmp_4, null, tmp_5, tmp_6, null, null, tmp_7, tmp_8, null, null, 14112, null);
     var tmp_9 = Companion_getInstance_16();
     var tmp_10 = extractSignature(goal);
-    var tmp_11 = goal.gw();
-    var tmp_12 = this.o4c_1;
+    var tmp_11 = goal.dw();
+    var tmp_12 = this.l4c_1;
     var tmp_13 = new Long(0, 0);
-    var tmp_14 = tmp_9.l4c(Request_init_$Create$(tmp_10, tmp_11, tmp_12, tmp_13, new Long(0, 0), 24, null));
+    var tmp_14 = tmp_9.i4c(Request_init_$Create$(tmp_10, tmp_11, tmp_12, tmp_13, new Long(0, 0), 24, null));
     var solutionSequence = map(tmp_14, StreamsSolver$solve$lambda(this));
-    if (options.k1x() > 0) {
-      solutionSequence = take(solutionSequence, options.k1x());
+    if (options.h1x() > 0) {
+      solutionSequence = take(solutionSequence, options.h1x());
     }
-    if (options.i1x()) {
+    if (options.f1x()) {
       solutionSequence = buffered(solutionSequence);
     }
     return solutionSequence;
   };
   StreamsSolver.prototype.solveWithOptions = function (goal, options) {
-    return this.c2c(goal, options);
+    return this.z2b(goal, options);
   };
-  StreamsSolver.prototype.p1v = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
+  StreamsSolver.prototype.m1v = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
     return StreamsSolver_init_$Create$(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings);
   };
-  StreamsSolver.prototype.k1l = function () {
-    return this.o4c_1.p4c_1;
+  StreamsSolver.prototype.h1l = function () {
+    return this.l4c_1.m4c_1;
   };
-  StreamsSolver.prototype.w1u = function () {
-    return this.o4c_1.q4c_1;
+  StreamsSolver.prototype.t1u = function () {
+    return this.l4c_1.n4c_1;
   };
-  StreamsSolver.prototype.x1u = function () {
-    return this.o4c_1.r4c_1;
+  StreamsSolver.prototype.u1u = function () {
+    return this.l4c_1.o4c_1;
   };
-  StreamsSolver.prototype.y1u = function () {
-    return this.o4c_1.s4c_1;
+  StreamsSolver.prototype.v1u = function () {
+    return this.l4c_1.p4c_1;
   };
-  StreamsSolver.prototype.z1u = function () {
-    return this.o4c_1.t4c_1;
+  StreamsSolver.prototype.w1u = function () {
+    return this.l4c_1.q4c_1;
   };
-  StreamsSolver.prototype.a1v = function () {
-    return this.o4c_1.v4c_1;
+  StreamsSolver.prototype.x1u = function () {
+    return this.l4c_1.s4c_1;
   };
-  StreamsSolver.prototype.b1v = function () {
-    return this.o4c_1.w4c_1;
+  StreamsSolver.prototype.y1u = function () {
+    return this.l4c_1.t4c_1;
   };
-  StreamsSolver.prototype.h1v = function () {
-    return this.o4c_1.u4c_1;
+  StreamsSolver.prototype.e1v = function () {
+    return this.l4c_1.r4c_1;
   };
   function StreamsSolverFactory() {
     StreamsSolverFactory_instance = this;
   }
-  StreamsSolverFactory.prototype.d1y = function () {
+  StreamsSolverFactory.prototype.a1y = function () {
     return DefaultBuiltins_getInstance();
   };
-  StreamsSolverFactory.prototype.t1y = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs) {
+  StreamsSolverFactory.prototype.q1y = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs) {
     return new StreamsSolver(unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs);
   };
-  StreamsSolverFactory.prototype.v1y = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
-    return new StreamsSolver(unificator, libraries, flags, staticKb, dynamicKb, Companion_getInstance().p1y(stdIn), Companion_getInstance_0().s1y(stdOut, stdErr, warnings));
+  StreamsSolverFactory.prototype.s1y = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
+    return new StreamsSolver(unificator, libraries, flags, staticKb, dynamicKb, Companion_getInstance().m1y(stdIn), Companion_getInstance_0().p1y(stdOut, stdErr, warnings));
   };
-  StreamsSolverFactory.prototype.z1y = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
+  StreamsSolverFactory.prototype.w1y = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
     // Inline function 'kotlin.TODO' call
     throw new NotImplementedError('An operation is not implemented: Mutable stream solver is not supported yet');
   };
-  StreamsSolverFactory.prototype.d1z = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs) {
+  StreamsSolverFactory.prototype.a1z = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs) {
     // Inline function 'kotlin.TODO' call
     throw new NotImplementedError('An operation is not implemented: Mutable stream solver is not supported yet');
   };
@@ -379,16 +379,16 @@
     // Inline function 'kotlin.collections.mapNotNull' call
     var tmp$ret$2;
     // Inline function 'kotlin.collections.filter' call
-    var tmp0_filter = $this.e4d_1;
+    var tmp0_filter = $this.b4d_1;
     var tmp$ret$1;
     // Inline function 'kotlin.collections.filterTo' call
     var tmp0_filterTo = ArrayList_init_$Create$();
     var tmp0_iterator = tmp0_filter.j();
     while (tmp0_iterator.m()) {
-      var element = tmp0_iterator.p();
+      var element = tmp0_iterator.n();
       var tmp$ret$0;
       // Inline function 'it.unibo.tuprolog.solve.streams.solver.SideEffectManagerImpl.getFirstChoicePointContext.<anonymous>' call
-      tmp$ret$0 = element.c4d_1.f4d_1;
+      tmp$ret$0 = element.z4c_1.c4d_1;
       if (tmp$ret$0) {
         tmp0_filterTo.g(element);
       }
@@ -402,11 +402,11 @@
     // Inline function 'kotlin.collections.forEach' call
     var tmp0_iterator_0 = tmp1_mapNotNull.j();
     while (tmp0_iterator_0.m()) {
-      var element_0 = tmp0_iterator_0.p();
+      var element_0 = tmp0_iterator_0.n();
       // Inline function 'kotlin.collections.mapNotNullTo.<anonymous>' call
       var tmp$ret$3;
       // Inline function 'it.unibo.tuprolog.solve.streams.solver.SideEffectManagerImpl.getFirstChoicePointContext.<anonymous>' call
-      tmp$ret$3 = firstOrNull(element_0.c4d_1.e4d_1);
+      tmp$ret$3 = firstOrNull(element_0.z4c_1.b4d_1);
       var tmp0_safe_receiver = tmp$ret$3;
       if (tmp0_safe_receiver == null)
         null;
@@ -423,35 +423,35 @@
     return tmp$ret$6;
   }
   function SideEffectManagerImpl(clauseScopedParents, isChoicePointChild, toCutContextsParent, logicalParentRequests, throwNonSelectableParentContexts, throwRelatedToCutContextsParent) {
-    this.e4d_1 = clauseScopedParents;
-    this.f4d_1 = isChoicePointChild;
-    this.g4d_1 = toCutContextsParent;
-    this.h4d_1 = logicalParentRequests;
-    this.i4d_1 = throwNonSelectableParentContexts;
-    this.j4d_1 = throwRelatedToCutContextsParent;
+    this.b4d_1 = clauseScopedParents;
+    this.c4d_1 = isChoicePointChild;
+    this.d4d_1 = toCutContextsParent;
+    this.e4d_1 = logicalParentRequests;
+    this.f4d_1 = throwNonSelectableParentContexts;
+    this.g4d_1 = throwRelatedToCutContextsParent;
   }
-  SideEffectManagerImpl.prototype.k4d = function () {
-    var tmp = plus(this.g4d_1, getFirstChoicePointContext(this));
-    return this.l4d(null, false, tmp, null, null, null, 59, null);
+  SideEffectManagerImpl.prototype.h4d = function () {
+    var tmp = plus(this.d4d_1, getFirstChoicePointContext(this));
+    return this.i4d(null, false, tmp, null, null, null, 59, null);
   };
   SideEffectManagerImpl.prototype.cut = function () {
-    return this.k4d();
+    return this.h4d();
   };
-  SideEffectManagerImpl.prototype.m4d = function (currentContext) {
+  SideEffectManagerImpl.prototype.j4d = function (currentContext) {
     var tmp$ret$0;
     // Inline function 'kotlin.apply' call
-    var tmp0_apply = toMutableList(this.e4d_1);
+    var tmp0_apply = toMutableList(this.b4d_1);
     // Inline function 'kotlin.contracts.contract' call
     // Inline function 'it.unibo.tuprolog.solve.streams.solver.SideEffectManagerImpl.stateInitInitialize.<anonymous>' call
     tmp0_apply.ua(0, currentContext);
     tmp$ret$0 = tmp0_apply;
     var tmp = tmp$ret$0;
-    return this.l4d(tmp, false, null, null, null, null, 60, null);
+    return this.i4d(tmp, false, null, null, null, null, 60, null);
   };
-  SideEffectManagerImpl.prototype.n4d = function (currentContext, isChoicePointChild, logicalParentRequest) {
+  SideEffectManagerImpl.prototype.k4d = function (currentContext, isChoicePointChild, logicalParentRequest) {
     var tmp$ret$0;
     // Inline function 'kotlin.apply' call
-    var tmp0_apply = toMutableList(this.e4d_1);
+    var tmp0_apply = toMutableList(this.b4d_1);
     // Inline function 'kotlin.contracts.contract' call
     // Inline function 'it.unibo.tuprolog.solve.streams.solver.SideEffectManagerImpl.creatingNewRequest.<anonymous>' call
     tmp0_apply.ua(0, currentContext);
@@ -459,15 +459,15 @@
     var tmp = tmp$ret$0;
     var tmp0_subject = logicalParentRequest;
     var tmp_0;
-    if (this.h4d_1.v(tmp0_subject)) {
+    if (this.e4d_1.v(tmp0_subject)) {
       var tmp$ret$2;
       // Inline function 'kotlin.collections.dropWhile' call
-      var tmp1_dropWhile = this.h4d_1;
+      var tmp1_dropWhile = this.e4d_1;
       var yielding = false;
       var list = ArrayList_init_$Create$();
       var tmp0_iterator = tmp1_dropWhile.j();
       while (tmp0_iterator.m()) {
-        var item = tmp0_iterator.p();
+        var item = tmp0_iterator.n();
         if (yielding) {
           list.g(item);
         } else {
@@ -485,7 +485,7 @@
     } else {
       var tmp$ret$3;
       // Inline function 'kotlin.apply' call
-      var tmp2_apply = toMutableList(this.h4d_1);
+      var tmp2_apply = toMutableList(this.e4d_1);
       // Inline function 'kotlin.contracts.contract' call
       // Inline function 'it.unibo.tuprolog.solve.streams.solver.SideEffectManagerImpl.creatingNewRequest.<anonymous>' call
       tmp2_apply.ua(0, logicalParentRequest);
@@ -493,38 +493,38 @@
       tmp_0 = tmp$ret$3;
     }
     var tmp_1 = tmp_0;
-    return this.l4d(tmp, isChoicePointChild, null, tmp_1, null, null, 52, null);
+    return this.i4d(tmp, isChoicePointChild, null, tmp_1, null, null, 52, null);
   };
-  SideEffectManagerImpl.prototype.o4d = function () {
-    var tmp = listOf(first_0(this.e4d_1));
-    return this.l4d(tmp, false, null, null, null, null, 62, null);
+  SideEffectManagerImpl.prototype.l4d = function () {
+    var tmp = listOf(first_0(this.b4d_1));
+    return this.i4d(tmp, false, null, null, null, null, 62, null);
   };
-  SideEffectManagerImpl.prototype.p4d = function (upperScopeSideEffectsManager) {
+  SideEffectManagerImpl.prototype.m4d = function (upperScopeSideEffectsManager) {
     var tmp$ret$0;
     // Inline function 'kotlin.apply' call
-    var tmp0_apply = toMutableList(this.e4d_1);
+    var tmp0_apply = toMutableList(this.b4d_1);
     // Inline function 'kotlin.contracts.contract' call
     // Inline function 'it.unibo.tuprolog.solve.streams.solver.SideEffectManagerImpl.extendParentScopeWith.<anonymous>' call
-    tmp0_apply.t(upperScopeSideEffectsManager.e4d_1);
+    tmp0_apply.t(upperScopeSideEffectsManager.b4d_1);
     tmp$ret$0 = tmp0_apply;
     var tmp = tmp$ret$0;
-    return this.l4d(tmp, false, null, null, null, null, 62, null);
+    return this.i4d(tmp, false, null, null, null, null, 62, null);
   };
-  SideEffectManagerImpl.prototype.q4d = function () {
-    return contains(this.g4d_1, lastOrNull(this.e4d_1)) ? true : this.r4d();
+  SideEffectManagerImpl.prototype.n4d = function () {
+    return contains(this.d4d_1, lastOrNull(this.b4d_1)) ? true : this.o4d();
   };
-  SideEffectManagerImpl.prototype.s4d = function (toUnifyArgument) {
+  SideEffectManagerImpl.prototype.p4d = function (toUnifyArgument) {
     var tmp$ret$5;
     // Inline function 'kotlin.collections.filterNot' call
     var tmp$ret$2;
     // Inline function 'kotlin.collections.filter' call
-    var tmp0_filter = this.h4d_1;
+    var tmp0_filter = this.e4d_1;
     var tmp$ret$1;
     // Inline function 'kotlin.collections.filterTo' call
     var tmp0_filterTo = ArrayList_init_$Create$();
     var tmp0_iterator = tmp0_filter.j();
     while (tmp0_iterator.m()) {
-      var element = tmp0_iterator.p();
+      var element = tmp0_iterator.n();
       var tmp$ret$0;
       // Inline function 'it.unibo.tuprolog.solve.streams.solver.SideEffectManagerImpl.retrieveAncestorCatchRequest.<anonymous>' call
       tmp$ret$0 = element.signature.equals(Catch_getInstance().signature);
@@ -540,10 +540,10 @@
     var tmp0_filterNotTo = ArrayList_init_$Create$();
     var tmp0_iterator_0 = tmp1_filterNot.j();
     while (tmp0_iterator_0.m()) {
-      var element_0 = tmp0_iterator_0.p();
+      var element_0 = tmp0_iterator_0.n();
       var tmp$ret$3;
       // Inline function 'it.unibo.tuprolog.solve.streams.solver.SideEffectManagerImpl.retrieveAncestorCatchRequest.<anonymous>' call
-      tmp$ret$3 = contains(this.i4d_1, element_0.context);
+      tmp$ret$3 = contains(this.f4d_1, element_0.context);
       if (!tmp$ret$3) {
         tmp0_filterNotTo.g(element_0);
       }
@@ -558,10 +558,10 @@
       // Inline function 'kotlin.collections.firstOrNull' call
       var tmp0_iterator_1 = ancestorCatchesRequests.j();
       while (tmp0_iterator_1.m()) {
-        var element_1 = tmp0_iterator_1.p();
+        var element_1 = tmp0_iterator_1.n();
         var tmp$ret$6;
         // Inline function 'it.unibo.tuprolog.solve.streams.solver.SideEffectManagerImpl.retrieveAncestorCatchRequest.<anonymous>' call
-        tmp$ret$6 = Companion_getInstance_1().matches(element_1.arguments.n(1), toUnifyArgument);
+        tmp$ret$6 = Companion_getInstance_1().matches(element_1.arguments.o(1), toUnifyArgument);
         if (tmp$ret$6) {
           tmp$ret$7 = element_1;
           break $l$block;
@@ -572,24 +572,24 @@
     tmp$ret$8 = tmp$ret$7;
     return tmp$ret$8;
   };
-  SideEffectManagerImpl.prototype.t4d = function (ancestorCatchContext) {
-    return this.l4d(null, false, null, null, null, ancestorCatchContext, 31, null);
+  SideEffectManagerImpl.prototype.q4d = function (ancestorCatchContext) {
+    return this.i4d(null, false, null, null, null, ancestorCatchContext, 31, null);
   };
-  SideEffectManagerImpl.prototype.u4d = function (contextImpl) {
-    return equals(this.j4d_1, contextImpl);
+  SideEffectManagerImpl.prototype.r4d = function (contextImpl) {
+    return equals(this.g4d_1, contextImpl);
   };
-  SideEffectManagerImpl.prototype.v4d = function (contextImpl) {
-    var tmp = plus_0(this.i4d_1, contextImpl);
-    return this.l4d(null, false, null, null, tmp, null, 47, null);
+  SideEffectManagerImpl.prototype.s4d = function (contextImpl) {
+    var tmp = plus_0(this.f4d_1, contextImpl);
+    return this.i4d(null, false, null, null, tmp, null, 47, null);
   };
-  SideEffectManagerImpl.prototype.w4d = function (toRecoverSituation) {
-    return this.l4d(null, false, toRecoverSituation.g4d_1, null, null, null, 59, null);
+  SideEffectManagerImpl.prototype.t4d = function (toRecoverSituation) {
+    return this.i4d(null, false, toRecoverSituation.d4d_1, null, null, null, 59, null);
   };
-  SideEffectManagerImpl.prototype.r4d = function () {
+  SideEffectManagerImpl.prototype.o4d = function () {
     var tmp$ret$0;
     $l$block_0: {
       // Inline function 'kotlin.collections.any' call
-      var tmp0_any = this.h4d_1;
+      var tmp0_any = this.e4d_1;
       var tmp;
       if (isInterface(tmp0_any, Collection)) {
         tmp = tmp0_any.d();
@@ -602,10 +602,10 @@
       }
       var tmp0_iterator = tmp0_any.j();
       while (tmp0_iterator.m()) {
-        var element = tmp0_iterator.p();
+        var element = tmp0_iterator.n();
         var tmp$ret$1;
         // Inline function 'it.unibo.tuprolog.solve.streams.solver.SideEffectManagerImpl.shouldExecuteThrowCut.<anonymous>' call
-        tmp$ret$1 = element.context.equals(this.j4d_1);
+        tmp$ret$1 = element.context.equals(this.g4d_1);
         if (tmp$ret$1) {
           tmp$ret$0 = true;
           break $l$block_0;
@@ -615,34 +615,34 @@
     }
     return tmp$ret$0;
   };
-  SideEffectManagerImpl.prototype.x4d = function (clauseScopedParents, isChoicePointChild, toCutContextsParent, logicalParentRequests, throwNonSelectableParentContexts, throwRelatedToCutContextsParent) {
+  SideEffectManagerImpl.prototype.u4d = function (clauseScopedParents, isChoicePointChild, toCutContextsParent, logicalParentRequests, throwNonSelectableParentContexts, throwRelatedToCutContextsParent) {
     return new SideEffectManagerImpl(clauseScopedParents, isChoicePointChild, toCutContextsParent, logicalParentRequests, throwNonSelectableParentContexts, throwRelatedToCutContextsParent);
   };
-  SideEffectManagerImpl.prototype.l4d = function (clauseScopedParents, isChoicePointChild, toCutContextsParent, logicalParentRequests, throwNonSelectableParentContexts, throwRelatedToCutContextsParent, $mask0, $handler) {
+  SideEffectManagerImpl.prototype.i4d = function (clauseScopedParents, isChoicePointChild, toCutContextsParent, logicalParentRequests, throwNonSelectableParentContexts, throwRelatedToCutContextsParent, $mask0, $handler) {
     if (!(($mask0 & 1) === 0))
-      clauseScopedParents = this.e4d_1;
+      clauseScopedParents = this.b4d_1;
     if (!(($mask0 & 2) === 0))
-      isChoicePointChild = this.f4d_1;
+      isChoicePointChild = this.c4d_1;
     if (!(($mask0 & 4) === 0))
-      toCutContextsParent = this.g4d_1;
+      toCutContextsParent = this.d4d_1;
     if (!(($mask0 & 8) === 0))
-      logicalParentRequests = this.h4d_1;
+      logicalParentRequests = this.e4d_1;
     if (!(($mask0 & 16) === 0))
-      throwNonSelectableParentContexts = this.i4d_1;
+      throwNonSelectableParentContexts = this.f4d_1;
     if (!(($mask0 & 32) === 0))
-      throwRelatedToCutContextsParent = this.j4d_1;
-    return this.x4d(clauseScopedParents, isChoicePointChild, toCutContextsParent, logicalParentRequests, throwNonSelectableParentContexts, throwRelatedToCutContextsParent);
+      throwRelatedToCutContextsParent = this.g4d_1;
+    return this.u4d(clauseScopedParents, isChoicePointChild, toCutContextsParent, logicalParentRequests, throwNonSelectableParentContexts, throwRelatedToCutContextsParent);
   };
   SideEffectManagerImpl.prototype.toString = function () {
-    return 'SideEffectManagerImpl(clauseScopedParents=' + this.e4d_1 + ', isChoicePointChild=' + this.f4d_1 + ', toCutContextsParent=' + this.g4d_1 + ', logicalParentRequests=' + this.h4d_1 + ', throwNonSelectableParentContexts=' + this.i4d_1 + ', throwRelatedToCutContextsParent=' + this.j4d_1 + ')';
+    return 'SideEffectManagerImpl(clauseScopedParents=' + this.b4d_1 + ', isChoicePointChild=' + this.c4d_1 + ', toCutContextsParent=' + this.d4d_1 + ', logicalParentRequests=' + this.e4d_1 + ', throwNonSelectableParentContexts=' + this.f4d_1 + ', throwRelatedToCutContextsParent=' + this.g4d_1 + ')';
   };
   SideEffectManagerImpl.prototype.hashCode = function () {
-    var result = hashCode(this.e4d_1);
-    result = imul(result, 31) + (this.f4d_1 | 0) | 0;
-    result = imul(result, 31) + hashCode(this.g4d_1) | 0;
-    result = imul(result, 31) + hashCode(this.h4d_1) | 0;
-    result = imul(result, 31) + hashCode(this.i4d_1) | 0;
-    result = imul(result, 31) + (this.j4d_1 == null ? 0 : this.j4d_1.hashCode()) | 0;
+    var result = hashCode(this.b4d_1);
+    result = imul(result, 31) + (this.c4d_1 | 0) | 0;
+    result = imul(result, 31) + hashCode(this.d4d_1) | 0;
+    result = imul(result, 31) + hashCode(this.e4d_1) | 0;
+    result = imul(result, 31) + hashCode(this.f4d_1) | 0;
+    result = imul(result, 31) + (this.g4d_1 == null ? 0 : this.g4d_1.hashCode()) | 0;
     return result;
   };
   SideEffectManagerImpl.prototype.equals = function (other) {
@@ -651,42 +651,42 @@
     if (!(other instanceof SideEffectManagerImpl))
       return false;
     var tmp0_other_with_cast = other instanceof SideEffectManagerImpl ? other : THROW_CCE();
-    if (!equals(this.e4d_1, tmp0_other_with_cast.e4d_1))
+    if (!equals(this.b4d_1, tmp0_other_with_cast.b4d_1))
       return false;
-    if (!(this.f4d_1 === tmp0_other_with_cast.f4d_1))
+    if (!(this.c4d_1 === tmp0_other_with_cast.c4d_1))
       return false;
-    if (!equals(this.g4d_1, tmp0_other_with_cast.g4d_1))
+    if (!equals(this.d4d_1, tmp0_other_with_cast.d4d_1))
       return false;
-    if (!equals(this.h4d_1, tmp0_other_with_cast.h4d_1))
+    if (!equals(this.e4d_1, tmp0_other_with_cast.e4d_1))
       return false;
-    if (!equals(this.i4d_1, tmp0_other_with_cast.i4d_1))
+    if (!equals(this.f4d_1, tmp0_other_with_cast.f4d_1))
       return false;
-    if (!equals(this.j4d_1, tmp0_other_with_cast.j4d_1))
+    if (!equals(this.g4d_1, tmp0_other_with_cast.g4d_1))
       return false;
     return true;
   };
   function resetCutWorkChanges(_this__u8e3s4, toRecoverSituation) {
     var tmp0_safe_receiver = _this__u8e3s4 instanceof SideEffectManagerImpl ? _this__u8e3s4 : null;
-    return tmp0_safe_receiver == null ? null : tmp0_safe_receiver.w4d(toRecoverSituation);
+    return tmp0_safe_receiver == null ? null : tmp0_safe_receiver.t4d(toRecoverSituation);
   }
   function isSelectedThrowCatch(_this__u8e3s4, context) {
     var tmp0_safe_receiver = _this__u8e3s4 instanceof SideEffectManagerImpl ? _this__u8e3s4 : null;
-    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.u4d(context);
+    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.r4d(context);
     return tmp1_elvis_lhs == null ? false : tmp1_elvis_lhs;
   }
   function shouldExecuteThrowCut(_this__u8e3s4) {
     var tmp0_safe_receiver = _this__u8e3s4 instanceof SideEffectManagerImpl ? _this__u8e3s4 : null;
-    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.r4d();
+    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.o4d();
     return tmp1_elvis_lhs == null ? false : tmp1_elvis_lhs;
   }
   function shouldCutExecuteInRuleSelection(_this__u8e3s4) {
     var tmp0_safe_receiver = _this__u8e3s4 instanceof SideEffectManagerImpl ? _this__u8e3s4 : null;
-    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.q4d();
+    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.n4d();
     return tmp1_elvis_lhs == null ? false : tmp1_elvis_lhs;
   }
   function extendParentScopeWith(_this__u8e3s4, upperScopeSideEffectsManager) {
     var tmp0_safe_receiver = _this__u8e3s4 instanceof SideEffectManagerImpl ? _this__u8e3s4 : null;
-    return tmp0_safe_receiver == null ? null : tmp0_safe_receiver.p4d(upperScopeSideEffectsManager);
+    return tmp0_safe_receiver == null ? null : tmp0_safe_receiver.m4d(upperScopeSideEffectsManager);
   }
   function isWellFormed(_this__u8e3s4) {
     return _this__u8e3s4.accept(Companion_getInstance_2().bodyWellFormedVisitor);
@@ -703,25 +703,25 @@
     // Inline function 'kotlin.collections.toTypedArray' call
     var tmp0_toTypedArray = otherResponse.sideEffects;
     tmp$ret$0 = copyToArray(tmp0_toTypedArray);
-    tmp$ret$1 = _this__u8e3s4.y2i(otherResponse.solution, tmp, tmp$ret$0.slice());
+    tmp$ret$1 = _this__u8e3s4.v2i(otherResponse.solution, tmp, tmp$ret$0.slice());
     tmp$ret$2 = tmp$ret$1;
     return tmp$ret$2;
   }
   function newSolveRequest(_this__u8e3s4, newGoal, toAddSubstitutions, toPropagateContextData, baseSideEffectManager, requestIssuingInstant, isChoicePointChild) {
     var tmp = extractSignature(newGoal);
-    var tmp_0 = newGoal.gw();
-    var tmp_1 = toPropagateContextData.w1u();
-    var tmp_2 = toPropagateContextData.x1u();
-    var tmp_3 = toPropagateContextData.y1u();
-    var tmp_4 = toPropagateContextData.z1u();
-    var tmp_5 = toPropagateContextData.a1v();
-    var tmp_6 = toPropagateContextData.b1v();
-    var tmp_7 = _this__u8e3s4.context.y4c_1.plus(toAddSubstitutions);
+    var tmp_0 = newGoal.dw();
+    var tmp_1 = toPropagateContextData.t1u();
+    var tmp_2 = toPropagateContextData.u1u();
+    var tmp_3 = toPropagateContextData.v1u();
+    var tmp_4 = toPropagateContextData.w1u();
+    var tmp_5 = toPropagateContextData.x1u();
+    var tmp_6 = toPropagateContextData.y1u();
+    var tmp_7 = _this__u8e3s4.context.v4c_1.plus(toAddSubstitutions);
     var tmp_8 = isInterface(tmp_7, Unifier) ? tmp_7 : THROW_CCE();
     var tmp_9 = new Long(0, 0);
     var tmp_10 = new Long(0, 0);
-    var tmp_11 = _this__u8e3s4.context.y4d(null, tmp_1, tmp_2, tmp_3, tmp_4, null, tmp_5, tmp_6, null, tmp_8, tmp_9, tmp_10, null, baseSideEffectManager.n4d(_this__u8e3s4.context, isChoicePointChild, _this__u8e3s4), 7457, null);
-    return _this__u8e3s4.j2j(tmp, tmp_0, tmp_11, requestIssuingInstant, new Long(0, 0), 16, null);
+    var tmp_11 = _this__u8e3s4.context.v4d(null, tmp_1, tmp_2, tmp_3, tmp_4, null, tmp_5, tmp_6, null, tmp_8, tmp_9, tmp_10, null, baseSideEffectManager.k4d(_this__u8e3s4.context, isChoicePointChild, _this__u8e3s4), 7457, null);
+    return _this__u8e3s4.g2j(tmp, tmp_0, tmp_11, requestIssuingInstant, new Long(0, 0), 16, null);
   }
   function newSolveRequest$default(_this__u8e3s4, newGoal, toAddSubstitutions, toPropagateContextData, baseSideEffectManager, requestIssuingInstant, isChoicePointChild, $mask0, $handler) {
     if (!(($mask0 & 2) === 0))
@@ -729,15 +729,15 @@
     if (!(($mask0 & 4) === 0))
       toPropagateContextData = _this__u8e3s4.context;
     if (!(($mask0 & 8) === 0))
-      baseSideEffectManager = _this__u8e3s4.context.c4d_1;
+      baseSideEffectManager = _this__u8e3s4.context.z4c_1;
     if (!(($mask0 & 16) === 0))
-      requestIssuingInstant = _this__u8e3s4.d2a_1;
+      requestIssuingInstant = _this__u8e3s4.a2a_1;
     if (!(($mask0 & 32) === 0))
       isChoicePointChild = false;
     return newSolveRequest(_this__u8e3s4, newGoal, toAddSubstitutions, toPropagateContextData, baseSideEffectManager, requestIssuingInstant, isChoicePointChild);
   }
   function prepareForExecutionAsGoal(_this__u8e3s4) {
-    return single(prepareForExecution(Companion_getInstance_4().of(_this__u8e3s4, [])).gw()).zw();
+    return single(prepareForExecution(Companion_getInstance_4().of(_this__u8e3s4, [])).dw()).ww();
   }
   function orderWithStrategy(_this__u8e3s4, context, selectionStrategy) {
     var tmp0_subject = any(_this__u8e3s4);
@@ -754,7 +754,7 @@
     // Inline function 'kotlin.collections.forEach' call
     var tmp0_iterator = _this__u8e3s4.j();
     while (tmp0_iterator.m()) {
-      var element = tmp0_iterator.p();
+      var element = tmp0_iterator.n();
       // Inline function 'it.unibo.tuprolog.solve.streams.solver.addWithNoDuplicates.<anonymous>' call
       var tmp$ret$2;
       // Inline function 'kotlin.collections.find' call
@@ -763,7 +763,7 @@
         // Inline function 'kotlin.collections.firstOrNull' call
         var tmp0_iterator_0 = toAddSideEffects.j();
         while (tmp0_iterator_0.m()) {
-          var element_0 = tmp0_iterator_0.p();
+          var element_0 = tmp0_iterator_0.n();
           var tmp$ret$0;
           // Inline function 'it.unibo.tuprolog.solve.streams.solver.addWithNoDuplicates.<anonymous>.<anonymous>' call
           tmp$ret$0 = element === element_0;
@@ -793,7 +793,7 @@
     if (!tmp0_with.m()) {
       tmp = false;
     } else {
-      tmp0_with.p();
+      tmp0_with.n();
       tmp = tmp0_with.m();
     }
     tmp$ret$0 = tmp;
@@ -806,40 +806,40 @@
     };
   }
   function orderWithStrategy$slambda($selectionStrategy, $this_orderWithStrategy, $context, resultContinuation) {
-    this.h4e_1 = $selectionStrategy;
-    this.i4e_1 = $this_orderWithStrategy;
-    this.j4e_1 = $context;
+    this.e4e_1 = $selectionStrategy;
+    this.f4e_1 = $this_orderWithStrategy;
+    this.g4e_1 = $context;
     CoroutineImpl.call(this, resultContinuation);
   }
-  orderWithStrategy$slambda.prototype.m4e = function ($this$sequence, $cont) {
-    var tmp = this.n4e($this$sequence, $cont);
-    tmp.ei_1 = Unit_getInstance();
-    tmp.fi_1 = null;
-    return tmp.ki();
+  orderWithStrategy$slambda.prototype.j4e = function ($this$sequence, $cont) {
+    var tmp = this.k4e($this$sequence, $cont);
+    tmp.bi_1 = Unit_getInstance();
+    tmp.ci_1 = null;
+    return tmp.hi();
   };
-  orderWithStrategy$slambda.prototype.wi = function (p1, $cont) {
-    return this.m4e(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $cont);
+  orderWithStrategy$slambda.prototype.ti = function (p1, $cont) {
+    return this.j4e(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $cont);
   };
-  orderWithStrategy$slambda.prototype.ki = function () {
-    var suspendResult = this.ei_1;
+  orderWithStrategy$slambda.prototype.hi = function () {
+    var suspendResult = this.bi_1;
     $sm: do
       try {
-        var tmp = this.ci_1;
+        var tmp = this.zh_1;
         switch (tmp) {
           case 0:
-            this.di_1 = 3;
+            this.ai_1 = 3;
             var tmp_0 = this;
-            tmp_0.l4e_1 = this.h4e_1(this.i4e_1, this.j4e_1);
-            this.ci_1 = 1;
-            suspendResult = this.k4e_1.z4(this.l4e_1, this);
+            tmp_0.i4e_1 = this.e4e_1(this.f4e_1, this.g4e_1);
+            this.zh_1 = 1;
+            suspendResult = this.h4e_1.z4(this.i4e_1, this);
             if (suspendResult === get_COROUTINE_SUSPENDED()) {
               return suspendResult;
             }
 
             continue $sm;
           case 1:
-            this.ci_1 = 2;
-            suspendResult = this.k4e_1.c5(orderWithStrategy(filterIndexed(this.i4e_1, orderWithStrategy$slambda$lambda(this.i4e_1, this.l4e_1)), this.j4e_1, this.h4e_1), this);
+            this.zh_1 = 2;
+            suspendResult = this.h4e_1.c5(orderWithStrategy(filterIndexed(this.f4e_1, orderWithStrategy$slambda$lambda(this.f4e_1, this.i4e_1)), this.g4e_1, this.e4e_1), this);
             if (suspendResult === get_COROUTINE_SUSPENDED()) {
               return suspendResult;
             }
@@ -848,34 +848,34 @@
           case 2:
             return Unit_getInstance();
           case 3:
-            throw this.fi_1;
+            throw this.ci_1;
         }
       } catch ($p) {
-        if (this.di_1 === 3) {
+        if (this.ai_1 === 3) {
           throw $p;
         } else {
-          this.ci_1 = this.di_1;
-          this.fi_1 = $p;
+          this.zh_1 = this.ai_1;
+          this.ci_1 = $p;
         }
       }
      while (true);
   };
-  orderWithStrategy$slambda.prototype.n4e = function ($this$sequence, completion) {
-    var i = new orderWithStrategy$slambda(this.h4e_1, this.i4e_1, this.j4e_1, completion);
-    i.k4e_1 = $this$sequence;
+  orderWithStrategy$slambda.prototype.k4e = function ($this$sequence, completion) {
+    var i = new orderWithStrategy$slambda(this.e4e_1, this.f4e_1, this.g4e_1, completion);
+    i.h4e_1 = $this$sequence;
     return i;
   };
   function orderWithStrategy$slambda_0($selectionStrategy, $this_orderWithStrategy, $context, resultContinuation) {
     var i = new orderWithStrategy$slambda($selectionStrategy, $this_orderWithStrategy, $context, resultContinuation);
     var l = function ($this$sequence, $cont) {
-      return i.m4e($this$sequence, $cont);
+      return i.j4e($this$sequence, $cont);
     };
     l.$arity = 1;
     return l;
   }
   function StreamsExecutionContext_init_$Init$(unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, startTime, maxDuration, solverStrategies, sideEffectManager, $mask0, $marker, $this) {
     if (!(($mask0 & 1) === 0))
-      unificator = Companion_getInstance_1().h1l();
+      unificator = Companion_getInstance_1().e1l();
     if (!(($mask0 & 2) === 0))
       libraries = Companion_getInstance_5().empty();
     if (!(($mask0 & 4) === 0))
@@ -888,11 +888,11 @@
       operators = toOperatorSet(getAllOperators(libraries, [staticKb, dynamicKb]));
     if (!(($mask0 & 64) === 0)) {
       var tmp = Companion_getInstance();
-      inputChannels = tmp.v1z(null, 1, null);
+      inputChannels = tmp.s1z(null, 1, null);
     }
     if (!(($mask0 & 128) === 0)) {
       var tmp_0 = Companion_getInstance_0();
-      outputChannels = tmp_0.w1z(null, null, null, 7, null);
+      outputChannels = tmp_0.t1z(null, null, null, 7, null);
     }
     if (!(($mask0 & 256) === 0))
       customData = Companion_getInstance_8().empty();
@@ -905,7 +905,7 @@
       maxDuration = new Long(-1, 2147483647);
     }
     if (!(($mask0 & 4096) === 0))
-      solverStrategies = Companion_getInstance_15().j4c_1;
+      solverStrategies = Companion_getInstance_15().g4c_1;
     if (!(($mask0 & 8192) === 0)) {
       sideEffectManager = SideEffectManagerImpl_init_$Create$(null, false, null, null, null, null, 63, null);
     }
@@ -916,22 +916,22 @@
     return StreamsExecutionContext_init_$Init$(unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, startTime, maxDuration, solverStrategies, sideEffectManager, $mask0, $marker, Object.create(StreamsExecutionContext.prototype));
   }
   function StreamsExecutionContext_init_$Init$_0(context, newCurrentSubstitution, $this) {
-    var tmp = context.k1l();
-    var tmp_0 = context.w1u();
-    var tmp_1 = context.x1u();
-    var tmp_2 = context.y1u();
-    var tmp_3 = context.z1u();
-    var tmp_4 = context.h1v();
-    var tmp_5 = context.a1v();
-    var tmp_6 = context.b1v();
-    var tmp_7 = context.t1u();
+    var tmp = context.h1l();
+    var tmp_0 = context.t1u();
+    var tmp_1 = context.u1u();
+    var tmp_2 = context.v1u();
+    var tmp_3 = context.w1u();
+    var tmp_4 = context.e1v();
+    var tmp_5 = context.x1u();
+    var tmp_6 = context.y1u();
+    var tmp_7 = context.q1u();
     var tmp_8 = new Long(0, 0);
     var tmp_9 = new Long(0, 0);
     var tmp0_safe_receiver = context instanceof StreamsExecutionContext ? context : null;
-    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.b4d_1;
-    var tmp_10 = tmp1_elvis_lhs == null ? Companion_getInstance_15().j4c_1 : tmp1_elvis_lhs;
+    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.y4c_1;
+    var tmp_10 = tmp1_elvis_lhs == null ? Companion_getInstance_15().g4c_1 : tmp1_elvis_lhs;
     var tmp2_safe_receiver = context instanceof StreamsExecutionContext ? context : null;
-    var tmp3_elvis_lhs = tmp2_safe_receiver == null ? null : tmp2_safe_receiver.c4d_1;
+    var tmp3_elvis_lhs = tmp2_safe_receiver == null ? null : tmp2_safe_receiver.z4c_1;
     var tmp_11;
     if (tmp3_elvis_lhs == null) {
       tmp_11 = SideEffectManagerImpl_init_$Create$(null, false, null, null, null, null, 63, null);
@@ -945,178 +945,178 @@
     return StreamsExecutionContext_init_$Init$_0(context, newCurrentSubstitution, Object.create(StreamsExecutionContext.prototype));
   }
   function StreamsExecutionContext$logicStackTrace$delegate$lambda$lambda(it) {
-    return it.x1v();
+    return it.u1v();
   }
   function StreamsExecutionContext$logicStackTrace$delegate$lambda(this$0) {
     return function () {
-      var tmp = asSequence(this$0.c4d_1.h4d_1);
+      var tmp = asSequence(this$0.z4c_1.e4d_1);
       return toList(map(tmp, StreamsExecutionContext$logicStackTrace$delegate$lambda$lambda));
     };
   }
   function StreamsExecutionContext(unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, startTime, maxDuration, solverStrategies, sideEffectManager) {
-    this.p4c_1 = unificator;
-    this.q4c_1 = libraries;
-    this.r4c_1 = flags;
-    this.s4c_1 = staticKb;
-    this.t4c_1 = dynamicKb;
-    this.u4c_1 = operators;
-    this.v4c_1 = inputChannels;
-    this.w4c_1 = outputChannels;
-    this.x4c_1 = customData;
-    this.y4c_1 = substitution;
-    this.z4c_1 = startTime;
-    this.a4d_1 = maxDuration;
-    this.b4d_1 = solverStrategies;
-    this.c4d_1 = sideEffectManager;
+    this.m4c_1 = unificator;
+    this.n4c_1 = libraries;
+    this.o4c_1 = flags;
+    this.p4c_1 = staticKb;
+    this.q4c_1 = dynamicKb;
+    this.r4c_1 = operators;
+    this.s4c_1 = inputChannels;
+    this.t4c_1 = outputChannels;
+    this.u4c_1 = customData;
+    this.v4c_1 = substitution;
+    this.w4c_1 = startTime;
+    this.x4c_1 = maxDuration;
+    this.y4c_1 = solverStrategies;
+    this.z4c_1 = sideEffectManager;
     var tmp = this;
-    tmp.d4d_1 = lazy(StreamsExecutionContext$logicStackTrace$delegate$lambda(this));
+    tmp.a4d_1 = lazy(StreamsExecutionContext$logicStackTrace$delegate$lambda(this));
   }
-  StreamsExecutionContext.prototype.k1l = function () {
+  StreamsExecutionContext.prototype.h1l = function () {
+    return this.m4c_1;
+  };
+  StreamsExecutionContext.prototype.t1u = function () {
+    return this.n4c_1;
+  };
+  StreamsExecutionContext.prototype.u1u = function () {
+    return this.o4c_1;
+  };
+  StreamsExecutionContext.prototype.v1u = function () {
     return this.p4c_1;
   };
   StreamsExecutionContext.prototype.w1u = function () {
     return this.q4c_1;
   };
-  StreamsExecutionContext.prototype.x1u = function () {
+  StreamsExecutionContext.prototype.e1v = function () {
     return this.r4c_1;
   };
-  StreamsExecutionContext.prototype.y1u = function () {
+  StreamsExecutionContext.prototype.x1u = function () {
     return this.s4c_1;
   };
-  StreamsExecutionContext.prototype.z1u = function () {
+  StreamsExecutionContext.prototype.y1u = function () {
     return this.t4c_1;
   };
-  StreamsExecutionContext.prototype.h1v = function () {
+  StreamsExecutionContext.prototype.q1u = function () {
     return this.u4c_1;
   };
-  StreamsExecutionContext.prototype.a1v = function () {
+  StreamsExecutionContext.prototype.o1u = function () {
     return this.v4c_1;
   };
-  StreamsExecutionContext.prototype.b1v = function () {
+  StreamsExecutionContext.prototype.i1u = function () {
     return this.w4c_1;
   };
-  StreamsExecutionContext.prototype.t1u = function () {
+  StreamsExecutionContext.prototype.k1u = function () {
     return this.x4c_1;
   };
-  StreamsExecutionContext.prototype.r1u = function () {
-    return this.y4c_1;
-  };
-  StreamsExecutionContext.prototype.l1u = function () {
-    return this.z4c_1;
-  };
   StreamsExecutionContext.prototype.n1u = function () {
-    return this.a4d_1;
-  };
-  StreamsExecutionContext.prototype.q1u = function () {
     var tmp$ret$2;
     // Inline function 'kotlin.collections.map' call
-    var tmp0_map = this.c4d_1.h4d_1;
+    var tmp0_map = this.z4c_1.e4d_1;
     var tmp$ret$1;
     // Inline function 'kotlin.collections.mapTo' call
     var tmp0_mapTo = ArrayList_init_$Create$_0(collectionSizeOrDefault(tmp0_map, 10));
     var tmp0_iterator = tmp0_map.j();
     while (tmp0_iterator.m()) {
-      var item = tmp0_iterator.p();
+      var item = tmp0_iterator.n();
       var tmp$ret$0;
       // Inline function 'it.unibo.tuprolog.solve.streams.solver.StreamsExecutionContext.<get-procedure>.<anonymous>' call
-      tmp$ret$0 = item.x1v();
+      tmp$ret$0 = item.u1v();
       tmp0_mapTo.g(tmp$ret$0);
     }
     tmp$ret$1 = tmp0_mapTo;
     tmp$ret$2 = tmp$ret$1;
     return firstOrNull(tmp$ret$2);
   };
-  StreamsExecutionContext.prototype.s1u = function () {
+  StreamsExecutionContext.prototype.p1u = function () {
     var tmp$ret$0;
     // Inline function 'kotlin.getValue' call
     var tmp0_getValue = logicStackTrace$factory();
-    tmp$ret$0 = this.d4d_1.b1();
+    tmp$ret$0 = this.a4d_1.b1();
     return tmp$ret$0;
   };
-  StreamsExecutionContext.prototype.u1u = function (unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels) {
+  StreamsExecutionContext.prototype.r1u = function (unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels) {
     return new StreamsSolver(unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels);
   };
-  StreamsExecutionContext.prototype.c1v = function (unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels) {
+  StreamsExecutionContext.prototype.z1u = function (unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels) {
     throw new NotImplementedError('An operation is not implemented: Not yet implemented');
   };
-  StreamsExecutionContext.prototype.b37 = function (sideEffect) {
+  StreamsExecutionContext.prototype.y36 = function (sideEffect) {
     var tmp = apply.call(this, sideEffect);
     return tmp instanceof StreamsExecutionContext ? tmp : THROW_CCE();
   };
   StreamsExecutionContext.prototype.apply = function (sideEffect) {
-    return this.b37(sideEffect);
+    return this.y36(sideEffect);
   };
-  StreamsExecutionContext.prototype.c37 = function (sideEffects) {
+  StreamsExecutionContext.prototype.z36 = function (sideEffects) {
     var tmp = applyIterable.call(this, sideEffects);
     return tmp instanceof StreamsExecutionContext ? tmp : THROW_CCE();
   };
   StreamsExecutionContext.prototype.applyIterable = function (sideEffects) {
-    return this.c37(sideEffects);
+    return this.z36(sideEffects);
   };
-  StreamsExecutionContext.prototype.d37 = function (sideEffects) {
+  StreamsExecutionContext.prototype.a37 = function (sideEffects) {
     var tmp = applySequence.call(this, sideEffects);
     return tmp instanceof StreamsExecutionContext ? tmp : THROW_CCE();
   };
   StreamsExecutionContext.prototype.applySequence = function (sideEffects) {
-    return this.d37(sideEffects);
+    return this.a37(sideEffects);
   };
-  StreamsExecutionContext.prototype.f1v = function (unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData) {
+  StreamsExecutionContext.prototype.c1v = function (unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData) {
     var tmp = new Long(0, 0);
     var tmp_0 = new Long(0, 0);
-    return this.y4d(unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, null, tmp, tmp_0, null, null, 15872, null);
+    return this.v4d(unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, null, tmp, tmp_0, null, null, 15872, null);
   };
-  StreamsExecutionContext.prototype.o4e = function (unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, startTime, maxDuration, solverStrategies, sideEffectManager) {
+  StreamsExecutionContext.prototype.l4e = function (unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, startTime, maxDuration, solverStrategies, sideEffectManager) {
     return new StreamsExecutionContext(unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, startTime, maxDuration, solverStrategies, sideEffectManager);
   };
-  StreamsExecutionContext.prototype.y4d = function (unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, startTime, maxDuration, solverStrategies, sideEffectManager, $mask0, $handler) {
+  StreamsExecutionContext.prototype.v4d = function (unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, startTime, maxDuration, solverStrategies, sideEffectManager, $mask0, $handler) {
     if (!(($mask0 & 1) === 0))
-      unificator = this.p4c_1;
+      unificator = this.m4c_1;
     if (!(($mask0 & 2) === 0))
-      libraries = this.q4c_1;
+      libraries = this.n4c_1;
     if (!(($mask0 & 4) === 0))
-      flags = this.r4c_1;
+      flags = this.o4c_1;
     if (!(($mask0 & 8) === 0))
-      staticKb = this.s4c_1;
+      staticKb = this.p4c_1;
     if (!(($mask0 & 16) === 0))
-      dynamicKb = this.t4c_1;
+      dynamicKb = this.q4c_1;
     if (!(($mask0 & 32) === 0))
-      operators = this.u4c_1;
+      operators = this.r4c_1;
     if (!(($mask0 & 64) === 0))
-      inputChannels = this.v4c_1;
+      inputChannels = this.s4c_1;
     if (!(($mask0 & 128) === 0))
-      outputChannels = this.w4c_1;
+      outputChannels = this.t4c_1;
     if (!(($mask0 & 256) === 0))
-      customData = this.x4c_1;
+      customData = this.u4c_1;
     if (!(($mask0 & 512) === 0))
-      substitution = this.y4c_1;
+      substitution = this.v4c_1;
     if (!(($mask0 & 1024) === 0))
-      startTime = this.z4c_1;
+      startTime = this.w4c_1;
     if (!(($mask0 & 2048) === 0))
-      maxDuration = this.a4d_1;
+      maxDuration = this.x4c_1;
     if (!(($mask0 & 4096) === 0))
-      solverStrategies = this.b4d_1;
+      solverStrategies = this.y4c_1;
     if (!(($mask0 & 8192) === 0))
-      sideEffectManager = this.c4d_1;
-    return this.o4e(unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, startTime, maxDuration, solverStrategies, sideEffectManager);
+      sideEffectManager = this.z4c_1;
+    return this.l4e(unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, startTime, maxDuration, solverStrategies, sideEffectManager);
   };
   StreamsExecutionContext.prototype.toString = function () {
-    return 'StreamsExecutionContext(unificator=' + this.p4c_1 + ', libraries=' + this.q4c_1 + ', flags=' + this.r4c_1 + ', staticKb=' + this.s4c_1 + ', dynamicKb=' + this.t4c_1 + ', operators=' + this.u4c_1 + ', inputChannels=' + this.v4c_1 + ', outputChannels=' + this.w4c_1 + ', customData=' + this.x4c_1 + ', substitution=' + this.y4c_1 + ', startTime=' + toString(this.z4c_1) + ', maxDuration=' + toString(this.a4d_1) + ', solverStrategies=' + this.b4d_1 + ', sideEffectManager=' + this.c4d_1 + ')';
+    return 'StreamsExecutionContext(unificator=' + this.m4c_1 + ', libraries=' + this.n4c_1 + ', flags=' + this.o4c_1 + ', staticKb=' + this.p4c_1 + ', dynamicKb=' + this.q4c_1 + ', operators=' + this.r4c_1 + ', inputChannels=' + this.s4c_1 + ', outputChannels=' + this.t4c_1 + ', customData=' + this.u4c_1 + ', substitution=' + this.v4c_1 + ', startTime=' + toString(this.w4c_1) + ', maxDuration=' + toString(this.x4c_1) + ', solverStrategies=' + this.y4c_1 + ', sideEffectManager=' + this.z4c_1 + ')';
   };
   StreamsExecutionContext.prototype.hashCode = function () {
-    var result = hashCode(this.p4c_1);
+    var result = hashCode(this.m4c_1);
+    result = imul(result, 31) + hashCode(this.n4c_1) | 0;
+    result = imul(result, 31) + this.o4c_1.hashCode() | 0;
+    result = imul(result, 31) + hashCode(this.p4c_1) | 0;
     result = imul(result, 31) + hashCode(this.q4c_1) | 0;
     result = imul(result, 31) + this.r4c_1.hashCode() | 0;
     result = imul(result, 31) + hashCode(this.s4c_1) | 0;
     result = imul(result, 31) + hashCode(this.t4c_1) | 0;
     result = imul(result, 31) + this.u4c_1.hashCode() | 0;
     result = imul(result, 31) + hashCode(this.v4c_1) | 0;
-    result = imul(result, 31) + hashCode(this.w4c_1) | 0;
+    result = imul(result, 31) + this.w4c_1.hashCode() | 0;
     result = imul(result, 31) + this.x4c_1.hashCode() | 0;
     result = imul(result, 31) + hashCode(this.y4c_1) | 0;
     result = imul(result, 31) + this.z4c_1.hashCode() | 0;
-    result = imul(result, 31) + this.a4d_1.hashCode() | 0;
-    result = imul(result, 31) + hashCode(this.b4d_1) | 0;
-    result = imul(result, 31) + this.c4d_1.hashCode() | 0;
     return result;
   };
   StreamsExecutionContext.prototype.equals = function (other) {
@@ -1125,6 +1125,12 @@
     if (!(other instanceof StreamsExecutionContext))
       return false;
     var tmp0_other_with_cast = other instanceof StreamsExecutionContext ? other : THROW_CCE();
+    if (!equals(this.m4c_1, tmp0_other_with_cast.m4c_1))
+      return false;
+    if (!equals(this.n4c_1, tmp0_other_with_cast.n4c_1))
+      return false;
+    if (!this.o4c_1.equals(tmp0_other_with_cast.o4c_1))
+      return false;
     if (!equals(this.p4c_1, tmp0_other_with_cast.p4c_1))
       return false;
     if (!equals(this.q4c_1, tmp0_other_with_cast.q4c_1))
@@ -1139,7 +1145,7 @@
       return false;
     if (!equals(this.v4c_1, tmp0_other_with_cast.v4c_1))
       return false;
-    if (!equals(this.w4c_1, tmp0_other_with_cast.w4c_1))
+    if (!this.w4c_1.equals(tmp0_other_with_cast.w4c_1))
       return false;
     if (!this.x4c_1.equals(tmp0_other_with_cast.x4c_1))
       return false;
@@ -1147,42 +1153,36 @@
       return false;
     if (!this.z4c_1.equals(tmp0_other_with_cast.z4c_1))
       return false;
-    if (!this.a4d_1.equals(tmp0_other_with_cast.a4d_1))
-      return false;
-    if (!equals(this.b4d_1, tmp0_other_with_cast.b4d_1))
-      return false;
-    if (!this.c4d_1.equals(tmp0_other_with_cast.c4d_1))
-      return false;
     return true;
   };
   function getSideEffectManager(_this__u8e3s4) {
     var tmp0_safe_receiver = _this__u8e3s4 instanceof StreamsExecutionContext ? _this__u8e3s4 : null;
-    return tmp0_safe_receiver == null ? null : tmp0_safe_receiver.c4d_1;
+    return tmp0_safe_receiver == null ? null : tmp0_safe_receiver.z4c_1;
   }
   function logicStackTrace$factory() {
     return getPropertyCallableRef('logicStackTrace', 1, KProperty1, function (receiver) {
-      return receiver.s1u();
+      return receiver.p1u();
     }, null);
   }
   function AbstractState(solve) {
-    this.p4e_1 = solve;
-    this.q4e_1 = false;
+    this.m4e_1 = solve;
+    this.n4e_1 = false;
   }
-  AbstractState.prototype.r4e = function () {
-    return this.q4e_1;
+  AbstractState.prototype.o4e = function () {
+    return this.n4e_1;
   };
   function AlreadyExecutedState(wrappedState) {
-    this.t4e_1 = wrappedState;
-    this.u4e_1 = true;
+    this.q4e_1 = wrappedState;
+    this.r4e_1 = true;
   }
-  AlreadyExecutedState.prototype.s4e = function () {
-    return this.t4e_1.s4e();
+  AlreadyExecutedState.prototype.p4e = function () {
+    return this.q4e_1.p4e();
   };
-  AlreadyExecutedState.prototype.r4e = function () {
-    return this.u4e_1;
+  AlreadyExecutedState.prototype.o4e = function () {
+    return this.r4e_1;
   };
   AlreadyExecutedState.prototype.toString = function () {
-    return 'AlreadyExecutedState of: ' + this.t4e_1;
+    return 'AlreadyExecutedState of: ' + this.q4e_1;
   };
   function asAlreadyExecuted(_this__u8e3s4) {
     var tmp0_safe_receiver = _this__u8e3s4 instanceof AlreadyExecutedState ? _this__u8e3s4 : null;
@@ -1208,7 +1208,7 @@
   }
   function internalExecute($this, state) {
     var tmp;
-    if (state.r4e()) {
+    if (state.o4e()) {
       tmp = sequenceOf([state]);
     } else {
       tmp = sequence(StateMachineExecutor$internalExecute$slambda_0(state, null));
@@ -1216,34 +1216,34 @@
     return tmp;
   }
   function StateMachineExecutor$execute$lambda(it) {
-    return StateMachineExecutor_getInstance().v4e(it);
+    return StateMachineExecutor_getInstance().s4e(it);
   }
   function StateMachineExecutor$executeWrapping$lambda(it) {
     return asAlreadyExecuted(it);
   }
   function StateMachineExecutor$internalExecute$slambda($state, resultContinuation) {
-    this.e4f_1 = $state;
+    this.b4f_1 = $state;
     CoroutineImpl.call(this, resultContinuation);
   }
-  StateMachineExecutor$internalExecute$slambda.prototype.j4f = function ($this$sequence, $cont) {
-    var tmp = this.k4f($this$sequence, $cont);
-    tmp.ei_1 = Unit_getInstance();
-    tmp.fi_1 = null;
-    return tmp.ki();
+  StateMachineExecutor$internalExecute$slambda.prototype.g4f = function ($this$sequence, $cont) {
+    var tmp = this.h4f($this$sequence, $cont);
+    tmp.bi_1 = Unit_getInstance();
+    tmp.ci_1 = null;
+    return tmp.hi();
   };
-  StateMachineExecutor$internalExecute$slambda.prototype.wi = function (p1, $cont) {
-    return this.j4f(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $cont);
+  StateMachineExecutor$internalExecute$slambda.prototype.ti = function (p1, $cont) {
+    return this.g4f(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $cont);
   };
-  StateMachineExecutor$internalExecute$slambda.prototype.ki = function () {
-    var suspendResult = this.ei_1;
+  StateMachineExecutor$internalExecute$slambda.prototype.hi = function () {
+    var suspendResult = this.bi_1;
     $sm: do
       try {
-        var tmp = this.ci_1;
+        var tmp = this.zh_1;
         switch (tmp) {
           case 0:
-            this.di_1 = 5;
-            this.ci_1 = 1;
-            suspendResult = this.f4f_1.z4(this.e4f_1, this);
+            this.ai_1 = 5;
+            this.zh_1 = 1;
+            suspendResult = this.c4f_1.z4(this.b4f_1, this);
             if (suspendResult === get_COROUTINE_SUSPENDED()) {
               return suspendResult;
             }
@@ -1251,51 +1251,51 @@
             continue $sm;
           case 1:
             var tmp_0 = this;
-            tmp_0.g4f_1 = this.e4f_1.s4e();
-            this.h4f_1 = this.g4f_1.j();
-            this.ci_1 = 2;
+            tmp_0.d4f_1 = this.b4f_1.p4e();
+            this.e4f_1 = this.d4f_1.j();
+            this.zh_1 = 2;
             continue $sm;
           case 2:
-            if (!this.h4f_1.m()) {
-              this.ci_1 = 4;
+            if (!this.e4f_1.m()) {
+              this.zh_1 = 4;
               continue $sm;
             }
 
-            this.i4f_1 = this.h4f_1.p();
-            this.ci_1 = 3;
-            suspendResult = this.f4f_1.c5(internalExecute(StateMachineExecutor_getInstance(), this.i4f_1), this);
+            this.f4f_1 = this.e4f_1.n();
+            this.zh_1 = 3;
+            suspendResult = this.c4f_1.c5(internalExecute(StateMachineExecutor_getInstance(), this.f4f_1), this);
             if (suspendResult === get_COROUTINE_SUSPENDED()) {
               return suspendResult;
             }
 
             continue $sm;
           case 3:
-            this.ci_1 = 2;
+            this.zh_1 = 2;
             continue $sm;
           case 4:
             return Unit_getInstance();
           case 5:
-            throw this.fi_1;
+            throw this.ci_1;
         }
       } catch ($p) {
-        if (this.di_1 === 5) {
+        if (this.ai_1 === 5) {
           throw $p;
         } else {
-          this.ci_1 = this.di_1;
-          this.fi_1 = $p;
+          this.zh_1 = this.ai_1;
+          this.ci_1 = $p;
         }
       }
      while (true);
   };
-  StateMachineExecutor$internalExecute$slambda.prototype.k4f = function ($this$sequence, completion) {
-    var i = new StateMachineExecutor$internalExecute$slambda(this.e4f_1, completion);
-    i.f4f_1 = $this$sequence;
+  StateMachineExecutor$internalExecute$slambda.prototype.h4f = function ($this$sequence, completion) {
+    var i = new StateMachineExecutor$internalExecute$slambda(this.b4f_1, completion);
+    i.c4f_1 = $this$sequence;
     return i;
   };
   function StateMachineExecutor$internalExecute$slambda_0($state, resultContinuation) {
     var i = new StateMachineExecutor$internalExecute$slambda($state, resultContinuation);
     var l = function ($this$sequence, $cont) {
-      return i.j4f($this$sequence, $cont);
+      return i.g4f($this$sequence, $cont);
     };
     l.$arity = 1;
     return l;
@@ -1303,9 +1303,9 @@
   function StateMachineExecutor() {
     StateMachineExecutor_instance = this;
   }
-  StateMachineExecutor.prototype.m4c = function (state) {
+  StateMachineExecutor.prototype.j4c = function (state) {
     var tmp;
-    if (state.r4e()) {
+    if (state.o4e()) {
       tmp = emptySequence();
     } else {
       var tmp_0 = drop_0(internalExecute(this, state), 1);
@@ -1313,15 +1313,15 @@
     }
     return tmp;
   };
-  StateMachineExecutor.prototype.l4f = function (state) {
-    var tmp = this.m4c(state);
+  StateMachineExecutor.prototype.i4f = function (state) {
+    var tmp = this.j4c(state);
     return map(tmp, StateMachineExecutor$executeWrapping$lambda);
   };
-  StateMachineExecutor.prototype.v4e = function (_this__u8e3s4) {
+  StateMachineExecutor.prototype.s4e = function (_this__u8e3s4) {
     var tmp0_subject = _this__u8e3s4;
     var tmp;
     if (tmp0_subject instanceof AlreadyExecutedState) {
-      tmp = _this__u8e3s4.t4e_1;
+      tmp = _this__u8e3s4.q4e_1;
     } else {
       tmp = _this__u8e3s4;
     }
@@ -1334,15 +1334,15 @@
     return StateMachineExecutor_instance;
   }
   function statEndHaltTimeout(_this__u8e3s4, $this) {
-    var tmp = 'Given time for `' + _this__u8e3s4.k4c().x1v() + '` computation (' + toString(_this__u8e3s4.k4c().e2a_1) + ") wasn't enough for completion";
-    var tmp_0 = TimeOutException_init_$Create$(tmp, null, _this__u8e3s4.k4c().context, _this__u8e3s4.k4c().e2a_1, 2, null);
+    var tmp = 'Given time for `' + _this__u8e3s4.h4c().u1v() + '` computation (' + toString(_this__u8e3s4.h4c().b2a_1) + ") wasn't enough for completion";
+    var tmp_0 = TimeOutException_init_$Create$(tmp, null, _this__u8e3s4.h4c().context, _this__u8e3s4.h4c().b2a_1, 2, null);
     return stateEndHalt$default(_this__u8e3s4, tmp_0, null, [], 6, null);
   }
   function _get_stateCurrentTime__3c8uza($this) {
     var tmp$ret$0;
     // Inline function 'kotlin.getValue' call
     var tmp0_getValue = stateCurrentTime$factory();
-    tmp$ret$0 = $this.p4f_1.b1();
+    tmp$ret$0 = $this.m4f_1.b1();
     return tmp$ret$0;
   }
   function timeIsOver($this, currentDuration, maxDuration) {
@@ -1363,33 +1363,33 @@
   function AbstractTimedState(solve) {
     Companion_getInstance_17();
     AbstractState.call(this, solve);
-    this.o4f_1 = solve;
+    this.l4f_1 = solve;
     var tmp = this;
-    tmp.p4f_1 = lazy(AbstractTimedState$stateCurrentTime$delegate$lambda);
+    tmp.m4f_1 = lazy(AbstractTimedState$stateCurrentTime$delegate$lambda);
   }
-  AbstractTimedState.prototype.k4c = function () {
-    return this.o4f_1;
+  AbstractTimedState.prototype.h4c = function () {
+    return this.l4f_1;
   };
-  AbstractTimedState.prototype.s4e = function () {
+  AbstractTimedState.prototype.p4e = function () {
     var tmp;
-    var tmp_0 = this.k4c().e2a_1;
+    var tmp_0 = this.h4c().b2a_1;
     Companion_getInstance_9();
     if (tmp_0.equals(new Long(-1, 2147483647))) {
-      tmp = this.q4f();
+      tmp = this.n4f();
     } else {
-      if (timeIsOver(this, _get_stateCurrentTime__3c8uza(this).ch(this.k4c().d2a_1), this.k4c().e2a_1)) {
+      if (timeIsOver(this, _get_stateCurrentTime__3c8uza(this).ah(this.h4c().a2a_1), this.h4c().b2a_1)) {
         tmp = sequenceOf([statEndHaltTimeout(this, Companion_getInstance_17())]);
       } else {
-        tmp = this.q4f();
+        tmp = this.n4f();
       }
     }
     return tmp;
   };
-  AbstractTimedState.prototype.r4f = function (_this__u8e3s4, toYieldState) {
-    return timeIsOver(this, currentTimeInstant().ch(_this__u8e3s4.k4c().d2a_1), _this__u8e3s4.k4c().e2a_1) ? statEndHaltTimeout(_this__u8e3s4, Companion_getInstance_17()) : toYieldState;
+  AbstractTimedState.prototype.o4f = function (_this__u8e3s4, toYieldState) {
+    return timeIsOver(this, currentTimeInstant().ah(_this__u8e3s4.h4c().a2a_1), _this__u8e3s4.h4c().b2a_1) ? statEndHaltTimeout(_this__u8e3s4, Companion_getInstance_17()) : toYieldState;
   };
   AbstractTimedState.prototype.toString = function () {
-    return '' + getKClassFromExpression(this) + ' with ' + this.k4c();
+    return '' + getKClassFromExpression(this) + ' with ' + this.h4c();
   };
   function stateCurrentTime$factory() {
     return getPropertyCallableRef('stateCurrentTime', 1, KProperty1, function (receiver) {
@@ -1398,35 +1398,35 @@
   }
   function StateEnd$Halt$exception$delegate$lambda(this$0) {
     return function () {
-      var tmp = this$0.y4f_1.solution;
-      return (isInterface(tmp, Halt) ? tmp : THROW_CCE()).c1w();
+      var tmp = this$0.v4f_1.solution;
+      return (isInterface(tmp, Halt) ? tmp : THROW_CCE()).z1v();
     };
   }
   function True(sourceContext, solve) {
     StateEnd.call(this, sourceContext, solve);
-    this.f4g_1 = sourceContext;
-    this.g4g_1 = solve;
+    this.c4g_1 = sourceContext;
+    this.d4g_1 = solve;
     // Inline function 'kotlin.require' call
-    var tmp = this.g4g_1.solution;
+    var tmp = this.d4g_1.solution;
     var tmp0_require = isInterface(tmp, Yes);
     // Inline function 'kotlin.contracts.contract' call
     if (!tmp0_require) {
       var tmp$ret$0;
       // Inline function 'it.unibo.tuprolog.solve.streams.solver.fsm.impl.True.<anonymous>' call
-      tmp$ret$0 = 'True end state can be created only with Solution.Yes. Current: `' + this.g4g_1.solution + '`';
+      tmp$ret$0 = 'True end state can be created only with Solution.Yes. Current: `' + this.d4g_1.solution + '`';
       var message = tmp$ret$0;
       throw IllegalArgumentException_init_$Create$(toString(message));
     }
   }
-  True.prototype.k4c = function () {
-    return this.g4g_1;
+  True.prototype.h4c = function () {
+    return this.d4g_1;
   };
   True.prototype.toString = function () {
-    return 'True(sourceContext=' + this.f4g_1 + ', solve=' + this.g4g_1 + ')';
+    return 'True(sourceContext=' + this.c4g_1 + ', solve=' + this.d4g_1 + ')';
   };
   True.prototype.hashCode = function () {
-    var result = hashCode(this.f4g_1);
-    result = imul(result, 31) + this.g4g_1.hashCode() | 0;
+    var result = hashCode(this.c4g_1);
+    result = imul(result, 31) + this.d4g_1.hashCode() | 0;
     return result;
   };
   True.prototype.equals = function (other) {
@@ -1435,37 +1435,37 @@
     if (!(other instanceof True))
       return false;
     var tmp0_other_with_cast = other instanceof True ? other : THROW_CCE();
-    if (!equals(this.f4g_1, tmp0_other_with_cast.f4g_1))
+    if (!equals(this.c4g_1, tmp0_other_with_cast.c4g_1))
       return false;
-    if (!this.g4g_1.equals(tmp0_other_with_cast.g4g_1))
+    if (!this.d4g_1.equals(tmp0_other_with_cast.d4g_1))
       return false;
     return true;
   };
   function False(sourceContext, solve) {
     StateEnd.call(this, sourceContext, solve);
-    this.r4g_1 = sourceContext;
-    this.s4g_1 = solve;
+    this.o4g_1 = sourceContext;
+    this.p4g_1 = solve;
     // Inline function 'kotlin.require' call
-    var tmp = this.s4g_1.solution;
+    var tmp = this.p4g_1.solution;
     var tmp0_require = isInterface(tmp, No);
     // Inline function 'kotlin.contracts.contract' call
     if (!tmp0_require) {
       var tmp$ret$0;
       // Inline function 'it.unibo.tuprolog.solve.streams.solver.fsm.impl.False.<anonymous>' call
-      tmp$ret$0 = 'False end state can be created only with Solution.No. Current: `' + this.s4g_1.solution + '`';
+      tmp$ret$0 = 'False end state can be created only with Solution.No. Current: `' + this.p4g_1.solution + '`';
       var message = tmp$ret$0;
       throw IllegalArgumentException_init_$Create$(toString(message));
     }
   }
-  False.prototype.k4c = function () {
-    return this.s4g_1;
+  False.prototype.h4c = function () {
+    return this.p4g_1;
   };
   False.prototype.toString = function () {
-    return 'False(sourceContext=' + this.r4g_1 + ', solve=' + this.s4g_1 + ')';
+    return 'False(sourceContext=' + this.o4g_1 + ', solve=' + this.p4g_1 + ')';
   };
   False.prototype.hashCode = function () {
-    var result = hashCode(this.r4g_1);
-    result = imul(result, 31) + this.s4g_1.hashCode() | 0;
+    var result = hashCode(this.o4g_1);
+    result = imul(result, 31) + this.p4g_1.hashCode() | 0;
     return result;
   };
   False.prototype.equals = function (other) {
@@ -1474,39 +1474,39 @@
     if (!(other instanceof False))
       return false;
     var tmp0_other_with_cast = other instanceof False ? other : THROW_CCE();
-    if (!equals(this.r4g_1, tmp0_other_with_cast.r4g_1))
+    if (!equals(this.o4g_1, tmp0_other_with_cast.o4g_1))
       return false;
-    if (!this.s4g_1.equals(tmp0_other_with_cast.s4g_1))
+    if (!this.p4g_1.equals(tmp0_other_with_cast.p4g_1))
       return false;
     return true;
   };
   function Halt_0(sourceContext, solve) {
     StateEnd.call(this, sourceContext, solve);
-    this.x4f_1 = sourceContext;
-    this.y4f_1 = solve;
+    this.u4f_1 = sourceContext;
+    this.v4f_1 = solve;
     // Inline function 'kotlin.require' call
-    var tmp = this.y4f_1.solution;
+    var tmp = this.v4f_1.solution;
     var tmp0_require = isInterface(tmp, Halt);
     // Inline function 'kotlin.contracts.contract' call
     if (!tmp0_require) {
       var tmp$ret$0;
       // Inline function 'it.unibo.tuprolog.solve.streams.solver.fsm.impl.Halt.<anonymous>' call
-      tmp$ret$0 = 'Halt end state can be created only with Solution.Halt. Current: `' + this.y4f_1.solution + '`';
+      tmp$ret$0 = 'Halt end state can be created only with Solution.Halt. Current: `' + this.v4f_1.solution + '`';
       var message = tmp$ret$0;
       throw IllegalArgumentException_init_$Create$(toString(message));
     }
     var tmp_0 = this;
-    tmp_0.z4f_1 = lazy(StateEnd$Halt$exception$delegate$lambda(this));
+    tmp_0.w4f_1 = lazy(StateEnd$Halt$exception$delegate$lambda(this));
   }
-  Halt_0.prototype.k4c = function () {
-    return this.y4f_1;
+  Halt_0.prototype.h4c = function () {
+    return this.v4f_1;
   };
   Halt_0.prototype.toString = function () {
-    return 'Halt(sourceContext=' + this.x4f_1 + ', solve=' + this.y4f_1 + ')';
+    return 'Halt(sourceContext=' + this.u4f_1 + ', solve=' + this.v4f_1 + ')';
   };
   Halt_0.prototype.hashCode = function () {
-    var result = hashCode(this.x4f_1);
-    result = imul(result, 31) + this.y4f_1.hashCode() | 0;
+    var result = hashCode(this.u4f_1);
+    result = imul(result, 31) + this.v4f_1.hashCode() | 0;
     return result;
   };
   Halt_0.prototype.equals = function (other) {
@@ -1515,44 +1515,44 @@
     if (!(other instanceof Halt_0))
       return false;
     var tmp0_other_with_cast = other instanceof Halt_0 ? other : THROW_CCE();
-    if (!equals(this.x4f_1, tmp0_other_with_cast.x4f_1))
+    if (!equals(this.u4f_1, tmp0_other_with_cast.u4f_1))
       return false;
-    if (!this.y4f_1.equals(tmp0_other_with_cast.y4f_1))
+    if (!this.v4f_1.equals(tmp0_other_with_cast.v4f_1))
       return false;
     return true;
   };
   function StateEnd$context$delegate$lambda(this$0) {
     return function () {
-      var tmp = this$0.k4c().solution.r1u();
+      var tmp = this$0.h4c().solution.o1u();
       var tmp0_elvis_lhs = isInterface(tmp, Unifier) ? tmp : null;
-      return StreamsExecutionContext_init_$Create$_0(this$0.j4g_1, tmp0_elvis_lhs == null ? Companion_getInstance_3().empty() : tmp0_elvis_lhs);
+      return StreamsExecutionContext_init_$Create$_0(this$0.g4g_1, tmp0_elvis_lhs == null ? Companion_getInstance_3().empty() : tmp0_elvis_lhs);
     };
   }
   function StateEnd(sourceContext, solve) {
     AbstractState.call(this, solve);
-    this.j4g_1 = sourceContext;
-    this.k4g_1 = solve;
+    this.g4g_1 = sourceContext;
+    this.h4g_1 = solve;
     var tmp = this;
-    tmp.l4g_1 = lazy(StateEnd$context$delegate$lambda(this));
+    tmp.i4g_1 = lazy(StateEnd$context$delegate$lambda(this));
   }
-  StateEnd.prototype.k4c = function () {
-    return this.k4g_1;
+  StateEnd.prototype.h4c = function () {
+    return this.h4g_1;
   };
-  StateEnd.prototype.s4e = function () {
+  StateEnd.prototype.p4e = function () {
     return emptySequence();
   };
   StateEnd.prototype.j5 = function () {
     var tmp$ret$0;
     // Inline function 'kotlin.getValue' call
     var tmp0_getValue = context$factory();
-    tmp$ret$0 = this.l4g_1.b1();
+    tmp$ret$0 = this.i4g_1.b1();
     return tmp$ret$0;
   };
   function stateEndTrue(_this__u8e3s4, substitution, sideEffectManager, sideEffects) {
     var tmp = _this__u8e3s4.j5();
-    var tmp_0 = _this__u8e3s4.k4c();
+    var tmp_0 = _this__u8e3s4.h4c();
     var tmp0_elvis_lhs = sideEffectManager;
-    return new True(tmp, tmp_0.p2i(substitution, tmp0_elvis_lhs == null ? getSideEffectManager(_this__u8e3s4.k4c().context) : tmp0_elvis_lhs, sideEffects.slice()));
+    return new True(tmp, tmp_0.m2i(substitution, tmp0_elvis_lhs == null ? getSideEffectManager(_this__u8e3s4.h4c().context) : tmp0_elvis_lhs, sideEffects.slice()));
   }
   function stateEndTrue$default(_this__u8e3s4, substitution, sideEffectManager, sideEffects, $mask0, $handler) {
     if (!(($mask0 & 1) === 0))
@@ -1563,9 +1563,9 @@
   }
   function stateEndFalse(_this__u8e3s4, sideEffectManager, sideEffects) {
     var tmp = _this__u8e3s4.j5();
-    var tmp_0 = _this__u8e3s4.k4c();
+    var tmp_0 = _this__u8e3s4.h4c();
     var tmp0_elvis_lhs = sideEffectManager;
-    return new False(tmp, tmp_0.q2i(tmp0_elvis_lhs == null ? getSideEffectManager(_this__u8e3s4.k4c().context) : tmp0_elvis_lhs, sideEffects.slice()));
+    return new False(tmp, tmp_0.n2i(tmp0_elvis_lhs == null ? getSideEffectManager(_this__u8e3s4.h4c().context) : tmp0_elvis_lhs, sideEffects.slice()));
   }
   function stateEndFalse$default(_this__u8e3s4, sideEffectManager, sideEffects, $mask0, $handler) {
     if (!(($mask0 & 1) === 0))
@@ -1574,10 +1574,10 @@
   }
   function stateEndHalt(_this__u8e3s4, exception, sideEffectManager, sideEffects) {
     var tmp = _this__u8e3s4.j5();
-    var tmp_0 = _this__u8e3s4.k4c();
+    var tmp_0 = _this__u8e3s4.h4c();
     var tmp0_elvis_lhs = sideEffectManager;
     var tmp1_elvis_lhs = tmp0_elvis_lhs == null ? getSideEffectManager(exception.j5()) : tmp0_elvis_lhs;
-    return new Halt_0(tmp, tmp_0.r2i(exception, tmp1_elvis_lhs == null ? getSideEffectManager(_this__u8e3s4.k4c().context) : tmp1_elvis_lhs, sideEffects.slice()));
+    return new Halt_0(tmp, tmp_0.o2i(exception, tmp1_elvis_lhs == null ? getSideEffectManager(_this__u8e3s4.h4c().context) : tmp1_elvis_lhs, sideEffects.slice()));
   }
   function stateEndHalt$default(_this__u8e3s4, exception, sideEffectManager, sideEffects, $mask0, $handler) {
     if (!(($mask0 & 2) === 0))
@@ -1602,13 +1602,13 @@
     var tmp = stateEnd$lambda(_this__u8e3s4, sideEffectManager, sideEffects);
     var tmp_0 = stateEnd$lambda_0(_this__u8e3s4, sideEffectManager, sideEffects);
     var tmp_1 = stateEnd$lambda_1(_this__u8e3s4, sideEffectManager, sideEffects);
-    return solution.h1w(tmp, tmp_0, tmp_1, null, 8, null);
+    return solution.e1w(tmp, tmp_0, tmp_1, null, 8, null);
   }
   function stateEnd$lambda($this_stateEnd, $sideEffectManager, $sideEffects) {
     return function (sol) {
       var tmp$ret$1;
       // Inline function 'kotlin.takeUnless' call
-      var tmp0_takeUnless = sol.r1u();
+      var tmp0_takeUnless = sol.o1u();
       // Inline function 'kotlin.contracts.contract' call
       var tmp;
       var tmp$ret$0;
@@ -1621,7 +1621,7 @@
       }
       tmp$ret$1 = tmp;
       var tmp0_elvis_lhs = tmp$ret$1;
-      return stateEndTrue($this_stateEnd, tmp0_elvis_lhs == null ? $this_stateEnd.k4c().context.r1u() : tmp0_elvis_lhs, $sideEffectManager, $sideEffects.slice());
+      return stateEndTrue($this_stateEnd, tmp0_elvis_lhs == null ? $this_stateEnd.h4c().context.o1u() : tmp0_elvis_lhs, $sideEffectManager, $sideEffects.slice());
     };
   }
   function stateEnd$lambda_0($this_stateEnd, $sideEffectManager, $sideEffects) {
@@ -1631,7 +1631,7 @@
   }
   function stateEnd$lambda_1($this_stateEnd, $sideEffectManager, $sideEffects) {
     return function (it) {
-      return stateEndHalt($this_stateEnd, it.c1w(), $sideEffectManager, $sideEffects.slice());
+      return stateEndHalt($this_stateEnd, it.z1v(), $sideEffectManager, $sideEffects.slice());
     };
   }
   function context$factory() {
@@ -1645,9 +1645,9 @@
     // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
     var tmp0__get_functor__thl4dk = Throw_getInstance();
     tmp$ret$0 = tmp0__get_functor__thl4dk.signature.name;
-    var tmp_0 = tmp.of(tmp$ret$0, [error.n25()]);
+    var tmp_0 = tmp.of(tmp$ret$0, [error.k25()]);
     var tmp0_elvis_lhs = getSideEffectManager(error.j5());
-    var tmp_1 = tmp0_elvis_lhs == null ? _this__u8e3s4.context.c4d_1 : tmp0_elvis_lhs;
+    var tmp_1 = tmp0_elvis_lhs == null ? _this__u8e3s4.context.z4c_1 : tmp0_elvis_lhs;
     var tmp_2 = currentTimeInstant();
     return newSolveRequest$default(_this__u8e3s4, tmp_0, null, null, tmp_1, tmp_2, false, 38, null);
   }
@@ -1661,128 +1661,128 @@
     return Companion_instance_2;
   }
   function StateGoalEvaluation$behaveTimed$slambda(this$0, resultContinuation) {
-    this.b4h_1 = this$0;
+    this.y4g_1 = this$0;
     CoroutineImpl.call(this, resultContinuation);
   }
-  StateGoalEvaluation$behaveTimed$slambda.prototype.j4f = function ($this$sequence, $cont) {
-    var tmp = this.k4f($this$sequence, $cont);
-    tmp.ei_1 = Unit_getInstance();
-    tmp.fi_1 = null;
-    return tmp.ki();
+  StateGoalEvaluation$behaveTimed$slambda.prototype.g4f = function ($this$sequence, $cont) {
+    var tmp = this.h4f($this$sequence, $cont);
+    tmp.bi_1 = Unit_getInstance();
+    tmp.ci_1 = null;
+    return tmp.hi();
   };
-  StateGoalEvaluation$behaveTimed$slambda.prototype.wi = function (p1, $cont) {
-    return this.j4f(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $cont);
+  StateGoalEvaluation$behaveTimed$slambda.prototype.ti = function (p1, $cont) {
+    return this.g4f(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $cont);
   };
-  StateGoalEvaluation$behaveTimed$slambda.prototype.ki = function () {
-    var suspendResult = this.ei_1;
+  StateGoalEvaluation$behaveTimed$slambda.prototype.hi = function () {
+    var suspendResult = this.bi_1;
     $sm: do
       try {
-        var tmp = this.ci_1;
+        var tmp = this.zh_1;
         switch (tmp) {
           case 0:
-            this.di_1 = 11;
+            this.ai_1 = 11;
             var tmp_0 = this;
-            var tmp0_with = this.b4h_1.u4h_1;
-            tmp_0.d4h_1 = tmp0_with.context.q4c_1.n2e().a3(tmp0_with.signature);
-            this.e4h_1 = this.d4h_1;
-            if (this.e4h_1 == null) {
-              this.f4h_1 = null;
-              this.ci_1 = 8;
+            var tmp0_with = this.y4g_1.r4h_1;
+            tmp_0.a4h_1 = tmp0_with.context.n4c_1.k2e().a3(tmp0_with.signature);
+            this.b4h_1 = this.a4h_1;
+            if (this.b4h_1 == null) {
+              this.c4h_1 = null;
+              this.zh_1 = 8;
               continue $sm;
             } else {
-              this.g4h_1 = null;
-              this.di_1 = 1;
-              this.g4h_1 = this.d4h_1.solve(this.b4h_1.u4h_1);
-              this.di_1 = 11;
-              this.ci_1 = 3;
+              this.d4h_1 = null;
+              this.ai_1 = 1;
+              this.d4h_1 = this.a4h_1.solve(this.y4g_1.r4h_1);
+              this.ai_1 = 11;
+              this.zh_1 = 3;
               continue $sm;
             }
 
             break;
           case 1:
-            this.di_1 = 11;
-            var tmp_1 = this.fi_1;
+            this.ai_1 = 11;
+            var tmp_1 = this.ci_1;
             if (tmp_1 instanceof HaltException) {
-              this.h4h_1 = this.fi_1;
-              this.ci_1 = 2;
-              suspendResult = this.c4h_1.z4(stateEndHalt$default(this.b4h_1, this.h4h_1, null, [], 6, null), this);
+              this.e4h_1 = this.ci_1;
+              this.zh_1 = 2;
+              suspendResult = this.z4g_1.z4(stateEndHalt$default(this.y4g_1, this.e4h_1, null, [], 6, null), this);
               if (suspendResult === get_COROUTINE_SUSPENDED()) {
                 return suspendResult;
               }
               continue $sm;
             } else {
-              var tmp_2 = this.fi_1;
+              var tmp_2 = this.ci_1;
               if (tmp_2 instanceof LogicError) {
-                this.i4h_1 = this.fi_1;
-                this.g4h_1 = Companion_getInstance_16().n4c(newThrowSolveRequest(this.b4h_1.u4h_1, Companion_getInstance_18(), this.i4h_1));
-                this.ci_1 = 3;
+                this.f4h_1 = this.ci_1;
+                this.d4h_1 = Companion_getInstance_16().k4c(newThrowSolveRequest(this.y4g_1.r4h_1, Companion_getInstance_18(), this.f4h_1));
+                this.zh_1 = 3;
                 continue $sm;
               } else {
-                throw this.fi_1;
+                throw this.ci_1;
               }
             }
 
             break;
           case 2:
-            this.ci_1 = 3;
+            this.zh_1 = 3;
             continue $sm;
           case 3:
-            this.di_1 = 11;
-            this.j4h_1 = emptyList();
-            this.k4h_1 = this.g4h_1;
-            if (this.k4h_1 == null) {
-              this.l4h_1 = null;
-              this.ci_1 = 7;
+            this.ai_1 = 11;
+            this.g4h_1 = emptyList();
+            this.h4h_1 = this.d4h_1;
+            if (this.h4h_1 == null) {
+              this.i4h_1 = null;
+              this.zh_1 = 7;
               continue $sm;
             } else {
-              this.m4h_1 = this.k4h_1.j();
-              this.ci_1 = 4;
+              this.j4h_1 = this.h4h_1.j();
+              this.zh_1 = 4;
               continue $sm;
             }
 
             break;
           case 4:
-            if (!this.m4h_1.m()) {
-              this.ci_1 = 6;
+            if (!this.j4h_1.m()) {
+              this.zh_1 = 6;
               continue $sm;
             }
 
-            this.n4h_1 = this.m4h_1.p();
-            this.j4h_1 = addWithNoDuplicates(this.j4h_1, this.n4h_1.sideEffects);
-            this.ci_1 = 5;
-            suspendResult = this.c4h_1.z4(this.b4h_1.r4f(this.b4h_1, stateEnd(this.b4h_1, this.n4h_1.o2j(null, null, this.j4h_1, 3, null))), this);
+            this.k4h_1 = this.j4h_1.n();
+            this.g4h_1 = addWithNoDuplicates(this.g4h_1, this.k4h_1.sideEffects);
+            this.zh_1 = 5;
+            suspendResult = this.z4g_1.z4(this.y4g_1.o4f(this.y4g_1, stateEnd(this.y4g_1, this.k4h_1.l2j(null, null, this.g4h_1, 3, null))), this);
             if (suspendResult === get_COROUTINE_SUSPENDED()) {
               return suspendResult;
             }
 
             continue $sm;
           case 5:
-            var tmp_3 = this.n4h_1.solution;
+            var tmp_3 = this.k4h_1.solution;
             if (isInterface(tmp_3, Halt))
               return Unit_getInstance();
-            this.ci_1 = 4;
+            this.zh_1 = 4;
             continue $sm;
           case 6:
-            this.l4h_1 = Unit_getInstance();
-            this.ci_1 = 7;
+            this.i4h_1 = Unit_getInstance();
+            this.zh_1 = 7;
             continue $sm;
           case 7:
             ;
-            this.f4h_1 = this.e4h_1;
-            this.ci_1 = 8;
+            this.c4h_1 = this.b4h_1;
+            this.zh_1 = 8;
             continue $sm;
           case 8:
-            this.o4h_1 = this.f4h_1;
-            if (this.o4h_1 == null) {
-              this.ci_1 = 9;
-              suspendResult = this.c4h_1.z4(new StateRuleSelection(this.b4h_1.u4h_1), this);
+            this.l4h_1 = this.c4h_1;
+            if (this.l4h_1 == null) {
+              this.zh_1 = 9;
+              suspendResult = this.z4g_1.z4(new StateRuleSelection(this.y4g_1.r4h_1), this);
               if (suspendResult === get_COROUTINE_SUSPENDED()) {
                 return suspendResult;
               }
               continue $sm;
             } else {
-              this.p4h_1 = this.o4h_1;
-              this.ci_1 = 10;
+              this.m4h_1 = this.l4h_1;
+              this.zh_1 = 10;
               continue $sm;
             }
 
@@ -1790,34 +1790,34 @@
             break;
           case 9:
             var tmp_4 = this;
-            tmp_4.p4h_1 = Unit_getInstance();
-            this.ci_1 = 10;
+            tmp_4.m4h_1 = Unit_getInstance();
+            this.zh_1 = 10;
             continue $sm;
           case 10:
             ;
             return Unit_getInstance();
           case 11:
-            throw this.fi_1;
+            throw this.ci_1;
         }
       } catch ($p) {
-        if (this.di_1 === 11) {
+        if (this.ai_1 === 11) {
           throw $p;
         } else {
-          this.ci_1 = this.di_1;
-          this.fi_1 = $p;
+          this.zh_1 = this.ai_1;
+          this.ci_1 = $p;
         }
       }
      while (true);
   };
-  StateGoalEvaluation$behaveTimed$slambda.prototype.k4f = function ($this$sequence, completion) {
-    var i = new StateGoalEvaluation$behaveTimed$slambda(this.b4h_1, completion);
-    i.c4h_1 = $this$sequence;
+  StateGoalEvaluation$behaveTimed$slambda.prototype.h4f = function ($this$sequence, completion) {
+    var i = new StateGoalEvaluation$behaveTimed$slambda(this.y4g_1, completion);
+    i.z4g_1 = $this$sequence;
     return i;
   };
   function StateGoalEvaluation$behaveTimed$slambda_0(this$0, resultContinuation) {
     var i = new StateGoalEvaluation$behaveTimed$slambda(this$0, resultContinuation);
     var l = function ($this$sequence, $cont) {
-      return i.j4f($this$sequence, $cont);
+      return i.g4f($this$sequence, $cont);
     };
     l.$arity = 1;
     return l;
@@ -1825,67 +1825,67 @@
   function StateGoalEvaluation(solve) {
     Companion_getInstance_18();
     AbstractTimedState.call(this, solve);
-    this.u4h_1 = solve;
+    this.r4h_1 = solve;
   }
-  StateGoalEvaluation.prototype.k4c = function () {
-    return this.u4h_1;
+  StateGoalEvaluation.prototype.h4c = function () {
+    return this.r4h_1;
   };
-  StateGoalEvaluation.prototype.q4f = function () {
+  StateGoalEvaluation.prototype.n4f = function () {
     return sequence(StateGoalEvaluation$behaveTimed$slambda_0(this, null));
   };
   function StateInit$behaveTimed$slambda(this$0, resultContinuation) {
-    this.d4i_1 = this$0;
+    this.a4i_1 = this$0;
     CoroutineImpl.call(this, resultContinuation);
   }
-  StateInit$behaveTimed$slambda.prototype.j4f = function ($this$sequence, $cont) {
-    var tmp = this.k4f($this$sequence, $cont);
-    tmp.ei_1 = Unit_getInstance();
-    tmp.fi_1 = null;
-    return tmp.ki();
+  StateInit$behaveTimed$slambda.prototype.g4f = function ($this$sequence, $cont) {
+    var tmp = this.h4f($this$sequence, $cont);
+    tmp.bi_1 = Unit_getInstance();
+    tmp.ci_1 = null;
+    return tmp.hi();
   };
-  StateInit$behaveTimed$slambda.prototype.wi = function (p1, $cont) {
-    return this.j4f(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $cont);
+  StateInit$behaveTimed$slambda.prototype.ti = function (p1, $cont) {
+    return this.g4f(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $cont);
   };
-  StateInit$behaveTimed$slambda.prototype.ki = function () {
-    var suspendResult = this.ei_1;
+  StateInit$behaveTimed$slambda.prototype.hi = function () {
+    var suspendResult = this.bi_1;
     $sm: do
       try {
-        var tmp = this.ci_1;
+        var tmp = this.zh_1;
         switch (tmp) {
           case 0:
-            this.di_1 = 6;
+            this.ai_1 = 6;
             var tmp_0 = this;
-            var tmp0_with = this.d4i_1.m4i_1.context;
-            tmp_0.f4i_1 = tmp0_with.c4d_1.m4d(tmp0_with);
-            this.g4i_1 = this.d4i_1.m4i_1.x1v();
-            var tmp1_with = this.d4i_1.m4i_1.context;
-            if (tmp1_with.b4d_1.i4c(this.g4i_1, tmp1_with)) {
-              this.ci_1 = 4;
-              suspendResult = this.e4i_1.z4(this.d4i_1.r4f(this.d4i_1, stateEndTrue$default(this.d4i_1, this.d4i_1.m4i_1.context.y4c_1, this.f4i_1, [], 4, null)), this);
+            var tmp0_with = this.a4i_1.j4i_1.context;
+            tmp_0.c4i_1 = tmp0_with.z4c_1.j4d(tmp0_with);
+            this.d4i_1 = this.a4i_1.j4i_1.u1v();
+            var tmp1_with = this.a4i_1.j4i_1.context;
+            if (tmp1_with.y4c_1.f4c(this.d4i_1, tmp1_with)) {
+              this.zh_1 = 4;
+              suspendResult = this.b4i_1.z4(this.a4i_1.o4f(this.a4i_1, stateEndTrue$default(this.a4i_1, this.a4i_1.j4i_1.context.v4c_1, this.c4i_1, [], 4, null)), this);
               if (suspendResult === get_COROUTINE_SUSPENDED()) {
                 return suspendResult;
               }
               continue $sm;
             } else {
-              if (isWellFormed(this.g4i_1)) {
+              if (isWellFormed(this.d4i_1)) {
                 var tmp_1 = this;
-                tmp_1.h4i_1 = prepareForExecutionAsGoal(this.g4i_1);
-                this.ci_1 = 2;
-                var tmp_2 = extractSignature(this.h4i_1);
-                var tmp_3 = this.h4i_1.gw();
-                var tmp0_with_0 = this.d4i_1.m4i_1.context;
+                tmp_1.e4i_1 = prepareForExecutionAsGoal(this.d4i_1);
+                this.zh_1 = 2;
+                var tmp_2 = extractSignature(this.e4i_1);
+                var tmp_3 = this.e4i_1.dw();
+                var tmp0_with_0 = this.a4i_1.j4i_1.context;
                 var tmp_4 = new Long(0, 0);
                 var tmp_5 = new Long(0, 0);
-                var tmp_6 = tmp0_with_0.y4d(null, null, null, null, null, null, null, null, null, null, tmp_4, tmp_5, null, this.f4i_1, 8191, null);
+                var tmp_6 = tmp0_with_0.v4d(null, null, null, null, null, null, null, null, null, null, tmp_4, tmp_5, null, this.c4i_1, 8191, null);
                 var tmp_7 = new Long(0, 0);
-                suspendResult = this.e4i_1.z4(new StateGoalEvaluation(this.d4i_1.m4i_1.j2j(tmp_2, tmp_3, tmp_6, tmp_7, new Long(0, 0), 24, null)), this);
+                suspendResult = this.b4i_1.z4(new StateGoalEvaluation(this.a4i_1.j4i_1.g2j(tmp_2, tmp_3, tmp_6, tmp_7, new Long(0, 0), 24, null)), this);
                 if (suspendResult === get_COROUTINE_SUSPENDED()) {
                   return suspendResult;
                 }
                 continue $sm;
               } else {
-                this.ci_1 = 1;
-                suspendResult = this.e4i_1.z4(stateEndFalse$default(this.d4i_1, this.f4i_1, [], 2, null), this);
+                this.zh_1 = 1;
+                suspendResult = this.b4i_1.z4(stateEndFalse$default(this.a4i_1, this.c4i_1, [], 2, null), this);
                 if (suspendResult === get_COROUTINE_SUSPENDED()) {
                   return suspendResult;
                 }
@@ -1895,66 +1895,66 @@
 
             break;
           case 1:
-            this.ci_1 = 3;
+            this.zh_1 = 3;
             continue $sm;
           case 2:
             ;
-            this.ci_1 = 3;
+            this.zh_1 = 3;
             continue $sm;
           case 3:
-            this.ci_1 = 5;
+            this.zh_1 = 5;
             continue $sm;
           case 4:
-            this.ci_1 = 5;
+            this.zh_1 = 5;
             continue $sm;
           case 5:
             return Unit_getInstance();
           case 6:
-            throw this.fi_1;
+            throw this.ci_1;
         }
       } catch ($p) {
-        if (this.di_1 === 6) {
+        if (this.ai_1 === 6) {
           throw $p;
         } else {
-          this.ci_1 = this.di_1;
-          this.fi_1 = $p;
+          this.zh_1 = this.ai_1;
+          this.ci_1 = $p;
         }
       }
      while (true);
   };
-  StateInit$behaveTimed$slambda.prototype.k4f = function ($this$sequence, completion) {
-    var i = new StateInit$behaveTimed$slambda(this.d4i_1, completion);
-    i.e4i_1 = $this$sequence;
+  StateInit$behaveTimed$slambda.prototype.h4f = function ($this$sequence, completion) {
+    var i = new StateInit$behaveTimed$slambda(this.a4i_1, completion);
+    i.b4i_1 = $this$sequence;
     return i;
   };
   function StateInit$behaveTimed$slambda_0(this$0, resultContinuation) {
     var i = new StateInit$behaveTimed$slambda(this$0, resultContinuation);
     var l = function ($this$sequence, $cont) {
-      return i.j4f($this$sequence, $cont);
+      return i.g4f($this$sequence, $cont);
     };
     l.$arity = 1;
     return l;
   }
   function StateInit(solve) {
     AbstractTimedState.call(this, solve);
-    this.m4i_1 = solve;
+    this.j4i_1 = solve;
   }
-  StateInit.prototype.k4c = function () {
-    return this.m4i_1;
+  StateInit.prototype.h4c = function () {
+    return this.j4i_1;
   };
-  StateInit.prototype.q4f = function () {
+  StateInit.prototype.n4f = function () {
     return sequence(StateInit$behaveTimed$slambda_0(this, null));
   };
   function retrieveRulesMatching(_this__u8e3s4, $this, currentGoal) {
     var tmp$ret$3;
     // Inline function 'kotlin.let' call
-    var tmp0_let = currentGoal.iw();
+    var tmp0_let = currentGoal.fw();
     // Inline function 'kotlin.contracts.contract' call
     var tmp$ret$2;
     // Inline function 'it.unibo.tuprolog.solve.streams.solver.fsm.impl.Companion.retrieveRulesMatching.<anonymous>' call
     var tmp$ret$1;
     // Inline function 'kotlin.takeIf' call
-    var tmp0_takeIf = _this__u8e3s4.w1u().asTheory(_this__u8e3s4.k1l()).getByHead(tmp0_let);
+    var tmp0_takeIf = _this__u8e3s4.t1u().asTheory(_this__u8e3s4.h1l()).getByHead(tmp0_let);
     // Inline function 'kotlin.contracts.contract' call
     var tmp;
     var tmp$ret$0;
@@ -1969,7 +1969,7 @@
     var tmp0_elvis_lhs = tmp$ret$1;
     var tmp_0;
     if (tmp0_elvis_lhs == null) {
-      var tmp_1 = sequenceOf([_this__u8e3s4.y1u(), _this__u8e3s4.z1u()]);
+      var tmp_1 = sequenceOf([_this__u8e3s4.v1u(), _this__u8e3s4.w1u()]);
       tmp_0 = flatMap(tmp_1, StateRuleSelection$Companion$retrieveRulesMatching$lambda(tmp0_let));
     } else {
       tmp_0 = tmp0_elvis_lhs;
@@ -1987,17 +1987,17 @@
     // Inline function 'it.unibo.tuprolog.solve.streams.solver.fsm.impl.Companion.initializeForSubRuleScope.<anonymous>' call
     var tmp = new Long(0, 0);
     var tmp_0 = new Long(0, 0);
-    tmp$ret$0 = tmp0_with.y4d(null, null, null, null, null, null, null, null, null, null, tmp, tmp_0, null, tmp0_with.c4d_1.o4d(), 8191, null);
+    tmp$ret$0 = tmp0_with.v4d(null, null, null, null, null, null, null, null, null, null, tmp, tmp_0, null, tmp0_with.z4c_1.l4d(), 8191, null);
     tmp$ret$1 = tmp$ret$0;
     var tmp_1 = tmp$ret$1;
     var tmp_2 = new Long(0, 0);
-    return _this__u8e3s4.j2j(null, null, tmp_1, tmp_2, new Long(0, 0), 27, null);
+    return _this__u8e3s4.g2j(null, null, tmp_1, tmp_2, new Long(0, 0), 27, null);
   }
   function removeSubstitutionFor(_this__u8e3s4, $this, unusedVariables) {
     var tmp0_subject = _this__u8e3s4;
     var tmp;
     if (isInterface(tmp0_subject, Yes)) {
-      tmp = _this__u8e3s4.z1v(null, _this__u8e3s4.r1u().i12(asIterable(unusedVariables)), 1, null);
+      tmp = _this__u8e3s4.w1v(null, _this__u8e3s4.o1u().f12(asIterable(unusedVariables)), 1, null);
     } else {
       tmp = _this__u8e3s4;
     }
@@ -2010,13 +2010,13 @@
   }
   function SolverStrategies$clauseChoiceStrategy$ref($boundThis) {
     var l = function (p0, p1) {
-      return $boundThis.h4c(p0, p1);
+      return $boundThis.e4c(p0, p1);
     };
     l.callableName = 'clauseChoiceStrategy';
     return l;
   }
   function StateRuleSelection$behaveTimed$slambda$lambda(it) {
-    var tmp = prepareForExecution(it).iw();
+    var tmp = prepareForExecution(it).fw();
     return isInterface(tmp, Rule) ? tmp : THROW_CCE();
   }
   function Companion_3() {
@@ -2030,139 +2030,139 @@
   }
   function StateMachineExecutor$executeWrapping$ref($boundThis) {
     var l = function (p0) {
-      return $boundThis.l4f(p0);
+      return $boundThis.i4f(p0);
     };
     l.callableName = 'executeWrapping';
     return l;
   }
   function StateRuleSelection$behaveTimed$slambda(this$0, resultContinuation) {
-    this.v4i_1 = this$0;
+    this.s4i_1 = this$0;
     CoroutineImpl.call(this, resultContinuation);
   }
-  StateRuleSelection$behaveTimed$slambda.prototype.j4f = function ($this$sequence, $cont) {
-    var tmp = this.k4f($this$sequence, $cont);
-    tmp.ei_1 = Unit_getInstance();
-    tmp.fi_1 = null;
-    return tmp.ki();
+  StateRuleSelection$behaveTimed$slambda.prototype.g4f = function ($this$sequence, $cont) {
+    var tmp = this.h4f($this$sequence, $cont);
+    tmp.bi_1 = Unit_getInstance();
+    tmp.ci_1 = null;
+    return tmp.hi();
   };
-  StateRuleSelection$behaveTimed$slambda.prototype.wi = function (p1, $cont) {
-    return this.j4f(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $cont);
+  StateRuleSelection$behaveTimed$slambda.prototype.ti = function (p1, $cont) {
+    return this.g4f(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $cont);
   };
-  StateRuleSelection$behaveTimed$slambda.prototype.ki = function () {
-    var suspendResult = this.ei_1;
+  StateRuleSelection$behaveTimed$slambda.prototype.hi = function () {
+    var suspendResult = this.bi_1;
     $sm: do
       try {
-        var tmp = this.ci_1;
+        var tmp = this.zh_1;
         switch (tmp) {
           case 0:
-            this.di_1 = 12;
-            this.x4i_1 = this.v4i_1.t4j_1.x1v();
-            this.y4i_1 = retrieveRulesMatching(this.v4i_1.t4j_1.context, Companion_getInstance_19(), this.x4i_1);
-            this.z4i_1 = moreThanOne(this.y4i_1);
-            if (none(this.y4i_1)) {
-              this.ci_1 = 10;
-              suspendResult = this.w4i_1.z4(stateEndFalse$default(this.v4i_1, null, [], 3, null), this);
+            this.ai_1 = 12;
+            this.u4i_1 = this.s4i_1.q4j_1.u1v();
+            this.v4i_1 = retrieveRulesMatching(this.s4i_1.q4j_1.context, Companion_getInstance_19(), this.u4i_1);
+            this.w4i_1 = moreThanOne(this.v4i_1);
+            if (none(this.v4i_1)) {
+              this.zh_1 = 10;
+              suspendResult = this.t4i_1.z4(stateEndFalse$default(this.s4i_1, null, [], 3, null), this);
               if (suspendResult === get_COROUTINE_SUSPENDED()) {
                 return suspendResult;
               }
               continue $sm;
             } else {
               var tmp_0 = this;
-              var tmp0_with = this.v4i_1.t4j_1.context;
-              var tmp_1 = orderWithStrategy(this.y4i_1, tmp0_with, SolverStrategies$clauseChoiceStrategy$ref(tmp0_with.b4d_1));
-              tmp_0.a4j_1 = map(tmp_1, StateRuleSelection$behaveTimed$slambda$lambda);
+              var tmp0_with = this.s4i_1.q4j_1.context;
+              var tmp_1 = orderWithStrategy(this.v4i_1, tmp0_with, SolverStrategies$clauseChoiceStrategy$ref(tmp0_with.y4c_1));
+              tmp_0.x4i_1 = map(tmp_1, StateRuleSelection$behaveTimed$slambda$lambda);
               var tmp_2 = this;
-              tmp_2.b4j_1 = this.a4j_1.j();
-              this.ci_1 = 1;
+              tmp_2.y4i_1 = this.x4i_1.j();
+              this.zh_1 = 1;
               continue $sm;
             }
 
             break;
           case 1:
-            if (!this.b4j_1.m()) {
-              this.ci_1 = 9;
+            if (!this.y4i_1.m()) {
+              this.zh_1 = 9;
               continue $sm;
             }
 
             var tmp_3 = this;
-            tmp_3.c4j_1 = this.b4j_1.p();
+            tmp_3.z4i_1 = this.y4i_1.n();
             var tmp_4 = this;
-            tmp_4.d4j_1 = this.b4j_1.m();
-            this.e4j_1 = this.v4i_1.j5().p4c_1.mgu(this.x4i_1, this.c4j_1.ly());
+            tmp_4.a4j_1 = this.y4i_1.m();
+            this.b4j_1 = this.s4i_1.j5().m4c_1.mgu(this.u4i_1, this.z4i_1.iy());
             var tmp_5 = this;
-            var tmp_6 = this.c4j_1.my().applySubstitution(this.e4j_1);
-            tmp_5.f4j_1 = isInterface(tmp_6, Struct) ? tmp_6 : THROW_CCE();
+            var tmp_6 = this.z4i_1.jy().applySubstitution(this.b4j_1);
+            tmp_5.c4j_1 = isInterface(tmp_6, Struct) ? tmp_6 : THROW_CCE();
             var tmp_7 = this;
-            var tmp0_$receiver = this.v4i_1.t4j_1;
+            var tmp0_$receiver = this.s4i_1.q4j_1;
             var tmp1_requestIssuingInstant = currentTimeInstant();
-            tmp_7.g4j_1 = newSolveRequest$default(tmp0_$receiver, this.f4j_1, this.e4j_1, null, null, tmp1_requestIssuingInstant, this.z4i_1, 12, null);
+            tmp_7.d4j_1 = newSolveRequest$default(tmp0_$receiver, this.c4j_1, this.b4j_1, null, null, tmp1_requestIssuingInstant, this.w4i_1, 12, null);
             var tmp_8 = this;
-            tmp_8.h4j_1 = new StateInit(initializeForSubRuleScope(this.g4j_1, Companion_getInstance_19()));
-            this.ci_1 = 2;
-            suspendResult = this.w4i_1.z4(asAlreadyExecuted(this.h4j_1), this);
+            tmp_8.e4j_1 = new StateInit(initializeForSubRuleScope(this.d4j_1, Companion_getInstance_19()));
+            this.zh_1 = 2;
+            suspendResult = this.t4i_1.z4(asAlreadyExecuted(this.e4j_1), this);
             if (suspendResult === get_COROUTINE_SUSPENDED()) {
               return suspendResult;
             }
 
             continue $sm;
           case 2:
-            this.i4j_1 = this.h4j_1;
-            this.j4j_1 = false;
+            this.f4j_1 = this.e4j_1;
+            this.g4j_1 = false;
             var tmp_9 = this;
-            tmp_9.k4j_1 = this.v4i_1.u4j_1(this.i4j_1);
-            this.l4j_1 = this.k4j_1.j();
-            this.ci_1 = 3;
+            tmp_9.h4j_1 = this.s4i_1.r4j_1(this.f4j_1);
+            this.i4j_1 = this.h4j_1.j();
+            this.zh_1 = 3;
             continue $sm;
           case 3:
-            if (!this.l4j_1.m()) {
-              this.ci_1 = 8;
+            if (!this.i4j_1.m()) {
+              this.zh_1 = 8;
               continue $sm;
             }
 
-            this.m4j_1 = this.l4j_1.p();
-            this.n4j_1 = this.m4j_1.t4e_1;
+            this.j4j_1 = this.i4j_1.n();
+            this.k4j_1 = this.j4j_1.q4e_1;
             var tmp_10;
-            var tmp_11 = this.n4j_1;
+            var tmp_11 = this.k4j_1;
             if (isInterface(tmp_11, FinalState)) {
-              tmp_10 = this.n4j_1.k4c().solution.x1v().equals(this.g4j_1.x1v());
+              tmp_10 = this.k4j_1.h4c().solution.u1v().equals(this.d4j_1.u1v());
             } else {
               tmp_10 = false;
             }
 
             if (tmp_10) {
-              if (shouldCutExecuteInRuleSelection(this.n4j_1.k4c().sideEffectManager)) {
-                this.j4j_1 = true;
+              if (shouldCutExecuteInRuleSelection(this.k4j_1.h4c().sideEffectManager)) {
+                this.g4j_1 = true;
               }
               var tmp_12;
               var tmp_13;
-              var tmp_14 = this.n4j_1;
+              var tmp_14 = this.k4j_1;
               if (!(tmp_14 instanceof False)) {
                 tmp_13 = true;
               } else {
-                tmp_13 = !this.d4j_1;
+                tmp_13 = !this.a4j_1;
               }
               if (tmp_13) {
                 tmp_12 = true;
               } else {
-                tmp_12 = this.j4j_1;
+                tmp_12 = this.g4j_1;
               }
               if (tmp_12) {
-                this.o4j_1 = extendParentScopeWith(this.n4j_1.k4c().sideEffectManager, this.v4i_1.t4j_1.context.c4d_1);
-                this.ci_1 = 5;
-                var tmp_15 = this.n4j_1.k4c();
-                var tmp_16 = removeSubstitutionFor(this.n4j_1.k4c().solution, Companion_getInstance_19(), this.c4j_1.hw());
-                suspendResult = this.w4i_1.z4(stateEnd(this.v4i_1, tmp_15.o2j(tmp_16, this.o4j_1, null, 4, null)), this);
+                this.l4j_1 = extendParentScopeWith(this.k4j_1.h4c().sideEffectManager, this.s4i_1.q4j_1.context.z4c_1);
+                this.zh_1 = 5;
+                var tmp_15 = this.k4j_1.h4c();
+                var tmp_16 = removeSubstitutionFor(this.k4j_1.h4c().solution, Companion_getInstance_19(), this.z4i_1.ew());
+                suspendResult = this.t4i_1.z4(stateEnd(this.s4i_1, tmp_15.l2j(tmp_16, this.l4j_1, null, 4, null)), this);
                 if (suspendResult === get_COROUTINE_SUSPENDED()) {
                   return suspendResult;
                 }
                 continue $sm;
               } else {
-                this.ci_1 = 6;
+                this.zh_1 = 6;
                 continue $sm;
               }
             } else {
-              this.ci_1 = 4;
-              suspendResult = this.w4i_1.z4(this.m4j_1, this);
+              this.zh_1 = 4;
+              suspendResult = this.t4i_1.z4(this.j4j_1, this);
               if (suspendResult === get_COROUTINE_SUSPENDED()) {
                 return suspendResult;
               }
@@ -2171,55 +2171,55 @@
 
             break;
           case 4:
-            this.ci_1 = 7;
+            this.zh_1 = 7;
             continue $sm;
           case 5:
-            this.ci_1 = 6;
+            this.zh_1 = 6;
             continue $sm;
           case 6:
-            var tmp_17 = this.n4j_1;
+            var tmp_17 = this.k4j_1;
             if (tmp_17 instanceof Halt_0)
               return Unit_getInstance();
-            this.ci_1 = 7;
+            this.zh_1 = 7;
             continue $sm;
           case 7:
-            this.ci_1 = 3;
+            this.zh_1 = 3;
             continue $sm;
           case 8:
-            if (this.j4j_1)
+            if (this.g4j_1)
               return Unit_getInstance();
-            this.ci_1 = 1;
+            this.zh_1 = 1;
             continue $sm;
           case 9:
-            this.ci_1 = 11;
+            this.zh_1 = 11;
             continue $sm;
           case 10:
-            this.ci_1 = 11;
+            this.zh_1 = 11;
             continue $sm;
           case 11:
             return Unit_getInstance();
           case 12:
-            throw this.fi_1;
+            throw this.ci_1;
         }
       } catch ($p) {
-        if (this.di_1 === 12) {
+        if (this.ai_1 === 12) {
           throw $p;
         } else {
-          this.ci_1 = this.di_1;
-          this.fi_1 = $p;
+          this.zh_1 = this.ai_1;
+          this.ci_1 = $p;
         }
       }
      while (true);
   };
-  StateRuleSelection$behaveTimed$slambda.prototype.k4f = function ($this$sequence, completion) {
-    var i = new StateRuleSelection$behaveTimed$slambda(this.v4i_1, completion);
-    i.w4i_1 = $this$sequence;
+  StateRuleSelection$behaveTimed$slambda.prototype.h4f = function ($this$sequence, completion) {
+    var i = new StateRuleSelection$behaveTimed$slambda(this.s4i_1, completion);
+    i.t4i_1 = $this$sequence;
     return i;
   };
   function StateRuleSelection$behaveTimed$slambda_0(this$0, resultContinuation) {
     var i = new StateRuleSelection$behaveTimed$slambda(this$0, resultContinuation);
     var l = function ($this$sequence, $cont) {
-      return i.j4f($this$sequence, $cont);
+      return i.g4f($this$sequence, $cont);
     };
     l.$arity = 1;
     return l;
@@ -2227,21 +2227,21 @@
   function StateRuleSelection(solve) {
     Companion_getInstance_19();
     AbstractTimedState.call(this, solve);
-    this.t4j_1 = solve;
+    this.q4j_1 = solve;
     var tmp = this;
-    tmp.u4j_1 = StateMachineExecutor$executeWrapping$ref(StateMachineExecutor_getInstance());
+    tmp.r4j_1 = StateMachineExecutor$executeWrapping$ref(StateMachineExecutor_getInstance());
   }
-  StateRuleSelection.prototype.k4c = function () {
-    return this.t4j_1;
+  StateRuleSelection.prototype.h4c = function () {
+    return this.q4j_1;
   };
-  StateRuleSelection.prototype.q4f = function () {
+  StateRuleSelection.prototype.n4f = function () {
     return sequence(StateRuleSelection$behaveTimed$slambda_0(this, null));
   };
   function DefaultBuiltins() {
     DefaultBuiltins_instance = this;
     ExtensionLibrary.call(this, CommonBuiltins_getInstance());
   }
-  DefaultBuiltins.prototype.b2f = function () {
+  DefaultBuiltins.prototype.y2e = function () {
     return listOf_0([Call_getInstance(), Catch_getInstance(), Conjunction_getInstance(), Cut_getInstance(), Throw_getInstance(), Not_getInstance()]);
   };
   var DefaultBuiltins_instance;
@@ -2252,18 +2252,18 @@
   }
   function Call$uncheckedImplementation$lambda($request) {
     return function (it) {
-      var tmp = resetCutWorkChanges(it.sideEffectManager, $request.context.c4d_1);
-      return replyWith($request, it.o2j(null, tmp, null, 5, null));
+      var tmp = resetCutWorkChanges(it.sideEffectManager, $request.context.z4c_1);
+      return replyWith($request, it.l2j(null, tmp, null, 5, null));
     };
   }
   function Call() {
     Call_instance = this;
     PrimitiveWrapper_init_$Init$('call', 1, false, 4, null, this);
   }
-  Call.prototype.c4k = function (request) {
+  Call.prototype.z4j = function (request) {
     var tmp$ret$1;
     // Inline function 'kotlin.let' call
-    var tmp0_let = single(Companion_getInstance_11().b2g(request).arguments);
+    var tmp0_let = single(Companion_getInstance_11().y2f(request).arguments);
     // Inline function 'kotlin.contracts.contract' call
     var tmp$ret$0;
     // Inline function 'it.unibo.tuprolog.solve.streams.stdlib.primitive.Call.uncheckedImplementation.<anonymous>' call
@@ -2272,7 +2272,7 @@
       var tmp_0 = Companion_getInstance_16();
       var tmp_1 = prepareForExecutionAsGoal(tmp0_let);
       var tmp_2 = new Long(0, 0);
-      var tmp_3 = tmp_0.n4c(newSolveRequest$default(request, tmp_1, null, null, null, tmp_2, false, 62, null));
+      var tmp_3 = tmp_0.k4c(newSolveRequest$default(request, tmp_1, null, null, null, tmp_2, false, 62, null));
       tmp = map(tmp_3, Call$uncheckedImplementation$lambda(request));
     } else {
       var tmp_4 = Expected_CALLABLE_getInstance();
@@ -2282,8 +2282,8 @@
     tmp$ret$1 = tmp$ret$0;
     return tmp$ret$1;
   };
-  Call.prototype.q2g = function (request) {
-    return this.c4k(request);
+  Call.prototype.n2g = function (request) {
+    return this.z4j(request);
   };
   var Call_instance;
   function Call_getInstance() {
@@ -2307,64 +2307,64 @@
   function ensureNoMoreSelectableCatch(_this__u8e3s4, $this, notSelectableContext) {
     var tmp = new Long(0, 0);
     var tmp_0 = new Long(0, 0);
-    var tmp_1 = _this__u8e3s4.context.y4d(null, null, null, null, null, null, null, null, null, null, tmp, tmp_0, null, _this__u8e3s4.context.c4d_1.v4d(notSelectableContext), 8191, null);
+    var tmp_1 = _this__u8e3s4.context.v4d(null, null, null, null, null, null, null, null, null, null, tmp, tmp_0, null, _this__u8e3s4.context.z4c_1.s4d(notSelectableContext), 8191, null);
     var tmp_2 = new Long(0, 0);
-    return _this__u8e3s4.j2j(null, null, tmp_1, tmp_2, new Long(0, 0), 27, null);
+    return _this__u8e3s4.g2j(null, null, tmp_1, tmp_2, new Long(0, 0), 27, null);
   }
   function Catch$uncheckedImplementation$slambda($request, resultContinuation) {
-    this.l4k_1 = $request;
+    this.i4k_1 = $request;
     CoroutineImpl.call(this, resultContinuation);
   }
-  Catch$uncheckedImplementation$slambda.prototype.e2t = function ($this$sequence, $cont) {
-    var tmp = this.f2t($this$sequence, $cont);
-    tmp.ei_1 = Unit_getInstance();
-    tmp.fi_1 = null;
-    return tmp.ki();
+  Catch$uncheckedImplementation$slambda.prototype.b2t = function ($this$sequence, $cont) {
+    var tmp = this.c2t($this$sequence, $cont);
+    tmp.bi_1 = Unit_getInstance();
+    tmp.ci_1 = null;
+    return tmp.hi();
   };
-  Catch$uncheckedImplementation$slambda.prototype.wi = function (p1, $cont) {
-    return this.e2t(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $cont);
+  Catch$uncheckedImplementation$slambda.prototype.ti = function (p1, $cont) {
+    return this.b2t(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $cont);
   };
-  Catch$uncheckedImplementation$slambda.prototype.ki = function () {
-    var suspendResult = this.ei_1;
+  Catch$uncheckedImplementation$slambda.prototype.hi = function () {
+    var suspendResult = this.bi_1;
     $sm: do
       try {
-        var tmp = this.ci_1;
+        var tmp = this.zh_1;
         switch (tmp) {
           case 0:
-            this.di_1 = 6;
-            this.n4k_1 = first_0(this.l4k_1.arguments);
+            this.ai_1 = 6;
+            this.k4k_1 = first_0(this.i4k_1.arguments);
             var tmp_0 = this;
             var tmp_1 = Companion_getInstance_16();
-            var tmp_2 = call(Catch_getInstance(), this.n4k_1);
+            var tmp_2 = call(Catch_getInstance(), this.k4k_1);
             var tmp_3 = new Long(0, 0);
-            tmp_0.o4k_1 = tmp_1.n4c(newSolveRequest$default(this.l4k_1, tmp_2, null, null, null, tmp_3, false, 62, null));
-            this.p4k_1 = this.o4k_1.j();
-            this.ci_1 = 1;
+            tmp_0.l4k_1 = tmp_1.k4c(newSolveRequest$default(this.i4k_1, tmp_2, null, null, null, tmp_3, false, 62, null));
+            this.m4k_1 = this.l4k_1.j();
+            this.zh_1 = 1;
             continue $sm;
           case 1:
-            if (!this.p4k_1.m()) {
-              this.ci_1 = 5;
+            if (!this.m4k_1.m()) {
+              this.zh_1 = 5;
               continue $sm;
             }
 
-            this.q4k_1 = this.p4k_1.p();
-            if (isSelectedThrowCatch(this.q4k_1.sideEffectManager, this.l4k_1.context)) {
-              this.r4k_1 = last(this.l4k_1.arguments).applySubstitution(this.q4k_1.solution.r1u());
+            this.n4k_1 = this.m4k_1.n();
+            if (isSelectedThrowCatch(this.n4k_1.sideEffectManager, this.i4k_1.context)) {
+              this.o4k_1 = last(this.i4k_1.arguments).applySubstitution(this.n4k_1.solution.o1u());
               var tmp_4 = this;
-              var tmp_5 = call(Catch_getInstance(), this.r4k_1);
-              var tmp_6 = this.q4k_1.solution.r1u().minus(this.l4k_1.context.y4c_1);
+              var tmp_5 = call(Catch_getInstance(), this.o4k_1);
+              var tmp_6 = this.n4k_1.solution.o1u().minus(this.i4k_1.context.v4c_1);
               var tmp_7 = currentTimeInstant();
-              tmp_4.s4k_1 = ensureNoMoreSelectableCatch(newSolveRequest$default(this.l4k_1, tmp_5, tmp_6, null, null, tmp_7, false, 44, null), Catch_getInstance(), this.l4k_1.context);
-              this.ci_1 = 3;
-              var tmp_8 = Companion_getInstance_16().n4c(this.s4k_1);
-              suspendResult = this.m4k_1.c5(map(tmp_8, Catch$uncheckedImplementation$slambda$lambda(this.l4k_1)), this);
+              tmp_4.p4k_1 = ensureNoMoreSelectableCatch(newSolveRequest$default(this.i4k_1, tmp_5, tmp_6, null, null, tmp_7, false, 44, null), Catch_getInstance(), this.i4k_1.context);
+              this.zh_1 = 3;
+              var tmp_8 = Companion_getInstance_16().k4c(this.p4k_1);
+              suspendResult = this.j4k_1.c5(map(tmp_8, Catch$uncheckedImplementation$slambda$lambda(this.i4k_1)), this);
               if (suspendResult === get_COROUTINE_SUSPENDED()) {
                 return suspendResult;
               }
               continue $sm;
             } else {
-              this.ci_1 = 2;
-              suspendResult = this.m4k_1.z4(replyWith(this.l4k_1, this.q4k_1), this);
+              this.zh_1 = 2;
+              suspendResult = this.j4k_1.z4(replyWith(this.i4k_1, this.n4k_1), this);
               if (suspendResult === get_COROUTINE_SUSPENDED()) {
                 return suspendResult;
               }
@@ -2373,38 +2373,38 @@
 
             break;
           case 2:
-            this.ci_1 = 4;
+            this.zh_1 = 4;
             continue $sm;
           case 3:
-            this.ci_1 = 4;
+            this.zh_1 = 4;
             continue $sm;
           case 4:
-            this.ci_1 = 1;
+            this.zh_1 = 1;
             continue $sm;
           case 5:
             return Unit_getInstance();
           case 6:
-            throw this.fi_1;
+            throw this.ci_1;
         }
       } catch ($p) {
-        if (this.di_1 === 6) {
+        if (this.ai_1 === 6) {
           throw $p;
         } else {
-          this.ci_1 = this.di_1;
-          this.fi_1 = $p;
+          this.zh_1 = this.ai_1;
+          this.ci_1 = $p;
         }
       }
      while (true);
   };
-  Catch$uncheckedImplementation$slambda.prototype.f2t = function ($this$sequence, completion) {
-    var i = new Catch$uncheckedImplementation$slambda(this.l4k_1, completion);
-    i.m4k_1 = $this$sequence;
+  Catch$uncheckedImplementation$slambda.prototype.c2t = function ($this$sequence, completion) {
+    var i = new Catch$uncheckedImplementation$slambda(this.i4k_1, completion);
+    i.j4k_1 = $this$sequence;
     return i;
   };
   function Catch$uncheckedImplementation$slambda_0($request, resultContinuation) {
     var i = new Catch$uncheckedImplementation$slambda($request, resultContinuation);
     var l = function ($this$sequence, $cont) {
-      return i.e2t($this$sequence, $cont);
+      return i.b2t($this$sequence, $cont);
     };
     l.$arity = 1;
     return l;
@@ -2413,11 +2413,11 @@
     Catch_instance = this;
     PrimitiveWrapper_init_$Init$('catch', 3, false, 4, null, this);
   }
-  Catch.prototype.c4k = function (request) {
+  Catch.prototype.z4j = function (request) {
     return sequence(Catch$uncheckedImplementation$slambda_0(request, null));
   };
-  Catch.prototype.q2g = function (request) {
-    return this.c4k(request);
+  Catch.prototype.n2g = function (request) {
+    return this.z4j(request);
   };
   var Catch_instance;
   function Catch_getInstance() {
@@ -2427,43 +2427,43 @@
   }
   function SolverStrategies$predicationChoiceStrategy$ref($boundThis) {
     var l = function (p0, p1) {
-      return $boundThis.g4c(p0, p1);
+      return $boundThis.d4c(p0, p1);
     };
     l.callableName = 'predicationChoiceStrategy';
     return l;
   }
   function solveConjunctionGoals(_this__u8e3s4, $this, mainRequest, goals, toPropagateContext, accumulatedSubstitutions, accumulatedSideEffects, previousResponseSideEffectManager, previousGoalsHadAlternatives, $cont) {
     var tmp = new $solveConjunctionGoalsCOROUTINE$0($this, _this__u8e3s4, mainRequest, goals, toPropagateContext, accumulatedSubstitutions, accumulatedSideEffects, previousResponseSideEffectManager, previousGoalsHadAlternatives, $cont);
-    tmp.ei_1 = Unit_getInstance();
-    tmp.fi_1 = null;
-    return tmp.ki();
+    tmp.bi_1 = Unit_getInstance();
+    tmp.ci_1 = null;
+    return tmp.hi();
   }
   function Conjunction$uncheckedImplementation$slambda($request, resultContinuation) {
-    this.c4m_1 = $request;
+    this.z4l_1 = $request;
     CoroutineImpl.call(this, resultContinuation);
   }
-  Conjunction$uncheckedImplementation$slambda.prototype.e2t = function ($this$sequence, $cont) {
-    var tmp = this.f2t($this$sequence, $cont);
-    tmp.ei_1 = Unit_getInstance();
-    tmp.fi_1 = null;
-    return tmp.ki();
+  Conjunction$uncheckedImplementation$slambda.prototype.b2t = function ($this$sequence, $cont) {
+    var tmp = this.c2t($this$sequence, $cont);
+    tmp.bi_1 = Unit_getInstance();
+    tmp.ci_1 = null;
+    return tmp.hi();
   };
-  Conjunction$uncheckedImplementation$slambda.prototype.wi = function (p1, $cont) {
-    return this.e2t(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $cont);
+  Conjunction$uncheckedImplementation$slambda.prototype.ti = function (p1, $cont) {
+    return this.b2t(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $cont);
   };
-  Conjunction$uncheckedImplementation$slambda.prototype.ki = function () {
-    var suspendResult = this.ei_1;
+  Conjunction$uncheckedImplementation$slambda.prototype.hi = function () {
+    var suspendResult = this.bi_1;
     $sm: do
       try {
-        var tmp = this.ci_1;
+        var tmp = this.zh_1;
         switch (tmp) {
           case 0:
-            this.di_1 = 2;
+            this.ai_1 = 2;
             var tmp_0 = this;
-            var tmp_1 = this.c4m_1.x1v().castToTuple().ju();
-            tmp_0.e4m_1 = toList(orderWithStrategy(tmp_1, this.c4m_1.context, SolverStrategies$predicationChoiceStrategy$ref(this.c4m_1.context.b4d_1)));
-            this.ci_1 = 1;
-            suspendResult = solveConjunctionGoals(this.d4m_1, Conjunction_getInstance(), this.c4m_1, this.e4m_1, this.c4m_1.context, Companion_getInstance_3().empty(), emptyList(), this.c4m_1.context.c4d_1, false, this);
+            var tmp_1 = this.z4l_1.u1v().castToTuple().gu();
+            tmp_0.b4m_1 = toList(orderWithStrategy(tmp_1, this.z4l_1.context, SolverStrategies$predicationChoiceStrategy$ref(this.z4l_1.context.y4c_1)));
+            this.zh_1 = 1;
+            suspendResult = solveConjunctionGoals(this.a4m_1, Conjunction_getInstance(), this.z4l_1, this.b4m_1, this.z4l_1.context, Companion_getInstance_3().empty(), emptyList(), this.z4l_1.context.z4c_1, false, this);
             if (suspendResult === get_COROUTINE_SUSPENDED()) {
               return suspendResult;
             }
@@ -2473,115 +2473,115 @@
             ;
             return Unit_getInstance();
           case 2:
-            throw this.fi_1;
+            throw this.ci_1;
         }
       } catch ($p) {
-        if (this.di_1 === 2) {
+        if (this.ai_1 === 2) {
           throw $p;
         } else {
-          this.ci_1 = this.di_1;
-          this.fi_1 = $p;
+          this.zh_1 = this.ai_1;
+          this.ci_1 = $p;
         }
       }
      while (true);
   };
-  Conjunction$uncheckedImplementation$slambda.prototype.f2t = function ($this$sequence, completion) {
-    var i = new Conjunction$uncheckedImplementation$slambda(this.c4m_1, completion);
-    i.d4m_1 = $this$sequence;
+  Conjunction$uncheckedImplementation$slambda.prototype.c2t = function ($this$sequence, completion) {
+    var i = new Conjunction$uncheckedImplementation$slambda(this.z4l_1, completion);
+    i.a4m_1 = $this$sequence;
     return i;
   };
   function Conjunction$uncheckedImplementation$slambda_0($request, resultContinuation) {
     var i = new Conjunction$uncheckedImplementation$slambda($request, resultContinuation);
     var l = function ($this$sequence, $cont) {
-      return i.e2t($this$sequence, $cont);
+      return i.b2t($this$sequence, $cont);
     };
     l.$arity = 1;
     return l;
   }
   function $solveConjunctionGoalsCOROUTINE$0(_this__u8e3s4, _this__u8e3s4_0, mainRequest, goals, toPropagateContext, accumulatedSubstitutions, accumulatedSideEffects, previousResponseSideEffectManager, previousGoalsHadAlternatives, resultContinuation) {
     CoroutineImpl.call(this, resultContinuation);
-    this.c4l_1 = _this__u8e3s4;
-    this.d4l_1 = _this__u8e3s4_0;
-    this.e4l_1 = mainRequest;
-    this.f4l_1 = goals;
-    this.g4l_1 = toPropagateContext;
-    this.h4l_1 = accumulatedSubstitutions;
-    this.i4l_1 = accumulatedSideEffects;
-    this.j4l_1 = previousResponseSideEffectManager;
-    this.k4l_1 = previousGoalsHadAlternatives;
-  }
-  $solveConjunctionGoalsCOROUTINE$0.prototype.ki = function () {
-    var suspendResult = this.ei_1;
+    this.z4k_1 = _this__u8e3s4;
+    this.a4l_1 = _this__u8e3s4_0;
+    this.b4l_1 = mainRequest;
+    this.c4l_1 = goals;
+    this.d4l_1 = toPropagateContext;
+    this.e4l_1 = accumulatedSubstitutions;
+    this.f4l_1 = accumulatedSideEffects;
+    this.g4l_1 = previousResponseSideEffectManager;
+    this.h4l_1 = previousGoalsHadAlternatives;
+  }
+  $solveConjunctionGoalsCOROUTINE$0.prototype.hi = function () {
+    var suspendResult = this.bi_1;
     $sm: do
       try {
-        var tmp = this.ci_1;
+        var tmp = this.zh_1;
         switch (tmp) {
           case 0:
-            this.di_1 = 7;
-            this.l4l_1 = prepareForExecutionAsGoal(first_1(this.f4l_1).applySubstitution(this.h4l_1));
+            this.ai_1 = 7;
+            this.i4l_1 = prepareForExecutionAsGoal(first_1(this.c4l_1).applySubstitution(this.e4l_1));
             var tmp_0 = this;
-            var tmp0_elvis_lhs = this.j4l_1;
-            var tmp_1 = tmp0_elvis_lhs == null ? this.e4l_1.context.c4d_1 : tmp0_elvis_lhs;
+            var tmp0_elvis_lhs = this.g4l_1;
+            var tmp_1 = tmp0_elvis_lhs == null ? this.b4l_1.context.z4c_1 : tmp0_elvis_lhs;
             var tmp_2 = new Long(0, 0);
-            tmp_0.m4l_1 = newSolveRequest$default(this.e4l_1, this.l4l_1, this.h4l_1, this.g4l_1, tmp_1, tmp_2, false, 48, null);
-            this.n4l_1 = false;
-            this.o4l_1 = emptyList();
+            tmp_0.j4l_1 = newSolveRequest$default(this.b4l_1, this.i4l_1, this.e4l_1, this.d4l_1, tmp_1, tmp_2, false, 48, null);
+            this.k4l_1 = false;
+            this.l4l_1 = emptyList();
             var tmp_3 = this;
-            tmp_3.p4l_1 = Companion_getInstance_16().l4c(this.m4l_1);
+            tmp_3.m4l_1 = Companion_getInstance_16().i4c(this.j4l_1);
             var tmp_4 = this;
-            tmp_4.q4l_1 = this.p4l_1.j();
-            this.ci_1 = 1;
+            tmp_4.n4l_1 = this.m4l_1.j();
+            this.zh_1 = 1;
             continue $sm;
           case 1:
-            if (!this.q4l_1.m()) {
-              this.ci_1 = 6;
+            if (!this.n4l_1.m()) {
+              this.zh_1 = 6;
               continue $sm;
             }
 
             var tmp_5 = this;
-            tmp_5.r4l_1 = this.q4l_1.p();
+            tmp_5.o4l_1 = this.n4l_1.n();
             var tmp_6 = this;
-            tmp_6.s4l_1 = this.q4l_1.m();
-            this.t4l_1 = this.r4l_1.k4c();
+            tmp_6.p4l_1 = this.n4l_1.m();
+            this.q4l_1 = this.o4l_1.h4c();
             var tmp_7;
             var tmp0__get_functor__thl4dk = Cut_getInstance();
-            if (tmp0__get_functor__thl4dk.signature.name === this.l4l_1.fw()) {
+            if (tmp0__get_functor__thl4dk.signature.name === this.i4l_1.cw()) {
               tmp_7 = true;
             } else {
-              var tmp0_safe_receiver = this.t4l_1.sideEffectManager;
+              var tmp0_safe_receiver = this.q4l_1.sideEffectManager;
               tmp_7 = (tmp0_safe_receiver == null ? null : shouldExecuteThrowCut(tmp0_safe_receiver)) === true;
             }
 
             if (tmp_7) {
-              this.n4l_1 = true;
+              this.k4l_1 = true;
             }
 
-            this.o4l_1 = addWithNoDuplicates(this.o4l_1, this.t4l_1.sideEffects);
+            this.l4l_1 = addWithNoDuplicates(this.l4l_1, this.q4l_1.sideEffects);
             var tmp_8;
             var tmp_9;
-            var tmp1_safe_receiver = this.t4l_1.sideEffectManager;
+            var tmp1_safe_receiver = this.q4l_1.sideEffectManager;
             if ((tmp1_safe_receiver == null ? null : shouldExecuteThrowCut(tmp1_safe_receiver)) === false) {
-              var tmp_10 = this.t4l_1.solution;
+              var tmp_10 = this.q4l_1.solution;
               tmp_9 = isInterface(tmp_10, Yes);
             } else {
               tmp_9 = false;
             }
 
             if (tmp_9) {
-              tmp_8 = moreThanOne(asSequence(this.f4l_1));
+              tmp_8 = moreThanOne(asSequence(this.c4l_1));
             } else {
               tmp_8 = false;
             }
 
             if (tmp_8) {
-              this.ci_1 = 4;
+              this.zh_1 = 4;
               var tmp_11 = Conjunction_getInstance();
-              var tmp_12 = drop(this.f4l_1, 1);
-              var tmp_13 = this.r4l_1.j5().c37(this.o4l_1);
-              var tmp_14 = this.t4l_1.solution.r1u().minus(this.e4l_1.context.y4c_1);
-              var tmp_15 = this.o4l_1;
-              var tmp_16 = this.t4l_1.sideEffectManager;
-              suspendResult = solveConjunctionGoals(this.d4l_1, tmp_11, this.e4l_1, tmp_12, tmp_13, tmp_14, tmp_15, tmp_16 instanceof SideEffectManagerImpl ? tmp_16 : null, this.k4l_1 ? true : this.s4l_1, this);
+              var tmp_12 = drop(this.c4l_1, 1);
+              var tmp_13 = this.o4l_1.j5().z36(this.l4l_1);
+              var tmp_14 = this.q4l_1.solution.o1u().minus(this.b4l_1.context.v4c_1);
+              var tmp_15 = this.l4l_1;
+              var tmp_16 = this.q4l_1.sideEffectManager;
+              suspendResult = solveConjunctionGoals(this.a4l_1, tmp_11, this.b4l_1, tmp_12, tmp_13, tmp_14, tmp_15, tmp_16 instanceof SideEffectManagerImpl ? tmp_16 : null, this.h4l_1 ? true : this.p4l_1, this);
               if (suspendResult === get_COROUTINE_SUSPENDED()) {
                 return suspendResult;
               }
@@ -2589,72 +2589,72 @@
             } else {
               var tmp_17;
               var tmp_18;
-              var tmp_19 = this.t4l_1.solution;
+              var tmp_19 = this.q4l_1.solution;
               if (!isInterface(tmp_19, No)) {
                 tmp_18 = true;
               } else {
-                tmp_18 = !this.k4l_1 ? !this.s4l_1 : false;
+                tmp_18 = !this.h4l_1 ? !this.p4l_1 : false;
               }
               if (tmp_18) {
                 tmp_17 = true;
               } else {
-                tmp_17 = this.n4l_1;
+                tmp_17 = this.k4l_1;
               }
               if (tmp_17) {
-                this.ci_1 = 2;
-                suspendResult = this.d4l_1.z4(replyWith(this.e4l_1, this.t4l_1.o2j(null, null, plus_1(this.i4l_1, this.o4l_1), 3, null)), this);
+                this.zh_1 = 2;
+                suspendResult = this.a4l_1.z4(replyWith(this.b4l_1, this.q4l_1.l2j(null, null, plus_1(this.f4l_1, this.l4l_1), 3, null)), this);
                 if (suspendResult === get_COROUTINE_SUSPENDED()) {
                   return suspendResult;
                 }
                 continue $sm;
               } else {
-                this.ci_1 = 3;
+                this.zh_1 = 3;
                 continue $sm;
               }
             }
 
             break;
           case 2:
-            this.ci_1 = 3;
+            this.zh_1 = 3;
             continue $sm;
           case 3:
-            this.ci_1 = 5;
+            this.zh_1 = 5;
             continue $sm;
           case 4:
             var sideEffectPair = suspendResult;
             if (sideEffectPair.g4_1) {
-              this.n4l_1 = true;
+              this.k4l_1 = true;
             }
 
-            this.o4l_1 = sideEffectPair.h4_1;
-            this.ci_1 = 5;
+            this.l4l_1 = sideEffectPair.h4_1;
+            this.zh_1 = 5;
             continue $sm;
           case 5:
             var tmp_20;
-            if (this.n4l_1) {
+            if (this.k4l_1) {
               tmp_20 = true;
             } else {
-              var tmp_21 = this.t4l_1.solution;
+              var tmp_21 = this.q4l_1.solution;
               tmp_20 = isInterface(tmp_21, Halt);
             }
 
             if (tmp_20) {
-              return new Pair(true, plus_1(this.i4l_1, this.o4l_1));
+              return new Pair(true, plus_1(this.f4l_1, this.l4l_1));
             }
 
-            this.ci_1 = 1;
+            this.zh_1 = 1;
             continue $sm;
           case 6:
-            return new Pair(this.n4l_1, plus_1(this.i4l_1, this.o4l_1));
+            return new Pair(this.k4l_1, plus_1(this.f4l_1, this.l4l_1));
           case 7:
-            throw this.fi_1;
+            throw this.ci_1;
         }
       } catch ($p) {
-        if (this.di_1 === 7) {
+        if (this.ai_1 === 7) {
           throw $p;
         } else {
-          this.ci_1 = this.di_1;
-          this.fi_1 = $p;
+          this.zh_1 = this.ai_1;
+          this.ci_1 = $p;
         }
       }
      while (true);
@@ -2664,11 +2664,11 @@
     Companion_getInstance_12();
     PrimitiveWrapper_init_$Init$(',', 2, false, 4, null, this);
   }
-  Conjunction.prototype.c4k = function (request) {
+  Conjunction.prototype.z4j = function (request) {
     return sequence(Conjunction$uncheckedImplementation$slambda_0(request, null));
   };
-  Conjunction.prototype.q2g = function (request) {
-    return this.c4k(request);
+  Conjunction.prototype.n2g = function (request) {
+    return this.z4j(request);
   };
   var Conjunction_instance;
   function Conjunction_getInstance() {
@@ -2680,18 +2680,18 @@
     Cut_instance = this;
     PrimitiveWrapper_init_$Init$('!', 0, false, 4, null, this);
   }
-  Cut.prototype.c4k = function (request) {
+  Cut.prototype.z4j = function (request) {
     var tmp$ret$1;
     // Inline function 'kotlin.with' call
     // Inline function 'kotlin.contracts.contract' call
     var tmp$ret$0;
     // Inline function 'it.unibo.tuprolog.solve.streams.stdlib.primitive.Cut.uncheckedImplementation.<anonymous>' call
-    tmp$ret$0 = sequenceOf([request.p2g(request.context.y4c_1, request.context.c4d_1.k4d(), [], 4, null)]);
+    tmp$ret$0 = sequenceOf([request.m2g(request.context.v4c_1, request.context.z4c_1.h4d(), [], 4, null)]);
     tmp$ret$1 = tmp$ret$0;
     return tmp$ret$1;
   };
-  Cut.prototype.q2g = function (request) {
-    return this.c4k(request);
+  Cut.prototype.n2g = function (request) {
+    return this.z4j(request);
   };
   var Cut_instance;
   function Cut_getInstance() {
@@ -2700,65 +2700,65 @@
     return Cut_instance;
   }
   function Not$uncheckedImplementation$slambda($request, resultContinuation) {
-    this.p4m_1 = $request;
+    this.m4m_1 = $request;
     CoroutineImpl.call(this, resultContinuation);
   }
-  Not$uncheckedImplementation$slambda.prototype.e2t = function ($this$sequence, $cont) {
-    var tmp = this.f2t($this$sequence, $cont);
-    tmp.ei_1 = Unit_getInstance();
-    tmp.fi_1 = null;
-    return tmp.ki();
+  Not$uncheckedImplementation$slambda.prototype.b2t = function ($this$sequence, $cont) {
+    var tmp = this.c2t($this$sequence, $cont);
+    tmp.bi_1 = Unit_getInstance();
+    tmp.ci_1 = null;
+    return tmp.hi();
   };
-  Not$uncheckedImplementation$slambda.prototype.wi = function (p1, $cont) {
-    return this.e2t(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $cont);
+  Not$uncheckedImplementation$slambda.prototype.ti = function (p1, $cont) {
+    return this.b2t(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $cont);
   };
-  Not$uncheckedImplementation$slambda.prototype.ki = function () {
-    var suspendResult = this.ei_1;
+  Not$uncheckedImplementation$slambda.prototype.hi = function () {
+    var suspendResult = this.bi_1;
     $sm: do
       try {
-        var tmp = this.ci_1;
+        var tmp = this.zh_1;
         switch (tmp) {
           case 0:
-            this.di_1 = 7;
-            this.r4m_1 = single(this.p4m_1.arguments);
+            this.ai_1 = 7;
+            this.o4m_1 = single(this.m4m_1.arguments);
             var tmp_0 = this;
             var tmp_1 = Companion_getInstance_16();
             var tmp_2 = Companion_getInstance_10();
             var tmp0__get_functor__thl4dk = Call_getInstance();
-            var tmp_3 = tmp_2.of(tmp0__get_functor__thl4dk.signature.name, [this.r4m_1]);
+            var tmp_3 = tmp_2.of(tmp0__get_functor__thl4dk.signature.name, [this.o4m_1]);
             var tmp_4 = new Long(0, 0);
-            tmp_0.s4m_1 = tmp_1.n4c(newSolveRequest$default(this.p4m_1, tmp_3, null, null, null, tmp_4, false, 62, null));
-            this.t4m_1 = this.s4m_1.j();
-            this.ci_1 = 1;
+            tmp_0.p4m_1 = tmp_1.k4c(newSolveRequest$default(this.m4m_1, tmp_3, null, null, null, tmp_4, false, 62, null));
+            this.q4m_1 = this.p4m_1.j();
+            this.zh_1 = 1;
             continue $sm;
           case 1:
-            if (!this.t4m_1.m()) {
-              this.ci_1 = 6;
+            if (!this.q4m_1.m()) {
+              this.zh_1 = 6;
               continue $sm;
             }
 
-            this.u4m_1 = this.t4m_1.p();
-            this.v4m_1 = this.u4m_1.solution;
-            var tmp_5 = this.v4m_1;
+            this.r4m_1 = this.q4m_1.n();
+            this.s4m_1 = this.r4m_1.solution;
+            var tmp_5 = this.s4m_1;
             if (isInterface(tmp_5, Yes)) {
-              this.ci_1 = 5;
-              suspendResult = this.q4m_1.z4(this.p4m_1.o2g(null, [], 3, null), this);
+              this.zh_1 = 5;
+              suspendResult = this.n4m_1.z4(this.m4m_1.l2g(null, [], 3, null), this);
               if (suspendResult === get_COROUTINE_SUSPENDED()) {
                 return suspendResult;
               }
               continue $sm;
             } else {
-              var tmp_6 = this.v4m_1;
+              var tmp_6 = this.s4m_1;
               if (isInterface(tmp_6, No)) {
-                this.ci_1 = 3;
-                suspendResult = this.q4m_1.z4(this.p4m_1.p2g(this.p4m_1.context.y4c_1, null, [], 6, null), this);
+                this.zh_1 = 3;
+                suspendResult = this.n4m_1.z4(this.m4m_1.m2g(this.m4m_1.context.v4c_1, null, [], 6, null), this);
                 if (suspendResult === get_COROUTINE_SUSPENDED()) {
                   return suspendResult;
                 }
                 continue $sm;
               } else {
-                this.ci_1 = 2;
-                suspendResult = this.q4m_1.z4(replyWith(this.p4m_1, this.u4m_1), this);
+                this.zh_1 = 2;
+                suspendResult = this.n4m_1.z4(replyWith(this.m4m_1, this.r4m_1), this);
                 if (suspendResult === get_COROUTINE_SUSPENDED()) {
                   return suspendResult;
                 }
@@ -2768,40 +2768,40 @@
 
             break;
           case 2:
-            this.ci_1 = 4;
+            this.zh_1 = 4;
             continue $sm;
           case 3:
-            this.ci_1 = 4;
+            this.zh_1 = 4;
             continue $sm;
           case 4:
-            this.ci_1 = 1;
+            this.zh_1 = 1;
             continue $sm;
           case 5:
             return Unit_getInstance();
           case 6:
             return Unit_getInstance();
           case 7:
-            throw this.fi_1;
+            throw this.ci_1;
         }
       } catch ($p) {
-        if (this.di_1 === 7) {
+        if (this.ai_1 === 7) {
           throw $p;
         } else {
-          this.ci_1 = this.di_1;
-          this.fi_1 = $p;
+          this.zh_1 = this.ai_1;
+          this.ci_1 = $p;
         }
       }
      while (true);
   };
-  Not$uncheckedImplementation$slambda.prototype.f2t = function ($this$sequence, completion) {
-    var i = new Not$uncheckedImplementation$slambda(this.p4m_1, completion);
-    i.q4m_1 = $this$sequence;
+  Not$uncheckedImplementation$slambda.prototype.c2t = function ($this$sequence, completion) {
+    var i = new Not$uncheckedImplementation$slambda(this.m4m_1, completion);
+    i.n4m_1 = $this$sequence;
     return i;
   };
   function Not$uncheckedImplementation$slambda_0($request, resultContinuation) {
     var i = new Not$uncheckedImplementation$slambda($request, resultContinuation);
     var l = function ($this$sequence, $cont) {
-      return i.e2t($this$sequence, $cont);
+      return i.b2t($this$sequence, $cont);
     };
     l.$arity = 1;
     return l;
@@ -2810,11 +2810,11 @@
     Not_instance = this;
     PrimitiveWrapper_init_$Init$('\\+', 1, false, 4, null, this);
   }
-  Not.prototype.c4k = function (request) {
+  Not.prototype.z4j = function (request) {
     return sequence(Not$uncheckedImplementation$slambda_0(request, null));
   };
-  Not.prototype.q2g = function (request) {
-    return this.c4k(request);
+  Not.prototype.n2g = function (request) {
+    return this.z4j(request);
   };
   var Not_instance;
   function Not_getInstance() {
@@ -2832,15 +2832,15 @@
     var tmp;
     var tmp_0;
     var tmp0_safe_receiver = tmp0_with;
-    var tmp_1 = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.fw();
+    var tmp_1 = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.cw();
     ErrorUtils_getInstance();
     if (tmp_1 === 'error') {
-      tmp_0 = tmp0_with.zv() === 2;
+      tmp_0 = tmp0_with.wv() === 2;
     } else {
       tmp_0 = false;
     }
     if (tmp_0) {
-      var tmp_2 = firstOrNull(tmp0_with.gw());
+      var tmp_2 = firstOrNull(tmp0_with.dw());
       var tmp1_safe_receiver = (!(tmp_2 == null) ? isInterface(tmp_2, Struct) : false) ? tmp_2 : null;
       var tmp_3;
       if (tmp1_safe_receiver == null) {
@@ -2851,7 +2851,7 @@
         // Inline function 'kotlin.contracts.contract' call
         var tmp$ret$0;
         // Inline function 'it.unibo.tuprolog.solve.streams.stdlib.primitive.Throw.extractErrorTypeAndExtra.<anonymous>.<anonymous>' call
-        tmp$ret$0 = new Pair(tmp1_safe_receiver, tmp0_with.gw().n(1));
+        tmp$ret$0 = new Pair(tmp1_safe_receiver, tmp0_with.dw().o(1));
         tmp$ret$1 = tmp$ret$0;
         tmp_3 = tmp$ret$1;
       }
@@ -2878,7 +2878,7 @@
       var extra = tmp0_safe_receiver.o3();
       var tmp0_$this = Companion_getInstance_13();
       var tmp1_cause = extractErrorCauseChain(extra, Throw_getInstance(), withContext);
-      tmp$ret$0 = tmp0_$this.u25(null, tmp1_cause, withContext, type, extra, 1, null);
+      tmp$ret$0 = tmp0_$this.r25(null, tmp1_cause, withContext, type, extra, 1, null);
       tmp$ret$1 = tmp$ret$0;
       tmp = tmp$ret$1;
     }
@@ -2888,19 +2888,19 @@
     Throw_instance = this;
     NonBacktrackable.call(this, 'throw');
   }
-  Throw.prototype.y4m = function (_this__u8e3s4, first) {
+  Throw.prototype.v4m = function (_this__u8e3s4, first) {
     var tmp;
     try {
       var tmp$ret$3;
       // Inline function 'kotlin.let' call
-      var tmp0_let = single(Companion_getInstance_11().b2g(_this__u8e3s4).arguments).freshCopy();
+      var tmp0_let = single(Companion_getInstance_11().y2f(_this__u8e3s4).arguments).freshCopy();
       // Inline function 'kotlin.contracts.contract' call
       var tmp$ret$2;
       // Inline function 'it.unibo.tuprolog.solve.streams.stdlib.primitive.Throw.computeOne.<anonymous>' call
-      var ancestorCatch = _this__u8e3s4.context.c4d_1.s4d(tmp0_let);
+      var ancestorCatch = _this__u8e3s4.context.z4c_1.p4d(tmp0_let);
       var tmp0_safe_receiver = ancestorCatch;
       var tmp1_safe_receiver = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.arguments;
-      var tmp2_safe_receiver = tmp1_safe_receiver == null ? null : tmp1_safe_receiver.n(1);
+      var tmp2_safe_receiver = tmp1_safe_receiver == null ? null : tmp1_safe_receiver.o(1);
       var tmp_0;
       if (tmp2_safe_receiver == null) {
         tmp_0 = null;
@@ -2910,16 +2910,16 @@
         // Inline function 'kotlin.contracts.contract' call
         var tmp$ret$0;
         // Inline function 'it.unibo.tuprolog.solve.streams.stdlib.primitive.Throw.computeOne.<anonymous>.<anonymous>' call
-        tmp$ret$0 = Companion_getInstance_11().e2h(_this__u8e3s4, tmp2_safe_receiver, tmp0_let);
+        tmp$ret$0 = Companion_getInstance_11().b2h(_this__u8e3s4, tmp2_safe_receiver, tmp0_let);
         tmp$ret$1 = tmp$ret$0;
         tmp_0 = tmp$ret$1;
       }
       var catcher = tmp_0;
       var tmp_1;
       if (!(catcher == null) ? isInterface(catcher, Unifier) : false) {
-        var tmp_2 = _this__u8e3s4.context.y4c_1.plus(catcher);
+        var tmp_2 = _this__u8e3s4.context.v4c_1.plus(catcher);
         var newSubstitution = isInterface(tmp_2, Unifier) ? tmp_2 : THROW_CCE();
-        tmp_1 = _this__u8e3s4.p2g(newSubstitution, _this__u8e3s4.context.c4d_1.t4d(ancestorCatch.context), [], 4, null);
+        tmp_1 = _this__u8e3s4.m2g(newSubstitution, _this__u8e3s4.context.z4c_1.q4d(ancestorCatch.context), [], 4, null);
       } else {
         var errorCause = extractErrorCauseChain(tmp0_let, Throw_getInstance(), _this__u8e3s4.context);
         var tmp_3;
@@ -2936,7 +2936,7 @@
     } catch ($p) {
       var tmp_4;
       if ($p instanceof LogicError) {
-        tmp_4 = _this__u8e3s4.f2j($p, null, [], 6, null);
+        tmp_4 = _this__u8e3s4.c2j($p, null, [], 6, null);
       } else {
         throw $p;
       }
@@ -2944,8 +2944,8 @@
     }
     return tmp;
   };
-  Throw.prototype.d2k = function (_this__u8e3s4, first) {
-    return this.y4m(_this__u8e3s4, first);
+  Throw.prototype.a2k = function (_this__u8e3s4, first) {
+    return this.v4m(_this__u8e3s4, first);
   };
   var Throw_instance;
   function Throw_getInstance() {
@@ -2954,7 +2954,7 @@
     return Throw_instance;
   }
   //region block: post-declaration
-  StreamsSolver.prototype.x1x = copy$default;
+  StreamsSolver.prototype.u1x = copy$default;
   StreamsSolver.prototype.solveWithTimeout = solveWithTimeout;
   StreamsSolver.prototype.solve = solve;
   StreamsSolver.prototype.solveListWithTimeout = solveListWithTimeout;
@@ -2964,38 +2964,38 @@
   StreamsSolver.prototype.solveOnce = solveOnce;
   StreamsSolver.prototype.solveOnceWithOptions = solveOnceWithOptions;
   StreamsSolver.prototype.clone = clone;
-  StreamsSolver.prototype.i1v = get_standardInput;
-  StreamsSolver.prototype.k1v = get_standardOutput;
-  StreamsSolver.prototype.m1v = get_standardError;
-  StreamsSolver.prototype.o1v = get_warnings;
-  StreamsSolverFactory.prototype.u1y = solverOf$default;
-  StreamsSolverFactory.prototype.w1y = solverOf$default_0;
-  StreamsSolverFactory.prototype.a1z = mutableSolverOf$default;
-  StreamsSolverFactory.prototype.e1z = mutableSolverOf$default_0;
+  StreamsSolver.prototype.f1v = get_standardInput;
+  StreamsSolver.prototype.h1v = get_standardOutput;
+  StreamsSolver.prototype.j1v = get_standardError;
+  StreamsSolver.prototype.l1v = get_warnings;
+  StreamsSolverFactory.prototype.r1y = solverOf$default;
+  StreamsSolverFactory.prototype.t1y = solverOf$default_0;
+  StreamsSolverFactory.prototype.x1y = mutableSolverOf$default;
+  StreamsSolverFactory.prototype.b1z = mutableSolverOf$default_0;
   StreamsSolverFactory.prototype.newBuilder = newBuilder;
-  StreamsSolverFactory.prototype.c1y = get_defaultRuntime;
-  StreamsSolverFactory.prototype.e1y = get_defaultUnificator;
-  StreamsSolverFactory.prototype.f1y = get_defaultFlags;
-  StreamsSolverFactory.prototype.i1y = get_defaultStaticKb;
-  StreamsSolverFactory.prototype.j1y = get_defaultDynamicKb;
-  StreamsSolverFactory.prototype.k1y = get_defaultInputChannel;
-  StreamsSolverFactory.prototype.l1y = get_defaultOutputChannel;
-  StreamsSolverFactory.prototype.m1y = get_defaultErrorChannel;
-  StreamsSolverFactory.prototype.n1y = get_defaultWarningsChannel;
-  StreamsSolverFactory.prototype.x1y = solverWithDefaultBuiltins;
-  StreamsSolverFactory.prototype.y1y = solverWithDefaultBuiltins$default;
-  StreamsSolverFactory.prototype.b1z = mutableSolverWithDefaultBuiltins;
-  StreamsSolverFactory.prototype.c1z = mutableSolverWithDefaultBuiltins$default;
-  StreamsExecutionContext.prototype.v1u = createSolver$default;
-  StreamsExecutionContext.prototype.d1v = createMutableSolver$default;
-  StreamsExecutionContext.prototype.g1v = update$default;
-  StreamsExecutionContext.prototype.i1v = get_standardInput;
-  StreamsExecutionContext.prototype.k1v = get_standardOutput;
-  StreamsExecutionContext.prototype.m1v = get_standardError;
-  StreamsExecutionContext.prototype.o1v = get_warnings;
-  StreamsExecutionContext.prototype.m1u = get_endTime;
-  StreamsExecutionContext.prototype.o1u = get_remainingTime;
-  StreamsExecutionContext.prototype.p1u = get_elapsedTime;
+  StreamsSolverFactory.prototype.z1x = get_defaultRuntime;
+  StreamsSolverFactory.prototype.b1y = get_defaultUnificator;
+  StreamsSolverFactory.prototype.c1y = get_defaultFlags;
+  StreamsSolverFactory.prototype.f1y = get_defaultStaticKb;
+  StreamsSolverFactory.prototype.g1y = get_defaultDynamicKb;
+  StreamsSolverFactory.prototype.h1y = get_defaultInputChannel;
+  StreamsSolverFactory.prototype.i1y = get_defaultOutputChannel;
+  StreamsSolverFactory.prototype.j1y = get_defaultErrorChannel;
+  StreamsSolverFactory.prototype.k1y = get_defaultWarningsChannel;
+  StreamsSolverFactory.prototype.u1y = solverWithDefaultBuiltins;
+  StreamsSolverFactory.prototype.v1y = solverWithDefaultBuiltins$default;
+  StreamsSolverFactory.prototype.y1y = mutableSolverWithDefaultBuiltins;
+  StreamsSolverFactory.prototype.z1y = mutableSolverWithDefaultBuiltins$default;
+  StreamsExecutionContext.prototype.s1u = createSolver$default;
+  StreamsExecutionContext.prototype.a1v = createMutableSolver$default;
+  StreamsExecutionContext.prototype.d1v = update$default;
+  StreamsExecutionContext.prototype.f1v = get_standardInput;
+  StreamsExecutionContext.prototype.h1v = get_standardOutput;
+  StreamsExecutionContext.prototype.j1v = get_standardError;
+  StreamsExecutionContext.prototype.l1v = get_warnings;
+  StreamsExecutionContext.prototype.j1u = get_endTime;
+  StreamsExecutionContext.prototype.l1u = get_remainingTime;
+  StreamsExecutionContext.prototype.m1u = get_elapsedTime;
   AbstractTimedState.prototype.j5 = get_context;
   StateGoalEvaluation.prototype.j5 = get_context;
   StateInit.prototype.j5 = get_context;
@@ -3004,7 +3004,7 @@
   DefaultBuiltins.prototype.containsOperator = containsOperator;
   DefaultBuiltins.prototype.hasPrimitive = hasPrimitive;
   DefaultBuiltins.prototype.hasFunction = hasFunction;
-  DefaultBuiltins.prototype.p2e = get_ruleSignatures;
+  DefaultBuiltins.prototype.m2e = get_ruleSignatures;
   DefaultBuiltins.prototype.hasProtected = hasProtected;
   //endregion
   //region block: exports