@tuprolog/2p-full 2.0.5 → 2.0.9

package/2p-solve-streams.js

@@ -28,159 +28,159 @@
   'use strict';
   //region block: imports
   var imul = Math.imul;
-  var first = kotlin_kotlin.$_$.w7;
-  var protoOf = kotlin_kotlin.$_$.p6;
-  var initMetadataForClass = kotlin_kotlin.$_$.a6;
-  var initMetadataForCompanion = kotlin_kotlin.$_$.b6;
-  var Unit_instance = kotlin_kotlin.$_$.m;
-  var constructCallableReference = kotlin_kotlin.$_$.r5;
-  var isInterface = kotlin_kotlin.$_$.j6;
+  var first = kotlin_kotlin.$_$.ia;
+  var protoOf = kotlin_kotlin.$_$.r8;
+  var initMetadataForClass = kotlin_kotlin.$_$.a8;
+  var initMetadataForCompanion = kotlin_kotlin.$_$.b8;
+  var Unit_instance = kotlin_kotlin.$_$.r;
+  var constructCallableReference = kotlin_kotlin.$_$.q7;
+  var isInterface = kotlin_kotlin.$_$.j8;
   var Companion_getInstance = kotlin_it_unibo_tuprolog_unify.$_$.a;
   var VOID = kotlin_kotlin.$_$.b;
-  var Companion_instance = kotlin_it_unibo_tuprolog_solve.$_$.q;
-  var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_solve.$_$.l;
+  var Companion_instance = kotlin_it_unibo_tuprolog_solve.$_$.k1;
+  var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_solve.$_$.f1;
   var Companion_instance_0 = kotlin_it_unibo_tuprolog_theory.$_$.b;
   var Companion_instance_1 = kotlin_it_unibo_tuprolog_theory.$_$.a;
-  var Companion_instance_2 = kotlin_it_unibo_tuprolog_solve.$_$.a;
-  var Companion_instance_3 = kotlin_it_unibo_tuprolog_solve.$_$.c;
-  var Companion_instance_4 = kotlin_it_unibo_tuprolog_solve.$_$.b;
-  var Companion_instance_5 = kotlin_it_unibo_tuprolog_solve.$_$.d;
-  var objectCreate = kotlin_kotlin.$_$.o6;
-  var filter = kotlin_kotlin.$_$.u7;
-  var THROW_CCE = kotlin_kotlin.$_$.na;
-  var Sequence = kotlin_kotlin.$_$.i7;
-  var map = kotlin_kotlin.$_$.g8;
-  var getAllOperators = kotlin_it_unibo_tuprolog_solve.$_$.c4;
-  var toOperatorSet = kotlin_it_unibo_tuprolog_solve.$_$.e4;
-  var extractSignature = kotlin_it_unibo_tuprolog_solve.$_$.b4;
-  var Request = kotlin_it_unibo_tuprolog_solve.$_$.a2;
-  var take = kotlin_kotlin.$_$.r8;
-  var buffered = kotlin_it_unibo_tuprolog_utils.$_$.q;
-  var copy = kotlin_it_unibo_tuprolog_solve.$_$.b1;
-  var solveWithTimeout = kotlin_it_unibo_tuprolog_solve.$_$.k3;
-  var solve = kotlin_it_unibo_tuprolog_solve.$_$.l3;
-  var solveListWithTimeout = kotlin_it_unibo_tuprolog_solve.$_$.f3;
-  var solveList = kotlin_it_unibo_tuprolog_solve.$_$.e3;
-  var solveListWithOptions = kotlin_it_unibo_tuprolog_solve.$_$.g3;
-  var solveOnceWithTimeout = kotlin_it_unibo_tuprolog_solve.$_$.h3;
-  var solveOnce = kotlin_it_unibo_tuprolog_solve.$_$.j3;
-  var solveOnceWithOptions = kotlin_it_unibo_tuprolog_solve.$_$.i3;
-  var clone = kotlin_it_unibo_tuprolog_solve.$_$.d3;
-  var get_standardInput = kotlin_it_unibo_tuprolog_solve.$_$.o2;
-  var get_standardOutput = kotlin_it_unibo_tuprolog_solve.$_$.p2;
-  var get_standardError = kotlin_it_unibo_tuprolog_solve.$_$.n2;
-  var get_warnings = kotlin_it_unibo_tuprolog_solve.$_$.q2;
-  var Solver = kotlin_it_unibo_tuprolog_solve.$_$.z3;
-  var rawSolverOf = kotlin_it_unibo_tuprolog_solve.$_$.g1;
-  var solverOf = kotlin_it_unibo_tuprolog_solve.$_$.f1;
-  var NotImplementedError = kotlin_kotlin.$_$.ia;
-  var mutableSolverOf = kotlin_it_unibo_tuprolog_solve.$_$.c1;
-  var rawMutableSolverOf = kotlin_it_unibo_tuprolog_solve.$_$.d1;
-  var newBuilder = kotlin_it_unibo_tuprolog_solve.$_$.w3;
-  var get_defaultRuntime = kotlin_it_unibo_tuprolog_solve.$_$.r3;
-  var get_defaultUnificator = kotlin_it_unibo_tuprolog_solve.$_$.t3;
-  var get_defaultFlags = kotlin_it_unibo_tuprolog_solve.$_$.o3;
-  var get_defaultStaticKb = kotlin_it_unibo_tuprolog_solve.$_$.s3;
-  var get_defaultDynamicKb = kotlin_it_unibo_tuprolog_solve.$_$.m3;
-  var get_defaultInputChannel = kotlin_it_unibo_tuprolog_solve.$_$.p3;
-  var get_defaultOutputChannel = kotlin_it_unibo_tuprolog_solve.$_$.q3;
-  var get_defaultErrorChannel = kotlin_it_unibo_tuprolog_solve.$_$.n3;
-  var get_defaultWarningsChannel = kotlin_it_unibo_tuprolog_solve.$_$.u3;
-  var solverWithDefaultBuiltins = kotlin_it_unibo_tuprolog_solve.$_$.x3;
-  var solverWithDefaultBuiltinsAnd = kotlin_it_unibo_tuprolog_solve.$_$.h1;
-  var mutableSolverWithDefaultBuiltins = kotlin_it_unibo_tuprolog_solve.$_$.v3;
-  var mutableSolverWithDefaultBuiltinsAnd = kotlin_it_unibo_tuprolog_solve.$_$.e1;
-  var SolverFactory = kotlin_it_unibo_tuprolog_solve.$_$.y3;
-  var initMetadataForObject = kotlin_kotlin.$_$.f6;
-  var defineProp = kotlin_kotlin.$_$.s5;
-  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.o;
-  var firstOrNull = kotlin_kotlin.$_$.o2;
-  var emptyList = kotlin_kotlin.$_$.l2;
-  var emptySequence = kotlin_kotlin.$_$.q7;
-  var plus = kotlin_kotlin.$_$.l8;
-  var toMutableList = kotlin_kotlin.$_$.j4;
-  var first_0 = kotlin_kotlin.$_$.p2;
-  var listOf = kotlin_kotlin.$_$.b3;
-  var lastOrNull = kotlin_kotlin.$_$.x2;
-  var contains = kotlin_kotlin.$_$.m7;
-  var equals = kotlin_kotlin.$_$.t5;
-  var plus_0 = kotlin_kotlin.$_$.j8;
-  var Collection = kotlin_kotlin.$_$.p1;
-  var toString = kotlin_kotlin.$_$.s6;
-  var toString_0 = kotlin_kotlin.$_$.xa;
-  var hashCode = kotlin_kotlin.$_$.z5;
-  var getBooleanHashCode = kotlin_kotlin.$_$.v5;
-  var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_core.$_$.e;
-  var Companion_getInstance_2 = kotlin_it_unibo_tuprolog_core.$_$.p;
-  var Unifier = kotlin_it_unibo_tuprolog_core.$_$.q1;
-  var Companion_instance_6 = kotlin_it_unibo_tuprolog_core.$_$.f;
-  var prepareForExecution = kotlin_it_unibo_tuprolog_core.$_$.u2;
-  var single = kotlin_kotlin.$_$.z3;
-  var copyToArray = kotlin_kotlin.$_$.i2;
-  var any = kotlin_kotlin.$_$.j7;
-  var sequence = kotlin_kotlin.$_$.o8;
-  var drop = kotlin_kotlin.$_$.k2;
-  var plus_1 = kotlin_kotlin.$_$.t3;
-  var indexOf = kotlin_kotlin.$_$.a8;
-  var CoroutineImpl = kotlin_kotlin.$_$.p4;
-  var SequenceScope = kotlin_kotlin.$_$.h7;
-  var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.o4;
-  var filterIndexed = kotlin_kotlin.$_$.r7;
-  var initMetadataForLambda = kotlin_kotlin.$_$.e6;
-  var asSequence = kotlin_kotlin.$_$.a2;
-  var toList = kotlin_kotlin.$_$.u8;
-  var Companion_instance_7 = kotlin_it_unibo_tuprolog_solve.$_$.e;
-  var currentTimeInstant = kotlin_it_unibo_tuprolog_solve.$_$.a4;
-  var lazy = kotlin_kotlin.$_$.ta;
-  var collectionSizeOrDefault = kotlin_kotlin.$_$.d2;
-  var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.n;
-  var KProperty1 = kotlin_kotlin.$_$.g7;
-  var getPropertyCallableRef = kotlin_kotlin.$_$.x5;
-  var createSolver = kotlin_it_unibo_tuprolog_solve.$_$.z;
-  var createMutableSolver = kotlin_it_unibo_tuprolog_solve.$_$.y;
-  var apply = kotlin_it_unibo_tuprolog_solve.$_$.l2;
-  var applyIterable = kotlin_it_unibo_tuprolog_solve.$_$.k2;
-  var applySequence = kotlin_it_unibo_tuprolog_solve.$_$.m2;
-  var update = kotlin_it_unibo_tuprolog_solve.$_$.a1;
-  var getBigIntHashCode = kotlin_kotlin.$_$.u5;
-  var get_endTime = kotlin_it_unibo_tuprolog_solve.$_$.i2;
-  var get_remainingTime = kotlin_it_unibo_tuprolog_solve.$_$.j2;
-  var get_elapsedTime = kotlin_it_unibo_tuprolog_solve.$_$.h2;
-  var ExecutionContext = kotlin_it_unibo_tuprolog_solve.$_$.r2;
-  var initMetadataForInterface = kotlin_kotlin.$_$.d6;
-  var sequenceOf = kotlin_kotlin.$_$.n8;
-  var drop_0 = kotlin_kotlin.$_$.p7;
-  var TimeOutException_init_$Create$ = kotlin_it_unibo_tuprolog_solve.$_$.l1;
-  var subtract = kotlin_kotlin.$_$.g5;
-  var getKClassFromExpression = kotlin_kotlin.$_$.e7;
-  var Halt = kotlin_it_unibo_tuprolog_solve.$_$.a3;
-  var Yes = kotlin_it_unibo_tuprolog_solve.$_$.c3;
-  var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.b1;
-  var No = kotlin_it_unibo_tuprolog_solve.$_$.b3;
-  var Companion_getInstance_3 = kotlin_it_unibo_tuprolog_core.$_$.o;
-  var LogicError = kotlin_it_unibo_tuprolog_solve.$_$.r1;
-  var HaltException = kotlin_it_unibo_tuprolog_solve.$_$.q1;
-  var sequenceOf_0 = kotlin_kotlin.$_$.m8;
-  var flatMap = kotlin_kotlin.$_$.x7;
-  var asIterable = kotlin_kotlin.$_$.k7;
-  var Rule = kotlin_it_unibo_tuprolog_core.$_$.o1;
-  var none = kotlin_kotlin.$_$.i8;
-  var Struct = kotlin_it_unibo_tuprolog_core.$_$.p1;
-  var ExtensionLibrary = kotlin_it_unibo_tuprolog_solve.$_$.v1;
-  var CommonBuiltins_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.u;
-  var listOf_0 = kotlin_kotlin.$_$.c3;
-  var PrimitiveWrapper = kotlin_it_unibo_tuprolog_solve.$_$.y1;
-  var PrimitiveWrapper_init_$Init$ = kotlin_it_unibo_tuprolog_solve.$_$.m1;
-  var Companion_getInstance_4 = kotlin_it_unibo_tuprolog_solve.$_$.r;
-  var Expected_CALLABLE_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.x;
-  var TypeError_init_$Create$ = kotlin_it_unibo_tuprolog_solve.$_$.i1;
-  var last = kotlin_kotlin.$_$.y2;
-  var first_1 = kotlin_kotlin.$_$.q2;
-  var Pair = kotlin_kotlin.$_$.la;
-  var initMetadataForCoroutine = kotlin_kotlin.$_$.c6;
-  var Companion_instance_8 = kotlin_it_unibo_tuprolog_solve.$_$.k;
-  var NonBacktrackable = kotlin_it_unibo_tuprolog_solve.$_$.d2;
-  var Companion_instance_9 = kotlin_it_unibo_tuprolog_solve.$_$.i;
+  var Companion_instance_2 = kotlin_it_unibo_tuprolog_solve.$_$.r;
+  var Companion_instance_3 = kotlin_it_unibo_tuprolog_solve.$_$.t;
+  var Companion_instance_4 = kotlin_it_unibo_tuprolog_solve.$_$.s;
+  var Companion_instance_5 = kotlin_it_unibo_tuprolog_solve.$_$.u;
+  var objectCreate = kotlin_kotlin.$_$.q8;
+  var filter = kotlin_kotlin.$_$.ga;
+  var THROW_CCE = kotlin_kotlin.$_$.ge;
+  var Sequence = kotlin_kotlin.$_$.u9;
+  var map = kotlin_kotlin.$_$.ua;
+  var getAllOperators = kotlin_it_unibo_tuprolog_solve.$_$.m5;
+  var toOperatorSet = kotlin_it_unibo_tuprolog_solve.$_$.o5;
+  var extractSignature = kotlin_it_unibo_tuprolog_solve.$_$.l5;
+  var Request = kotlin_it_unibo_tuprolog_solve.$_$.f3;
+  var take = kotlin_kotlin.$_$.gb;
+  var buffered = kotlin_it_unibo_tuprolog_utils.$_$.s;
+  var copy = kotlin_it_unibo_tuprolog_solve.$_$.x1;
+  var solveWithTimeout = kotlin_it_unibo_tuprolog_solve.$_$.u4;
+  var solve = kotlin_it_unibo_tuprolog_solve.$_$.v4;
+  var solveListWithTimeout = kotlin_it_unibo_tuprolog_solve.$_$.p4;
+  var solveList = kotlin_it_unibo_tuprolog_solve.$_$.o4;
+  var solveListWithOptions = kotlin_it_unibo_tuprolog_solve.$_$.q4;
+  var solveOnceWithTimeout = kotlin_it_unibo_tuprolog_solve.$_$.r4;
+  var solveOnce = kotlin_it_unibo_tuprolog_solve.$_$.t4;
+  var solveOnceWithOptions = kotlin_it_unibo_tuprolog_solve.$_$.s4;
+  var clone = kotlin_it_unibo_tuprolog_solve.$_$.n4;
+  var get_standardInput = kotlin_it_unibo_tuprolog_solve.$_$.y3;
+  var get_standardOutput = kotlin_it_unibo_tuprolog_solve.$_$.z3;
+  var get_standardError = kotlin_it_unibo_tuprolog_solve.$_$.x3;
+  var get_warnings = kotlin_it_unibo_tuprolog_solve.$_$.a4;
+  var Solver = kotlin_it_unibo_tuprolog_solve.$_$.j5;
+  var rawSolverOf = kotlin_it_unibo_tuprolog_solve.$_$.c2;
+  var solverOf = kotlin_it_unibo_tuprolog_solve.$_$.b2;
+  var NotImplementedError = kotlin_kotlin.$_$.be;
+  var mutableSolverOf = kotlin_it_unibo_tuprolog_solve.$_$.y1;
+  var rawMutableSolverOf = kotlin_it_unibo_tuprolog_solve.$_$.z1;
+  var newBuilder = kotlin_it_unibo_tuprolog_solve.$_$.g5;
+  var get_defaultRuntime = kotlin_it_unibo_tuprolog_solve.$_$.b5;
+  var get_defaultUnificator = kotlin_it_unibo_tuprolog_solve.$_$.d5;
+  var get_defaultFlags = kotlin_it_unibo_tuprolog_solve.$_$.y4;
+  var get_defaultStaticKb = kotlin_it_unibo_tuprolog_solve.$_$.c5;
+  var get_defaultDynamicKb = kotlin_it_unibo_tuprolog_solve.$_$.w4;
+  var get_defaultInputChannel = kotlin_it_unibo_tuprolog_solve.$_$.z4;
+  var get_defaultOutputChannel = kotlin_it_unibo_tuprolog_solve.$_$.a5;
+  var get_defaultErrorChannel = kotlin_it_unibo_tuprolog_solve.$_$.x4;
+  var get_defaultWarningsChannel = kotlin_it_unibo_tuprolog_solve.$_$.e5;
+  var solverWithDefaultBuiltins = kotlin_it_unibo_tuprolog_solve.$_$.h5;
+  var solverWithDefaultBuiltinsAnd = kotlin_it_unibo_tuprolog_solve.$_$.d2;
+  var mutableSolverWithDefaultBuiltins = kotlin_it_unibo_tuprolog_solve.$_$.f5;
+  var mutableSolverWithDefaultBuiltinsAnd = kotlin_it_unibo_tuprolog_solve.$_$.a2;
+  var SolverFactory = kotlin_it_unibo_tuprolog_solve.$_$.i5;
+  var initMetadataForObject = kotlin_kotlin.$_$.f8;
+  var defineProp = kotlin_kotlin.$_$.r7;
+  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.u;
+  var firstOrNull = kotlin_kotlin.$_$.m3;
+  var emptyList = kotlin_kotlin.$_$.j3;
+  var emptySequence = kotlin_kotlin.$_$.ca;
+  var plus = kotlin_kotlin.$_$.ab;
+  var toMutableList = kotlin_kotlin.$_$.x5;
+  var first_0 = kotlin_kotlin.$_$.n3;
+  var listOf = kotlin_kotlin.$_$.f4;
+  var lastOrNull = kotlin_kotlin.$_$.z3;
+  var contains = kotlin_kotlin.$_$.y9;
+  var equals = kotlin_kotlin.$_$.s7;
+  var plus_0 = kotlin_kotlin.$_$.ya;
+  var Collection = kotlin_kotlin.$_$.b2;
+  var toString = kotlin_kotlin.$_$.u8;
+  var toString_0 = kotlin_kotlin.$_$.ve;
+  var hashCode = kotlin_kotlin.$_$.z7;
+  var getBooleanHashCode = kotlin_kotlin.$_$.v7;
+  var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_core.$_$.n;
+  var Companion_getInstance_2 = kotlin_it_unibo_tuprolog_core.$_$.y;
+  var Unifier = kotlin_it_unibo_tuprolog_core.$_$.a2;
+  var Companion_instance_6 = kotlin_it_unibo_tuprolog_core.$_$.o;
+  var prepareForExecution = kotlin_it_unibo_tuprolog_core.$_$.e3;
+  var single = kotlin_kotlin.$_$.h5;
+  var copyToArray = kotlin_kotlin.$_$.g3;
+  var any = kotlin_kotlin.$_$.v9;
+  var sequence = kotlin_kotlin.$_$.db;
+  var drop = kotlin_kotlin.$_$.i3;
+  var plus_1 = kotlin_kotlin.$_$.z4;
+  var indexOf = kotlin_kotlin.$_$.na;
+  var CoroutineImpl = kotlin_kotlin.$_$.i6;
+  var SequenceScope = kotlin_kotlin.$_$.t9;
+  var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.h6;
+  var filterIndexed = kotlin_kotlin.$_$.da;
+  var initMetadataForLambda = kotlin_kotlin.$_$.e8;
+  var asSequence = kotlin_kotlin.$_$.r2;
+  var toList = kotlin_kotlin.$_$.jb;
+  var Companion_instance_7 = kotlin_it_unibo_tuprolog_solve.$_$.v;
+  var currentTimeInstant = kotlin_it_unibo_tuprolog_solve.$_$.k5;
+  var lazy = kotlin_kotlin.$_$.pe;
+  var collectionSizeOrDefault = kotlin_kotlin.$_$.w2;
+  var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.t;
+  var KProperty1 = kotlin_kotlin.$_$.s9;
+  var getPropertyCallableRef = kotlin_kotlin.$_$.x7;
+  var createSolver = kotlin_it_unibo_tuprolog_solve.$_$.v1;
+  var createMutableSolver = kotlin_it_unibo_tuprolog_solve.$_$.u1;
+  var apply = kotlin_it_unibo_tuprolog_solve.$_$.v3;
+  var applyIterable = kotlin_it_unibo_tuprolog_solve.$_$.u3;
+  var applySequence = kotlin_it_unibo_tuprolog_solve.$_$.w3;
+  var update = kotlin_it_unibo_tuprolog_solve.$_$.w1;
+  var getBigIntHashCode = kotlin_kotlin.$_$.u7;
+  var get_endTime = kotlin_it_unibo_tuprolog_solve.$_$.s3;
+  var get_remainingTime = kotlin_it_unibo_tuprolog_solve.$_$.t3;
+  var get_elapsedTime = kotlin_it_unibo_tuprolog_solve.$_$.r3;
+  var ExecutionContext = kotlin_it_unibo_tuprolog_solve.$_$.b4;
+  var initMetadataForInterface = kotlin_kotlin.$_$.d8;
+  var sequenceOf = kotlin_kotlin.$_$.cb;
+  var drop_0 = kotlin_kotlin.$_$.ba;
+  var TimeOutException_init_$Create$ = kotlin_it_unibo_tuprolog_solve.$_$.h2;
+  var subtract = kotlin_kotlin.$_$.d7;
+  var getKClassFromExpression = kotlin_kotlin.$_$.o9;
+  var Halt = kotlin_it_unibo_tuprolog_solve.$_$.k4;
+  var Yes = kotlin_it_unibo_tuprolog_solve.$_$.m4;
+  var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.j1;
+  var No = kotlin_it_unibo_tuprolog_solve.$_$.l4;
+  var Companion_getInstance_3 = kotlin_it_unibo_tuprolog_core.$_$.x;
+  var LogicError = kotlin_it_unibo_tuprolog_solve.$_$.r2;
+  var HaltException = kotlin_it_unibo_tuprolog_solve.$_$.q2;
+  var sequenceOf_0 = kotlin_kotlin.$_$.bb;
+  var flatMap = kotlin_kotlin.$_$.ja;
+  var asIterable = kotlin_kotlin.$_$.w9;
+  var Rule = kotlin_it_unibo_tuprolog_core.$_$.y1;
+  var none = kotlin_kotlin.$_$.wa;
+  var Struct = kotlin_it_unibo_tuprolog_core.$_$.z1;
+  var ExtensionLibrary = kotlin_it_unibo_tuprolog_solve.$_$.w2;
+  var CommonBuiltins_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.p1;
+  var listOf_0 = kotlin_kotlin.$_$.g4;
+  var PrimitiveWrapper = kotlin_it_unibo_tuprolog_solve.$_$.c3;
+  var PrimitiveWrapper_init_$Init$ = kotlin_it_unibo_tuprolog_solve.$_$.i2;
+  var Companion_getInstance_4 = kotlin_it_unibo_tuprolog_solve.$_$.l1;
+  var Expected_CALLABLE_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.k;
+  var TypeError_init_$Create$ = kotlin_it_unibo_tuprolog_solve.$_$.e2;
+  var last = kotlin_kotlin.$_$.a4;
+  var first_1 = kotlin_kotlin.$_$.o3;
+  var Pair = kotlin_kotlin.$_$.ee;
+  var initMetadataForCoroutine = kotlin_kotlin.$_$.c8;
+  var Companion_instance_8 = kotlin_it_unibo_tuprolog_solve.$_$.e1;
+  var NonBacktrackable = kotlin_it_unibo_tuprolog_solve.$_$.m3;
+  var Companion_instance_9 = kotlin_it_unibo_tuprolog_solve.$_$.c1;
   //endregion
   //region block: pre-declaration
   initMetadataForClass(SolverStrategies$Companion$prologStandard$1);
@@ -195,7 +195,7 @@
   initMetadataForClass(AlreadyExecutedState, 'AlreadyExecutedState');
   initMetadataForInterface(FinalState, 'FinalState');
   function get_context() {
-    var tmp = this.f3d().context;
+    var tmp = this.get_solve_iymyhi_k$().context;
     return tmp instanceof StreamsExecutionContext ? tmp : THROW_CCE();
   }
   initMetadataForInterface(IntermediateState, 'IntermediateState');
@@ -229,19 +229,19 @@
   //endregion
   function SolverStrategies$Companion$prologStandard$1() {
   }
-  protoOf(SolverStrategies$Companion$prologStandard$1).b3d = function (predicationSequence, context) {
+  protoOf(SolverStrategies$Companion$prologStandard$1).predicationChoiceStrategy_pbjr0w_k$ = function (predicationSequence, context) {
     return first(predicationSequence);
   };
-  protoOf(SolverStrategies$Companion$prologStandard$1).c3d = function (unifiableClauses, context) {
+  protoOf(SolverStrategies$Companion$prologStandard$1).clauseChoiceStrategy_yngr8k_k$ = function (unifiableClauses, context) {
     return first(unifiableClauses);
   };
-  protoOf(SolverStrategies$Companion$prologStandard$1).d3d = function (term, context) {
-    return term.yt();
+  protoOf(SolverStrategies$Companion$prologStandard$1).successCheckStrategy_50okaq_k$ = function (term, context) {
+    return term.get_isTrue_ew6ti9_k$();
   };
   function Companion() {
     Companion_instance_10 = this;
     var tmp = this;
-    tmp.e3d_1 = new SolverStrategies$Companion$prologStandard$1();
+    tmp.prologStandard_1 = new SolverStrategies$Companion$prologStandard$1();
   }
   var Companion_instance_10;
   function Companion_getInstance_5() {
@@ -251,27 +251,27 @@
   }
   function SolverStrategies$clauseChoiceStrategy$ref(p0) {
     return constructCallableReference(function (p0_0, p1) {
-      return p0.c3d(p0_0, p1);
-    }, 2, 0, 94, 'clauseChoiceStrategy', [p0]);
+      return p0.clauseChoiceStrategy_yngr8k_k$(p0_0, p1);
+    }, 2, 0, 171, 'clauseChoiceStrategy', [p0]);
   }
   function SolverStrategies$predicationChoiceStrategy$ref(p0) {
     return constructCallableReference(function (p0_0, p1) {
-      return p0.b3d(p0_0, p1);
-    }, 2, 0, 95, 'predicationChoiceStrategy', [p0]);
+      return p0.predicationChoiceStrategy_pbjr0w_k$(p0_0, p1);
+    }, 2, 0, 172, 'predicationChoiceStrategy', [p0]);
   }
   function StreamsSolver$Companion$solveToFinalStates$lambda(it) {
     return !(it == null) ? isInterface(it, FinalState) : false;
   }
   function StreamsSolver$Companion$solveToFinalStates$lambda_0($goalRequest) {
     return function (it) {
-      return it.f3d().solution.q1v().equals($goalRequest.q1v());
+      return it.get_solve_iymyhi_k$().solution.get_query_ixn1y7_k$().equals($goalRequest.get_query_ixn1y7_k$());
     };
   }
   function StreamsSolver$Companion$solveToResponses$lambda(it) {
-    return it.f3d();
+    return it.get_solve_iymyhi_k$();
   }
   function StreamsSolver_init_$Init$(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, $this) {
-    unificator = unificator === VOID ? Companion_getInstance().n1k() : unificator;
+    unificator = unificator === VOID ? Companion_getInstance().get_default_qtagd4_k$() : unificator;
     libraries = libraries === VOID ? Companion_instance.empty() : libraries;
     flags = flags === VOID ? Companion_getInstance_0().empty() : flags;
     staticKb = staticKb === VOID ? Companion_instance_0.empty(unificator) : staticKb;
@@ -280,7 +280,7 @@
     stdOut = stdOut === VOID ? Companion_instance_3.stdOut() : stdOut;
     stdErr = stdErr === VOID ? Companion_instance_3.stdErr() : stdErr;
     warnings = warnings === VOID ? Companion_instance_3.warning() : warnings;
-    StreamsSolver.call($this, unificator, libraries, flags, staticKb, dynamicKb, Companion_instance_4.q1x(stdIn), Companion_instance_5.t1x(stdOut, stdErr, warnings));
+    StreamsSolver.call($this, unificator, libraries, flags, staticKb, dynamicKb, Companion_instance_4.fromStandard_im9cmu_k$(stdIn), Companion_instance_5.fromStandard_rfofsy_k$(stdOut, stdErr, warnings));
     return $this;
   }
   function StreamsSolver_init_$Create$(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
@@ -288,15 +288,15 @@
   }
   function Companion_0() {
   }
-  protoOf(Companion_0).g3d = function (goalRequest) {
+  protoOf(Companion_0).solveToFinalStates_ioolgl_k$ = function (goalRequest) {
     // Inline function 'kotlin.sequences.filterIsInstance' call
-    var this_0 = StateMachineExecutor_instance.h3d(new StateInit(goalRequest));
+    var this_0 = StateMachineExecutor_instance.execute_tri2km_k$(new StateInit(goalRequest));
     var tmp = filter(this_0, StreamsSolver$Companion$solveToFinalStates$lambda);
     var tmp_0 = isInterface(tmp, Sequence) ? tmp : THROW_CCE();
     return filter(tmp_0, StreamsSolver$Companion$solveToFinalStates$lambda_0(goalRequest));
   };
-  protoOf(Companion_0).i3d = function (goalRequest) {
-    var tmp = this.g3d(goalRequest);
+  protoOf(Companion_0).solveToResponses_lmvh2j_k$ = function (goalRequest) {
+    var tmp = this.solveToFinalStates_ioolgl_k$(goalRequest);
     return map(tmp, StreamsSolver$Companion$solveToResponses$lambda);
   };
   var Companion_instance_11;
@@ -305,83 +305,83 @@
   }
   function StreamsSolver$solve$lambda(this$0) {
     return function (it) {
-      this$0.j3d_1 = it.i8().z30(it.f3d().sideEffects);
-      return it.f3d().solution.cleanUp();
+      this$0.executionContext_1 = it.get_context_h02k06_k$().applyIterable_lkplre_k$(it.get_solve_iymyhi_k$().sideEffects);
+      return it.get_solve_iymyhi_k$().solution.cleanUp();
     };
   }
   function StreamsSolver(unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels) {
-    unificator = unificator === VOID ? Companion_getInstance().n1k() : unificator;
+    unificator = unificator === VOID ? Companion_getInstance().get_default_qtagd4_k$() : unificator;
     libraries = libraries === VOID ? Companion_instance.empty() : libraries;
     flags = flags === VOID ? Companion_getInstance_0().empty() : flags;
     staticKb = staticKb === VOID ? Companion_instance_0.empty(unificator) : staticKb;
     dynamicKb = dynamicKb === VOID ? Companion_instance_0.empty(unificator) : dynamicKb;
     inputChannels = inputChannels === VOID ? Companion_instance_4.fromStandard() : inputChannels;
     outputChannels = outputChannels === VOID ? Companion_instance_5.fromStandard() : outputChannels;
-    this.j3d_1 = new StreamsExecutionContext(unificator, libraries, flags, staticKb, dynamicKb, toOperatorSet(getAllOperators(libraries, [staticKb, dynamicKb])), inputChannels, outputChannels);
+    this.executionContext_1 = new StreamsExecutionContext(unificator, libraries, flags, staticKb, dynamicKb, toOperatorSet(getAllOperators(libraries, [staticKb, dynamicKb])), inputChannels, outputChannels);
   }
-  protoOf(StreamsSolver).o2a = function (goal, options) {
-    this.j3d_1 = new StreamsExecutionContext(this.u1k(), this.r1u(), this.s1u(), this.t1u(), this.u1u(), VOID, this.v1u(), this.w1u(), VOID, VOID, VOID, options.y1w());
-    var tmp = Companion_instance_11.g3d(new Request(extractSignature(goal), goal.bu(), this.j3d_1));
+  protoOf(StreamsSolver).solveWithOptions_5o6xex_k$ = function (goal, options) {
+    this.executionContext_1 = new StreamsExecutionContext(this.get_unificator_xw6v3j_k$(), this.get_libraries_lyf10w_k$(), this.get_flags_irfhb2_k$(), this.get_staticKb_a01l1u_k$(), this.get_dynamicKb_wvqg8j_k$(), VOID, this.get_inputChannels_uyf05t_k$(), this.get_outputChannels_ffvoca_k$(), VOID, VOID, VOID, options.get_timeout_kgpqiw_k$());
+    var tmp = Companion_instance_11.solveToFinalStates_ioolgl_k$(new Request(extractSignature(goal), goal.get_argsList_cw1bs4_k$(), this.executionContext_1));
     var solutionSequence = map(tmp, StreamsSolver$solve$lambda(this));
-    if (options.z1w() > 0) {
-      solutionSequence = take(solutionSequence, options.z1w());
+    if (options.get_limit_iuokuq_k$() > 0) {
+      solutionSequence = take(solutionSequence, options.get_limit_iuokuq_k$());
     }
-    if (options.x1w()) {
+    if (options.get_isEager_zan0w5_k$()) {
       solutionSequence = buffered(solutionSequence);
     }
     return solutionSequence;
   };
   protoOf(StreamsSolver).solveWithOptions = function (goal, options) {
-    return this.o2a(goal, options);
+    return this.solveWithOptions_5o6xex_k$(goal, options);
   };
-  protoOf(StreamsSolver).i1v = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
+  protoOf(StreamsSolver).copy_equ050_k$ = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
     return StreamsSolver_init_$Create$(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings);
   };
   protoOf(StreamsSolver).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 StreamsSolver) ? $super : THROW_CCE());
   };
-  protoOf(StreamsSolver).u1k = function () {
-    return this.j3d_1.k3d_1;
+  protoOf(StreamsSolver).get_unificator_xw6v3j_k$ = function () {
+    return this.executionContext_1.unificator_1;
   };
-  protoOf(StreamsSolver).r1u = function () {
-    return this.j3d_1.l3d_1;
+  protoOf(StreamsSolver).get_libraries_lyf10w_k$ = function () {
+    return this.executionContext_1.libraries_1;
   };
-  protoOf(StreamsSolver).s1u = function () {
-    return this.j3d_1.m3d_1;
+  protoOf(StreamsSolver).get_flags_irfhb2_k$ = function () {
+    return this.executionContext_1.flags_1;
   };
-  protoOf(StreamsSolver).t1u = function () {
-    return this.j3d_1.n3d_1;
+  protoOf(StreamsSolver).get_staticKb_a01l1u_k$ = function () {
+    return this.executionContext_1.staticKb_1;
   };
-  protoOf(StreamsSolver).u1u = function () {
-    return this.j3d_1.o3d_1;
+  protoOf(StreamsSolver).get_dynamicKb_wvqg8j_k$ = function () {
+    return this.executionContext_1.dynamicKb_1;
   };
-  protoOf(StreamsSolver).v1u = function () {
-    return this.j3d_1.q3d_1;
+  protoOf(StreamsSolver).get_inputChannels_uyf05t_k$ = function () {
+    return this.executionContext_1.inputChannels_1;
   };
-  protoOf(StreamsSolver).w1u = function () {
-    return this.j3d_1.r3d_1;
+  protoOf(StreamsSolver).get_outputChannels_ffvoca_k$ = function () {
+    return this.executionContext_1.outputChannels_1;
   };
-  protoOf(StreamsSolver).a1v = function () {
-    return this.j3d_1.p3d_1;
+  protoOf(StreamsSolver).get_operators_z0nmfu_k$ = function () {
+    return this.executionContext_1.operators_1;
   };
   function StreamsSolverFactory() {
   }
-  protoOf(StreamsSolverFactory).d1x = function () {
+  protoOf(StreamsSolverFactory).get_defaultBuiltins_lwij14_k$ = function () {
     return DefaultBuiltins_getInstance();
   };
-  protoOf(StreamsSolverFactory).o1x = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs) {
+  protoOf(StreamsSolverFactory).solverOf_7gm3c2_k$ = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs) {
     return new StreamsSolver(unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs);
   };
   protoOf(StreamsSolverFactory).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 StreamsSolverFactory) ? $super : THROW_CCE());
   };
-  protoOf(StreamsSolverFactory).u1x = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
-    return new StreamsSolver(unificator, libraries, flags, staticKb, dynamicKb, Companion_instance_4.q1x(stdIn), Companion_instance_5.t1x(stdOut, stdErr, warnings));
+  protoOf(StreamsSolverFactory).solverOf_dn642x_k$ = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
+    return new StreamsSolver(unificator, libraries, flags, staticKb, dynamicKb, Companion_instance_4.fromStandard_im9cmu_k$(stdIn), Companion_instance_5.fromStandard_rfofsy_k$(stdOut, stdErr, warnings));
   };
   protoOf(StreamsSolverFactory).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 StreamsSolverFactory) ? $super : THROW_CCE());
   };
-  protoOf(StreamsSolverFactory).w1x = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
+  protoOf(StreamsSolverFactory).mutableSolverOf_wmp0rz_k$ = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
     // Inline function 'kotlin.TODO' call
     var reason = 'Mutable stream solver is not supported yet';
     throw new NotImplementedError('An operation is not implemented: ' + reason);
@@ -389,7 +389,7 @@
   protoOf(StreamsSolverFactory).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 StreamsSolverFactory) ? $super : THROW_CCE());
   };
-  protoOf(StreamsSolverFactory).y1x = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs) {
+  protoOf(StreamsSolverFactory).mutableSolverOf_16557c_k$ = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs) {
     // Inline function 'kotlin.TODO' call
     var reason = 'Mutable stream solver is not supported yet';
     throw new NotImplementedError('An operation is not implemented: ' + reason);
@@ -403,29 +403,29 @@
   }
   function getFirstChoicePointContext($this) {
     // Inline function 'kotlin.collections.filter' call
-    var tmp0 = $this.z3d_1;
+    var tmp0 = $this.clauseScopedParents_1;
     // Inline function 'kotlin.collections.filterTo' call
     var destination = ArrayList_init_$Create$();
-    var _iterator__ex2g4s = tmp0.n();
-    while (_iterator__ex2g4s.q()) {
-      var element = _iterator__ex2g4s.r();
-      if (element.x3d_1.a3e_1) {
-        destination.l(element);
+    var _iterator__ex2g4s = tmp0.iterator_jk1svi_k$();
+    while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
+      var element = _iterator__ex2g4s.next_20eer_k$();
+      if (element.sideEffectManager_1.isChoicePointChild_1) {
+        destination.add_utx5q5_k$(element);
       }
     }
     // Inline function 'kotlin.collections.mapNotNull' call
     // Inline function 'kotlin.collections.mapNotNullTo' call
     var destination_0 = ArrayList_init_$Create$();
     // Inline function 'kotlin.collections.forEach' call
-    var _iterator__ex2g4s_0 = destination.n();
-    while (_iterator__ex2g4s_0.q()) {
-      var element_0 = _iterator__ex2g4s_0.r();
-      var tmp0_safe_receiver = firstOrNull(element_0.x3d_1.z3d_1);
+    var _iterator__ex2g4s_0 = destination.iterator_jk1svi_k$();
+    while (_iterator__ex2g4s_0.hasNext_bitz1p_k$()) {
+      var element_0 = _iterator__ex2g4s_0.next_20eer_k$();
+      var tmp0_safe_receiver = firstOrNull(element_0.sideEffectManager_1.clauseScopedParents_1);
       if (tmp0_safe_receiver == null)
         null;
       else {
         // Inline function 'kotlin.let' call
-        destination_0.l(tmp0_safe_receiver);
+        destination_0.add_utx5q5_k$(tmp0_safe_receiver);
       }
     }
     return destination_0;
@@ -437,44 +437,44 @@
     logicalParentRequests = logicalParentRequests === VOID ? emptyList() : logicalParentRequests;
     throwNonSelectableParentContexts = throwNonSelectableParentContexts === VOID ? emptySequence() : throwNonSelectableParentContexts;
     throwRelatedToCutContextsParent = throwRelatedToCutContextsParent === VOID ? null : throwRelatedToCutContextsParent;
-    this.z3d_1 = clauseScopedParents;
-    this.a3e_1 = isChoicePointChild;
-    this.b3e_1 = toCutContextsParent;
-    this.c3e_1 = logicalParentRequests;
-    this.d3e_1 = throwNonSelectableParentContexts;
-    this.e3e_1 = throwRelatedToCutContextsParent;
+    this.clauseScopedParents_1 = clauseScopedParents;
+    this.isChoicePointChild_1 = isChoicePointChild;
+    this.toCutContextsParent_1 = toCutContextsParent;
+    this.logicalParentRequests_1 = logicalParentRequests;
+    this.throwNonSelectableParentContexts_1 = throwNonSelectableParentContexts;
+    this.throwRelatedToCutContextsParent_1 = throwRelatedToCutContextsParent;
   }
-  protoOf(SideEffectManagerImpl).f3e = function () {
-    return this.g3e(VOID, VOID, plus(this.b3e_1, getFirstChoicePointContext(this)));
+  protoOf(SideEffectManagerImpl).cut_24aq_k$ = function () {
+    return this.copy$default_m6yl2r_k$(VOID, VOID, plus(this.toCutContextsParent_1, getFirstChoicePointContext(this)));
   };
   protoOf(SideEffectManagerImpl).cut = function () {
-    return this.f3e();
+    return this.cut_24aq_k$();
   };
-  protoOf(SideEffectManagerImpl).h3e = function (currentContext) {
+  protoOf(SideEffectManagerImpl).stateInitInitialize_k45sa5_k$ = function (currentContext) {
     // Inline function 'kotlin.apply' call
-    var this_0 = toMutableList(this.z3d_1);
-    this_0.s3(0, currentContext);
-    return this.g3e(this_0, false);
+    var this_0 = toMutableList(this.clauseScopedParents_1);
+    this_0.add_dl6gt3_k$(0, currentContext);
+    return this.copy$default_m6yl2r_k$(this_0, false);
   };
-  protoOf(SideEffectManagerImpl).i3e = function (currentContext, isChoicePointChild, logicalParentRequest) {
+  protoOf(SideEffectManagerImpl).creatingNewRequest_40r2sm_k$ = function (currentContext, isChoicePointChild, logicalParentRequest) {
     // Inline function 'kotlin.apply' call
-    var this_0 = toMutableList(this.z3d_1);
-    this_0.s3(0, currentContext);
+    var this_0 = toMutableList(this.clauseScopedParents_1);
+    this_0.add_dl6gt3_k$(0, currentContext);
     var tmp = this_0;
     var tmp_0;
-    if (this.c3e_1.y(logicalParentRequest)) {
+    if (this.logicalParentRequests_1.contains_aljjnj_k$(logicalParentRequest)) {
       // Inline function 'kotlin.collections.dropWhile' call
-      var this_1 = this.c3e_1;
+      var this_1 = this.logicalParentRequests_1;
       var yielding = false;
       var list = ArrayList_init_$Create$();
-      var _iterator__ex2g4s = this_1.n();
-      while (_iterator__ex2g4s.q()) {
-        var item = _iterator__ex2g4s.r();
+      var _iterator__ex2g4s = this_1.iterator_jk1svi_k$();
+      while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
+        var item = _iterator__ex2g4s.next_20eer_k$();
         if (yielding) {
-          list.l(item);
+          list.add_utx5q5_k$(item);
         } else {
           if (!!item.equals(logicalParentRequest)) {
-            list.l(item);
+            list.add_utx5q5_k$(item);
             yielding = true;
           }
         }
@@ -482,44 +482,44 @@
       tmp_0 = list;
     } else {
       // Inline function 'kotlin.apply' call
-      var this_2 = toMutableList(this.c3e_1);
-      this_2.s3(0, logicalParentRequest);
+      var this_2 = toMutableList(this.logicalParentRequests_1);
+      this_2.add_dl6gt3_k$(0, logicalParentRequest);
       tmp_0 = this_2;
     }
-    return this.g3e(tmp, isChoicePointChild, VOID, tmp_0);
+    return this.copy$default_m6yl2r_k$(tmp, isChoicePointChild, VOID, tmp_0);
   };
-  protoOf(SideEffectManagerImpl).j3e = function () {
-    return this.g3e(listOf(first_0(this.z3d_1)));
+  protoOf(SideEffectManagerImpl).enterRuleSubScope_lpzv30_k$ = function () {
+    return this.copy$default_m6yl2r_k$(listOf(first_0(this.clauseScopedParents_1)));
   };
-  protoOf(SideEffectManagerImpl).k3e = function (upperScopeSideEffectsManager) {
+  protoOf(SideEffectManagerImpl).extendParentScopeWith_y1m3r3_k$ = function (upperScopeSideEffectsManager) {
     // Inline function 'kotlin.apply' call
-    var this_0 = toMutableList(this.z3d_1);
-    this_0.w(upperScopeSideEffectsManager.z3d_1);
-    return this.g3e(this_0);
+    var this_0 = toMutableList(this.clauseScopedParents_1);
+    this_0.addAll_h3ej1q_k$(upperScopeSideEffectsManager.clauseScopedParents_1);
+    return this.copy$default_m6yl2r_k$(this_0);
   };
-  protoOf(SideEffectManagerImpl).l3e = function () {
-    return contains(this.b3e_1, lastOrNull(this.z3d_1)) || this.m3e();
+  protoOf(SideEffectManagerImpl).shouldCutExecuteInRuleSelection_wc622h_k$ = function () {
+    return contains(this.toCutContextsParent_1, lastOrNull(this.clauseScopedParents_1)) || this.shouldExecuteThrowCut_n98vym_k$();
   };
-  protoOf(SideEffectManagerImpl).n3e = function (toUnifyArgument) {
+  protoOf(SideEffectManagerImpl).retrieveAncestorCatchRequest_r27er6_k$ = function (toUnifyArgument) {
     // Inline function 'kotlin.collections.filter' call
-    var tmp0 = this.c3e_1;
+    var tmp0 = this.logicalParentRequests_1;
     // Inline function 'kotlin.collections.filterTo' call
     var destination = ArrayList_init_$Create$();
-    var _iterator__ex2g4s = tmp0.n();
-    while (_iterator__ex2g4s.q()) {
-      var element = _iterator__ex2g4s.r();
+    var _iterator__ex2g4s = tmp0.iterator_jk1svi_k$();
+    while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
+      var element = _iterator__ex2g4s.next_20eer_k$();
       if (element.signature.equals(Catch_getInstance().signature)) {
-        destination.l(element);
+        destination.add_utx5q5_k$(element);
       }
     }
     // Inline function 'kotlin.collections.filterNot' call
     // Inline function 'kotlin.collections.filterNotTo' call
     var destination_0 = ArrayList_init_$Create$();
-    var _iterator__ex2g4s_0 = destination.n();
-    while (_iterator__ex2g4s_0.q()) {
-      var element_0 = _iterator__ex2g4s_0.r();
-      if (!contains(this.d3e_1, element_0.context)) {
-        destination_0.l(element_0);
+    var _iterator__ex2g4s_0 = destination.iterator_jk1svi_k$();
+    while (_iterator__ex2g4s_0.hasNext_bitz1p_k$()) {
+      var element_0 = _iterator__ex2g4s_0.next_20eer_k$();
+      if (!contains(this.throwNonSelectableParentContexts_1, element_0.context)) {
+        destination_0.add_utx5q5_k$(element_0);
       }
     }
     var ancestorCatchesRequests = destination_0;
@@ -527,10 +527,10 @@
     var tmp$ret$7;
     $l$block: {
       // Inline function 'kotlin.collections.firstOrNull' call
-      var _iterator__ex2g4s_1 = ancestorCatchesRequests.n();
-      while (_iterator__ex2g4s_1.q()) {
-        var element_1 = _iterator__ex2g4s_1.r();
-        if (Companion_getInstance().matches(element_1.arguments.x(1), toUnifyArgument)) {
+      var _iterator__ex2g4s_1 = ancestorCatchesRequests.iterator_jk1svi_k$();
+      while (_iterator__ex2g4s_1.hasNext_bitz1p_k$()) {
+        var element_1 = _iterator__ex2g4s_1.next_20eer_k$();
+        if (Companion_getInstance().matches(element_1.arguments.get_c1px32_k$(1), toUnifyArgument)) {
           tmp$ret$7 = element_1;
           break $l$block;
         }
@@ -539,26 +539,26 @@
     }
     return tmp$ret$7;
   };
-  protoOf(SideEffectManagerImpl).o3e = function (ancestorCatchContext) {
-    return this.g3e(VOID, VOID, VOID, VOID, VOID, ancestorCatchContext);
+  protoOf(SideEffectManagerImpl).throwCut_aijtdq_k$ = function (ancestorCatchContext) {
+    return this.copy$default_m6yl2r_k$(VOID, VOID, VOID, VOID, VOID, ancestorCatchContext);
   };
-  protoOf(SideEffectManagerImpl).p3e = function (contextImpl) {
-    return equals(this.e3e_1, contextImpl);
+  protoOf(SideEffectManagerImpl).isSelectedThrowCatch_8rjyws_k$ = function (contextImpl) {
+    return equals(this.throwRelatedToCutContextsParent_1, contextImpl);
   };
-  protoOf(SideEffectManagerImpl).q3e = function (contextImpl) {
-    return this.g3e(VOID, VOID, VOID, VOID, plus_0(this.d3e_1, contextImpl));
+  protoOf(SideEffectManagerImpl).ensureNoMoreSelectableCatch_83cmnn_k$ = function (contextImpl) {
+    return this.copy$default_m6yl2r_k$(VOID, VOID, VOID, VOID, plus_0(this.throwNonSelectableParentContexts_1, contextImpl));
   };
-  protoOf(SideEffectManagerImpl).r3e = function (toRecoverSituation) {
-    return this.g3e(VOID, VOID, toRecoverSituation.b3e_1);
+  protoOf(SideEffectManagerImpl).resetCutWorkChanges_ch1794_k$ = function (toRecoverSituation) {
+    return this.copy$default_m6yl2r_k$(VOID, VOID, toRecoverSituation.toCutContextsParent_1);
   };
-  protoOf(SideEffectManagerImpl).m3e = function () {
-    var tmp0 = this.c3e_1;
+  protoOf(SideEffectManagerImpl).shouldExecuteThrowCut_n98vym_k$ = function () {
+    var tmp0 = this.logicalParentRequests_1;
     var tmp$ret$0;
     $l$block_0: {
       // Inline function 'kotlin.collections.any' call
       var tmp;
       if (isInterface(tmp0, Collection)) {
-        tmp = tmp0.h();
+        tmp = tmp0.isEmpty_y1axqb_k$();
       } else {
         tmp = false;
       }
@@ -566,10 +566,10 @@
         tmp$ret$0 = false;
         break $l$block_0;
       }
-      var _iterator__ex2g4s = tmp0.n();
-      while (_iterator__ex2g4s.q()) {
-        var element = _iterator__ex2g4s.r();
-        if (element.context.equals(this.e3e_1)) {
+      var _iterator__ex2g4s = tmp0.iterator_jk1svi_k$();
+      while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
+        var element = _iterator__ex2g4s.next_20eer_k$();
+        if (element.context.equals(this.throwRelatedToCutContextsParent_1)) {
           tmp$ret$0 = true;
           break $l$block_0;
         }
@@ -578,28 +578,28 @@
     }
     return tmp$ret$0;
   };
-  protoOf(SideEffectManagerImpl).s3e = function (clauseScopedParents, isChoicePointChild, toCutContextsParent, logicalParentRequests, throwNonSelectableParentContexts, throwRelatedToCutContextsParent) {
+  protoOf(SideEffectManagerImpl).copy_v2ree8_k$ = function (clauseScopedParents, isChoicePointChild, toCutContextsParent, logicalParentRequests, throwNonSelectableParentContexts, throwRelatedToCutContextsParent) {
     return new SideEffectManagerImpl(clauseScopedParents, isChoicePointChild, toCutContextsParent, logicalParentRequests, throwNonSelectableParentContexts, throwRelatedToCutContextsParent);
   };
-  protoOf(SideEffectManagerImpl).g3e = function (clauseScopedParents, isChoicePointChild, toCutContextsParent, logicalParentRequests, throwNonSelectableParentContexts, throwRelatedToCutContextsParent, $super) {
-    clauseScopedParents = clauseScopedParents === VOID ? this.z3d_1 : clauseScopedParents;
-    isChoicePointChild = isChoicePointChild === VOID ? this.a3e_1 : isChoicePointChild;
-    toCutContextsParent = toCutContextsParent === VOID ? this.b3e_1 : toCutContextsParent;
-    logicalParentRequests = logicalParentRequests === VOID ? this.c3e_1 : logicalParentRequests;
-    throwNonSelectableParentContexts = throwNonSelectableParentContexts === VOID ? this.d3e_1 : throwNonSelectableParentContexts;
-    throwRelatedToCutContextsParent = throwRelatedToCutContextsParent === VOID ? this.e3e_1 : throwRelatedToCutContextsParent;
-    return $super === VOID ? this.s3e(clauseScopedParents, isChoicePointChild, toCutContextsParent, logicalParentRequests, throwNonSelectableParentContexts, throwRelatedToCutContextsParent) : $super.s3e.call(this, clauseScopedParents, isChoicePointChild, toCutContextsParent, logicalParentRequests, throwNonSelectableParentContexts, throwRelatedToCutContextsParent);
+  protoOf(SideEffectManagerImpl).copy$default_m6yl2r_k$ = function (clauseScopedParents, isChoicePointChild, toCutContextsParent, logicalParentRequests, throwNonSelectableParentContexts, throwRelatedToCutContextsParent, $super) {
+    clauseScopedParents = clauseScopedParents === VOID ? this.clauseScopedParents_1 : clauseScopedParents;
+    isChoicePointChild = isChoicePointChild === VOID ? this.isChoicePointChild_1 : isChoicePointChild;
+    toCutContextsParent = toCutContextsParent === VOID ? this.toCutContextsParent_1 : toCutContextsParent;
+    logicalParentRequests = logicalParentRequests === VOID ? this.logicalParentRequests_1 : logicalParentRequests;
+    throwNonSelectableParentContexts = throwNonSelectableParentContexts === VOID ? this.throwNonSelectableParentContexts_1 : throwNonSelectableParentContexts;
+    throwRelatedToCutContextsParent = throwRelatedToCutContextsParent === VOID ? this.throwRelatedToCutContextsParent_1 : throwRelatedToCutContextsParent;
+    return $super === VOID ? this.copy_v2ree8_k$(clauseScopedParents, isChoicePointChild, toCutContextsParent, logicalParentRequests, throwNonSelectableParentContexts, throwRelatedToCutContextsParent) : $super.copy_v2ree8_k$.call(this, clauseScopedParents, isChoicePointChild, toCutContextsParent, logicalParentRequests, throwNonSelectableParentContexts, throwRelatedToCutContextsParent);
   };
   protoOf(SideEffectManagerImpl).toString = function () {
-    return 'SideEffectManagerImpl(clauseScopedParents=' + toString(this.z3d_1) + ', isChoicePointChild=' + this.a3e_1 + ', toCutContextsParent=' + toString(this.b3e_1) + ', logicalParentRequests=' + toString(this.c3e_1) + ', throwNonSelectableParentContexts=' + toString(this.d3e_1) + ', throwRelatedToCutContextsParent=' + toString_0(this.e3e_1) + ')';
+    return 'SideEffectManagerImpl(clauseScopedParents=' + toString(this.clauseScopedParents_1) + ', isChoicePointChild=' + this.isChoicePointChild_1 + ', toCutContextsParent=' + toString(this.toCutContextsParent_1) + ', logicalParentRequests=' + toString(this.logicalParentRequests_1) + ', throwNonSelectableParentContexts=' + toString(this.throwNonSelectableParentContexts_1) + ', throwRelatedToCutContextsParent=' + toString_0(this.throwRelatedToCutContextsParent_1) + ')';
   };
   protoOf(SideEffectManagerImpl).hashCode = function () {
-    var result = hashCode(this.z3d_1);
-    result = imul(result, 31) + getBooleanHashCode(this.a3e_1) | 0;
-    result = imul(result, 31) + hashCode(this.b3e_1) | 0;
-    result = imul(result, 31) + hashCode(this.c3e_1) | 0;
-    result = imul(result, 31) + hashCode(this.d3e_1) | 0;
-    result = imul(result, 31) + (this.e3e_1 == null ? 0 : this.e3e_1.hashCode()) | 0;
+    var result = hashCode(this.clauseScopedParents_1);
+    result = imul(result, 31) + getBooleanHashCode(this.isChoicePointChild_1) | 0;
+    result = imul(result, 31) + hashCode(this.toCutContextsParent_1) | 0;
+    result = imul(result, 31) + hashCode(this.logicalParentRequests_1) | 0;
+    result = imul(result, 31) + hashCode(this.throwNonSelectableParentContexts_1) | 0;
+    result = imul(result, 31) + (this.throwRelatedToCutContextsParent_1 == null ? 0 : this.throwRelatedToCutContextsParent_1.hashCode()) | 0;
     return result;
   };
   protoOf(SideEffectManagerImpl).equals = function (other) {
@@ -607,42 +607,42 @@
       return true;
     if (!(other instanceof SideEffectManagerImpl))
       return false;
-    if (!equals(this.z3d_1, other.z3d_1))
+    if (!equals(this.clauseScopedParents_1, other.clauseScopedParents_1))
       return false;
-    if (!(this.a3e_1 === other.a3e_1))
+    if (!(this.isChoicePointChild_1 === other.isChoicePointChild_1))
       return false;
-    if (!equals(this.b3e_1, other.b3e_1))
+    if (!equals(this.toCutContextsParent_1, other.toCutContextsParent_1))
       return false;
-    if (!equals(this.c3e_1, other.c3e_1))
+    if (!equals(this.logicalParentRequests_1, other.logicalParentRequests_1))
       return false;
-    if (!equals(this.d3e_1, other.d3e_1))
+    if (!equals(this.throwNonSelectableParentContexts_1, other.throwNonSelectableParentContexts_1))
       return false;
-    if (!equals(this.e3e_1, other.e3e_1))
+    if (!equals(this.throwRelatedToCutContextsParent_1, other.throwRelatedToCutContextsParent_1))
       return false;
     return true;
   };
   function resetCutWorkChanges(_this__u8e3s4, toRecoverSituation) {
     var tmp0_safe_receiver = _this__u8e3s4 instanceof SideEffectManagerImpl ? _this__u8e3s4 : null;
-    return tmp0_safe_receiver == null ? null : tmp0_safe_receiver.r3e(toRecoverSituation);
+    return tmp0_safe_receiver == null ? null : tmp0_safe_receiver.resetCutWorkChanges_ch1794_k$(toRecoverSituation);
   }
   function isSelectedThrowCatch(_this__u8e3s4, context) {
     var tmp0_safe_receiver = _this__u8e3s4 instanceof SideEffectManagerImpl ? _this__u8e3s4 : null;
-    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.p3e(context);
+    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.isSelectedThrowCatch_8rjyws_k$(context);
     return tmp1_elvis_lhs == null ? false : tmp1_elvis_lhs;
   }
   function shouldExecuteThrowCut(_this__u8e3s4) {
     var tmp0_safe_receiver = _this__u8e3s4 instanceof SideEffectManagerImpl ? _this__u8e3s4 : null;
-    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.m3e();
+    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.shouldExecuteThrowCut_n98vym_k$();
     return tmp1_elvis_lhs == null ? false : tmp1_elvis_lhs;
   }
   function shouldCutExecuteInRuleSelection(_this__u8e3s4) {
     var tmp0_safe_receiver = _this__u8e3s4 instanceof SideEffectManagerImpl ? _this__u8e3s4 : null;
-    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.l3e();
+    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.shouldCutExecuteInRuleSelection_wc622h_k$();
     return tmp1_elvis_lhs == null ? false : tmp1_elvis_lhs;
   }
   function extendParentScopeWith(_this__u8e3s4, upperScopeSideEffectsManager) {
     var tmp0_safe_receiver = _this__u8e3s4 instanceof SideEffectManagerImpl ? _this__u8e3s4 : null;
-    return tmp0_safe_receiver == null ? null : tmp0_safe_receiver.k3e(upperScopeSideEffectsManager);
+    return tmp0_safe_receiver == null ? null : tmp0_safe_receiver.extendParentScopeWith_y1m3r3_k$(upperScopeSideEffectsManager);
   }
   function isWellFormed(_this__u8e3s4) {
     return _this__u8e3s4.accept(Companion_getInstance_1().bodyWellFormedVisitor);
@@ -650,22 +650,22 @@
   function newSolveRequest(_this__u8e3s4, newGoal, toAddSubstitutions, toPropagateContextData, baseSideEffectManager, requestIssuingInstant, isChoicePointChild) {
     toAddSubstitutions = toAddSubstitutions === VOID ? Companion_getInstance_2().empty() : toAddSubstitutions;
     toPropagateContextData = toPropagateContextData === VOID ? _this__u8e3s4.context : toPropagateContextData;
-    baseSideEffectManager = baseSideEffectManager === VOID ? _this__u8e3s4.context.x3d_1 : baseSideEffectManager;
-    requestIssuingInstant = requestIssuingInstant === VOID ? _this__u8e3s4.p28_1 : requestIssuingInstant;
+    baseSideEffectManager = baseSideEffectManager === VOID ? _this__u8e3s4.context.sideEffectManager_1 : baseSideEffectManager;
+    requestIssuingInstant = requestIssuingInstant === VOID ? _this__u8e3s4.startTime_1 : requestIssuingInstant;
     isChoicePointChild = isChoicePointChild === VOID ? false : isChoicePointChild;
     var tmp = extractSignature(newGoal);
-    var tmp_0 = newGoal.bu();
-    var tmp_1 = toPropagateContextData.r1u();
-    var tmp_2 = toPropagateContextData.s1u();
-    var tmp_3 = toPropagateContextData.t1u();
-    var tmp_4 = toPropagateContextData.u1u();
-    var tmp_5 = toPropagateContextData.v1u();
-    var tmp_6 = toPropagateContextData.w1u();
-    var tmp_7 = _this__u8e3s4.context.t3d_1.plus(toAddSubstitutions);
-    return _this__u8e3s4.l2h(tmp, tmp_0, _this__u8e3s4.context.t3e(VOID, tmp_1, tmp_2, tmp_3, tmp_4, VOID, tmp_5, tmp_6, VOID, isInterface(tmp_7, Unifier) ? tmp_7 : THROW_CCE(), VOID, VOID, VOID, baseSideEffectManager.i3e(_this__u8e3s4.context, isChoicePointChild, _this__u8e3s4)), requestIssuingInstant);
+    var tmp_0 = newGoal.get_argsList_cw1bs4_k$();
+    var tmp_1 = toPropagateContextData.get_libraries_lyf10w_k$();
+    var tmp_2 = toPropagateContextData.get_flags_irfhb2_k$();
+    var tmp_3 = toPropagateContextData.get_staticKb_a01l1u_k$();
+    var tmp_4 = toPropagateContextData.get_dynamicKb_wvqg8j_k$();
+    var tmp_5 = toPropagateContextData.get_inputChannels_uyf05t_k$();
+    var tmp_6 = toPropagateContextData.get_outputChannels_ffvoca_k$();
+    var tmp_7 = _this__u8e3s4.context.substitution_1.plus(toAddSubstitutions);
+    return _this__u8e3s4.copy$default_c2mg6k_k$(tmp, tmp_0, _this__u8e3s4.context.copy$default_91c9pl_k$(VOID, tmp_1, tmp_2, tmp_3, tmp_4, VOID, tmp_5, tmp_6, VOID, isInterface(tmp_7, Unifier) ? tmp_7 : THROW_CCE(), VOID, VOID, VOID, baseSideEffectManager.creatingNewRequest_40r2sm_k$(_this__u8e3s4.context, isChoicePointChild, _this__u8e3s4)), requestIssuingInstant);
   }
   function prepareForExecutionAsGoal(_this__u8e3s4) {
-    return single(prepareForExecution(Companion_instance_6.of(_this__u8e3s4, [])).bu()).uu();
+    return single(prepareForExecution(Companion_instance_6.of(_this__u8e3s4, [])).get_argsList_cw1bs4_k$()).castTo_8vzplt_k$();
   }
   function replyWith(_this__u8e3s4, otherResponse) {
     // Inline function 'kotlin.with' call
@@ -674,7 +674,7 @@
     // Inline function 'kotlin.collections.toTypedArray' call
     var this_0 = otherResponse.sideEffects;
     var tmp$ret$2 = copyToArray(this_0);
-    return _this__u8e3s4.e2h(otherResponse.solution, tmp, tmp$ret$2.slice());
+    return _this__u8e3s4.replyWith_o0sskn_k$(otherResponse.solution, tmp, tmp$ret$2.slice());
   }
   function orderWithStrategy(_this__u8e3s4, context, selectionStrategy) {
     var tmp;
@@ -688,16 +688,16 @@
   function addWithNoDuplicates(_this__u8e3s4, toAddSideEffects) {
     var duplicatedCount = 0;
     // Inline function 'kotlin.collections.forEach' call
-    var _iterator__ex2g4s = _this__u8e3s4.n();
-    while (_iterator__ex2g4s.q()) {
-      var element = _iterator__ex2g4s.r();
+    var _iterator__ex2g4s = _this__u8e3s4.iterator_jk1svi_k$();
+    while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
+      var element = _iterator__ex2g4s.next_20eer_k$();
       // Inline function 'kotlin.collections.find' call
       var tmp$ret$3;
       $l$block: {
         // Inline function 'kotlin.collections.firstOrNull' call
-        var _iterator__ex2g4s_0 = toAddSideEffects.n();
-        while (_iterator__ex2g4s_0.q()) {
-          var element_0 = _iterator__ex2g4s_0.r();
+        var _iterator__ex2g4s_0 = toAddSideEffects.iterator_jk1svi_k$();
+        while (_iterator__ex2g4s_0.hasNext_bitz1p_k$()) {
+          var element_0 = _iterator__ex2g4s_0.next_20eer_k$();
           if (element === element_0) {
             tmp$ret$3 = element_0;
             break $l$block;
@@ -713,13 +713,13 @@
   }
   function moreThanOne(elements) {
     // Inline function 'kotlin.with' call
-    var $this$with = elements.n();
+    var $this$with = elements.iterator_jk1svi_k$();
     var tmp;
-    if (!$this$with.q()) {
+    if (!$this$with.hasNext_bitz1p_k$()) {
       tmp = false;
     } else {
-      $this$with.r();
-      tmp = $this$with.q();
+      $this$with.next_20eer_k$();
+      tmp = $this$with.hasNext_bitz1p_k$();
     }
     return tmp;
   }
@@ -729,39 +729,39 @@
     };
   }
   function orderWithStrategy$slambda($selectionStrategy, $this_orderWithStrategy, $context, resultContinuation) {
-    this.c3f_1 = $selectionStrategy;
-    this.d3f_1 = $this_orderWithStrategy;
-    this.e3f_1 = $context;
+    this.$selectionStrategy_1 = $selectionStrategy;
+    this.$this_orderWithStrategy_1 = $this_orderWithStrategy;
+    this.$context_1 = $context;
     CoroutineImpl.call(this, resultContinuation);
   }
-  protoOf(orderWithStrategy$slambda).h3f = function ($this$sequence, $completion) {
-    var tmp = this.i3f($this$sequence, $completion);
-    tmp.e8_1 = Unit_instance;
-    tmp.f8_1 = null;
-    return tmp.k8();
+  protoOf(orderWithStrategy$slambda).invoke_hab2ee_k$ = function ($this$sequence, $completion) {
+    var tmp = this.create_xgwk16_k$($this$sequence, $completion);
+    tmp.result_1 = Unit_instance;
+    tmp.exception_1 = null;
+    return tmp.doResume_5yljmg_k$();
   };
-  protoOf(orderWithStrategy$slambda).b9 = function (p1, $completion) {
-    return this.h3f(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
+  protoOf(orderWithStrategy$slambda).invoke_qns8j1_k$ = function (p1, $completion) {
+    return this.invoke_hab2ee_k$(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
   };
-  protoOf(orderWithStrategy$slambda).k8 = function () {
-    var suspendResult = this.e8_1;
+  protoOf(orderWithStrategy$slambda).doResume_5yljmg_k$ = function () {
+    var suspendResult = this.result_1;
     $sm: do
       try {
-        var tmp = this.c8_1;
+        var tmp = this.state_1;
         switch (tmp) {
           case 0:
-            this.d8_1 = 3;
-            this.g3f_1 = this.c3f_1(this.d3f_1, this.e3f_1);
-            this.c8_1 = 1;
-            suspendResult = this.f3f_1.cd(this.g3f_1, this);
+            this.exceptionState_1 = 3;
+            this.selected0__1 = this.$selectionStrategy_1(this.$this_orderWithStrategy_1, this.$context_1);
+            this.state_1 = 1;
+            suspendResult = this.$this$sequence_1.yield_3xhcex_k$(this.selected0__1, this);
             if (suspendResult === get_COROUTINE_SUSPENDED()) {
               return suspendResult;
             }
 
             continue $sm;
           case 1:
-            this.c8_1 = 2;
-            suspendResult = this.f3f_1.fd(orderWithStrategy(filterIndexed(this.d3f_1, orderWithStrategy$slambda$lambda(this.d3f_1, this.g3f_1)), this.e3f_1, this.c3f_1), this);
+            this.state_1 = 2;
+            suspendResult = this.$this$sequence_1.yieldAll_h63j2x_k$(orderWithStrategy(filterIndexed(this.$this_orderWithStrategy_1, orderWithStrategy$slambda$lambda(this.$this_orderWithStrategy_1, this.selected0__1)), this.$context_1, this.$selectionStrategy_1), this);
             if (suspendResult === get_COROUTINE_SUSPENDED()) {
               return suspendResult;
             }
@@ -770,45 +770,45 @@
           case 2:
             return Unit_instance;
           case 3:
-            throw this.f8_1;
+            throw this.exception_1;
         }
       } catch ($p) {
         var e = $p;
-        if (this.d8_1 === 3) {
+        if (this.exceptionState_1 === 3) {
           throw e;
         } else {
-          this.c8_1 = this.d8_1;
-          this.f8_1 = e;
+          this.state_1 = this.exceptionState_1;
+          this.exception_1 = e;
         }
       }
      while (true);
   };
-  protoOf(orderWithStrategy$slambda).i3f = function ($this$sequence, completion) {
-    var i = new orderWithStrategy$slambda(this.c3f_1, this.d3f_1, this.e3f_1, completion);
-    i.f3f_1 = $this$sequence;
+  protoOf(orderWithStrategy$slambda).create_xgwk16_k$ = function ($this$sequence, completion) {
+    var i = new orderWithStrategy$slambda(this.$selectionStrategy_1, this.$this_orderWithStrategy_1, this.$context_1, completion);
+    i.$this$sequence_1 = $this$sequence;
     return i;
   };
   function orderWithStrategy$slambda_0($selectionStrategy, $this_orderWithStrategy, $context, resultContinuation) {
     var i = new orderWithStrategy$slambda($selectionStrategy, $this_orderWithStrategy, $context, resultContinuation);
     return constructCallableReference(function ($this$sequence, $completion) {
-      return i.h3f($this$sequence, $completion);
+      return i.invoke_hab2ee_k$($this$sequence, $completion);
     }, 1);
   }
   function StreamsExecutionContext_init_$Init$(context, newCurrentSubstitution, $this) {
-    var tmp = context.u1k();
-    var tmp_0 = context.r1u();
-    var tmp_1 = context.s1u();
-    var tmp_2 = context.t1u();
-    var tmp_3 = context.u1u();
-    var tmp_4 = context.a1v();
-    var tmp_5 = context.v1u();
-    var tmp_6 = context.w1u();
-    var tmp_7 = context.p1u();
+    var tmp = context.get_unificator_xw6v3j_k$();
+    var tmp_0 = context.get_libraries_lyf10w_k$();
+    var tmp_1 = context.get_flags_irfhb2_k$();
+    var tmp_2 = context.get_staticKb_a01l1u_k$();
+    var tmp_3 = context.get_dynamicKb_wvqg8j_k$();
+    var tmp_4 = context.get_operators_z0nmfu_k$();
+    var tmp_5 = context.get_inputChannels_uyf05t_k$();
+    var tmp_6 = context.get_outputChannels_ffvoca_k$();
+    var tmp_7 = context.get_customData_oovbd0_k$();
     var tmp0_safe_receiver = context instanceof StreamsExecutionContext ? context : null;
-    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.w3d_1;
-    var tmp_8 = tmp1_elvis_lhs == null ? Companion_getInstance_5().e3d_1 : tmp1_elvis_lhs;
+    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.solverStrategies_1;
+    var tmp_8 = tmp1_elvis_lhs == null ? Companion_getInstance_5().prologStandard_1 : tmp1_elvis_lhs;
     var tmp2_safe_receiver = context instanceof StreamsExecutionContext ? context : null;
-    var tmp3_elvis_lhs = tmp2_safe_receiver == null ? null : tmp2_safe_receiver.x3d_1;
+    var tmp3_elvis_lhs = tmp2_safe_receiver == null ? null : tmp2_safe_receiver.sideEffectManager_1;
     StreamsExecutionContext.call($this, tmp, tmp_0, tmp_1, tmp_2, tmp_3, tmp_4, tmp_5, tmp_6, tmp_7, newCurrentSubstitution, VOID, VOID, tmp_8, tmp3_elvis_lhs == null ? new SideEffectManagerImpl() : tmp3_elvis_lhs);
     return $this;
   }
@@ -816,21 +816,21 @@
     return StreamsExecutionContext_init_$Init$(context, newCurrentSubstitution, objectCreate(protoOf(StreamsExecutionContext)));
   }
   function StreamsExecutionContext$logicStackTrace$delegate$lambda$lambda(it) {
-    return it.q1v();
+    return it.get_query_ixn1y7_k$();
   }
   function StreamsExecutionContext$logicStackTrace$delegate$lambda(this$0) {
     return function () {
-      var tmp = asSequence(this$0.x3d_1.c3e_1);
+      var tmp = asSequence(this$0.sideEffectManager_1.logicalParentRequests_1);
       return toList(map(tmp, StreamsExecutionContext$logicStackTrace$delegate$lambda$lambda));
     };
   }
   function StreamsExecutionContext$_get_logicStackTrace_$ref_tj4lit() {
     return constructCallableReference(function (p0) {
-      return p0.o1u();
-    }, 1, 0, 96);
+      return p0.get_logicStackTrace_2ngtyq_k$();
+    }, 1, 0, 173);
   }
   function StreamsExecutionContext(unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, startTime, maxDuration, solverStrategies, sideEffectManager) {
-    unificator = unificator === VOID ? Companion_getInstance().n1k() : unificator;
+    unificator = unificator === VOID ? Companion_getInstance().get_default_qtagd4_k$() : unificator;
     libraries = libraries === VOID ? Companion_instance.empty() : libraries;
     flags = flags === VOID ? Companion_getInstance_0().empty() : flags;
     staticKb = staticKb === VOID ? Companion_instance_0.empty(unificator) : staticKb;
@@ -842,88 +842,88 @@
     substitution = substitution === VOID ? Companion_getInstance_2().empty() : substitution;
     startTime = startTime === VOID ? currentTimeInstant() : startTime;
     maxDuration = maxDuration === VOID ? 9223372036854775807n : maxDuration;
-    solverStrategies = solverStrategies === VOID ? Companion_getInstance_5().e3d_1 : solverStrategies;
+    solverStrategies = solverStrategies === VOID ? Companion_getInstance_5().prologStandard_1 : solverStrategies;
     sideEffectManager = sideEffectManager === VOID ? new SideEffectManagerImpl() : sideEffectManager;
-    this.k3d_1 = unificator;
-    this.l3d_1 = libraries;
-    this.m3d_1 = flags;
-    this.n3d_1 = staticKb;
-    this.o3d_1 = dynamicKb;
-    this.p3d_1 = operators;
-    this.q3d_1 = inputChannels;
-    this.r3d_1 = outputChannels;
-    this.s3d_1 = customData;
-    this.t3d_1 = substitution;
-    this.u3d_1 = startTime;
-    this.v3d_1 = maxDuration;
-    this.w3d_1 = solverStrategies;
-    this.x3d_1 = sideEffectManager;
+    this.unificator_1 = unificator;
+    this.libraries_1 = libraries;
+    this.flags_1 = flags;
+    this.staticKb_1 = staticKb;
+    this.dynamicKb_1 = dynamicKb;
+    this.operators_1 = operators;
+    this.inputChannels_1 = inputChannels;
+    this.outputChannels_1 = outputChannels;
+    this.customData_1 = customData;
+    this.substitution_1 = substitution;
+    this.startTime_1 = startTime;
+    this.maxDuration_1 = maxDuration;
+    this.solverStrategies_1 = solverStrategies;
+    this.sideEffectManager_1 = sideEffectManager;
     var tmp = this;
-    tmp.y3d_1 = lazy(StreamsExecutionContext$logicStackTrace$delegate$lambda(this));
+    tmp.logicStackTrace$delegate_1 = lazy(StreamsExecutionContext$logicStackTrace$delegate$lambda(this));
   }
-  protoOf(StreamsExecutionContext).u1k = function () {
-    return this.k3d_1;
+  protoOf(StreamsExecutionContext).get_unificator_xw6v3j_k$ = function () {
+    return this.unificator_1;
   };
-  protoOf(StreamsExecutionContext).r1u = function () {
-    return this.l3d_1;
+  protoOf(StreamsExecutionContext).get_libraries_lyf10w_k$ = function () {
+    return this.libraries_1;
   };
-  protoOf(StreamsExecutionContext).s1u = function () {
-    return this.m3d_1;
+  protoOf(StreamsExecutionContext).get_flags_irfhb2_k$ = function () {
+    return this.flags_1;
   };
-  protoOf(StreamsExecutionContext).t1u = function () {
-    return this.n3d_1;
+  protoOf(StreamsExecutionContext).get_staticKb_a01l1u_k$ = function () {
+    return this.staticKb_1;
   };
-  protoOf(StreamsExecutionContext).u1u = function () {
-    return this.o3d_1;
+  protoOf(StreamsExecutionContext).get_dynamicKb_wvqg8j_k$ = function () {
+    return this.dynamicKb_1;
   };
-  protoOf(StreamsExecutionContext).a1v = function () {
-    return this.p3d_1;
+  protoOf(StreamsExecutionContext).get_operators_z0nmfu_k$ = function () {
+    return this.operators_1;
   };
-  protoOf(StreamsExecutionContext).v1u = function () {
-    return this.q3d_1;
+  protoOf(StreamsExecutionContext).get_inputChannels_uyf05t_k$ = function () {
+    return this.inputChannels_1;
   };
-  protoOf(StreamsExecutionContext).w1u = function () {
-    return this.r3d_1;
+  protoOf(StreamsExecutionContext).get_outputChannels_ffvoca_k$ = function () {
+    return this.outputChannels_1;
   };
-  protoOf(StreamsExecutionContext).p1u = function () {
-    return this.s3d_1;
+  protoOf(StreamsExecutionContext).get_customData_oovbd0_k$ = function () {
+    return this.customData_1;
   };
-  protoOf(StreamsExecutionContext).n1u = function () {
-    return this.t3d_1;
+  protoOf(StreamsExecutionContext).get_substitution_i7fi9y_k$ = function () {
+    return this.substitution_1;
   };
-  protoOf(StreamsExecutionContext).h1u = function () {
-    return this.u3d_1;
+  protoOf(StreamsExecutionContext).get_startTime_qp7d5m_k$ = function () {
+    return this.startTime_1;
   };
-  protoOf(StreamsExecutionContext).j1u = function () {
-    return this.v3d_1;
+  protoOf(StreamsExecutionContext).get_maxDuration_ek6oxb_k$ = function () {
+    return this.maxDuration_1;
   };
-  protoOf(StreamsExecutionContext).m1u = function () {
+  protoOf(StreamsExecutionContext).get_procedure_9lj7py_k$ = function () {
     // Inline function 'kotlin.collections.map' call
-    var this_0 = this.x3d_1.c3e_1;
+    var this_0 = this.sideEffectManager_1.logicalParentRequests_1;
     // Inline function 'kotlin.collections.mapTo' call
     var destination = ArrayList_init_$Create$_0(collectionSizeOrDefault(this_0, 10));
-    var _iterator__ex2g4s = this_0.n();
-    while (_iterator__ex2g4s.q()) {
-      var item = _iterator__ex2g4s.r();
-      var tmp$ret$2 = item.q1v();
-      destination.l(tmp$ret$2);
+    var _iterator__ex2g4s = this_0.iterator_jk1svi_k$();
+    while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
+      var item = _iterator__ex2g4s.next_20eer_k$();
+      var tmp$ret$2 = item.get_query_ixn1y7_k$();
+      destination.add_utx5q5_k$(tmp$ret$2);
     }
     return firstOrNull(destination);
   };
-  protoOf(StreamsExecutionContext).o1u = function () {
-    var tmp0 = this.y3d_1;
+  protoOf(StreamsExecutionContext).get_logicStackTrace_2ngtyq_k$ = function () {
+    var tmp0 = this.logicStackTrace$delegate_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     getPropertyCallableRef('logicStackTrace', 1, tmp, StreamsExecutionContext$_get_logicStackTrace_$ref_tj4lit(), null);
-    return tmp0.f2();
+    return tmp0.get_value_j01efc_k$();
   };
-  protoOf(StreamsExecutionContext).q1u = function (unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels) {
+  protoOf(StreamsExecutionContext).createSolver_k5yu55_k$ = function (unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels) {
     return new StreamsSolver(unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels);
   };
   protoOf(StreamsExecutionContext).createSolver = function (unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, $super) {
     return this.createSolver(unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, ($super == null ? true : $super instanceof StreamsExecutionContext) ? $super : THROW_CCE());
   };
-  protoOf(StreamsExecutionContext).x1u = function (unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels) {
+  protoOf(StreamsExecutionContext).createMutableSolver_qlofgr_k$ = function (unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels) {
     // Inline function 'kotlin.TODO' call
     var reason = 'Not yet implemented';
     throw new NotImplementedError('An operation is not implemented: ' + reason);
@@ -931,71 +931,71 @@
   protoOf(StreamsExecutionContext).createMutableSolver = function (unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, $super) {
     return this.createMutableSolver(unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, ($super == null ? true : $super instanceof StreamsExecutionContext) ? $super : THROW_CCE());
   };
-  protoOf(StreamsExecutionContext).y30 = function (sideEffect) {
+  protoOf(StreamsExecutionContext).apply_xpzu4e_k$ = function (sideEffect) {
     var tmp = apply.call(this, sideEffect);
     return tmp instanceof StreamsExecutionContext ? tmp : THROW_CCE();
   };
   protoOf(StreamsExecutionContext).apply = function (sideEffect) {
-    return this.y30(sideEffect);
+    return this.apply_xpzu4e_k$(sideEffect);
   };
-  protoOf(StreamsExecutionContext).z30 = function (sideEffects) {
+  protoOf(StreamsExecutionContext).applyIterable_lkplre_k$ = function (sideEffects) {
     var tmp = applyIterable.call(this, sideEffects);
     return tmp instanceof StreamsExecutionContext ? tmp : THROW_CCE();
   };
   protoOf(StreamsExecutionContext).applyIterable = function (sideEffects) {
-    return this.z30(sideEffects);
+    return this.applyIterable_lkplre_k$(sideEffects);
   };
-  protoOf(StreamsExecutionContext).a31 = function (sideEffects) {
+  protoOf(StreamsExecutionContext).applySequence_5ojcmh_k$ = function (sideEffects) {
     var tmp = applySequence.call(this, sideEffects);
     return tmp instanceof StreamsExecutionContext ? tmp : THROW_CCE();
   };
   protoOf(StreamsExecutionContext).applySequence = function (sideEffects) {
-    return this.a31(sideEffects);
+    return this.applySequence_5ojcmh_k$(sideEffects);
   };
-  protoOf(StreamsExecutionContext).z1u = function (unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData) {
-    return this.t3e(unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData);
+  protoOf(StreamsExecutionContext).update_7gpjus_k$ = function (unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData) {
+    return this.copy$default_91c9pl_k$(unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData);
   };
   protoOf(StreamsExecutionContext).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 StreamsExecutionContext) ? $super : THROW_CCE());
   };
-  protoOf(StreamsExecutionContext).j3f = function (unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, startTime, maxDuration, solverStrategies, sideEffectManager) {
+  protoOf(StreamsExecutionContext).copy_udue3v_k$ = function (unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, startTime, maxDuration, solverStrategies, sideEffectManager) {
     return new StreamsExecutionContext(unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, startTime, maxDuration, solverStrategies, sideEffectManager);
   };
-  protoOf(StreamsExecutionContext).t3e = function (unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, startTime, maxDuration, solverStrategies, sideEffectManager, $super) {
-    unificator = unificator === VOID ? this.k3d_1 : unificator;
-    libraries = libraries === VOID ? this.l3d_1 : libraries;
-    flags = flags === VOID ? this.m3d_1 : flags;
-    staticKb = staticKb === VOID ? this.n3d_1 : staticKb;
-    dynamicKb = dynamicKb === VOID ? this.o3d_1 : dynamicKb;
-    operators = operators === VOID ? this.p3d_1 : operators;
-    inputChannels = inputChannels === VOID ? this.q3d_1 : inputChannels;
-    outputChannels = outputChannels === VOID ? this.r3d_1 : outputChannels;
-    customData = customData === VOID ? this.s3d_1 : customData;
-    substitution = substitution === VOID ? this.t3d_1 : substitution;
-    startTime = startTime === VOID ? this.u3d_1 : startTime;
-    maxDuration = maxDuration === VOID ? this.v3d_1 : maxDuration;
-    solverStrategies = solverStrategies === VOID ? this.w3d_1 : solverStrategies;
-    sideEffectManager = sideEffectManager === VOID ? this.x3d_1 : sideEffectManager;
-    return $super === VOID ? this.j3f(unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, startTime, maxDuration, solverStrategies, sideEffectManager) : $super.j3f.call(this, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, startTime, maxDuration, solverStrategies, sideEffectManager);
+  protoOf(StreamsExecutionContext).copy$default_91c9pl_k$ = function (unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, startTime, maxDuration, solverStrategies, sideEffectManager, $super) {
+    unificator = unificator === VOID ? this.unificator_1 : unificator;
+    libraries = libraries === VOID ? this.libraries_1 : libraries;
+    flags = flags === VOID ? this.flags_1 : flags;
+    staticKb = staticKb === VOID ? this.staticKb_1 : staticKb;
+    dynamicKb = dynamicKb === VOID ? this.dynamicKb_1 : dynamicKb;
+    operators = operators === VOID ? this.operators_1 : operators;
+    inputChannels = inputChannels === VOID ? this.inputChannels_1 : inputChannels;
+    outputChannels = outputChannels === VOID ? this.outputChannels_1 : outputChannels;
+    customData = customData === VOID ? this.customData_1 : customData;
+    substitution = substitution === VOID ? this.substitution_1 : substitution;
+    startTime = startTime === VOID ? this.startTime_1 : startTime;
+    maxDuration = maxDuration === VOID ? this.maxDuration_1 : maxDuration;
+    solverStrategies = solverStrategies === VOID ? this.solverStrategies_1 : solverStrategies;
+    sideEffectManager = sideEffectManager === VOID ? this.sideEffectManager_1 : sideEffectManager;
+    return $super === VOID ? this.copy_udue3v_k$(unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, startTime, maxDuration, solverStrategies, sideEffectManager) : $super.copy_udue3v_k$.call(this, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, startTime, maxDuration, solverStrategies, sideEffectManager);
   };
   protoOf(StreamsExecutionContext).toString = function () {
-    return 'StreamsExecutionContext(unificator=' + toString(this.k3d_1) + ', libraries=' + toString(this.l3d_1) + ', flags=' + this.m3d_1.toString() + ', staticKb=' + toString(this.n3d_1) + ', dynamicKb=' + toString(this.o3d_1) + ', operators=' + this.p3d_1.toString() + ', inputChannels=' + toString(this.q3d_1) + ', outputChannels=' + toString(this.r3d_1) + ', customData=' + this.s3d_1.toString() + ', substitution=' + toString(this.t3d_1) + ', startTime=' + this.u3d_1.toString() + ', maxDuration=' + this.v3d_1.toString() + ', solverStrategies=' + toString(this.w3d_1) + ', sideEffectManager=' + this.x3d_1.toString() + ')';
+    return 'StreamsExecutionContext(unificator=' + toString(this.unificator_1) + ', libraries=' + toString(this.libraries_1) + ', flags=' + this.flags_1.toString() + ', staticKb=' + toString(this.staticKb_1) + ', dynamicKb=' + toString(this.dynamicKb_1) + ', operators=' + this.operators_1.toString() + ', inputChannels=' + toString(this.inputChannels_1) + ', outputChannels=' + toString(this.outputChannels_1) + ', customData=' + this.customData_1.toString() + ', substitution=' + toString(this.substitution_1) + ', startTime=' + this.startTime_1.toString() + ', maxDuration=' + this.maxDuration_1.toString() + ', solverStrategies=' + toString(this.solverStrategies_1) + ', sideEffectManager=' + this.sideEffectManager_1.toString() + ')';
   };
   protoOf(StreamsExecutionContext).hashCode = function () {
-    var result = hashCode(this.k3d_1);
-    result = imul(result, 31) + hashCode(this.l3d_1) | 0;
-    result = imul(result, 31) + this.m3d_1.hashCode() | 0;
-    result = imul(result, 31) + hashCode(this.n3d_1) | 0;
-    result = imul(result, 31) + hashCode(this.o3d_1) | 0;
-    result = imul(result, 31) + this.p3d_1.hashCode() | 0;
-    result = imul(result, 31) + hashCode(this.q3d_1) | 0;
-    result = imul(result, 31) + hashCode(this.r3d_1) | 0;
-    result = imul(result, 31) + this.s3d_1.hashCode() | 0;
-    result = imul(result, 31) + hashCode(this.t3d_1) | 0;
-    result = imul(result, 31) + getBigIntHashCode(this.u3d_1) | 0;
-    result = imul(result, 31) + getBigIntHashCode(this.v3d_1) | 0;
-    result = imul(result, 31) + hashCode(this.w3d_1) | 0;
-    result = imul(result, 31) + this.x3d_1.hashCode() | 0;
+    var result = hashCode(this.unificator_1);
+    result = imul(result, 31) + hashCode(this.libraries_1) | 0;
+    result = imul(result, 31) + this.flags_1.hashCode() | 0;
+    result = imul(result, 31) + hashCode(this.staticKb_1) | 0;
+    result = imul(result, 31) + hashCode(this.dynamicKb_1) | 0;
+    result = imul(result, 31) + this.operators_1.hashCode() | 0;
+    result = imul(result, 31) + hashCode(this.inputChannels_1) | 0;
+    result = imul(result, 31) + hashCode(this.outputChannels_1) | 0;
+    result = imul(result, 31) + this.customData_1.hashCode() | 0;
+    result = imul(result, 31) + hashCode(this.substitution_1) | 0;
+    result = imul(result, 31) + getBigIntHashCode(this.startTime_1) | 0;
+    result = imul(result, 31) + getBigIntHashCode(this.maxDuration_1) | 0;
+    result = imul(result, 31) + hashCode(this.solverStrategies_1) | 0;
+    result = imul(result, 31) + this.sideEffectManager_1.hashCode() | 0;
     return result;
   };
   protoOf(StreamsExecutionContext).equals = function (other) {
@@ -1003,62 +1003,62 @@
       return true;
     if (!(other instanceof StreamsExecutionContext))
       return false;
-    if (!equals(this.k3d_1, other.k3d_1))
+    if (!equals(this.unificator_1, other.unificator_1))
       return false;
-    if (!equals(this.l3d_1, other.l3d_1))
+    if (!equals(this.libraries_1, other.libraries_1))
       return false;
-    if (!this.m3d_1.equals(other.m3d_1))
+    if (!this.flags_1.equals(other.flags_1))
       return false;
-    if (!equals(this.n3d_1, other.n3d_1))
+    if (!equals(this.staticKb_1, other.staticKb_1))
       return false;
-    if (!equals(this.o3d_1, other.o3d_1))
+    if (!equals(this.dynamicKb_1, other.dynamicKb_1))
       return false;
-    if (!this.p3d_1.equals(other.p3d_1))
+    if (!this.operators_1.equals(other.operators_1))
       return false;
-    if (!equals(this.q3d_1, other.q3d_1))
+    if (!equals(this.inputChannels_1, other.inputChannels_1))
       return false;
-    if (!equals(this.r3d_1, other.r3d_1))
+    if (!equals(this.outputChannels_1, other.outputChannels_1))
       return false;
-    if (!this.s3d_1.equals(other.s3d_1))
+    if (!this.customData_1.equals(other.customData_1))
       return false;
-    if (!equals(this.t3d_1, other.t3d_1))
+    if (!equals(this.substitution_1, other.substitution_1))
       return false;
-    if (!(this.u3d_1 === other.u3d_1))
+    if (!(this.startTime_1 === other.startTime_1))
       return false;
-    if (!(this.v3d_1 === other.v3d_1))
+    if (!(this.maxDuration_1 === other.maxDuration_1))
       return false;
-    if (!equals(this.w3d_1, other.w3d_1))
+    if (!equals(this.solverStrategies_1, other.solverStrategies_1))
       return false;
-    if (!this.x3d_1.equals(other.x3d_1))
+    if (!this.sideEffectManager_1.equals(other.sideEffectManager_1))
       return false;
     return true;
   };
   function getSideEffectManager(_this__u8e3s4) {
     var tmp0_safe_receiver = _this__u8e3s4 instanceof StreamsExecutionContext ? _this__u8e3s4 : null;
-    return tmp0_safe_receiver == null ? null : tmp0_safe_receiver.x3d_1;
+    return tmp0_safe_receiver == null ? null : tmp0_safe_receiver.sideEffectManager_1;
   }
   function AbstractState(solve) {
-    this.k3f_1 = solve;
-    this.l3f_1 = false;
+    this.solve_1 = solve;
+    this.hasBehaved_1 = false;
   }
-  protoOf(AbstractState).m3f = function () {
-    return this.l3f_1;
+  protoOf(AbstractState).get_hasBehaved_9ntkx4_k$ = function () {
+    return this.hasBehaved_1;
   };
   function AlreadyExecutedState(wrappedState) {
-    this.o3f_1 = wrappedState;
-    this.p3f_1 = true;
+    this.wrappedState_1 = wrappedState;
+    this.hasBehaved_1 = true;
   }
-  protoOf(AlreadyExecutedState).m3f = function () {
-    return this.p3f_1;
+  protoOf(AlreadyExecutedState).get_hasBehaved_9ntkx4_k$ = function () {
+    return this.hasBehaved_1;
   };
   protoOf(AlreadyExecutedState).toString = function () {
-    return 'AlreadyExecutedState of: ' + toString(this.o3f_1);
+    return 'AlreadyExecutedState of: ' + toString(this.wrappedState_1);
   };
-  protoOf(AlreadyExecutedState).n3f = function () {
-    return this.o3f_1.n3f();
+  protoOf(AlreadyExecutedState).behave_n19dxx_k$ = function () {
+    return this.wrappedState_1.behave_n19dxx_k$();
   };
-  protoOf(AlreadyExecutedState).i8 = function () {
-    return this.o3f_1.i8();
+  protoOf(AlreadyExecutedState).get_context_h02k06_k$ = function () {
+    return this.wrappedState_1.get_context_h02k06_k$();
   };
   function asAlreadyExecuted(_this__u8e3s4) {
     var tmp0_safe_receiver = _this__u8e3s4 instanceof AlreadyExecutedState ? _this__u8e3s4 : null;
@@ -1078,7 +1078,7 @@
   }
   function internalExecute($this, state) {
     var tmp;
-    if (state.m3f()) {
+    if (state.get_hasBehaved_9ntkx4_k$()) {
       tmp = sequenceOf(state);
     } else {
       tmp = sequence(StateMachineExecutor$internalExecute$slambda_0(state, null));
@@ -1086,92 +1086,92 @@
     return tmp;
   }
   function StateMachineExecutor$execute$lambda(it) {
-    return StateMachineExecutor_instance.q3f(it);
+    return StateMachineExecutor_instance.unwrapIfNeeded_6aqy46_k$(it);
   }
   function StateMachineExecutor$executeWrapping$lambda(it) {
     return asAlreadyExecuted(it);
   }
   function StateMachineExecutor$internalExecute$slambda($state, resultContinuation) {
-    this.z3f_1 = $state;
+    this.$state_1 = $state;
     CoroutineImpl.call(this, resultContinuation);
   }
-  protoOf(StateMachineExecutor$internalExecute$slambda).c3g = function ($this$sequence, $completion) {
-    var tmp = this.d3g($this$sequence, $completion);
-    tmp.e8_1 = Unit_instance;
-    tmp.f8_1 = null;
-    return tmp.k8();
+  protoOf(StateMachineExecutor$internalExecute$slambda).invoke_7thwuq_k$ = function ($this$sequence, $completion) {
+    var tmp = this.create_od0806_k$($this$sequence, $completion);
+    tmp.result_1 = Unit_instance;
+    tmp.exception_1 = null;
+    return tmp.doResume_5yljmg_k$();
   };
-  protoOf(StateMachineExecutor$internalExecute$slambda).b9 = function (p1, $completion) {
-    return this.c3g(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
+  protoOf(StateMachineExecutor$internalExecute$slambda).invoke_qns8j1_k$ = function (p1, $completion) {
+    return this.invoke_7thwuq_k$(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
   };
-  protoOf(StateMachineExecutor$internalExecute$slambda).k8 = function () {
-    var suspendResult = this.e8_1;
+  protoOf(StateMachineExecutor$internalExecute$slambda).doResume_5yljmg_k$ = function () {
+    var suspendResult = this.result_1;
     $sm: do
       try {
-        var tmp = this.c8_1;
+        var tmp = this.state_1;
         switch (tmp) {
           case 0:
-            this.d8_1 = 5;
-            this.c8_1 = 1;
-            suspendResult = this.a3g_1.cd(this.z3f_1, this);
+            this.exceptionState_1 = 5;
+            this.state_1 = 1;
+            suspendResult = this.$this$sequence_1.yield_3xhcex_k$(this.$state_1, this);
             if (suspendResult === get_COROUTINE_SUSPENDED()) {
               return suspendResult;
             }
 
             continue $sm;
           case 1:
-            this.b3g_1 = this.z3f_1.n3f().n();
-            this.c8_1 = 2;
+            this._iterator_0_yqohr0__1 = this.$state_1.behave_n19dxx_k$().iterator_jk1svi_k$();
+            this.state_1 = 2;
             continue $sm;
           case 2:
-            if (!this.b3g_1.q()) {
-              this.c8_1 = 4;
+            if (!this._iterator_0_yqohr0__1.hasNext_bitz1p_k$()) {
+              this.state_1 = 4;
               continue $sm;
             }
 
-            var element = this.b3g_1.r();
-            this.c8_1 = 3;
-            suspendResult = this.a3g_1.fd(internalExecute(StateMachineExecutor_instance, element), this);
+            var element = this._iterator_0_yqohr0__1.next_20eer_k$();
+            this.state_1 = 3;
+            suspendResult = this.$this$sequence_1.yieldAll_h63j2x_k$(internalExecute(StateMachineExecutor_instance, element), this);
             if (suspendResult === get_COROUTINE_SUSPENDED()) {
               return suspendResult;
             }
 
             continue $sm;
           case 3:
-            this.c8_1 = 2;
+            this.state_1 = 2;
             continue $sm;
           case 4:
             return Unit_instance;
           case 5:
-            throw this.f8_1;
+            throw this.exception_1;
         }
       } catch ($p) {
         var e = $p;
-        if (this.d8_1 === 5) {
+        if (this.exceptionState_1 === 5) {
           throw e;
         } else {
-          this.c8_1 = this.d8_1;
-          this.f8_1 = e;
+          this.state_1 = this.exceptionState_1;
+          this.exception_1 = e;
         }
       }
      while (true);
   };
-  protoOf(StateMachineExecutor$internalExecute$slambda).d3g = function ($this$sequence, completion) {
-    var i = new StateMachineExecutor$internalExecute$slambda(this.z3f_1, completion);
-    i.a3g_1 = $this$sequence;
+  protoOf(StateMachineExecutor$internalExecute$slambda).create_od0806_k$ = function ($this$sequence, completion) {
+    var i = new StateMachineExecutor$internalExecute$slambda(this.$state_1, completion);
+    i.$this$sequence_1 = $this$sequence;
     return i;
   };
   function StateMachineExecutor$internalExecute$slambda_0($state, resultContinuation) {
     var i = new StateMachineExecutor$internalExecute$slambda($state, resultContinuation);
     return constructCallableReference(function ($this$sequence, $completion) {
-      return i.c3g($this$sequence, $completion);
+      return i.invoke_7thwuq_k$($this$sequence, $completion);
     }, 1);
   }
   function StateMachineExecutor() {
   }
-  protoOf(StateMachineExecutor).h3d = function (state) {
+  protoOf(StateMachineExecutor).execute_tri2km_k$ = function (state) {
     var tmp;
-    if (state.m3f()) {
+    if (state.get_hasBehaved_9ntkx4_k$()) {
       tmp = emptySequence();
     } else {
       var tmp_0 = drop_0(internalExecute(this, state), 1);
@@ -1179,14 +1179,14 @@
     }
     return tmp;
   };
-  protoOf(StateMachineExecutor).e3g = function (state) {
-    var tmp = this.h3d(state);
+  protoOf(StateMachineExecutor).executeWrapping_k0nhak_k$ = function (state) {
+    var tmp = this.execute_tri2km_k$(state);
     return map(tmp, StateMachineExecutor$executeWrapping$lambda);
   };
-  protoOf(StateMachineExecutor).q3f = function (_this__u8e3s4) {
+  protoOf(StateMachineExecutor).unwrapIfNeeded_6aqy46_k$ = function (_this__u8e3s4) {
     var tmp;
     if (_this__u8e3s4 instanceof AlreadyExecutedState) {
-      tmp = _this__u8e3s4.o3f_1;
+      tmp = _this__u8e3s4.wrappedState_1;
     } else {
       tmp = _this__u8e3s4;
     }
@@ -1198,18 +1198,18 @@
   }
   function StateMachineExecutor$executeWrapping$ref(p0) {
     return constructCallableReference(function (p0_0) {
-      return p0.e3g(p0_0);
-    }, 1, 0, 97, 'executeWrapping', [p0]);
+      return p0.executeWrapping_k0nhak_k$(p0_0);
+    }, 1, 0, 174, 'executeWrapping', [p0]);
   }
   function statEndHaltTimeout($this, $receiver) {
-    return stateEndHalt($receiver, TimeOutException_init_$Create$('Given time for `' + $receiver.f3d().q1v().toString() + '` computation (' + $receiver.f3d().q28_1.toString() + ") wasn't enough for completion", VOID, $receiver.f3d().context, $receiver.f3d().q28_1), VOID, []);
+    return stateEndHalt($receiver, TimeOutException_init_$Create$('Given time for `' + $receiver.get_solve_iymyhi_k$().get_query_ixn1y7_k$().toString() + '` computation (' + $receiver.get_solve_iymyhi_k$().maxDuration_1.toString() + ") wasn't enough for completion", VOID, $receiver.get_solve_iymyhi_k$().context, $receiver.get_solve_iymyhi_k$().maxDuration_1), VOID, []);
   }
   function _get_stateCurrentTime__3c8uza($this) {
-    var tmp0 = $this.i3g_1;
+    var tmp0 = $this.stateCurrentTime$delegate_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     getPropertyCallableRef('stateCurrentTime', 1, tmp, AbstractTimedState$_get_stateCurrentTime_$ref_pw5vcd(), null);
-    return tmp0.f2();
+    return tmp0.get_value_j01efc_k$();
   }
   function timeIsOver($this, currentDuration, maxDuration) {
     return currentDuration >= maxDuration;
@@ -1226,52 +1226,52 @@
   function AbstractTimedState$_get_stateCurrentTime_$ref_pw5vcd() {
     return constructCallableReference(function (p0) {
       return _get_stateCurrentTime__3c8uza(p0);
-    }, 1, 0, 98);
+    }, 1, 0, 175);
   }
   function AbstractTimedState(solve) {
     AbstractState.call(this, solve);
-    this.h3g_1 = solve;
+    this.solve_2 = solve;
     var tmp = this;
-    tmp.i3g_1 = lazy(AbstractTimedState$stateCurrentTime$delegate$lambda);
+    tmp.stateCurrentTime$delegate_1 = lazy(AbstractTimedState$stateCurrentTime$delegate$lambda);
   }
-  protoOf(AbstractTimedState).f3d = function () {
-    return this.h3g_1;
+  protoOf(AbstractTimedState).get_solve_iymyhi_k$ = function () {
+    return this.solve_2;
   };
-  protoOf(AbstractTimedState).n3f = function () {
-    return this.f3d().q28_1 === 9223372036854775807n ? this.j3g() : timeIsOver(this, subtract(_get_stateCurrentTime__3c8uza(this), this.f3d().p28_1), this.f3d().q28_1) ? sequenceOf(statEndHaltTimeout(Companion_instance_12, this)) : this.j3g();
+  protoOf(AbstractTimedState).behave_n19dxx_k$ = function () {
+    return this.get_solve_iymyhi_k$().maxDuration_1 === 9223372036854775807n ? this.behaveTimed_3b7a30_k$() : timeIsOver(this, subtract(_get_stateCurrentTime__3c8uza(this), this.get_solve_iymyhi_k$().startTime_1), this.get_solve_iymyhi_k$().maxDuration_1) ? sequenceOf(statEndHaltTimeout(Companion_instance_12, this)) : this.behaveTimed_3b7a30_k$();
   };
-  protoOf(AbstractTimedState).k3g = function (_this__u8e3s4, toYieldState) {
-    return timeIsOver(this, subtract(currentTimeInstant(), _this__u8e3s4.f3d().p28_1), _this__u8e3s4.f3d().q28_1) ? statEndHaltTimeout(Companion_instance_12, _this__u8e3s4) : toYieldState;
+  protoOf(AbstractTimedState).ifTimeIsNotOver_dx6dah_k$ = function (_this__u8e3s4, toYieldState) {
+    return timeIsOver(this, subtract(currentTimeInstant(), _this__u8e3s4.get_solve_iymyhi_k$().startTime_1), _this__u8e3s4.get_solve_iymyhi_k$().maxDuration_1) ? statEndHaltTimeout(Companion_instance_12, _this__u8e3s4) : toYieldState;
   };
   protoOf(AbstractTimedState).toString = function () {
-    return toString(getKClassFromExpression(this)) + ' with ' + this.f3d().toString();
+    return toString(getKClassFromExpression(this)) + ' with ' + this.get_solve_iymyhi_k$().toString();
   };
   function StateEnd$Halt$exception$delegate$lambda(this$0) {
     return function () {
-      var tmp = this$0.r3g_1.solution;
-      return (isInterface(tmp, Halt) ? tmp : THROW_CCE()).t1v();
+      var tmp = this$0.solve_3.solution;
+      return (isInterface(tmp, Halt) ? tmp : THROW_CCE()).get_exception_x0n6w6_k$();
     };
   }
   function True(sourceContext, solve) {
     StateEnd.call(this, sourceContext, solve);
-    this.y3g_1 = sourceContext;
-    this.z3g_1 = solve;
-    var tmp = this.z3g_1.solution;
+    this.sourceContext_2 = sourceContext;
+    this.solve_3 = solve;
+    var tmp = this.solve_3.solution;
     // Inline function 'kotlin.require' call
     if (!isInterface(tmp, Yes)) {
-      var message = 'True end state can be created only with Solution.Yes. Current: `' + toString(this.z3g_1.solution) + '`';
+      var message = 'True end state can be created only with Solution.Yes. Current: `' + toString(this.solve_3.solution) + '`';
       throw IllegalArgumentException_init_$Create$(toString(message));
     }
   }
-  protoOf(True).f3d = function () {
-    return this.z3g_1;
+  protoOf(True).get_solve_iymyhi_k$ = function () {
+    return this.solve_3;
   };
   protoOf(True).toString = function () {
-    return 'True(sourceContext=' + toString(this.y3g_1) + ', solve=' + this.z3g_1.toString() + ')';
+    return 'True(sourceContext=' + toString(this.sourceContext_2) + ', solve=' + this.solve_3.toString() + ')';
   };
   protoOf(True).hashCode = function () {
-    var result = hashCode(this.y3g_1);
-    result = imul(result, 31) + this.z3g_1.hashCode() | 0;
+    var result = hashCode(this.sourceContext_2);
+    result = imul(result, 31) + this.solve_3.hashCode() | 0;
     return result;
   };
   protoOf(True).equals = function (other) {
@@ -1279,32 +1279,32 @@
       return true;
     if (!(other instanceof True))
       return false;
-    if (!equals(this.y3g_1, other.y3g_1))
+    if (!equals(this.sourceContext_2, other.sourceContext_2))
       return false;
-    if (!this.z3g_1.equals(other.z3g_1))
+    if (!this.solve_3.equals(other.solve_3))
       return false;
     return true;
   };
   function False(sourceContext, solve) {
     StateEnd.call(this, sourceContext, solve);
-    this.k3h_1 = sourceContext;
-    this.l3h_1 = solve;
-    var tmp = this.l3h_1.solution;
+    this.sourceContext_2 = sourceContext;
+    this.solve_3 = solve;
+    var tmp = this.solve_3.solution;
     // Inline function 'kotlin.require' call
     if (!isInterface(tmp, No)) {
-      var message = 'False end state can be created only with Solution.No. Current: `' + toString(this.l3h_1.solution) + '`';
+      var message = 'False end state can be created only with Solution.No. Current: `' + toString(this.solve_3.solution) + '`';
       throw IllegalArgumentException_init_$Create$(toString(message));
     }
   }
-  protoOf(False).f3d = function () {
-    return this.l3h_1;
+  protoOf(False).get_solve_iymyhi_k$ = function () {
+    return this.solve_3;
   };
   protoOf(False).toString = function () {
-    return 'False(sourceContext=' + toString(this.k3h_1) + ', solve=' + this.l3h_1.toString() + ')';
+    return 'False(sourceContext=' + toString(this.sourceContext_2) + ', solve=' + this.solve_3.toString() + ')';
   };
   protoOf(False).hashCode = function () {
-    var result = hashCode(this.k3h_1);
-    result = imul(result, 31) + this.l3h_1.hashCode() | 0;
+    var result = hashCode(this.sourceContext_2);
+    result = imul(result, 31) + this.solve_3.hashCode() | 0;
     return result;
   };
   protoOf(False).equals = function (other) {
@@ -1312,34 +1312,34 @@
       return true;
     if (!(other instanceof False))
       return false;
-    if (!equals(this.k3h_1, other.k3h_1))
+    if (!equals(this.sourceContext_2, other.sourceContext_2))
       return false;
-    if (!this.l3h_1.equals(other.l3h_1))
+    if (!this.solve_3.equals(other.solve_3))
       return false;
     return true;
   };
   function Halt_0(sourceContext, solve) {
     StateEnd.call(this, sourceContext, solve);
-    this.q3g_1 = sourceContext;
-    this.r3g_1 = solve;
-    var tmp = this.r3g_1.solution;
+    this.sourceContext_2 = sourceContext;
+    this.solve_3 = solve;
+    var tmp = this.solve_3.solution;
     // Inline function 'kotlin.require' call
     if (!isInterface(tmp, Halt)) {
-      var message = 'Halt end state can be created only with Solution.Halt. Current: `' + toString(this.r3g_1.solution) + '`';
+      var message = 'Halt end state can be created only with Solution.Halt. Current: `' + toString(this.solve_3.solution) + '`';
       throw IllegalArgumentException_init_$Create$(toString(message));
     }
     var tmp_0 = this;
-    tmp_0.s3g_1 = lazy(StateEnd$Halt$exception$delegate$lambda(this));
+    tmp_0.exception$delegate_1 = lazy(StateEnd$Halt$exception$delegate$lambda(this));
   }
-  protoOf(Halt_0).f3d = function () {
-    return this.r3g_1;
+  protoOf(Halt_0).get_solve_iymyhi_k$ = function () {
+    return this.solve_3;
   };
   protoOf(Halt_0).toString = function () {
-    return 'Halt(sourceContext=' + toString(this.q3g_1) + ', solve=' + this.r3g_1.toString() + ')';
+    return 'Halt(sourceContext=' + toString(this.sourceContext_2) + ', solve=' + this.solve_3.toString() + ')';
   };
   protoOf(Halt_0).hashCode = function () {
-    var result = hashCode(this.q3g_1);
-    result = imul(result, 31) + this.r3g_1.hashCode() | 0;
+    var result = hashCode(this.sourceContext_2);
+    result = imul(result, 31) + this.solve_3.hashCode() | 0;
     return result;
   };
   protoOf(Halt_0).equals = function (other) {
@@ -1347,63 +1347,63 @@
       return true;
     if (!(other instanceof Halt_0))
       return false;
-    if (!equals(this.q3g_1, other.q3g_1))
+    if (!equals(this.sourceContext_2, other.sourceContext_2))
       return false;
-    if (!this.r3g_1.equals(other.r3g_1))
+    if (!this.solve_3.equals(other.solve_3))
       return false;
     return true;
   };
   function StateEnd$context$delegate$lambda(this$0) {
     return function () {
-      var tmp = this$0.f3d().solution.n1u();
+      var tmp = this$0.get_solve_iymyhi_k$().solution.get_substitution_i7fi9y_k$();
       var tmp0_elvis_lhs = isInterface(tmp, Unifier) ? tmp : null;
-      return StreamsExecutionContext_init_$Create$(this$0.c3h_1, tmp0_elvis_lhs == null ? Companion_getInstance_2().empty() : tmp0_elvis_lhs);
+      return StreamsExecutionContext_init_$Create$(this$0.sourceContext_1, tmp0_elvis_lhs == null ? Companion_getInstance_2().empty() : tmp0_elvis_lhs);
     };
   }
   function StateEnd$_get_context_$ref_fll2gn() {
     return constructCallableReference(function (p0) {
-      return p0.i8();
-    }, 1, 0, 99);
+      return p0.get_context_h02k06_k$();
+    }, 1, 0, 176);
   }
   function StateEnd(sourceContext, solve) {
     AbstractState.call(this, solve);
-    this.c3h_1 = sourceContext;
-    this.d3h_1 = solve;
+    this.sourceContext_1 = sourceContext;
+    this.solve_2 = solve;
     var tmp = this;
-    tmp.e3h_1 = lazy(StateEnd$context$delegate$lambda(this));
+    tmp.context$delegate_1 = lazy(StateEnd$context$delegate$lambda(this));
   }
-  protoOf(StateEnd).f3d = function () {
-    return this.d3h_1;
+  protoOf(StateEnd).get_solve_iymyhi_k$ = function () {
+    return this.solve_2;
   };
-  protoOf(StateEnd).n3f = function () {
+  protoOf(StateEnd).behave_n19dxx_k$ = function () {
     return emptySequence();
   };
-  protoOf(StateEnd).i8 = function () {
-    var tmp0 = this.e3h_1;
+  protoOf(StateEnd).get_context_h02k06_k$ = function () {
+    var tmp0 = this.context$delegate_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     getPropertyCallableRef('context', 1, tmp, StateEnd$_get_context_$ref_fll2gn(), null);
-    return tmp0.f2();
+    return tmp0.get_value_j01efc_k$();
   };
   function stateEndTrue(_this__u8e3s4, substitution, sideEffectManager, sideEffects) {
     substitution = substitution === VOID ? Companion_getInstance_2().empty() : substitution;
     sideEffectManager = sideEffectManager === VOID ? null : sideEffectManager;
-    var tmp = _this__u8e3s4.i8();
-    var tmp_0 = _this__u8e3s4.f3d();
-    return new True(tmp, tmp_0.w2g(substitution, sideEffectManager == null ? getSideEffectManager(_this__u8e3s4.f3d().context) : sideEffectManager, sideEffects.slice()));
+    var tmp = _this__u8e3s4.get_context_h02k06_k$();
+    var tmp_0 = _this__u8e3s4.get_solve_iymyhi_k$();
+    return new True(tmp, tmp_0.replySuccess_islsza_k$(substitution, sideEffectManager == null ? getSideEffectManager(_this__u8e3s4.get_solve_iymyhi_k$().context) : sideEffectManager, sideEffects.slice()));
   }
   function stateEndFalse(_this__u8e3s4, sideEffectManager, sideEffects) {
     sideEffectManager = sideEffectManager === VOID ? null : sideEffectManager;
-    var tmp = _this__u8e3s4.i8();
-    var tmp_0 = _this__u8e3s4.f3d();
-    return new False(tmp, tmp_0.x2g(sideEffectManager == null ? getSideEffectManager(_this__u8e3s4.f3d().context) : sideEffectManager, sideEffects.slice()));
+    var tmp = _this__u8e3s4.get_context_h02k06_k$();
+    var tmp_0 = _this__u8e3s4.get_solve_iymyhi_k$();
+    return new False(tmp, tmp_0.replyFail_pts8pu_k$(sideEffectManager == null ? getSideEffectManager(_this__u8e3s4.get_solve_iymyhi_k$().context) : sideEffectManager, sideEffects.slice()));
   }
   function stateEndHalt(_this__u8e3s4, exception, sideEffectManager, sideEffects) {
     sideEffectManager = sideEffectManager === VOID ? null : sideEffectManager;
-    var tmp = _this__u8e3s4.i8();
-    var tmp_0 = _this__u8e3s4.f3d();
-    var tmp1_elvis_lhs = sideEffectManager == null ? getSideEffectManager(exception.i8()) : sideEffectManager;
-    return new Halt_0(tmp, tmp_0.y2g(exception, tmp1_elvis_lhs == null ? getSideEffectManager(_this__u8e3s4.f3d().context) : tmp1_elvis_lhs, sideEffects.slice()));
+    var tmp = _this__u8e3s4.get_context_h02k06_k$();
+    var tmp_0 = _this__u8e3s4.get_solve_iymyhi_k$();
+    var tmp1_elvis_lhs = sideEffectManager == null ? getSideEffectManager(exception.get_context_h02k06_k$()) : sideEffectManager;
+    return new Halt_0(tmp, tmp_0.replyException_y6kgve_k$(exception, tmp1_elvis_lhs == null ? getSideEffectManager(_this__u8e3s4.get_solve_iymyhi_k$().context) : tmp1_elvis_lhs, sideEffects.slice()));
   }
   function stateEnd(_this__u8e3s4, response) {
     // Inline function 'kotlin.with' call
@@ -1421,15 +1421,15 @@
   function stateEnd$lambda($this_stateEnd, $sideEffectManager, $sideEffects) {
     return function (sol) {
       // Inline function 'kotlin.takeUnless' call
-      var this_0 = sol.n1u();
+      var this_0 = sol.get_substitution_i7fi9y_k$();
       var tmp;
-      if (!this_0.h()) {
+      if (!this_0.isEmpty_y1axqb_k$()) {
         tmp = this_0;
       } else {
         tmp = null;
       }
       var tmp0_elvis_lhs = tmp;
-      return stateEndTrue($this_stateEnd, tmp0_elvis_lhs == null ? $this_stateEnd.f3d().context.n1u() : tmp0_elvis_lhs, $sideEffectManager, $sideEffects.slice());
+      return stateEndTrue($this_stateEnd, tmp0_elvis_lhs == null ? $this_stateEnd.get_solve_iymyhi_k$().context.get_substitution_i7fi9y_k$() : tmp0_elvis_lhs, $sideEffectManager, $sideEffects.slice());
     };
   }
   function stateEnd$lambda_0($this_stateEnd, $sideEffectManager, $sideEffects) {
@@ -1439,16 +1439,16 @@
   }
   function stateEnd$lambda_1($this_stateEnd, $sideEffectManager, $sideEffects) {
     return function (it) {
-      return stateEndHalt($this_stateEnd, it.t1v(), $sideEffectManager, $sideEffects.slice());
+      return stateEndHalt($this_stateEnd, it.get_exception_x0n6w6_k$(), $sideEffectManager, $sideEffects.slice());
     };
   }
   function newThrowSolveRequest($this, $receiver, error) {
     var tmp = Companion_getInstance_3();
     // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
     var tmp$ret$0 = Throw_getInstance().signature.name;
-    var tmp_0 = tmp.of(tmp$ret$0, [error.b24()]);
-    var tmp0_elvis_lhs = getSideEffectManager(error.i8());
-    return newSolveRequest($receiver, tmp_0, VOID, VOID, tmp0_elvis_lhs == null ? $receiver.context.x3d_1 : tmp0_elvis_lhs, currentTimeInstant());
+    var tmp_0 = tmp.of(tmp$ret$0, [error.get_errorStruct_5b2a98_k$()]);
+    var tmp0_elvis_lhs = getSideEffectManager(error.get_context_h02k06_k$());
+    return newSolveRequest($receiver, tmp_0, VOID, VOID, tmp0_elvis_lhs == null ? $receiver.context.sideEffectManager_1 : tmp0_elvis_lhs, currentTimeInstant());
   }
   function Companion_2() {
   }
@@ -1457,218 +1457,218 @@
     return Companion_instance_13;
   }
   function StateGoalEvaluation$behaveTimed$slambda(this$0, resultContinuation) {
-    this.u3h_1 = this$0;
+    this.this$0__1 = this$0;
     CoroutineImpl.call(this, resultContinuation);
   }
-  protoOf(StateGoalEvaluation$behaveTimed$slambda).c3g = function ($this$sequence, $completion) {
-    var tmp = this.d3g($this$sequence, $completion);
-    tmp.e8_1 = Unit_instance;
-    tmp.f8_1 = null;
-    return tmp.k8();
+  protoOf(StateGoalEvaluation$behaveTimed$slambda).invoke_7thwuq_k$ = function ($this$sequence, $completion) {
+    var tmp = this.create_od0806_k$($this$sequence, $completion);
+    tmp.result_1 = Unit_instance;
+    tmp.exception_1 = null;
+    return tmp.doResume_5yljmg_k$();
   };
-  protoOf(StateGoalEvaluation$behaveTimed$slambda).b9 = function (p1, $completion) {
-    return this.c3g(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
+  protoOf(StateGoalEvaluation$behaveTimed$slambda).invoke_qns8j1_k$ = function (p1, $completion) {
+    return this.invoke_7thwuq_k$(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
   };
-  protoOf(StateGoalEvaluation$behaveTimed$slambda).k8 = function () {
-    var suspendResult = this.e8_1;
+  protoOf(StateGoalEvaluation$behaveTimed$slambda).doResume_5yljmg_k$ = function () {
+    var suspendResult = this.result_1;
     $sm: do
       try {
-        var tmp = this.c8_1;
+        var tmp = this.state_1;
         switch (tmp) {
           case 0:
-            this.d8_1 = 11;
-            var $this$with = this.u3h_1.i3i_1;
-            var primitive = $this$with.context.l3d_1.e2d().i2($this$with.signature);
+            this.exceptionState_1 = 11;
+            var $this$with = this.this$0__1.solve_3;
+            var primitive = $this$with.context.libraries_1.get_primitives_xl08ol_k$().get_wei43m_k$($this$with.signature);
             if (primitive == null) {
-              this.x3h_1 = null;
-              this.c8_1 = 8;
+              this.WHEN_RESULT1__1 = null;
+              this.state_1 = 8;
               continue $sm;
             } else {
-              this.y3h_1 = primitive;
-              this.y3h_1;
-              this.d3i_1 = null;
-              this.d8_1 = 1;
-              this.d3i_1 = primitive.solve(this.u3h_1.i3i_1);
-              this.d8_1 = 11;
-              this.c8_1 = 3;
+              this.this2__1 = primitive;
+              this.this2__1;
+              this.responses7__1 = null;
+              this.exceptionState_1 = 1;
+              this.responses7__1 = primitive.solve(this.this$0__1.solve_3);
+              this.exceptionState_1 = 11;
+              this.state_1 = 3;
               continue $sm;
             }
 
           case 1:
-            this.d8_1 = 11;
-            var tmp_0 = this.f8_1;
+            this.exceptionState_1 = 11;
+            var tmp_0 = this.exception_1;
             if (tmp_0 instanceof HaltException) {
-              var exception = this.f8_1;
-              this.c8_1 = 2;
-              suspendResult = this.v3h_1.cd(stateEndHalt(this.u3h_1, exception, VOID, []), this);
+              var exception = this.exception_1;
+              this.state_1 = 2;
+              suspendResult = this.$this$sequence_1.yield_3xhcex_k$(stateEndHalt(this.this$0__1, exception, VOID, []), this);
               if (suspendResult === get_COROUTINE_SUSPENDED()) {
                 return suspendResult;
               }
               continue $sm;
             } else {
-              var tmp_1 = this.f8_1;
+              var tmp_1 = this.exception_1;
               if (tmp_1 instanceof LogicError) {
-                var logicError = this.f8_1;
-                this.d3i_1 = Companion_instance_11.i3d(newThrowSolveRequest(Companion_instance_13, this.u3h_1.i3i_1, logicError));
-                this.c8_1 = 3;
+                var logicError = this.exception_1;
+                this.responses7__1 = Companion_instance_11.solveToResponses_lmvh2j_k$(newThrowSolveRequest(Companion_instance_13, this.this$0__1.solve_3, logicError));
+                this.state_1 = 3;
                 continue $sm;
               } else {
-                throw this.f8_1;
+                throw this.exception_1;
               }
             }
 
           case 2:
-            this.c8_1 = 3;
+            this.state_1 = 3;
             continue $sm;
           case 3:
-            this.d8_1 = 11;
-            this.b3i_1 = emptyList();
-            var tmp0_safe_receiver = this.d3i_1;
+            this.exceptionState_1 = 11;
+            this.allSideEffectsSoFar5__1 = emptyList();
+            var tmp0_safe_receiver = this.responses7__1;
             if (tmp0_safe_receiver == null) {
-              this.z3h_1 = null;
-              this.c8_1 = 7;
+              this.WHEN_RESULT3__1 = null;
+              this.state_1 = 7;
               continue $sm;
             } else {
-              this.c3i_1 = tmp0_safe_receiver.n();
-              this.c8_1 = 4;
+              this._iterator_6_yqohr6__1 = tmp0_safe_receiver.iterator_jk1svi_k$();
+              this.state_1 = 4;
               continue $sm;
             }
 
           case 4:
-            if (!this.c3i_1.q()) {
-              this.c8_1 = 6;
+            if (!this._iterator_6_yqohr6__1.hasNext_bitz1p_k$()) {
+              this.state_1 = 6;
               continue $sm;
             }
 
-            var element = this.c3i_1.r();
-            this.a3i_1 = element;
-            this.b3i_1 = addWithNoDuplicates(this.b3i_1, this.a3i_1.sideEffects);
-            this.c8_1 = 5;
-            suspendResult = this.v3h_1.cd(this.u3h_1.k3g(this.u3h_1, stateEnd(this.u3h_1, this.a3i_1.q2h(VOID, VOID, this.b3i_1))), this);
+            var element = this._iterator_6_yqohr6__1.next_20eer_k$();
+            this.it4__1 = element;
+            this.allSideEffectsSoFar5__1 = addWithNoDuplicates(this.allSideEffectsSoFar5__1, this.it4__1.sideEffects);
+            this.state_1 = 5;
+            suspendResult = this.$this$sequence_1.yield_3xhcex_k$(this.this$0__1.ifTimeIsNotOver_dx6dah_k$(this.this$0__1, stateEnd(this.this$0__1, this.it4__1.copy$default_ezhrq1_k$(VOID, VOID, this.allSideEffectsSoFar5__1))), this);
             if (suspendResult === get_COROUTINE_SUSPENDED()) {
               return suspendResult;
             }
 
             continue $sm;
           case 5:
-            var tmp_2 = this.a3i_1.solution;
+            var tmp_2 = this.it4__1.solution;
             if (isInterface(tmp_2, Halt))
               return Unit_instance;
-            this.c8_1 = 4;
+            this.state_1 = 4;
             continue $sm;
           case 6:
-            this.z3h_1 = Unit_instance;
-            this.c8_1 = 7;
+            this.WHEN_RESULT3__1 = Unit_instance;
+            this.state_1 = 7;
             continue $sm;
           case 7:
-            this.x3h_1 = this.y3h_1;
-            this.c8_1 = 8;
+            this.WHEN_RESULT1__1 = this.this2__1;
+            this.state_1 = 8;
             continue $sm;
           case 8:
-            var tmp1_elvis_lhs = this.x3h_1;
+            var tmp1_elvis_lhs = this.WHEN_RESULT1__1;
             if (tmp1_elvis_lhs == null) {
-              this.c8_1 = 9;
-              suspendResult = this.v3h_1.cd(new StateRuleSelection(this.u3h_1.i3i_1), this);
+              this.state_1 = 9;
+              suspendResult = this.$this$sequence_1.yield_3xhcex_k$(new StateRuleSelection(this.this$0__1.solve_3), this);
               if (suspendResult === get_COROUTINE_SUSPENDED()) {
                 return suspendResult;
               }
               continue $sm;
             } else {
-              this.w3h_1 = tmp1_elvis_lhs;
-              this.c8_1 = 10;
+              this.WHEN_RESULT0__1 = tmp1_elvis_lhs;
+              this.state_1 = 10;
               continue $sm;
             }
 
           case 9:
             var tmp_3 = this;
-            tmp_3.w3h_1 = Unit_instance;
-            this.c8_1 = 10;
+            tmp_3.WHEN_RESULT0__1 = Unit_instance;
+            this.state_1 = 10;
             continue $sm;
           case 10:
             return Unit_instance;
           case 11:
-            throw this.f8_1;
+            throw this.exception_1;
         }
       } catch ($p) {
         var e = $p;
-        if (this.d8_1 === 11) {
+        if (this.exceptionState_1 === 11) {
           throw e;
         } else {
-          this.c8_1 = this.d8_1;
-          this.f8_1 = e;
+          this.state_1 = this.exceptionState_1;
+          this.exception_1 = e;
         }
       }
      while (true);
   };
-  protoOf(StateGoalEvaluation$behaveTimed$slambda).d3g = function ($this$sequence, completion) {
-    var i = new StateGoalEvaluation$behaveTimed$slambda(this.u3h_1, completion);
-    i.v3h_1 = $this$sequence;
+  protoOf(StateGoalEvaluation$behaveTimed$slambda).create_od0806_k$ = function ($this$sequence, completion) {
+    var i = new StateGoalEvaluation$behaveTimed$slambda(this.this$0__1, completion);
+    i.$this$sequence_1 = $this$sequence;
     return i;
   };
   function StateGoalEvaluation$behaveTimed$slambda_0(this$0, resultContinuation) {
     var i = new StateGoalEvaluation$behaveTimed$slambda(this$0, resultContinuation);
     return constructCallableReference(function ($this$sequence, $completion) {
-      return i.c3g($this$sequence, $completion);
+      return i.invoke_7thwuq_k$($this$sequence, $completion);
     }, 1);
   }
   function StateGoalEvaluation(solve) {
     AbstractTimedState.call(this, solve);
-    this.i3i_1 = solve;
+    this.solve_3 = solve;
   }
-  protoOf(StateGoalEvaluation).f3d = function () {
-    return this.i3i_1;
+  protoOf(StateGoalEvaluation).get_solve_iymyhi_k$ = function () {
+    return this.solve_3;
   };
-  protoOf(StateGoalEvaluation).j3g = function () {
+  protoOf(StateGoalEvaluation).behaveTimed_3b7a30_k$ = function () {
     return sequence(StateGoalEvaluation$behaveTimed$slambda_0(this, null));
   };
   function StateInit$behaveTimed$slambda(this$0, resultContinuation) {
-    this.r3i_1 = this$0;
+    this.this$0__1 = this$0;
     CoroutineImpl.call(this, resultContinuation);
   }
-  protoOf(StateInit$behaveTimed$slambda).c3g = function ($this$sequence, $completion) {
-    var tmp = this.d3g($this$sequence, $completion);
-    tmp.e8_1 = Unit_instance;
-    tmp.f8_1 = null;
-    return tmp.k8();
+  protoOf(StateInit$behaveTimed$slambda).invoke_7thwuq_k$ = function ($this$sequence, $completion) {
+    var tmp = this.create_od0806_k$($this$sequence, $completion);
+    tmp.result_1 = Unit_instance;
+    tmp.exception_1 = null;
+    return tmp.doResume_5yljmg_k$();
   };
-  protoOf(StateInit$behaveTimed$slambda).b9 = function (p1, $completion) {
-    return this.c3g(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
+  protoOf(StateInit$behaveTimed$slambda).invoke_qns8j1_k$ = function (p1, $completion) {
+    return this.invoke_7thwuq_k$(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
   };
-  protoOf(StateInit$behaveTimed$slambda).k8 = function () {
-    var suspendResult = this.e8_1;
+  protoOf(StateInit$behaveTimed$slambda).doResume_5yljmg_k$ = function () {
+    var suspendResult = this.result_1;
     $sm: do
       try {
-        var tmp = this.c8_1;
+        var tmp = this.state_1;
         switch (tmp) {
           case 0:
-            this.d8_1 = 6;
-            var $this$with = this.r3i_1.a3j_1.context;
-            var initializedSideEffectsManager = $this$with.x3d_1.h3e($this$with);
-            var currentGoal = this.r3i_1.a3j_1.q1v();
-            var $this$with_0 = this.r3i_1.a3j_1.context;
-            if ($this$with_0.w3d_1.d3d(currentGoal, $this$with_0)) {
-              this.c8_1 = 4;
-              suspendResult = this.s3i_1.cd(this.r3i_1.k3g(this.r3i_1, stateEndTrue(this.r3i_1, this.r3i_1.a3j_1.context.t3d_1, initializedSideEffectsManager, [])), this);
+            this.exceptionState_1 = 6;
+            var $this$with = this.this$0__1.solve_3.context;
+            var initializedSideEffectsManager = $this$with.sideEffectManager_1.stateInitInitialize_k45sa5_k$($this$with);
+            var currentGoal = this.this$0__1.solve_3.get_query_ixn1y7_k$();
+            var $this$with_0 = this.this$0__1.solve_3.context;
+            if ($this$with_0.solverStrategies_1.successCheckStrategy_50okaq_k$(currentGoal, $this$with_0)) {
+              this.state_1 = 4;
+              suspendResult = this.$this$sequence_1.yield_3xhcex_k$(this.this$0__1.ifTimeIsNotOver_dx6dah_k$(this.this$0__1, stateEndTrue(this.this$0__1, this.this$0__1.solve_3.context.substitution_1, initializedSideEffectsManager, [])), this);
               if (suspendResult === get_COROUTINE_SUSPENDED()) {
                 return suspendResult;
               }
               continue $sm;
             } else {
               if (isWellFormed(currentGoal)) {
-                this.v3i_1 = prepareForExecutionAsGoal(currentGoal);
-                var preparedGoal = this.v3i_1;
-                this.c8_1 = 2;
+                this.this2__1 = prepareForExecutionAsGoal(currentGoal);
+                var preparedGoal = this.this2__1;
+                this.state_1 = 2;
                 var tmp_0 = extractSignature(preparedGoal);
-                var tmp_1 = preparedGoal.bu();
-                var $this$with_1 = this.r3i_1.a3j_1.context;
-                suspendResult = this.s3i_1.cd(new StateGoalEvaluation(this.r3i_1.a3j_1.l2h(tmp_0, tmp_1, $this$with_1.t3e(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, initializedSideEffectsManager))), this);
+                var tmp_1 = preparedGoal.get_argsList_cw1bs4_k$();
+                var $this$with_1 = this.this$0__1.solve_3.context;
+                suspendResult = this.$this$sequence_1.yield_3xhcex_k$(new StateGoalEvaluation(this.this$0__1.solve_3.copy$default_c2mg6k_k$(tmp_0, tmp_1, $this$with_1.copy$default_91c9pl_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, initializedSideEffectsManager))), this);
                 if (suspendResult === get_COROUTINE_SUSPENDED()) {
                   return suspendResult;
                 }
                 continue $sm;
               } else {
-                this.c8_1 = 1;
-                suspendResult = this.s3i_1.cd(stateEndFalse(this.r3i_1, initializedSideEffectsManager, []), this);
+                this.state_1 = 1;
+                suspendResult = this.$this$sequence_1.yield_3xhcex_k$(stateEndFalse(this.this$0__1, initializedSideEffectsManager, []), this);
                 if (suspendResult === get_COROUTINE_SUSPENDED()) {
                   return suspendResult;
                 }
@@ -1678,64 +1678,64 @@
 
           case 1:
             var tmp_2 = this;
-            tmp_2.u3i_1 = Unit_instance;
-            this.c8_1 = 3;
+            tmp_2.WHEN_RESULT1__1 = Unit_instance;
+            this.state_1 = 3;
             continue $sm;
           case 2:
-            this.u3i_1 = this.v3i_1;
-            this.c8_1 = 3;
+            this.WHEN_RESULT1__1 = this.this2__1;
+            this.state_1 = 3;
             continue $sm;
           case 3:
-            this.t3i_1 = this.u3i_1;
-            this.c8_1 = 5;
+            this.WHEN_RESULT0__1 = this.WHEN_RESULT1__1;
+            this.state_1 = 5;
             continue $sm;
           case 4:
             var tmp_3 = this;
-            tmp_3.t3i_1 = Unit_instance;
-            this.c8_1 = 5;
+            tmp_3.WHEN_RESULT0__1 = Unit_instance;
+            this.state_1 = 5;
             continue $sm;
           case 5:
             return Unit_instance;
           case 6:
-            throw this.f8_1;
+            throw this.exception_1;
         }
       } catch ($p) {
         var e = $p;
-        if (this.d8_1 === 6) {
+        if (this.exceptionState_1 === 6) {
           throw e;
         } else {
-          this.c8_1 = this.d8_1;
-          this.f8_1 = e;
+          this.state_1 = this.exceptionState_1;
+          this.exception_1 = e;
         }
       }
      while (true);
   };
-  protoOf(StateInit$behaveTimed$slambda).d3g = function ($this$sequence, completion) {
-    var i = new StateInit$behaveTimed$slambda(this.r3i_1, completion);
-    i.s3i_1 = $this$sequence;
+  protoOf(StateInit$behaveTimed$slambda).create_od0806_k$ = function ($this$sequence, completion) {
+    var i = new StateInit$behaveTimed$slambda(this.this$0__1, completion);
+    i.$this$sequence_1 = $this$sequence;
     return i;
   };
   function StateInit$behaveTimed$slambda_0(this$0, resultContinuation) {
     var i = new StateInit$behaveTimed$slambda(this$0, resultContinuation);
     return constructCallableReference(function ($this$sequence, $completion) {
-      return i.c3g($this$sequence, $completion);
+      return i.invoke_7thwuq_k$($this$sequence, $completion);
     }, 1);
   }
   function StateInit(solve) {
     AbstractTimedState.call(this, solve);
-    this.a3j_1 = solve;
+    this.solve_3 = solve;
   }
-  protoOf(StateInit).f3d = function () {
-    return this.a3j_1;
+  protoOf(StateInit).get_solve_iymyhi_k$ = function () {
+    return this.solve_3;
   };
-  protoOf(StateInit).j3g = function () {
+  protoOf(StateInit).behaveTimed_3b7a30_k$ = function () {
     return sequence(StateInit$behaveTimed$slambda_0(this, null));
   };
   function retrieveRulesMatching($this, $receiver, currentGoal) {
     // Inline function 'kotlin.let' call
-    var refreshedGoal = currentGoal.du();
+    var refreshedGoal = currentGoal.freshCopy_fcm65_k$();
     // Inline function 'kotlin.takeIf' call
-    var this_0 = $receiver.r1u().asTheory($receiver.u1k()).getByHead(refreshedGoal);
+    var this_0 = $receiver.get_libraries_lyf10w_k$().asTheory($receiver.get_unificator_xw6v3j_k$()).getByHead(refreshedGoal);
     var tmp;
     if (any(this_0)) {
       tmp = this_0;
@@ -1745,7 +1745,7 @@
     var tmp0_elvis_lhs = tmp;
     var tmp_0;
     if (tmp0_elvis_lhs == null) {
-      var tmp_1 = sequenceOf_0([$receiver.t1u(), $receiver.u1u()]);
+      var tmp_1 = sequenceOf_0([$receiver.get_staticKb_a01l1u_k$(), $receiver.get_dynamicKb_wvqg8j_k$()]);
       tmp_0 = flatMap(tmp_1, StateRuleSelection$Companion$retrieveRulesMatching$lambda(refreshedGoal));
     } else {
       tmp_0 = tmp0_elvis_lhs;
@@ -1755,13 +1755,13 @@
   function initializeForSubRuleScope($this, $receiver) {
     // Inline function 'kotlin.with' call
     var $this$with = $receiver.context;
-    var tmp$ret$0 = $this$with.t3e(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this$with.x3d_1.j3e());
-    return $receiver.l2h(VOID, VOID, tmp$ret$0);
+    var tmp$ret$0 = $this$with.copy$default_91c9pl_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this$with.sideEffectManager_1.enterRuleSubScope_lpzv30_k$());
+    return $receiver.copy$default_c2mg6k_k$(VOID, VOID, tmp$ret$0);
   }
   function removeSubstitutionFor($this, $receiver, unusedVariables) {
     var tmp;
     if (isInterface($receiver, Yes)) {
-      tmp = $receiver.copy(VOID, $receiver.n1u().yz(asIterable(unusedVariables)));
+      tmp = $receiver.copy(VOID, $receiver.get_substitution_i7fi9y_k$().minusIterable_d0qivw_k$(asIterable(unusedVariables)));
     } else {
       tmp = $receiver;
     }
@@ -1773,7 +1773,7 @@
     };
   }
   function StateRuleSelection$behaveTimed$slambda$lambda(it) {
-    var tmp = prepareForExecution(it).du();
+    var tmp = prepareForExecution(it).freshCopy_fcm65_k$();
     return isInterface(tmp, Rule) ? tmp : THROW_CCE();
   }
   function Companion_3() {
@@ -1783,124 +1783,124 @@
     return Companion_instance_14;
   }
   function StateRuleSelection$behaveTimed$slambda(this$0, resultContinuation) {
-    this.j3j_1 = this$0;
+    this.this$0__1 = this$0;
     CoroutineImpl.call(this, resultContinuation);
   }
-  protoOf(StateRuleSelection$behaveTimed$slambda).c3g = function ($this$sequence, $completion) {
-    var tmp = this.d3g($this$sequence, $completion);
-    tmp.e8_1 = Unit_instance;
-    tmp.f8_1 = null;
-    return tmp.k8();
+  protoOf(StateRuleSelection$behaveTimed$slambda).invoke_7thwuq_k$ = function ($this$sequence, $completion) {
+    var tmp = this.create_od0806_k$($this$sequence, $completion);
+    tmp.result_1 = Unit_instance;
+    tmp.exception_1 = null;
+    return tmp.doResume_5yljmg_k$();
   };
-  protoOf(StateRuleSelection$behaveTimed$slambda).b9 = function (p1, $completion) {
-    return this.c3g(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
+  protoOf(StateRuleSelection$behaveTimed$slambda).invoke_qns8j1_k$ = function (p1, $completion) {
+    return this.invoke_7thwuq_k$(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
   };
-  protoOf(StateRuleSelection$behaveTimed$slambda).k8 = function () {
-    var suspendResult = this.e8_1;
+  protoOf(StateRuleSelection$behaveTimed$slambda).doResume_5yljmg_k$ = function () {
+    var suspendResult = this.result_1;
     $sm: do
       try {
-        var tmp = this.c8_1;
+        var tmp = this.state_1;
         switch (tmp) {
           case 0:
-            this.d8_1 = 12;
-            this.t3j_1 = this.j3j_1.z3j_1.q1v();
-            var matchingRules = retrieveRulesMatching(Companion_instance_14, this.j3j_1.z3j_1.context, this.t3j_1);
-            this.s3j_1 = moreThanOne(matchingRules);
+            this.exceptionState_1 = 12;
+            this.currentGoal8__1 = this.this$0__1.solve_3.get_query_ixn1y7_k$();
+            var matchingRules = retrieveRulesMatching(Companion_instance_14, this.this$0__1.solve_3.context, this.currentGoal8__1);
+            this.isChoicePoint7__1 = moreThanOne(matchingRules);
             if (none(matchingRules)) {
-              this.c8_1 = 10;
-              suspendResult = this.k3j_1.cd(stateEndFalse(this.j3j_1, VOID, []), this);
+              this.state_1 = 10;
+              suspendResult = this.$this$sequence_1.yield_3xhcex_k$(stateEndFalse(this.this$0__1, VOID, []), this);
               if (suspendResult === get_COROUTINE_SUSPENDED()) {
                 return suspendResult;
               }
               continue $sm;
             } else {
-              var $this$with = this.j3j_1.z3j_1.context;
-              var tmp_0 = orderWithStrategy(matchingRules, $this$with, SolverStrategies$clauseChoiceStrategy$ref($this$with.w3d_1));
-              this.u3j_1 = map(tmp_0, StateRuleSelection$behaveTimed$slambda$lambda).n();
-              this.c8_1 = 1;
+              var $this$with = this.this$0__1.solve_3.context;
+              var tmp_0 = orderWithStrategy(matchingRules, $this$with, SolverStrategies$clauseChoiceStrategy$ref($this$with.solverStrategies_1));
+              this.this9__1 = map(tmp_0, StateRuleSelection$behaveTimed$slambda$lambda).iterator_jk1svi_k$();
+              this.state_1 = 1;
               continue $sm;
             }
 
           case 1:
-            if (!this.u3j_1.q()) {
-              this.c8_1 = 9;
+            if (!this.this9__1.hasNext_bitz1p_k$()) {
+              this.state_1 = 9;
               continue $sm;
             }
 
-            var tmp0 = this.u3j_1.r();
-            var tmp2 = this.u3j_1.q();
-            this.n3j_1 = tmp0;
-            this.o3j_1 = tmp2;
-            var unifyingSubstitution = this.j3j_1.i8().k3d_1.mgu(this.t3j_1, this.n3j_1.gw());
-            var tmp_1 = this.n3j_1.hw().applySubstitution(unifyingSubstitution);
+            var tmp0 = this.this9__1.next_20eer_k$();
+            var tmp2 = this.this9__1.hasNext_bitz1p_k$();
+            this.refreshedRule2__1 = tmp0;
+            this.hasAlternatives3__1 = tmp2;
+            var unifyingSubstitution = this.this$0__1.get_context_h02k06_k$().unificator_1.mgu(this.currentGoal8__1, this.refreshedRule2__1.get_head_won7e1_k$());
+            var tmp_1 = this.refreshedRule2__1.get_body_wojkyz_k$().applySubstitution(unifyingSubstitution);
             var wellFormedRuleBody = isInterface(tmp_1, Struct) ? tmp_1 : THROW_CCE();
             var tmp_2 = this;
-            var tmp0_$receiver = this.j3j_1.z3j_1;
+            var tmp0_$receiver = this.this$0__1.solve_3;
             var tmp1_requestIssuingInstant = currentTimeInstant();
-            tmp_2.p3j_1 = newSolveRequest(tmp0_$receiver, wellFormedRuleBody, unifyingSubstitution, VOID, VOID, tmp1_requestIssuingInstant, this.s3j_1);
-            this.r3j_1 = new StateInit(initializeForSubRuleScope(Companion_instance_14, this.p3j_1));
-            var it = this.r3j_1;
-            this.c8_1 = 2;
-            suspendResult = this.k3j_1.cd(asAlreadyExecuted(it), this);
+            tmp_2.subSolveRequest4__1 = newSolveRequest(tmp0_$receiver, wellFormedRuleBody, unifyingSubstitution, VOID, VOID, tmp1_requestIssuingInstant, this.isChoicePoint7__1);
+            this.this6__1 = new StateInit(initializeForSubRuleScope(Companion_instance_14, this.subSolveRequest4__1));
+            var it = this.this6__1;
+            this.state_1 = 2;
+            suspendResult = this.$this$sequence_1.yield_3xhcex_k$(asAlreadyExecuted(it), this);
             if (suspendResult === get_COROUTINE_SUSPENDED()) {
               return suspendResult;
             }
 
             continue $sm;
           case 2:
-            var subInitialState = this.r3j_1;
-            this.l3j_1 = false;
-            this.q3j_1 = this.j3j_1.a3k_1(subInitialState).n();
-            this.c8_1 = 3;
+            var subInitialState = this.this6__1;
+            this.cutNextSiblings0__1 = false;
+            this._iterator_5_yqohr5__1 = this.this$0__1.subStateExecute_1(subInitialState).iterator_jk1svi_k$();
+            this.state_1 = 3;
             continue $sm;
           case 3:
-            if (!this.q3j_1.q()) {
-              this.c8_1 = 8;
+            if (!this._iterator_5_yqohr5__1.hasNext_bitz1p_k$()) {
+              this.state_1 = 8;
               continue $sm;
             }
 
-            var element = this.q3j_1.r();
-            this.m3j_1 = element.o3f_1;
+            var element = this._iterator_5_yqohr5__1.next_20eer_k$();
+            this.subState1__1 = element.wrappedState_1;
             var tmp_3;
-            var tmp_4 = this.m3j_1;
+            var tmp_4 = this.subState1__1;
             if (isInterface(tmp_4, FinalState)) {
-              tmp_3 = this.m3j_1.f3d().solution.q1v().equals(this.p3j_1.q1v());
+              tmp_3 = this.subState1__1.get_solve_iymyhi_k$().solution.get_query_ixn1y7_k$().equals(this.subSolveRequest4__1.get_query_ixn1y7_k$());
             } else {
               tmp_3 = false;
             }
 
             if (tmp_3) {
-              if (shouldCutExecuteInRuleSelection(this.m3j_1.f3d().sideEffectManager)) {
-                this.l3j_1 = true;
+              if (shouldCutExecuteInRuleSelection(this.subState1__1.get_solve_iymyhi_k$().sideEffectManager)) {
+                this.cutNextSiblings0__1 = true;
               }
               var tmp_5;
               var tmp_6;
-              var tmp_7 = this.m3j_1;
+              var tmp_7 = this.subState1__1;
               if (!(tmp_7 instanceof False)) {
                 tmp_6 = true;
               } else {
-                tmp_6 = !this.o3j_1;
+                tmp_6 = !this.hasAlternatives3__1;
               }
               if (tmp_6) {
                 tmp_5 = true;
               } else {
-                tmp_5 = this.l3j_1;
+                tmp_5 = this.cutNextSiblings0__1;
               }
               if (tmp_5) {
-                var extendedScopeSideEffectManager = extendParentScopeWith(this.m3j_1.f3d().sideEffectManager, this.j3j_1.z3j_1.context.x3d_1);
-                this.c8_1 = 5;
-                suspendResult = this.k3j_1.cd(stateEnd(this.j3j_1, this.m3j_1.f3d().q2h(removeSubstitutionFor(Companion_instance_14, this.m3j_1.f3d().solution, this.n3j_1.cu()), extendedScopeSideEffectManager)), this);
+                var extendedScopeSideEffectManager = extendParentScopeWith(this.subState1__1.get_solve_iymyhi_k$().sideEffectManager, this.this$0__1.solve_3.context.sideEffectManager_1);
+                this.state_1 = 5;
+                suspendResult = this.$this$sequence_1.yield_3xhcex_k$(stateEnd(this.this$0__1, this.subState1__1.get_solve_iymyhi_k$().copy$default_ezhrq1_k$(removeSubstitutionFor(Companion_instance_14, this.subState1__1.get_solve_iymyhi_k$().solution, this.refreshedRule2__1.get_variables_75f0zy_k$()), extendedScopeSideEffectManager)), this);
                 if (suspendResult === get_COROUTINE_SUSPENDED()) {
                   return suspendResult;
                 }
                 continue $sm;
               } else {
-                this.c8_1 = 6;
+                this.state_1 = 6;
                 continue $sm;
               }
             } else {
-              this.c8_1 = 4;
-              suspendResult = this.k3j_1.cd(element, this);
+              this.state_1 = 4;
+              suspendResult = this.$this$sequence_1.yield_3xhcex_k$(element, this);
               if (suspendResult === get_COROUTINE_SUSPENDED()) {
                 return suspendResult;
               }
@@ -1908,75 +1908,75 @@
             }
 
           case 4:
-            this.c8_1 = 7;
+            this.state_1 = 7;
             continue $sm;
           case 5:
-            this.c8_1 = 6;
+            this.state_1 = 6;
             continue $sm;
           case 6:
-            var tmp_8 = this.m3j_1;
+            var tmp_8 = this.subState1__1;
             if (tmp_8 instanceof Halt_0)
               return Unit_instance;
-            this.c8_1 = 7;
+            this.state_1 = 7;
             continue $sm;
           case 7:
-            this.c8_1 = 3;
+            this.state_1 = 3;
             continue $sm;
           case 8:
-            if (this.l3j_1)
+            if (this.cutNextSiblings0__1)
               return Unit_instance;
-            this.c8_1 = 1;
+            this.state_1 = 1;
             continue $sm;
           case 9:
-            this.c8_1 = 11;
+            this.state_1 = 11;
             continue $sm;
           case 10:
-            this.c8_1 = 11;
+            this.state_1 = 11;
             continue $sm;
           case 11:
             return Unit_instance;
           case 12:
-            throw this.f8_1;
+            throw this.exception_1;
         }
       } catch ($p) {
         var e = $p;
-        if (this.d8_1 === 12) {
+        if (this.exceptionState_1 === 12) {
           throw e;
         } else {
-          this.c8_1 = this.d8_1;
-          this.f8_1 = e;
+          this.state_1 = this.exceptionState_1;
+          this.exception_1 = e;
         }
       }
      while (true);
   };
-  protoOf(StateRuleSelection$behaveTimed$slambda).d3g = function ($this$sequence, completion) {
-    var i = new StateRuleSelection$behaveTimed$slambda(this.j3j_1, completion);
-    i.k3j_1 = $this$sequence;
+  protoOf(StateRuleSelection$behaveTimed$slambda).create_od0806_k$ = function ($this$sequence, completion) {
+    var i = new StateRuleSelection$behaveTimed$slambda(this.this$0__1, completion);
+    i.$this$sequence_1 = $this$sequence;
     return i;
   };
   function StateRuleSelection$behaveTimed$slambda_0(this$0, resultContinuation) {
     var i = new StateRuleSelection$behaveTimed$slambda(this$0, resultContinuation);
     return constructCallableReference(function ($this$sequence, $completion) {
-      return i.c3g($this$sequence, $completion);
+      return i.invoke_7thwuq_k$($this$sequence, $completion);
     }, 1);
   }
   function StateRuleSelection(solve) {
     AbstractTimedState.call(this, solve);
-    this.z3j_1 = solve;
+    this.solve_3 = solve;
     var tmp = this;
-    tmp.a3k_1 = StateMachineExecutor$executeWrapping$ref(StateMachineExecutor_instance);
+    tmp.subStateExecute_1 = StateMachineExecutor$executeWrapping$ref(StateMachineExecutor_instance);
   }
-  protoOf(StateRuleSelection).f3d = function () {
-    return this.z3j_1;
+  protoOf(StateRuleSelection).get_solve_iymyhi_k$ = function () {
+    return this.solve_3;
   };
-  protoOf(StateRuleSelection).j3g = function () {
+  protoOf(StateRuleSelection).behaveTimed_3b7a30_k$ = function () {
     return sequence(StateRuleSelection$behaveTimed$slambda_0(this, null));
   };
   function DefaultBuiltins() {
     DefaultBuiltins_instance = this;
     ExtensionLibrary.call(this, CommonBuiltins_getInstance());
   }
-  protoOf(DefaultBuiltins).s2d = function () {
+  protoOf(DefaultBuiltins).get_additionalPrimitives_kt57lw_k$ = function () {
     return listOf_0([Call_getInstance(), Catch_getInstance(), Conjunction_getInstance(), Cut_getInstance(), Throw_getInstance(), Not_getInstance()]);
   };
   var DefaultBuiltins_instance;
@@ -1987,27 +1987,27 @@
   }
   function Call$uncheckedImplementation$lambda($request) {
     return function (it) {
-      return replyWith($request, it.q2h(VOID, resetCutWorkChanges(it.sideEffectManager, $request.context.x3d_1)));
+      return replyWith($request, it.copy$default_ezhrq1_k$(VOID, resetCutWorkChanges(it.sideEffectManager, $request.context.sideEffectManager_1)));
     };
   }
   function Call() {
     Call_instance = this;
     PrimitiveWrapper_init_$Init$('call', 1, VOID, this);
   }
-  protoOf(Call).i3k = function (request) {
+  protoOf(Call).uncheckedImplementation_mc12qx_k$ = function (request) {
     // Inline function 'kotlin.let' call
-    var toBeCalledGoal = single(Companion_getInstance_4().s2e(request).arguments);
+    var toBeCalledGoal = single(Companion_getInstance_4().ensuringAllArgumentsAreInstantiated_60kzw2_k$(request).arguments);
     var tmp;
     if (isWellFormed(toBeCalledGoal)) {
-      var tmp_0 = Companion_instance_11.i3d(newSolveRequest(request, prepareForExecutionAsGoal(toBeCalledGoal)));
+      var tmp_0 = Companion_instance_11.solveToResponses_lmvh2j_k$(newSolveRequest(request, prepareForExecutionAsGoal(toBeCalledGoal)));
       tmp = map(tmp_0, Call$uncheckedImplementation$lambda(request));
     } else {
       throw TypeError_init_$Create$('call/1 argument is neither a Variable nor a well-formed goal', VOID, request.context, Expected_CALLABLE_getInstance(), toBeCalledGoal);
     }
     return tmp;
   };
-  protoOf(Call).e2f = function (request) {
-    return this.i3k(request);
+  protoOf(Call).uncheckedImplementation_etwntj_k$ = function (request) {
+    return this.uncheckedImplementation_mc12qx_k$(request);
   };
   var Call_instance;
   function Call_getInstance() {
@@ -2027,53 +2027,53 @@
     return tmp.of(tmp$ret$0, [goal]);
   }
   function ensureNoMoreSelectableCatch($this, $receiver, notSelectableContext) {
-    return $receiver.l2h(VOID, VOID, $receiver.context.t3e(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $receiver.context.x3d_1.q3e(notSelectableContext)));
+    return $receiver.copy$default_c2mg6k_k$(VOID, VOID, $receiver.context.copy$default_91c9pl_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $receiver.context.sideEffectManager_1.ensureNoMoreSelectableCatch_83cmnn_k$(notSelectableContext)));
   }
   function Catch$uncheckedImplementation$slambda($request, resultContinuation) {
-    this.r3k_1 = $request;
+    this.$request_1 = $request;
     CoroutineImpl.call(this, resultContinuation);
   }
-  protoOf(Catch$uncheckedImplementation$slambda).n2p = function ($this$sequence, $completion) {
-    var tmp = this.o2p($this$sequence, $completion);
-    tmp.e8_1 = Unit_instance;
-    tmp.f8_1 = null;
-    return tmp.k8();
+  protoOf(Catch$uncheckedImplementation$slambda).invoke_ze0sv8_k$ = function ($this$sequence, $completion) {
+    var tmp = this.create_ibarao_k$($this$sequence, $completion);
+    tmp.result_1 = Unit_instance;
+    tmp.exception_1 = null;
+    return tmp.doResume_5yljmg_k$();
   };
-  protoOf(Catch$uncheckedImplementation$slambda).b9 = function (p1, $completion) {
-    return this.n2p(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
+  protoOf(Catch$uncheckedImplementation$slambda).invoke_qns8j1_k$ = function (p1, $completion) {
+    return this.invoke_ze0sv8_k$(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
   };
-  protoOf(Catch$uncheckedImplementation$slambda).k8 = function () {
-    var suspendResult = this.e8_1;
+  protoOf(Catch$uncheckedImplementation$slambda).doResume_5yljmg_k$ = function () {
+    var suspendResult = this.result_1;
     $sm: do
       try {
-        var tmp = this.c8_1;
+        var tmp = this.state_1;
         switch (tmp) {
           case 0:
-            this.d8_1 = 6;
-            var goalArgument = first_0(this.r3k_1.arguments);
-            this.t3k_1 = Companion_instance_11.i3d(newSolveRequest(this.r3k_1, call(Catch_getInstance(), goalArgument))).n();
-            this.c8_1 = 1;
+            this.exceptionState_1 = 6;
+            var goalArgument = first_0(this.$request_1.arguments);
+            this._iterator_0_yqohr0__1 = Companion_instance_11.solveToResponses_lmvh2j_k$(newSolveRequest(this.$request_1, call(Catch_getInstance(), goalArgument))).iterator_jk1svi_k$();
+            this.state_1 = 1;
             continue $sm;
           case 1:
-            if (!this.t3k_1.q()) {
-              this.c8_1 = 5;
+            if (!this._iterator_0_yqohr0__1.hasNext_bitz1p_k$()) {
+              this.state_1 = 5;
               continue $sm;
             }
 
-            var element = this.t3k_1.r();
-            if (isSelectedThrowCatch(element.sideEffectManager, this.r3k_1.context)) {
-              var recoverGoalArgument = last(this.r3k_1.arguments).applySubstitution(element.solution.n1u());
-              var recoverGoalSolveRequest = ensureNoMoreSelectableCatch(Catch_getInstance(), newSolveRequest(this.r3k_1, call(Catch_getInstance(), recoverGoalArgument), element.solution.n1u().minus(this.r3k_1.context.t3d_1), VOID, VOID, currentTimeInstant()), this.r3k_1.context);
-              this.c8_1 = 3;
-              var tmp_0 = Companion_instance_11.i3d(recoverGoalSolveRequest);
-              suspendResult = this.s3k_1.fd(map(tmp_0, Catch$uncheckedImplementation$slambda$lambda(this.r3k_1)), this);
+            var element = this._iterator_0_yqohr0__1.next_20eer_k$();
+            if (isSelectedThrowCatch(element.sideEffectManager, this.$request_1.context)) {
+              var recoverGoalArgument = last(this.$request_1.arguments).applySubstitution(element.solution.get_substitution_i7fi9y_k$());
+              var recoverGoalSolveRequest = ensureNoMoreSelectableCatch(Catch_getInstance(), newSolveRequest(this.$request_1, call(Catch_getInstance(), recoverGoalArgument), element.solution.get_substitution_i7fi9y_k$().minus(this.$request_1.context.substitution_1), VOID, VOID, currentTimeInstant()), this.$request_1.context);
+              this.state_1 = 3;
+              var tmp_0 = Companion_instance_11.solveToResponses_lmvh2j_k$(recoverGoalSolveRequest);
+              suspendResult = this.$this$sequence_1.yieldAll_h63j2x_k$(map(tmp_0, Catch$uncheckedImplementation$slambda$lambda(this.$request_1)), this);
               if (suspendResult === get_COROUTINE_SUSPENDED()) {
                 return suspendResult;
               }
               continue $sm;
             } else {
-              this.c8_1 = 2;
-              suspendResult = this.s3k_1.cd(replyWith(this.r3k_1, element), this);
+              this.state_1 = 2;
+              suspendResult = this.$this$sequence_1.yield_3xhcex_k$(replyWith(this.$request_1, element), this);
               if (suspendResult === get_COROUTINE_SUSPENDED()) {
                 return suspendResult;
               }
@@ -2081,50 +2081,50 @@
             }
 
           case 2:
-            this.c8_1 = 4;
+            this.state_1 = 4;
             continue $sm;
           case 3:
-            this.c8_1 = 4;
+            this.state_1 = 4;
             continue $sm;
           case 4:
-            this.c8_1 = 1;
+            this.state_1 = 1;
             continue $sm;
           case 5:
             return Unit_instance;
           case 6:
-            throw this.f8_1;
+            throw this.exception_1;
         }
       } catch ($p) {
         var e = $p;
-        if (this.d8_1 === 6) {
+        if (this.exceptionState_1 === 6) {
           throw e;
         } else {
-          this.c8_1 = this.d8_1;
-          this.f8_1 = e;
+          this.state_1 = this.exceptionState_1;
+          this.exception_1 = e;
         }
       }
      while (true);
   };
-  protoOf(Catch$uncheckedImplementation$slambda).o2p = function ($this$sequence, completion) {
-    var i = new Catch$uncheckedImplementation$slambda(this.r3k_1, completion);
-    i.s3k_1 = $this$sequence;
+  protoOf(Catch$uncheckedImplementation$slambda).create_ibarao_k$ = function ($this$sequence, completion) {
+    var i = new Catch$uncheckedImplementation$slambda(this.$request_1, completion);
+    i.$this$sequence_1 = $this$sequence;
     return i;
   };
   function Catch$uncheckedImplementation$slambda_0($request, resultContinuation) {
     var i = new Catch$uncheckedImplementation$slambda($request, resultContinuation);
     return constructCallableReference(function ($this$sequence, $completion) {
-      return i.n2p($this$sequence, $completion);
+      return i.invoke_ze0sv8_k$($this$sequence, $completion);
     }, 1);
   }
   function Catch() {
     Catch_instance = this;
     PrimitiveWrapper_init_$Init$('catch', 3, VOID, this);
   }
-  protoOf(Catch).i3k = function (request) {
+  protoOf(Catch).uncheckedImplementation_mc12qx_k$ = function (request) {
     return sequence(Catch$uncheckedImplementation$slambda_0(request, null));
   };
-  protoOf(Catch).e2f = function (request) {
-    return this.i3k(request);
+  protoOf(Catch).uncheckedImplementation_etwntj_k$ = function (request) {
+    return this.uncheckedImplementation_mc12qx_k$(request);
   };
   var Catch_instance;
   function Catch_getInstance() {
@@ -2134,36 +2134,36 @@
   }
   function solveConjunctionGoals($this, $receiver, mainRequest, goals, toPropagateContext, accumulatedSubstitutions, accumulatedSideEffects, previousResponseSideEffectManager, previousGoalsHadAlternatives, $completion) {
     var tmp = new $solveConjunctionGoalsCOROUTINE$($this, $receiver, mainRequest, goals, toPropagateContext, accumulatedSubstitutions, accumulatedSideEffects, previousResponseSideEffectManager, previousGoalsHadAlternatives, $completion);
-    tmp.e8_1 = Unit_instance;
-    tmp.f8_1 = null;
-    return tmp.k8();
+    tmp.result_1 = Unit_instance;
+    tmp.exception_1 = null;
+    return tmp.doResume_5yljmg_k$();
   }
   function Conjunction$uncheckedImplementation$slambda($request, resultContinuation) {
-    this.z3l_1 = $request;
+    this.$request_1 = $request;
     CoroutineImpl.call(this, resultContinuation);
   }
-  protoOf(Conjunction$uncheckedImplementation$slambda).n2p = function ($this$sequence, $completion) {
-    var tmp = this.o2p($this$sequence, $completion);
-    tmp.e8_1 = Unit_instance;
-    tmp.f8_1 = null;
-    return tmp.k8();
+  protoOf(Conjunction$uncheckedImplementation$slambda).invoke_ze0sv8_k$ = function ($this$sequence, $completion) {
+    var tmp = this.create_ibarao_k$($this$sequence, $completion);
+    tmp.result_1 = Unit_instance;
+    tmp.exception_1 = null;
+    return tmp.doResume_5yljmg_k$();
   };
-  protoOf(Conjunction$uncheckedImplementation$slambda).b9 = function (p1, $completion) {
-    return this.n2p(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
+  protoOf(Conjunction$uncheckedImplementation$slambda).invoke_qns8j1_k$ = function (p1, $completion) {
+    return this.invoke_ze0sv8_k$(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
   };
-  protoOf(Conjunction$uncheckedImplementation$slambda).k8 = function () {
-    var suspendResult = this.e8_1;
+  protoOf(Conjunction$uncheckedImplementation$slambda).doResume_5yljmg_k$ = function () {
+    var suspendResult = this.result_1;
     $sm: do
       try {
-        var tmp = this.c8_1;
+        var tmp = this.state_1;
         switch (tmp) {
           case 0:
-            this.d8_1 = 2;
-            var $this$with = this.z3l_1;
-            var tmp_0 = $this$with.q1v().castToTuple().qs();
-            var subGoals = toList(orderWithStrategy(tmp_0, $this$with.context, SolverStrategies$predicationChoiceStrategy$ref($this$with.context.w3d_1)));
-            this.c8_1 = 1;
-            suspendResult = solveConjunctionGoals(Conjunction_getInstance(), this.a3m_1, this.z3l_1, subGoals, this.z3l_1.context, Companion_getInstance_2().empty(), emptyList(), this.z3l_1.context.x3d_1, false, this);
+            this.exceptionState_1 = 2;
+            var $this$with = this.$request_1;
+            var tmp_0 = $this$with.get_query_ixn1y7_k$().castToTuple().toSequence_lzjcyk_k$();
+            var subGoals = toList(orderWithStrategy(tmp_0, $this$with.context, SolverStrategies$predicationChoiceStrategy$ref($this$with.context.solverStrategies_1)));
+            this.state_1 = 1;
+            suspendResult = solveConjunctionGoals(Conjunction_getInstance(), this.$this$sequence_1, this.$request_1, subGoals, this.$request_1.context, Companion_getInstance_2().empty(), emptyList(), this.$request_1.context.sideEffectManager_1, false, this);
             if (suspendResult === get_COROUTINE_SUSPENDED()) {
               return suspendResult;
             }
@@ -2172,105 +2172,105 @@
           case 1:
             return Unit_instance;
           case 2:
-            throw this.f8_1;
+            throw this.exception_1;
         }
       } catch ($p) {
         var e = $p;
-        if (this.d8_1 === 2) {
+        if (this.exceptionState_1 === 2) {
           throw e;
         } else {
-          this.c8_1 = this.d8_1;
-          this.f8_1 = e;
+          this.state_1 = this.exceptionState_1;
+          this.exception_1 = e;
         }
       }
      while (true);
   };
-  protoOf(Conjunction$uncheckedImplementation$slambda).o2p = function ($this$sequence, completion) {
-    var i = new Conjunction$uncheckedImplementation$slambda(this.z3l_1, completion);
-    i.a3m_1 = $this$sequence;
+  protoOf(Conjunction$uncheckedImplementation$slambda).create_ibarao_k$ = function ($this$sequence, completion) {
+    var i = new Conjunction$uncheckedImplementation$slambda(this.$request_1, completion);
+    i.$this$sequence_1 = $this$sequence;
     return i;
   };
   function Conjunction$uncheckedImplementation$slambda_0($request, resultContinuation) {
     var i = new Conjunction$uncheckedImplementation$slambda($request, resultContinuation);
     return constructCallableReference(function ($this$sequence, $completion) {
-      return i.n2p($this$sequence, $completion);
+      return i.invoke_ze0sv8_k$($this$sequence, $completion);
     }, 1);
   }
   function $solveConjunctionGoalsCOROUTINE$(_this__u8e3s4, _this__u8e3s4_0, mainRequest, goals, toPropagateContext, accumulatedSubstitutions, accumulatedSideEffects, previousResponseSideEffectManager, previousGoalsHadAlternatives, resultContinuation) {
     CoroutineImpl.call(this, resultContinuation);
-    this.d3l_1 = _this__u8e3s4;
-    this.e3l_1 = _this__u8e3s4_0;
-    this.f3l_1 = mainRequest;
-    this.g3l_1 = goals;
-    this.h3l_1 = toPropagateContext;
-    this.i3l_1 = accumulatedSubstitutions;
-    this.j3l_1 = accumulatedSideEffects;
-    this.k3l_1 = previousResponseSideEffectManager;
-    this.l3l_1 = previousGoalsHadAlternatives;
-  }
-  protoOf($solveConjunctionGoalsCOROUTINE$).k8 = function () {
-    var suspendResult = this.e8_1;
+    this._this__u8e3s4__1 = _this__u8e3s4;
+    this._this__u8e3s4__2 = _this__u8e3s4_0;
+    this.mainRequest_1 = mainRequest;
+    this.goals_1 = goals;
+    this.toPropagateContext_1 = toPropagateContext;
+    this.accumulatedSubstitutions_1 = accumulatedSubstitutions;
+    this.accumulatedSideEffects_1 = accumulatedSideEffects;
+    this.previousResponseSideEffectManager_1 = previousResponseSideEffectManager;
+    this.previousGoalsHadAlternatives_1 = previousGoalsHadAlternatives;
+  }
+  protoOf($solveConjunctionGoalsCOROUTINE$).doResume_5yljmg_k$ = function () {
+    var suspendResult = this.result_1;
     $sm: do
       try {
-        var tmp = this.c8_1;
+        var tmp = this.state_1;
         switch (tmp) {
           case 0:
-            this.d8_1 = 7;
-            this.p3l_1 = prepareForExecutionAsGoal(first_1(this.g3l_1).applySubstitution(this.i3l_1));
-            var tmp0_elvis_lhs = this.k3l_1;
-            var goalRequest = newSolveRequest(this.f3l_1, this.p3l_1, this.i3l_1, this.h3l_1, tmp0_elvis_lhs == null ? this.f3l_1.context.x3d_1 : tmp0_elvis_lhs);
-            this.n3l_1 = false;
-            this.m3l_1 = emptyList();
-            this.q3l_1 = Companion_instance_11.g3d(goalRequest).n();
-            this.c8_1 = 1;
+            this.exceptionState_1 = 7;
+            this.goal3__1 = prepareForExecutionAsGoal(first_1(this.goals_1).applySubstitution(this.accumulatedSubstitutions_1));
+            var tmp0_elvis_lhs = this.previousResponseSideEffectManager_1;
+            var goalRequest = newSolveRequest(this.mainRequest_1, this.goal3__1, this.accumulatedSubstitutions_1, this.toPropagateContext_1, tmp0_elvis_lhs == null ? this.mainRequest_1.context.sideEffectManager_1 : tmp0_elvis_lhs);
+            this.cutExecuted1__1 = false;
+            this.currentSideEffects0__1 = emptyList();
+            this.this4__1 = Companion_instance_11.solveToFinalStates_ioolgl_k$(goalRequest).iterator_jk1svi_k$();
+            this.state_1 = 1;
             continue $sm;
           case 1:
-            if (!this.q3l_1.q()) {
-              this.c8_1 = 6;
+            if (!this.this4__1.hasNext_bitz1p_k$()) {
+              this.state_1 = 6;
               continue $sm;
             }
 
-            var tmp0 = this.q3l_1.r();
-            var currentHasAlternatives = this.q3l_1.q();
-            this.o3l_1 = tmp0.f3d();
+            var tmp0 = this.this4__1.next_20eer_k$();
+            var currentHasAlternatives = this.this4__1.hasNext_bitz1p_k$();
+            this.goalResponse2__1 = tmp0.get_solve_iymyhi_k$();
             var tmp_0;
-            if (Cut_getInstance().signature.name === this.p3l_1.au()) {
+            if (Cut_getInstance().signature.name === this.goal3__1.get_functor_75vgt2_k$()) {
               tmp_0 = true;
             } else {
-              var tmp0_safe_receiver = this.o3l_1.sideEffectManager;
+              var tmp0_safe_receiver = this.goalResponse2__1.sideEffectManager;
               tmp_0 = (tmp0_safe_receiver == null ? null : shouldExecuteThrowCut(tmp0_safe_receiver)) === true;
             }
 
             if (tmp_0) {
-              this.n3l_1 = true;
+              this.cutExecuted1__1 = true;
             }
 
-            this.m3l_1 = addWithNoDuplicates(this.m3l_1, this.o3l_1.sideEffects);
+            this.currentSideEffects0__1 = addWithNoDuplicates(this.currentSideEffects0__1, this.goalResponse2__1.sideEffects);
             var tmp_1;
             var tmp_2;
-            var tmp1_safe_receiver = this.o3l_1.sideEffectManager;
+            var tmp1_safe_receiver = this.goalResponse2__1.sideEffectManager;
             if ((tmp1_safe_receiver == null ? null : shouldExecuteThrowCut(tmp1_safe_receiver)) === false) {
-              var tmp_3 = this.o3l_1.solution;
+              var tmp_3 = this.goalResponse2__1.solution;
               tmp_2 = isInterface(tmp_3, Yes);
             } else {
               tmp_2 = false;
             }
 
             if (tmp_2) {
-              tmp_1 = moreThanOne(asSequence(this.g3l_1));
+              tmp_1 = moreThanOne(asSequence(this.goals_1));
             } else {
               tmp_1 = false;
             }
 
             if (tmp_1) {
-              this.c8_1 = 4;
+              this.state_1 = 4;
               var tmp_4 = Conjunction_getInstance();
-              var tmp_5 = drop(this.g3l_1, 1);
-              var tmp_6 = tmp0.i8().z30(this.m3l_1);
-              var tmp_7 = this.o3l_1.solution.n1u().minus(this.f3l_1.context.t3d_1);
-              var tmp_8 = this.m3l_1;
-              var tmp_9 = this.o3l_1.sideEffectManager;
-              suspendResult = solveConjunctionGoals(tmp_4, this.e3l_1, this.f3l_1, tmp_5, tmp_6, tmp_7, tmp_8, tmp_9 instanceof SideEffectManagerImpl ? tmp_9 : null, this.l3l_1 || currentHasAlternatives, this);
+              var tmp_5 = drop(this.goals_1, 1);
+              var tmp_6 = tmp0.get_context_h02k06_k$().applyIterable_lkplre_k$(this.currentSideEffects0__1);
+              var tmp_7 = this.goalResponse2__1.solution.get_substitution_i7fi9y_k$().minus(this.mainRequest_1.context.substitution_1);
+              var tmp_8 = this.currentSideEffects0__1;
+              var tmp_9 = this.goalResponse2__1.sideEffectManager;
+              suspendResult = solveConjunctionGoals(tmp_4, this._this__u8e3s4__2, this.mainRequest_1, tmp_5, tmp_6, tmp_7, tmp_8, tmp_9 instanceof SideEffectManagerImpl ? tmp_9 : null, this.previousGoalsHadAlternatives_1 || currentHasAlternatives, this);
               if (suspendResult === get_COROUTINE_SUSPENDED()) {
                 return suspendResult;
               }
@@ -2278,72 +2278,72 @@
             } else {
               var tmp_10;
               var tmp_11;
-              var tmp_12 = this.o3l_1.solution;
+              var tmp_12 = this.goalResponse2__1.solution;
               if (!isInterface(tmp_12, No)) {
                 tmp_11 = true;
               } else {
-                tmp_11 = (!this.l3l_1 && !currentHasAlternatives);
+                tmp_11 = (!this.previousGoalsHadAlternatives_1 && !currentHasAlternatives);
               }
               if (tmp_11) {
                 tmp_10 = true;
               } else {
-                tmp_10 = this.n3l_1;
+                tmp_10 = this.cutExecuted1__1;
               }
               if (tmp_10) {
-                this.c8_1 = 2;
-                suspendResult = this.e3l_1.cd(replyWith(this.f3l_1, this.o3l_1.q2h(VOID, VOID, plus_1(this.j3l_1, this.m3l_1))), this);
+                this.state_1 = 2;
+                suspendResult = this._this__u8e3s4__2.yield_3xhcex_k$(replyWith(this.mainRequest_1, this.goalResponse2__1.copy$default_ezhrq1_k$(VOID, VOID, plus_1(this.accumulatedSideEffects_1, this.currentSideEffects0__1))), this);
                 if (suspendResult === get_COROUTINE_SUSPENDED()) {
                   return suspendResult;
                 }
                 continue $sm;
               } else {
-                this.c8_1 = 3;
+                this.state_1 = 3;
                 continue $sm;
               }
             }
 
           case 2:
-            this.c8_1 = 3;
+            this.state_1 = 3;
             continue $sm;
           case 3:
-            this.c8_1 = 5;
+            this.state_1 = 5;
             continue $sm;
           case 4:
             var sideEffectPair = suspendResult;
             if (sideEffectPair.first) {
-              this.n3l_1 = true;
+              this.cutExecuted1__1 = true;
             }
 
-            this.m3l_1 = sideEffectPair.second;
-            this.c8_1 = 5;
+            this.currentSideEffects0__1 = sideEffectPair.second;
+            this.state_1 = 5;
             continue $sm;
           case 5:
             var tmp_13;
-            if (this.n3l_1) {
+            if (this.cutExecuted1__1) {
               tmp_13 = true;
             } else {
-              var tmp_14 = this.o3l_1.solution;
+              var tmp_14 = this.goalResponse2__1.solution;
               tmp_13 = isInterface(tmp_14, Halt);
             }
 
             if (tmp_13) {
-              return new Pair(true, plus_1(this.j3l_1, this.m3l_1));
+              return new Pair(true, plus_1(this.accumulatedSideEffects_1, this.currentSideEffects0__1));
             }
 
-            this.c8_1 = 1;
+            this.state_1 = 1;
             continue $sm;
           case 6:
-            return new Pair(this.n3l_1, plus_1(this.j3l_1, this.m3l_1));
+            return new Pair(this.cutExecuted1__1, plus_1(this.accumulatedSideEffects_1, this.currentSideEffects0__1));
           case 7:
-            throw this.f8_1;
+            throw this.exception_1;
         }
       } catch ($p) {
         var e = $p;
-        if (this.d8_1 === 7) {
+        if (this.exceptionState_1 === 7) {
           throw e;
         } else {
-          this.c8_1 = this.d8_1;
-          this.f8_1 = e;
+          this.state_1 = this.exceptionState_1;
+          this.exception_1 = e;
         }
       }
      while (true);
@@ -2352,11 +2352,11 @@
     Conjunction_instance = this;
     PrimitiveWrapper_init_$Init$(',', 2, VOID, this);
   }
-  protoOf(Conjunction).i3k = function (request) {
+  protoOf(Conjunction).uncheckedImplementation_mc12qx_k$ = function (request) {
     return sequence(Conjunction$uncheckedImplementation$slambda_0(request, null));
   };
-  protoOf(Conjunction).e2f = function (request) {
-    return this.i3k(request);
+  protoOf(Conjunction).uncheckedImplementation_etwntj_k$ = function (request) {
+    return this.uncheckedImplementation_mc12qx_k$(request);
   };
   var Conjunction_instance;
   function Conjunction_getInstance() {
@@ -2368,12 +2368,12 @@
     Cut_instance = this;
     PrimitiveWrapper_init_$Init$('!', 0, VOID, this);
   }
-  protoOf(Cut).i3k = function (request) {
+  protoOf(Cut).uncheckedImplementation_mc12qx_k$ = function (request) {
     // Inline function 'kotlin.with' call
-    return sequenceOf(request.replySuccess(request.context.t3d_1, request.context.x3d_1.f3e(), []));
+    return sequenceOf(request.replySuccess(request.context.substitution_1, request.context.sideEffectManager_1.cut_24aq_k$(), []));
   };
-  protoOf(Cut).e2f = function (request) {
-    return this.i3k(request);
+  protoOf(Cut).uncheckedImplementation_etwntj_k$ = function (request) {
+    return this.uncheckedImplementation_mc12qx_k$(request);
   };
   var Cut_instance;
   function Cut_getInstance() {
@@ -2382,59 +2382,59 @@
     return Cut_instance;
   }
   function Not$uncheckedImplementation$slambda($request, resultContinuation) {
-    this.l3m_1 = $request;
+    this.$request_1 = $request;
     CoroutineImpl.call(this, resultContinuation);
   }
-  protoOf(Not$uncheckedImplementation$slambda).n2p = function ($this$sequence, $completion) {
-    var tmp = this.o2p($this$sequence, $completion);
-    tmp.e8_1 = Unit_instance;
-    tmp.f8_1 = null;
-    return tmp.k8();
+  protoOf(Not$uncheckedImplementation$slambda).invoke_ze0sv8_k$ = function ($this$sequence, $completion) {
+    var tmp = this.create_ibarao_k$($this$sequence, $completion);
+    tmp.result_1 = Unit_instance;
+    tmp.exception_1 = null;
+    return tmp.doResume_5yljmg_k$();
   };
-  protoOf(Not$uncheckedImplementation$slambda).b9 = function (p1, $completion) {
-    return this.n2p(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
+  protoOf(Not$uncheckedImplementation$slambda).invoke_qns8j1_k$ = function (p1, $completion) {
+    return this.invoke_ze0sv8_k$(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
   };
-  protoOf(Not$uncheckedImplementation$slambda).k8 = function () {
-    var suspendResult = this.e8_1;
+  protoOf(Not$uncheckedImplementation$slambda).doResume_5yljmg_k$ = function () {
+    var suspendResult = this.result_1;
     $sm: do
       try {
-        var tmp = this.c8_1;
+        var tmp = this.state_1;
         switch (tmp) {
           case 0:
-            this.d8_1 = 7;
-            var goalArgument = single(this.l3m_1.arguments);
+            this.exceptionState_1 = 7;
+            var goalArgument = single(this.$request_1.arguments);
             var tmp_0 = Companion_instance_11;
             var tmp_1 = Companion_getInstance_3();
             var this_0 = Call_getInstance();
-            this.n3m_1 = tmp_0.i3d(newSolveRequest(this.l3m_1, tmp_1.of(this_0.signature.name, [goalArgument]))).n();
-            this.c8_1 = 1;
+            this._iterator_0_yqohr0__1 = tmp_0.solveToResponses_lmvh2j_k$(newSolveRequest(this.$request_1, tmp_1.of(this_0.signature.name, [goalArgument]))).iterator_jk1svi_k$();
+            this.state_1 = 1;
             continue $sm;
           case 1:
-            if (!this.n3m_1.q()) {
-              this.c8_1 = 6;
+            if (!this._iterator_0_yqohr0__1.hasNext_bitz1p_k$()) {
+              this.state_1 = 6;
               continue $sm;
             }
 
-            var element = this.n3m_1.r();
+            var element = this._iterator_0_yqohr0__1.next_20eer_k$();
             var tmp0_subject = element.solution;
             if (isInterface(tmp0_subject, Yes)) {
-              this.c8_1 = 5;
-              suspendResult = this.m3m_1.cd(this.l3m_1.replyFail(VOID, []), this);
+              this.state_1 = 5;
+              suspendResult = this.$this$sequence_1.yield_3xhcex_k$(this.$request_1.replyFail(VOID, []), this);
               if (suspendResult === get_COROUTINE_SUSPENDED()) {
                 return suspendResult;
               }
               continue $sm;
             } else {
               if (isInterface(tmp0_subject, No)) {
-                this.c8_1 = 3;
-                suspendResult = this.m3m_1.cd(this.l3m_1.replySuccess(this.l3m_1.context.t3d_1, VOID, []), this);
+                this.state_1 = 3;
+                suspendResult = this.$this$sequence_1.yield_3xhcex_k$(this.$request_1.replySuccess(this.$request_1.context.substitution_1, VOID, []), this);
                 if (suspendResult === get_COROUTINE_SUSPENDED()) {
                   return suspendResult;
                 }
                 continue $sm;
               } else {
-                this.c8_1 = 2;
-                suspendResult = this.m3m_1.cd(replyWith(this.l3m_1, element), this);
+                this.state_1 = 2;
+                suspendResult = this.$this$sequence_1.yield_3xhcex_k$(replyWith(this.$request_1, element), this);
                 if (suspendResult === get_COROUTINE_SUSPENDED()) {
                   return suspendResult;
                 }
@@ -2443,52 +2443,52 @@
             }
 
           case 2:
-            this.c8_1 = 4;
+            this.state_1 = 4;
             continue $sm;
           case 3:
-            this.c8_1 = 4;
+            this.state_1 = 4;
             continue $sm;
           case 4:
-            this.c8_1 = 1;
+            this.state_1 = 1;
             continue $sm;
           case 5:
             return Unit_instance;
           case 6:
             return Unit_instance;
           case 7:
-            throw this.f8_1;
+            throw this.exception_1;
         }
       } catch ($p) {
         var e = $p;
-        if (this.d8_1 === 7) {
+        if (this.exceptionState_1 === 7) {
           throw e;
         } else {
-          this.c8_1 = this.d8_1;
-          this.f8_1 = e;
+          this.state_1 = this.exceptionState_1;
+          this.exception_1 = e;
         }
       }
      while (true);
   };
-  protoOf(Not$uncheckedImplementation$slambda).o2p = function ($this$sequence, completion) {
-    var i = new Not$uncheckedImplementation$slambda(this.l3m_1, completion);
-    i.m3m_1 = $this$sequence;
+  protoOf(Not$uncheckedImplementation$slambda).create_ibarao_k$ = function ($this$sequence, completion) {
+    var i = new Not$uncheckedImplementation$slambda(this.$request_1, completion);
+    i.$this$sequence_1 = $this$sequence;
     return i;
   };
   function Not$uncheckedImplementation$slambda_0($request, resultContinuation) {
     var i = new Not$uncheckedImplementation$slambda($request, resultContinuation);
     return constructCallableReference(function ($this$sequence, $completion) {
-      return i.n2p($this$sequence, $completion);
+      return i.invoke_ze0sv8_k$($this$sequence, $completion);
     }, 1);
   }
   function Not() {
     Not_instance = this;
     PrimitiveWrapper_init_$Init$('\\+', 1, VOID, this);
   }
-  protoOf(Not).i3k = function (request) {
+  protoOf(Not).uncheckedImplementation_mc12qx_k$ = function (request) {
     return sequence(Not$uncheckedImplementation$slambda_0(request, null));
   };
-  protoOf(Not).e2f = function (request) {
-    return this.i3k(request);
+  protoOf(Not).uncheckedImplementation_etwntj_k$ = function (request) {
+    return this.uncheckedImplementation_mc12qx_k$(request);
   };
   var Not_instance;
   function Not_getInstance() {
@@ -2501,20 +2501,20 @@
     var $this$with = isInterface($receiver, Struct) ? $receiver : null;
     var tmp;
     var tmp_0;
-    if (($this$with == null ? null : $this$with.au()) === 'error') {
-      tmp_0 = $this$with.ut() === 2;
+    if (($this$with == null ? null : $this$with.get_functor_75vgt2_k$()) === 'error') {
+      tmp_0 = $this$with.get_arity_iosiic_k$() === 2;
     } else {
       tmp_0 = false;
     }
     if (tmp_0) {
-      var tmp_1 = firstOrNull($this$with.bu());
+      var tmp_1 = firstOrNull($this$with.get_argsList_cw1bs4_k$());
       var tmp0_safe_receiver = (!(tmp_1 == null) ? isInterface(tmp_1, Struct) : false) ? tmp_1 : null;
       var tmp_2;
       if (tmp0_safe_receiver == null) {
         tmp_2 = null;
       } else {
         // Inline function 'kotlin.let' call
-        tmp_2 = new Pair(tmp0_safe_receiver, $this$with.bu().x(1));
+        tmp_2 = new Pair(tmp0_safe_receiver, $this$with.get_argsList_cw1bs4_k$().get_c1px32_k$(1));
       }
       tmp = tmp_2;
     } else {
@@ -2529,8 +2529,8 @@
       tmp = null;
     } else {
       // Inline function 'kotlin.let' call
-      var type = tmp0_safe_receiver.pc();
-      var extra = tmp0_safe_receiver.qc();
+      var type = tmp0_safe_receiver.component1_7eebsc_k$();
+      var extra = tmp0_safe_receiver.component2_7eebsb_k$();
       var tmp1_cause = extractErrorCauseChain(Throw_getInstance(), extra, withContext);
       tmp = Companion_instance_8.of(VOID, tmp1_cause, withContext, type, extra);
     }
@@ -2540,27 +2540,27 @@
     Throw_instance = this;
     NonBacktrackable.call(this, 'throw');
   }
-  protoOf(Throw).q3m = function (_this__u8e3s4, first) {
+  protoOf(Throw).computeOne_ythzuv_k$ = function (_this__u8e3s4, first) {
     var tmp;
     try {
       // Inline function 'kotlin.let' call
-      var throwArgument = single(Companion_getInstance_4().s2e(_this__u8e3s4).arguments).freshCopy();
-      var ancestorCatch = _this__u8e3s4.context.x3d_1.n3e(throwArgument);
+      var throwArgument = single(Companion_getInstance_4().ensuringAllArgumentsAreInstantiated_60kzw2_k$(_this__u8e3s4).arguments).freshCopy();
+      var ancestorCatch = _this__u8e3s4.context.sideEffectManager_1.retrieveAncestorCatchRequest_r27er6_k$(throwArgument);
       var tmp1_safe_receiver = ancestorCatch == null ? null : ancestorCatch.arguments;
-      var tmp2_safe_receiver = tmp1_safe_receiver == null ? null : tmp1_safe_receiver.x(1);
+      var tmp2_safe_receiver = tmp1_safe_receiver == null ? null : tmp1_safe_receiver.get_c1px32_k$(1);
       var tmp_0;
       if (tmp2_safe_receiver == null) {
         tmp_0 = null;
       } else {
         // Inline function 'kotlin.let' call
-        tmp_0 = Companion_getInstance_4().q2f(_this__u8e3s4, tmp2_safe_receiver, throwArgument);
+        tmp_0 = Companion_getInstance_4().mgu_jyyt35_k$(_this__u8e3s4, tmp2_safe_receiver, throwArgument);
       }
       var catcher = tmp_0;
       var tmp_1;
       if (!(catcher == null) ? isInterface(catcher, Unifier) : false) {
-        var tmp_2 = _this__u8e3s4.context.t3d_1.plus(catcher);
+        var tmp_2 = _this__u8e3s4.context.substitution_1.plus(catcher);
         var newSubstitution = isInterface(tmp_2, Unifier) ? tmp_2 : THROW_CCE();
-        tmp_1 = _this__u8e3s4.replySuccess(newSubstitution, _this__u8e3s4.context.x3d_1.o3e(ancestorCatch.context), []);
+        tmp_1 = _this__u8e3s4.replySuccess(newSubstitution, _this__u8e3s4.context.sideEffectManager_1.throwCut_aijtdq_k$(ancestorCatch.context), []);
       } else {
         var errorCause = extractErrorCauseChain(Throw_getInstance(), throwArgument, _this__u8e3s4.context);
         if (!(errorCause == null))
@@ -2581,8 +2581,8 @@
     }
     return tmp;
   };
-  protoOf(Throw).d2i = function (_this__u8e3s4, first) {
-    return this.q3m(_this__u8e3s4, first);
+  protoOf(Throw).computeOne_2tedul_k$ = function (_this__u8e3s4, first) {
+    return this.computeOne_ythzuv_k$(_this__u8e3s4, first);
   };
   var Throw_instance;
   function Throw_getInstance() {
@@ -2601,39 +2601,39 @@
   protoOf(StreamsSolver).solveOnce = solveOnce;
   protoOf(StreamsSolver).solveOnceWithOptions = solveOnceWithOptions;
   protoOf(StreamsSolver).clone = clone;
-  protoOf(StreamsSolver).b1v = get_standardInput;
-  protoOf(StreamsSolver).c1v = get_standardOutput;
-  protoOf(StreamsSolver).d1v = get_standardError;
-  protoOf(StreamsSolver).e1v = get_warnings;
+  protoOf(StreamsSolver).get_standardInput_yibe3g_k$ = get_standardInput;
+  protoOf(StreamsSolver).get_standardOutput_1cxkgp_k$ = get_standardOutput;
+  protoOf(StreamsSolver).get_standardError_ykfz6m_k$ = get_standardError;
+  protoOf(StreamsSolver).get_warnings_nkdx40_k$ = get_warnings;
   protoOf(StreamsSolverFactory).rawSolverOf = rawSolverOf;
   protoOf(StreamsSolverFactory).solverOf = solverOf;
   protoOf(StreamsSolverFactory).mutableSolverOf = mutableSolverOf;
   protoOf(StreamsSolverFactory).rawMutableSolverOf = rawMutableSolverOf;
   protoOf(StreamsSolverFactory).newBuilder = newBuilder;
-  protoOf(StreamsSolverFactory).c1x = get_defaultRuntime;
-  protoOf(StreamsSolverFactory).e1x = get_defaultUnificator;
-  protoOf(StreamsSolverFactory).f1x = get_defaultFlags;
-  protoOf(StreamsSolverFactory).i1x = get_defaultStaticKb;
-  protoOf(StreamsSolverFactory).j1x = get_defaultDynamicKb;
-  protoOf(StreamsSolverFactory).k1x = get_defaultInputChannel;
-  protoOf(StreamsSolverFactory).l1x = get_defaultOutputChannel;
-  protoOf(StreamsSolverFactory).m1x = get_defaultErrorChannel;
-  protoOf(StreamsSolverFactory).n1x = get_defaultWarningsChannel;
-  protoOf(StreamsSolverFactory).v1x = solverWithDefaultBuiltins;
+  protoOf(StreamsSolverFactory).get_defaultRuntime_l4gjfk_k$ = get_defaultRuntime;
+  protoOf(StreamsSolverFactory).get_defaultUnificator_ub4hy6_k$ = get_defaultUnificator;
+  protoOf(StreamsSolverFactory).get_defaultFlags_6lgyr5_k$ = get_defaultFlags;
+  protoOf(StreamsSolverFactory).get_defaultStaticKb_njv4d9_k$ = get_defaultStaticKb;
+  protoOf(StreamsSolverFactory).get_defaultDynamicKb_ctuo3i_k$ = get_defaultDynamicKb;
+  protoOf(StreamsSolverFactory).get_defaultInputChannel_2ryi7j_k$ = get_defaultInputChannel;
+  protoOf(StreamsSolverFactory).get_defaultOutputChannel_bnwwa_k$ = get_defaultOutputChannel;
+  protoOf(StreamsSolverFactory).get_defaultErrorChannel_ezdmst_k$ = get_defaultErrorChannel;
+  protoOf(StreamsSolverFactory).get_defaultWarningsChannel_rdf4c_k$ = get_defaultWarningsChannel;
+  protoOf(StreamsSolverFactory).solverWithDefaultBuiltins_tcha89_k$ = solverWithDefaultBuiltins;
   protoOf(StreamsSolverFactory).solverWithDefaultBuiltinsAnd = solverWithDefaultBuiltinsAnd;
-  protoOf(StreamsSolverFactory).x1x = mutableSolverWithDefaultBuiltins;
+  protoOf(StreamsSolverFactory).mutableSolverWithDefaultBuiltins_bc3d81_k$ = mutableSolverWithDefaultBuiltins;
   protoOf(StreamsSolverFactory).mutableSolverWithDefaultBuiltinsAnd = mutableSolverWithDefaultBuiltinsAnd;
   protoOf(StreamsExecutionContext).createSolver = createSolver;
   protoOf(StreamsExecutionContext).createMutableSolver = createMutableSolver;
   protoOf(StreamsExecutionContext).update = update;
-  protoOf(StreamsExecutionContext).b1v = get_standardInput;
-  protoOf(StreamsExecutionContext).c1v = get_standardOutput;
-  protoOf(StreamsExecutionContext).d1v = get_standardError;
-  protoOf(StreamsExecutionContext).e1v = get_warnings;
-  protoOf(StreamsExecutionContext).i1u = get_endTime;
-  protoOf(StreamsExecutionContext).k1u = get_remainingTime;
-  protoOf(StreamsExecutionContext).l1u = get_elapsedTime;
-  protoOf(AbstractTimedState).i8 = get_context;
+  protoOf(StreamsExecutionContext).get_standardInput_yibe3g_k$ = get_standardInput;
+  protoOf(StreamsExecutionContext).get_standardOutput_1cxkgp_k$ = get_standardOutput;
+  protoOf(StreamsExecutionContext).get_standardError_ykfz6m_k$ = get_standardError;
+  protoOf(StreamsExecutionContext).get_warnings_nkdx40_k$ = get_warnings;
+  protoOf(StreamsExecutionContext).get_endTime_pbcuqp_k$ = get_endTime;
+  protoOf(StreamsExecutionContext).get_remainingTime_6e6md6_k$ = get_remainingTime;
+  protoOf(StreamsExecutionContext).get_elapsedTime_5vfaps_k$ = get_elapsedTime;
+  protoOf(AbstractTimedState).get_context_h02k06_k$ = get_context;
   //endregion
   //region block: init
   Companion_instance_11 = new Companion_0();