@jakta/jakta-prolog-incarnation 1.1.8 → 1.1.9

package/2p-solve-classic.js

@@ -45,15 +45,15 @@
   var constructCallableReference = kotlin_kotlin.$_$.r5;
   var AbstractSolver = kotlin_it_unibo_tuprolog_solve.$_$.l1;
   var protoOf = kotlin_kotlin.$_$.n6;
-  var THROW_CCE = kotlin_kotlin.$_$.ha;
+  var THROW_CCE = kotlin_kotlin.$_$.ia;
   var throwUninitializedPropertyAccessException = kotlin_kotlin.$_$.k4;
   var getAllOperators = kotlin_it_unibo_tuprolog_solve.$_$.z2;
   var toOperatorSet = kotlin_it_unibo_tuprolog_solve.$_$.b3;
-  var Long = kotlin_kotlin.$_$.ba;
+  var Long = kotlin_kotlin.$_$.ca;
   var currentTimeInstant = kotlin_it_unibo_tuprolog_solve.$_$.x2;
   var asSequence = kotlin_kotlin.$_$.k7;
   var initMetadataForClass = kotlin_kotlin.$_$.y5;
-  var ensureNotNull = kotlin_kotlin.$_$.la;
+  var ensureNotNull = kotlin_kotlin.$_$.ma;
   var fromInt = kotlin_kotlin.$_$.x4;
   var add = kotlin_kotlin.$_$.n4;
   var hashCode = kotlin_kotlin.$_$.x5;
@@ -63,7 +63,7 @@
   var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.i4;
   var initMetadataForLambda = kotlin_kotlin.$_$.b6;
   var sequence = kotlin_kotlin.$_$.k8;
-  var toString_0 = kotlin_kotlin.$_$.ra;
+  var toString_0 = kotlin_kotlin.$_$.sa;
   var asSequence_0 = kotlin_kotlin.$_$.z1;
   var emptySequence = kotlin_kotlin.$_$.p7;
   var plus = kotlin_kotlin.$_$.h8;
@@ -82,7 +82,7 @@
   var Companion_instance_7 = kotlin_it_unibo_tuprolog_utils.$_$.c;
   var emptySet = kotlin_kotlin.$_$.k2;
   var compare = kotlin_kotlin.$_$.r4;
-  var lazy = kotlin_kotlin.$_$.na;
+  var lazy = kotlin_kotlin.$_$.oa;
   var contains = kotlin_kotlin.$_$.l7;
   var createSolver = kotlin_it_unibo_tuprolog_solve.$_$.x;
   var createMutableSolver = kotlin_it_unibo_tuprolog_solve.$_$.w;
@@ -122,7 +122,7 @@
   var defineProp = kotlin_kotlin.$_$.s5;
   var listOf = kotlin_kotlin.$_$.x2;
   var getAllOperators_0 = kotlin_it_unibo_tuprolog_solve.$_$.a3;
-  var to = kotlin_kotlin.$_$.sa;
+  var to = kotlin_kotlin.$_$.ta;
   var loadStaticClauses = kotlin_it_unibo_tuprolog_solve.$_$.f2;
   var loadStaticClausesIterable = kotlin_it_unibo_tuprolog_solve.$_$.g2;
   var loadStaticClausesSequence = kotlin_it_unibo_tuprolog_solve.$_$.h2;
@@ -208,20 +208,20 @@
     var tmp0_elvis_lhs = this.asEndState();
     var tmp;
     if (tmp0_elvis_lhs == null) {
-      throw ClassCastException_init_$Create$('Cannot cast ' + toString(this) + ' to ' + getKClass(EndState).g9());
+      throw ClassCastException_init_$Create$('Cannot cast ' + toString(this) + ' to ' + getKClass(EndState).h9());
     } else {
       tmp = tmp0_elvis_lhs;
     }
     return tmp;
   }
   function clone(context, $super) {
-    context = context === VOID ? this.m8() : context;
-    return $super === VOID ? this.l31(context) : $super.l31.call(this, context);
+    context = context === VOID ? this.n8() : context;
+    return $super === VOID ? this.o31(context) : $super.o31.call(this, context);
   }
   initMetadataForInterface(State, 'State');
   initMetadataForClass(AbstractState, 'AbstractState', VOID, VOID, [State]);
   function get_hasOpenAlternatives() {
-    return this.o2g().b1v() && this.m8().g2y();
+    return this.r2g().e1v() && this.n8().j2y();
   }
   function get_isEndState_0() {
     return true;
@@ -230,7 +230,7 @@
     return this;
   }
   function asEndState_1() {
-    return this.k31();
+    return this.n31();
   }
   initMetadataForInterface(EndState, 'EndState', VOID, VOID, [State]);
   initMetadataForClass(AbstractEndState, 'AbstractEndState', VOID, AbstractState, [EndState]);
@@ -262,7 +262,7 @@
   initMetadataForCompanion(Companion_1);
   //endregion
   function AbstractClassicSolver_init_$Init$(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb, $this) {
-    unificator = unificator === VOID ? Companion_getInstance().v1j() : unificator;
+    unificator = unificator === VOID ? Companion_getInstance().y1j() : unificator;
     libraries = libraries === VOID ? Companion_instance.empty() : libraries;
     flags = flags === VOID ? Companion_getInstance_0().empty() : flags;
     staticKb = staticKb === VOID ? Companion_instance_0.empty(unificator) : staticKb;
@@ -272,17 +272,17 @@
     stdErr = stdErr === VOID ? Companion_instance_3.stdErr() : stdErr;
     warnings = warnings === VOID ? Companion_instance_3.warning() : warnings;
     trustKb = trustKb === VOID ? false : trustKb;
-    AbstractClassicSolver.call($this, unificator, libraries, flags, staticKb, dynamicKb, Companion_instance_4.y1w(stdIn), Companion_instance_5.b1x(stdOut, stdErr, warnings), trustKb);
+    AbstractClassicSolver.call($this, unificator, libraries, flags, staticKb, dynamicKb, Companion_instance_4.b1x(stdIn), Companion_instance_5.e1x(stdOut, stdErr, warnings), trustKb);
     return $this;
   }
   function updateCurrentContextAfterStateTransition($this, source, destination, index) {
     // Inline function 'kotlin.require' call
     // Inline function 'kotlin.require' call
-    if (!equalsLong(destination.m8().c2x_1, index)) {
+    if (!equalsLong(destination.n8().f2x_1, index)) {
       var message = 'Failed requirement.';
       throw IllegalArgumentException_init_$Create$(toString(message));
     }
-    $this.j2x(destination.m8());
+    $this.m2x(destination.n8());
   }
   function AbstractClassicSolver$updateCurrentContextAfterStateTransition$ref(p0) {
     return constructCallableReference(function (p0_0, p1, p2) {
@@ -292,7 +292,7 @@
     }, 3, 0, 83, 'updateCurrentContextAfterStateTransition', [p0]);
   }
   function AbstractClassicSolver(unificator, libraries, flags, initialStaticKb, initialDynamicKb, inputChannels, outputChannels, trustKb) {
-    unificator = unificator === VOID ? Companion_getInstance().v1j() : unificator;
+    unificator = unificator === VOID ? Companion_getInstance().y1j() : unificator;
     libraries = libraries === VOID ? Companion_instance.empty() : libraries;
     flags = flags === VOID ? Companion_getInstance_0().empty() : flags;
     initialStaticKb = initialStaticKb === VOID ? Companion_instance_0.empty(unificator) : initialStaticKb;
@@ -302,101 +302,101 @@
     trustKb = trustKb === VOID ? false : trustKb;
     AbstractSolver.call(this, unificator, libraries, flags, initialStaticKb, initialDynamicKb, inputChannels, outputChannels, trustKb);
   }
-  protoOf(AbstractClassicSolver).j2x = function (_set____db54di) {
-    this.i2x_1 = _set____db54di;
+  protoOf(AbstractClassicSolver).m2x = function (_set____db54di) {
+    this.l2x_1 = _set____db54di;
   };
-  protoOf(AbstractClassicSolver).r29 = function (_set____db54di) {
-    return this.j2x(_set____db54di instanceof ClassicExecutionContext ? _set____db54di : THROW_CCE());
+  protoOf(AbstractClassicSolver).u29 = function (_set____db54di) {
+    return this.m2x(_set____db54di instanceof ClassicExecutionContext ? _set____db54di : THROW_CCE());
   };
-  protoOf(AbstractClassicSolver).p29 = function () {
-    var tmp = this.i2x_1;
+  protoOf(AbstractClassicSolver).s29 = function () {
+    var tmp = this.l2x_1;
     if (!(tmp == null))
       return tmp;
     else {
       throwUninitializedPropertyAccessException('currentContext');
     }
   };
-  protoOf(AbstractClassicSolver).q29 = function (unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, trustKb) {
+  protoOf(AbstractClassicSolver).t29 = function (unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, trustKb) {
     return new ClassicExecutionContext(VOID, unificator, libraries, flags, trustKb ? staticKb.toImmutableTheory() : Companion_instance_0.empty(unificator), trustKb ? dynamicKb.toMutableTheory() : Companion_instance_1.empty(unificator), toOperatorSet(getAllOperators(libraries, [])), inputChannels, outputChannels, VOID, VOID, VOID, VOID, VOID, VOID, new Long(0, 0));
   };
-  protoOf(AbstractClassicSolver).x29 = function (goal, options) {
-    var tmp0_unificator = this.c1k();
-    var tmp1_libraries = this.z1t();
-    var tmp2_flags = this.a1u();
-    var tmp3_staticKb = this.b1u().toImmutableTheory();
-    var tmp4_dynamicKb = this.c1u().toMutableTheory();
-    var tmp5_operators = this.i1u();
-    var tmp6_inputChannels = this.d1u();
-    var tmp7_outputChannels = this.e1u();
-    var tmp8_customData = this.p29().r2w_1;
+  protoOf(AbstractClassicSolver).a2a = function (goal, options) {
+    var tmp0_unificator = this.f1k();
+    var tmp1_libraries = this.c1u();
+    var tmp2_flags = this.d1u();
+    var tmp3_staticKb = this.e1u().toImmutableTheory();
+    var tmp4_dynamicKb = this.f1u().toMutableTheory();
+    var tmp5_operators = this.l1u();
+    var tmp6_inputChannels = this.g1u();
+    var tmp7_outputChannels = this.h1u();
+    var tmp8_customData = this.s29().u2w_1;
     var tmp9_startTime = currentTimeInstant();
-    var tmp10_maxDuration = options.f1w();
-    this.j2x(new ClassicExecutionContext(VOID, tmp0_unificator, tmp1_libraries, tmp2_flags, tmp3_staticKb, tmp4_dynamicKb, tmp5_operators, tmp6_inputChannels, tmp7_outputChannels, tmp8_customData, VOID, goal, VOID, VOID, VOID, tmp9_startTime, tmp10_maxDuration));
-    var tmp = new StateInit(this.p29());
-    return asSequence(this.k2x(tmp, AbstractClassicSolver$updateCurrentContextAfterStateTransition$ref(this)));
+    var tmp10_maxDuration = options.i1w();
+    this.m2x(new ClassicExecutionContext(VOID, tmp0_unificator, tmp1_libraries, tmp2_flags, tmp3_staticKb, tmp4_dynamicKb, tmp5_operators, tmp6_inputChannels, tmp7_outputChannels, tmp8_customData, VOID, goal, VOID, VOID, VOID, tmp9_startTime, tmp10_maxDuration));
+    var tmp = new StateInit(this.s29());
+    return asSequence(this.n2x(tmp, AbstractClassicSolver$updateCurrentContextAfterStateTransition$ref(this)));
   };
   protoOf(AbstractClassicSolver).copy = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, $super) {
     return this.copy(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, ($super == null ? true : $super instanceof AbstractClassicSolver) ? $super : THROW_CCE());
   };
   function Primitives(alternatives, executionContext, parent, depth) {
     ChoicePointContext.call(this, alternatives, executionContext, parent, depth);
-    this.p2x_1 = alternatives;
-    this.q2x_1 = executionContext;
-    this.r2x_1 = parent;
-    this.s2x_1 = depth;
+    this.s2x_1 = alternatives;
+    this.t2x_1 = executionContext;
+    this.u2x_1 = parent;
+    this.v2x_1 = depth;
   }
-  protoOf(Primitives).t2x = function () {
-    return this.p2x_1;
+  protoOf(Primitives).w2x = function () {
+    return this.s2x_1;
   };
-  protoOf(Primitives).u2x = function () {
-    return this.q2x_1;
+  protoOf(Primitives).x2x = function () {
+    return this.t2x_1;
   };
-  protoOf(Primitives).v2x = function () {
-    return this.r2x_1;
+  protoOf(Primitives).y2x = function () {
+    return this.u2x_1;
   };
-  protoOf(Primitives).w2x = function () {
-    return this.s2x_1;
+  protoOf(Primitives).z2x = function () {
+    return this.v2x_1;
   };
   protoOf(Primitives).toString = function () {
     return protoOf(ChoicePointContext).toString.call(this);
   };
-  protoOf(Primitives).x2x = function () {
+  protoOf(Primitives).a2y = function () {
     return 'Primitives';
   };
-  protoOf(Primitives).y2x = function (context) {
-    var tmp0_$this = ensureNotNull(this.q2x_1);
-    var tmp1_primitives = this.p2x_1;
+  protoOf(Primitives).b2y = function (context) {
+    var tmp0_$this = ensureNotNull(this.t2x_1);
+    var tmp1_primitives = this.s2x_1;
     // Inline function 'kotlin.Long.plus' call
-    var this_0 = context.c2x_1;
+    var this_0 = context.f2x_1;
     var tmp2_step = add(this_0, fromInt(1));
-    var tmp3_startTime = context.x2w_1;
-    var tmp4_flags = context.l2w_1;
-    var tmp5_dynamicKb = context.n2w_1;
-    var tmp6_staticKb = context.m2w_1;
-    var tmp7_operators = context.o2w_1;
-    var tmp8_inputChannels = context.p2w_1;
-    var tmp9_outputChannels = context.q2w_1;
-    var tmp10_libraries = context.k2w_1;
-    var tmp11_customData = context.r2w_1.discardEphemeral();
-    var tempContext = tmp0_$this.z2x(VOID, VOID, tmp10_libraries, tmp4_flags, tmp6_staticKb, tmp5_dynamicKb, tmp7_operators, tmp8_inputChannels, tmp9_outputChannels, tmp11_customData, VOID, VOID, VOID, VOID, tmp1_primitives, tmp3_startTime, VOID, VOID, VOID, VOID, tmp2_step);
-    var nextChoicePointContext = this.a2y(this.p2x_1.ro(), tempContext);
-    return tempContext.z2x(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, nextChoicePointContext);
-  };
-  protoOf(Primitives).b2y = function (alternatives, executionContext, parent, depth) {
+    var tmp3_startTime = context.a2x_1;
+    var tmp4_flags = context.o2w_1;
+    var tmp5_dynamicKb = context.q2w_1;
+    var tmp6_staticKb = context.p2w_1;
+    var tmp7_operators = context.r2w_1;
+    var tmp8_inputChannels = context.s2w_1;
+    var tmp9_outputChannels = context.t2w_1;
+    var tmp10_libraries = context.n2w_1;
+    var tmp11_customData = context.u2w_1.discardEphemeral();
+    var tempContext = tmp0_$this.c2y(VOID, VOID, tmp10_libraries, tmp4_flags, tmp6_staticKb, tmp5_dynamicKb, tmp7_operators, tmp8_inputChannels, tmp9_outputChannels, tmp11_customData, VOID, VOID, VOID, VOID, tmp1_primitives, tmp3_startTime, VOID, VOID, VOID, VOID, tmp2_step);
+    var nextChoicePointContext = this.d2y(this.s2x_1.uo(), tempContext);
+    return tempContext.c2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, nextChoicePointContext);
+  };
+  protoOf(Primitives).e2y = function (alternatives, executionContext, parent, depth) {
     return new Primitives(alternatives, executionContext, parent, depth);
   };
-  protoOf(Primitives).a2y = function (alternatives, executionContext, parent, depth, $super) {
-    alternatives = alternatives === VOID ? this.p2x_1 : alternatives;
-    executionContext = executionContext === VOID ? this.q2x_1 : executionContext;
-    parent = parent === VOID ? this.r2x_1 : parent;
-    depth = depth === VOID ? this.s2x_1 : depth;
-    return $super === VOID ? this.b2y(alternatives, executionContext, parent, depth) : $super.b2y.call(this, alternatives, executionContext, parent, depth);
+  protoOf(Primitives).d2y = function (alternatives, executionContext, parent, depth, $super) {
+    alternatives = alternatives === VOID ? this.s2x_1 : alternatives;
+    executionContext = executionContext === VOID ? this.t2x_1 : executionContext;
+    parent = parent === VOID ? this.u2x_1 : parent;
+    depth = depth === VOID ? this.v2x_1 : depth;
+    return $super === VOID ? this.e2y(alternatives, executionContext, parent, depth) : $super.e2y.call(this, alternatives, executionContext, parent, depth);
   };
   protoOf(Primitives).hashCode = function () {
-    var result = hashCode(this.p2x_1);
-    result = imul(result, 31) + (this.q2x_1 == null ? 0 : this.q2x_1.hashCode()) | 0;
-    result = imul(result, 31) + (this.r2x_1 == null ? 0 : hashCode(this.r2x_1)) | 0;
-    result = imul(result, 31) + this.s2x_1 | 0;
+    var result = hashCode(this.s2x_1);
+    result = imul(result, 31) + (this.t2x_1 == null ? 0 : this.t2x_1.hashCode()) | 0;
+    result = imul(result, 31) + (this.u2x_1 == null ? 0 : hashCode(this.u2x_1)) | 0;
+    result = imul(result, 31) + this.v2x_1 | 0;
     return result;
   };
   protoOf(Primitives).equals = function (other) {
@@ -404,75 +404,75 @@
       return true;
     if (!(other instanceof Primitives))
       return false;
-    if (!equals(this.p2x_1, other.p2x_1))
+    if (!equals(this.s2x_1, other.s2x_1))
       return false;
-    if (!equals(this.q2x_1, other.q2x_1))
+    if (!equals(this.t2x_1, other.t2x_1))
       return false;
-    if (!equals(this.r2x_1, other.r2x_1))
+    if (!equals(this.u2x_1, other.u2x_1))
       return false;
-    if (!(this.s2x_1 === other.s2x_1))
+    if (!(this.v2x_1 === other.v2x_1))
       return false;
     return true;
   };
   function Rules(alternatives, executionContext, parent, depth) {
     ChoicePointContext.call(this, alternatives, executionContext, parent, depth);
-    this.o2y_1 = alternatives;
-    this.p2y_1 = executionContext;
-    this.q2y_1 = parent;
-    this.r2y_1 = depth;
+    this.r2y_1 = alternatives;
+    this.s2y_1 = executionContext;
+    this.t2y_1 = parent;
+    this.u2y_1 = depth;
   }
-  protoOf(Rules).t2x = function () {
-    return this.o2y_1;
+  protoOf(Rules).w2x = function () {
+    return this.r2y_1;
   };
-  protoOf(Rules).u2x = function () {
-    return this.p2y_1;
+  protoOf(Rules).x2x = function () {
+    return this.s2y_1;
   };
-  protoOf(Rules).v2x = function () {
-    return this.q2y_1;
+  protoOf(Rules).y2x = function () {
+    return this.t2y_1;
   };
-  protoOf(Rules).w2x = function () {
-    return this.r2y_1;
+  protoOf(Rules).z2x = function () {
+    return this.u2y_1;
   };
   protoOf(Rules).toString = function () {
     return protoOf(ChoicePointContext).toString.call(this);
   };
-  protoOf(Rules).x2x = function () {
+  protoOf(Rules).a2y = function () {
     return 'Rules';
   };
-  protoOf(Rules).y2x = function (context) {
-    var tmp0_$this = ensureNotNull(this.p2y_1);
-    var tmp1_rules = this.o2y_1;
+  protoOf(Rules).b2y = function (context) {
+    var tmp0_$this = ensureNotNull(this.s2y_1);
+    var tmp1_rules = this.r2y_1;
     // Inline function 'kotlin.Long.plus' call
-    var this_0 = context.c2x_1;
+    var this_0 = context.f2x_1;
     var tmp2_step = add(this_0, fromInt(1));
-    var tmp3_startTime = context.x2w_1;
-    var tmp4_flags = context.l2w_1;
-    var tmp5_dynamicKb = context.n2w_1;
-    var tmp6_staticKb = context.m2w_1;
-    var tmp7_operators = context.o2w_1;
-    var tmp8_inputChannels = context.p2w_1;
-    var tmp9_outputChannels = context.q2w_1;
-    var tmp10_libraries = context.k2w_1;
-    var tmp11_customData = context.r2w_1.discardEphemeral();
-    var tempContext = tmp0_$this.z2x(VOID, VOID, tmp10_libraries, tmp4_flags, tmp6_staticKb, tmp5_dynamicKb, tmp7_operators, tmp8_inputChannels, tmp9_outputChannels, tmp11_customData, VOID, VOID, VOID, tmp1_rules, VOID, tmp3_startTime, VOID, VOID, VOID, VOID, tmp2_step);
-    var nextChoicePointContext = this.s2y(this.o2y_1.ro(), tempContext);
-    return tempContext.z2x(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, nextChoicePointContext);
-  };
-  protoOf(Rules).t2y = function (alternatives, executionContext, parent, depth) {
+    var tmp3_startTime = context.a2x_1;
+    var tmp4_flags = context.o2w_1;
+    var tmp5_dynamicKb = context.q2w_1;
+    var tmp6_staticKb = context.p2w_1;
+    var tmp7_operators = context.r2w_1;
+    var tmp8_inputChannels = context.s2w_1;
+    var tmp9_outputChannels = context.t2w_1;
+    var tmp10_libraries = context.n2w_1;
+    var tmp11_customData = context.u2w_1.discardEphemeral();
+    var tempContext = tmp0_$this.c2y(VOID, VOID, tmp10_libraries, tmp4_flags, tmp6_staticKb, tmp5_dynamicKb, tmp7_operators, tmp8_inputChannels, tmp9_outputChannels, tmp11_customData, VOID, VOID, VOID, tmp1_rules, VOID, tmp3_startTime, VOID, VOID, VOID, VOID, tmp2_step);
+    var nextChoicePointContext = this.v2y(this.r2y_1.uo(), tempContext);
+    return tempContext.c2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, nextChoicePointContext);
+  };
+  protoOf(Rules).w2y = function (alternatives, executionContext, parent, depth) {
     return new Rules(alternatives, executionContext, parent, depth);
   };
-  protoOf(Rules).s2y = function (alternatives, executionContext, parent, depth, $super) {
-    alternatives = alternatives === VOID ? this.o2y_1 : alternatives;
-    executionContext = executionContext === VOID ? this.p2y_1 : executionContext;
-    parent = parent === VOID ? this.q2y_1 : parent;
-    depth = depth === VOID ? this.r2y_1 : depth;
-    return $super === VOID ? this.t2y(alternatives, executionContext, parent, depth) : $super.t2y.call(this, alternatives, executionContext, parent, depth);
+  protoOf(Rules).v2y = function (alternatives, executionContext, parent, depth, $super) {
+    alternatives = alternatives === VOID ? this.r2y_1 : alternatives;
+    executionContext = executionContext === VOID ? this.s2y_1 : executionContext;
+    parent = parent === VOID ? this.t2y_1 : parent;
+    depth = depth === VOID ? this.u2y_1 : depth;
+    return $super === VOID ? this.w2y(alternatives, executionContext, parent, depth) : $super.w2y.call(this, alternatives, executionContext, parent, depth);
   };
   protoOf(Rules).hashCode = function () {
-    var result = hashCode(this.o2y_1);
-    result = imul(result, 31) + (this.p2y_1 == null ? 0 : this.p2y_1.hashCode()) | 0;
-    result = imul(result, 31) + (this.q2y_1 == null ? 0 : hashCode(this.q2y_1)) | 0;
-    result = imul(result, 31) + this.r2y_1 | 0;
+    var result = hashCode(this.r2y_1);
+    result = imul(result, 31) + (this.s2y_1 == null ? 0 : this.s2y_1.hashCode()) | 0;
+    result = imul(result, 31) + (this.t2y_1 == null ? 0 : hashCode(this.t2y_1)) | 0;
+    result = imul(result, 31) + this.u2y_1 | 0;
     return result;
   };
   protoOf(Rules).equals = function (other) {
@@ -480,112 +480,112 @@
       return true;
     if (!(other instanceof Rules))
       return false;
-    if (!equals(this.o2y_1, other.o2y_1))
+    if (!equals(this.r2y_1, other.r2y_1))
       return false;
-    if (!equals(this.p2y_1, other.p2y_1))
+    if (!equals(this.s2y_1, other.s2y_1))
       return false;
-    if (!equals(this.q2y_1, other.q2y_1))
+    if (!equals(this.t2y_1, other.t2y_1))
       return false;
-    if (!(this.r2y_1 === other.r2y_1))
+    if (!(this.u2y_1 === other.u2y_1))
       return false;
     return true;
   };
   function ChoicePointContext$_get_pathToRoot_$slambda_q0myjn(this$0, resultContinuation) {
-    this.c2z_1 = this$0;
+    this.f2z_1 = this$0;
     CoroutineImpl.call(this, resultContinuation);
   }
-  protoOf(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn).f2z = function ($this$sequence, $completion) {
-    var tmp = this.g2z($this$sequence, $completion);
-    tmp.i8_1 = Unit_instance;
-    tmp.j8_1 = null;
-    return tmp.o8();
+  protoOf(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn).i2z = function ($this$sequence, $completion) {
+    var tmp = this.j2z($this$sequence, $completion);
+    tmp.j8_1 = Unit_instance;
+    tmp.k8_1 = null;
+    return tmp.p8();
   };
-  protoOf(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn).f9 = function (p1, $completion) {
-    return this.f2z(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
+  protoOf(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn).g9 = function (p1, $completion) {
+    return this.i2z(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
   };
-  protoOf(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn).o8 = function () {
-    var suspendResult = this.i8_1;
+  protoOf(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn).p8 = function () {
+    var suspendResult = this.j8_1;
     $sm: do
       try {
-        var tmp = this.g8_1;
+        var tmp = this.h8_1;
         switch (tmp) {
           case 0:
-            this.h8_1 = 4;
-            this.e2z_1 = this.c2z_1;
-            this.g8_1 = 1;
+            this.i8_1 = 4;
+            this.h2z_1 = this.f2z_1;
+            this.h8_1 = 1;
             continue $sm;
           case 1:
-            if (!!(this.e2z_1 == null)) {
-              this.g8_1 = 3;
+            if (!!(this.h2z_1 == null)) {
+              this.h8_1 = 3;
               continue $sm;
             }
 
-            this.g8_1 = 2;
-            suspendResult = this.d2z_1.nc(ensureNotNull(this.e2z_1), this);
+            this.h8_1 = 2;
+            suspendResult = this.g2z_1.oc(ensureNotNull(this.h2z_1), this);
             if (suspendResult === get_COROUTINE_SUSPENDED()) {
               return suspendResult;
             }
 
             continue $sm;
           case 2:
-            this.e2z_1 = this.e2z_1.v2x();
-            this.g8_1 = 1;
+            this.h2z_1 = this.h2z_1.y2x();
+            this.h8_1 = 1;
             continue $sm;
           case 3:
             return Unit_instance;
           case 4:
-            throw this.j8_1;
+            throw this.k8_1;
         }
       } catch ($p) {
         var e = $p;
-        if (this.h8_1 === 4) {
+        if (this.i8_1 === 4) {
           throw e;
         } else {
-          this.g8_1 = this.h8_1;
-          this.j8_1 = e;
+          this.h8_1 = this.i8_1;
+          this.k8_1 = e;
         }
       }
      while (true);
   };
-  protoOf(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn).g2z = function ($this$sequence, completion) {
-    var i = new ChoicePointContext$_get_pathToRoot_$slambda_q0myjn(this.c2z_1, completion);
-    i.d2z_1 = $this$sequence;
+  protoOf(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn).j2z = function ($this$sequence, completion) {
+    var i = new ChoicePointContext$_get_pathToRoot_$slambda_q0myjn(this.f2z_1, completion);
+    i.g2z_1 = $this$sequence;
     return i;
   };
   function ChoicePointContext$_get_pathToRoot_$slambda_q0myjn_0(this$0, resultContinuation) {
     var i = new ChoicePointContext$_get_pathToRoot_$slambda_q0myjn(this$0, resultContinuation);
     return constructCallableReference(function ($this$sequence, $completion) {
-      return i.f2z($this$sequence, $completion);
+      return i.i2z($this$sequence, $completion);
     }, 1);
   }
   function ChoicePointContext(alternatives, executionContext, parent, depth) {
     depth = depth === VOID ? 0 : depth;
-    this.c2y_1 = alternatives;
-    this.d2y_1 = executionContext;
-    this.e2y_1 = parent;
-    this.f2y_1 = depth;
+    this.f2y_1 = alternatives;
+    this.g2y_1 = executionContext;
+    this.h2y_1 = parent;
+    this.i2y_1 = depth;
   }
-  protoOf(ChoicePointContext).t2x = function () {
-    return this.c2y_1;
+  protoOf(ChoicePointContext).w2x = function () {
+    return this.f2y_1;
   };
-  protoOf(ChoicePointContext).u2x = function () {
-    return this.d2y_1;
+  protoOf(ChoicePointContext).x2x = function () {
+    return this.g2y_1;
   };
-  protoOf(ChoicePointContext).v2x = function () {
-    return this.e2y_1;
+  protoOf(ChoicePointContext).y2x = function () {
+    return this.h2y_1;
   };
-  protoOf(ChoicePointContext).w2x = function () {
-    return this.f2y_1;
+  protoOf(ChoicePointContext).z2x = function () {
+    return this.i2y_1;
   };
-  protoOf(ChoicePointContext).g2y = function () {
-    var tmp0 = this.h2y();
+  protoOf(ChoicePointContext).j2y = function () {
+    var tmp0 = this.k2y();
     var tmp$ret$0;
     $l$block: {
       // Inline function 'kotlin.sequences.any' call
       var _iterator__ex2g4s = tmp0.m();
       while (_iterator__ex2g4s.p()) {
         var element = _iterator__ex2g4s.q();
-        if (element.t2x().to()) {
+        if (element.w2x().wo()) {
           tmp$ret$0 = true;
           break $l$block;
         }
@@ -594,135 +594,135 @@
     }
     return tmp$ret$0;
   };
-  protoOf(ChoicePointContext).h2y = function () {
+  protoOf(ChoicePointContext).k2y = function () {
     return sequence(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn_0(this, null));
   };
-  protoOf(ChoicePointContext).i2y = function () {
-    var tmp0_safe_receiver = this.u2x();
-    return tmp0_safe_receiver == null ? null : tmp0_safe_receiver.b2x_1;
+  protoOf(ChoicePointContext).l2y = function () {
+    var tmp0_safe_receiver = this.x2x();
+    return tmp0_safe_receiver == null ? null : tmp0_safe_receiver.e2x_1;
   };
-  protoOf(ChoicePointContext).j2y = function () {
-    var tmp0_safe_receiver = this.u2x();
-    return tmp0_safe_receiver == null ? null : tmp0_safe_receiver.i2w_1;
+  protoOf(ChoicePointContext).m2y = function () {
+    var tmp0_safe_receiver = this.x2x();
+    return tmp0_safe_receiver == null ? null : tmp0_safe_receiver.l2w_1;
   };
   protoOf(ChoicePointContext).toString = function () {
-    var tmp = this.x2x() + '(' + ('alternatives=' + toString(this.t2x()) + ', ');
+    var tmp = this.a2y() + '(' + ('alternatives=' + toString(this.w2x()) + ', ');
     var tmp_0;
-    if (this.u2x() === null) {
-      tmp_0 = 'executionContext=' + toString_0(this.u2x()) + ', ';
+    if (this.x2x() === null) {
+      tmp_0 = 'executionContext=' + toString_0(this.x2x()) + ', ';
     } else {
-      'executionContextDepth=' + this.i2y() + ', ';
-      tmp_0 = 'executionContextProcedure=' + toString_0(this.j2y()) + ', ';
+      'executionContextDepth=' + this.l2y() + ', ';
+      tmp_0 = 'executionContextProcedure=' + toString_0(this.m2y()) + ', ';
     }
-    return tmp + tmp_0 + ('depth=' + this.w2x()) + ')';
+    return tmp + tmp_0 + ('depth=' + this.z2x()) + ')';
   };
   function appendRules(_this__u8e3s4, alternatives, executionContext) {
     executionContext = executionContext === VOID ? null : executionContext;
     return new Rules(alternatives, executionContext, _this__u8e3s4, nextDepth(_this__u8e3s4));
   }
   function nextDepth(_this__u8e3s4) {
-    return _this__u8e3s4 == null ? 0 : _this__u8e3s4.w2x() + 1 | 0;
+    return _this__u8e3s4 == null ? 0 : _this__u8e3s4.z2x() + 1 | 0;
   }
   function appendPrimitives(_this__u8e3s4, alternatives, executionContext) {
     executionContext = executionContext === VOID ? null : executionContext;
     return new Primitives(alternatives, executionContext, _this__u8e3s4, nextDepth(_this__u8e3s4));
   }
   function _get_locallyInterestingVariables__39cqti($this) {
-    var tmp = asSequence_0($this.d2x_1);
-    var tmp0_safe_receiver = $this.u2w_1.so();
-    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.jt();
+    var tmp = asSequence_0($this.g2x_1);
+    var tmp0_safe_receiver = $this.x2w_1.vo();
+    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.mt();
     return plus(tmp, tmp1_elvis_lhs == null ? emptySequence() : tmp1_elvis_lhs);
   }
   function _get_interestingVariables__k6uw5o($this) {
-    var tmp0 = $this.g2x_1;
+    var tmp0 = $this.j2x_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     getPropertyCallableRef('interestingVariables', 1, tmp, ClassicExecutionContext$_get_interestingVariables_$ref_xwa4zu(), null);
-    return tmp0.c2();
+    return tmp0.d2();
   }
   function ClassicExecutionContext$pathToRoot$slambda(this$0, resultContinuation) {
-    this.p2z_1 = this$0;
+    this.s2z_1 = this$0;
     CoroutineImpl.call(this, resultContinuation);
   }
-  protoOf(ClassicExecutionContext$pathToRoot$slambda).s2z = function ($this$sequence, $completion) {
-    var tmp = this.t2z($this$sequence, $completion);
-    tmp.i8_1 = Unit_instance;
-    tmp.j8_1 = null;
-    return tmp.o8();
+  protoOf(ClassicExecutionContext$pathToRoot$slambda).v2z = function ($this$sequence, $completion) {
+    var tmp = this.w2z($this$sequence, $completion);
+    tmp.j8_1 = Unit_instance;
+    tmp.k8_1 = null;
+    return tmp.p8();
   };
-  protoOf(ClassicExecutionContext$pathToRoot$slambda).f9 = function (p1, $completion) {
-    return this.s2z(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
+  protoOf(ClassicExecutionContext$pathToRoot$slambda).g9 = function (p1, $completion) {
+    return this.v2z(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
   };
-  protoOf(ClassicExecutionContext$pathToRoot$slambda).o8 = function () {
-    var suspendResult = this.i8_1;
+  protoOf(ClassicExecutionContext$pathToRoot$slambda).p8 = function () {
+    var suspendResult = this.j8_1;
     $sm: do
       try {
-        var tmp = this.g8_1;
+        var tmp = this.h8_1;
         switch (tmp) {
           case 0:
-            this.h8_1 = 4;
-            this.r2z_1 = this.p2z_1;
-            this.g8_1 = 1;
+            this.i8_1 = 4;
+            this.u2z_1 = this.s2z_1;
+            this.h8_1 = 1;
             continue $sm;
           case 1:
-            if (!!(this.r2z_1 == null)) {
-              this.g8_1 = 3;
+            if (!!(this.u2z_1 == null)) {
+              this.h8_1 = 3;
               continue $sm;
             }
 
-            this.g8_1 = 2;
-            suspendResult = this.q2z_1.nc(this.r2z_1, this);
+            this.h8_1 = 2;
+            suspendResult = this.t2z_1.oc(this.u2z_1, this);
             if (suspendResult === get_COROUTINE_SUSPENDED()) {
               return suspendResult;
             }
 
             continue $sm;
           case 2:
-            this.r2z_1 = this.r2z_1.a2x_1;
-            this.g8_1 = 1;
+            this.u2z_1 = this.u2z_1.d2x_1;
+            this.h8_1 = 1;
             continue $sm;
           case 3:
             return Unit_instance;
           case 4:
-            throw this.j8_1;
+            throw this.k8_1;
         }
       } catch ($p) {
         var e = $p;
-        if (this.h8_1 === 4) {
+        if (this.i8_1 === 4) {
           throw e;
         } else {
-          this.g8_1 = this.h8_1;
-          this.j8_1 = e;
+          this.h8_1 = this.i8_1;
+          this.k8_1 = e;
         }
       }
      while (true);
   };
-  protoOf(ClassicExecutionContext$pathToRoot$slambda).t2z = function ($this$sequence, completion) {
-    var i = new ClassicExecutionContext$pathToRoot$slambda(this.p2z_1, completion);
-    i.q2z_1 = $this$sequence;
+  protoOf(ClassicExecutionContext$pathToRoot$slambda).w2z = function ($this$sequence, completion) {
+    var i = new ClassicExecutionContext$pathToRoot$slambda(this.s2z_1, completion);
+    i.t2z_1 = $this$sequence;
     return i;
   };
   function ClassicExecutionContext$pathToRoot$slambda_0(this$0, resultContinuation) {
     var i = new ClassicExecutionContext$pathToRoot$slambda(this$0, resultContinuation);
     return constructCallableReference(function ($this$sequence, $completion) {
-      return i.s2z($this$sequence, $completion);
+      return i.v2z($this$sequence, $completion);
     }, 1);
   }
   function ClassicExecutionContext$currentGoal$delegate$lambda(this$0) {
     return function () {
       var tmp;
-      if (this$0.u2w_1.uo()) {
+      if (this$0.x2w_1.xo()) {
         tmp = null;
       } else {
-        var tmp0_safe_receiver = this$0.u2w_1.so();
-        tmp = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.applySubstitution(this$0.s2w_1);
+        var tmp0_safe_receiver = this$0.x2w_1.vo();
+        tmp = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.applySubstitution(this$0.v2w_1);
       }
       return tmp;
     };
   }
   function ClassicExecutionContext$_get_currentGoal_$ref_ulveh3() {
     return constructCallableReference(function (p0) {
-      return p0.u2z();
+      return p0.x2z();
     }, 1, 0, 84);
   }
   function ClassicExecutionContext$interestingVariables$delegate$lambda$lambda(it) {
@@ -730,8 +730,8 @@
   }
   function ClassicExecutionContext$interestingVariables$delegate$lambda(this$0) {
     return function () {
-      var tmp = plus(_get_locallyInterestingVariables__39cqti(this$0), this$0.t2w_1.jt());
-      return cached(distinct(plus(tmp, flatMap(this$0.e2x_1, ClassicExecutionContext$interestingVariables$delegate$lambda$lambda))));
+      var tmp = plus(_get_locallyInterestingVariables__39cqti(this$0), this$0.w2w_1.mt());
+      return cached(distinct(plus(tmp, flatMap(this$0.h2x_1, ClassicExecutionContext$interestingVariables$delegate$lambda$lambda))));
     };
   }
   function ClassicExecutionContext$_get_interestingVariables_$ref_xwa4zu() {
@@ -740,28 +740,28 @@
     }, 1, 0, 85);
   }
   function ClassicExecutionContext$logicStackTrace$delegate$lambda$lambda(it) {
-    return it.v2z();
+    return it.y2z();
   }
   function ClassicExecutionContext$logicStackTrace$delegate$lambda$lambda_0(this$0) {
     return function (it) {
-      var tmp0_elvis_lhs = it.i2w_1;
-      return tmp0_elvis_lhs == null ? Companion_getInstance_1().of('?-', [this$0.t2w_1]) : tmp0_elvis_lhs;
+      var tmp0_elvis_lhs = it.l2w_1;
+      return tmp0_elvis_lhs == null ? Companion_getInstance_1().of('?-', [this$0.w2w_1]) : tmp0_elvis_lhs;
     };
   }
   function ClassicExecutionContext$logicStackTrace$delegate$lambda(this$0) {
     return function () {
-      var tmp = filter(this$0.e2x_1, ClassicExecutionContext$logicStackTrace$delegate$lambda$lambda);
+      var tmp = filter(this$0.h2x_1, ClassicExecutionContext$logicStackTrace$delegate$lambda$lambda);
       return toList(map(tmp, ClassicExecutionContext$logicStackTrace$delegate$lambda$lambda_0(this$0)));
     };
   }
   function ClassicExecutionContext$_get_logicStackTrace_$ref_p35zx2() {
     return constructCallableReference(function (p0) {
-      return p0.w1t();
+      return p0.z1t();
     }, 1, 0, 86);
   }
   function ClassicExecutionContext(procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables) {
     procedure = procedure === VOID ? null : procedure;
-    unificator = unificator === VOID ? Companion_getInstance().v1j() : unificator;
+    unificator = unificator === VOID ? Companion_getInstance().y1j() : unificator;
     libraries = libraries === VOID ? Companion_instance.empty() : libraries;
     flags = flags === VOID ? Companion_getInstance_0().empty() : flags;
     staticKb = staticKb === VOID ? Companion_instance_0.empty(unificator) : staticKb;
@@ -771,7 +771,7 @@
     outputChannels = outputChannels === VOID ? Companion_instance_5.fromStandard() : outputChannels;
     customData = customData === VOID ? Companion_instance_6.empty() : customData;
     substitution = substitution === VOID ? Companion_getInstance_2().empty() : substitution;
-    query = query === VOID ? Companion_getInstance_3().ys_1 : query;
+    query = query === VOID ? Companion_getInstance_3().bt_1 : query;
     goals = goals === VOID ? Companion_instance_7.empty() : goals;
     rules = rules === VOID ? Companion_instance_7.empty() : rules;
     primitives = primitives === VOID ? Companion_instance_7.empty() : primitives;
@@ -781,197 +781,194 @@
     depth = depth === VOID ? 0 : depth;
     step = step === VOID ? new Long(0, 0) : step;
     relevantVariables = relevantVariables === VOID ? emptySet() : relevantVariables;
-    this.i2w_1 = procedure;
-    this.j2w_1 = unificator;
-    this.k2w_1 = libraries;
-    this.l2w_1 = flags;
-    this.m2w_1 = staticKb;
-    this.n2w_1 = dynamicKb;
-    this.o2w_1 = operators;
-    this.p2w_1 = inputChannels;
-    this.q2w_1 = outputChannels;
-    this.r2w_1 = customData;
-    this.s2w_1 = substitution;
-    this.t2w_1 = query;
-    this.u2w_1 = goals;
-    this.v2w_1 = rules;
-    this.w2w_1 = primitives;
-    this.x2w_1 = startTime;
-    this.y2w_1 = maxDuration;
-    this.z2w_1 = choicePoints;
-    this.a2x_1 = parent;
-    this.b2x_1 = depth;
-    this.c2x_1 = step;
-    this.d2x_1 = relevantVariables;
+    this.l2w_1 = procedure;
+    this.m2w_1 = unificator;
+    this.n2w_1 = libraries;
+    this.o2w_1 = flags;
+    this.p2w_1 = staticKb;
+    this.q2w_1 = dynamicKb;
+    this.r2w_1 = operators;
+    this.s2w_1 = inputChannels;
+    this.t2w_1 = outputChannels;
+    this.u2w_1 = customData;
+    this.v2w_1 = substitution;
+    this.w2w_1 = query;
+    this.x2w_1 = goals;
+    this.y2w_1 = rules;
+    this.z2w_1 = primitives;
+    this.a2x_1 = startTime;
+    this.b2x_1 = maxDuration;
+    this.c2x_1 = choicePoints;
+    this.d2x_1 = parent;
+    this.e2x_1 = depth;
+    this.f2x_1 = step;
+    this.g2x_1 = relevantVariables;
     // Inline function 'kotlin.require' call
     // Inline function 'kotlin.require' call
-    if (!(this.b2x_1 === 0 && this.a2x_1 == null || (this.b2x_1 > 0 && !(this.a2x_1 == null)))) {
+    if (!(this.e2x_1 === 0 && this.d2x_1 == null || (this.e2x_1 > 0 && !(this.d2x_1 == null)))) {
       var message = 'Failed requirement.';
       throw IllegalArgumentException_init_$Create$(toString(message));
     }
     // Inline function 'kotlin.require' call
     // Inline function 'kotlin.require' call
-    if (!(compare(this.x2w_1, new Long(0, 0)) >= 0)) {
+    if (!(compare(this.a2x_1, new Long(0, 0)) >= 0)) {
       var message_0 = 'Failed requirement.';
       throw IllegalArgumentException_init_$Create$(toString(message_0));
     }
     // Inline function 'kotlin.require' call
     // Inline function 'kotlin.require' call
-    if (!(compare(this.y2w_1, new Long(0, 0)) >= 0)) {
+    if (!(compare(this.b2x_1, new Long(0, 0)) >= 0)) {
       var message_1 = 'Failed requirement.';
       throw IllegalArgumentException_init_$Create$(toString(message_1));
     }
     var tmp = this;
-    tmp.e2x_1 = sequence(ClassicExecutionContext$pathToRoot$slambda_0(this, null));
+    tmp.h2x_1 = sequence(ClassicExecutionContext$pathToRoot$slambda_0(this, null));
     var tmp_0 = this;
-    tmp_0.f2x_1 = lazy(ClassicExecutionContext$currentGoal$delegate$lambda(this));
+    tmp_0.i2x_1 = lazy(ClassicExecutionContext$currentGoal$delegate$lambda(this));
     var tmp_1 = this;
-    tmp_1.g2x_1 = lazy(ClassicExecutionContext$interestingVariables$delegate$lambda(this));
+    tmp_1.j2x_1 = lazy(ClassicExecutionContext$interestingVariables$delegate$lambda(this));
     var tmp_2 = this;
-    tmp_2.h2x_1 = lazy(ClassicExecutionContext$logicStackTrace$delegate$lambda(this));
+    tmp_2.k2x_1 = lazy(ClassicExecutionContext$logicStackTrace$delegate$lambda(this));
   }
-  protoOf(ClassicExecutionContext).u1t = function () {
-    return this.i2w_1;
-  };
-  protoOf(ClassicExecutionContext).c1k = function () {
-    return this.j2w_1;
-  };
-  protoOf(ClassicExecutionContext).z1t = function () {
-    return this.k2w_1;
-  };
-  protoOf(ClassicExecutionContext).a1u = function () {
+  protoOf(ClassicExecutionContext).x1t = function () {
     return this.l2w_1;
   };
-  protoOf(ClassicExecutionContext).b1u = function () {
+  protoOf(ClassicExecutionContext).f1k = function () {
     return this.m2w_1;
   };
   protoOf(ClassicExecutionContext).c1u = function () {
     return this.n2w_1;
   };
-  protoOf(ClassicExecutionContext).i1u = function () {
+  protoOf(ClassicExecutionContext).d1u = function () {
     return this.o2w_1;
   };
-  protoOf(ClassicExecutionContext).d1u = function () {
+  protoOf(ClassicExecutionContext).e1u = function () {
     return this.p2w_1;
   };
-  protoOf(ClassicExecutionContext).e1u = function () {
+  protoOf(ClassicExecutionContext).f1u = function () {
     return this.q2w_1;
   };
-  protoOf(ClassicExecutionContext).x1t = function () {
+  protoOf(ClassicExecutionContext).l1u = function () {
     return this.r2w_1;
   };
-  protoOf(ClassicExecutionContext).v1t = function () {
+  protoOf(ClassicExecutionContext).g1u = function () {
     return this.s2w_1;
   };
-  protoOf(ClassicExecutionContext).p1t = function () {
-    return this.x2w_1;
+  protoOf(ClassicExecutionContext).h1u = function () {
+    return this.t2w_1;
+  };
+  protoOf(ClassicExecutionContext).a1u = function () {
+    return this.u2w_1;
+  };
+  protoOf(ClassicExecutionContext).y1t = function () {
+    return this.v2w_1;
+  };
+  protoOf(ClassicExecutionContext).s1t = function () {
+    return this.a2x_1;
   };
-  protoOf(ClassicExecutionContext).r1t = function () {
-    return this.y2w_1;
+  protoOf(ClassicExecutionContext).u1t = function () {
+    return this.b2x_1;
   };
-  protoOf(ClassicExecutionContext).w2z = function () {
-    return this.b2x_1 === 0;
+  protoOf(ClassicExecutionContext).z2z = function () {
+    return this.e2x_1 === 0;
   };
-  protoOf(ClassicExecutionContext).g2y = function () {
-    var tmp0_safe_receiver = this.z2w_1;
-    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.g2y();
+  protoOf(ClassicExecutionContext).j2y = function () {
+    var tmp0_safe_receiver = this.c2x_1;
+    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.j2y();
     return tmp1_elvis_lhs == null ? false : tmp1_elvis_lhs;
   };
-  protoOf(ClassicExecutionContext).v2z = function () {
-    return this.a2x_1 == null || (this.b2x_1 - this.a2x_1.b2x_1 | 0) >= 1;
+  protoOf(ClassicExecutionContext).y2z = function () {
+    return this.d2x_1 == null || (this.e2x_1 - this.d2x_1.e2x_1 | 0) >= 1;
   };
-  protoOf(ClassicExecutionContext).u2z = function () {
-    var tmp0 = this.f2x_1;
+  protoOf(ClassicExecutionContext).x2z = function () {
+    var tmp0 = this.i2x_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     getPropertyCallableRef('currentGoal', 1, tmp, ClassicExecutionContext$_get_currentGoal_$ref_ulveh3(), null);
-    return tmp0.c2();
+    return tmp0.d2();
   };
-  protoOf(ClassicExecutionContext).x2z = function (variable) {
+  protoOf(ClassicExecutionContext).a30 = function (variable) {
     return contains(_get_interestingVariables__k6uw5o(this), variable);
   };
-  protoOf(ClassicExecutionContext).w1t = function () {
-    var tmp0 = this.h2x_1;
+  protoOf(ClassicExecutionContext).z1t = function () {
+    var tmp0 = this.k2x_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     getPropertyCallableRef('logicStackTrace', 1, tmp, ClassicExecutionContext$_get_logicStackTrace_$ref_p35zx2(), null);
-    return tmp0.c2();
+    return tmp0.d2();
   };
-  protoOf(ClassicExecutionContext).y1t = function (unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels) {
+  protoOf(ClassicExecutionContext).b1u = function (unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels) {
     return ClassicSolver_init_$Create$(unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, true);
   };
   protoOf(ClassicExecutionContext).createSolver = function (unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, $super) {
     return this.createSolver(unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, ($super == null ? true : $super instanceof ClassicExecutionContext) ? $super : THROW_CCE());
   };
-  protoOf(ClassicExecutionContext).f1u = function (unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels) {
+  protoOf(ClassicExecutionContext).i1u = function (unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels) {
     return MutableClassicSolver_init_$Create$(unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, true);
   };
   protoOf(ClassicExecutionContext).createMutableSolver = function (unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, $super) {
     return this.createMutableSolver(unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, ($super == null ? true : $super instanceof ClassicExecutionContext) ? $super : THROW_CCE());
   };
-  protoOf(ClassicExecutionContext).h1u = function (unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData) {
-    return this.z2x(VOID, unificator, libraries, flags, staticKb, dynamicKb.toMutableTheory(), operators, inputChannels, outputChannels, customData);
+  protoOf(ClassicExecutionContext).k1u = function (unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData) {
+    return this.c2y(VOID, unificator, libraries, flags, staticKb, dynamicKb.toMutableTheory(), operators, inputChannels, outputChannels, customData);
   };
   protoOf(ClassicExecutionContext).update = function (unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, $super) {
     return this.update(unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, ($super == null ? true : $super instanceof ClassicExecutionContext) ? $super : THROW_CCE());
   };
-  protoOf(ClassicExecutionContext).y2z = function (sideEffect) {
+  protoOf(ClassicExecutionContext).b30 = function (sideEffect) {
     var tmp = apply.call(this, sideEffect);
     return tmp instanceof ClassicExecutionContext ? tmp : THROW_CCE();
   };
   protoOf(ClassicExecutionContext).apply = function (sideEffect) {
-    return this.y2z(sideEffect);
+    return this.b30(sideEffect);
   };
-  protoOf(ClassicExecutionContext).z2z = function (sideEffects) {
+  protoOf(ClassicExecutionContext).c30 = function (sideEffects) {
     var tmp = applyIterable.call(this, sideEffects);
     return tmp instanceof ClassicExecutionContext ? tmp : THROW_CCE();
   };
   protoOf(ClassicExecutionContext).applyIterable = function (sideEffects) {
-    return this.z2z(sideEffects);
+    return this.c30(sideEffects);
   };
-  protoOf(ClassicExecutionContext).a30 = function (sideEffects) {
+  protoOf(ClassicExecutionContext).d30 = function (sideEffects) {
     var tmp = applySequence.call(this, sideEffects);
     return tmp instanceof ClassicExecutionContext ? tmp : THROW_CCE();
   };
   protoOf(ClassicExecutionContext).applySequence = function (sideEffects) {
-    return this.a30(sideEffects);
+    return this.d30(sideEffects);
   };
   protoOf(ClassicExecutionContext).toString = function () {
-    return 'ClassicExecutionContext(' + ('step=' + this.c2x_1.toString() + ', ') + ('depth=' + this.b2x_1 + ', ') + ('substitution=' + toString(this.s2w_1) + ', ') + ('logicStackTrace=' + toString(this.w1t()) + ', ') + ('goals=' + toString(this.u2w_1) + ', ') + ('rules=' + toString(this.v2w_1) + ', ') + ('primitives=' + toString(this.w2w_1) + ', ') + ('startTime=' + this.x2w_1.toString() + ', ') + ('endTime=' + this.q1t().toString() + ', ') + ('maxDuration=' + this.y2w_1.toString() + ', ') + ('unificator=' + toString(this.j2w_1) + ', ') + ('choicePoints=' + toString_0(this.z2w_1)) + ')';
+    return 'ClassicExecutionContext(' + ('step=' + this.f2x_1.toString() + ', ') + ('depth=' + this.e2x_1 + ', ') + ('substitution=' + toString(this.v2w_1) + ', ') + ('logicStackTrace=' + toString(this.z1t()) + ', ') + ('goals=' + toString(this.x2w_1) + ', ') + ('rules=' + toString(this.y2w_1) + ', ') + ('primitives=' + toString(this.z2w_1) + ', ') + ('startTime=' + this.a2x_1.toString() + ', ') + ('endTime=' + this.t1t().toString() + ', ') + ('maxDuration=' + this.b2x_1.toString() + ', ') + ('unificator=' + toString(this.m2w_1) + ', ') + ('choicePoints=' + toString_0(this.c2x_1)) + ')';
   };
-  protoOf(ClassicExecutionContext).b30 = function (procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables) {
+  protoOf(ClassicExecutionContext).e30 = function (procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables) {
     return new ClassicExecutionContext(procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables);
   };
-  protoOf(ClassicExecutionContext).z2x = function (procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables, $super) {
-    procedure = procedure === VOID ? this.i2w_1 : procedure;
-    unificator = unificator === VOID ? this.j2w_1 : unificator;
-    libraries = libraries === VOID ? this.k2w_1 : libraries;
-    flags = flags === VOID ? this.l2w_1 : flags;
-    staticKb = staticKb === VOID ? this.m2w_1 : staticKb;
-    dynamicKb = dynamicKb === VOID ? this.n2w_1 : dynamicKb;
-    operators = operators === VOID ? this.o2w_1 : operators;
-    inputChannels = inputChannels === VOID ? this.p2w_1 : inputChannels;
-    outputChannels = outputChannels === VOID ? this.q2w_1 : outputChannels;
-    customData = customData === VOID ? this.r2w_1 : customData;
-    substitution = substitution === VOID ? this.s2w_1 : substitution;
-    query = query === VOID ? this.t2w_1 : query;
-    goals = goals === VOID ? this.u2w_1 : goals;
-    rules = rules === VOID ? this.v2w_1 : rules;
-    primitives = primitives === VOID ? this.w2w_1 : primitives;
-    startTime = startTime === VOID ? this.x2w_1 : startTime;
-    maxDuration = maxDuration === VOID ? this.y2w_1 : maxDuration;
-    choicePoints = choicePoints === VOID ? this.z2w_1 : choicePoints;
-    parent = parent === VOID ? this.a2x_1 : parent;
-    depth = depth === VOID ? this.b2x_1 : depth;
-    step = step === VOID ? this.c2x_1 : step;
-    relevantVariables = relevantVariables === VOID ? this.d2x_1 : relevantVariables;
-    return $super === VOID ? this.b30(procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables) : $super.b30.call(this, procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables);
+  protoOf(ClassicExecutionContext).c2y = function (procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables, $super) {
+    procedure = procedure === VOID ? this.l2w_1 : procedure;
+    unificator = unificator === VOID ? this.m2w_1 : unificator;
+    libraries = libraries === VOID ? this.n2w_1 : libraries;
+    flags = flags === VOID ? this.o2w_1 : flags;
+    staticKb = staticKb === VOID ? this.p2w_1 : staticKb;
+    dynamicKb = dynamicKb === VOID ? this.q2w_1 : dynamicKb;
+    operators = operators === VOID ? this.r2w_1 : operators;
+    inputChannels = inputChannels === VOID ? this.s2w_1 : inputChannels;
+    outputChannels = outputChannels === VOID ? this.t2w_1 : outputChannels;
+    customData = customData === VOID ? this.u2w_1 : customData;
+    substitution = substitution === VOID ? this.v2w_1 : substitution;
+    query = query === VOID ? this.w2w_1 : query;
+    goals = goals === VOID ? this.x2w_1 : goals;
+    rules = rules === VOID ? this.y2w_1 : rules;
+    primitives = primitives === VOID ? this.z2w_1 : primitives;
+    startTime = startTime === VOID ? this.a2x_1 : startTime;
+    maxDuration = maxDuration === VOID ? this.b2x_1 : maxDuration;
+    choicePoints = choicePoints === VOID ? this.c2x_1 : choicePoints;
+    parent = parent === VOID ? this.d2x_1 : parent;
+    depth = depth === VOID ? this.e2x_1 : depth;
+    step = step === VOID ? this.f2x_1 : step;
+    relevantVariables = relevantVariables === VOID ? this.g2x_1 : relevantVariables;
+    return $super === VOID ? this.e30(procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables) : $super.e30.call(this, procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables);
   };
   protoOf(ClassicExecutionContext).hashCode = function () {
-    var result = this.i2w_1 == null ? 0 : this.i2w_1.hashCode();
-    result = imul(result, 31) + hashCode(this.j2w_1) | 0;
-    result = imul(result, 31) + hashCode(this.k2w_1) | 0;
-    result = imul(result, 31) + this.l2w_1.hashCode() | 0;
+    var result = this.l2w_1 == null ? 0 : this.l2w_1.hashCode();
     result = imul(result, 31) + hashCode(this.m2w_1) | 0;
     result = imul(result, 31) + hashCode(this.n2w_1) | 0;
     result = imul(result, 31) + this.o2w_1.hashCode() | 0;
@@ -979,17 +976,20 @@
     result = imul(result, 31) + hashCode(this.q2w_1) | 0;
     result = imul(result, 31) + this.r2w_1.hashCode() | 0;
     result = imul(result, 31) + hashCode(this.s2w_1) | 0;
-    result = imul(result, 31) + this.t2w_1.hashCode() | 0;
-    result = imul(result, 31) + hashCode(this.u2w_1) | 0;
+    result = imul(result, 31) + hashCode(this.t2w_1) | 0;
+    result = imul(result, 31) + this.u2w_1.hashCode() | 0;
     result = imul(result, 31) + hashCode(this.v2w_1) | 0;
-    result = imul(result, 31) + hashCode(this.w2w_1) | 0;
-    result = imul(result, 31) + this.x2w_1.hashCode() | 0;
-    result = imul(result, 31) + this.y2w_1.hashCode() | 0;
-    result = imul(result, 31) + (this.z2w_1 == null ? 0 : hashCode(this.z2w_1)) | 0;
-    result = imul(result, 31) + (this.a2x_1 == null ? 0 : this.a2x_1.hashCode()) | 0;
-    result = imul(result, 31) + this.b2x_1 | 0;
-    result = imul(result, 31) + this.c2x_1.hashCode() | 0;
-    result = imul(result, 31) + hashCode(this.d2x_1) | 0;
+    result = imul(result, 31) + this.w2w_1.hashCode() | 0;
+    result = imul(result, 31) + hashCode(this.x2w_1) | 0;
+    result = imul(result, 31) + hashCode(this.y2w_1) | 0;
+    result = imul(result, 31) + hashCode(this.z2w_1) | 0;
+    result = imul(result, 31) + this.a2x_1.hashCode() | 0;
+    result = imul(result, 31) + this.b2x_1.hashCode() | 0;
+    result = imul(result, 31) + (this.c2x_1 == null ? 0 : hashCode(this.c2x_1)) | 0;
+    result = imul(result, 31) + (this.d2x_1 == null ? 0 : this.d2x_1.hashCode()) | 0;
+    result = imul(result, 31) + this.e2x_1 | 0;
+    result = imul(result, 31) + this.f2x_1.hashCode() | 0;
+    result = imul(result, 31) + hashCode(this.g2x_1) | 0;
     return result;
   };
   protoOf(ClassicExecutionContext).equals = function (other) {
@@ -997,13 +997,7 @@
       return true;
     if (!(other instanceof ClassicExecutionContext))
       return false;
-    if (!equals(this.i2w_1, other.i2w_1))
-      return false;
-    if (!equals(this.j2w_1, other.j2w_1))
-      return false;
-    if (!equals(this.k2w_1, other.k2w_1))
-      return false;
-    if (!this.l2w_1.equals(other.l2w_1))
+    if (!equals(this.l2w_1, other.l2w_1))
       return false;
     if (!equals(this.m2w_1, other.m2w_1))
       return false;
@@ -1019,32 +1013,38 @@
       return false;
     if (!equals(this.s2w_1, other.s2w_1))
       return false;
-    if (!this.t2w_1.equals(other.t2w_1))
+    if (!equals(this.t2w_1, other.t2w_1))
       return false;
-    if (!equals(this.u2w_1, other.u2w_1))
+    if (!this.u2w_1.equals(other.u2w_1))
       return false;
     if (!equals(this.v2w_1, other.v2w_1))
       return false;
-    if (!equals(this.w2w_1, other.w2w_1))
+    if (!this.w2w_1.equals(other.w2w_1))
       return false;
-    if (!equalsLong(this.x2w_1, other.x2w_1))
+    if (!equals(this.x2w_1, other.x2w_1))
       return false;
-    if (!equalsLong(this.y2w_1, other.y2w_1))
+    if (!equals(this.y2w_1, other.y2w_1))
       return false;
     if (!equals(this.z2w_1, other.z2w_1))
       return false;
-    if (!equals(this.a2x_1, other.a2x_1))
+    if (!equalsLong(this.a2x_1, other.a2x_1))
       return false;
-    if (!(this.b2x_1 === other.b2x_1))
+    if (!equalsLong(this.b2x_1, other.b2x_1))
       return false;
-    if (!equalsLong(this.c2x_1, other.c2x_1))
+    if (!equals(this.c2x_1, other.c2x_1))
       return false;
     if (!equals(this.d2x_1, other.d2x_1))
       return false;
+    if (!(this.e2x_1 === other.e2x_1))
+      return false;
+    if (!equalsLong(this.f2x_1, other.f2x_1))
+      return false;
+    if (!equals(this.g2x_1, other.g2x_1))
+      return false;
     return true;
   };
   function ClassicSolver_init_$Init$(unificator, libraries, flags, initialStaticKb, initialDynamicKb, inputChannels, outputChannels, trustKb, $this) {
-    unificator = unificator === VOID ? Companion_getInstance().v1j() : unificator;
+    unificator = unificator === VOID ? Companion_getInstance().y1j() : unificator;
     libraries = libraries === VOID ? Companion_instance.empty() : libraries;
     flags = flags === VOID ? Companion_getInstance_0().empty() : flags;
     initialStaticKb = initialStaticKb === VOID ? Companion_instance_0.empty(unificator) : initialStaticKb;
@@ -1060,7 +1060,7 @@
     return ClassicSolver_init_$Init$(unificator, libraries, flags, initialStaticKb, initialDynamicKb, inputChannels, outputChannels, trustKb, objectCreate(protoOf(ClassicSolver)));
   }
   function ClassicSolver_init_$Init$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb, $this) {
-    unificator = unificator === VOID ? Companion_getInstance().v1j() : unificator;
+    unificator = unificator === VOID ? Companion_getInstance().y1j() : unificator;
     libraries = libraries === VOID ? Companion_instance.empty() : libraries;
     flags = flags === VOID ? Companion_getInstance_0().empty() : flags;
     staticKb = staticKb === VOID ? Companion_instance_0.empty(unificator) : staticKb;
@@ -1077,47 +1077,47 @@
   function ClassicSolver_init_$Create$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb) {
     return ClassicSolver_init_$Init$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb, objectCreate(protoOf(ClassicSolver)));
   }
-  protoOf(ClassicSolver).k2x = function (initialState, onStateTransition) {
-    return Companion_instance_15.d30(initialState, onStateTransition);
+  protoOf(ClassicSolver).n2x = function (initialState, onStateTransition) {
+    return Companion_instance_15.g30(initialState, onStateTransition);
   };
-  protoOf(ClassicSolver).j1w = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
+  protoOf(ClassicSolver).m1w = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
     return ClassicSolver_init_$Create$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings);
   };
   protoOf(ClassicSolver).copy = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, $super) {
     return this.copy(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, ($super == null ? true : $super instanceof ClassicSolver) ? $super : THROW_CCE());
   };
-  protoOf(ClassicSolver).r1r = function () {
+  protoOf(ClassicSolver).u1r = function () {
     return this.copy();
   };
   protoOf(ClassicSolver).clone = function () {
-    return this.r1r();
+    return this.u1r();
   };
   function ClassicSolver() {
   }
   function ClassicSolverFactory() {
   }
-  protoOf(ClassicSolverFactory).l1w = function () {
+  protoOf(ClassicSolverFactory).o1w = function () {
     return DefaultBuiltins_getInstance();
   };
-  protoOf(ClassicSolverFactory).w1w = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs) {
+  protoOf(ClassicSolverFactory).z1w = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs) {
     return ClassicSolver_init_$Create$(unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs);
   };
   protoOf(ClassicSolverFactory).rawSolverOf = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs, $super) {
     return this.rawSolverOf(unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs, ($super == null ? true : $super instanceof ClassicSolverFactory) ? $super : THROW_CCE());
   };
-  protoOf(ClassicSolverFactory).c1x = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
+  protoOf(ClassicSolverFactory).f1x = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
     return ClassicSolver_init_$Create$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings);
   };
   protoOf(ClassicSolverFactory).solverOf = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, $super) {
     return this.solverOf(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, ($super == null ? true : $super instanceof ClassicSolverFactory) ? $super : THROW_CCE());
   };
-  protoOf(ClassicSolverFactory).e1x = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
+  protoOf(ClassicSolverFactory).h1x = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
     return MutableClassicSolver_init_$Create$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings);
   };
   protoOf(ClassicSolverFactory).mutableSolverOf = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, $super) {
     return this.mutableSolverOf(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, ($super == null ? true : $super instanceof ClassicSolverFactory) ? $super : THROW_CCE());
   };
-  protoOf(ClassicSolverFactory).g1x = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs) {
+  protoOf(ClassicSolverFactory).j1x = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs) {
     return MutableClassicSolver_init_$Create$(unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs);
   };
   protoOf(ClassicSolverFactory).rawMutableSolverOf = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs, $super) {
@@ -1128,7 +1128,7 @@
     return ClassicSolverFactory_instance;
   }
   function MutableClassicSolver_init_$Init$(unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, trustKb, $this) {
-    unificator = unificator === VOID ? Companion_getInstance().v1j() : unificator;
+    unificator = unificator === VOID ? Companion_getInstance().y1j() : unificator;
     libraries = libraries === VOID ? Companion_instance.empty() : libraries;
     flags = flags === VOID ? Companion_getInstance_0().empty() : flags;
     staticKb = staticKb === VOID ? Companion_instance_0.empty(unificator) : staticKb;
@@ -1144,7 +1144,7 @@
     return MutableClassicSolver_init_$Init$(unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, trustKb, objectCreate(protoOf(MutableClassicSolver)));
   }
   function MutableClassicSolver_init_$Init$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb, $this) {
-    unificator = unificator === VOID ? Companion_getInstance().v1j() : unificator;
+    unificator = unificator === VOID ? Companion_getInstance().y1j() : unificator;
     libraries = libraries === VOID ? Companion_instance.empty() : libraries;
     flags = flags === VOID ? Companion_getInstance_0().empty() : flags;
     staticKb = staticKb === VOID ? Companion_instance_0.empty(unificator) : staticKb;
@@ -1163,265 +1163,265 @@
   }
   function MutableClassicSolver$loadLibrary$lambda($library) {
     return function ($this$updateContext) {
-      var newRuntime = $this$updateContext.k2w_1.plusLibrary($library);
-      return $this$updateContext.z2x(VOID, VOID, newRuntime, VOID, VOID, VOID, $this$updateContext.o2w_1.plusOperatorSet(toOperatorSet(getAllOperators(newRuntime, []))));
+      var newRuntime = $this$updateContext.n2w_1.plusLibrary($library);
+      return $this$updateContext.c2y(VOID, VOID, newRuntime, VOID, VOID, VOID, $this$updateContext.r2w_1.plusOperatorSet(toOperatorSet(getAllOperators(newRuntime, []))));
     };
   }
   function MutableClassicSolver$unloadLibrary$lambda($library) {
     return function ($this$updateContext) {
-      var newRuntime = $this$updateContext.k2w_1.plusLibrary($library);
-      return $this$updateContext.z2x(VOID, VOID, newRuntime, VOID, VOID, VOID, toOperatorSet(getAllOperators(newRuntime, [$this$updateContext.m2w_1, $this$updateContext.n2w_1])));
+      var newRuntime = $this$updateContext.n2w_1.plusLibrary($library);
+      return $this$updateContext.c2y(VOID, VOID, newRuntime, VOID, VOID, VOID, toOperatorSet(getAllOperators(newRuntime, [$this$updateContext.p2w_1, $this$updateContext.q2w_1])));
     };
   }
   function MutableClassicSolver$setRuntime$lambda($libraries) {
     return function ($this$updateContext) {
-      return $this$updateContext.z2x(VOID, VOID, $libraries, VOID, VOID, VOID, toOperatorSet(getAllOperators($libraries, [$this$updateContext.m2w_1, $this$updateContext.n2w_1])));
+      return $this$updateContext.c2y(VOID, VOID, $libraries, VOID, VOID, VOID, toOperatorSet(getAllOperators($libraries, [$this$updateContext.p2w_1, $this$updateContext.q2w_1])));
     };
   }
   function MutableClassicSolver$resetStaticKb$lambda($this$updateContext) {
-    return $this$updateContext.z2x(VOID, VOID, VOID, VOID, Companion_instance_0.empty($this$updateContext.j2w_1), VOID, toOperatorSet(getAllOperators($this$updateContext.k2w_1, [$this$updateContext.n2w_1])));
+    return $this$updateContext.c2y(VOID, VOID, VOID, VOID, Companion_instance_0.empty($this$updateContext.m2w_1), VOID, toOperatorSet(getAllOperators($this$updateContext.n2w_1, [$this$updateContext.q2w_1])));
   }
   function MutableClassicSolver$resetDynamicKb$lambda($this$updateContext) {
-    return $this$updateContext.z2x(VOID, VOID, VOID, VOID, VOID, Companion_instance_1.empty($this$updateContext.j2w_1), toOperatorSet(getAllOperators($this$updateContext.k2w_1, [$this$updateContext.m2w_1])));
+    return $this$updateContext.c2y(VOID, VOID, VOID, VOID, VOID, Companion_instance_1.empty($this$updateContext.m2w_1), toOperatorSet(getAllOperators($this$updateContext.n2w_1, [$this$updateContext.p2w_1])));
   }
   function MutableClassicSolver$assertA$lambda($clause) {
     return function ($this$updateContext) {
-      return $this$updateContext.z2x(VOID, VOID, VOID, VOID, VOID, $this$updateContext.n2w_1.h1r($clause), $this$updateContext.o2w_1.plusOperatorSet(toOperatorSet(getAllOperators_0(listOf($clause)))));
+      return $this$updateContext.c2y(VOID, VOID, VOID, VOID, VOID, $this$updateContext.q2w_1.k1r($clause), $this$updateContext.r2w_1.plusOperatorSet(toOperatorSet(getAllOperators_0(listOf($clause)))));
     };
   }
   function MutableClassicSolver$assertA$lambda_0($fact) {
     return function ($this$updateContext) {
-      return $this$updateContext.z2x(VOID, VOID, VOID, VOID, VOID, $this$updateContext.n2w_1.g1s($fact));
+      return $this$updateContext.c2y(VOID, VOID, VOID, VOID, VOID, $this$updateContext.q2w_1.j1s($fact));
     };
   }
   function MutableClassicSolver$assertZ$lambda($clause) {
     return function ($this$updateContext) {
-      return $this$updateContext.z2x(VOID, VOID, VOID, VOID, VOID, $this$updateContext.n2w_1.l1r($clause), $this$updateContext.o2w_1.plusOperatorSet(toOperatorSet(getAllOperators_0(listOf($clause)))));
+      return $this$updateContext.c2y(VOID, VOID, VOID, VOID, VOID, $this$updateContext.q2w_1.o1r($clause), $this$updateContext.r2w_1.plusOperatorSet(toOperatorSet(getAllOperators_0(listOf($clause)))));
     };
   }
   function MutableClassicSolver$assertZ$lambda_0($fact) {
     return function ($this$updateContext) {
-      return $this$updateContext.z2x(VOID, VOID, VOID, VOID, VOID, $this$updateContext.n2w_1.h1s($fact));
+      return $this$updateContext.c2y(VOID, VOID, VOID, VOID, VOID, $this$updateContext.q2w_1.k1s($fact));
     };
   }
   function MutableClassicSolver$retract$lambda($result, $clause) {
     return function ($this$updateContext) {
-      return $this$updateContext.z2x(VOID, VOID, VOID, VOID, VOID, $result.z1q().toMutableTheory(), $this$updateContext.o2w_1.minusOperatorSet(toOperatorSet(getAllOperators_0(listOf($clause)))));
+      return $this$updateContext.c2y(VOID, VOID, VOID, VOID, VOID, $result.c1r().toMutableTheory(), $this$updateContext.r2w_1.minusOperatorSet(toOperatorSet(getAllOperators_0(listOf($clause)))));
     };
   }
   function MutableClassicSolver$retract$lambda_0($result) {
     return function ($this$updateContext) {
-      return $this$updateContext.z2x(VOID, VOID, VOID, VOID, VOID, $result.z1q().toMutableTheory());
+      return $this$updateContext.c2y(VOID, VOID, VOID, VOID, VOID, $result.c1r().toMutableTheory());
     };
   }
   function MutableClassicSolver$retractAll$lambda($result) {
     return function ($this$updateContext) {
-      return $this$updateContext.z2x(VOID, VOID, VOID, VOID, VOID, $result.z1q().toMutableTheory(), $this$updateContext.o2w_1.minusOperatorSet(toOperatorSet(getAllOperators_0($result.z1q()))));
+      return $this$updateContext.c2y(VOID, VOID, VOID, VOID, VOID, $result.c1r().toMutableTheory(), $this$updateContext.r2w_1.minusOperatorSet(toOperatorSet(getAllOperators_0($result.c1r()))));
     };
   }
   function MutableClassicSolver$retractAll$lambda_0($result) {
     return function ($this$updateContext) {
-      return $this$updateContext.z2x(VOID, VOID, VOID, VOID, VOID, $result.z1q().toMutableTheory());
+      return $this$updateContext.c2y(VOID, VOID, VOID, VOID, VOID, $result.c1r().toMutableTheory());
     };
   }
   function MutableClassicSolver$setFlag$lambda($name, $value) {
     return function ($this$updateContext) {
-      return $this$updateContext.z2x(VOID, VOID, VOID, $this$updateContext.l2w_1.set($name, $value));
+      return $this$updateContext.c2y(VOID, VOID, VOID, $this$updateContext.o2w_1.set($name, $value));
     };
   }
   function MutableClassicSolver$setFlag$lambda_0($flag) {
     return function ($this$updateContext) {
-      return $this$updateContext.z2x(VOID, VOID, VOID, $this$updateContext.l2w_1.plusPair($flag));
+      return $this$updateContext.c2y(VOID, VOID, VOID, $this$updateContext.o2w_1.plusPair($flag));
     };
   }
   function MutableClassicSolver$setFlag$lambda_1($flag) {
     return function ($this$updateContext) {
-      return $this$updateContext.z2x(VOID, VOID, VOID, $this$updateContext.l2w_1.plusNotable($flag));
+      return $this$updateContext.c2y(VOID, VOID, VOID, $this$updateContext.o2w_1.plusNotable($flag));
     };
   }
   function MutableClassicSolver$setStandardInput$lambda($stdIn) {
     return function ($this$updateContext) {
-      return $this$updateContext.z2x(VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this$updateContext.p2w_1.plus(to('stdin', $stdIn)));
+      return $this$updateContext.c2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this$updateContext.s2w_1.plus(to('stdin', $stdIn)));
     };
   }
   function MutableClassicSolver$setStandardError$lambda($stdErr) {
     return function ($this$updateContext) {
-      return $this$updateContext.z2x(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this$updateContext.q2w_1.plus(to('stderr', $stdErr)));
+      return $this$updateContext.c2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this$updateContext.t2w_1.plus(to('stderr', $stdErr)));
     };
   }
   function MutableClassicSolver$setStandardOutput$lambda($stdOut) {
     return function ($this$updateContext) {
-      return $this$updateContext.z2x(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this$updateContext.q2w_1.plus(to('stdout', $stdOut)));
+      return $this$updateContext.c2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this$updateContext.t2w_1.plus(to('stdout', $stdOut)));
     };
   }
   function MutableClassicSolver$setWarnings$lambda($warnings) {
     return function ($this$updateContext) {
-      return $this$updateContext.z2x(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, Companion_instance_5.u1x($this$updateContext.q2w_1, $warnings));
+      return $this$updateContext.c2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, Companion_instance_5.x1x($this$updateContext.t2w_1, $warnings));
     };
   }
-  protoOf(MutableClassicSolver).f30 = function (library) {
-    this.o29(MutableClassicSolver$loadLibrary$lambda(library));
+  protoOf(MutableClassicSolver).i30 = function (library) {
+    this.r29(MutableClassicSolver$loadLibrary$lambda(library));
   };
   protoOf(MutableClassicSolver).loadLibrary = function (library) {
-    return this.f30(library);
+    return this.i30(library);
   };
-  protoOf(MutableClassicSolver).g30 = function (library) {
-    this.o29(MutableClassicSolver$unloadLibrary$lambda(library));
+  protoOf(MutableClassicSolver).j30 = function (library) {
+    this.r29(MutableClassicSolver$unloadLibrary$lambda(library));
   };
   protoOf(MutableClassicSolver).unloadLibrary = function (library) {
-    return this.g30(library);
+    return this.j30(library);
   };
-  protoOf(MutableClassicSolver).h30 = function (libraries) {
-    this.o29(MutableClassicSolver$setRuntime$lambda(libraries));
+  protoOf(MutableClassicSolver).k30 = function (libraries) {
+    this.r29(MutableClassicSolver$setRuntime$lambda(libraries));
   };
   protoOf(MutableClassicSolver).setLibraries = function (libraries) {
-    return this.h30(libraries);
+    return this.k30(libraries);
   };
-  protoOf(MutableClassicSolver).i30 = function (theory) {
-    this.s29(theory, VOID, false);
+  protoOf(MutableClassicSolver).l30 = function (theory) {
+    this.v29(theory, VOID, false);
   };
   protoOf(MutableClassicSolver).loadStaticKb = function (theory) {
-    return this.i30(theory);
+    return this.l30(theory);
   };
-  protoOf(MutableClassicSolver).j30 = function (theory) {
-    this.s29(theory);
+  protoOf(MutableClassicSolver).m30 = function (theory) {
+    this.v29(theory);
   };
   protoOf(MutableClassicSolver).appendStaticKb = function (theory) {
-    return this.j30(theory);
+    return this.m30(theory);
   };
-  protoOf(MutableClassicSolver).k30 = function () {
-    this.o29(MutableClassicSolver$resetStaticKb$lambda);
+  protoOf(MutableClassicSolver).n30 = function () {
+    this.r29(MutableClassicSolver$resetStaticKb$lambda);
   };
   protoOf(MutableClassicSolver).resetStaticKb = function () {
-    return this.k30();
+    return this.n30();
   };
-  protoOf(MutableClassicSolver).l30 = function (theory) {
-    this.s29(VOID, theory, VOID, false);
+  protoOf(MutableClassicSolver).o30 = function (theory) {
+    this.v29(VOID, theory, VOID, false);
   };
   protoOf(MutableClassicSolver).loadDynamicKb = function (theory) {
-    return this.l30(theory);
+    return this.o30(theory);
   };
-  protoOf(MutableClassicSolver).m30 = function (theory) {
-    this.s29(VOID, theory);
+  protoOf(MutableClassicSolver).p30 = function (theory) {
+    this.v29(VOID, theory);
   };
   protoOf(MutableClassicSolver).appendDynamicKb = function (theory) {
-    return this.m30(theory);
+    return this.p30(theory);
   };
-  protoOf(MutableClassicSolver).n30 = function () {
-    this.o29(MutableClassicSolver$resetDynamicKb$lambda);
+  protoOf(MutableClassicSolver).q30 = function () {
+    this.r29(MutableClassicSolver$resetDynamicKb$lambda);
   };
   protoOf(MutableClassicSolver).resetDynamicKb = function () {
-    return this.n30();
+    return this.q30();
   };
-  protoOf(MutableClassicSolver).o1l = function (clause) {
-    this.o29(MutableClassicSolver$assertA$lambda(clause));
+  protoOf(MutableClassicSolver).r1l = function (clause) {
+    this.r29(MutableClassicSolver$assertA$lambda(clause));
   };
   protoOf(MutableClassicSolver).assertA = function (clause) {
-    return this.o1l(clause);
+    return this.r1l(clause);
   };
-  protoOf(MutableClassicSolver).o30 = function (fact) {
-    this.o29(MutableClassicSolver$assertA$lambda_0(fact));
+  protoOf(MutableClassicSolver).r30 = function (fact) {
+    this.r29(MutableClassicSolver$assertA$lambda_0(fact));
   };
   protoOf(MutableClassicSolver).assertAFact = function (fact) {
-    return this.o30(fact);
+    return this.r30(fact);
   };
-  protoOf(MutableClassicSolver).p1k = function (clause) {
-    this.o29(MutableClassicSolver$assertZ$lambda(clause));
+  protoOf(MutableClassicSolver).s1k = function (clause) {
+    this.r29(MutableClassicSolver$assertZ$lambda(clause));
   };
   protoOf(MutableClassicSolver).assertZ = function (clause) {
-    return this.p1k(clause);
+    return this.s1k(clause);
   };
-  protoOf(MutableClassicSolver).p30 = function (fact) {
-    this.o29(MutableClassicSolver$assertZ$lambda_0(fact));
+  protoOf(MutableClassicSolver).s30 = function (fact) {
+    this.r29(MutableClassicSolver$assertZ$lambda_0(fact));
   };
   protoOf(MutableClassicSolver).assertZFact = function (fact) {
-    return this.p30(fact);
+    return this.s30(fact);
   };
-  protoOf(MutableClassicSolver).i1s = function (clause) {
-    var result = this.c1u().retract(clause);
-    this.o29(MutableClassicSolver$retract$lambda(result, clause));
+  protoOf(MutableClassicSolver).l1s = function (clause) {
+    var result = this.f1u().retract(clause);
+    this.r29(MutableClassicSolver$retract$lambda(result, clause));
     return result;
   };
   protoOf(MutableClassicSolver).retract = function (clause) {
-    return this.i1s(clause);
+    return this.l1s(clause);
   };
-  protoOf(MutableClassicSolver).j1s = function (fact) {
-    var result = this.c1u().retractByHead(fact);
-    this.o29(MutableClassicSolver$retract$lambda_0(result));
+  protoOf(MutableClassicSolver).m1s = function (fact) {
+    var result = this.f1u().retractByHead(fact);
+    this.r29(MutableClassicSolver$retract$lambda_0(result));
     return result;
   };
   protoOf(MutableClassicSolver).retractByHead = function (fact) {
-    return this.j1s(fact);
+    return this.m1s(fact);
   };
-  protoOf(MutableClassicSolver).u1k = function (clause) {
-    var result = this.c1u().retractAll(clause);
-    this.o29(MutableClassicSolver$retractAll$lambda(result));
+  protoOf(MutableClassicSolver).x1k = function (clause) {
+    var result = this.f1u().retractAll(clause);
+    this.r29(MutableClassicSolver$retractAll$lambda(result));
     return result;
   };
   protoOf(MutableClassicSolver).retractAll = function (clause) {
-    return this.u1k(clause);
+    return this.x1k(clause);
   };
-  protoOf(MutableClassicSolver).q30 = function (fact) {
-    var result = this.c1u().retractAllByHead(fact);
-    this.o29(MutableClassicSolver$retractAll$lambda_0(result));
+  protoOf(MutableClassicSolver).t30 = function (fact) {
+    var result = this.f1u().retractAllByHead(fact);
+    this.r29(MutableClassicSolver$retractAll$lambda_0(result));
     return result;
   };
   protoOf(MutableClassicSolver).retractAllBeHead = function (fact) {
-    return this.q30(fact);
+    return this.t30(fact);
   };
-  protoOf(MutableClassicSolver).r30 = function (name, value) {
-    this.o29(MutableClassicSolver$setFlag$lambda(name, value));
+  protoOf(MutableClassicSolver).u30 = function (name, value) {
+    this.r29(MutableClassicSolver$setFlag$lambda(name, value));
   };
   protoOf(MutableClassicSolver).setFlag = function (name, value) {
-    return this.r30(name, value);
+    return this.u30(name, value);
   };
-  protoOf(MutableClassicSolver).s30 = function (flag) {
-    this.o29(MutableClassicSolver$setFlag$lambda_0(flag));
+  protoOf(MutableClassicSolver).v30 = function (flag) {
+    this.r29(MutableClassicSolver$setFlag$lambda_0(flag));
   };
   protoOf(MutableClassicSolver).setFlagPair = function (flag) {
-    return this.s30(flag);
+    return this.v30(flag);
   };
-  protoOf(MutableClassicSolver).t30 = function (flag) {
-    this.o29(MutableClassicSolver$setFlag$lambda_1(flag));
+  protoOf(MutableClassicSolver).w30 = function (flag) {
+    this.r29(MutableClassicSolver$setFlag$lambda_1(flag));
   };
   protoOf(MutableClassicSolver).setFlagNotable = function (flag) {
-    return this.t30(flag);
+    return this.w30(flag);
   };
-  protoOf(MutableClassicSolver).u30 = function (stdIn) {
-    this.o29(MutableClassicSolver$setStandardInput$lambda(stdIn));
+  protoOf(MutableClassicSolver).x30 = function (stdIn) {
+    this.r29(MutableClassicSolver$setStandardInput$lambda(stdIn));
   };
   protoOf(MutableClassicSolver).setStandardInput = function (stdIn) {
-    return this.u30(stdIn);
+    return this.x30(stdIn);
   };
-  protoOf(MutableClassicSolver).v30 = function (stdErr) {
-    this.o29(MutableClassicSolver$setStandardError$lambda(stdErr));
+  protoOf(MutableClassicSolver).y30 = function (stdErr) {
+    this.r29(MutableClassicSolver$setStandardError$lambda(stdErr));
   };
   protoOf(MutableClassicSolver).setStandardError = function (stdErr) {
-    return this.v30(stdErr);
+    return this.y30(stdErr);
   };
-  protoOf(MutableClassicSolver).w30 = function (stdOut) {
-    this.o29(MutableClassicSolver$setStandardOutput$lambda(stdOut));
+  protoOf(MutableClassicSolver).z30 = function (stdOut) {
+    this.r29(MutableClassicSolver$setStandardOutput$lambda(stdOut));
   };
   protoOf(MutableClassicSolver).setStandardOutput = function (stdOut) {
-    return this.w30(stdOut);
+    return this.z30(stdOut);
   };
-  protoOf(MutableClassicSolver).x30 = function (warnings) {
-    this.o29(MutableClassicSolver$setWarnings$lambda(warnings));
+  protoOf(MutableClassicSolver).a31 = function (warnings) {
+    this.r29(MutableClassicSolver$setWarnings$lambda(warnings));
   };
   protoOf(MutableClassicSolver).setWarnings = function (warnings) {
-    return this.x30(warnings);
+    return this.a31(warnings);
   };
-  protoOf(MutableClassicSolver).j1w = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
+  protoOf(MutableClassicSolver).m1w = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
     return MutableClassicSolver_init_$Create$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings);
   };
   protoOf(MutableClassicSolver).copy = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, $super) {
     return this.copy(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, ($super == null ? true : $super instanceof MutableClassicSolver) ? $super : THROW_CCE());
   };
-  protoOf(MutableClassicSolver).r1r = function () {
+  protoOf(MutableClassicSolver).u1r = function () {
     return this.copy();
   };
   protoOf(MutableClassicSolver).clone = function () {
-    return this.r1r();
+    return this.u1r();
   };
   function MutableClassicSolver() {
   }
@@ -1430,7 +1430,7 @@
   }
   function Companion() {
   }
-  protoOf(Companion).d30 = function (initialState, onStateTransition) {
+  protoOf(Companion).g30 = function (initialState, onStateTransition) {
     return new SimpleSolutionIterator(initialState, onStateTransition);
   };
   protoOf(Companion).of = function (initialState, onStateTransition, $super) {
@@ -1441,7 +1441,7 @@
       tmp = onStateTransition;
     }
     onStateTransition = tmp;
-    return $super === VOID ? this.d30(initialState, onStateTransition) : $super.d30.call(this, initialState, onStateTransition);
+    return $super === VOID ? this.g30(initialState, onStateTransition) : $super.g30.call(this, initialState, onStateTransition);
   };
   var Companion_instance_15;
   function Companion_getInstance_5() {
@@ -1449,81 +1449,81 @@
   }
   function AbstractEndState(solution, context) {
     AbstractState.call(this, context);
-    this.a31_1 = solution;
-    this.b31_1 = context;
+    this.d31_1 = solution;
+    this.e31_1 = context;
   }
-  protoOf(AbstractEndState).o2g = function () {
-    return this.a31_1;
+  protoOf(AbstractEndState).r2g = function () {
+    return this.d31_1;
   };
-  protoOf(AbstractEndState).m8 = function () {
-    return this.b31_1;
+  protoOf(AbstractEndState).n8 = function () {
+    return this.e31_1;
   };
-  protoOf(AbstractEndState).c31 = function () {
+  protoOf(AbstractEndState).f31 = function () {
     throw NoSuchElementException_init_$Create$();
   };
   protoOf(AbstractEndState).asEndState = function () {
-    return this.k31();
+    return this.n31();
   };
   function AbstractState$executionTime$delegate$lambda(this$0) {
     return function () {
-      return this$0.h31();
+      return this$0.k31();
     };
   }
   function AbstractState$_get_executionTime_$ref_gwd5wm() {
     return constructCallableReference(function (p0) {
-      return p0.f31();
+      return p0.i31();
     }, 1, 0, 87);
   }
   function AbstractState(context) {
-    this.d31_1 = context;
+    this.g31_1 = context;
     var tmp = this;
-    tmp.e31_1 = lazy(AbstractState$executionTime$delegate$lambda(this));
+    tmp.h31_1 = lazy(AbstractState$executionTime$delegate$lambda(this));
   }
-  protoOf(AbstractState).m8 = function () {
-    return this.d31_1;
+  protoOf(AbstractState).n8 = function () {
+    return this.g31_1;
   };
-  protoOf(AbstractState).f31 = function () {
-    var tmp0 = this.e31_1;
+  protoOf(AbstractState).i31 = function () {
+    var tmp0 = this.h31_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     getPropertyCallableRef('executionTime', 1, tmp, AbstractState$_get_executionTime_$ref_gwd5wm(), null);
-    return tmp0.c2();
+    return tmp0.d2();
   };
-  protoOf(AbstractState).g31 = function () {
-    return compare(subtract(this.f31(), this.m8().x2w_1), this.m8().y2w_1) > 0;
+  protoOf(AbstractState).j31 = function () {
+    return compare(subtract(this.i31(), this.n8().a2x_1), this.n8().b2x_1) > 0;
   };
   protoOf(AbstractState).q = function () {
     var tmp;
-    if (this.g31()) {
-      var tmp0_exceededDuration = this.m8().y2w_1;
-      var tmp1_context = this.m8();
-      tmp = new StateHalt(TimeOutException_init_$Create$(VOID, VOID, tmp1_context, tmp0_exceededDuration), this.m8().z2x(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.i31()));
+    if (this.j31()) {
+      var tmp0_exceededDuration = this.n8().b2x_1;
+      var tmp1_context = this.n8();
+      tmp = new StateHalt(TimeOutException_init_$Create$(VOID, VOID, tmp1_context, tmp0_exceededDuration), this.n8().c2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.l31()));
     } else {
-      tmp = this.c31();
+      tmp = this.f31();
     }
     return tmp;
   };
   protoOf(AbstractState).next = function () {
     return this.q();
   };
-  protoOf(AbstractState).h31 = function () {
+  protoOf(AbstractState).k31 = function () {
     return currentTimeInstant();
   };
-  protoOf(AbstractState).i31 = function () {
+  protoOf(AbstractState).l31 = function () {
     // Inline function 'kotlin.Long.plus' call
-    var this_0 = this.m8().c2x_1;
+    var this_0 = this.n8().f2x_1;
     return add(this_0, fromInt(1));
   };
-  protoOf(AbstractState).m31 = function (_this__u8e3s4) {
-    var tmp0 = _this__u8e3s4.e2x_1;
+  protoOf(AbstractState).p31 = function (_this__u8e3s4) {
+    var tmp0 = _this__u8e3s4.h2x_1;
     var tmp$ret$0;
     $l$block: {
       // Inline function 'kotlin.sequences.first' call
       var _iterator__ex2g4s = tmp0.m();
       while (_iterator__ex2g4s.p()) {
         var element = _iterator__ex2g4s.q();
-        var tmp0_safe_receiver = element.i2w_1;
-        var tmp = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.ht();
+        var tmp0_safe_receiver = element.l2w_1;
+        var tmp = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.kt();
         // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
         if (!(tmp === Throw_getInstance().signature.name)) {
           tmp$ret$0 = element;
@@ -1540,26 +1540,26 @@
   }
   function StateBacktracking(context) {
     AbstractState.call(this, context);
-    this.p31_1 = context;
+    this.s31_1 = context;
   }
-  protoOf(StateBacktracking).m8 = function () {
-    return this.p31_1;
+  protoOf(StateBacktracking).n8 = function () {
+    return this.s31_1;
   };
-  protoOf(StateBacktracking).c31 = function () {
-    var choicePoints = this.p31_1.z2w_1;
+  protoOf(StateBacktracking).f31 = function () {
+    var choicePoints = this.s31_1.c2x_1;
     var tmp;
     // Inline function 'kotlin.let' call
-    if (choicePoints === null || !choicePoints.g2y()) {
-      tmp = new StateEnd(Companion_instance_8.no(this.p31_1.t2w_1), this.p31_1.z2x(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.i31()));
+    if (choicePoints === null || !choicePoints.j2y()) {
+      tmp = new StateEnd(Companion_instance_8.no(this.s31_1.w2w_1), this.s31_1.c2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.l31()));
     } else {
-      var tmp0 = ensureNotNull(choicePoints).h2y();
+      var tmp0 = ensureNotNull(choicePoints).k2y();
       var tmp$ret$2;
       $l$block: {
         // Inline function 'kotlin.sequences.first' call
         var _iterator__ex2g4s = tmp0.m();
         while (_iterator__ex2g4s.p()) {
           var element = _iterator__ex2g4s.q();
-          if (element.t2x().to()) {
+          if (element.w2x().wo()) {
             tmp$ret$2 = element;
             break $l$block;
           }
@@ -1567,9 +1567,9 @@
         throw NoSuchElementException_init_$Create$_0('Sequence contains no element matching the predicate.');
       }
       var choicePointContext = tmp$ret$2;
-      var nextContext = choicePointContext.y2x(this.p31_1);
+      var nextContext = choicePointContext.b2y(this.s31_1);
       var tmp_0;
-      if (nextContext.w2w_1.to()) {
+      if (nextContext.z2w_1.wo()) {
         tmp_0 = new StatePrimitiveExecution(nextContext);
       } else {
         tmp_0 = new StateRuleExecution(nextContext);
@@ -1578,71 +1578,71 @@
     }
     return tmp;
   };
-  protoOf(StateBacktracking).l31 = function (context) {
-    return this.q31(context);
+  protoOf(StateBacktracking).o31 = function (context) {
+    return this.t31(context);
   };
   protoOf(StateBacktracking).clone = function (context, $super) {
     return this.clone(context, ($super == null ? true : $super instanceof StateBacktracking) ? $super : THROW_CCE());
   };
-  protoOf(StateBacktracking).q31 = function (context) {
+  protoOf(StateBacktracking).t31 = function (context) {
     return new StateBacktracking(context);
   };
   protoOf(StateBacktracking).toString = function () {
-    return 'StateBacktracking(context=' + this.p31_1.toString() + ')';
+    return 'StateBacktracking(context=' + this.s31_1.toString() + ')';
   };
   protoOf(StateBacktracking).hashCode = function () {
-    return this.p31_1.hashCode();
+    return this.s31_1.hashCode();
   };
   protoOf(StateBacktracking).equals = function (other) {
     if (this === other)
       return true;
     if (!(other instanceof StateBacktracking))
       return false;
-    if (!this.p31_1.equals(other.p31_1))
+    if (!this.s31_1.equals(other.s31_1))
       return false;
     return true;
   };
   function StateEnd(solution, context) {
     AbstractEndState.call(this, solution, context);
-    this.v31_1 = solution;
-    this.w31_1 = context;
+    this.y31_1 = solution;
+    this.z31_1 = context;
   }
-  protoOf(StateEnd).o2g = function () {
-    return this.v31_1;
+  protoOf(StateEnd).r2g = function () {
+    return this.y31_1;
   };
-  protoOf(StateEnd).m8 = function () {
-    return this.w31_1;
+  protoOf(StateEnd).n8 = function () {
+    return this.z31_1;
   };
-  protoOf(StateEnd).g31 = function () {
+  protoOf(StateEnd).j31 = function () {
     return false;
   };
-  protoOf(StateEnd).c31 = function () {
+  protoOf(StateEnd).f31 = function () {
     var tmp;
-    if (this.w31_1.g2y()) {
-      var tmp0_$this = this.w31_1;
-      var tmp1_step = this.i31();
-      var tmp2_startTime = this.h31();
-      tmp = new StateBacktracking(tmp0_$this.z2x(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, tmp2_startTime, VOID, VOID, VOID, VOID, tmp1_step));
+    if (this.z31_1.j2y()) {
+      var tmp0_$this = this.z31_1;
+      var tmp1_step = this.l31();
+      var tmp2_startTime = this.k31();
+      tmp = new StateBacktracking(tmp0_$this.c2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, tmp2_startTime, VOID, VOID, VOID, VOID, tmp1_step));
     } else {
-      tmp = protoOf(AbstractEndState).c31.call(this);
+      tmp = protoOf(AbstractEndState).f31.call(this);
     }
     return tmp;
   };
-  protoOf(StateEnd).l31 = function (context) {
-    return this.x31(this.v31_1, context);
+  protoOf(StateEnd).o31 = function (context) {
+    return this.a32(this.y31_1, context);
   };
   protoOf(StateEnd).clone = function (context, $super) {
     return this.clone(context, ($super == null ? true : $super instanceof StateEnd) ? $super : THROW_CCE());
   };
-  protoOf(StateEnd).x31 = function (solution, context) {
+  protoOf(StateEnd).a32 = function (solution, context) {
     return new StateEnd(solution, context);
   };
   protoOf(StateEnd).toString = function () {
-    return 'StateEnd(solution=' + toString(this.v31_1) + ', context=' + this.w31_1.toString() + ')';
+    return 'StateEnd(solution=' + toString(this.y31_1) + ', context=' + this.z31_1.toString() + ')';
   };
   protoOf(StateEnd).hashCode = function () {
-    var result = hashCode(this.v31_1);
-    result = imul(result, 31) + this.w31_1.hashCode() | 0;
+    var result = hashCode(this.y31_1);
+    result = imul(result, 31) + this.z31_1.hashCode() | 0;
     return result;
   };
   protoOf(StateEnd).equals = function (other) {
@@ -1650,19 +1650,19 @@
       return true;
     if (!(other instanceof StateEnd))
       return false;
-    if (!equals(this.v31_1, other.v31_1))
+    if (!equals(this.y31_1, other.y31_1))
       return false;
-    if (!this.w31_1.equals(other.w31_1))
+    if (!this.z31_1.equals(other.z31_1))
       return false;
     return true;
   };
   protoOf(StateEnd).asEndState = function () {
-    return this.k31();
+    return this.n31();
   };
   function isCatch($this, $receiver) {
     var tmp;
-    if ($receiver.bt() === 3) {
-      var tmp_0 = $receiver.ht();
+    if ($receiver.et() === 3) {
+      var tmp_0 = $receiver.kt();
       // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
       tmp = tmp_0 === Catch_getInstance().signature.name;
     } else {
@@ -1673,9 +1673,9 @@
   function getExceptionContent($this, $receiver) {
     var tmp;
     if ($receiver instanceof MessageError) {
-      tmp = $receiver.h25();
+      tmp = $receiver.k25();
     } else {
-      tmp = $receiver.j23();
+      tmp = $receiver.m23();
     }
     return tmp;
   }
@@ -1689,17 +1689,17 @@
     return tmp;
   }
   function _get_finalState__3aigq8($this) {
-    return new StateHalt(toPublicException($this, $this.a32_1), $this.b32_1.z2x(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.i31()));
+    return new StateHalt(toPublicException($this, $this.d32_1), $this.e32_1.c2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.l31()));
   }
   function _get_handleExceptionInParentContext__yj3v4e($this) {
-    return new StateException($this.a32_1, ensureNotNull($this.b32_1.a2x_1).z2x(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.i31()));
+    return new StateException($this.d32_1, ensureNotNull($this.e32_1.d2x_1).c2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.l31()));
   }
   function handleStruct($this, unificator, catchGoal, error) {
     var tmp;
     if (isCatch($this, catchGoal)) {
       var catcher = unificator.mgu(catchGoal.get(1), getExceptionContent($this, error));
       tmp = handleCatch($this, catchGoal, catcher);
-    } else if ($this.b32_1.w2z()) {
+    } else if ($this.e32_1.z2z()) {
       tmp = _get_finalState__3aigq8($this);
     } else {
       tmp = _get_handleExceptionInParentContext__yj3v4e($this);
@@ -1708,18 +1708,18 @@
   }
   function handleCatch($this, catchGoal, catcher) {
     var tmp;
-    if (catcher.lz()) {
-      var tmp_0 = $this.b32_1.s2w_1.plus(catcher);
+    if (catcher.oz()) {
+      var tmp_0 = $this.e32_1.v2w_1.plus(catcher);
       var newSubstitution = tmp_0.filterEntry(StateException$handleCatch$lambda($this));
       var subGoals = catchGoal.get(2).getSubstituted(newSubstitution, []);
-      var newGoals = plus_0(toGoals(subGoals), $this.b32_1.u2w_1.ro());
-      var tmp0_$this = $this.b32_1;
+      var newGoals = plus_0(toGoals(subGoals), $this.e32_1.x2w_1.uo());
+      var tmp0_$this = $this.e32_1;
       var tmp1_rules = Companion_instance_7.empty();
       var tmp2_primitives = Companion_instance_7.empty();
       var tmp3_substitution = newSubstitution.castToUnifier();
-      var tmp4_step = $this.i31();
-      tmp = new StateGoalSelection(tmp0_$this.z2x(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, tmp3_substitution, VOID, newGoals, tmp1_rules, tmp2_primitives, VOID, VOID, VOID, VOID, VOID, tmp4_step));
-    } else if ($this.b32_1.w2z()) {
+      var tmp4_step = $this.l31();
+      tmp = new StateGoalSelection(tmp0_$this.c2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, tmp3_substitution, VOID, newGoals, tmp1_rules, tmp2_primitives, VOID, VOID, VOID, VOID, VOID, tmp4_step));
+    } else if ($this.e32_1.z2z()) {
       tmp = _get_finalState__3aigq8($this);
     } else {
       tmp = _get_handleExceptionInParentContext__yj3v4e($this);
@@ -1729,43 +1729,43 @@
   function StateException$handleCatch$lambda(this$0) {
     return function (_destruct__k2r9zo) {
       // Inline function 'kotlin.collections.component1' call
-      var it = _destruct__k2r9zo.b2();
-      return this$0.b32_1.x2z(it);
+      var it = _destruct__k2r9zo.c2();
+      return this$0.e32_1.a30(it);
     };
   }
   function StateException(exception, context) {
     AbstractState.call(this, context);
-    this.a32_1 = exception;
-    this.b32_1 = context;
+    this.d32_1 = exception;
+    this.e32_1 = context;
   }
-  protoOf(StateException).m8 = function () {
-    return this.b32_1;
+  protoOf(StateException).n8 = function () {
+    return this.e32_1;
   };
-  protoOf(StateException).c31 = function () {
+  protoOf(StateException).f31 = function () {
     var tmp;
-    if (this.a32_1 instanceof LogicError) {
-      var catchGoal = ensureNotNull(this.b32_1.u2z());
-      tmp = catchGoal.nt() ? handleStruct(this, this.b32_1.j2w_1, catchGoal.castToStruct(), this.a32_1) : this.b32_1.w2z() ? _get_finalState__3aigq8(this) : _get_handleExceptionInParentContext__yj3v4e(this);
+    if (this.d32_1 instanceof LogicError) {
+      var catchGoal = ensureNotNull(this.e32_1.x2z());
+      tmp = catchGoal.qt() ? handleStruct(this, this.e32_1.m2w_1, catchGoal.castToStruct(), this.d32_1) : this.e32_1.z2z() ? _get_finalState__3aigq8(this) : _get_handleExceptionInParentContext__yj3v4e(this);
     } else {
       tmp = _get_finalState__3aigq8(this);
     }
     return tmp;
   };
-  protoOf(StateException).l31 = function (context) {
-    return this.c32(this.a32_1, context);
+  protoOf(StateException).o31 = function (context) {
+    return this.f32(this.d32_1, context);
   };
   protoOf(StateException).clone = function (context, $super) {
     return this.clone(context, ($super == null ? true : $super instanceof StateException) ? $super : THROW_CCE());
   };
-  protoOf(StateException).c32 = function (exception, context) {
+  protoOf(StateException).f32 = function (exception, context) {
     return new StateException(exception, context);
   };
   protoOf(StateException).toString = function () {
-    return 'StateException(exception=' + this.a32_1.toString() + ', context=' + this.b32_1.toString() + ')';
+    return 'StateException(exception=' + this.d32_1.toString() + ', context=' + this.e32_1.toString() + ')';
   };
   protoOf(StateException).hashCode = function () {
-    var result = hashCode(this.a32_1);
-    result = imul(result, 31) + this.b32_1.hashCode() | 0;
+    var result = hashCode(this.d32_1);
+    result = imul(result, 31) + this.e32_1.hashCode() | 0;
     return result;
   };
   protoOf(StateException).equals = function (other) {
@@ -1773,107 +1773,107 @@
       return true;
     if (!(other instanceof StateException))
       return false;
-    if (!equals(this.a32_1, other.a32_1))
+    if (!equals(this.d32_1, other.d32_1))
       return false;
-    if (!this.b32_1.equals(other.b32_1))
+    if (!this.e32_1.equals(other.e32_1))
       return false;
     return true;
   };
   function StateGoalSelection$computeNext$lambda(this$0) {
     return function (_destruct__k2r9zo) {
       // Inline function 'kotlin.collections.component1' call
-      var it = _destruct__k2r9zo.b2();
-      return this$0.f32_1.x2z(it);
+      var it = _destruct__k2r9zo.c2();
+      return this$0.i32_1.a30(it);
     };
   }
   function StateGoalSelection(context) {
     AbstractState.call(this, context);
-    this.f32_1 = context;
+    this.i32_1 = context;
   }
-  protoOf(StateGoalSelection).m8 = function () {
-    return this.f32_1;
+  protoOf(StateGoalSelection).n8 = function () {
+    return this.i32_1;
   };
-  protoOf(StateGoalSelection).c31 = function () {
+  protoOf(StateGoalSelection).f31 = function () {
     var tmp;
-    if (this.f32_1.u2w_1.uo()) {
+    if (this.i32_1.x2w_1.xo()) {
       var tmp_0;
-      if (this.f32_1.w2z()) {
-        tmp_0 = new StateEnd(Companion_instance_8.k1v(this.f32_1.t2w_1, this.f32_1.s2w_1), this.f32_1.z2x(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.i31()));
+      if (this.i32_1.z2z()) {
+        tmp_0 = new StateEnd(Companion_instance_8.n1v(this.i32_1.w2w_1, this.i32_1.v2w_1), this.i32_1.c2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.l31()));
       } else {
         // Inline function 'kotlin.let' call
-        var it = ensureNotNull(this.f32_1.a2x_1);
-        var tmp0_choicePoints = this.f32_1.z2w_1;
-        var tmp1_flags = this.f32_1.l2w_1;
-        var tmp2_dynamicKb = this.f32_1.n2w_1;
-        var tmp3_staticKb = this.f32_1.m2w_1;
-        var tmp4_substitution = this.f32_1.s2w_1.fz(StateGoalSelection$computeNext$lambda(this));
-        var tmp5_goals = it.u2w_1.ro();
-        var tmp6_procedure = it.i2w_1;
-        var tmp7_step = this.i31();
-        var tmp8_startTime = this.f32_1.x2w_1;
-        var tmp9_operators = this.f32_1.o2w_1;
-        var tmp10_inputChannels = this.f32_1.p2w_1;
-        var tmp11_outputChannels = this.f32_1.q2w_1;
-        var tmp12_libraries = this.f32_1.k2w_1;
-        var tmp13_customData = this.f32_1.r2w_1;
-        var tmp$ret$0 = it.z2x(tmp6_procedure, VOID, tmp12_libraries, tmp1_flags, tmp3_staticKb, tmp2_dynamicKb, tmp9_operators, tmp10_inputChannels, tmp11_outputChannels, tmp13_customData, tmp4_substitution, VOID, tmp5_goals, VOID, VOID, tmp8_startTime, VOID, tmp0_choicePoints, VOID, VOID, tmp7_step);
+        var it = ensureNotNull(this.i32_1.d2x_1);
+        var tmp0_choicePoints = this.i32_1.c2x_1;
+        var tmp1_flags = this.i32_1.o2w_1;
+        var tmp2_dynamicKb = this.i32_1.q2w_1;
+        var tmp3_staticKb = this.i32_1.p2w_1;
+        var tmp4_substitution = this.i32_1.v2w_1.iz(StateGoalSelection$computeNext$lambda(this));
+        var tmp5_goals = it.x2w_1.uo();
+        var tmp6_procedure = it.l2w_1;
+        var tmp7_step = this.l31();
+        var tmp8_startTime = this.i32_1.a2x_1;
+        var tmp9_operators = this.i32_1.r2w_1;
+        var tmp10_inputChannels = this.i32_1.s2w_1;
+        var tmp11_outputChannels = this.i32_1.t2w_1;
+        var tmp12_libraries = this.i32_1.n2w_1;
+        var tmp13_customData = this.i32_1.u2w_1;
+        var tmp$ret$0 = it.c2y(tmp6_procedure, VOID, tmp12_libraries, tmp1_flags, tmp3_staticKb, tmp2_dynamicKb, tmp9_operators, tmp10_inputChannels, tmp11_outputChannels, tmp13_customData, tmp4_substitution, VOID, tmp5_goals, VOID, VOID, tmp8_startTime, VOID, tmp0_choicePoints, VOID, VOID, tmp7_step);
         tmp_0 = new StateGoalSelection(tmp$ret$0);
       }
       tmp = tmp_0;
-    } else if (equals(this.f32_1.l2w_1.get(TrackVariables_getInstance()), TrackVariables_getInstance().o27_1)) {
-      tmp = new StatePrimitiveSelection(this.f32_1.z2x(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.i31(), plus_1(this.f32_1.d2x_1, toSet(ensureNotNull(this.f32_1.u2w_1.so()).jt()))));
+    } else if (equals(this.i32_1.o2w_1.get(TrackVariables_getInstance()), TrackVariables_getInstance().r27_1)) {
+      tmp = new StatePrimitiveSelection(this.i32_1.c2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.l31(), plus_1(this.i32_1.g2x_1, toSet(ensureNotNull(this.i32_1.x2w_1.vo()).mt()))));
     } else {
-      tmp = new StatePrimitiveSelection(this.f32_1.z2x(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.i31()));
+      tmp = new StatePrimitiveSelection(this.i32_1.c2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.l31()));
     }
     return tmp;
   };
-  protoOf(StateGoalSelection).l31 = function (context) {
-    return this.q31(context);
+  protoOf(StateGoalSelection).o31 = function (context) {
+    return this.t31(context);
   };
   protoOf(StateGoalSelection).clone = function (context, $super) {
     return this.clone(context, ($super == null ? true : $super instanceof StateGoalSelection) ? $super : THROW_CCE());
   };
-  protoOf(StateGoalSelection).q31 = function (context) {
+  protoOf(StateGoalSelection).t31 = function (context) {
     return new StateGoalSelection(context);
   };
   protoOf(StateGoalSelection).toString = function () {
-    return 'StateGoalSelection(context=' + this.f32_1.toString() + ')';
+    return 'StateGoalSelection(context=' + this.i32_1.toString() + ')';
   };
   protoOf(StateGoalSelection).hashCode = function () {
-    return this.f32_1.hashCode();
+    return this.i32_1.hashCode();
   };
   protoOf(StateGoalSelection).equals = function (other) {
     if (this === other)
       return true;
     if (!(other instanceof StateGoalSelection))
       return false;
-    if (!this.f32_1.equals(other.f32_1))
+    if (!this.i32_1.equals(other.i32_1))
       return false;
     return true;
   };
   function StateHalt(exception, context) {
-    AbstractEndState.call(this, Companion_instance_8.halt(context.t2w_1, exception), context);
-    this.k32_1 = exception;
-    this.l32_1 = context;
+    AbstractEndState.call(this, Companion_instance_8.halt(context.w2w_1, exception), context);
+    this.n32_1 = exception;
+    this.o32_1 = context;
   }
-  protoOf(StateHalt).m8 = function () {
-    return this.l32_1;
+  protoOf(StateHalt).n8 = function () {
+    return this.o32_1;
   };
-  protoOf(StateHalt).l31 = function (context) {
-    return this.c32(this.k32_1, context);
+  protoOf(StateHalt).o31 = function (context) {
+    return this.f32(this.n32_1, context);
   };
   protoOf(StateHalt).clone = function (context, $super) {
     return this.clone(context, ($super == null ? true : $super instanceof StateHalt) ? $super : THROW_CCE());
   };
-  protoOf(StateHalt).c32 = function (exception, context) {
+  protoOf(StateHalt).f32 = function (exception, context) {
     return new StateHalt(exception, context);
   };
   protoOf(StateHalt).toString = function () {
-    return 'StateHalt(exception=' + this.k32_1.toString() + ', context=' + this.l32_1.toString() + ')';
+    return 'StateHalt(exception=' + this.n32_1.toString() + ', context=' + this.o32_1.toString() + ')';
   };
   protoOf(StateHalt).hashCode = function () {
-    var result = hashCode(this.k32_1);
-    result = imul(result, 31) + this.l32_1.hashCode() | 0;
+    var result = hashCode(this.n32_1);
+    result = imul(result, 31) + this.o32_1.hashCode() | 0;
     return result;
   };
   protoOf(StateHalt).equals = function (other) {
@@ -1881,53 +1881,53 @@
       return true;
     if (!(other instanceof StateHalt))
       return false;
-    if (!equals(this.k32_1, other.k32_1))
+    if (!equals(this.n32_1, other.n32_1))
       return false;
-    if (!this.l32_1.equals(other.l32_1))
+    if (!this.o32_1.equals(other.o32_1))
       return false;
     return true;
   };
   protoOf(StateHalt).asEndState = function () {
-    return this.k31();
+    return this.n31();
   };
   function StateInit(context) {
     AbstractState.call(this, context);
-    this.o32_1 = context;
+    this.r32_1 = context;
   }
-  protoOf(StateInit).m8 = function () {
-    return this.o32_1;
+  protoOf(StateInit).n8 = function () {
+    return this.r32_1;
   };
-  protoOf(StateInit).c31 = function () {
-    var tmp0_$this = this.o32_1;
-    var tmp1_goals = toGoals(this.o32_1.t2w_1);
+  protoOf(StateInit).f31 = function () {
+    var tmp0_$this = this.r32_1;
+    var tmp1_goals = toGoals(this.r32_1.w2w_1);
     var tmp2_rules = Companion_instance_7.empty();
     var tmp3_primitives = Companion_instance_7.empty();
     var tmp4_substitution = Companion_getInstance_2().empty();
-    var tmp5_customData = this.o32_1.r2w_1.preservePersistent();
+    var tmp5_customData = this.r32_1.u2w_1.preservePersistent();
     var tmp6_relevantVariables = emptySet();
-    return new StateGoalSelection(appendRulesAndChoicePoints(tmp0_$this.z2x(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, tmp5_customData, tmp4_substitution, VOID, tmp1_goals, tmp2_rules, tmp3_primitives, VOID, VOID, null, null, 0, new Long(1, 0), tmp6_relevantVariables), Companion_instance_7.empty()));
+    return new StateGoalSelection(appendRulesAndChoicePoints(tmp0_$this.c2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, tmp5_customData, tmp4_substitution, VOID, tmp1_goals, tmp2_rules, tmp3_primitives, VOID, VOID, null, null, 0, new Long(1, 0), tmp6_relevantVariables), Companion_instance_7.empty()));
   };
-  protoOf(StateInit).l31 = function (context) {
-    return this.q31(context);
+  protoOf(StateInit).o31 = function (context) {
+    return this.t31(context);
   };
   protoOf(StateInit).clone = function (context, $super) {
     return this.clone(context, ($super == null ? true : $super instanceof StateInit) ? $super : THROW_CCE());
   };
-  protoOf(StateInit).q31 = function (context) {
+  protoOf(StateInit).t31 = function (context) {
     return new StateInit(context);
   };
   protoOf(StateInit).toString = function () {
-    return 'StateInit(context=' + this.o32_1.toString() + ')';
+    return 'StateInit(context=' + this.r32_1.toString() + ')';
   };
   protoOf(StateInit).hashCode = function () {
-    return this.o32_1.hashCode();
+    return this.r32_1.hashCode();
   };
   protoOf(StateInit).equals = function (other) {
     if (this === other)
       return true;
     if (!(other instanceof StateInit))
       return false;
-    if (!this.o32_1.equals(other.o32_1))
+    if (!this.r32_1.equals(other.r32_1))
       return false;
     return true;
   };
@@ -1935,41 +1935,41 @@
     goals = goals === VOID ? null : goals;
     procedureFromAncestor = procedureFromAncestor === VOID ? 0 : procedureFromAncestor;
     substitution = substitution === VOID ? null : substitution;
-    var tmp0_safe_receiver = $receiver.w2w_1.so();
+    var tmp0_safe_receiver = $receiver.z2w_1.vo();
     var tmp;
     if (tmp0_safe_receiver == null) {
       tmp = null;
     } else {
       // Inline function 'kotlin.let' call
-      tmp = $receiver.z2z(tmp0_safe_receiver.sideEffects);
+      tmp = $receiver.c30(tmp0_safe_receiver.sideEffects);
     }
     var tmp1_elvis_lhs = tmp;
     var ctx = tmp1_elvis_lhs == null ? $receiver : tmp1_elvis_lhs;
-    var tmp4_goals = goals == null ? $receiver.u2w_1 : goals;
-    var tmp_0 = drop($receiver.e2x_1, procedureFromAncestor);
+    var tmp4_goals = goals == null ? $receiver.x2w_1 : goals;
+    var tmp_0 = drop($receiver.h2x_1, procedureFromAncestor);
     var tmp5_procedure = first(map(tmp_0, StatePrimitiveExecution$copyFromCurrentPrimitive$lambda));
     var tmp6_primitives = Companion_instance_7.empty();
-    var tmp_1 = substitution == null ? $receiver.s2w_1 : substitution;
+    var tmp_1 = substitution == null ? $receiver.v2w_1 : substitution;
     var tmp7_substitution = isInterface(tmp_1, Unifier) ? tmp_1 : THROW_CCE();
-    var tmp8_step = $this.i31();
-    return ctx.z2x(tmp5_procedure, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, tmp7_substitution, VOID, tmp4_goals, VOID, tmp6_primitives, VOID, VOID, VOID, VOID, VOID, tmp8_step);
+    var tmp8_step = $this.l31();
+    return ctx.c2y(tmp5_procedure, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, tmp7_substitution, VOID, tmp4_goals, VOID, tmp6_primitives, VOID, VOID, VOID, VOID, VOID, tmp8_step);
   }
   function StatePrimitiveExecution$copyFromCurrentPrimitive$lambda(it) {
-    return it.i2w_1;
+    return it.l2w_1;
   }
   function StatePrimitiveExecution$computeNext$lambda(this$0) {
     return function (it) {
-      return new StateGoalSelection(copyFromCurrentPrimitive(this$0, this$0.r32_1, this$0.r32_1.u2w_1.ro(), 1, this$0.r32_1.j2w_1.mergeWithOccurCheck(this$0.r32_1.s2w_1, it.v1t(), false)));
+      return new StateGoalSelection(copyFromCurrentPrimitive(this$0, this$0.u32_1, this$0.u32_1.x2w_1.uo(), 1, this$0.u32_1.m2w_1.mergeWithOccurCheck(this$0.u32_1.v2w_1, it.y1t(), false)));
     };
   }
   function StatePrimitiveExecution$computeNext$lambda_0(this$0) {
     return function (it) {
-      return new StateBacktracking(copyFromCurrentPrimitive(this$0, ensureNotNull(this$0.r32_1.a2x_1)));
+      return new StateBacktracking(copyFromCurrentPrimitive(this$0, ensureNotNull(this$0.u32_1.d2x_1)));
     };
   }
   function StatePrimitiveExecution$computeNext$lambda_1(this$0) {
     return function (it) {
-      return new StateException(it.a1v().updateLastContext(this$0.m31(this$0.r32_1)), copyFromCurrentPrimitive(this$0, this$0.r32_1));
+      return new StateException(it.d1v().updateLastContext(this$0.p31(this$0.u32_1)), copyFromCurrentPrimitive(this$0, this$0.u32_1));
     };
   }
   function StatePrimitiveExecution$computeNext$lambda_2(it) {
@@ -1977,15 +1977,15 @@
   }
   function StatePrimitiveExecution(context) {
     AbstractState.call(this, context);
-    this.r32_1 = context;
+    this.u32_1 = context;
   }
-  protoOf(StatePrimitiveExecution).m8 = function () {
-    return this.r32_1;
+  protoOf(StatePrimitiveExecution).n8 = function () {
+    return this.u32_1;
   };
-  protoOf(StatePrimitiveExecution).c31 = function () {
+  protoOf(StatePrimitiveExecution).f31 = function () {
     var tmp;
     try {
-      var tmp0_safe_receiver = this.r32_1.w2w_1.so();
+      var tmp0_safe_receiver = this.u32_1.z2w_1.vo();
       var tmp1_safe_receiver = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.solution;
       var tmp_0;
       if (tmp1_safe_receiver == null) {
@@ -1994,15 +1994,15 @@
         var tmp_1 = StatePrimitiveExecution$computeNext$lambda(this);
         var tmp_2 = StatePrimitiveExecution$computeNext$lambda_0(this);
         var tmp_3 = StatePrimitiveExecution$computeNext$lambda_1(this);
-        tmp_0 = tmp1_safe_receiver.e1v(tmp_1, tmp_2, tmp_3, StatePrimitiveExecution$computeNext$lambda_2);
+        tmp_0 = tmp1_safe_receiver.h1v(tmp_1, tmp_2, tmp_3, StatePrimitiveExecution$computeNext$lambda_2);
       }
       var tmp2_elvis_lhs = tmp_0;
-      tmp = tmp2_elvis_lhs == null ? new StateBacktracking(copyFromCurrentPrimitive(this, this.r32_1)) : tmp2_elvis_lhs;
+      tmp = tmp2_elvis_lhs == null ? new StateBacktracking(copyFromCurrentPrimitive(this, this.u32_1)) : tmp2_elvis_lhs;
     } catch ($p) {
       var tmp_4;
       if ($p instanceof ResolutionException) {
         var exception = $p;
-        tmp_4 = new StateException(exception.updateLastContext(this.m31(this.r32_1)), this.r32_1.z2x(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.i31()));
+        tmp_4 = new StateException(exception.updateLastContext(this.p31(this.u32_1)), this.u32_1.c2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.l31()));
       } else {
         throw $p;
       }
@@ -2010,57 +2010,57 @@
     }
     return tmp;
   };
-  protoOf(StatePrimitiveExecution).l31 = function (context) {
-    return this.q31(context);
+  protoOf(StatePrimitiveExecution).o31 = function (context) {
+    return this.t31(context);
   };
   protoOf(StatePrimitiveExecution).clone = function (context, $super) {
     return this.clone(context, ($super == null ? true : $super instanceof StatePrimitiveExecution) ? $super : THROW_CCE());
   };
-  protoOf(StatePrimitiveExecution).q31 = function (context) {
+  protoOf(StatePrimitiveExecution).t31 = function (context) {
     return new StatePrimitiveExecution(context);
   };
   protoOf(StatePrimitiveExecution).toString = function () {
-    return 'StatePrimitiveExecution(context=' + this.r32_1.toString() + ')';
+    return 'StatePrimitiveExecution(context=' + this.u32_1.toString() + ')';
   };
   protoOf(StatePrimitiveExecution).hashCode = function () {
-    return this.r32_1.hashCode();
+    return this.u32_1.hashCode();
   };
   protoOf(StatePrimitiveExecution).equals = function (other) {
     if (this === other)
       return true;
     if (!(other instanceof StatePrimitiveExecution))
       return false;
-    if (!this.r32_1.equals(other.r32_1))
+    if (!this.u32_1.equals(other.u32_1))
       return false;
     return true;
   };
   function exceptionalState($this, exception) {
-    return new StateException(exception, $this.u32_1.z2x(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.i31()));
+    return new StateException(exception, $this.x32_1.c2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.l31()));
   }
   function StatePrimitiveSelection(context) {
     AbstractState.call(this, context);
-    this.u32_1 = context;
+    this.x32_1 = context;
   }
-  protoOf(StatePrimitiveSelection).m8 = function () {
-    return this.u32_1;
+  protoOf(StatePrimitiveSelection).n8 = function () {
+    return this.x32_1;
   };
-  protoOf(StatePrimitiveSelection).c31 = function () {
+  protoOf(StatePrimitiveSelection).f31 = function () {
     // Inline function 'kotlin.with' call
-    var $this$with = this.u32_1;
-    var goal = ensureNotNull($this$with.u2z());
+    var $this$with = this.x32_1;
+    var goal = ensureNotNull($this$with.x2z());
     var tmp;
-    if (goal.du()) {
-      tmp = exceptionalState(this, Companion_instance_11.forGoal(this.u32_1, extractSignature(ensureNotNull(this.u32_1.i2w_1)), goal.castToVar()));
-    } else if (goal.nt()) {
+    if (goal.gu()) {
+      tmp = exceptionalState(this, Companion_instance_11.forGoal(this.x32_1, extractSignature(ensureNotNull(this.x32_1.l2w_1)), goal.castToVar()));
+    } else if (goal.qt()) {
       var goalStruct = goal.castToStruct();
       var signature = extractSignature(goalStruct);
       var tmp_0;
-      if ($this$with.k2w_1.hasPrimitive(signature)) {
+      if ($this$with.n2w_1.hasPrimitive(signature)) {
         var childContext = createChild($this$with);
         var tmp_1;
         try {
-          var request = toRequest(childContext, goalStruct, signature, this.f31());
-          var tmp0_elvis_lhs = $this$with.k2w_1.m2c().f2(signature);
+          var request = toRequest(childContext, goalStruct, signature, this.i31());
+          var tmp0_elvis_lhs = $this$with.n2w_1.p2c().g2(signature);
           var tmp_2;
           if (tmp0_elvis_lhs == null) {
             // Inline function 'kotlin.error' call
@@ -2076,7 +2076,7 @@
           var tmp_3;
           if ($p instanceof ResolutionException) {
             var exception = $p;
-            tmp_3 = exceptionalState(this, exception.updateLastContext(this.m31(childContext)));
+            tmp_3 = exceptionalState(this, exception.updateLastContext(this.p31(childContext)));
           } else {
             throw $p;
           }
@@ -2084,106 +2084,106 @@
         }
         tmp_0 = tmp_1;
       } else {
-        tmp_0 = new StateRuleSelection(this.u32_1.z2x(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.i31()));
+        tmp_0 = new StateRuleSelection(this.x32_1.c2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.l31()));
       }
       tmp = tmp_0;
     } else {
       var tmp_4 = Companion_instance_10;
-      var tmp1_safe_receiver = this.u32_1.i2w_1;
+      var tmp1_safe_receiver = this.x32_1.l2w_1;
       var tmp2_elvis_lhs = tmp1_safe_receiver == null ? null : extractSignature(tmp1_safe_receiver);
-      tmp = exceptionalState(this, tmp_4.forGoal(this.u32_1, tmp2_elvis_lhs == null ? new Signature('?-', 1) : tmp2_elvis_lhs, Expected_CALLABLE_getInstance(), goal));
+      tmp = exceptionalState(this, tmp_4.forGoal(this.x32_1, tmp2_elvis_lhs == null ? new Signature('?-', 1) : tmp2_elvis_lhs, Expected_CALLABLE_getInstance(), goal));
     }
     return tmp;
   };
-  protoOf(StatePrimitiveSelection).l31 = function (context) {
-    return this.q31(context);
+  protoOf(StatePrimitiveSelection).o31 = function (context) {
+    return this.t31(context);
   };
   protoOf(StatePrimitiveSelection).clone = function (context, $super) {
     return this.clone(context, ($super == null ? true : $super instanceof StatePrimitiveSelection) ? $super : THROW_CCE());
   };
-  protoOf(StatePrimitiveSelection).q31 = function (context) {
+  protoOf(StatePrimitiveSelection).t31 = function (context) {
     return new StatePrimitiveSelection(context);
   };
   protoOf(StatePrimitiveSelection).toString = function () {
-    return 'StatePrimitiveSelection(context=' + this.u32_1.toString() + ')';
+    return 'StatePrimitiveSelection(context=' + this.x32_1.toString() + ')';
   };
   protoOf(StatePrimitiveSelection).hashCode = function () {
-    return this.u32_1.hashCode();
+    return this.x32_1.hashCode();
   };
   protoOf(StatePrimitiveSelection).equals = function (other) {
     if (this === other)
       return true;
     if (!(other instanceof StatePrimitiveSelection))
       return false;
-    if (!this.u32_1.equals(other.u32_1))
+    if (!this.x32_1.equals(other.x32_1))
       return false;
     return true;
   };
   function _get_failureState__yid9tw($this) {
-    return new StateBacktracking($this.x32_1.z2x(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, Companion_instance_7.empty(), VOID, VOID, VOID, VOID, VOID, VOID, $this.i31()));
+    return new StateBacktracking($this.a33_1.c2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, Companion_instance_7.empty(), VOID, VOID, VOID, VOID, VOID, VOID, $this.l31()));
   }
   function StateRuleExecution(context) {
     AbstractState.call(this, context);
-    this.x32_1 = context;
+    this.a33_1 = context;
   }
-  protoOf(StateRuleExecution).m8 = function () {
-    return this.x32_1;
+  protoOf(StateRuleExecution).n8 = function () {
+    return this.a33_1;
   };
-  protoOf(StateRuleExecution).c31 = function () {
+  protoOf(StateRuleExecution).f31 = function () {
     // Inline function 'kotlin.with' call
-    var $this$with = this.x32_1;
-    var substitution = $this$with.j2w_1.mgu(ensureNotNull($this$with.u2z()), ensureNotNull($this$with.v2w_1.so()).nv());
+    var $this$with = this.a33_1;
+    var substitution = $this$with.m2w_1.mgu(ensureNotNull($this$with.x2z()), ensureNotNull($this$with.y2w_1.vo()).qv());
     var tmp;
-    if (substitution.lz()) {
-      var newSubstitution = this.x32_1.s2w_1.plus(substitution).castToUnifier();
-      var subGoals = prepareForExecutionWithUnifier(ensureNotNull(this.x32_1.v2w_1.so()), newSubstitution).ov().getSubstituted(newSubstitution, []);
-      var tmp0_$this = this.x32_1;
+    if (substitution.oz()) {
+      var newSubstitution = this.a33_1.v2w_1.plus(substitution).castToUnifier();
+      var subGoals = prepareForExecutionWithUnifier(ensureNotNull(this.a33_1.y2w_1.vo()), newSubstitution).rv().getSubstituted(newSubstitution, []);
+      var tmp0_$this = this.a33_1;
       var tmp1_goals = toGoals(subGoals);
       var tmp2_rules = Companion_instance_7.empty();
-      var tmp3_step = this.i31();
-      tmp = new StateGoalSelection(tmp0_$this.z2x(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, newSubstitution, VOID, tmp1_goals, tmp2_rules, VOID, VOID, VOID, VOID, VOID, VOID, tmp3_step));
+      var tmp3_step = this.l31();
+      tmp = new StateGoalSelection(tmp0_$this.c2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, newSubstitution, VOID, tmp1_goals, tmp2_rules, VOID, VOID, VOID, VOID, VOID, VOID, tmp3_step));
     } else {
       tmp = _get_failureState__yid9tw(this);
     }
     return tmp;
   };
-  protoOf(StateRuleExecution).l31 = function (context) {
-    return this.q31(context);
+  protoOf(StateRuleExecution).o31 = function (context) {
+    return this.t31(context);
   };
   protoOf(StateRuleExecution).clone = function (context, $super) {
     return this.clone(context, ($super == null ? true : $super instanceof StateRuleExecution) ? $super : THROW_CCE());
   };
-  protoOf(StateRuleExecution).q31 = function (context) {
+  protoOf(StateRuleExecution).t31 = function (context) {
     return new StateRuleExecution(context);
   };
   protoOf(StateRuleExecution).toString = function () {
-    return 'StateRuleExecution(context=' + this.x32_1.toString() + ')';
+    return 'StateRuleExecution(context=' + this.a33_1.toString() + ')';
   };
   protoOf(StateRuleExecution).hashCode = function () {
-    return this.x32_1.hashCode();
+    return this.a33_1.hashCode();
   };
   protoOf(StateRuleExecution).equals = function (other) {
     if (this === other)
       return true;
     if (!(other instanceof StateRuleExecution))
       return false;
-    if (!this.x32_1.equals(other.x32_1))
+    if (!this.a33_1.equals(other.a33_1))
       return false;
     return true;
   };
   function None() {
     None_instance = this;
     CutLimit.call(this);
-    this.y32_1 = -1;
-    this.z32_1 = null;
+    this.b33_1 = -1;
+    this.c33_1 = null;
   }
-  protoOf(None).a33 = function () {
-    return this.y32_1;
+  protoOf(None).d33 = function () {
+    return this.b33_1;
   };
-  protoOf(None).u1t = function () {
-    return this.z32_1;
+  protoOf(None).x1t = function () {
+    return this.c33_1;
   };
-  protoOf(None).b33 = function () {
+  protoOf(None).e33 = function () {
     return true;
   };
   var None_instance;
@@ -2194,24 +2194,24 @@
   }
   function Actual(depthToCut, procedure) {
     CutLimit.call(this);
-    this.c33_1 = depthToCut;
-    this.d33_1 = procedure;
+    this.f33_1 = depthToCut;
+    this.g33_1 = procedure;
   }
-  protoOf(Actual).a33 = function () {
-    return this.c33_1;
+  protoOf(Actual).d33 = function () {
+    return this.f33_1;
   };
-  protoOf(Actual).u1t = function () {
-    return this.d33_1;
+  protoOf(Actual).x1t = function () {
+    return this.g33_1;
   };
   function CutLimit() {
   }
-  protoOf(CutLimit).b33 = function () {
+  protoOf(CutLimit).e33 = function () {
     return false;
   };
   function Companion_0() {
     Companion_instance_16 = this;
-    this.e33_1 = Catch_getInstance().signature;
-    this.f33_1 = setOf([new Signature(',', 2), new Signature(';', 2), new Signature('->', 2)]);
+    this.h33_1 = Catch_getInstance().signature;
+    this.i33_1 = setOf([new Signature(',', 2), new Signature(';', 2), new Signature('->', 2)]);
   }
   var Companion_instance_16;
   function Companion_getInstance_6() {
@@ -2220,15 +2220,15 @@
     return Companion_instance_16;
   }
   function _get_failureState__yid9tw_0($this) {
-    return new StateBacktracking($this.i33_1.z2x(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.i31()));
+    return new StateBacktracking($this.l33_1.c2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.l31()));
   }
   function exceptionalState_0($this, exception) {
-    return new StateException(exception, $this.i33_1.z2x(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.i31()));
+    return new StateException(exception, $this.l33_1.c2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.l31()));
   }
   function missingProcedure($this, ruleSources, missing) {
-    var unknown = $this.i33_1.l2w_1.get(Unknown_getInstance());
+    var unknown = $this.l33_1.o2w_1.get(Unknown_getInstance());
     var tmp;
-    if (equals(unknown, Unknown_getInstance().u27_1)) {
+    if (equals(unknown, Unknown_getInstance().x27_1)) {
       tmp = _get_failureState__yid9tw_0($this);
     } else {
       var tmp_0;
@@ -2247,12 +2247,12 @@
       }
       if (tmp$ret$0) {
         var tmp_1;
-        if (equals(unknown, Unknown_getInstance().s27_1)) {
-          tmp_1 = exceptionalState_0($this, Companion_instance_12.forProcedure($this.i33_1, missing));
-        } else if (equals(unknown, Unknown_getInstance().t27_1)) {
+        if (equals(unknown, Unknown_getInstance().v27_1)) {
+          tmp_1 = exceptionalState_0($this, Companion_instance_12.forProcedure($this.l33_1, missing));
+        } else if (equals(unknown, Unknown_getInstance().w27_1)) {
           // Inline function 'kotlin.also' call
           var this_0 = _get_failureState__yid9tw_0($this);
-          $this.i33_1.m1u().write(MissingPredicate_init_$Create$($this.i33_1, missing));
+          $this.l33_1.p1u().write(MissingPredicate_init_$Create$($this.l33_1, missing));
           tmp_1 = this_0;
         } else {
           tmp_1 = _get_failureState__yid9tw_0($this);
@@ -2266,26 +2266,26 @@
     return tmp;
   }
   function _get_ignoreState__t4wl8y($this) {
-    return new StateGoalSelection($this.i33_1.z2x(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.i33_1.u2w_1.ro(), VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.i31()));
+    return new StateGoalSelection($this.l33_1.c2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.l33_1.x2w_1.uo(), VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.l31()));
   }
   function isCut($this, $receiver) {
-    return $receiver.ct() && $receiver.castToAtom().c2() === '!';
+    return $receiver.ft() && $receiver.castToAtom().d2() === '!';
   }
   function computeCutLimit($this, $receiver, magicCut) {
     magicCut = magicCut === VOID ? false : magicCut;
     var tmp;
     if (magicCut) {
-      tmp = firstOrNull($receiver.e2x_1);
+      tmp = firstOrNull($receiver.h2x_1);
     } else {
-      var tmp0 = $receiver.e2x_1;
+      var tmp0 = $receiver.h2x_1;
       var tmp$ret$0;
       $l$block: {
         // Inline function 'kotlin.sequences.firstOrNull' call
         var _iterator__ex2g4s = tmp0.m();
         while (_iterator__ex2g4s.p()) {
           var element = _iterator__ex2g4s.q();
-          var tmp_0 = Companion_getInstance_6().f33_1;
-          var tmp0_safe_receiver = element.i2w_1;
+          var tmp_0 = Companion_getInstance_6().i33_1;
+          var tmp0_safe_receiver = element.l2w_1;
           if (!contains_0(tmp_0, tmp0_safe_receiver == null ? null : extractSignature(tmp0_safe_receiver))) {
             tmp$ret$0 = element;
             break $l$block;
@@ -2300,21 +2300,21 @@
     if (cutLimit == null) {
       tmp_1 = None_getInstance();
     } else {
-      tmp_1 = new Actual(cutLimit.b2x_1, cutLimit.i2w_1);
+      tmp_1 = new Actual(cutLimit.e2x_1, cutLimit.l2w_1);
     }
     return tmp_1;
   }
   function cutCanBeSkipped($this, cutLimit, executionContext) {
-    return cutLimit.b33() || cutLimit.a33() > executionContext.b2x_1 || (cutLimit.a33() === executionContext.b2x_1 && !equals(cutLimit.u1t(), executionContext.i2w_1));
+    return cutLimit.e33() || cutLimit.d33() > executionContext.e2x_1 || (cutLimit.d33() === executionContext.e2x_1 && !equals(cutLimit.x1t(), executionContext.l2w_1));
   }
   function performCut($this, $receiver, cutLimit) {
     var tmp;
     if ($receiver === null) {
       tmp = null;
-    } else if (cutCanBeSkipped($this, cutLimit, ensureNotNull($receiver.u2x()))) {
+    } else if (cutCanBeSkipped($this, cutLimit, ensureNotNull($receiver.x2x()))) {
       tmp = $receiver;
     } else {
-      var tmp_0 = $receiver.h2y();
+      var tmp_0 = $receiver.k2y();
       var cutCandidates = filter(tmp_0, StateRuleSelection$performCut$lambda(cutLimit));
       var tmp_1;
       if (any(cutCandidates)) {
@@ -2324,7 +2324,7 @@
           var _iterator__ex2g4s = cutCandidates.m();
           while (_iterator__ex2g4s.p()) {
             var element = _iterator__ex2g4s.q();
-            if (ensureNotNull(element.u2x()).b2x_1 <= cutLimit.a33()) {
+            if (ensureNotNull(element.x2x()).e2x_1 <= cutLimit.d33()) {
               tmp$ret$0 = element;
               break $l$block;
             }
@@ -2332,7 +2332,7 @@
           tmp$ret$0 = null;
         }
         var tmp0_safe_receiver = tmp$ret$0;
-        tmp_1 = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.v2x();
+        tmp_1 = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.y2x();
       } else {
         tmp_1 = $receiver;
       }
@@ -2342,9 +2342,9 @@
   }
   function _get_isTailRecursive__h5eso7($this, $receiver) {
     var tmp;
-    if ($receiver.u2w_1.ro().uo() && equals($receiver.l2w_1.get(LastCallOptimization_getInstance()), LastCallOptimization_getInstance().h27_1)) {
+    if ($receiver.x2w_1.uo().xo() && equals($receiver.o2w_1.get(LastCallOptimization_getInstance()), LastCallOptimization_getInstance().k27_1)) {
       // Inline function 'kotlin.let' call
-      var tmp0_safe_receiver = ensureNotNull($receiver.u2z()).asStruct();
+      var tmp0_safe_receiver = ensureNotNull($receiver.x2z()).asStruct();
       var tmp1_safe_receiver = tmp0_safe_receiver == null ? null : extractSignature(tmp0_safe_receiver);
       var tmp_0;
       if (tmp1_safe_receiver == null) {
@@ -2352,9 +2352,9 @@
       } else {
         // Inline function 'kotlin.let' call
         var tmp_1;
-        var tmp0_safe_receiver_0 = $receiver.i2w_1;
+        var tmp0_safe_receiver_0 = $receiver.l2w_1;
         if (tmp1_safe_receiver.equals(tmp0_safe_receiver_0 == null ? null : extractSignature(tmp0_safe_receiver_0))) {
-          tmp_1 = !tmp1_safe_receiver.equals(Companion_getInstance_6().e33_1);
+          tmp_1 = !tmp1_safe_receiver.equals(Companion_getInstance_6().h33_1);
         } else {
           tmp_1 = false;
         }
@@ -2372,7 +2372,7 @@
     // Inline function 'kotlin.let' call
     var it = ensureRules(map(tmp, StateRuleSelection$selectClauses$lambda));
     var tmp_0;
-    if ($receiver.s1r()) {
+    if ($receiver.v1r()) {
       tmp_0 = buffered(it);
     } else {
       tmp_0 = it;
@@ -2381,7 +2381,7 @@
   }
   function StateRuleSelection$performCut$lambda($cutLimit) {
     return function (it) {
-      return equals(ensureNotNull(it.u2x()).i2w_1, $cutLimit.u1t());
+      return equals(ensureNotNull(it.x2x()).l2w_1, $cutLimit.x1t());
     };
   }
   function StateRuleSelection$computeNext$lambda(this$0, $currentGoalStruct) {
@@ -2390,30 +2390,30 @@
     };
   }
   function StateRuleSelection$selectClauses$lambda(it) {
-    return it.kt();
+    return it.nt();
   }
   function StateRuleSelection(context) {
     Companion_getInstance_6();
     AbstractState.call(this, context);
-    this.i33_1 = context;
+    this.l33_1 = context;
   }
-  protoOf(StateRuleSelection).m8 = function () {
-    return this.i33_1;
+  protoOf(StateRuleSelection).n8 = function () {
+    return this.l33_1;
   };
-  protoOf(StateRuleSelection).c31 = function () {
-    var currentGoal = ensureNotNull(this.i33_1.u2z());
+  protoOf(StateRuleSelection).f31 = function () {
+    var currentGoal = ensureNotNull(this.l33_1.x2z());
     var tmp;
-    if (currentGoal.du()) {
-      tmp = exceptionalState_0(this, Companion_instance_11.forGoal(this.i33_1, extractSignature(ensureNotNull(this.i33_1.i2w_1)), currentGoal.castToVar()));
-    } else if (currentGoal.nt()) {
+    if (currentGoal.gu()) {
+      tmp = exceptionalState_0(this, Companion_instance_11.forGoal(this.l33_1, extractSignature(ensureNotNull(this.l33_1.l2w_1)), currentGoal.castToVar()));
+    } else if (currentGoal.qt()) {
       // Inline function 'kotlin.with' call
-      var $this$with = this.i33_1;
+      var $this$with = this.l33_1;
       var currentGoalStruct = currentGoal.castToStruct();
-      var ruleSources = sequenceOf([$this$with.k2w_1.asTheory($this$with.j2w_1), $this$with.m2w_1, $this$with.n2w_1]);
+      var ruleSources = sequenceOf([$this$with.n2w_1.asTheory($this$with.m2w_1), $this$with.p2w_1, $this$with.q2w_1]);
       var tmp_0;
-      if (currentGoalStruct.eu()) {
+      if (currentGoalStruct.hu()) {
         var tmp_1;
-        if (currentGoalStruct.ft()) {
+        if (currentGoalStruct.it()) {
           tmp_1 = _get_ignoreState__t4wl8y(this);
         } else {
           tmp_1 = _get_failureState__yid9tw_0(this);
@@ -2424,7 +2424,7 @@
           var cutLimit = computeCutLimit(this, $this$with, currentGoalStruct instanceof MagicCut);
           // Inline function 'kotlin.let' call
           var it = _get_ignoreState__t4wl8y(this);
-          tmp_0 = it.q31(it.f32_1.z2x(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, performCut(this, it.f32_1.z2w_1, cutLimit)));
+          tmp_0 = it.t31(it.i32_1.c2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, performCut(this, it.i32_1.c2x_1, cutLimit)));
         } else {
           var tmp$ret$4;
           $l$block: {
@@ -2442,10 +2442,10 @@
           if (tmp$ret$4) {
             var rules = cursor(flatMap(ruleSources, StateRuleSelection$computeNext$lambda(this, currentGoalStruct)));
             var tmp_2;
-            if (_get_isTailRecursive__h5eso7(this, this.i33_1)) {
-              tmp_2 = new StateRuleExecution(replaceWithChildAppendingRulesAndChoicePoints(this.i33_1, rules));
+            if (_get_isTailRecursive__h5eso7(this, this.l33_1)) {
+              tmp_2 = new StateRuleExecution(replaceWithChildAppendingRulesAndChoicePoints(this.l33_1, rules));
             } else {
-              tmp_2 = new StateRuleExecution(createChildAppendingRulesAndChoicePoints(this.i33_1, rules));
+              tmp_2 = new StateRuleExecution(createChildAppendingRulesAndChoicePoints(this.l33_1, rules));
             }
             tmp_0 = tmp_2;
           } else {
@@ -2455,43 +2455,43 @@
       }
       tmp = tmp_0;
     } else {
-      tmp = exceptionalState_0(this, Companion_instance_10.forGoal(this.i33_1, extractSignature(ensureNotNull(this.i33_1.i2w_1)), Expected_CALLABLE_getInstance(), currentGoal));
+      tmp = exceptionalState_0(this, Companion_instance_10.forGoal(this.l33_1, extractSignature(ensureNotNull(this.l33_1.l2w_1)), Expected_CALLABLE_getInstance(), currentGoal));
     }
     return tmp;
   };
-  protoOf(StateRuleSelection).l31 = function (context) {
-    return this.q31(context);
+  protoOf(StateRuleSelection).o31 = function (context) {
+    return this.t31(context);
   };
   protoOf(StateRuleSelection).clone = function (context, $super) {
     return this.clone(context, ($super == null ? true : $super instanceof StateRuleSelection) ? $super : THROW_CCE());
   };
-  protoOf(StateRuleSelection).q31 = function (context) {
+  protoOf(StateRuleSelection).t31 = function (context) {
     return new StateRuleSelection(context);
   };
   protoOf(StateRuleSelection).toString = function () {
-    return 'StateRuleSelection(context=' + this.i33_1.toString() + ')';
+    return 'StateRuleSelection(context=' + this.l33_1.toString() + ')';
   };
   protoOf(StateRuleSelection).hashCode = function () {
-    return this.i33_1.hashCode();
+    return this.l33_1.hashCode();
   };
   protoOf(StateRuleSelection).equals = function (other) {
     if (this === other)
       return true;
     if (!(other instanceof StateRuleSelection))
       return false;
-    if (!this.i33_1.equals(other.i33_1))
+    if (!this.l33_1.equals(other.l33_1))
       return false;
     return true;
   };
   function appendRulesAndChoicePoints(_this__u8e3s4, rules) {
     var tmp;
-    if (rules.to()) {
-      tmp = appendRules(_this__u8e3s4.z2w_1, rules.ro(), _this__u8e3s4);
+    if (rules.wo()) {
+      tmp = appendRules(_this__u8e3s4.c2x_1, rules.uo(), _this__u8e3s4);
     } else {
-      tmp = appendRules(_this__u8e3s4.z2w_1, Companion_instance_7.empty(), _this__u8e3s4);
+      tmp = appendRules(_this__u8e3s4.c2x_1, Companion_instance_7.empty(), _this__u8e3s4);
     }
     var newChoicePointContext = tmp;
-    return _this__u8e3s4.z2x(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, rules, VOID, VOID, VOID, newChoicePointContext);
+    return _this__u8e3s4.c2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, rules, VOID, VOID, VOID, newChoicePointContext);
   }
   function toGoals(_this__u8e3s4) {
     var tmp = unfoldGoals(_this__u8e3s4);
@@ -2499,8 +2499,8 @@
   }
   function unfoldGoals(_this__u8e3s4) {
     var tmp;
-    if (_this__u8e3s4.st()) {
-      var tmp_0 = _this__u8e3s4.castToTuple().xr();
+    if (_this__u8e3s4.vt()) {
+      var tmp_0 = _this__u8e3s4.castToTuple().as();
       tmp = flatMap(tmp_0, unfoldGoals$lambda);
     } else {
       tmp = sequenceOf_0(_this__u8e3s4);
@@ -2509,28 +2509,28 @@
   }
   function createChild(_this__u8e3s4, inferProcedureFromGoals) {
     inferProcedureFromGoals = inferProcedureFromGoals === VOID ? true : inferProcedureFromGoals;
-    var currentGoal = ensureNotNull(_this__u8e3s4.u2z()).castToStruct();
+    var currentGoal = ensureNotNull(_this__u8e3s4.x2z()).castToStruct();
     var tmp0_goals = toGoals(currentGoal);
-    var tmp1_procedure = inferProcedureFromGoals ? currentGoal : _this__u8e3s4.i2w_1;
-    var tmp2_depth = _this__u8e3s4.b2x_1 + 1 | 0;
+    var tmp1_procedure = inferProcedureFromGoals ? currentGoal : _this__u8e3s4.l2w_1;
+    var tmp2_depth = _this__u8e3s4.e2x_1 + 1 | 0;
     // Inline function 'kotlin.Long.plus' call
-    var this_0 = _this__u8e3s4.c2x_1;
+    var this_0 = _this__u8e3s4.f2x_1;
     var tmp3_step = add(this_0, fromInt(1));
     var tmp4_relevantVariables = emptySet();
-    return _this__u8e3s4.z2x(tmp1_procedure, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, tmp0_goals, VOID, VOID, VOID, VOID, VOID, _this__u8e3s4, tmp2_depth, tmp3_step, tmp4_relevantVariables);
+    return _this__u8e3s4.c2y(tmp1_procedure, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, tmp0_goals, VOID, VOID, VOID, VOID, VOID, _this__u8e3s4, tmp2_depth, tmp3_step, tmp4_relevantVariables);
   }
   function toRequest(_this__u8e3s4, goal, signature, startTime) {
-    return new Request(signature, goal.it(), _this__u8e3s4, startTime);
+    return new Request(signature, goal.lt(), _this__u8e3s4, startTime);
   }
   function appendPrimitivesAndChoicePoints(_this__u8e3s4, primitiveExecutions) {
     var tmp;
-    if (primitiveExecutions.to()) {
-      tmp = appendPrimitives(_this__u8e3s4.z2w_1, primitiveExecutions.ro(), _this__u8e3s4);
+    if (primitiveExecutions.wo()) {
+      tmp = appendPrimitives(_this__u8e3s4.c2x_1, primitiveExecutions.uo(), _this__u8e3s4);
     } else {
-      tmp = appendPrimitives(_this__u8e3s4.z2w_1, Companion_instance_7.empty(), _this__u8e3s4);
+      tmp = appendPrimitives(_this__u8e3s4.c2x_1, Companion_instance_7.empty(), _this__u8e3s4);
     }
     var newChoicePointContext = tmp;
-    return _this__u8e3s4.z2x(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, primitiveExecutions, VOID, VOID, newChoicePointContext);
+    return _this__u8e3s4.c2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, primitiveExecutions, VOID, VOID, newChoicePointContext);
   }
   function replaceWithChildAppendingRulesAndChoicePoints(_this__u8e3s4, rules, inferProcedureFromGoals) {
     inferProcedureFromGoals = inferProcedureFromGoals === VOID ? true : inferProcedureFromGoals;
@@ -2547,17 +2547,17 @@
   }
   function replaceWithChild(_this__u8e3s4, inferProcedureFromGoals) {
     inferProcedureFromGoals = inferProcedureFromGoals === VOID ? true : inferProcedureFromGoals;
-    var currentGoal = ensureNotNull(_this__u8e3s4.u2z()).castToStruct();
+    var currentGoal = ensureNotNull(_this__u8e3s4.x2z()).castToStruct();
     var tmp0_goals = toGoals(currentGoal);
-    var tmp1_procedure = inferProcedureFromGoals ? currentGoal : _this__u8e3s4.i2w_1;
-    var tmp2_depth = _this__u8e3s4.b2x_1 + 1 | 0;
+    var tmp1_procedure = inferProcedureFromGoals ? currentGoal : _this__u8e3s4.l2w_1;
+    var tmp2_depth = _this__u8e3s4.e2x_1 + 1 | 0;
     // Inline function 'kotlin.Long.plus' call
-    var this_0 = _this__u8e3s4.c2x_1;
+    var this_0 = _this__u8e3s4.f2x_1;
     var tmp3_step = add(this_0, fromInt(1));
-    return _this__u8e3s4.z2x(tmp1_procedure, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, tmp0_goals, VOID, VOID, VOID, VOID, VOID, VOID, tmp2_depth, tmp3_step);
+    return _this__u8e3s4.c2y(tmp1_procedure, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, tmp0_goals, VOID, VOID, VOID, VOID, VOID, VOID, tmp2_depth, tmp3_step);
   }
   function toGoals$lambda(it) {
-    return it.du() ? Companion_getInstance_1().of('call', [it]) : it;
+    return it.gu() ? Companion_getInstance_1().of('call', [it]) : it;
   }
   function unfoldGoals$lambda(it) {
     return unfoldGoals(it);
@@ -2565,54 +2565,54 @@
   function ensureRules$lambda(it) {
     // Inline function 'kotlin.require' call
     // Inline function 'kotlin.require' call
-    if (!it.pt()) {
+    if (!it.st()) {
       var message = 'Failed requirement.';
       throw IllegalArgumentException_init_$Create$(toString(message));
     }
     return it.castToRule();
   }
   function AbstractSolutionIterator(state) {
-    this.j33_1 = state;
-    this.k33_1 = new Long(0, 0);
+    this.m33_1 = state;
+    this.n33_1 = new Long(0, 0);
   }
   protoOf(AbstractSolutionIterator).p = function () {
     // Inline function 'kotlin.let' call
-    var it = this.j33_1;
-    return !it.j31() || it.castToEndState().g2y();
+    var it = this.m33_1;
+    return !it.m31() || it.castToEndState().j2y();
   };
   protoOf(AbstractSolutionIterator).q = function () {
     do {
-      var previousState = this.j33_1;
+      var previousState = this.m33_1;
       var tmp = this;
-      var tmp_0 = this.j33_1;
-      this.k33_1 = add(this.k33_1, get_ONE());
-      tmp.j33_1 = this.l33(tmp_0, this.k33_1);
-      this.onStateTransition(previousState, this.j33_1, this.k33_1);
+      var tmp_0 = this.m33_1;
+      this.n33_1 = add(this.n33_1, get_ONE());
+      tmp.m33_1 = this.o33(tmp_0, this.n33_1);
+      this.onStateTransition(previousState, this.m33_1, this.n33_1);
     }
-     while (!this.j33_1.j31());
-    return this.j33_1.castToEndState().o2g().cleanUp();
+     while (!this.m33_1.m31());
+    return this.m33_1.castToEndState().r2g().cleanUp();
   };
   function SimpleSolutionIterator(state, onStateTransitionCallback) {
     AbstractSolutionIterator.call(this, state);
-    this.o33_1 = onStateTransitionCallback;
+    this.r33_1 = onStateTransitionCallback;
   }
-  protoOf(SimpleSolutionIterator).l33 = function (state, step) {
+  protoOf(SimpleSolutionIterator).o33 = function (state, step) {
     return state.next();
   };
-  protoOf(SimpleSolutionIterator).p33 = function (source, destination, index) {
-    return this.o33_1(source, destination, index);
+  protoOf(SimpleSolutionIterator).s33 = function (source, destination, index) {
+    return this.r33_1(source, destination, index);
   };
   protoOf(SimpleSolutionIterator).onStateTransition = function (source, destination, index) {
-    return this.p33(source, destination, index);
+    return this.s33(source, destination, index);
   };
   function DefaultBuiltins() {
     DefaultBuiltins_instance = this;
     ExtensionLibrary.call(this, CommonBuiltins_getInstance());
   }
-  protoOf(DefaultBuiltins).a2d = function () {
+  protoOf(DefaultBuiltins).d2d = function () {
     return listOf(Throw_getInstance());
   };
-  protoOf(DefaultBuiltins).z2c = function () {
+  protoOf(DefaultBuiltins).c2d = function () {
     return listOf_0([Catch_getInstance(), Call_getInstance(), Comma_getInstance(), Cut_getInstance(), Fail_getInstance(), Success_getInstance()]);
   };
   var DefaultBuiltins_instance;
@@ -2626,12 +2626,12 @@
     var tmp_0;
     var tmp_1;
     if (isInterface(error, Struct)) {
-      tmp_1 = error.ht() === 'error';
+      tmp_1 = error.kt() === 'error';
     } else {
       tmp_1 = false;
     }
     if (tmp_1) {
-      var containsArg = error.bt();
+      var containsArg = error.et();
       tmp_0 = 1 <= containsArg ? containsArg <= 2 : false;
     } else {
       tmp_0 = false;
@@ -2639,9 +2639,9 @@
     if (tmp_0) {
       var tmp_2 = Companion_instance_14;
       var tmp_3 = error.get(0);
-      tmp = tmp_2.of(VOID, VOID, context, isInterface(tmp_3, Struct) ? tmp_3 : THROW_CCE(), error.bt() > 1 ? error.get(1) : null);
+      tmp = tmp_2.of(VOID, VOID, context, isInterface(tmp_3, Struct) ? tmp_3 : THROW_CCE(), error.et() > 1 ? error.get(1) : null);
     } else {
-      tmp = Companion_instance_13.c25(error, context);
+      tmp = Companion_instance_13.f25(error, context);
     }
     return tmp;
   }
@@ -2649,11 +2649,11 @@
     Throw_instance = this;
     UnaryPredicate.call(this, 'throw');
   }
-  protoOf(Throw).f2n = function (_this__u8e3s4, first) {
-    return sequenceOf_0(Companion_getInstance_4().a2e(_this__u8e3s4).replyException(handleError(this, _this__u8e3s4.context, _this__u8e3s4.arguments.t(0)), VOID, []));
+  protoOf(Throw).i2n = function (_this__u8e3s4, first) {
+    return sequenceOf_0(Companion_getInstance_4().d2e(_this__u8e3s4).replyException(handleError(this, _this__u8e3s4.context, _this__u8e3s4.arguments.t(0)), VOID, []));
   };
-  protoOf(Throw).f2h = function (_this__u8e3s4, first) {
-    return this.f2n(_this__u8e3s4, first);
+  protoOf(Throw).i2h = function (_this__u8e3s4, first) {
+    return this.i2n(_this__u8e3s4, first);
   };
   var Throw_instance;
   function Throw_getInstance() {
@@ -2665,10 +2665,10 @@
     Call_instance = this;
     RuleWrapper_init_$Init$('call', 1, VOID, this);
   }
-  protoOf(Call).j2h = function (_this__u8e3s4) {
+  protoOf(Call).m2h = function (_this__u8e3s4) {
     return listOf(_this__u8e3s4.varOf('G'));
   };
-  protoOf(Call).k2h = function (_this__u8e3s4) {
+  protoOf(Call).n2h = function (_this__u8e3s4) {
     // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
     var tmp$ret$0 = EnsureExecutable_getInstance().signature.name;
     return _this__u8e3s4.tupleOf([_this__u8e3s4.structOf(tmp$ret$0, [_this__u8e3s4.varOf('G')]), _this__u8e3s4.varOf('G')]);
@@ -2683,10 +2683,10 @@
     Catch_instance = this;
     RuleWrapper_init_$Init$('catch', 3, VOID, this);
   }
-  protoOf(Catch).j2h = function (_this__u8e3s4) {
+  protoOf(Catch).m2h = function (_this__u8e3s4) {
     return listOf_0([_this__u8e3s4.varOf('G'), _this__u8e3s4.varOf('E'), _this__u8e3s4.varOf('C')]);
   };
-  protoOf(Catch).k2h = function (_this__u8e3s4) {
+  protoOf(Catch).n2h = function (_this__u8e3s4) {
     return _this__u8e3s4.varOf('G');
   };
   var Catch_instance;
@@ -2699,10 +2699,10 @@
     Comma_instance = this;
     RuleWrapper_init_$Init$(',', 2, VOID, this);
   }
-  protoOf(Comma).j2h = function (_this__u8e3s4) {
+  protoOf(Comma).m2h = function (_this__u8e3s4) {
     return listOf_0([_this__u8e3s4.varOf('A'), _this__u8e3s4.varOf('B')]);
   };
-  protoOf(Comma).k2h = function (_this__u8e3s4) {
+  protoOf(Comma).n2h = function (_this__u8e3s4) {
     return _this__u8e3s4.tupleOf([_this__u8e3s4.varOf('A'), _this__u8e3s4.varOf('B')]);
   };
   var Comma_instance;
@@ -2725,7 +2725,7 @@
     Fail_instance = this;
     NegationAsFailure.call(this);
   }
-  protoOf(Fail).k2h = function (_this__u8e3s4) {
+  protoOf(Fail).n2h = function (_this__u8e3s4) {
     // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
     var tmp$ret$0 = EnsureExecutable_getInstance().signature.name;
     var tmp = _this__u8e3s4.structOf(tmp$ret$0, [_this__u8e3s4.varOf('X')]);
@@ -2743,7 +2743,7 @@
     Success_instance = this;
     NegationAsFailure.call(this);
   }
-  protoOf(Success).k2h = function (_this__u8e3s4) {
+  protoOf(Success).n2h = function (_this__u8e3s4) {
     return _this__u8e3s4.truthOf(true);
   };
   var Success_instance;
@@ -2753,8 +2753,8 @@
     return Success_instance;
   }
   function Companion_1() {
-    this.p34_1 = '\\+';
-    this.q34_1 = 1;
+    this.s34_1 = '\\+';
+    this.t34_1 = 1;
   }
   var Companion_instance_17;
   function Companion_getInstance_7() {
@@ -2763,37 +2763,37 @@
   function NegationAsFailure() {
     RuleWrapper_init_$Init$('\\+', 1, VOID, this);
   }
-  protoOf(NegationAsFailure).j2h = function (_this__u8e3s4) {
+  protoOf(NegationAsFailure).m2h = function (_this__u8e3s4) {
     return listOf(_this__u8e3s4.varOf('X'));
   };
   //region block: post-declaration
   protoOf(ClassicExecutionContext).createSolver = createSolver;
   protoOf(ClassicExecutionContext).createMutableSolver = createMutableSolver;
   protoOf(ClassicExecutionContext).update = update;
-  protoOf(ClassicExecutionContext).j1u = get_standardInput;
-  protoOf(ClassicExecutionContext).k1u = get_standardOutput;
-  protoOf(ClassicExecutionContext).l1u = get_standardError;
-  protoOf(ClassicExecutionContext).m1u = get_warnings;
-  protoOf(ClassicExecutionContext).q1t = get_endTime;
-  protoOf(ClassicExecutionContext).s1t = get_remainingTime;
-  protoOf(ClassicExecutionContext).t1t = get_elapsedTime;
+  protoOf(ClassicExecutionContext).m1u = get_standardInput;
+  protoOf(ClassicExecutionContext).n1u = get_standardOutput;
+  protoOf(ClassicExecutionContext).o1u = get_standardError;
+  protoOf(ClassicExecutionContext).p1u = get_warnings;
+  protoOf(ClassicExecutionContext).t1t = get_endTime;
+  protoOf(ClassicExecutionContext).v1t = get_remainingTime;
+  protoOf(ClassicExecutionContext).w1t = get_elapsedTime;
   protoOf(ClassicSolverFactory).rawSolverOf = rawSolverOf;
   protoOf(ClassicSolverFactory).solverOf = solverOf;
   protoOf(ClassicSolverFactory).mutableSolverOf = mutableSolverOf;
   protoOf(ClassicSolverFactory).rawMutableSolverOf = rawMutableSolverOf;
   protoOf(ClassicSolverFactory).newBuilder = newBuilder;
-  protoOf(ClassicSolverFactory).k1w = get_defaultRuntime;
-  protoOf(ClassicSolverFactory).m1w = get_defaultUnificator;
-  protoOf(ClassicSolverFactory).n1w = get_defaultFlags;
-  protoOf(ClassicSolverFactory).q1w = get_defaultStaticKb;
-  protoOf(ClassicSolverFactory).r1w = get_defaultDynamicKb;
-  protoOf(ClassicSolverFactory).s1w = get_defaultInputChannel;
-  protoOf(ClassicSolverFactory).t1w = get_defaultOutputChannel;
-  protoOf(ClassicSolverFactory).u1w = get_defaultErrorChannel;
-  protoOf(ClassicSolverFactory).v1w = get_defaultWarningsChannel;
-  protoOf(ClassicSolverFactory).d1x = solverWithDefaultBuiltins;
+  protoOf(ClassicSolverFactory).n1w = get_defaultRuntime;
+  protoOf(ClassicSolverFactory).p1w = get_defaultUnificator;
+  protoOf(ClassicSolverFactory).q1w = get_defaultFlags;
+  protoOf(ClassicSolverFactory).t1w = get_defaultStaticKb;
+  protoOf(ClassicSolverFactory).u1w = get_defaultDynamicKb;
+  protoOf(ClassicSolverFactory).v1w = get_defaultInputChannel;
+  protoOf(ClassicSolverFactory).w1w = get_defaultOutputChannel;
+  protoOf(ClassicSolverFactory).x1w = get_defaultErrorChannel;
+  protoOf(ClassicSolverFactory).y1w = get_defaultWarningsChannel;
+  protoOf(ClassicSolverFactory).g1x = solverWithDefaultBuiltins;
   protoOf(ClassicSolverFactory).solverWithDefaultBuiltinsAnd = solverWithDefaultBuiltinsAnd;
-  protoOf(ClassicSolverFactory).f1x = mutableSolverWithDefaultBuiltins;
+  protoOf(ClassicSolverFactory).i1x = mutableSolverWithDefaultBuiltins;
   protoOf(ClassicSolverFactory).mutableSolverWithDefaultBuiltinsAnd = mutableSolverWithDefaultBuiltinsAnd;
   protoOf(MutableClassicSolver).loadStaticClauses = loadStaticClauses;
   protoOf(MutableClassicSolver).loadStaticClausesIterable = loadStaticClausesIterable;
@@ -2801,13 +2801,13 @@
   protoOf(MutableClassicSolver).loadDynamicClauses = loadDynamicClauses;
   protoOf(MutableClassicSolver).loadDynamicClausesIterable = loadDynamicClausesIterable;
   protoOf(MutableClassicSolver).loadDynamicClausesSequence = loadDynamicClausesSequence;
-  protoOf(AbstractState).j31 = get_isEndState;
+  protoOf(AbstractState).m31 = get_isEndState;
   protoOf(AbstractState).asEndState = asEndState;
   protoOf(AbstractState).castToEndState = castToEndState;
   protoOf(AbstractState).clone = clone;
-  protoOf(AbstractEndState).j31 = get_isEndState_0;
-  protoOf(AbstractEndState).k31 = asEndState_0;
-  protoOf(AbstractEndState).g2y = get_hasOpenAlternatives;
+  protoOf(AbstractEndState).m31 = get_isEndState_0;
+  protoOf(AbstractEndState).n31 = asEndState_0;
+  protoOf(AbstractEndState).j2y = get_hasOpenAlternatives;
   //endregion
   //region block: init
   ClassicSolverFactory_instance = new ClassicSolverFactory();