@tuprolog/2p-full 3.0.6 → 3.0.8

package/2p-solve-prolog.js

@@ -38,34 +38,33 @@
   var Companion_instance_3 = kotlin_it_unibo_tuprolog_solve.$_$.u;
   var Companion_instance_4 = kotlin_it_unibo_tuprolog_solve.$_$.t;
   var Companion_instance_5 = kotlin_it_unibo_tuprolog_solve.$_$.v;
-  var toString = kotlin_kotlin.$_$.v8;
+  var toString = kotlin_kotlin.$_$.x8;
   var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.j1;
   var Unit_instance = kotlin_kotlin.$_$.r;
-  var constructCallableReference = kotlin_kotlin.$_$.r7;
+  var constructCallableReference = kotlin_kotlin.$_$.t7;
   var AbstractSolver = kotlin_it_unibo_tuprolog_solve.$_$.v2;
-  var protoOf = kotlin_kotlin.$_$.s8;
-  var THROW_CCE = kotlin_kotlin.$_$.fe;
-  var throwUninitializedPropertyAccessException = kotlin_kotlin.$_$.l6;
+  var protoOf = kotlin_kotlin.$_$.u8;
+  var THROW_CCE = kotlin_kotlin.$_$.he;
+  var throwUninitializedPropertyAccessException = kotlin_kotlin.$_$.n6;
   var getAllOperators = kotlin_it_unibo_tuprolog_solve.$_$.f5;
   var toOperatorSet = kotlin_it_unibo_tuprolog_solve.$_$.h5;
   var currentTimeInstant = kotlin_it_unibo_tuprolog_solve.$_$.d5;
-  var asSequence = kotlin_kotlin.$_$.y9;
-  var initMetadataForClass = kotlin_kotlin.$_$.b8;
-  var ensureNotNull = kotlin_kotlin.$_$.le;
-  var fromInt = kotlin_kotlin.$_$.w6;
-  var add = kotlin_kotlin.$_$.r6;
-  var hashCode = kotlin_kotlin.$_$.a8;
-  var equals = kotlin_kotlin.$_$.t7;
-  var CoroutineImpl = kotlin_kotlin.$_$.j6;
-  var SequenceScope = kotlin_kotlin.$_$.u9;
-  var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.i6;
-  var initMetadataForLambda = kotlin_kotlin.$_$.f8;
-  var sequence = kotlin_kotlin.$_$.bb;
-  var toString_0 = kotlin_kotlin.$_$.ve;
-  var objectCreate = kotlin_kotlin.$_$.r8;
-  var listOf = kotlin_kotlin.$_$.g4;
+  var asSequence = kotlin_kotlin.$_$.aa;
+  var initMetadataForClass = kotlin_kotlin.$_$.d8;
+  var ensureNotNull = kotlin_kotlin.$_$.ne;
+  var fromInt = kotlin_kotlin.$_$.y6;
+  var add = kotlin_kotlin.$_$.t6;
+  var hashCode = kotlin_kotlin.$_$.c8;
+  var equals = kotlin_kotlin.$_$.v7;
+  var CoroutineImpl = kotlin_kotlin.$_$.l6;
+  var SequenceScope = kotlin_kotlin.$_$.w9;
+  var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.k6;
+  var initMetadataForLambda = kotlin_kotlin.$_$.h8;
+  var sequence = kotlin_kotlin.$_$.eb;
+  var toString_0 = kotlin_kotlin.$_$.xe;
+  var objectCreate = kotlin_kotlin.$_$.t8;
+  var listOf = kotlin_kotlin.$_$.h4;
   var getAllOperators_0 = kotlin_it_unibo_tuprolog_solve.$_$.g5;
-  var to = kotlin_kotlin.$_$.we;
   var loadStaticClauses = kotlin_it_unibo_tuprolog_solve.$_$.h4;
   var loadStaticClausesIterable = kotlin_it_unibo_tuprolog_solve.$_$.i4;
   var loadStaticClausesSequence = kotlin_it_unibo_tuprolog_solve.$_$.j4;
@@ -74,31 +73,31 @@
   var loadDynamicClausesSequence = kotlin_it_unibo_tuprolog_solve.$_$.f4;
   var MutableSolver = kotlin_it_unibo_tuprolog_solve.$_$.k4;
   var asSequence_0 = kotlin_kotlin.$_$.r2;
-  var emptySequence = kotlin_kotlin.$_$.da;
-  var plus = kotlin_kotlin.$_$.ya;
-  var KProperty1 = kotlin_kotlin.$_$.t9;
-  var getPropertyCallableRef = kotlin_kotlin.$_$.y7;
-  var flatMap = kotlin_kotlin.$_$.ja;
-  var distinct = kotlin_kotlin.$_$.ba;
+  var emptySequence = kotlin_kotlin.$_$.fa;
+  var plus = kotlin_kotlin.$_$.bb;
+  var KProperty1 = kotlin_kotlin.$_$.v9;
+  var getPropertyCallableRef = kotlin_kotlin.$_$.a8;
+  var flatMap = kotlin_kotlin.$_$.la;
+  var distinct = kotlin_kotlin.$_$.da;
   var cached = kotlin_it_unibo_tuprolog_utils.$_$.t;
   var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_core.$_$.x;
-  var filter = kotlin_kotlin.$_$.ga;
-  var map = kotlin_kotlin.$_$.ta;
-  var toList = kotlin_kotlin.$_$.hb;
+  var filter = kotlin_kotlin.$_$.ia;
+  var map = kotlin_kotlin.$_$.wa;
+  var toList = kotlin_kotlin.$_$.kb;
   var Companion_instance_6 = kotlin_it_unibo_tuprolog_solve.$_$.w;
   var Companion_getInstance_2 = kotlin_it_unibo_tuprolog_core.$_$.y;
   var Companion_getInstance_3 = kotlin_it_unibo_tuprolog_core.$_$.a1;
   var Companion_instance_7 = kotlin_it_unibo_tuprolog_utils.$_$.c;
-  var emptySet = kotlin_kotlin.$_$.m3;
-  var lazy = kotlin_kotlin.$_$.pe;
-  var contains = kotlin_kotlin.$_$.z9;
+  var emptySet = kotlin_kotlin.$_$.n3;
+  var lazy = kotlin_kotlin.$_$.re;
+  var contains = kotlin_kotlin.$_$.ba;
   var createSolver = kotlin_it_unibo_tuprolog_solve.$_$.x1;
   var createMutableSolver = kotlin_it_unibo_tuprolog_solve.$_$.w1;
   var update = kotlin_it_unibo_tuprolog_solve.$_$.y1;
   var apply = kotlin_it_unibo_tuprolog_solve.$_$.x3;
   var applyIterable = kotlin_it_unibo_tuprolog_solve.$_$.w3;
   var applySequence = kotlin_it_unibo_tuprolog_solve.$_$.y3;
-  var getBigIntHashCode = kotlin_kotlin.$_$.v7;
+  var getBigIntHashCode = kotlin_kotlin.$_$.x7;
   var get_standardInput = kotlin_it_unibo_tuprolog_solve.$_$.a4;
   var get_standardOutput = kotlin_it_unibo_tuprolog_solve.$_$.b4;
   var get_standardError = kotlin_it_unibo_tuprolog_solve.$_$.z3;
@@ -126,28 +125,28 @@
   var mutableSolverWithDefaultBuiltins = kotlin_it_unibo_tuprolog_solve.$_$.y4;
   var mutableSolverWithDefaultBuiltinsAnd = kotlin_it_unibo_tuprolog_solve.$_$.c2;
   var SolverFactory = kotlin_it_unibo_tuprolog_solve.$_$.b5;
-  var initMetadataForObject = kotlin_kotlin.$_$.g8;
-  var defineProp = kotlin_kotlin.$_$.s7;
-  var initMetadataForCompanion = kotlin_kotlin.$_$.c8;
+  var initMetadataForObject = kotlin_kotlin.$_$.i8;
+  var defineProp = kotlin_kotlin.$_$.u7;
+  var initMetadataForCompanion = kotlin_kotlin.$_$.e8;
   var NoSuchElementException_init_$Create$ = kotlin_kotlin.$_$.r1;
-  var subtract = kotlin_kotlin.$_$.e7;
+  var subtract = kotlin_kotlin.$_$.g7;
   var TimeOutException_init_$Create$ = kotlin_it_unibo_tuprolog_solve.$_$.j2;
   var NoSuchElementException_init_$Create$_0 = kotlin_kotlin.$_$.s1;
-  var initMetadataForInterface = kotlin_kotlin.$_$.e8;
-  var getKClass = kotlin_kotlin.$_$.q9;
+  var initMetadataForInterface = kotlin_kotlin.$_$.g8;
+  var getKClass = kotlin_kotlin.$_$.s9;
   var ClassCastException_init_$Create$ = kotlin_kotlin.$_$.f1;
   var Companion_instance_8 = kotlin_it_unibo_tuprolog_solve.$_$.s1;
   var MessageError = kotlin_it_unibo_tuprolog_solve.$_$.q2;
   var Companion_instance_9 = kotlin_it_unibo_tuprolog_solve.$_$.d1;
   var plus_0 = kotlin_it_unibo_tuprolog_utils.$_$.j1;
   var LogicError = kotlin_it_unibo_tuprolog_solve.$_$.s2;
-  var toSet = kotlin_kotlin.$_$.jb;
-  var plus_1 = kotlin_kotlin.$_$.y4;
+  var toSet = kotlin_kotlin.$_$.mb;
+  var plus_1 = kotlin_kotlin.$_$.z4;
   var TrackVariables_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.j1;
-  var drop = kotlin_kotlin.$_$.ca;
-  var first = kotlin_kotlin.$_$.ia;
+  var drop = kotlin_kotlin.$_$.ea;
+  var first = kotlin_kotlin.$_$.ka;
   var Unifier = kotlin_it_unibo_tuprolog_core.$_$.a2;
-  var isInterface = kotlin_kotlin.$_$.k8;
+  var isInterface = kotlin_kotlin.$_$.m8;
   var IllegalStateException_init_$Create$ = kotlin_kotlin.$_$.n1;
   var ResolutionException = kotlin_it_unibo_tuprolog_solve.$_$.t2;
   var Companion_instance_10 = kotlin_it_unibo_tuprolog_solve.$_$.e1;
@@ -156,24 +155,24 @@
   var Expected_CALLABLE_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.l;
   var cursor = kotlin_it_unibo_tuprolog_utils.$_$.v;
   var Companion_instance_11 = kotlin_it_unibo_tuprolog_solve.$_$.z;
-  var prepareForExecutionWithUnifier = kotlin_it_unibo_tuprolog_core.$_$.d3;
-  var setOf = kotlin_kotlin.$_$.g5;
+  var prepareForExecutionWithUnifier = kotlin_it_unibo_tuprolog_core.$_$.c3;
+  var setOf = kotlin_kotlin.$_$.h5;
   var Unknown_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.k1;
   var MissingPredicate_init_$Create$ = kotlin_it_unibo_tuprolog_solve.$_$.h2;
   var Companion_instance_12 = kotlin_it_unibo_tuprolog_solve.$_$.y;
   var contains_0 = kotlin_kotlin.$_$.x2;
-  var firstOrNull = kotlin_kotlin.$_$.ha;
-  var any = kotlin_kotlin.$_$.w9;
+  var firstOrNull = kotlin_kotlin.$_$.ja;
+  var any = kotlin_kotlin.$_$.y9;
   var LastCallOptimization_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.i1;
   var buffered = kotlin_it_unibo_tuprolog_utils.$_$.s;
-  var sequenceOf = kotlin_kotlin.$_$.za;
+  var sequenceOf = kotlin_kotlin.$_$.cb;
   var MagicCut = kotlin_it_unibo_tuprolog_solve.$_$.s3;
-  var sequenceOf_0 = kotlin_kotlin.$_$.ab;
+  var sequenceOf_0 = kotlin_kotlin.$_$.db;
   var Request = kotlin_it_unibo_tuprolog_solve.$_$.h3;
-  var get_ONE = kotlin_kotlin.$_$.q6;
+  var get_ONE = kotlin_kotlin.$_$.s6;
   var ExtensionLibrary = kotlin_it_unibo_tuprolog_solve.$_$.x2;
   var CommonBuiltins_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.r1;
-  var listOf_0 = kotlin_kotlin.$_$.h4;
+  var listOf_0 = kotlin_kotlin.$_$.i4;
   var Struct = kotlin_it_unibo_tuprolog_core.$_$.z1;
   var Companion_instance_13 = kotlin_it_unibo_tuprolog_solve.$_$.a1;
   var Companion_instance_14 = kotlin_it_unibo_tuprolog_solve.$_$.f1;
@@ -214,12 +213,12 @@
   }
   function clone(context, $super) {
     context = context === VOID ? this.v8() : context;
-    return $super === VOID ? this.c3g(context) : $super.c3g.call(this, context);
+    return $super === VOID ? this.j3g(context) : $super.j3g.call(this, context);
   }
   initMetadataForInterface(State, 'State');
   initMetadataForClass(AbstractState, 'AbstractState', VOID, VOID, [State]);
   function get_hasOpenAlternatives() {
-    return this.j2n().z1y() && this.v8().x3c();
+    return this.r2n().z1y() && this.v8().e3d();
   }
   function get_isEndState_0() {
     return true;
@@ -228,7 +227,7 @@
     return this;
   }
   function asEndState_1() {
-    return this.b3g();
+    return this.i3g();
   }
   initMetadataForInterface(EndState, 'EndState', VOID, VOID, [State]);
   initMetadataForClass(AbstractEndState, 'AbstractEndState', VOID, AbstractState, [EndState]);
@@ -270,24 +269,24 @@
     stdErr = stdErr === VOID ? Companion_instance_3.stdErr() : stdErr;
     warnings = warnings === VOID ? Companion_instance_3.warning() : warnings;
     trustKb = trustKb === VOID ? false : trustKb;
-    AbstractPrologSolver.call($this, unificator, libraries, flags, staticKb, dynamicKb, Companion_instance_4.o21(stdIn), Companion_instance_5.r21(stdOut, stdErr, warnings), trustKb);
+    AbstractPrologSolver.call($this, unificator, libraries, flags, staticKb, dynamicKb, Companion_instance_4.p21(stdIn), Companion_instance_5.s21(stdOut, stdErr, warnings), trustKb);
     return $this;
   }
   function updateCurrentContextAfterStateTransition($this, source, destination, index) {
     // Inline function 'kotlin.require' call
     // Inline function 'kotlin.require' call
-    if (!(destination.v8().t3b_1 === index)) {
+    if (!(destination.v8().a3c_1 === index)) {
       var message = 'Failed requirement.';
       throw IllegalArgumentException_init_$Create$(toString(message));
     }
-    $this.a3c(destination.v8());
+    $this.h3c(destination.v8());
   }
   function AbstractPrologSolver$updateCurrentContextAfterStateTransition$ref(p0) {
     return constructCallableReference(function (p0_0, p1, p2) {
       var tmp0 = p0;
       updateCurrentContextAfterStateTransition(tmp0, p0_0, p1, p2);
       return Unit_instance;
-    }, 3, 0, 86, 'updateCurrentContextAfterStateTransition', [p0]);
+    }, 3, 0, 87, 'updateCurrentContextAfterStateTransition', [p0]);
   }
   function AbstractPrologSolver(unificator, libraries, flags, initialStaticKb, initialDynamicKb, inputChannels, outputChannels, trustKb) {
     unificator = unificator === VOID ? Companion_getInstance().o1n() : unificator;
@@ -300,24 +299,24 @@
     trustKb = trustKb === VOID ? false : trustKb;
     AbstractSolver.call(this, unificator, libraries, flags, initialStaticKb, initialDynamicKb, inputChannels, outputChannels, trustKb);
   }
-  protoOf(AbstractPrologSolver).a3c = function (_set____db54di) {
-    this.z3b_1 = _set____db54di;
+  protoOf(AbstractPrologSolver).h3c = function (_set____db54di) {
+    this.g3c_1 = _set____db54di;
   };
-  protoOf(AbstractPrologSolver).s2f = function (_set____db54di) {
-    return this.a3c(_set____db54di instanceof PrologExecutionContext ? _set____db54di : THROW_CCE());
+  protoOf(AbstractPrologSolver).z2f = function (_set____db54di) {
+    return this.h3c(_set____db54di instanceof PrologExecutionContext ? _set____db54di : THROW_CCE());
   };
-  protoOf(AbstractPrologSolver).q2f = function () {
-    var tmp = this.z3b_1;
+  protoOf(AbstractPrologSolver).x2f = function () {
+    var tmp = this.g3c_1;
     if (!(tmp == null))
       return tmp;
     else {
       throwUninitializedPropertyAccessException('currentContext');
     }
   };
-  protoOf(AbstractPrologSolver).r2f = function (unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, trustKb) {
+  protoOf(AbstractPrologSolver).y2f = function (unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, trustKb) {
     return new PrologExecutionContext(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, 0n);
   };
-  protoOf(AbstractPrologSolver).y2f = function (goal, options) {
+  protoOf(AbstractPrologSolver).f2g = function (goal, options) {
     var tmp0_unificator = this.v1n();
     var tmp1_libraries = this.t1x();
     var tmp2_flags = this.u1x();
@@ -326,75 +325,72 @@
     var tmp5_operators = this.c1y();
     var tmp6_inputChannels = this.x1x();
     var tmp7_outputChannels = this.y1x();
-    var tmp8_customData = this.q2f().i3b_1;
+    var tmp8_customData = this.x2f().p3b_1;
     var tmp9_startTime = currentTimeInstant();
-    var tmp10_maxDuration = options.q20();
-    this.a3c(new PrologExecutionContext(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.q2f());
-    return asSequence(this.b3c(tmp, AbstractPrologSolver$updateCurrentContextAfterStateTransition$ref(this)));
-  };
-  protoOf(AbstractPrologSolver).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 AbstractPrologSolver) ? $super : THROW_CCE());
+    var tmp10_maxDuration = options.r20();
+    this.h3c(new PrologExecutionContext(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.x2f());
+    return asSequence(this.i3c(tmp, AbstractPrologSolver$updateCurrentContextAfterStateTransition$ref(this)));
   };
   function Primitives(alternatives, executionContext, parent, depth) {
     ChoicePointContext.call(this, alternatives, executionContext, parent, depth);
-    this.g3c_1 = alternatives;
-    this.h3c_1 = executionContext;
-    this.i3c_1 = parent;
-    this.j3c_1 = depth;
+    this.n3c_1 = alternatives;
+    this.o3c_1 = executionContext;
+    this.p3c_1 = parent;
+    this.q3c_1 = depth;
   }
-  protoOf(Primitives).k3c = function () {
-    return this.g3c_1;
+  protoOf(Primitives).r3c = function () {
+    return this.n3c_1;
   };
-  protoOf(Primitives).l3c = function () {
-    return this.h3c_1;
+  protoOf(Primitives).s3c = function () {
+    return this.o3c_1;
   };
-  protoOf(Primitives).m3c = function () {
-    return this.i3c_1;
+  protoOf(Primitives).t3c = function () {
+    return this.p3c_1;
   };
-  protoOf(Primitives).n3c = function () {
-    return this.j3c_1;
+  protoOf(Primitives).u3c = function () {
+    return this.q3c_1;
   };
   protoOf(Primitives).toString = function () {
     return protoOf(ChoicePointContext).toString.call(this);
   };
-  protoOf(Primitives).o3c = function () {
+  protoOf(Primitives).v3c = function () {
     return 'Primitives';
   };
-  protoOf(Primitives).p3c = function (context) {
-    var tmp0_$this = ensureNotNull(this.h3c_1);
-    var tmp1_primitives = this.g3c_1;
+  protoOf(Primitives).w3c = function (context) {
+    var tmp0_$this = ensureNotNull(this.o3c_1);
+    var tmp1_primitives = this.n3c_1;
     // Inline function 'kotlin.Long.plus' call
-    var this_0 = context.t3b_1;
+    var this_0 = context.a3c_1;
     var tmp2_step = add(this_0, fromInt(1));
-    var tmp3_startTime = context.o3b_1;
-    var tmp4_flags = context.c3b_1;
-    var tmp5_dynamicKb = context.e3b_1;
-    var tmp6_staticKb = context.d3b_1;
-    var tmp7_operators = context.f3b_1;
-    var tmp8_inputChannels = context.g3b_1;
-    var tmp9_outputChannels = context.h3b_1;
-    var tmp10_libraries = context.b3b_1;
-    var tmp11_customData = context.i3b_1.discardEphemeral();
-    var tempContext = tmp0_$this.q3c(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.r3c(this.g3c_1.sr(), tempContext);
-    return tempContext.q3c(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, nextChoicePointContext);
-  };
-  protoOf(Primitives).s3c = function (alternatives, executionContext, parent, depth) {
+    var tmp3_startTime = context.v3b_1;
+    var tmp4_flags = context.j3b_1;
+    var tmp5_dynamicKb = context.l3b_1;
+    var tmp6_staticKb = context.k3b_1;
+    var tmp7_operators = context.m3b_1;
+    var tmp8_inputChannels = context.n3b_1;
+    var tmp9_outputChannels = context.o3b_1;
+    var tmp10_libraries = context.i3b_1;
+    var tmp11_customData = context.p3b_1.discardEphemeral();
+    var tempContext = tmp0_$this.x3c(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.y3c(this.n3c_1.qr(), tempContext);
+    return tempContext.x3c(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, nextChoicePointContext);
+  };
+  protoOf(Primitives).z3c = function (alternatives, executionContext, parent, depth) {
     return new Primitives(alternatives, executionContext, parent, depth);
   };
-  protoOf(Primitives).r3c = function (alternatives, executionContext, parent, depth, $super) {
-    alternatives = alternatives === VOID ? this.g3c_1 : alternatives;
-    executionContext = executionContext === VOID ? this.h3c_1 : executionContext;
-    parent = parent === VOID ? this.i3c_1 : parent;
-    depth = depth === VOID ? this.j3c_1 : depth;
-    return $super === VOID ? this.s3c(alternatives, executionContext, parent, depth) : $super.s3c.call(this, alternatives, executionContext, parent, depth);
+  protoOf(Primitives).y3c = function (alternatives, executionContext, parent, depth, $super) {
+    alternatives = alternatives === VOID ? this.n3c_1 : alternatives;
+    executionContext = executionContext === VOID ? this.o3c_1 : executionContext;
+    parent = parent === VOID ? this.p3c_1 : parent;
+    depth = depth === VOID ? this.q3c_1 : depth;
+    return $super === VOID ? this.z3c(alternatives, executionContext, parent, depth) : $super.z3c.call(this, alternatives, executionContext, parent, depth);
   };
   protoOf(Primitives).hashCode = function () {
-    var result = hashCode(this.g3c_1);
-    result = imul(result, 31) + (this.h3c_1 == null ? 0 : this.h3c_1.hashCode()) | 0;
-    result = imul(result, 31) + (this.i3c_1 == null ? 0 : hashCode(this.i3c_1)) | 0;
-    result = imul(result, 31) + this.j3c_1 | 0;
+    var result = hashCode(this.n3c_1);
+    result = imul(result, 31) + (this.o3c_1 == null ? 0 : this.o3c_1.hashCode()) | 0;
+    result = imul(result, 31) + (this.p3c_1 == null ? 0 : hashCode(this.p3c_1)) | 0;
+    result = imul(result, 31) + this.q3c_1 | 0;
     return result;
   };
   protoOf(Primitives).equals = function (other) {
@@ -402,75 +398,75 @@
       return true;
     if (!(other instanceof Primitives))
       return false;
-    if (!equals(this.g3c_1, other.g3c_1))
+    if (!equals(this.n3c_1, other.n3c_1))
       return false;
-    if (!equals(this.h3c_1, other.h3c_1))
+    if (!equals(this.o3c_1, other.o3c_1))
       return false;
-    if (!equals(this.i3c_1, other.i3c_1))
+    if (!equals(this.p3c_1, other.p3c_1))
       return false;
-    if (!(this.j3c_1 === other.j3c_1))
+    if (!(this.q3c_1 === other.q3c_1))
       return false;
     return true;
   };
   function Rules(alternatives, executionContext, parent, depth) {
     ChoicePointContext.call(this, alternatives, executionContext, parent, depth);
-    this.f3d_1 = alternatives;
-    this.g3d_1 = executionContext;
-    this.h3d_1 = parent;
-    this.i3d_1 = depth;
+    this.m3d_1 = alternatives;
+    this.n3d_1 = executionContext;
+    this.o3d_1 = parent;
+    this.p3d_1 = depth;
   }
-  protoOf(Rules).k3c = function () {
-    return this.f3d_1;
+  protoOf(Rules).r3c = function () {
+    return this.m3d_1;
   };
-  protoOf(Rules).l3c = function () {
-    return this.g3d_1;
+  protoOf(Rules).s3c = function () {
+    return this.n3d_1;
   };
-  protoOf(Rules).m3c = function () {
-    return this.h3d_1;
+  protoOf(Rules).t3c = function () {
+    return this.o3d_1;
   };
-  protoOf(Rules).n3c = function () {
-    return this.i3d_1;
+  protoOf(Rules).u3c = function () {
+    return this.p3d_1;
   };
   protoOf(Rules).toString = function () {
     return protoOf(ChoicePointContext).toString.call(this);
   };
-  protoOf(Rules).o3c = function () {
+  protoOf(Rules).v3c = function () {
     return 'Rules';
   };
-  protoOf(Rules).p3c = function (context) {
-    var tmp0_$this = ensureNotNull(this.g3d_1);
-    var tmp1_rules = this.f3d_1;
+  protoOf(Rules).w3c = function (context) {
+    var tmp0_$this = ensureNotNull(this.n3d_1);
+    var tmp1_rules = this.m3d_1;
     // Inline function 'kotlin.Long.plus' call
-    var this_0 = context.t3b_1;
+    var this_0 = context.a3c_1;
     var tmp2_step = add(this_0, fromInt(1));
-    var tmp3_startTime = context.o3b_1;
-    var tmp4_flags = context.c3b_1;
-    var tmp5_dynamicKb = context.e3b_1;
-    var tmp6_staticKb = context.d3b_1;
-    var tmp7_operators = context.f3b_1;
-    var tmp8_inputChannels = context.g3b_1;
-    var tmp9_outputChannels = context.h3b_1;
-    var tmp10_libraries = context.b3b_1;
-    var tmp11_customData = context.i3b_1.discardEphemeral();
-    var tempContext = tmp0_$this.q3c(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.j3d(this.f3d_1.sr(), tempContext);
-    return tempContext.q3c(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, nextChoicePointContext);
-  };
-  protoOf(Rules).k3d = function (alternatives, executionContext, parent, depth) {
+    var tmp3_startTime = context.v3b_1;
+    var tmp4_flags = context.j3b_1;
+    var tmp5_dynamicKb = context.l3b_1;
+    var tmp6_staticKb = context.k3b_1;
+    var tmp7_operators = context.m3b_1;
+    var tmp8_inputChannels = context.n3b_1;
+    var tmp9_outputChannels = context.o3b_1;
+    var tmp10_libraries = context.i3b_1;
+    var tmp11_customData = context.p3b_1.discardEphemeral();
+    var tempContext = tmp0_$this.x3c(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.q3d(this.m3d_1.qr(), tempContext);
+    return tempContext.x3c(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, nextChoicePointContext);
+  };
+  protoOf(Rules).r3d = function (alternatives, executionContext, parent, depth) {
     return new Rules(alternatives, executionContext, parent, depth);
   };
-  protoOf(Rules).j3d = function (alternatives, executionContext, parent, depth, $super) {
-    alternatives = alternatives === VOID ? this.f3d_1 : alternatives;
-    executionContext = executionContext === VOID ? this.g3d_1 : executionContext;
-    parent = parent === VOID ? this.h3d_1 : parent;
-    depth = depth === VOID ? this.i3d_1 : depth;
-    return $super === VOID ? this.k3d(alternatives, executionContext, parent, depth) : $super.k3d.call(this, alternatives, executionContext, parent, depth);
+  protoOf(Rules).q3d = function (alternatives, executionContext, parent, depth, $super) {
+    alternatives = alternatives === VOID ? this.m3d_1 : alternatives;
+    executionContext = executionContext === VOID ? this.n3d_1 : executionContext;
+    parent = parent === VOID ? this.o3d_1 : parent;
+    depth = depth === VOID ? this.p3d_1 : depth;
+    return $super === VOID ? this.r3d(alternatives, executionContext, parent, depth) : $super.r3d.call(this, alternatives, executionContext, parent, depth);
   };
   protoOf(Rules).hashCode = function () {
-    var result = hashCode(this.f3d_1);
-    result = imul(result, 31) + (this.g3d_1 == null ? 0 : this.g3d_1.hashCode()) | 0;
-    result = imul(result, 31) + (this.h3d_1 == null ? 0 : hashCode(this.h3d_1)) | 0;
-    result = imul(result, 31) + this.i3d_1 | 0;
+    var result = hashCode(this.m3d_1);
+    result = imul(result, 31) + (this.n3d_1 == null ? 0 : this.n3d_1.hashCode()) | 0;
+    result = imul(result, 31) + (this.o3d_1 == null ? 0 : hashCode(this.o3d_1)) | 0;
+    result = imul(result, 31) + this.p3d_1 | 0;
     return result;
   };
   protoOf(Rules).equals = function (other) {
@@ -478,28 +474,28 @@
       return true;
     if (!(other instanceof Rules))
       return false;
-    if (!equals(this.f3d_1, other.f3d_1))
+    if (!equals(this.m3d_1, other.m3d_1))
       return false;
-    if (!equals(this.g3d_1, other.g3d_1))
+    if (!equals(this.n3d_1, other.n3d_1))
       return false;
-    if (!equals(this.h3d_1, other.h3d_1))
+    if (!equals(this.o3d_1, other.o3d_1))
       return false;
-    if (!(this.i3d_1 === other.i3d_1))
+    if (!(this.p3d_1 === other.p3d_1))
       return false;
     return true;
   };
   function ChoicePointContext$_get_pathToRoot_$slambda_q0myjn(this$0, resultContinuation) {
-    this.t3d_1 = this$0;
+    this.a3e_1 = this$0;
     CoroutineImpl.call(this, resultContinuation);
   }
-  protoOf(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn).w3d = function ($this$sequence, $completion) {
-    var tmp = this.x3d($this$sequence, $completion);
+  protoOf(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn).d3e = function ($this$sequence, $completion) {
+    var tmp = this.e3e($this$sequence, $completion);
     tmp.r8_1 = Unit_instance;
     tmp.s8_1 = null;
     return tmp.x8();
   };
   protoOf(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn).o9 = function (p1, $completion) {
-    return this.w3d(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
+    return this.d3e(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
   };
   protoOf(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn).x8 = function () {
     var suspendResult = this.r8_1;
@@ -509,24 +505,24 @@
         switch (tmp) {
           case 0:
             this.q8_1 = 4;
-            this.v3d_1 = this.t3d_1;
+            this.c3e_1 = this.a3e_1;
             this.p8_1 = 1;
             continue $sm;
           case 1:
-            if (!!(this.v3d_1 == null)) {
+            if (!!(this.c3e_1 == null)) {
               this.p8_1 = 3;
               continue $sm;
             }
 
             this.p8_1 = 2;
-            suspendResult = this.u3d_1.te(ensureNotNull(this.v3d_1), this);
+            suspendResult = this.b3e_1.se(ensureNotNull(this.c3e_1), this);
             if (suspendResult === get_COROUTINE_SUSPENDED()) {
               return suspendResult;
             }
 
             continue $sm;
           case 2:
-            this.v3d_1 = this.v3d_1.m3c();
+            this.c3e_1 = this.c3e_1.t3c();
             this.p8_1 = 1;
             continue $sm;
           case 3:
@@ -545,45 +541,45 @@
       }
      while (true);
   };
-  protoOf(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn).x3d = function ($this$sequence, completion) {
-    var i = new ChoicePointContext$_get_pathToRoot_$slambda_q0myjn(this.t3d_1, completion);
-    i.u3d_1 = $this$sequence;
+  protoOf(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn).e3e = function ($this$sequence, completion) {
+    var i = new ChoicePointContext$_get_pathToRoot_$slambda_q0myjn(this.a3e_1, completion);
+    i.b3e_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.w3d($this$sequence, $completion);
+      return i.d3e($this$sequence, $completion);
     }, 1);
   }
   function ChoicePointContext(alternatives, executionContext, parent, depth) {
     depth = depth === VOID ? 0 : depth;
-    this.t3c_1 = alternatives;
-    this.u3c_1 = executionContext;
-    this.v3c_1 = parent;
-    this.w3c_1 = depth;
+    this.a3d_1 = alternatives;
+    this.b3d_1 = executionContext;
+    this.c3d_1 = parent;
+    this.d3d_1 = depth;
   }
-  protoOf(ChoicePointContext).k3c = function () {
-    return this.t3c_1;
+  protoOf(ChoicePointContext).r3c = function () {
+    return this.a3d_1;
   };
-  protoOf(ChoicePointContext).l3c = function () {
-    return this.u3c_1;
+  protoOf(ChoicePointContext).s3c = function () {
+    return this.b3d_1;
   };
-  protoOf(ChoicePointContext).m3c = function () {
-    return this.v3c_1;
+  protoOf(ChoicePointContext).t3c = function () {
+    return this.c3d_1;
   };
-  protoOf(ChoicePointContext).n3c = function () {
-    return this.w3c_1;
+  protoOf(ChoicePointContext).u3c = function () {
+    return this.d3d_1;
   };
-  protoOf(ChoicePointContext).x3c = function () {
-    var tmp0 = this.y3c();
+  protoOf(ChoicePointContext).e3d = function () {
+    var tmp0 = this.f3d();
     var tmp$ret$0;
     $l$block: {
       // Inline function 'kotlin.sequences.any' call
       var _iterator__ex2g4s = tmp0.n();
       while (_iterator__ex2g4s.q()) {
         var element = _iterator__ex2g4s.r();
-        if (element.k3c().ur()) {
+        if (element.r3c().sr()) {
           tmp$ret$0 = true;
           break $l$block;
         }
@@ -592,34 +588,34 @@
     }
     return tmp$ret$0;
   };
-  protoOf(ChoicePointContext).y3c = function () {
+  protoOf(ChoicePointContext).f3d = function () {
     return sequence(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn_0(this, null));
   };
-  protoOf(ChoicePointContext).z3c = function () {
-    var tmp0_safe_receiver = this.l3c();
-    return tmp0_safe_receiver == null ? null : tmp0_safe_receiver.s3b_1;
+  protoOf(ChoicePointContext).g3d = function () {
+    var tmp0_safe_receiver = this.s3c();
+    return tmp0_safe_receiver == null ? null : tmp0_safe_receiver.z3b_1;
   };
-  protoOf(ChoicePointContext).a3d = function () {
-    var tmp0_safe_receiver = this.l3c();
-    return tmp0_safe_receiver == null ? null : tmp0_safe_receiver.z3a_1;
+  protoOf(ChoicePointContext).h3d = function () {
+    var tmp0_safe_receiver = this.s3c();
+    return tmp0_safe_receiver == null ? null : tmp0_safe_receiver.g3b_1;
   };
   protoOf(ChoicePointContext).toString = function () {
-    var tmp = this.o3c() + '(' + ('alternatives=' + toString(this.k3c()) + ', ');
+    var tmp = this.v3c() + '(' + ('alternatives=' + toString(this.r3c()) + ', ');
     var tmp_0;
-    if (this.l3c() === null) {
-      tmp_0 = 'executionContext=' + toString_0(this.l3c()) + ', ';
+    if (this.s3c() === null) {
+      tmp_0 = 'executionContext=' + toString_0(this.s3c()) + ', ';
     } else {
-      'executionContextDepth=' + this.z3c() + ', ';
-      tmp_0 = 'executionContextProcedure=' + toString_0(this.a3d()) + ', ';
+      'executionContextDepth=' + this.g3d() + ', ';
+      tmp_0 = 'executionContextProcedure=' + toString_0(this.h3d()) + ', ';
     }
-    return tmp + tmp_0 + ('depth=' + this.n3c()) + ')';
+    return tmp + tmp_0 + ('depth=' + this.u3c()) + ')';
   };
   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.n3c() + 1 | 0;
+    return _this__u8e3s4 == null ? 0 : _this__u8e3s4.u3c() + 1 | 0;
   }
   function appendPrimitives(_this__u8e3s4, alternatives, executionContext) {
     executionContext = executionContext === VOID ? null : executionContext;
@@ -661,183 +657,183 @@
   }
   function MutablePrologSolver$loadLibrary$lambda($library) {
     return function ($this$updateContext) {
-      var newRuntime = $this$updateContext.b3b_1.plusLibrary($library);
-      return $this$updateContext.q3c(VOID, VOID, newRuntime, VOID, VOID, VOID, $this$updateContext.f3b_1.plusOperatorSet(toOperatorSet(getAllOperators(newRuntime, []))));
+      var newRuntime = $this$updateContext.i3b_1.plusLibrary($library);
+      return $this$updateContext.x3c(VOID, VOID, newRuntime, VOID, VOID, VOID, $this$updateContext.m3b_1.plusOperatorSet(toOperatorSet(getAllOperators(newRuntime, []))));
     };
   }
   function MutablePrologSolver$unloadLibrary$lambda($library) {
     return function ($this$updateContext) {
-      var newRuntime = $this$updateContext.b3b_1.plusLibrary($library);
-      return $this$updateContext.q3c(VOID, VOID, newRuntime, VOID, VOID, VOID, toOperatorSet(getAllOperators(newRuntime, [$this$updateContext.d3b_1, $this$updateContext.e3b_1])));
+      var newRuntime = $this$updateContext.i3b_1.minus($library);
+      return $this$updateContext.x3c(VOID, VOID, newRuntime, VOID, VOID, VOID, toOperatorSet(getAllOperators(newRuntime, [$this$updateContext.k3b_1, $this$updateContext.l3b_1])));
     };
   }
   function MutablePrologSolver$setRuntime$lambda($libraries) {
     return function ($this$updateContext) {
-      return $this$updateContext.q3c(VOID, VOID, $libraries, VOID, VOID, VOID, toOperatorSet(getAllOperators($libraries, [$this$updateContext.d3b_1, $this$updateContext.e3b_1])));
+      return $this$updateContext.x3c(VOID, VOID, $libraries, VOID, VOID, VOID, toOperatorSet(getAllOperators($libraries, [$this$updateContext.k3b_1, $this$updateContext.l3b_1])));
     };
   }
   function MutablePrologSolver$resetStaticKb$lambda($this$updateContext) {
-    return $this$updateContext.q3c(VOID, VOID, VOID, VOID, Companion_instance_0.empty($this$updateContext.a3b_1), VOID, toOperatorSet(getAllOperators($this$updateContext.b3b_1, [$this$updateContext.e3b_1])));
+    return $this$updateContext.x3c(VOID, VOID, VOID, VOID, Companion_instance_0.empty($this$updateContext.h3b_1), VOID, toOperatorSet(getAllOperators($this$updateContext.i3b_1, [$this$updateContext.l3b_1])));
   }
   function MutablePrologSolver$resetDynamicKb$lambda($this$updateContext) {
-    return $this$updateContext.q3c(VOID, VOID, VOID, VOID, VOID, Companion_instance_1.empty($this$updateContext.a3b_1), toOperatorSet(getAllOperators($this$updateContext.b3b_1, [$this$updateContext.d3b_1])));
+    return $this$updateContext.x3c(VOID, VOID, VOID, VOID, VOID, Companion_instance_1.empty($this$updateContext.h3b_1), toOperatorSet(getAllOperators($this$updateContext.i3b_1, [$this$updateContext.k3b_1])));
   }
   function MutablePrologSolver$assertA$lambda($clause) {
     return function ($this$updateContext) {
-      return $this$updateContext.q3c(VOID, VOID, VOID, VOID, VOID, $this$updateContext.e3b_1.a1v($clause), $this$updateContext.f3b_1.plusOperatorSet(toOperatorSet(getAllOperators_0(listOf($clause)))));
+      return $this$updateContext.x3c(VOID, VOID, VOID, VOID, VOID, $this$updateContext.l3b_1.a1v($clause), $this$updateContext.m3b_1.plusOperatorSet(toOperatorSet(getAllOperators_0(listOf($clause)))));
     };
   }
   function MutablePrologSolver$assertA$lambda_0($fact) {
     return function ($this$updateContext) {
-      return $this$updateContext.q3c(VOID, VOID, VOID, VOID, VOID, $this$updateContext.e3b_1.z1v($fact));
+      return $this$updateContext.x3c(VOID, VOID, VOID, VOID, VOID, $this$updateContext.l3b_1.z1v($fact));
     };
   }
   function MutablePrologSolver$assertZ$lambda($clause) {
     return function ($this$updateContext) {
-      return $this$updateContext.q3c(VOID, VOID, VOID, VOID, VOID, $this$updateContext.e3b_1.e1v($clause), $this$updateContext.f3b_1.plusOperatorSet(toOperatorSet(getAllOperators_0(listOf($clause)))));
+      return $this$updateContext.x3c(VOID, VOID, VOID, VOID, VOID, $this$updateContext.l3b_1.e1v($clause), $this$updateContext.m3b_1.plusOperatorSet(toOperatorSet(getAllOperators_0(listOf($clause)))));
     };
   }
   function MutablePrologSolver$assertZ$lambda_0($fact) {
     return function ($this$updateContext) {
-      return $this$updateContext.q3c(VOID, VOID, VOID, VOID, VOID, $this$updateContext.e3b_1.a1w($fact));
+      return $this$updateContext.x3c(VOID, VOID, VOID, VOID, VOID, $this$updateContext.l3b_1.a1w($fact));
     };
   }
   function MutablePrologSolver$retract$lambda($result, $clause) {
     return function ($this$updateContext) {
-      return $this$updateContext.q3c(VOID, VOID, VOID, VOID, VOID, $result.s1u().toMutableTheory(), $this$updateContext.f3b_1.minusOperatorSet(toOperatorSet(getAllOperators_0(listOf($clause)))));
+      return $this$updateContext.x3c(VOID, VOID, VOID, VOID, VOID, $result.s1u().toMutableTheory(), $this$updateContext.m3b_1.minusOperatorSet(toOperatorSet(getAllOperators_0(listOf($clause)))));
     };
   }
   function MutablePrologSolver$retract$lambda_0($result) {
     return function ($this$updateContext) {
-      return $this$updateContext.q3c(VOID, VOID, VOID, VOID, VOID, $result.s1u().toMutableTheory());
+      return $this$updateContext.x3c(VOID, VOID, VOID, VOID, VOID, $result.s1u().toMutableTheory());
     };
   }
   function MutablePrologSolver$retractAll$lambda($result) {
     return function ($this$updateContext) {
-      return $this$updateContext.q3c(VOID, VOID, VOID, VOID, VOID, $result.s1u().toMutableTheory(), $this$updateContext.f3b_1.minusOperatorSet(toOperatorSet(getAllOperators_0($result.s1u()))));
+      return $this$updateContext.x3c(VOID, VOID, VOID, VOID, VOID, $result.s1u().toMutableTheory(), $this$updateContext.m3b_1.minusOperatorSet(toOperatorSet(getAllOperators_0($result.s1u()))));
     };
   }
   function MutablePrologSolver$retractAll$lambda_0($result) {
     return function ($this$updateContext) {
-      return $this$updateContext.q3c(VOID, VOID, VOID, VOID, VOID, $result.s1u().toMutableTheory());
+      return $this$updateContext.x3c(VOID, VOID, VOID, VOID, VOID, $result.s1u().toMutableTheory());
     };
   }
   function MutablePrologSolver$setFlag$lambda($name, $value) {
     return function ($this$updateContext) {
-      return $this$updateContext.q3c(VOID, VOID, VOID, $this$updateContext.c3b_1.set($name, $value));
+      return $this$updateContext.x3c(VOID, VOID, VOID, $this$updateContext.j3b_1.set($name, $value));
     };
   }
   function MutablePrologSolver$setFlag$lambda_0($flag) {
     return function ($this$updateContext) {
-      return $this$updateContext.q3c(VOID, VOID, VOID, $this$updateContext.c3b_1.plusPair($flag));
+      return $this$updateContext.x3c(VOID, VOID, VOID, $this$updateContext.j3b_1.plusPair($flag));
     };
   }
   function MutablePrologSolver$setFlag$lambda_1($flag) {
     return function ($this$updateContext) {
-      return $this$updateContext.q3c(VOID, VOID, VOID, $this$updateContext.c3b_1.plusNotable($flag));
+      return $this$updateContext.x3c(VOID, VOID, VOID, $this$updateContext.j3b_1.plusNotable($flag));
     };
   }
   function MutablePrologSolver$setStandardInput$lambda($stdIn) {
     return function ($this$updateContext) {
-      return $this$updateContext.q3c(VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this$updateContext.g3b_1.plus(to('stdin', $stdIn)));
+      return $this$updateContext.x3c(VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this$updateContext.n3b_1.setStdIn($stdIn));
     };
   }
   function MutablePrologSolver$setStandardError$lambda($stdErr) {
     return function ($this$updateContext) {
-      return $this$updateContext.q3c(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this$updateContext.h3b_1.plus(to('stderr', $stdErr)));
+      return $this$updateContext.x3c(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this$updateContext.o3b_1.setStdErr($stdErr));
     };
   }
   function MutablePrologSolver$setStandardOutput$lambda($stdOut) {
     return function ($this$updateContext) {
-      return $this$updateContext.q3c(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this$updateContext.h3b_1.plus(to('stdout', $stdOut)));
+      return $this$updateContext.x3c(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this$updateContext.o3b_1.setStdOut($stdOut));
     };
   }
   function MutablePrologSolver$setWarnings$lambda($warnings) {
     return function ($this$updateContext) {
-      return $this$updateContext.q3c(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, Companion_instance_5.k22($this$updateContext.h3b_1, $warnings));
+      return $this$updateContext.x3c(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this$updateContext.o3b_1.setWarnings($warnings));
     };
   }
-  protoOf(MutablePrologSolver).z3d = function (library) {
-    this.p2f(MutablePrologSolver$loadLibrary$lambda(library));
+  protoOf(MutablePrologSolver).g3e = function (library) {
+    this.w2f(MutablePrologSolver$loadLibrary$lambda(library));
   };
   protoOf(MutablePrologSolver).loadLibrary = function (library) {
-    return this.z3d(library);
+    return this.g3e(library);
   };
-  protoOf(MutablePrologSolver).a3e = function (library) {
-    this.p2f(MutablePrologSolver$unloadLibrary$lambda(library));
+  protoOf(MutablePrologSolver).h3e = function (library) {
+    this.w2f(MutablePrologSolver$unloadLibrary$lambda(library));
   };
   protoOf(MutablePrologSolver).unloadLibrary = function (library) {
-    return this.a3e(library);
+    return this.h3e(library);
   };
-  protoOf(MutablePrologSolver).b3e = function (libraries) {
-    this.p2f(MutablePrologSolver$setRuntime$lambda(libraries));
+  protoOf(MutablePrologSolver).i3e = function (libraries) {
+    this.w2f(MutablePrologSolver$setRuntime$lambda(libraries));
   };
   protoOf(MutablePrologSolver).setLibraries = function (libraries) {
-    return this.b3e(libraries);
+    return this.i3e(libraries);
   };
-  protoOf(MutablePrologSolver).c3e = function (theory) {
-    this.t2f(theory, VOID, false);
+  protoOf(MutablePrologSolver).j3e = function (theory) {
+    this.a2g(theory, VOID, false);
   };
   protoOf(MutablePrologSolver).loadStaticKb = function (theory) {
-    return this.c3e(theory);
+    return this.j3e(theory);
   };
-  protoOf(MutablePrologSolver).d3e = function (theory) {
-    this.t2f(theory);
+  protoOf(MutablePrologSolver).k3e = function (theory) {
+    this.a2g(theory);
   };
   protoOf(MutablePrologSolver).appendStaticKb = function (theory) {
-    return this.d3e(theory);
+    return this.k3e(theory);
   };
-  protoOf(MutablePrologSolver).e3e = function () {
-    this.p2f(MutablePrologSolver$resetStaticKb$lambda);
+  protoOf(MutablePrologSolver).l3e = function () {
+    this.w2f(MutablePrologSolver$resetStaticKb$lambda);
   };
   protoOf(MutablePrologSolver).resetStaticKb = function () {
-    return this.e3e();
+    return this.l3e();
   };
-  protoOf(MutablePrologSolver).f3e = function (theory) {
-    this.t2f(VOID, theory, VOID, false);
+  protoOf(MutablePrologSolver).m3e = function (theory) {
+    this.a2g(VOID, theory, VOID, false);
   };
   protoOf(MutablePrologSolver).loadDynamicKb = function (theory) {
-    return this.f3e(theory);
+    return this.m3e(theory);
   };
-  protoOf(MutablePrologSolver).g3e = function (theory) {
-    this.t2f(VOID, theory);
+  protoOf(MutablePrologSolver).n3e = function (theory) {
+    this.a2g(VOID, theory);
   };
   protoOf(MutablePrologSolver).appendDynamicKb = function (theory) {
-    return this.g3e(theory);
+    return this.n3e(theory);
   };
-  protoOf(MutablePrologSolver).h3e = function () {
-    this.p2f(MutablePrologSolver$resetDynamicKb$lambda);
+  protoOf(MutablePrologSolver).o3e = function () {
+    this.w2f(MutablePrologSolver$resetDynamicKb$lambda);
   };
   protoOf(MutablePrologSolver).resetDynamicKb = function () {
-    return this.h3e();
+    return this.o3e();
   };
   protoOf(MutablePrologSolver).h1p = function (clause) {
-    this.p2f(MutablePrologSolver$assertA$lambda(clause));
+    this.w2f(MutablePrologSolver$assertA$lambda(clause));
   };
   protoOf(MutablePrologSolver).assertA = function (clause) {
     return this.h1p(clause);
   };
-  protoOf(MutablePrologSolver).i3e = function (fact) {
-    this.p2f(MutablePrologSolver$assertA$lambda_0(fact));
+  protoOf(MutablePrologSolver).p3e = function (fact) {
+    this.w2f(MutablePrologSolver$assertA$lambda_0(fact));
   };
   protoOf(MutablePrologSolver).assertAFact = function (fact) {
-    return this.i3e(fact);
+    return this.p3e(fact);
   };
   protoOf(MutablePrologSolver).i1o = function (clause) {
-    this.p2f(MutablePrologSolver$assertZ$lambda(clause));
+    this.w2f(MutablePrologSolver$assertZ$lambda(clause));
   };
   protoOf(MutablePrologSolver).assertZ = function (clause) {
     return this.i1o(clause);
   };
-  protoOf(MutablePrologSolver).j3e = function (fact) {
-    this.p2f(MutablePrologSolver$assertZ$lambda_0(fact));
+  protoOf(MutablePrologSolver).q3e = function (fact) {
+    this.w2f(MutablePrologSolver$assertZ$lambda_0(fact));
   };
   protoOf(MutablePrologSolver).assertZFact = function (fact) {
-    return this.j3e(fact);
+    return this.q3e(fact);
   };
   protoOf(MutablePrologSolver).b1w = function (clause) {
     var result = this.w1x().retract(clause);
-    this.p2f(MutablePrologSolver$retract$lambda(result, clause));
+    this.w2f(MutablePrologSolver$retract$lambda(result, clause));
     return result;
   };
   protoOf(MutablePrologSolver).retract = function (clause) {
@@ -845,7 +841,7 @@
   };
   protoOf(MutablePrologSolver).c1w = function (fact) {
     var result = this.w1x().retractByHead(fact);
-    this.p2f(MutablePrologSolver$retract$lambda_0(result));
+    this.w2f(MutablePrologSolver$retract$lambda_0(result));
     return result;
   };
   protoOf(MutablePrologSolver).retractByHead = function (fact) {
@@ -853,70 +849,67 @@
   };
   protoOf(MutablePrologSolver).n1o = function (clause) {
     var result = this.w1x().retractAll(clause);
-    this.p2f(MutablePrologSolver$retractAll$lambda(result));
+    this.w2f(MutablePrologSolver$retractAll$lambda(result));
     return result;
   };
   protoOf(MutablePrologSolver).retractAll = function (clause) {
     return this.n1o(clause);
   };
-  protoOf(MutablePrologSolver).k3e = function (fact) {
+  protoOf(MutablePrologSolver).r3e = function (fact) {
     var result = this.w1x().retractAllByHead(fact);
-    this.p2f(MutablePrologSolver$retractAll$lambda_0(result));
+    this.w2f(MutablePrologSolver$retractAll$lambda_0(result));
     return result;
   };
   protoOf(MutablePrologSolver).retractAllBeHead = function (fact) {
-    return this.k3e(fact);
+    return this.r3e(fact);
   };
-  protoOf(MutablePrologSolver).l3e = function (name, value) {
-    this.p2f(MutablePrologSolver$setFlag$lambda(name, value));
+  protoOf(MutablePrologSolver).s3e = function (name, value) {
+    this.w2f(MutablePrologSolver$setFlag$lambda(name, value));
   };
   protoOf(MutablePrologSolver).setFlag = function (name, value) {
-    return this.l3e(name, value);
+    return this.s3e(name, value);
   };
-  protoOf(MutablePrologSolver).m3e = function (flag) {
-    this.p2f(MutablePrologSolver$setFlag$lambda_0(flag));
+  protoOf(MutablePrologSolver).t3e = function (flag) {
+    this.w2f(MutablePrologSolver$setFlag$lambda_0(flag));
   };
   protoOf(MutablePrologSolver).setFlagPair = function (flag) {
-    return this.m3e(flag);
+    return this.t3e(flag);
   };
-  protoOf(MutablePrologSolver).n3e = function (flag) {
-    this.p2f(MutablePrologSolver$setFlag$lambda_1(flag));
+  protoOf(MutablePrologSolver).u3e = function (flag) {
+    this.w2f(MutablePrologSolver$setFlag$lambda_1(flag));
   };
   protoOf(MutablePrologSolver).setFlagNotable = function (flag) {
-    return this.n3e(flag);
+    return this.u3e(flag);
   };
-  protoOf(MutablePrologSolver).o3e = function (stdIn) {
-    this.p2f(MutablePrologSolver$setStandardInput$lambda(stdIn));
+  protoOf(MutablePrologSolver).v3e = function (stdIn) {
+    this.w2f(MutablePrologSolver$setStandardInput$lambda(stdIn));
   };
   protoOf(MutablePrologSolver).setStandardInput = function (stdIn) {
-    return this.o3e(stdIn);
+    return this.v3e(stdIn);
   };
-  protoOf(MutablePrologSolver).p3e = function (stdErr) {
-    this.p2f(MutablePrologSolver$setStandardError$lambda(stdErr));
+  protoOf(MutablePrologSolver).w3e = function (stdErr) {
+    this.w2f(MutablePrologSolver$setStandardError$lambda(stdErr));
   };
   protoOf(MutablePrologSolver).setStandardError = function (stdErr) {
-    return this.p3e(stdErr);
+    return this.w3e(stdErr);
   };
-  protoOf(MutablePrologSolver).q3e = function (stdOut) {
-    this.p2f(MutablePrologSolver$setStandardOutput$lambda(stdOut));
+  protoOf(MutablePrologSolver).x3e = function (stdOut) {
+    this.w2f(MutablePrologSolver$setStandardOutput$lambda(stdOut));
   };
   protoOf(MutablePrologSolver).setStandardOutput = function (stdOut) {
-    return this.q3e(stdOut);
+    return this.x3e(stdOut);
   };
-  protoOf(MutablePrologSolver).r3e = function (warnings) {
-    this.p2f(MutablePrologSolver$setWarnings$lambda(warnings));
+  protoOf(MutablePrologSolver).y3e = function (warnings) {
+    this.w2f(MutablePrologSolver$setWarnings$lambda(warnings));
   };
   protoOf(MutablePrologSolver).setWarnings = function (warnings) {
-    return this.r3e(warnings);
+    return this.y3e(warnings);
   };
   protoOf(MutablePrologSolver).a1z = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
     return MutablePrologSolver_init_$Create$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings);
   };
-  protoOf(MutablePrologSolver).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 MutablePrologSolver) ? $super : THROW_CCE());
-  };
   protoOf(MutablePrologSolver).k1v = function () {
-    return this.copy();
+    return this.b1z();
   };
   protoOf(MutablePrologSolver).clone = function () {
     return this.k1v();
@@ -924,30 +917,30 @@
   function MutablePrologSolver() {
   }
   function _get_locallyInterestingVariables__39cqti($this) {
-    var tmp = asSequence_0($this.u3b_1);
-    var tmp0_safe_receiver = $this.l3b_1.tr();
-    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.ax();
+    var tmp = asSequence_0($this.b3c_1);
+    var tmp0_safe_receiver = $this.s3b_1.rr();
+    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.zw();
     return plus(tmp, tmp1_elvis_lhs == null ? emptySequence() : tmp1_elvis_lhs);
   }
   function _get_interestingVariables__k6uw5o($this) {
-    var tmp0 = $this.x3b_1;
+    var tmp0 = $this.e3c_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     getPropertyCallableRef('interestingVariables', 1, tmp, PrologExecutionContext$_get_interestingVariables_$ref_ycsjv3(), null);
     return tmp0.f1();
   }
   function PrologExecutionContext$pathToRoot$slambda(this$0, resultContinuation) {
-    this.b3f_1 = this$0;
+    this.i3f_1 = this$0;
     CoroutineImpl.call(this, resultContinuation);
   }
-  protoOf(PrologExecutionContext$pathToRoot$slambda).e3f = function ($this$sequence, $completion) {
-    var tmp = this.f3f($this$sequence, $completion);
+  protoOf(PrologExecutionContext$pathToRoot$slambda).l3f = function ($this$sequence, $completion) {
+    var tmp = this.m3f($this$sequence, $completion);
     tmp.r8_1 = Unit_instance;
     tmp.s8_1 = null;
     return tmp.x8();
   };
   protoOf(PrologExecutionContext$pathToRoot$slambda).o9 = function (p1, $completion) {
-    return this.e3f(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
+    return this.l3f(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
   };
   protoOf(PrologExecutionContext$pathToRoot$slambda).x8 = function () {
     var suspendResult = this.r8_1;
@@ -957,24 +950,24 @@
         switch (tmp) {
           case 0:
             this.q8_1 = 4;
-            this.d3f_1 = this.b3f_1;
+            this.k3f_1 = this.i3f_1;
             this.p8_1 = 1;
             continue $sm;
           case 1:
-            if (!!(this.d3f_1 == null)) {
+            if (!!(this.k3f_1 == null)) {
               this.p8_1 = 3;
               continue $sm;
             }
 
             this.p8_1 = 2;
-            suspendResult = this.c3f_1.te(this.d3f_1, this);
+            suspendResult = this.j3f_1.se(this.k3f_1, this);
             if (suspendResult === get_COROUTINE_SUSPENDED()) {
               return suspendResult;
             }
 
             continue $sm;
           case 2:
-            this.d3f_1 = this.d3f_1.r3b_1;
+            this.k3f_1 = this.k3f_1.y3b_1;
             this.p8_1 = 1;
             continue $sm;
           case 3:
@@ -993,67 +986,67 @@
       }
      while (true);
   };
-  protoOf(PrologExecutionContext$pathToRoot$slambda).f3f = function ($this$sequence, completion) {
-    var i = new PrologExecutionContext$pathToRoot$slambda(this.b3f_1, completion);
-    i.c3f_1 = $this$sequence;
+  protoOf(PrologExecutionContext$pathToRoot$slambda).m3f = function ($this$sequence, completion) {
+    var i = new PrologExecutionContext$pathToRoot$slambda(this.i3f_1, completion);
+    i.j3f_1 = $this$sequence;
     return i;
   };
   function PrologExecutionContext$pathToRoot$slambda_0(this$0, resultContinuation) {
     var i = new PrologExecutionContext$pathToRoot$slambda(this$0, resultContinuation);
     return constructCallableReference(function ($this$sequence, $completion) {
-      return i.e3f($this$sequence, $completion);
+      return i.l3f($this$sequence, $completion);
     }, 1);
   }
   function PrologExecutionContext$currentGoal$delegate$lambda(this$0) {
     return function () {
       var tmp;
-      if (this$0.l3b_1.vr()) {
+      if (this$0.s3b_1.tr()) {
         tmp = null;
       } else {
-        var tmp0_safe_receiver = this$0.l3b_1.tr();
-        tmp = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.applySubstitution(this$0.j3b_1);
+        var tmp0_safe_receiver = this$0.s3b_1.rr();
+        tmp = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.applySubstitution(this$0.q3b_1);
       }
       return tmp;
     };
   }
   function PrologExecutionContext$_get_currentGoal_$ref_g1xdum() {
     return constructCallableReference(function (p0) {
-      return p0.g3f();
-    }, 1, 0, 87);
+      return p0.n3f();
+    }, 1, 0, 88);
   }
   function PrologExecutionContext$interestingVariables$delegate$lambda$lambda(it) {
     return _get_locallyInterestingVariables__39cqti(it);
   }
   function PrologExecutionContext$interestingVariables$delegate$lambda(this$0) {
     return function () {
-      var tmp = plus(_get_locallyInterestingVariables__39cqti(this$0), this$0.k3b_1.ax());
-      return cached(distinct(plus(tmp, flatMap(this$0.v3b_1, PrologExecutionContext$interestingVariables$delegate$lambda$lambda))));
+      var tmp = plus(_get_locallyInterestingVariables__39cqti(this$0), this$0.r3b_1.zw());
+      return cached(distinct(plus(tmp, flatMap(this$0.c3c_1, PrologExecutionContext$interestingVariables$delegate$lambda$lambda))));
     };
   }
   function PrologExecutionContext$_get_interestingVariables_$ref_ycsjv3() {
     return constructCallableReference(function (p0) {
       return _get_interestingVariables__k6uw5o(p0);
-    }, 1, 0, 88);
+    }, 1, 0, 89);
   }
   function PrologExecutionContext$logicStackTrace$delegate$lambda$lambda(it) {
-    return it.h3f();
+    return it.o3f();
   }
   function PrologExecutionContext$logicStackTrace$delegate$lambda$lambda_0(this$0) {
     return function (it) {
-      var tmp0_elvis_lhs = it.z3a_1;
-      return tmp0_elvis_lhs == null ? Companion_getInstance_1().of('?-', [this$0.k3b_1]) : tmp0_elvis_lhs;
+      var tmp0_elvis_lhs = it.g3b_1;
+      return tmp0_elvis_lhs == null ? Companion_getInstance_1().of('?-', [this$0.r3b_1]) : tmp0_elvis_lhs;
     };
   }
   function PrologExecutionContext$logicStackTrace$delegate$lambda(this$0) {
     return function () {
-      var tmp = filter(this$0.v3b_1, PrologExecutionContext$logicStackTrace$delegate$lambda$lambda);
+      var tmp = filter(this$0.c3c_1, PrologExecutionContext$logicStackTrace$delegate$lambda$lambda);
       return toList(map(tmp, PrologExecutionContext$logicStackTrace$delegate$lambda$lambda_0(this$0)));
     };
   }
   function PrologExecutionContext$_get_logicStackTrace_$ref_jddlfz() {
     return constructCallableReference(function (p0) {
       return p0.q1x();
-    }, 1, 0, 89);
+    }, 1, 0, 90);
   }
   function PrologExecutionContext(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;
@@ -1067,7 +1060,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().pw_1 : query;
+    query = query === VOID ? Companion_getInstance_3().ow_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;
@@ -1077,117 +1070,117 @@
     depth = depth === VOID ? 0 : depth;
     step = step === VOID ? 0n : step;
     relevantVariables = relevantVariables === VOID ? emptySet() : relevantVariables;
-    this.z3a_1 = procedure;
-    this.a3b_1 = unificator;
-    this.b3b_1 = libraries;
-    this.c3b_1 = flags;
-    this.d3b_1 = staticKb;
-    this.e3b_1 = dynamicKb;
-    this.f3b_1 = operators;
-    this.g3b_1 = inputChannels;
-    this.h3b_1 = outputChannels;
-    this.i3b_1 = customData;
-    this.j3b_1 = substitution;
-    this.k3b_1 = query;
-    this.l3b_1 = goals;
-    this.m3b_1 = rules;
-    this.n3b_1 = primitives;
-    this.o3b_1 = startTime;
-    this.p3b_1 = maxDuration;
-    this.q3b_1 = choicePoints;
-    this.r3b_1 = parent;
-    this.s3b_1 = depth;
-    this.t3b_1 = step;
-    this.u3b_1 = relevantVariables;
+    this.g3b_1 = procedure;
+    this.h3b_1 = unificator;
+    this.i3b_1 = libraries;
+    this.j3b_1 = flags;
+    this.k3b_1 = staticKb;
+    this.l3b_1 = dynamicKb;
+    this.m3b_1 = operators;
+    this.n3b_1 = inputChannels;
+    this.o3b_1 = outputChannels;
+    this.p3b_1 = customData;
+    this.q3b_1 = substitution;
+    this.r3b_1 = query;
+    this.s3b_1 = goals;
+    this.t3b_1 = rules;
+    this.u3b_1 = primitives;
+    this.v3b_1 = startTime;
+    this.w3b_1 = maxDuration;
+    this.x3b_1 = choicePoints;
+    this.y3b_1 = parent;
+    this.z3b_1 = depth;
+    this.a3c_1 = step;
+    this.b3c_1 = relevantVariables;
     // Inline function 'kotlin.require' call
     // Inline function 'kotlin.require' call
-    if (!(this.s3b_1 === 0 && this.r3b_1 == null || (this.s3b_1 > 0 && !(this.r3b_1 == null)))) {
+    if (!(this.z3b_1 === 0 && this.y3b_1 == null || (this.z3b_1 > 0 && !(this.y3b_1 == null)))) {
       var message = 'Failed requirement.';
       throw IllegalArgumentException_init_$Create$(toString(message));
     }
     // Inline function 'kotlin.require' call
     // Inline function 'kotlin.require' call
-    if (!(this.o3b_1 >= 0n)) {
+    if (!(this.v3b_1 >= 0n)) {
       var message_0 = 'Failed requirement.';
       throw IllegalArgumentException_init_$Create$(toString(message_0));
     }
     // Inline function 'kotlin.require' call
     // Inline function 'kotlin.require' call
-    if (!(this.p3b_1 >= 0n)) {
+    if (!(this.w3b_1 >= 0n)) {
       var message_1 = 'Failed requirement.';
       throw IllegalArgumentException_init_$Create$(toString(message_1));
     }
     var tmp = this;
-    tmp.v3b_1 = sequence(PrologExecutionContext$pathToRoot$slambda_0(this, null));
+    tmp.c3c_1 = sequence(PrologExecutionContext$pathToRoot$slambda_0(this, null));
     var tmp_0 = this;
-    tmp_0.w3b_1 = lazy(PrologExecutionContext$currentGoal$delegate$lambda(this));
+    tmp_0.d3c_1 = lazy(PrologExecutionContext$currentGoal$delegate$lambda(this));
     var tmp_1 = this;
-    tmp_1.x3b_1 = lazy(PrologExecutionContext$interestingVariables$delegate$lambda(this));
+    tmp_1.e3c_1 = lazy(PrologExecutionContext$interestingVariables$delegate$lambda(this));
     var tmp_2 = this;
-    tmp_2.y3b_1 = lazy(PrologExecutionContext$logicStackTrace$delegate$lambda(this));
+    tmp_2.f3c_1 = lazy(PrologExecutionContext$logicStackTrace$delegate$lambda(this));
   }
   protoOf(PrologExecutionContext).o1x = function () {
-    return this.z3a_1;
+    return this.g3b_1;
   };
   protoOf(PrologExecutionContext).v1n = function () {
-    return this.a3b_1;
+    return this.h3b_1;
   };
   protoOf(PrologExecutionContext).t1x = function () {
-    return this.b3b_1;
+    return this.i3b_1;
   };
   protoOf(PrologExecutionContext).u1x = function () {
-    return this.c3b_1;
+    return this.j3b_1;
   };
   protoOf(PrologExecutionContext).v1x = function () {
-    return this.d3b_1;
+    return this.k3b_1;
   };
   protoOf(PrologExecutionContext).w1x = function () {
-    return this.e3b_1;
+    return this.l3b_1;
   };
   protoOf(PrologExecutionContext).c1y = function () {
-    return this.f3b_1;
+    return this.m3b_1;
   };
   protoOf(PrologExecutionContext).x1x = function () {
-    return this.g3b_1;
+    return this.n3b_1;
   };
   protoOf(PrologExecutionContext).y1x = function () {
-    return this.h3b_1;
+    return this.o3b_1;
   };
   protoOf(PrologExecutionContext).r1x = function () {
-    return this.i3b_1;
+    return this.p3b_1;
   };
   protoOf(PrologExecutionContext).p1x = function () {
-    return this.j3b_1;
+    return this.q3b_1;
   };
   protoOf(PrologExecutionContext).j1x = function () {
-    return this.o3b_1;
+    return this.v3b_1;
   };
   protoOf(PrologExecutionContext).l1x = function () {
-    return this.p3b_1;
+    return this.w3b_1;
   };
-  protoOf(PrologExecutionContext).i3f = function () {
-    return this.s3b_1 === 0;
+  protoOf(PrologExecutionContext).p3f = function () {
+    return this.z3b_1 === 0;
   };
-  protoOf(PrologExecutionContext).x3c = function () {
-    var tmp0_safe_receiver = this.q3b_1;
-    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.x3c();
+  protoOf(PrologExecutionContext).e3d = function () {
+    var tmp0_safe_receiver = this.x3b_1;
+    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.e3d();
     return tmp1_elvis_lhs == null ? false : tmp1_elvis_lhs;
   };
-  protoOf(PrologExecutionContext).h3f = function () {
-    return this.r3b_1 == null || (this.s3b_1 - this.r3b_1.s3b_1 | 0) >= 1;
+  protoOf(PrologExecutionContext).o3f = function () {
+    return this.y3b_1 == null || (this.z3b_1 - this.y3b_1.z3b_1 | 0) >= 1;
   };
-  protoOf(PrologExecutionContext).g3f = function () {
-    var tmp0 = this.w3b_1;
+  protoOf(PrologExecutionContext).n3f = function () {
+    var tmp0 = this.d3c_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     getPropertyCallableRef('currentGoal', 1, tmp, PrologExecutionContext$_get_currentGoal_$ref_g1xdum(), null);
     return tmp0.f1();
   };
-  protoOf(PrologExecutionContext).j3f = function (variable) {
+  protoOf(PrologExecutionContext).q3f = function (variable) {
     return contains(_get_interestingVariables__k6uw5o(this), variable);
   };
   protoOf(PrologExecutionContext).q1x = function () {
-    var tmp0 = this.y3b_1;
+    var tmp0 = this.f3c_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     getPropertyCallableRef('logicStackTrace', 1, tmp, PrologExecutionContext$_get_logicStackTrace_$ref_jddlfz(), null);
@@ -1206,86 +1199,86 @@
     return this.createMutableSolver(unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, ($super == null ? true : $super instanceof PrologExecutionContext) ? $super : THROW_CCE());
   };
   protoOf(PrologExecutionContext).b1y = function (unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData) {
-    return this.q3c(VOID, unificator, libraries, flags, staticKb, dynamicKb.toMutableTheory(), operators, inputChannels, outputChannels, customData);
+    return this.x3c(VOID, unificator, libraries, flags, staticKb, dynamicKb.toMutableTheory(), operators, inputChannels, outputChannels, customData);
   };
   protoOf(PrologExecutionContext).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 PrologExecutionContext) ? $super : THROW_CCE());
   };
-  protoOf(PrologExecutionContext).k3f = function (sideEffect) {
+  protoOf(PrologExecutionContext).r3f = function (sideEffect) {
     var tmp = apply.call(this, sideEffect);
     return tmp instanceof PrologExecutionContext ? tmp : THROW_CCE();
   };
   protoOf(PrologExecutionContext).apply = function (sideEffect) {
-    return this.k3f(sideEffect);
+    return this.r3f(sideEffect);
   };
-  protoOf(PrologExecutionContext).l3f = function (sideEffects) {
+  protoOf(PrologExecutionContext).s3f = function (sideEffects) {
     var tmp = applyIterable.call(this, sideEffects);
     return tmp instanceof PrologExecutionContext ? tmp : THROW_CCE();
   };
   protoOf(PrologExecutionContext).applyIterable = function (sideEffects) {
-    return this.l3f(sideEffects);
+    return this.s3f(sideEffects);
   };
-  protoOf(PrologExecutionContext).m3f = function (sideEffects) {
+  protoOf(PrologExecutionContext).t3f = function (sideEffects) {
     var tmp = applySequence.call(this, sideEffects);
     return tmp instanceof PrologExecutionContext ? tmp : THROW_CCE();
   };
   protoOf(PrologExecutionContext).applySequence = function (sideEffects) {
-    return this.m3f(sideEffects);
+    return this.t3f(sideEffects);
   };
   protoOf(PrologExecutionContext).toString = function () {
-    return 'PrologExecutionContext(' + ('step=' + this.t3b_1.toString() + ', ') + ('depth=' + this.s3b_1 + ', ') + ('substitution=' + toString(this.j3b_1) + ', ') + ('logicStackTrace=' + toString(this.q1x()) + ', ') + ('goals=' + toString(this.l3b_1) + ', ') + ('rules=' + toString(this.m3b_1) + ', ') + ('primitives=' + toString(this.n3b_1) + ', ') + ('startTime=' + this.o3b_1.toString() + ', ') + ('endTime=' + this.k1x().toString() + ', ') + ('maxDuration=' + this.p3b_1.toString() + ', ') + ('unificator=' + toString(this.a3b_1) + ', ') + ('choicePoints=' + toString_0(this.q3b_1)) + ')';
+    return 'PrologExecutionContext(' + ('step=' + this.a3c_1.toString() + ', ') + ('depth=' + this.z3b_1 + ', ') + ('substitution=' + toString(this.q3b_1) + ', ') + ('logicStackTrace=' + toString(this.q1x()) + ', ') + ('goals=' + toString(this.s3b_1) + ', ') + ('rules=' + toString(this.t3b_1) + ', ') + ('primitives=' + toString(this.u3b_1) + ', ') + ('startTime=' + this.v3b_1.toString() + ', ') + ('endTime=' + this.k1x().toString() + ', ') + ('maxDuration=' + this.w3b_1.toString() + ', ') + ('unificator=' + toString(this.h3b_1) + ', ') + ('choicePoints=' + toString_0(this.x3b_1)) + ')';
   };
-  protoOf(PrologExecutionContext).n3f = function (procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables) {
+  protoOf(PrologExecutionContext).u3f = 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 PrologExecutionContext(procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables);
   };
-  protoOf(PrologExecutionContext).q3c = 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.z3a_1 : procedure;
-    unificator = unificator === VOID ? this.a3b_1 : unificator;
-    libraries = libraries === VOID ? this.b3b_1 : libraries;
-    flags = flags === VOID ? this.c3b_1 : flags;
-    staticKb = staticKb === VOID ? this.d3b_1 : staticKb;
-    dynamicKb = dynamicKb === VOID ? this.e3b_1 : dynamicKb;
-    operators = operators === VOID ? this.f3b_1 : operators;
-    inputChannels = inputChannels === VOID ? this.g3b_1 : inputChannels;
-    outputChannels = outputChannels === VOID ? this.h3b_1 : outputChannels;
-    customData = customData === VOID ? this.i3b_1 : customData;
-    substitution = substitution === VOID ? this.j3b_1 : substitution;
-    query = query === VOID ? this.k3b_1 : query;
-    goals = goals === VOID ? this.l3b_1 : goals;
-    rules = rules === VOID ? this.m3b_1 : rules;
-    primitives = primitives === VOID ? this.n3b_1 : primitives;
-    startTime = startTime === VOID ? this.o3b_1 : startTime;
-    maxDuration = maxDuration === VOID ? this.p3b_1 : maxDuration;
-    choicePoints = choicePoints === VOID ? this.q3b_1 : choicePoints;
-    parent = parent === VOID ? this.r3b_1 : parent;
-    depth = depth === VOID ? this.s3b_1 : depth;
-    step = step === VOID ? this.t3b_1 : step;
-    relevantVariables = relevantVariables === VOID ? this.u3b_1 : relevantVariables;
-    return $super === VOID ? this.n3f(procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables) : $super.n3f.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(PrologExecutionContext).x3c = 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.g3b_1 : procedure;
+    unificator = unificator === VOID ? this.h3b_1 : unificator;
+    libraries = libraries === VOID ? this.i3b_1 : libraries;
+    flags = flags === VOID ? this.j3b_1 : flags;
+    staticKb = staticKb === VOID ? this.k3b_1 : staticKb;
+    dynamicKb = dynamicKb === VOID ? this.l3b_1 : dynamicKb;
+    operators = operators === VOID ? this.m3b_1 : operators;
+    inputChannels = inputChannels === VOID ? this.n3b_1 : inputChannels;
+    outputChannels = outputChannels === VOID ? this.o3b_1 : outputChannels;
+    customData = customData === VOID ? this.p3b_1 : customData;
+    substitution = substitution === VOID ? this.q3b_1 : substitution;
+    query = query === VOID ? this.r3b_1 : query;
+    goals = goals === VOID ? this.s3b_1 : goals;
+    rules = rules === VOID ? this.t3b_1 : rules;
+    primitives = primitives === VOID ? this.u3b_1 : primitives;
+    startTime = startTime === VOID ? this.v3b_1 : startTime;
+    maxDuration = maxDuration === VOID ? this.w3b_1 : maxDuration;
+    choicePoints = choicePoints === VOID ? this.x3b_1 : choicePoints;
+    parent = parent === VOID ? this.y3b_1 : parent;
+    depth = depth === VOID ? this.z3b_1 : depth;
+    step = step === VOID ? this.a3c_1 : step;
+    relevantVariables = relevantVariables === VOID ? this.b3c_1 : relevantVariables;
+    return $super === VOID ? this.u3f(procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables) : $super.u3f.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(PrologExecutionContext).hashCode = function () {
-    var result = this.z3a_1 == null ? 0 : this.z3a_1.hashCode();
-    result = imul(result, 31) + hashCode(this.a3b_1) | 0;
-    result = imul(result, 31) + hashCode(this.b3b_1) | 0;
-    result = imul(result, 31) + this.c3b_1.hashCode() | 0;
-    result = imul(result, 31) + hashCode(this.d3b_1) | 0;
-    result = imul(result, 31) + hashCode(this.e3b_1) | 0;
-    result = imul(result, 31) + this.f3b_1.hashCode() | 0;
-    result = imul(result, 31) + hashCode(this.g3b_1) | 0;
+    var result = this.g3b_1 == null ? 0 : this.g3b_1.hashCode();
     result = imul(result, 31) + hashCode(this.h3b_1) | 0;
-    result = imul(result, 31) + this.i3b_1.hashCode() | 0;
-    result = imul(result, 31) + hashCode(this.j3b_1) | 0;
-    result = imul(result, 31) + this.k3b_1.hashCode() | 0;
+    result = imul(result, 31) + hashCode(this.i3b_1) | 0;
+    result = imul(result, 31) + this.j3b_1.hashCode() | 0;
+    result = imul(result, 31) + hashCode(this.k3b_1) | 0;
     result = imul(result, 31) + hashCode(this.l3b_1) | 0;
-    result = imul(result, 31) + hashCode(this.m3b_1) | 0;
+    result = imul(result, 31) + this.m3b_1.hashCode() | 0;
     result = imul(result, 31) + hashCode(this.n3b_1) | 0;
-    result = imul(result, 31) + getBigIntHashCode(this.o3b_1) | 0;
-    result = imul(result, 31) + getBigIntHashCode(this.p3b_1) | 0;
-    result = imul(result, 31) + (this.q3b_1 == null ? 0 : hashCode(this.q3b_1)) | 0;
-    result = imul(result, 31) + (this.r3b_1 == null ? 0 : this.r3b_1.hashCode()) | 0;
-    result = imul(result, 31) + this.s3b_1 | 0;
-    result = imul(result, 31) + getBigIntHashCode(this.t3b_1) | 0;
+    result = imul(result, 31) + hashCode(this.o3b_1) | 0;
+    result = imul(result, 31) + this.p3b_1.hashCode() | 0;
+    result = imul(result, 31) + hashCode(this.q3b_1) | 0;
+    result = imul(result, 31) + this.r3b_1.hashCode() | 0;
+    result = imul(result, 31) + hashCode(this.s3b_1) | 0;
+    result = imul(result, 31) + hashCode(this.t3b_1) | 0;
     result = imul(result, 31) + hashCode(this.u3b_1) | 0;
+    result = imul(result, 31) + getBigIntHashCode(this.v3b_1) | 0;
+    result = imul(result, 31) + getBigIntHashCode(this.w3b_1) | 0;
+    result = imul(result, 31) + (this.x3b_1 == null ? 0 : hashCode(this.x3b_1)) | 0;
+    result = imul(result, 31) + (this.y3b_1 == null ? 0 : this.y3b_1.hashCode()) | 0;
+    result = imul(result, 31) + this.z3b_1 | 0;
+    result = imul(result, 31) + getBigIntHashCode(this.a3c_1) | 0;
+    result = imul(result, 31) + hashCode(this.b3c_1) | 0;
     return result;
   };
   protoOf(PrologExecutionContext).equals = function (other) {
@@ -1293,49 +1286,49 @@
       return true;
     if (!(other instanceof PrologExecutionContext))
       return false;
-    if (!equals(this.z3a_1, other.z3a_1))
+    if (!equals(this.g3b_1, other.g3b_1))
       return false;
-    if (!equals(this.a3b_1, other.a3b_1))
+    if (!equals(this.h3b_1, other.h3b_1))
       return false;
-    if (!equals(this.b3b_1, other.b3b_1))
+    if (!equals(this.i3b_1, other.i3b_1))
       return false;
-    if (!this.c3b_1.equals(other.c3b_1))
+    if (!this.j3b_1.equals(other.j3b_1))
       return false;
-    if (!equals(this.d3b_1, other.d3b_1))
+    if (!equals(this.k3b_1, other.k3b_1))
       return false;
-    if (!equals(this.e3b_1, other.e3b_1))
+    if (!equals(this.l3b_1, other.l3b_1))
       return false;
-    if (!this.f3b_1.equals(other.f3b_1))
+    if (!this.m3b_1.equals(other.m3b_1))
       return false;
-    if (!equals(this.g3b_1, other.g3b_1))
+    if (!equals(this.n3b_1, other.n3b_1))
       return false;
-    if (!equals(this.h3b_1, other.h3b_1))
+    if (!equals(this.o3b_1, other.o3b_1))
       return false;
-    if (!this.i3b_1.equals(other.i3b_1))
+    if (!this.p3b_1.equals(other.p3b_1))
       return false;
-    if (!equals(this.j3b_1, other.j3b_1))
+    if (!equals(this.q3b_1, other.q3b_1))
       return false;
-    if (!this.k3b_1.equals(other.k3b_1))
+    if (!this.r3b_1.equals(other.r3b_1))
       return false;
-    if (!equals(this.l3b_1, other.l3b_1))
+    if (!equals(this.s3b_1, other.s3b_1))
       return false;
-    if (!equals(this.m3b_1, other.m3b_1))
+    if (!equals(this.t3b_1, other.t3b_1))
       return false;
-    if (!equals(this.n3b_1, other.n3b_1))
+    if (!equals(this.u3b_1, other.u3b_1))
       return false;
-    if (!(this.o3b_1 === other.o3b_1))
+    if (!(this.v3b_1 === other.v3b_1))
       return false;
-    if (!(this.p3b_1 === other.p3b_1))
+    if (!(this.w3b_1 === other.w3b_1))
       return false;
-    if (!equals(this.q3b_1, other.q3b_1))
+    if (!equals(this.x3b_1, other.x3b_1))
       return false;
-    if (!equals(this.r3b_1, other.r3b_1))
+    if (!equals(this.y3b_1, other.y3b_1))
       return false;
-    if (!(this.s3b_1 === other.s3b_1))
+    if (!(this.z3b_1 === other.z3b_1))
       return false;
-    if (!(this.t3b_1 === other.t3b_1))
+    if (!(this.a3c_1 === other.a3c_1))
       return false;
-    if (!equals(this.u3b_1, other.u3b_1))
+    if (!equals(this.b3c_1, other.b3c_1))
       return false;
     return true;
   };
@@ -1373,17 +1366,14 @@
   function PrologSolver_init_$Create$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb) {
     return PrologSolver_init_$Init$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb, objectCreate(protoOf(PrologSolver)));
   }
-  protoOf(PrologSolver).b3c = function (initialState, onStateTransition) {
-    return Companion_instance_15.o3f(initialState, onStateTransition);
+  protoOf(PrologSolver).i3c = function (initialState, onStateTransition) {
+    return Companion_instance_15.v3f(initialState, onStateTransition);
   };
   protoOf(PrologSolver).a1z = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
     return PrologSolver_init_$Create$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings);
   };
-  protoOf(PrologSolver).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 PrologSolver) ? $super : THROW_CCE());
-  };
   protoOf(PrologSolver).k1v = function () {
-    return this.copy();
+    return this.b1z();
   };
   protoOf(PrologSolver).clone = function () {
     return this.k1v();
@@ -1392,28 +1382,28 @@
   }
   function PrologSolverFactory() {
   }
-  protoOf(PrologSolverFactory).b21 = function () {
+  protoOf(PrologSolverFactory).c21 = function () {
     return DefaultBuiltins_getInstance();
   };
-  protoOf(PrologSolverFactory).m21 = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs) {
+  protoOf(PrologSolverFactory).n21 = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs) {
     return PrologSolver_init_$Create$(unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs);
   };
   protoOf(PrologSolverFactory).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 PrologSolverFactory) ? $super : THROW_CCE());
   };
-  protoOf(PrologSolverFactory).s21 = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
+  protoOf(PrologSolverFactory).t21 = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
     return PrologSolver_init_$Create$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings);
   };
   protoOf(PrologSolverFactory).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 PrologSolverFactory) ? $super : THROW_CCE());
   };
-  protoOf(PrologSolverFactory).u21 = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
+  protoOf(PrologSolverFactory).v21 = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
     return MutablePrologSolver_init_$Create$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings);
   };
   protoOf(PrologSolverFactory).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 PrologSolverFactory) ? $super : THROW_CCE());
   };
-  protoOf(PrologSolverFactory).w21 = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs) {
+  protoOf(PrologSolverFactory).x21 = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs) {
     return MutablePrologSolver_init_$Create$(unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs);
   };
   protoOf(PrologSolverFactory).rawMutableSolverOf = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs, $super) {
@@ -1428,7 +1418,7 @@
   }
   function Companion() {
   }
-  protoOf(Companion).o3f = function (initialState, onStateTransition) {
+  protoOf(Companion).v3f = function (initialState, onStateTransition) {
     return new SimpleSolutionIterator(initialState, onStateTransition);
   };
   protoOf(Companion).of = function (initialState, onStateTransition, $super) {
@@ -1439,7 +1429,7 @@
       tmp = onStateTransition;
     }
     onStateTransition = tmp;
-    return $super === VOID ? this.o3f(initialState, onStateTransition) : $super.o3f.call(this, initialState, onStateTransition);
+    return $super === VOID ? this.v3f(initialState, onStateTransition) : $super.v3f.call(this, initialState, onStateTransition);
   };
   var Companion_instance_15;
   function Companion_getInstance_5() {
@@ -1447,81 +1437,81 @@
   }
   function AbstractEndState(solution, context) {
     AbstractState.call(this, context);
-    this.r3f_1 = solution;
-    this.s3f_1 = context;
+    this.y3f_1 = solution;
+    this.z3f_1 = context;
   }
-  protoOf(AbstractEndState).j2n = function () {
-    return this.r3f_1;
+  protoOf(AbstractEndState).r2n = function () {
+    return this.y3f_1;
   };
   protoOf(AbstractEndState).v8 = function () {
-    return this.s3f_1;
+    return this.z3f_1;
   };
-  protoOf(AbstractEndState).t3f = function () {
+  protoOf(AbstractEndState).a3g = function () {
     throw NoSuchElementException_init_$Create$();
   };
   protoOf(AbstractEndState).asEndState = function () {
-    return this.b3g();
+    return this.i3g();
   };
   function AbstractState$executionTime$delegate$lambda(this$0) {
     return function () {
-      return this$0.y3f();
+      return this$0.f3g();
     };
   }
   function AbstractState$_get_executionTime_$ref_gwd5wm() {
     return constructCallableReference(function (p0) {
-      return p0.w3f();
-    }, 1, 0, 90);
+      return p0.d3g();
+    }, 1, 0, 91);
   }
   function AbstractState(context) {
-    this.u3f_1 = context;
+    this.b3g_1 = context;
     var tmp = this;
-    tmp.v3f_1 = lazy(AbstractState$executionTime$delegate$lambda(this));
+    tmp.c3g_1 = lazy(AbstractState$executionTime$delegate$lambda(this));
   }
   protoOf(AbstractState).v8 = function () {
-    return this.u3f_1;
+    return this.b3g_1;
   };
-  protoOf(AbstractState).w3f = function () {
-    var tmp0 = this.v3f_1;
+  protoOf(AbstractState).d3g = function () {
+    var tmp0 = this.c3g_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     getPropertyCallableRef('executionTime', 1, tmp, AbstractState$_get_executionTime_$ref_gwd5wm(), null);
     return tmp0.f1();
   };
-  protoOf(AbstractState).x3f = function () {
-    return subtract(this.w3f(), this.v8().o3b_1) > this.v8().p3b_1;
+  protoOf(AbstractState).e3g = function () {
+    return subtract(this.d3g(), this.v8().v3b_1) > this.v8().w3b_1;
   };
   protoOf(AbstractState).r = function () {
     var tmp;
-    if (this.x3f()) {
-      var tmp0_exceededDuration = this.v8().p3b_1;
+    if (this.e3g()) {
+      var tmp0_exceededDuration = this.v8().w3b_1;
       var tmp1_context = this.v8();
-      tmp = new StateHalt(TimeOutException_init_$Create$(VOID, VOID, tmp1_context, tmp0_exceededDuration), this.v8().q3c(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.z3f()));
+      tmp = new StateHalt(TimeOutException_init_$Create$(VOID, VOID, tmp1_context, tmp0_exceededDuration), this.v8().x3c(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.g3g()));
     } else {
-      tmp = this.t3f();
+      tmp = this.a3g();
     }
     return tmp;
   };
   protoOf(AbstractState).next = function () {
     return this.r();
   };
-  protoOf(AbstractState).y3f = function () {
+  protoOf(AbstractState).f3g = function () {
     return currentTimeInstant();
   };
-  protoOf(AbstractState).z3f = function () {
+  protoOf(AbstractState).g3g = function () {
     // Inline function 'kotlin.Long.plus' call
-    var this_0 = this.v8().t3b_1;
+    var this_0 = this.v8().a3c_1;
     return add(this_0, fromInt(1));
   };
-  protoOf(AbstractState).d3g = function (_this__u8e3s4) {
-    var tmp0 = _this__u8e3s4.v3b_1;
+  protoOf(AbstractState).k3g = function (_this__u8e3s4) {
+    var tmp0 = _this__u8e3s4.c3c_1;
     var tmp$ret$0;
     $l$block: {
       // Inline function 'kotlin.sequences.first' call
       var _iterator__ex2g4s = tmp0.n();
       while (_iterator__ex2g4s.q()) {
         var element = _iterator__ex2g4s.r();
-        var tmp0_safe_receiver = element.z3a_1;
-        var tmp = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.yw();
+        var tmp0_safe_receiver = element.g3b_1;
+        var tmp = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.xw();
         // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
         if (!(tmp === Throw_getInstance().signature.name)) {
           tmp$ret$0 = element;
@@ -1538,26 +1528,26 @@
   }
   function StateBacktracking(context) {
     AbstractState.call(this, context);
-    this.g3g_1 = context;
+    this.n3g_1 = context;
   }
   protoOf(StateBacktracking).v8 = function () {
-    return this.g3g_1;
+    return this.n3g_1;
   };
-  protoOf(StateBacktracking).t3f = function () {
-    var choicePoints = this.g3g_1.q3b_1;
+  protoOf(StateBacktracking).a3g = function () {
+    var choicePoints = this.n3g_1.x3b_1;
     var tmp;
     // Inline function 'kotlin.let' call
-    if (choicePoints === null || !choicePoints.x3c()) {
-      tmp = new StateEnd(Companion_instance_8.no(this.g3g_1.k3b_1), this.g3g_1.q3c(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.z3f()));
+    if (choicePoints === null || !choicePoints.e3d()) {
+      tmp = new StateEnd(Companion_instance_8.no(this.n3g_1.r3b_1), this.n3g_1.x3c(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.g3g()));
     } else {
-      var tmp0 = ensureNotNull(choicePoints).y3c();
+      var tmp0 = ensureNotNull(choicePoints).f3d();
       var tmp$ret$2;
       $l$block: {
         // Inline function 'kotlin.sequences.first' call
         var _iterator__ex2g4s = tmp0.n();
         while (_iterator__ex2g4s.q()) {
           var element = _iterator__ex2g4s.r();
-          if (element.k3c().ur()) {
+          if (element.r3c().sr()) {
             tmp$ret$2 = element;
             break $l$block;
           }
@@ -1565,9 +1555,9 @@
         throw NoSuchElementException_init_$Create$_0('Sequence contains no element matching the predicate.');
       }
       var choicePointContext = tmp$ret$2;
-      var nextContext = choicePointContext.p3c(this.g3g_1);
+      var nextContext = choicePointContext.w3c(this.n3g_1);
       var tmp_0;
-      if (nextContext.n3b_1.ur()) {
+      if (nextContext.u3b_1.sr()) {
         tmp_0 = new StatePrimitiveExecution(nextContext);
       } else {
         tmp_0 = new StateRuleExecution(nextContext);
@@ -1576,71 +1566,71 @@
     }
     return tmp;
   };
-  protoOf(StateBacktracking).c3g = function (context) {
-    return this.h3g(context);
+  protoOf(StateBacktracking).j3g = function (context) {
+    return this.o3g(context);
   };
   protoOf(StateBacktracking).clone = function (context, $super) {
     return this.clone(context, ($super == null ? true : $super instanceof StateBacktracking) ? $super : THROW_CCE());
   };
-  protoOf(StateBacktracking).h3g = function (context) {
+  protoOf(StateBacktracking).o3g = function (context) {
     return new StateBacktracking(context);
   };
   protoOf(StateBacktracking).toString = function () {
-    return 'StateBacktracking(context=' + this.g3g_1.toString() + ')';
+    return 'StateBacktracking(context=' + this.n3g_1.toString() + ')';
   };
   protoOf(StateBacktracking).hashCode = function () {
-    return this.g3g_1.hashCode();
+    return this.n3g_1.hashCode();
   };
   protoOf(StateBacktracking).equals = function (other) {
     if (this === other)
       return true;
     if (!(other instanceof StateBacktracking))
       return false;
-    if (!this.g3g_1.equals(other.g3g_1))
+    if (!this.n3g_1.equals(other.n3g_1))
       return false;
     return true;
   };
   function StateEnd(solution, context) {
     AbstractEndState.call(this, solution, context);
-    this.m3g_1 = solution;
-    this.n3g_1 = context;
+    this.t3g_1 = solution;
+    this.u3g_1 = context;
   }
-  protoOf(StateEnd).j2n = function () {
-    return this.m3g_1;
+  protoOf(StateEnd).r2n = function () {
+    return this.t3g_1;
   };
   protoOf(StateEnd).v8 = function () {
-    return this.n3g_1;
+    return this.u3g_1;
   };
-  protoOf(StateEnd).x3f = function () {
+  protoOf(StateEnd).e3g = function () {
     return false;
   };
-  protoOf(StateEnd).t3f = function () {
+  protoOf(StateEnd).a3g = function () {
     var tmp;
-    if (this.n3g_1.x3c()) {
-      var tmp0_$this = this.n3g_1;
-      var tmp1_step = this.z3f();
-      var tmp2_startTime = this.y3f();
-      tmp = new StateBacktracking(tmp0_$this.q3c(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.u3g_1.e3d()) {
+      var tmp0_$this = this.u3g_1;
+      var tmp1_step = this.g3g();
+      var tmp2_startTime = this.f3g();
+      tmp = new StateBacktracking(tmp0_$this.x3c(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).t3f.call(this);
+      tmp = protoOf(AbstractEndState).a3g.call(this);
     }
     return tmp;
   };
-  protoOf(StateEnd).c3g = function (context) {
-    return this.o3g(this.m3g_1, context);
+  protoOf(StateEnd).j3g = function (context) {
+    return this.v3g(this.t3g_1, context);
   };
   protoOf(StateEnd).clone = function (context, $super) {
     return this.clone(context, ($super == null ? true : $super instanceof StateEnd) ? $super : THROW_CCE());
   };
-  protoOf(StateEnd).o3g = function (solution, context) {
+  protoOf(StateEnd).v3g = function (solution, context) {
     return new StateEnd(solution, context);
   };
   protoOf(StateEnd).toString = function () {
-    return 'StateEnd(solution=' + toString(this.m3g_1) + ', context=' + this.n3g_1.toString() + ')';
+    return 'StateEnd(solution=' + toString(this.t3g_1) + ', context=' + this.u3g_1.toString() + ')';
   };
   protoOf(StateEnd).hashCode = function () {
-    var result = hashCode(this.m3g_1);
-    result = imul(result, 31) + this.n3g_1.hashCode() | 0;
+    var result = hashCode(this.t3g_1);
+    result = imul(result, 31) + this.u3g_1.hashCode() | 0;
     return result;
   };
   protoOf(StateEnd).equals = function (other) {
@@ -1648,19 +1638,19 @@
       return true;
     if (!(other instanceof StateEnd))
       return false;
-    if (!equals(this.m3g_1, other.m3g_1))
+    if (!equals(this.t3g_1, other.t3g_1))
       return false;
-    if (!this.n3g_1.equals(other.n3g_1))
+    if (!this.u3g_1.equals(other.u3g_1))
       return false;
     return true;
   };
   protoOf(StateEnd).asEndState = function () {
-    return this.b3g();
+    return this.i3g();
   };
   function isCatch($this, $receiver) {
     var tmp;
-    if ($receiver.sw() === 3) {
-      var tmp_0 = $receiver.yw();
+    if ($receiver.rw() === 3) {
+      var tmp_0 = $receiver.xw();
       // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
       tmp = tmp_0 === Catch_getInstance().signature.name;
     } else {
@@ -1671,9 +1661,9 @@
   function getExceptionContent($this, $receiver) {
     var tmp;
     if ($receiver instanceof MessageError) {
-      tmp = $receiver.v29();
+      tmp = $receiver.x29();
     } else {
-      tmp = $receiver.x27();
+      tmp = $receiver.z27();
     }
     return tmp;
   }
@@ -1687,17 +1677,17 @@
     return tmp;
   }
   function _get_finalState__3aigq8($this) {
-    return new StateHalt(toPublicException($this, $this.r3g_1), $this.s3g_1.q3c(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.z3f()));
+    return new StateHalt(toPublicException($this, $this.y3g_1), $this.z3g_1.x3c(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.g3g()));
   }
   function _get_handleExceptionInParentContext__yj3v4e($this) {
-    return new StateException($this.r3g_1, ensureNotNull($this.s3g_1.r3b_1).q3c(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.z3f()));
+    return new StateException($this.y3g_1, ensureNotNull($this.z3g_1.y3b_1).x3c(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.g3g()));
   }
   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.s3g_1.i3f()) {
+    } else if ($this.z3g_1.p3f()) {
       tmp = _get_finalState__3aigq8($this);
     } else {
       tmp = _get_handleExceptionInParentContext__yj3v4e($this);
@@ -1706,18 +1696,18 @@
   }
   function handleCatch($this, catchGoal, catcher) {
     var tmp;
-    if (catcher.c13()) {
-      var tmp_0 = $this.s3g_1.j3b_1.plus(catcher);
+    if (catcher.b13()) {
+      var tmp_0 = $this.z3g_1.q3b_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.s3g_1.l3b_1.sr());
-      var tmp0_$this = $this.s3g_1;
+      var newGoals = plus_0(toGoals(subGoals), $this.z3g_1.s3b_1.qr());
+      var tmp0_$this = $this.z3g_1;
       var tmp1_rules = Companion_instance_7.empty();
       var tmp2_primitives = Companion_instance_7.empty();
       var tmp3_substitution = newSubstitution.castToUnifier();
-      var tmp4_step = $this.z3f();
-      tmp = new StateGoalSelection(tmp0_$this.q3c(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.s3g_1.i3f()) {
+      var tmp4_step = $this.g3g();
+      tmp = new StateGoalSelection(tmp0_$this.x3c(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.z3g_1.p3f()) {
       tmp = _get_finalState__3aigq8($this);
     } else {
       tmp = _get_handleExceptionInParentContext__yj3v4e($this);
@@ -1728,42 +1718,42 @@
     return function (_destruct__k2r9zo) {
       // Inline function 'kotlin.collections.component1' call
       var it = _destruct__k2r9zo.e1();
-      return this$0.s3g_1.j3f(it);
+      return this$0.z3g_1.q3f(it);
     };
   }
   function StateException(exception, context) {
     AbstractState.call(this, context);
-    this.r3g_1 = exception;
-    this.s3g_1 = context;
+    this.y3g_1 = exception;
+    this.z3g_1 = context;
   }
   protoOf(StateException).v8 = function () {
-    return this.s3g_1;
+    return this.z3g_1;
   };
-  protoOf(StateException).t3f = function () {
+  protoOf(StateException).a3g = function () {
     var tmp;
-    if (this.r3g_1 instanceof LogicError) {
-      var catchGoal = ensureNotNull(this.s3g_1.g3f());
-      tmp = catchGoal.ex() ? handleStruct(this, this.s3g_1.a3b_1, catchGoal.castToStruct(), this.r3g_1) : this.s3g_1.i3f() ? _get_finalState__3aigq8(this) : _get_handleExceptionInParentContext__yj3v4e(this);
+    if (this.y3g_1 instanceof LogicError) {
+      var catchGoal = ensureNotNull(this.z3g_1.n3f());
+      tmp = catchGoal.dx() ? handleStruct(this, this.z3g_1.h3b_1, catchGoal.castToStruct(), this.y3g_1) : this.z3g_1.p3f() ? _get_finalState__3aigq8(this) : _get_handleExceptionInParentContext__yj3v4e(this);
     } else {
       tmp = _get_finalState__3aigq8(this);
     }
     return tmp;
   };
-  protoOf(StateException).c3g = function (context) {
-    return this.t3g(this.r3g_1, context);
+  protoOf(StateException).j3g = function (context) {
+    return this.a3h(this.y3g_1, context);
   };
   protoOf(StateException).clone = function (context, $super) {
     return this.clone(context, ($super == null ? true : $super instanceof StateException) ? $super : THROW_CCE());
   };
-  protoOf(StateException).t3g = function (exception, context) {
+  protoOf(StateException).a3h = function (exception, context) {
     return new StateException(exception, context);
   };
   protoOf(StateException).toString = function () {
-    return 'StateException(exception=' + this.r3g_1.toString() + ', context=' + this.s3g_1.toString() + ')';
+    return 'StateException(exception=' + this.y3g_1.toString() + ', context=' + this.z3g_1.toString() + ')';
   };
   protoOf(StateException).hashCode = function () {
-    var result = hashCode(this.r3g_1);
-    result = imul(result, 31) + this.s3g_1.hashCode() | 0;
+    var result = hashCode(this.y3g_1);
+    result = imul(result, 31) + this.z3g_1.hashCode() | 0;
     return result;
   };
   protoOf(StateException).equals = function (other) {
@@ -1771,9 +1761,9 @@
       return true;
     if (!(other instanceof StateException))
       return false;
-    if (!equals(this.r3g_1, other.r3g_1))
+    if (!equals(this.y3g_1, other.y3g_1))
       return false;
-    if (!this.s3g_1.equals(other.s3g_1))
+    if (!this.z3g_1.equals(other.z3g_1))
       return false;
     return true;
   };
@@ -1781,97 +1771,97 @@
     return function (_destruct__k2r9zo) {
       // Inline function 'kotlin.collections.component1' call
       var it = _destruct__k2r9zo.e1();
-      return this$0.w3g_1.j3f(it);
+      return this$0.d3h_1.q3f(it);
     };
   }
   function StateGoalSelection(context) {
     AbstractState.call(this, context);
-    this.w3g_1 = context;
+    this.d3h_1 = context;
   }
   protoOf(StateGoalSelection).v8 = function () {
-    return this.w3g_1;
+    return this.d3h_1;
   };
-  protoOf(StateGoalSelection).t3f = function () {
+  protoOf(StateGoalSelection).a3g = function () {
     var tmp;
-    if (this.w3g_1.l3b_1.vr()) {
+    if (this.d3h_1.s3b_1.tr()) {
       var tmp_0;
-      if (this.w3g_1.i3f()) {
-        tmp_0 = new StateEnd(Companion_instance_8.t1z(this.w3g_1.k3b_1, this.w3g_1.j3b_1), this.w3g_1.q3c(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.z3f()));
+      if (this.d3h_1.p3f()) {
+        tmp_0 = new StateEnd(Companion_instance_8.u1z(this.d3h_1.r3b_1, this.d3h_1.q3b_1), this.d3h_1.x3c(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.g3g()));
       } else {
         // Inline function 'kotlin.let' call
-        var it = ensureNotNull(this.w3g_1.r3b_1);
-        var tmp0_choicePoints = this.w3g_1.q3b_1;
-        var tmp1_flags = this.w3g_1.c3b_1;
-        var tmp2_dynamicKb = this.w3g_1.e3b_1;
-        var tmp3_staticKb = this.w3g_1.d3b_1;
-        var tmp4_substitution = this.w3g_1.j3b_1.w12(StateGoalSelection$computeNext$lambda(this));
-        var tmp5_goals = it.l3b_1.sr();
-        var tmp6_procedure = it.z3a_1;
-        var tmp7_step = this.z3f();
-        var tmp8_startTime = this.w3g_1.o3b_1;
-        var tmp9_operators = this.w3g_1.f3b_1;
-        var tmp10_inputChannels = this.w3g_1.g3b_1;
-        var tmp11_outputChannels = this.w3g_1.h3b_1;
-        var tmp12_libraries = this.w3g_1.b3b_1;
-        var tmp13_customData = this.w3g_1.i3b_1;
-        var tmp$ret$0 = it.q3c(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.d3h_1.y3b_1);
+        var tmp0_choicePoints = this.d3h_1.x3b_1;
+        var tmp1_flags = this.d3h_1.j3b_1;
+        var tmp2_dynamicKb = this.d3h_1.l3b_1;
+        var tmp3_staticKb = this.d3h_1.k3b_1;
+        var tmp4_substitution = this.d3h_1.q3b_1.v12(StateGoalSelection$computeNext$lambda(this));
+        var tmp5_goals = it.s3b_1.qr();
+        var tmp6_procedure = it.g3b_1;
+        var tmp7_step = this.g3g();
+        var tmp8_startTime = this.d3h_1.v3b_1;
+        var tmp9_operators = this.d3h_1.m3b_1;
+        var tmp10_inputChannels = this.d3h_1.n3b_1;
+        var tmp11_outputChannels = this.d3h_1.o3b_1;
+        var tmp12_libraries = this.d3h_1.i3b_1;
+        var tmp13_customData = this.d3h_1.p3b_1;
+        var tmp$ret$0 = it.x3c(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.w3g_1.c3b_1.get(TrackVariables_getInstance()), TrackVariables_getInstance().g2d_1)) {
-      tmp = new StatePrimitiveSelection(this.w3g_1.q3c(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.z3f(), plus_1(this.w3g_1.u3b_1, toSet(ensureNotNull(this.w3g_1.l3b_1.tr()).ax()))));
+    } else if (equals(this.d3h_1.j3b_1.get(TrackVariables_getInstance()), TrackVariables_getInstance().n2d_1)) {
+      tmp = new StatePrimitiveSelection(this.d3h_1.x3c(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.g3g(), plus_1(this.d3h_1.b3c_1, toSet(ensureNotNull(this.d3h_1.s3b_1.rr()).zw()))));
     } else {
-      tmp = new StatePrimitiveSelection(this.w3g_1.q3c(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.z3f()));
+      tmp = new StatePrimitiveSelection(this.d3h_1.x3c(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.g3g()));
     }
     return tmp;
   };
-  protoOf(StateGoalSelection).c3g = function (context) {
-    return this.h3g(context);
+  protoOf(StateGoalSelection).j3g = function (context) {
+    return this.o3g(context);
   };
   protoOf(StateGoalSelection).clone = function (context, $super) {
     return this.clone(context, ($super == null ? true : $super instanceof StateGoalSelection) ? $super : THROW_CCE());
   };
-  protoOf(StateGoalSelection).h3g = function (context) {
+  protoOf(StateGoalSelection).o3g = function (context) {
     return new StateGoalSelection(context);
   };
   protoOf(StateGoalSelection).toString = function () {
-    return 'StateGoalSelection(context=' + this.w3g_1.toString() + ')';
+    return 'StateGoalSelection(context=' + this.d3h_1.toString() + ')';
   };
   protoOf(StateGoalSelection).hashCode = function () {
-    return this.w3g_1.hashCode();
+    return this.d3h_1.hashCode();
   };
   protoOf(StateGoalSelection).equals = function (other) {
     if (this === other)
       return true;
     if (!(other instanceof StateGoalSelection))
       return false;
-    if (!this.w3g_1.equals(other.w3g_1))
+    if (!this.d3h_1.equals(other.d3h_1))
       return false;
     return true;
   };
   function StateHalt(exception, context) {
-    AbstractEndState.call(this, Companion_instance_8.halt(context.k3b_1, exception), context);
-    this.b3h_1 = exception;
-    this.c3h_1 = context;
+    AbstractEndState.call(this, Companion_instance_8.halt(context.r3b_1, exception), context);
+    this.i3h_1 = exception;
+    this.j3h_1 = context;
   }
   protoOf(StateHalt).v8 = function () {
-    return this.c3h_1;
+    return this.j3h_1;
   };
-  protoOf(StateHalt).c3g = function (context) {
-    return this.t3g(this.b3h_1, context);
+  protoOf(StateHalt).j3g = function (context) {
+    return this.a3h(this.i3h_1, context);
   };
   protoOf(StateHalt).clone = function (context, $super) {
     return this.clone(context, ($super == null ? true : $super instanceof StateHalt) ? $super : THROW_CCE());
   };
-  protoOf(StateHalt).t3g = function (exception, context) {
+  protoOf(StateHalt).a3h = function (exception, context) {
     return new StateHalt(exception, context);
   };
   protoOf(StateHalt).toString = function () {
-    return 'StateHalt(exception=' + this.b3h_1.toString() + ', context=' + this.c3h_1.toString() + ')';
+    return 'StateHalt(exception=' + this.i3h_1.toString() + ', context=' + this.j3h_1.toString() + ')';
   };
   protoOf(StateHalt).hashCode = function () {
-    var result = hashCode(this.b3h_1);
-    result = imul(result, 31) + this.c3h_1.hashCode() | 0;
+    var result = hashCode(this.i3h_1);
+    result = imul(result, 31) + this.j3h_1.hashCode() | 0;
     return result;
   };
   protoOf(StateHalt).equals = function (other) {
@@ -1879,53 +1869,53 @@
       return true;
     if (!(other instanceof StateHalt))
       return false;
-    if (!equals(this.b3h_1, other.b3h_1))
+    if (!equals(this.i3h_1, other.i3h_1))
       return false;
-    if (!this.c3h_1.equals(other.c3h_1))
+    if (!this.j3h_1.equals(other.j3h_1))
       return false;
     return true;
   };
   protoOf(StateHalt).asEndState = function () {
-    return this.b3g();
+    return this.i3g();
   };
   function StateInit(context) {
     AbstractState.call(this, context);
-    this.f3h_1 = context;
+    this.m3h_1 = context;
   }
   protoOf(StateInit).v8 = function () {
-    return this.f3h_1;
+    return this.m3h_1;
   };
-  protoOf(StateInit).t3f = function () {
-    var tmp0_$this = this.f3h_1;
-    var tmp1_goals = toGoals(this.f3h_1.k3b_1);
+  protoOf(StateInit).a3g = function () {
+    var tmp0_$this = this.m3h_1;
+    var tmp1_goals = toGoals(this.m3h_1.r3b_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.f3h_1.i3b_1.preservePersistent();
+    var tmp5_customData = this.m3h_1.p3b_1.preservePersistent();
     var tmp6_relevantVariables = emptySet();
-    return new StateGoalSelection(appendRulesAndChoicePoints(tmp0_$this.q3c(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, 1n, tmp6_relevantVariables), Companion_instance_7.empty()));
+    return new StateGoalSelection(appendRulesAndChoicePoints(tmp0_$this.x3c(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, 1n, tmp6_relevantVariables), Companion_instance_7.empty()));
   };
-  protoOf(StateInit).c3g = function (context) {
-    return this.h3g(context);
+  protoOf(StateInit).j3g = function (context) {
+    return this.o3g(context);
   };
   protoOf(StateInit).clone = function (context, $super) {
     return this.clone(context, ($super == null ? true : $super instanceof StateInit) ? $super : THROW_CCE());
   };
-  protoOf(StateInit).h3g = function (context) {
+  protoOf(StateInit).o3g = function (context) {
     return new StateInit(context);
   };
   protoOf(StateInit).toString = function () {
-    return 'StateInit(context=' + this.f3h_1.toString() + ')';
+    return 'StateInit(context=' + this.m3h_1.toString() + ')';
   };
   protoOf(StateInit).hashCode = function () {
-    return this.f3h_1.hashCode();
+    return this.m3h_1.hashCode();
   };
   protoOf(StateInit).equals = function (other) {
     if (this === other)
       return true;
     if (!(other instanceof StateInit))
       return false;
-    if (!this.f3h_1.equals(other.f3h_1))
+    if (!this.m3h_1.equals(other.m3h_1))
       return false;
     return true;
   };
@@ -1933,41 +1923,41 @@
     goals = goals === VOID ? null : goals;
     procedureFromAncestor = procedureFromAncestor === VOID ? 0 : procedureFromAncestor;
     substitution = substitution === VOID ? null : substitution;
-    var tmp0_safe_receiver = $receiver.n3b_1.tr();
+    var tmp0_safe_receiver = $receiver.u3b_1.rr();
     var tmp;
     if (tmp0_safe_receiver == null) {
       tmp = null;
     } else {
       // Inline function 'kotlin.let' call
-      tmp = $receiver.l3f(tmp0_safe_receiver.sideEffects);
+      tmp = $receiver.s3f(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.l3b_1 : goals;
-    var tmp_0 = drop($receiver.v3b_1, procedureFromAncestor);
+    var tmp4_goals = goals == null ? $receiver.s3b_1 : goals;
+    var tmp_0 = drop($receiver.c3c_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.j3b_1 : substitution;
+    var tmp_1 = substitution == null ? $receiver.q3b_1 : substitution;
     var tmp7_substitution = isInterface(tmp_1, Unifier) ? tmp_1 : THROW_CCE();
-    var tmp8_step = $this.z3f();
-    return ctx.q3c(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.g3g();
+    return ctx.x3c(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.z3a_1;
+    return it.g3b_1;
   }
   function StatePrimitiveExecution$computeNext$lambda(this$0) {
     return function (it) {
-      return new StateGoalSelection(copyFromCurrentPrimitive(this$0, this$0.i3h_1, this$0.i3h_1.l3b_1.sr(), 1, this$0.i3h_1.a3b_1.mergeWithOccurCheck(this$0.i3h_1.j3b_1, it.p1x(), false)));
+      return new StateGoalSelection(copyFromCurrentPrimitive(this$0, this$0.p3h_1, this$0.p3h_1.s3b_1.qr(), 1, this$0.p3h_1.h3b_1.mergeWithOccurCheck(this$0.p3h_1.q3b_1, it.p1x(), false)));
     };
   }
   function StatePrimitiveExecution$computeNext$lambda_0(this$0) {
     return function (it) {
-      return new StateBacktracking(copyFromCurrentPrimitive(this$0, ensureNotNull(this$0.i3h_1.r3b_1)));
+      return new StateBacktracking(copyFromCurrentPrimitive(this$0, ensureNotNull(this$0.p3h_1.y3b_1)));
     };
   }
   function StatePrimitiveExecution$computeNext$lambda_1(this$0) {
     return function (it) {
-      return new StateException(it.l1z().updateLastContext(this$0.d3g(this$0.i3h_1)), copyFromCurrentPrimitive(this$0, this$0.i3h_1));
+      return new StateException(it.m1z().updateLastContext(this$0.k3g(this$0.p3h_1)), copyFromCurrentPrimitive(this$0, this$0.p3h_1));
     };
   }
   function StatePrimitiveExecution$computeNext$lambda_2(it) {
@@ -1975,15 +1965,15 @@
   }
   function StatePrimitiveExecution(context) {
     AbstractState.call(this, context);
-    this.i3h_1 = context;
+    this.p3h_1 = context;
   }
   protoOf(StatePrimitiveExecution).v8 = function () {
-    return this.i3h_1;
+    return this.p3h_1;
   };
-  protoOf(StatePrimitiveExecution).t3f = function () {
+  protoOf(StatePrimitiveExecution).a3g = function () {
     var tmp;
     try {
-      var tmp0_safe_receiver = this.i3h_1.n3b_1.tr();
+      var tmp0_safe_receiver = this.p3h_1.u3b_1.rr();
       var tmp1_safe_receiver = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.solution;
       var tmp_0;
       if (tmp1_safe_receiver == null) {
@@ -1992,15 +1982,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.o1z(tmp_1, tmp_2, tmp_3, StatePrimitiveExecution$computeNext$lambda_2);
+        tmp_0 = tmp1_safe_receiver.p1z(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.i3h_1)) : tmp2_elvis_lhs;
+      tmp = tmp2_elvis_lhs == null ? new StateBacktracking(copyFromCurrentPrimitive(this, this.p3h_1)) : tmp2_elvis_lhs;
     } catch ($p) {
       var tmp_4;
       if ($p instanceof ResolutionException) {
         var exception = $p;
-        tmp_4 = new StateException(exception.updateLastContext(this.d3g(this.i3h_1)), this.i3h_1.q3c(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.z3f()));
+        tmp_4 = new StateException(exception.updateLastContext(this.k3g(this.p3h_1)), this.p3h_1.x3c(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.g3g()));
       } else {
         throw $p;
       }
@@ -2008,57 +1998,57 @@
     }
     return tmp;
   };
-  protoOf(StatePrimitiveExecution).c3g = function (context) {
-    return this.h3g(context);
+  protoOf(StatePrimitiveExecution).j3g = function (context) {
+    return this.o3g(context);
   };
   protoOf(StatePrimitiveExecution).clone = function (context, $super) {
     return this.clone(context, ($super == null ? true : $super instanceof StatePrimitiveExecution) ? $super : THROW_CCE());
   };
-  protoOf(StatePrimitiveExecution).h3g = function (context) {
+  protoOf(StatePrimitiveExecution).o3g = function (context) {
     return new StatePrimitiveExecution(context);
   };
   protoOf(StatePrimitiveExecution).toString = function () {
-    return 'StatePrimitiveExecution(context=' + this.i3h_1.toString() + ')';
+    return 'StatePrimitiveExecution(context=' + this.p3h_1.toString() + ')';
   };
   protoOf(StatePrimitiveExecution).hashCode = function () {
-    return this.i3h_1.hashCode();
+    return this.p3h_1.hashCode();
   };
   protoOf(StatePrimitiveExecution).equals = function (other) {
     if (this === other)
       return true;
     if (!(other instanceof StatePrimitiveExecution))
       return false;
-    if (!this.i3h_1.equals(other.i3h_1))
+    if (!this.p3h_1.equals(other.p3h_1))
       return false;
     return true;
   };
   function exceptionalState($this, exception) {
-    return new StateException(exception, $this.l3h_1.q3c(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.z3f()));
+    return new StateException(exception, $this.s3h_1.x3c(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.g3g()));
   }
   function StatePrimitiveSelection(context) {
     AbstractState.call(this, context);
-    this.l3h_1 = context;
+    this.s3h_1 = context;
   }
   protoOf(StatePrimitiveSelection).v8 = function () {
-    return this.l3h_1;
+    return this.s3h_1;
   };
-  protoOf(StatePrimitiveSelection).t3f = function () {
+  protoOf(StatePrimitiveSelection).a3g = function () {
     // Inline function 'kotlin.with' call
-    var $this$with = this.l3h_1;
-    var goal = ensureNotNull($this$with.g3f());
+    var $this$with = this.s3h_1;
+    var goal = ensureNotNull($this$with.n3f());
     var tmp;
-    if (goal.ux()) {
-      tmp = exceptionalState(this, Companion_instance_11.forGoal(this.l3h_1, extractSignature(ensureNotNull(this.l3h_1.z3a_1)), goal.castToVar()));
-    } else if (goal.ex()) {
+    if (goal.tx()) {
+      tmp = exceptionalState(this, Companion_instance_11.forGoal(this.s3h_1, extractSignature(ensureNotNull(this.s3h_1.g3b_1)), goal.castToVar()));
+    } else if (goal.dx()) {
       var goalStruct = goal.castToStruct();
       var signature = extractSignature(goalStruct);
       var tmp_0;
-      if ($this$with.b3b_1.hasPrimitive(signature)) {
+      if ($this$with.i3b_1.hasPrimitive(signature)) {
         var childContext = createChild($this$with);
         var tmp_1;
         try {
-          var request = toRequest(childContext, goalStruct, signature, this.w3f());
-          var tmp0_elvis_lhs = $this$with.b3b_1.r2i().j2(signature);
+          var request = toRequest(childContext, goalStruct, signature, this.d3g());
+          var tmp0_elvis_lhs = $this$with.i3b_1.z2i().j2(signature);
           var tmp_2;
           if (tmp0_elvis_lhs == null) {
             // Inline function 'kotlin.error' call
@@ -2074,7 +2064,7 @@
           var tmp_3;
           if ($p instanceof ResolutionException) {
             var exception = $p;
-            tmp_3 = exceptionalState(this, exception.updateLastContext(this.d3g(childContext)));
+            tmp_3 = exceptionalState(this, exception.updateLastContext(this.k3g(childContext)));
           } else {
             throw $p;
           }
@@ -2082,106 +2072,106 @@
         }
         tmp_0 = tmp_1;
       } else {
-        tmp_0 = new StateRuleSelection(this.l3h_1.q3c(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.z3f()));
+        tmp_0 = new StateRuleSelection(this.s3h_1.x3c(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.g3g()));
       }
       tmp = tmp_0;
     } else {
       var tmp_4 = Companion_instance_10;
-      var tmp1_safe_receiver = this.l3h_1.z3a_1;
+      var tmp1_safe_receiver = this.s3h_1.g3b_1;
       var tmp2_elvis_lhs = tmp1_safe_receiver == null ? null : extractSignature(tmp1_safe_receiver);
-      tmp = exceptionalState(this, tmp_4.forGoal(this.l3h_1, tmp2_elvis_lhs == null ? new Signature('?-', 1) : tmp2_elvis_lhs, Expected_CALLABLE_getInstance(), goal));
+      tmp = exceptionalState(this, tmp_4.forGoal(this.s3h_1, tmp2_elvis_lhs == null ? new Signature('?-', 1) : tmp2_elvis_lhs, Expected_CALLABLE_getInstance(), goal));
     }
     return tmp;
   };
-  protoOf(StatePrimitiveSelection).c3g = function (context) {
-    return this.h3g(context);
+  protoOf(StatePrimitiveSelection).j3g = function (context) {
+    return this.o3g(context);
   };
   protoOf(StatePrimitiveSelection).clone = function (context, $super) {
     return this.clone(context, ($super == null ? true : $super instanceof StatePrimitiveSelection) ? $super : THROW_CCE());
   };
-  protoOf(StatePrimitiveSelection).h3g = function (context) {
+  protoOf(StatePrimitiveSelection).o3g = function (context) {
     return new StatePrimitiveSelection(context);
   };
   protoOf(StatePrimitiveSelection).toString = function () {
-    return 'StatePrimitiveSelection(context=' + this.l3h_1.toString() + ')';
+    return 'StatePrimitiveSelection(context=' + this.s3h_1.toString() + ')';
   };
   protoOf(StatePrimitiveSelection).hashCode = function () {
-    return this.l3h_1.hashCode();
+    return this.s3h_1.hashCode();
   };
   protoOf(StatePrimitiveSelection).equals = function (other) {
     if (this === other)
       return true;
     if (!(other instanceof StatePrimitiveSelection))
       return false;
-    if (!this.l3h_1.equals(other.l3h_1))
+    if (!this.s3h_1.equals(other.s3h_1))
       return false;
     return true;
   };
   function _get_failureState__yid9tw($this) {
-    return new StateBacktracking($this.o3h_1.q3c(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, Companion_instance_7.empty(), VOID, VOID, VOID, VOID, VOID, VOID, $this.z3f()));
+    return new StateBacktracking($this.v3h_1.x3c(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, Companion_instance_7.empty(), VOID, VOID, VOID, VOID, VOID, VOID, $this.g3g()));
   }
   function StateRuleExecution(context) {
     AbstractState.call(this, context);
-    this.o3h_1 = context;
+    this.v3h_1 = context;
   }
   protoOf(StateRuleExecution).v8 = function () {
-    return this.o3h_1;
+    return this.v3h_1;
   };
-  protoOf(StateRuleExecution).t3f = function () {
+  protoOf(StateRuleExecution).a3g = function () {
     // Inline function 'kotlin.with' call
-    var $this$with = this.o3h_1;
-    var substitution = $this$with.a3b_1.mgu(ensureNotNull($this$with.g3f()), ensureNotNull($this$with.m3b_1.tr()).ez());
+    var $this$with = this.v3h_1;
+    var substitution = $this$with.h3b_1.mgu(ensureNotNull($this$with.n3f()), ensureNotNull($this$with.t3b_1.rr()).dz());
     var tmp;
-    if (substitution.c13()) {
-      var newSubstitution = this.o3h_1.j3b_1.plus(substitution).castToUnifier();
-      var subGoals = prepareForExecutionWithUnifier(ensureNotNull(this.o3h_1.m3b_1.tr()), newSubstitution).fz().getSubstituted(newSubstitution, []);
-      var tmp0_$this = this.o3h_1;
+    if (substitution.b13()) {
+      var newSubstitution = this.v3h_1.q3b_1.plus(substitution).castToUnifier();
+      var subGoals = prepareForExecutionWithUnifier(ensureNotNull(this.v3h_1.t3b_1.rr()), newSubstitution).ez().getSubstituted(newSubstitution, []);
+      var tmp0_$this = this.v3h_1;
       var tmp1_goals = toGoals(subGoals);
       var tmp2_rules = Companion_instance_7.empty();
-      var tmp3_step = this.z3f();
-      tmp = new StateGoalSelection(tmp0_$this.q3c(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.g3g();
+      tmp = new StateGoalSelection(tmp0_$this.x3c(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).c3g = function (context) {
-    return this.h3g(context);
+  protoOf(StateRuleExecution).j3g = function (context) {
+    return this.o3g(context);
   };
   protoOf(StateRuleExecution).clone = function (context, $super) {
     return this.clone(context, ($super == null ? true : $super instanceof StateRuleExecution) ? $super : THROW_CCE());
   };
-  protoOf(StateRuleExecution).h3g = function (context) {
+  protoOf(StateRuleExecution).o3g = function (context) {
     return new StateRuleExecution(context);
   };
   protoOf(StateRuleExecution).toString = function () {
-    return 'StateRuleExecution(context=' + this.o3h_1.toString() + ')';
+    return 'StateRuleExecution(context=' + this.v3h_1.toString() + ')';
   };
   protoOf(StateRuleExecution).hashCode = function () {
-    return this.o3h_1.hashCode();
+    return this.v3h_1.hashCode();
   };
   protoOf(StateRuleExecution).equals = function (other) {
     if (this === other)
       return true;
     if (!(other instanceof StateRuleExecution))
       return false;
-    if (!this.o3h_1.equals(other.o3h_1))
+    if (!this.v3h_1.equals(other.v3h_1))
       return false;
     return true;
   };
   function None() {
     None_instance = this;
     CutLimit.call(this);
-    this.p3h_1 = -1;
-    this.q3h_1 = null;
+    this.w3h_1 = -1;
+    this.x3h_1 = null;
   }
-  protoOf(None).r3h = function () {
-    return this.p3h_1;
+  protoOf(None).y3h = function () {
+    return this.w3h_1;
   };
   protoOf(None).o1x = function () {
-    return this.q3h_1;
+    return this.x3h_1;
   };
-  protoOf(None).s3h = function () {
+  protoOf(None).z3h = function () {
     return true;
   };
   var None_instance;
@@ -2192,24 +2182,24 @@
   }
   function Actual(depthToCut, procedure) {
     CutLimit.call(this);
-    this.t3h_1 = depthToCut;
-    this.u3h_1 = procedure;
+    this.a3i_1 = depthToCut;
+    this.b3i_1 = procedure;
   }
-  protoOf(Actual).r3h = function () {
-    return this.t3h_1;
+  protoOf(Actual).y3h = function () {
+    return this.a3i_1;
   };
   protoOf(Actual).o1x = function () {
-    return this.u3h_1;
+    return this.b3i_1;
   };
   function CutLimit() {
   }
-  protoOf(CutLimit).s3h = function () {
+  protoOf(CutLimit).z3h = function () {
     return false;
   };
   function Companion_0() {
     Companion_instance_16 = this;
-    this.v3h_1 = Catch_getInstance().signature;
-    this.w3h_1 = setOf([new Signature(',', 2), new Signature(';', 2), new Signature('->', 2)]);
+    this.c3i_1 = Catch_getInstance().signature;
+    this.d3i_1 = setOf([new Signature(',', 2), new Signature(';', 2), new Signature('->', 2)]);
   }
   var Companion_instance_16;
   function Companion_getInstance_6() {
@@ -2218,15 +2208,15 @@
     return Companion_instance_16;
   }
   function _get_failureState__yid9tw_0($this) {
-    return new StateBacktracking($this.z3h_1.q3c(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.z3f()));
+    return new StateBacktracking($this.g3i_1.x3c(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.g3g()));
   }
   function exceptionalState_0($this, exception) {
-    return new StateException(exception, $this.z3h_1.q3c(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.z3f()));
+    return new StateException(exception, $this.g3i_1.x3c(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.g3g()));
   }
   function missingProcedure($this, ruleSources, missing) {
-    var unknown = $this.z3h_1.c3b_1.get(Unknown_getInstance());
+    var unknown = $this.g3i_1.j3b_1.get(Unknown_getInstance());
     var tmp;
-    if (equals(unknown, Unknown_getInstance().s2d_1)) {
+    if (equals(unknown, Unknown_getInstance().z2d_1)) {
       tmp = _get_failureState__yid9tw_0($this);
     } else {
       var tmp_0;
@@ -2245,12 +2235,12 @@
       }
       if (tmp$ret$0) {
         var tmp_1;
-        if (equals(unknown, Unknown_getInstance().q2d_1)) {
-          tmp_1 = exceptionalState_0($this, Companion_instance_12.forProcedure($this.z3h_1, missing));
-        } else if (equals(unknown, Unknown_getInstance().r2d_1)) {
+        if (equals(unknown, Unknown_getInstance().x2d_1)) {
+          tmp_1 = exceptionalState_0($this, Companion_instance_12.forProcedure($this.g3i_1, missing));
+        } else if (equals(unknown, Unknown_getInstance().y2d_1)) {
           // Inline function 'kotlin.also' call
           var this_0 = _get_failureState__yid9tw_0($this);
-          $this.z3h_1.g1y().write(MissingPredicate_init_$Create$($this.z3h_1, missing));
+          $this.g3i_1.g1y().write(MissingPredicate_init_$Create$($this.g3i_1, missing));
           tmp_1 = this_0;
         } else {
           tmp_1 = _get_failureState__yid9tw_0($this);
@@ -2264,26 +2254,26 @@
     return tmp;
   }
   function _get_ignoreState__t4wl8y($this) {
-    return new StateGoalSelection($this.z3h_1.q3c(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.z3h_1.l3b_1.sr(), VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.z3f()));
+    return new StateGoalSelection($this.g3i_1.x3c(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.g3i_1.s3b_1.qr(), VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.g3g()));
   }
   function isCut($this, $receiver) {
-    return $receiver.tw() && $receiver.castToAtom().f1() === '!';
+    return $receiver.sw() && $receiver.castToAtom().f1() === '!';
   }
   function computeCutLimit($this, $receiver, magicCut) {
     magicCut = magicCut === VOID ? false : magicCut;
     var tmp;
     if (magicCut) {
-      tmp = firstOrNull($receiver.v3b_1);
+      tmp = firstOrNull($receiver.c3c_1);
     } else {
-      var tmp0 = $receiver.v3b_1;
+      var tmp0 = $receiver.c3c_1;
       var tmp$ret$0;
       $l$block: {
         // Inline function 'kotlin.sequences.firstOrNull' call
         var _iterator__ex2g4s = tmp0.n();
         while (_iterator__ex2g4s.q()) {
           var element = _iterator__ex2g4s.r();
-          var tmp_0 = Companion_getInstance_6().w3h_1;
-          var tmp0_safe_receiver = element.z3a_1;
+          var tmp_0 = Companion_getInstance_6().d3i_1;
+          var tmp0_safe_receiver = element.g3b_1;
           if (!contains_0(tmp_0, tmp0_safe_receiver == null ? null : extractSignature(tmp0_safe_receiver))) {
             tmp$ret$0 = element;
             break $l$block;
@@ -2298,21 +2288,21 @@
     if (cutLimit == null) {
       tmp_1 = None_getInstance();
     } else {
-      tmp_1 = new Actual(cutLimit.s3b_1, cutLimit.z3a_1);
+      tmp_1 = new Actual(cutLimit.z3b_1, cutLimit.g3b_1);
     }
     return tmp_1;
   }
   function cutCanBeSkipped($this, cutLimit, executionContext) {
-    return cutLimit.s3h() || cutLimit.r3h() > executionContext.s3b_1 || (cutLimit.r3h() === executionContext.s3b_1 && !equals(cutLimit.o1x(), executionContext.z3a_1));
+    return cutLimit.z3h() || cutLimit.y3h() > executionContext.z3b_1 || (cutLimit.y3h() === executionContext.z3b_1 && !equals(cutLimit.o1x(), executionContext.g3b_1));
   }
   function performCut($this, $receiver, cutLimit) {
     var tmp;
     if ($receiver === null) {
       tmp = null;
-    } else if (cutCanBeSkipped($this, cutLimit, ensureNotNull($receiver.l3c()))) {
+    } else if (cutCanBeSkipped($this, cutLimit, ensureNotNull($receiver.s3c()))) {
       tmp = $receiver;
     } else {
-      var tmp_0 = $receiver.y3c();
+      var tmp_0 = $receiver.f3d();
       var cutCandidates = filter(tmp_0, StateRuleSelection$performCut$lambda(cutLimit));
       var tmp_1;
       if (any(cutCandidates)) {
@@ -2322,7 +2312,7 @@
           var _iterator__ex2g4s = cutCandidates.n();
           while (_iterator__ex2g4s.q()) {
             var element = _iterator__ex2g4s.r();
-            if (ensureNotNull(element.l3c()).s3b_1 <= cutLimit.r3h()) {
+            if (ensureNotNull(element.s3c()).z3b_1 <= cutLimit.y3h()) {
               tmp$ret$0 = element;
               break $l$block;
             }
@@ -2330,7 +2320,7 @@
           tmp$ret$0 = null;
         }
         var tmp0_safe_receiver = tmp$ret$0;
-        tmp_1 = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.m3c();
+        tmp_1 = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.t3c();
       } else {
         tmp_1 = $receiver;
       }
@@ -2340,9 +2330,9 @@
   }
   function _get_isTailRecursive__h5eso7($this, $receiver) {
     var tmp;
-    if ($receiver.l3b_1.sr().vr() && equals($receiver.c3b_1.get(LastCallOptimization_getInstance()), LastCallOptimization_getInstance().q2c_1)) {
+    if ($receiver.s3b_1.qr().tr() && equals($receiver.j3b_1.get(LastCallOptimization_getInstance()), LastCallOptimization_getInstance().x2c_1)) {
       // Inline function 'kotlin.let' call
-      var tmp0_safe_receiver = ensureNotNull($receiver.g3f()).asStruct();
+      var tmp0_safe_receiver = ensureNotNull($receiver.n3f()).asStruct();
       var tmp1_safe_receiver = tmp0_safe_receiver == null ? null : extractSignature(tmp0_safe_receiver);
       var tmp_0;
       if (tmp1_safe_receiver == null) {
@@ -2350,9 +2340,9 @@
       } else {
         // Inline function 'kotlin.let' call
         var tmp_1;
-        var tmp0_safe_receiver_0 = $receiver.z3a_1;
+        var tmp0_safe_receiver_0 = $receiver.g3b_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().v3h_1);
+          tmp_1 = !tmp1_safe_receiver.equals(Companion_getInstance_6().c3i_1);
         } else {
           tmp_1 = false;
         }
@@ -2379,7 +2369,7 @@
   }
   function StateRuleSelection$performCut$lambda($cutLimit) {
     return function (it) {
-      return equals(ensureNotNull(it.l3c()).z3a_1, $cutLimit.o1x());
+      return equals(ensureNotNull(it.s3c()).g3b_1, $cutLimit.o1x());
     };
   }
   function StateRuleSelection$computeNext$lambda(this$0, $currentGoalStruct) {
@@ -2388,30 +2378,30 @@
     };
   }
   function StateRuleSelection$selectClauses$lambda(it) {
-    return it.bx();
+    return it.ax();
   }
   function StateRuleSelection(context) {
     Companion_getInstance_6();
     AbstractState.call(this, context);
-    this.z3h_1 = context;
+    this.g3i_1 = context;
   }
   protoOf(StateRuleSelection).v8 = function () {
-    return this.z3h_1;
+    return this.g3i_1;
   };
-  protoOf(StateRuleSelection).t3f = function () {
-    var currentGoal = ensureNotNull(this.z3h_1.g3f());
+  protoOf(StateRuleSelection).a3g = function () {
+    var currentGoal = ensureNotNull(this.g3i_1.n3f());
     var tmp;
-    if (currentGoal.ux()) {
-      tmp = exceptionalState_0(this, Companion_instance_11.forGoal(this.z3h_1, extractSignature(ensureNotNull(this.z3h_1.z3a_1)), currentGoal.castToVar()));
-    } else if (currentGoal.ex()) {
+    if (currentGoal.tx()) {
+      tmp = exceptionalState_0(this, Companion_instance_11.forGoal(this.g3i_1, extractSignature(ensureNotNull(this.g3i_1.g3b_1)), currentGoal.castToVar()));
+    } else if (currentGoal.dx()) {
       // Inline function 'kotlin.with' call
-      var $this$with = this.z3h_1;
+      var $this$with = this.g3i_1;
       var currentGoalStruct = currentGoal.castToStruct();
-      var ruleSources = sequenceOf([$this$with.b3b_1.asTheory($this$with.a3b_1), $this$with.d3b_1, $this$with.e3b_1]);
+      var ruleSources = sequenceOf([$this$with.i3b_1.asTheory($this$with.h3b_1), $this$with.k3b_1, $this$with.l3b_1]);
       var tmp_0;
-      if (currentGoalStruct.vx()) {
+      if (currentGoalStruct.ux()) {
         var tmp_1;
-        if (currentGoalStruct.ww()) {
+        if (currentGoalStruct.vw()) {
           tmp_1 = _get_ignoreState__t4wl8y(this);
         } else {
           tmp_1 = _get_failureState__yid9tw_0(this);
@@ -2422,7 +2412,7 @@
           var cutLimit = computeCutLimit(this, $this$with, currentGoalStruct instanceof MagicCut);
           // Inline function 'kotlin.let' call
           var it = _get_ignoreState__t4wl8y(this);
-          tmp_0 = it.h3g(it.w3g_1.q3c(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, performCut(this, it.w3g_1.q3b_1, cutLimit)));
+          tmp_0 = it.o3g(it.d3h_1.x3c(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, performCut(this, it.d3h_1.x3b_1, cutLimit)));
         } else {
           var tmp$ret$4;
           $l$block: {
@@ -2440,10 +2430,10 @@
           if (tmp$ret$4) {
             var rules = cursor(flatMap(ruleSources, StateRuleSelection$computeNext$lambda(this, currentGoalStruct)));
             var tmp_2;
-            if (_get_isTailRecursive__h5eso7(this, this.z3h_1)) {
-              tmp_2 = new StateRuleExecution(replaceWithChildAppendingRulesAndChoicePoints(this.z3h_1, rules));
+            if (_get_isTailRecursive__h5eso7(this, this.g3i_1)) {
+              tmp_2 = new StateRuleExecution(replaceWithChildAppendingRulesAndChoicePoints(this.g3i_1, rules));
             } else {
-              tmp_2 = new StateRuleExecution(createChildAppendingRulesAndChoicePoints(this.z3h_1, rules));
+              tmp_2 = new StateRuleExecution(createChildAppendingRulesAndChoicePoints(this.g3i_1, rules));
             }
             tmp_0 = tmp_2;
           } else {
@@ -2453,43 +2443,43 @@
       }
       tmp = tmp_0;
     } else {
-      tmp = exceptionalState_0(this, Companion_instance_10.forGoal(this.z3h_1, extractSignature(ensureNotNull(this.z3h_1.z3a_1)), Expected_CALLABLE_getInstance(), currentGoal));
+      tmp = exceptionalState_0(this, Companion_instance_10.forGoal(this.g3i_1, extractSignature(ensureNotNull(this.g3i_1.g3b_1)), Expected_CALLABLE_getInstance(), currentGoal));
     }
     return tmp;
   };
-  protoOf(StateRuleSelection).c3g = function (context) {
-    return this.h3g(context);
+  protoOf(StateRuleSelection).j3g = function (context) {
+    return this.o3g(context);
   };
   protoOf(StateRuleSelection).clone = function (context, $super) {
     return this.clone(context, ($super == null ? true : $super instanceof StateRuleSelection) ? $super : THROW_CCE());
   };
-  protoOf(StateRuleSelection).h3g = function (context) {
+  protoOf(StateRuleSelection).o3g = function (context) {
     return new StateRuleSelection(context);
   };
   protoOf(StateRuleSelection).toString = function () {
-    return 'StateRuleSelection(context=' + this.z3h_1.toString() + ')';
+    return 'StateRuleSelection(context=' + this.g3i_1.toString() + ')';
   };
   protoOf(StateRuleSelection).hashCode = function () {
-    return this.z3h_1.hashCode();
+    return this.g3i_1.hashCode();
   };
   protoOf(StateRuleSelection).equals = function (other) {
     if (this === other)
       return true;
     if (!(other instanceof StateRuleSelection))
       return false;
-    if (!this.z3h_1.equals(other.z3h_1))
+    if (!this.g3i_1.equals(other.g3i_1))
       return false;
     return true;
   };
   function appendRulesAndChoicePoints(_this__u8e3s4, rules) {
     var tmp;
-    if (rules.ur()) {
-      tmp = appendRules(_this__u8e3s4.q3b_1, rules.sr(), _this__u8e3s4);
+    if (rules.sr()) {
+      tmp = appendRules(_this__u8e3s4.x3b_1, rules.qr(), _this__u8e3s4);
     } else {
-      tmp = appendRules(_this__u8e3s4.q3b_1, Companion_instance_7.empty(), _this__u8e3s4);
+      tmp = appendRules(_this__u8e3s4.x3b_1, Companion_instance_7.empty(), _this__u8e3s4);
     }
     var newChoicePointContext = tmp;
-    return _this__u8e3s4.q3c(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, rules, VOID, VOID, VOID, newChoicePointContext);
+    return _this__u8e3s4.x3c(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);
@@ -2497,8 +2487,8 @@
   }
   function unfoldGoals(_this__u8e3s4) {
     var tmp;
-    if (_this__u8e3s4.jx()) {
-      var tmp_0 = _this__u8e3s4.castToTuple().cv();
+    if (_this__u8e3s4.ix()) {
+      var tmp_0 = _this__u8e3s4.castToTuple().bv();
       tmp = flatMap(tmp_0, unfoldGoals$lambda);
     } else {
       tmp = sequenceOf_0(_this__u8e3s4);
@@ -2507,28 +2497,28 @@
   }
   function createChild(_this__u8e3s4, inferProcedureFromGoals) {
     inferProcedureFromGoals = inferProcedureFromGoals === VOID ? true : inferProcedureFromGoals;
-    var currentGoal = ensureNotNull(_this__u8e3s4.g3f()).castToStruct();
+    var currentGoal = ensureNotNull(_this__u8e3s4.n3f()).castToStruct();
     var tmp0_goals = toGoals(currentGoal);
-    var tmp1_procedure = inferProcedureFromGoals ? currentGoal : _this__u8e3s4.z3a_1;
-    var tmp2_depth = _this__u8e3s4.s3b_1 + 1 | 0;
+    var tmp1_procedure = inferProcedureFromGoals ? currentGoal : _this__u8e3s4.g3b_1;
+    var tmp2_depth = _this__u8e3s4.z3b_1 + 1 | 0;
     // Inline function 'kotlin.Long.plus' call
-    var this_0 = _this__u8e3s4.t3b_1;
+    var this_0 = _this__u8e3s4.a3c_1;
     var tmp3_step = add(this_0, fromInt(1));
     var tmp4_relevantVariables = emptySet();
-    return _this__u8e3s4.q3c(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.x3c(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.zw(), _this__u8e3s4, startTime);
+    return new Request(signature, goal.yw(), _this__u8e3s4, startTime);
   }
   function appendPrimitivesAndChoicePoints(_this__u8e3s4, primitiveExecutions) {
     var tmp;
-    if (primitiveExecutions.ur()) {
-      tmp = appendPrimitives(_this__u8e3s4.q3b_1, primitiveExecutions.sr(), _this__u8e3s4);
+    if (primitiveExecutions.sr()) {
+      tmp = appendPrimitives(_this__u8e3s4.x3b_1, primitiveExecutions.qr(), _this__u8e3s4);
     } else {
-      tmp = appendPrimitives(_this__u8e3s4.q3b_1, Companion_instance_7.empty(), _this__u8e3s4);
+      tmp = appendPrimitives(_this__u8e3s4.x3b_1, Companion_instance_7.empty(), _this__u8e3s4);
     }
     var newChoicePointContext = tmp;
-    return _this__u8e3s4.q3c(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, primitiveExecutions, VOID, VOID, newChoicePointContext);
+    return _this__u8e3s4.x3c(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;
@@ -2545,17 +2535,17 @@
   }
   function replaceWithChild(_this__u8e3s4, inferProcedureFromGoals) {
     inferProcedureFromGoals = inferProcedureFromGoals === VOID ? true : inferProcedureFromGoals;
-    var currentGoal = ensureNotNull(_this__u8e3s4.g3f()).castToStruct();
+    var currentGoal = ensureNotNull(_this__u8e3s4.n3f()).castToStruct();
     var tmp0_goals = toGoals(currentGoal);
-    var tmp1_procedure = inferProcedureFromGoals ? currentGoal : _this__u8e3s4.z3a_1;
-    var tmp2_depth = _this__u8e3s4.s3b_1 + 1 | 0;
+    var tmp1_procedure = inferProcedureFromGoals ? currentGoal : _this__u8e3s4.g3b_1;
+    var tmp2_depth = _this__u8e3s4.z3b_1 + 1 | 0;
     // Inline function 'kotlin.Long.plus' call
-    var this_0 = _this__u8e3s4.t3b_1;
+    var this_0 = _this__u8e3s4.a3c_1;
     var tmp3_step = add(this_0, fromInt(1));
-    return _this__u8e3s4.q3c(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.x3c(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.ux() ? Companion_getInstance_1().of('call', [it]) : it;
+    return it.tx() ? Companion_getInstance_1().of('call', [it]) : it;
   }
   function unfoldGoals$lambda(it) {
     return unfoldGoals(it);
@@ -2563,54 +2553,54 @@
   function ensureRules$lambda(it) {
     // Inline function 'kotlin.require' call
     // Inline function 'kotlin.require' call
-    if (!it.gx()) {
+    if (!it.fx()) {
       var message = 'Failed requirement.';
       throw IllegalArgumentException_init_$Create$(toString(message));
     }
     return it.castToRule();
   }
   function AbstractSolutionIterator(state) {
-    this.a3i_1 = state;
-    this.b3i_1 = 0n;
+    this.h3i_1 = state;
+    this.i3i_1 = 0n;
   }
   protoOf(AbstractSolutionIterator).q = function () {
     // Inline function 'kotlin.let' call
-    var it = this.a3i_1;
-    return !it.a3g() || it.castToEndState().x3c();
+    var it = this.h3i_1;
+    return !it.h3g() || it.castToEndState().e3d();
   };
   protoOf(AbstractSolutionIterator).r = function () {
     do {
-      var previousState = this.a3i_1;
+      var previousState = this.h3i_1;
       var tmp = this;
-      var tmp_0 = this.a3i_1;
-      this.b3i_1 = add(this.b3i_1, get_ONE());
-      tmp.a3i_1 = this.c3i(tmp_0, this.b3i_1);
-      this.onStateTransition(previousState, this.a3i_1, this.b3i_1);
+      var tmp_0 = this.h3i_1;
+      this.i3i_1 = add(this.i3i_1, get_ONE());
+      tmp.h3i_1 = this.j3i(tmp_0, this.i3i_1);
+      this.onStateTransition(previousState, this.h3i_1, this.i3i_1);
     }
-     while (!this.a3i_1.a3g());
-    return this.a3i_1.castToEndState().j2n();
+     while (!this.h3i_1.h3g());
+    return this.h3i_1.castToEndState().r2n();
   };
   function SimpleSolutionIterator(state, onStateTransitionCallback) {
     AbstractSolutionIterator.call(this, state);
-    this.f3i_1 = onStateTransitionCallback;
+    this.m3i_1 = onStateTransitionCallback;
   }
-  protoOf(SimpleSolutionIterator).c3i = function (state, step) {
+  protoOf(SimpleSolutionIterator).j3i = function (state, step) {
     return state.next();
   };
-  protoOf(SimpleSolutionIterator).g3i = function (source, destination, index) {
-    return this.f3i_1(source, destination, index);
+  protoOf(SimpleSolutionIterator).n3i = function (source, destination, index) {
+    return this.m3i_1(source, destination, index);
   };
   protoOf(SimpleSolutionIterator).onStateTransition = function (source, destination, index) {
-    return this.g3i(source, destination, index);
+    return this.n3i(source, destination, index);
   };
   function DefaultBuiltins() {
     DefaultBuiltins_instance = this;
     ExtensionLibrary.call(this, CommonBuiltins_getInstance());
   }
-  protoOf(DefaultBuiltins).j2j = function () {
+  protoOf(DefaultBuiltins).r2j = function () {
     return listOf(Throw_getInstance());
   };
-  protoOf(DefaultBuiltins).i2j = function () {
+  protoOf(DefaultBuiltins).q2j = function () {
     return listOf_0([Catch_getInstance(), Call_getInstance(), Comma_getInstance(), Cut_getInstance(), Fail_getInstance(), Success_getInstance()]);
   };
   var DefaultBuiltins_instance;
@@ -2624,12 +2614,12 @@
     var tmp_0;
     var tmp_1;
     if (isInterface(error, Struct)) {
-      tmp_1 = error.yw() === 'error';
+      tmp_1 = error.xw() === 'error';
     } else {
       tmp_1 = false;
     }
     if (tmp_1) {
-      var containsArg = error.sw();
+      var containsArg = error.rw();
       tmp_0 = 1 <= containsArg ? containsArg <= 2 : false;
     } else {
       tmp_0 = false;
@@ -2637,25 +2627,25 @@
     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.sw() > 1 ? error.get(1) : null);
+      tmp = tmp_2.of(VOID, VOID, context, isInterface(tmp_3, Struct) ? tmp_3 : THROW_CCE(), error.rw() > 1 ? error.get(1) : null);
     } else {
-      tmp = Companion_instance_13.q29(error, context);
+      tmp = Companion_instance_13.s29(error, context);
     }
     return tmp;
   }
   function Throw() {
     Throw_instance = this;
     UnaryPredicate.call(this, 'throw');
-    this.o3i_1 = '`throw(+Ball)`\n\nRaises `Ball` as an exception: resolution unwinds to the innermost enclosing `catch/3` whose catcher unifies with `Ball`, or halts the query if none does. A ball shaped like `error(Type, Context)` (or `error(Type)`) is raised as the standard error of that `Type`, any other term as a user-defined exception carrying it. `Ball` must be instantiated, otherwise an instantiation error is raised instead.\n\n**Examples**\n\n```prolog\n?- catch(throw(my_error), E, true).\nE = my_error.\n\n?- throw(error(type_error(integer, a), my_context)).\nthrows error(type_error(integer, a), _).\n\n?- throw(_).\nthrows error(instantiation_error, _).\n```';
+    this.v3i_1 = '`throw(+Ball)`\n\nRaises `Ball` as an exception: resolution unwinds to the innermost enclosing `catch/3` whose catcher unifies with `Ball`, or halts the query if none does. A ball shaped like `error(Type, Context)` (or `error(Type)`) is raised as the standard error of that `Type`, any other term as a user-defined exception carrying it. `Ball` must be instantiated, otherwise an instantiation error is raised instead.\n\n**Examples**\n\n```prolog\n?- catch(throw(my_error), E, true).\nE = my_error.\n\n?- throw(error(type_error(integer, a), my_context)).\nthrows error(type_error(integer, a), _).\n\n?- throw(_).\nthrows error(instantiation_error, _).\n```';
   }
   protoOf(Throw).i1x = function () {
-    return this.o3i_1;
+    return this.v3i_1;
   };
-  protoOf(Throw).g2z = function (_this__u8e3s4, first) {
-    return sequenceOf_0(Companion_getInstance_4().l2k(_this__u8e3s4).replyException(handleError(this, _this__u8e3s4.context, _this__u8e3s4.arguments.x(0)), VOID, []));
+  protoOf(Throw).m2z = function (_this__u8e3s4, first) {
+    return sequenceOf_0(Companion_getInstance_4().t2k(_this__u8e3s4).replyException(handleError(this, _this__u8e3s4.context, _this__u8e3s4.arguments.t(0)), VOID, []));
   };
-  protoOf(Throw).c2o = function (_this__u8e3s4, first) {
-    return this.g2z(_this__u8e3s4, first);
+  protoOf(Throw).k2o = function (_this__u8e3s4, first) {
+    return this.m2z(_this__u8e3s4, first);
   };
   var Throw_instance;
   function Throw_getInstance() {
@@ -2666,15 +2656,15 @@
   function Call() {
     Call_instance = this;
     RuleWrapper_init_$Init$('call', 1, VOID, this);
-    this.s3i_1 = '`call(+Goal)`\n\nCalls `Goal`, which allows executing terms built or bound at runtime. `Goal` must be callable: a variable raises an instantiation error, a number or other non-callable term a type error (`callable`). `call/1` is opaque to cut: a `!` inside `Goal` only prunes the choice points created by `Goal` itself.\n\n**Examples**\n\n```prolog\n?- G = member(X, [a, b]), call(G).\nX = a ; X = b.\n\n?- findall(X, (member(X, [1, 2, 3]), call(!)), L).\nL = [1, 2, 3].\n\n?- call(1).\nthrows error(type_error(callable, 1), _).\n```';
+    this.z3i_1 = '`call(+Goal)`\n\nCalls `Goal`, which allows executing terms built or bound at runtime. `Goal` must be callable: a variable raises an instantiation error, a number or other non-callable term a type error (`callable`). `call/1` is opaque to cut: a `!` inside `Goal` only prunes the choice points created by `Goal` itself.\n\n**Examples**\n\n```prolog\n?- G = member(X, [a, b]), call(G).\nX = a ; X = b.\n\n?- findall(X, (member(X, [1, 2, 3]), call(!)), L).\nL = [1, 2, 3].\n\n?- call(1).\nthrows error(type_error(callable, 1), _).\n```';
   }
   protoOf(Call).i1x = function () {
-    return this.s3i_1;
+    return this.z3i_1;
   };
-  protoOf(Call).g2o = function (_this__u8e3s4) {
+  protoOf(Call).o2o = function (_this__u8e3s4) {
     return listOf(_this__u8e3s4.varOf('G'));
   };
-  protoOf(Call).h2o = function (_this__u8e3s4) {
+  protoOf(Call).p2o = 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')]);
@@ -2688,15 +2678,15 @@
   function Catch() {
     Catch_instance = this;
     RuleWrapper_init_$Init$('catch', 3, VOID, this);
-    this.w3i_1 = '`catch(+Goal, ?Catcher, +Recovery)`\n\nCalls `Goal`, behaving exactly like `call/1` (including backtracking into `Goal`) as long as no exception is raised. If proving `Goal` raises an exception, via `throw/1` or a built-in error, whose ball unifies with `Catcher`, the bindings and choice points created by `Goal` are discarded and `Recovery` is called instead; otherwise the exception propagates to the outer `catch/3` calls.\n\n**Examples**\n\n```prolog\n?- catch(X is 1 / 0, error(E, _), true).\nE = evaluation_error(zero_divisor).\n\n?- catch(throw(oops), oops, X = recovered).\nX = recovered.\n\n?- catch(member(X, [1, 2]), _, true).\nX = 1 ; X = 2.\n\n?- catch(catch(throw(oops), other, true), E, true).\nE = oops.\n```';
+    this.d3j_1 = '`catch(+Goal, ?Catcher, +Recovery)`\n\nCalls `Goal`, behaving exactly like `call/1` (including backtracking into `Goal`) as long as no exception is raised. If proving `Goal` raises an exception, via `throw/1` or a built-in error, whose ball unifies with `Catcher`, the bindings and choice points created by `Goal` are discarded and `Recovery` is called instead; otherwise the exception propagates to the outer `catch/3` calls.\n\n**Examples**\n\n```prolog\n?- catch(X is 1 / 0, error(E, _), true).\nE = evaluation_error(zero_divisor).\n\n?- catch(throw(oops), oops, X = recovered).\nX = recovered.\n\n?- catch(member(X, [1, 2]), _, true).\nX = 1 ; X = 2.\n\n?- catch(catch(throw(oops), other, true), E, true).\nE = oops.\n```';
   }
   protoOf(Catch).i1x = function () {
-    return this.w3i_1;
+    return this.d3j_1;
   };
-  protoOf(Catch).g2o = function (_this__u8e3s4) {
+  protoOf(Catch).o2o = function (_this__u8e3s4) {
     return listOf_0([_this__u8e3s4.varOf('G'), _this__u8e3s4.varOf('E'), _this__u8e3s4.varOf('C')]);
   };
-  protoOf(Catch).h2o = function (_this__u8e3s4) {
+  protoOf(Catch).p2o = function (_this__u8e3s4) {
     return _this__u8e3s4.varOf('G');
   };
   var Catch_instance;
@@ -2708,15 +2698,15 @@
   function Comma() {
     Comma_instance = this;
     RuleWrapper_init_$Init$(',', 2, VOID, this);
-    this.a3j_1 = '`(+First, +Second)`\n\nConjunction: proves `First` and then `Second`, backtracking into `First` for further solutions whenever `Second` fails. Conjunction is transparent to cut: a `!` occurring in either conjunct cuts the clause in which the conjunction appears.\n\n**Examples**\n\n```prolog\n?- X = 1, Y is X + 1.\nX = 1, Y = 2.\n\n?- member(X, [1, 2, 3]), X > 1.\nX = 2 ; X = 3.\n\n?- X = 1, X = 2.\nno.\n```';
+    this.h3j_1 = '`(+First, +Second)`\n\nConjunction: proves `First` and then `Second`, backtracking into `First` for further solutions whenever `Second` fails. Conjunction is transparent to cut: a `!` occurring in either conjunct cuts the clause in which the conjunction appears.\n\n**Examples**\n\n```prolog\n?- X = 1, Y is X + 1.\nX = 1, Y = 2.\n\n?- member(X, [1, 2, 3]), X > 1.\nX = 2 ; X = 3.\n\n?- X = 1, X = 2.\nno.\n```';
   }
   protoOf(Comma).i1x = function () {
-    return this.a3j_1;
+    return this.h3j_1;
   };
-  protoOf(Comma).g2o = function (_this__u8e3s4) {
+  protoOf(Comma).o2o = function (_this__u8e3s4) {
     return listOf_0([_this__u8e3s4.varOf('A'), _this__u8e3s4.varOf('B')]);
   };
-  protoOf(Comma).h2o = function (_this__u8e3s4) {
+  protoOf(Comma).p2o = function (_this__u8e3s4) {
     return _this__u8e3s4.tupleOf([_this__u8e3s4.varOf('A'), _this__u8e3s4.varOf('B')]);
   };
   var Comma_instance;
@@ -2728,10 +2718,10 @@
   function Cut() {
     Cut_instance = this;
     RuleWrapper_init_$Init$('!', 0, VOID, this);
-    this.e3j_1 = '`!`\n\nCut: always succeeds, committing to the choices made since the current clause was selected. The remaining alternative clauses of the predicate being proved, and the remaining alternatives of the goals at the left of `!` in the clause body, are discarded. Within `call/1`, `\\+/1`, `findall/3` and similar meta-calls, cut is local to the called goal.\n\n**Examples**\n\n```prolog\n?- assertz((first(X) :- member(X, [a, b, c]), !)), findall(X, first(X), L).\nL = [a].\n\n?- findall(X, (member(X, [a, b, c]), !), L).\nL = [a].\n\n?- findall(X, (member(X, [a, b, c]), call(!)), L).\nL = [a, b, c].\n```';
+    this.l3j_1 = '`!`\n\nCut: always succeeds, committing to the choices made since the current clause was selected. The remaining alternative clauses of the predicate being proved, and the remaining alternatives of the goals at the left of `!` in the clause body, are discarded. Within `call/1`, `\\+/1`, `findall/3` and similar meta-calls, cut is local to the called goal.\n\n**Examples**\n\n```prolog\n?- assertz((first(X) :- member(X, [a, b, c]), !)), findall(X, first(X), L).\nL = [a].\n\n?- findall(X, (member(X, [a, b, c]), !), L).\nL = [a].\n\n?- findall(X, (member(X, [a, b, c]), call(!)), L).\nL = [a, b, c].\n```';
   }
   protoOf(Cut).i1x = function () {
-    return this.e3j_1;
+    return this.l3j_1;
   };
   var Cut_instance;
   function Cut_getInstance() {
@@ -2743,7 +2733,7 @@
     Fail_instance = this;
     NegationAsFailure.call(this);
   }
-  protoOf(Fail).h2o = function (_this__u8e3s4) {
+  protoOf(Fail).p2o = 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')]);
@@ -2761,7 +2751,7 @@
     Success_instance = this;
     NegationAsFailure.call(this);
   }
-  protoOf(Success).h2o = function (_this__u8e3s4) {
+  protoOf(Success).p2o = function (_this__u8e3s4) {
     return _this__u8e3s4.truthOf(true);
   };
   var Success_instance;
@@ -2771,8 +2761,8 @@
     return Success_instance;
   }
   function Companion_1() {
-    this.r3j_1 = '\\+';
-    this.s3j_1 = 1;
+    this.y3j_1 = '\\+';
+    this.z3j_1 = 1;
   }
   var Companion_instance_17;
   function Companion_getInstance_7() {
@@ -2780,12 +2770,12 @@
   }
   function NegationAsFailure() {
     RuleWrapper_init_$Init$('\\+', 1, VOID, this);
-    this.m3j_1 = '`\\+ +Goal`\n\nNegation as failure: succeeds if `Goal` has no solution, and fails as soon as `Goal` has one. It never binds the variables of `Goal`, and is equivalent to `not/1`. `Goal` must be callable, otherwise an instantiation or type error is raised.\n\n**Examples**\n\n```prolog\n?- \\+ member(d, [a, b, c]).\nyes.\n\n?- \\+ X = 1.\nno.\n\n?- \\+ (X = 1, X = 2), var(X).\nyes.\n\n?- \\+ 3.\nthrows error(type_error(callable, 3), _).\n```';
+    this.t3j_1 = '`\\+ +Goal`\n\nNegation as failure: succeeds if `Goal` has no solution, and fails as soon as `Goal` has one. It never binds the variables of `Goal`, and is equivalent to `not/1`. `Goal` must be callable, otherwise an instantiation or type error is raised.\n\n**Examples**\n\n```prolog\n?- \\+ member(d, [a, b, c]).\nyes.\n\n?- \\+ X = 1.\nno.\n\n?- \\+ (X = 1, X = 2), var(X).\nyes.\n\n?- \\+ 3.\nthrows error(type_error(callable, 3), _).\n```';
   }
   protoOf(NegationAsFailure).i1x = function () {
-    return this.m3j_1;
+    return this.t3j_1;
   };
-  protoOf(NegationAsFailure).g2o = function (_this__u8e3s4) {
+  protoOf(NegationAsFailure).o2o = function (_this__u8e3s4) {
     return listOf(_this__u8e3s4.varOf('X'));
   };
   //region block: post-declaration
@@ -2810,26 +2800,26 @@
   protoOf(PrologSolverFactory).mutableSolverOf = mutableSolverOf;
   protoOf(PrologSolverFactory).rawMutableSolverOf = rawMutableSolverOf;
   protoOf(PrologSolverFactory).newBuilder = newBuilder;
-  protoOf(PrologSolverFactory).a21 = get_defaultRuntime;
-  protoOf(PrologSolverFactory).c21 = get_defaultUnificator;
-  protoOf(PrologSolverFactory).d21 = get_defaultFlags;
-  protoOf(PrologSolverFactory).g21 = get_defaultStaticKb;
-  protoOf(PrologSolverFactory).h21 = get_defaultDynamicKb;
-  protoOf(PrologSolverFactory).i21 = get_defaultInputChannel;
-  protoOf(PrologSolverFactory).j21 = get_defaultOutputChannel;
-  protoOf(PrologSolverFactory).k21 = get_defaultErrorChannel;
-  protoOf(PrologSolverFactory).l21 = get_defaultWarningsChannel;
-  protoOf(PrologSolverFactory).t21 = solverWithDefaultBuiltins;
+  protoOf(PrologSolverFactory).b21 = get_defaultRuntime;
+  protoOf(PrologSolverFactory).d21 = get_defaultUnificator;
+  protoOf(PrologSolverFactory).e21 = get_defaultFlags;
+  protoOf(PrologSolverFactory).h21 = get_defaultStaticKb;
+  protoOf(PrologSolverFactory).i21 = get_defaultDynamicKb;
+  protoOf(PrologSolverFactory).j21 = get_defaultInputChannel;
+  protoOf(PrologSolverFactory).k21 = get_defaultOutputChannel;
+  protoOf(PrologSolverFactory).l21 = get_defaultErrorChannel;
+  protoOf(PrologSolverFactory).m21 = get_defaultWarningsChannel;
+  protoOf(PrologSolverFactory).u21 = solverWithDefaultBuiltins;
   protoOf(PrologSolverFactory).solverWithDefaultBuiltinsAnd = solverWithDefaultBuiltinsAnd;
-  protoOf(PrologSolverFactory).v21 = mutableSolverWithDefaultBuiltins;
+  protoOf(PrologSolverFactory).w21 = mutableSolverWithDefaultBuiltins;
   protoOf(PrologSolverFactory).mutableSolverWithDefaultBuiltinsAnd = mutableSolverWithDefaultBuiltinsAnd;
-  protoOf(AbstractState).a3g = get_isEndState;
+  protoOf(AbstractState).h3g = get_isEndState;
   protoOf(AbstractState).asEndState = asEndState;
   protoOf(AbstractState).castToEndState = castToEndState;
   protoOf(AbstractState).clone = clone;
-  protoOf(AbstractEndState).a3g = get_isEndState_0;
-  protoOf(AbstractEndState).b3g = asEndState_0;
-  protoOf(AbstractEndState).x3c = get_hasOpenAlternatives;
+  protoOf(AbstractEndState).h3g = get_isEndState_0;
+  protoOf(AbstractEndState).i3g = asEndState_0;
+  protoOf(AbstractEndState).e3d = get_hasOpenAlternatives;
   //endregion
   //region block: init
   PrologSolverFactory_instance = new PrologSolverFactory();