@tuprolog/2p-full 0.31.21 → 0.32.0

package/2p-solve-streams.js

@@ -1,11 +1,11 @@
 (function (root, factory) {
   if (typeof define === 'function' && define.amd)
-    define(['exports', './kotlin-kotlin-stdlib-js-ir.js', './2p-unify.js', './2p-solve.js', './2p-theory.js', './2p-utils.js', './2p-core.js'], factory);
+    define(['exports', './kotlin-kotlin-stdlib.js', './2p-unify.js', './2p-solve.js', './2p-theory.js', './2p-utils.js', './2p-core.js'], factory);
   else if (typeof exports === 'object')
-    factory(module.exports, require('./kotlin-kotlin-stdlib-js-ir.js'), require('./2p-unify.js'), require('./2p-solve.js'), require('./2p-theory.js'), require('./2p-utils.js'), require('./2p-core.js'));
+    factory(module.exports, require('./kotlin-kotlin-stdlib.js'), require('./2p-unify.js'), require('./2p-solve.js'), require('./2p-theory.js'), require('./2p-utils.js'), require('./2p-core.js'));
   else {
-    if (typeof this['kotlin-kotlin-stdlib-js-ir'] === 'undefined') {
-      throw new Error("Error loading module '2p-solve-streams'. Its dependency 'kotlin-kotlin-stdlib-js-ir' was not found. Please, check whether 'kotlin-kotlin-stdlib-js-ir' is loaded prior to '2p-solve-streams'.");
+    if (typeof this['kotlin-kotlin-stdlib'] === 'undefined') {
+      throw new Error("Error loading module '2p-solve-streams'. Its dependency 'kotlin-kotlin-stdlib' was not found. Please, check whether 'kotlin-kotlin-stdlib' is loaded prior to '2p-solve-streams'.");
     }
     if (typeof this['2p-unify'] === 'undefined') {
       throw new Error("Error loading module '2p-solve-streams'. Its dependency '2p-unify' was not found. Please, check whether '2p-unify' is loaded prior to '2p-solve-streams'.");
@@ -22,167 +22,162 @@
     if (typeof this['2p-core'] === 'undefined') {
       throw new Error("Error loading module '2p-solve-streams'. Its dependency '2p-core' was not found. Please, check whether '2p-core' is loaded prior to '2p-solve-streams'.");
     }
-    root['2p-solve-streams'] = factory(typeof this['2p-solve-streams'] === 'undefined' ? {} : this['2p-solve-streams'], this['kotlin-kotlin-stdlib-js-ir'], this['2p-unify'], this['2p-solve'], this['2p-theory'], this['2p-utils'], this['2p-core']);
+    root['2p-solve-streams'] = factory(typeof this['2p-solve-streams'] === 'undefined' ? {} : this['2p-solve-streams'], this['kotlin-kotlin-stdlib'], this['2p-unify'], this['2p-solve'], this['2p-theory'], this['2p-utils'], this['2p-core']);
   }
 }(this, function (_, kotlin_kotlin, kotlin_it_unibo_tuprolog_unify, kotlin_it_unibo_tuprolog_solve, kotlin_it_unibo_tuprolog_theory, kotlin_it_unibo_tuprolog_utils, kotlin_it_unibo_tuprolog_core) {
   'use strict';
   //region block: imports
   var imul = Math.imul;
-  var first = kotlin_kotlin.$_$.e8;
-  var protoOf = kotlin_kotlin.$_$.s6;
-  var classMeta = kotlin_kotlin.$_$.t5;
-  var VOID = kotlin_kotlin.$_$.gc;
-  var setMetadataFor = kotlin_kotlin.$_$.t6;
-  var objectMeta = kotlin_kotlin.$_$.r6;
-  var isInterface = kotlin_kotlin.$_$.g6;
+  var first = kotlin_kotlin.$_$.g8;
+  var protoOf = kotlin_kotlin.$_$.u6;
+  var classMeta = kotlin_kotlin.$_$.v5;
+  var setMetadataFor = kotlin_kotlin.$_$.v6;
+  var VOID = kotlin_kotlin.$_$.d;
+  var objectMeta = kotlin_kotlin.$_$.t6;
+  var isInterface = kotlin_kotlin.$_$.j6;
   var Companion_getInstance = kotlin_it_unibo_tuprolog_unify.$_$.a;
-  var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_solve.$_$.d2;
-  var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_solve.$_$.y1;
-  var Companion_getInstance_2 = kotlin_it_unibo_tuprolog_theory.$_$.b;
-  var Companion_getInstance_3 = kotlin_it_unibo_tuprolog_theory.$_$.a;
-  var Companion_getInstance_4 = kotlin_it_unibo_tuprolog_solve.$_$.j1;
-  var Companion_getInstance_5 = kotlin_it_unibo_tuprolog_solve.$_$.l1;
-  var Companion_getInstance_6 = kotlin_it_unibo_tuprolog_solve.$_$.k1;
-  var Companion_getInstance_7 = kotlin_it_unibo_tuprolog_solve.$_$.m1;
-  var objectCreate = kotlin_kotlin.$_$.q6;
-  var filter = kotlin_kotlin.$_$.c8;
-  var THROW_CCE = kotlin_kotlin.$_$.tb;
-  var Sequence = kotlin_kotlin.$_$.q7;
-  var Unit_getInstance = kotlin_kotlin.$_$.v1;
-  var map = kotlin_kotlin.$_$.o8;
-  var getAllOperators = kotlin_it_unibo_tuprolog_solve.$_$.t5;
-  var toOperatorSet = kotlin_it_unibo_tuprolog_solve.$_$.v5;
-  var extractSignature = kotlin_it_unibo_tuprolog_solve.$_$.s5;
-  var Request = kotlin_it_unibo_tuprolog_solve.$_$.m3;
-  var take = kotlin_kotlin.$_$.y8;
+  var Companion_instance = kotlin_it_unibo_tuprolog_solve.$_$.d2;
+  var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_solve.$_$.y1;
+  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.$_$.j1;
+  var Companion_instance_3 = kotlin_it_unibo_tuprolog_solve.$_$.l1;
+  var Companion_instance_4 = kotlin_it_unibo_tuprolog_solve.$_$.k1;
+  var Companion_instance_5 = kotlin_it_unibo_tuprolog_solve.$_$.m1;
+  var objectCreate = kotlin_kotlin.$_$.s6;
+  var filter = kotlin_kotlin.$_$.e8;
+  var THROW_CCE = kotlin_kotlin.$_$.vb;
+  var Sequence = kotlin_kotlin.$_$.s7;
+  var map = kotlin_kotlin.$_$.q8;
+  var Unit_instance = kotlin_kotlin.$_$.y1;
+  var getAllOperators = kotlin_it_unibo_tuprolog_solve.$_$.n5;
+  var toOperatorSet = kotlin_it_unibo_tuprolog_solve.$_$.p5;
+  var extractSignature = kotlin_it_unibo_tuprolog_solve.$_$.m5;
+  var Request = kotlin_it_unibo_tuprolog_solve.$_$.g3;
+  var take = kotlin_kotlin.$_$.a9;
   var buffered = kotlin_it_unibo_tuprolog_utils.$_$.q;
   var copy = kotlin_it_unibo_tuprolog_solve.$_$.u;
-  var solveWithTimeout = kotlin_it_unibo_tuprolog_solve.$_$.b5;
-  var solve = kotlin_it_unibo_tuprolog_solve.$_$.c5;
-  var solveListWithTimeout = kotlin_it_unibo_tuprolog_solve.$_$.w4;
-  var solveList = kotlin_it_unibo_tuprolog_solve.$_$.v4;
-  var solveListWithOptions = kotlin_it_unibo_tuprolog_solve.$_$.x4;
-  var solveOnceWithTimeout = kotlin_it_unibo_tuprolog_solve.$_$.y4;
-  var solveOnce = kotlin_it_unibo_tuprolog_solve.$_$.a5;
-  var solveOnceWithOptions = kotlin_it_unibo_tuprolog_solve.$_$.z4;
-  var clone = kotlin_it_unibo_tuprolog_solve.$_$.u4;
-  var get_standardInput = kotlin_it_unibo_tuprolog_solve.$_$.f4;
-  var get_standardOutput = kotlin_it_unibo_tuprolog_solve.$_$.g4;
-  var get_standardError = kotlin_it_unibo_tuprolog_solve.$_$.e4;
-  var get_warnings = kotlin_it_unibo_tuprolog_solve.$_$.h4;
-  var Solver = kotlin_it_unibo_tuprolog_solve.$_$.q5;
+  var solveWithTimeout = kotlin_it_unibo_tuprolog_solve.$_$.v4;
+  var solve = kotlin_it_unibo_tuprolog_solve.$_$.w4;
+  var solveListWithTimeout = kotlin_it_unibo_tuprolog_solve.$_$.q4;
+  var solveList = kotlin_it_unibo_tuprolog_solve.$_$.p4;
+  var solveListWithOptions = kotlin_it_unibo_tuprolog_solve.$_$.r4;
+  var solveOnceWithTimeout = kotlin_it_unibo_tuprolog_solve.$_$.s4;
+  var solveOnce = kotlin_it_unibo_tuprolog_solve.$_$.u4;
+  var solveOnceWithOptions = kotlin_it_unibo_tuprolog_solve.$_$.t4;
+  var clone = kotlin_it_unibo_tuprolog_solve.$_$.o4;
+  var get_standardInput = kotlin_it_unibo_tuprolog_solve.$_$.z3;
+  var get_standardOutput = kotlin_it_unibo_tuprolog_solve.$_$.a4;
+  var get_standardError = kotlin_it_unibo_tuprolog_solve.$_$.y3;
+  var get_warnings = kotlin_it_unibo_tuprolog_solve.$_$.b4;
+  var Solver = kotlin_it_unibo_tuprolog_solve.$_$.k5;
   var rawSolverOf = kotlin_it_unibo_tuprolog_solve.$_$.z;
   var solverOf = kotlin_it_unibo_tuprolog_solve.$_$.y;
-  var NotImplementedError = kotlin_kotlin.$_$.ob;
+  var NotImplementedError = kotlin_kotlin.$_$.qb;
   var mutableSolverOf = kotlin_it_unibo_tuprolog_solve.$_$.v;
   var rawMutableSolverOf = kotlin_it_unibo_tuprolog_solve.$_$.w;
-  var newBuilder = kotlin_it_unibo_tuprolog_solve.$_$.n5;
-  var get_defaultRuntime = kotlin_it_unibo_tuprolog_solve.$_$.i5;
-  var get_defaultUnificator = kotlin_it_unibo_tuprolog_solve.$_$.k5;
-  var get_defaultFlags = kotlin_it_unibo_tuprolog_solve.$_$.f5;
-  var get_defaultStaticKb = kotlin_it_unibo_tuprolog_solve.$_$.j5;
-  var get_defaultDynamicKb = kotlin_it_unibo_tuprolog_solve.$_$.d5;
-  var get_defaultInputChannel = kotlin_it_unibo_tuprolog_solve.$_$.g5;
-  var get_defaultOutputChannel = kotlin_it_unibo_tuprolog_solve.$_$.h5;
-  var get_defaultErrorChannel = kotlin_it_unibo_tuprolog_solve.$_$.e5;
-  var get_defaultWarningsChannel = kotlin_it_unibo_tuprolog_solve.$_$.l5;
-  var solverWithDefaultBuiltins = kotlin_it_unibo_tuprolog_solve.$_$.o5;
+  var newBuilder = kotlin_it_unibo_tuprolog_solve.$_$.h5;
+  var get_defaultRuntime = kotlin_it_unibo_tuprolog_solve.$_$.c5;
+  var get_defaultUnificator = kotlin_it_unibo_tuprolog_solve.$_$.e5;
+  var get_defaultFlags = kotlin_it_unibo_tuprolog_solve.$_$.z4;
+  var get_defaultStaticKb = kotlin_it_unibo_tuprolog_solve.$_$.d5;
+  var get_defaultDynamicKb = kotlin_it_unibo_tuprolog_solve.$_$.x4;
+  var get_defaultInputChannel = kotlin_it_unibo_tuprolog_solve.$_$.a5;
+  var get_defaultOutputChannel = kotlin_it_unibo_tuprolog_solve.$_$.b5;
+  var get_defaultErrorChannel = kotlin_it_unibo_tuprolog_solve.$_$.y4;
+  var get_defaultWarningsChannel = kotlin_it_unibo_tuprolog_solve.$_$.f5;
+  var solverWithDefaultBuiltins = kotlin_it_unibo_tuprolog_solve.$_$.i5;
   var solverWithDefaultBuiltinsAnd = kotlin_it_unibo_tuprolog_solve.$_$.a1;
-  var mutableSolverWithDefaultBuiltins = kotlin_it_unibo_tuprolog_solve.$_$.m5;
+  var mutableSolverWithDefaultBuiltins = kotlin_it_unibo_tuprolog_solve.$_$.g5;
   var mutableSolverWithDefaultBuiltinsAnd = kotlin_it_unibo_tuprolog_solve.$_$.x;
-  var SolverFactory = kotlin_it_unibo_tuprolog_solve.$_$.p5;
-  var defineProp = kotlin_kotlin.$_$.v5;
-  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.f;
-  var firstOrNull = kotlin_kotlin.$_$.a3;
-  var emptyList = kotlin_kotlin.$_$.w2;
-  var emptySequence = kotlin_kotlin.$_$.y7;
-  var plus = kotlin_kotlin.$_$.t8;
-  var toMutableList = kotlin_kotlin.$_$.a5;
-  var first_0 = kotlin_kotlin.$_$.b3;
-  var listOf = kotlin_kotlin.$_$.o3;
-  var lastOrNull = kotlin_kotlin.$_$.k3;
-  var contains = kotlin_kotlin.$_$.u7;
-  var equals = kotlin_kotlin.$_$.w5;
-  var plus_0 = kotlin_kotlin.$_$.r8;
-  var Collection = kotlin_kotlin.$_$.x1;
-  var hashCode = kotlin_kotlin.$_$.b6;
-  var Companion_getInstance_8 = kotlin_it_unibo_tuprolog_core.$_$.t;
-  var copyToArray = kotlin_kotlin.$_$.t2;
-  var Companion_getInstance_9 = kotlin_it_unibo_tuprolog_core.$_$.e1;
+  var SolverFactory = kotlin_it_unibo_tuprolog_solve.$_$.j5;
+  var defineProp = kotlin_kotlin.$_$.x5;
+  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.g;
+  var firstOrNull = kotlin_kotlin.$_$.d3;
+  var emptyList = kotlin_kotlin.$_$.z2;
+  var emptySequence = kotlin_kotlin.$_$.a8;
+  var plus = kotlin_kotlin.$_$.v8;
+  var toMutableList = kotlin_kotlin.$_$.c5;
+  var first_0 = kotlin_kotlin.$_$.e3;
+  var listOf = kotlin_kotlin.$_$.r3;
+  var lastOrNull = kotlin_kotlin.$_$.n3;
+  var contains = kotlin_kotlin.$_$.w7;
+  var equals = kotlin_kotlin.$_$.y5;
+  var plus_0 = kotlin_kotlin.$_$.t8;
+  var Collection = kotlin_kotlin.$_$.a2;
+  var hashCode = kotlin_kotlin.$_$.e6;
+  var getBooleanHashCode = kotlin_kotlin.$_$.a6;
+  var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_core.$_$.t;
+  var copyToArray = kotlin_kotlin.$_$.w2;
+  var Companion_getInstance_2 = kotlin_it_unibo_tuprolog_core.$_$.e1;
   var Unifier = kotlin_it_unibo_tuprolog_core.$_$.a2;
-  var Companion_getInstance_10 = kotlin_it_unibo_tuprolog_core.$_$.u;
+  var Companion_instance_6 = kotlin_it_unibo_tuprolog_core.$_$.u;
   var prepareForExecution = kotlin_it_unibo_tuprolog_core.$_$.e3;
-  var single = kotlin_kotlin.$_$.m4;
-  var any = kotlin_kotlin.$_$.r7;
-  var sequence = kotlin_kotlin.$_$.v8;
-  var drop = kotlin_kotlin.$_$.v2;
-  var plus_1 = kotlin_kotlin.$_$.h4;
-  var indexOf = kotlin_kotlin.$_$.i8;
-  var CoroutineImpl = kotlin_kotlin.$_$.j5;
-  var SequenceScope = kotlin_kotlin.$_$.p7;
-  var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.i5;
-  var filterIndexed = kotlin_kotlin.$_$.z7;
-  var asSequence = kotlin_kotlin.$_$.k2;
-  var toList = kotlin_kotlin.$_$.b9;
-  var Companion_getInstance_11 = kotlin_it_unibo_tuprolog_solve.$_$.n1;
-  var currentTimeInstant = kotlin_it_unibo_tuprolog_solve.$_$.r5;
-  var Companion_getInstance_12 = kotlin_kotlin.$_$.u1;
-  var Long = kotlin_kotlin.$_$.nb;
-  var lazy = kotlin_kotlin.$_$.yb;
-  var collectionSizeOrDefault = kotlin_kotlin.$_$.n2;
-  var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.e;
+  var single = kotlin_kotlin.$_$.p4;
+  var any = kotlin_kotlin.$_$.t7;
+  var sequence = kotlin_kotlin.$_$.x8;
+  var drop = kotlin_kotlin.$_$.y2;
+  var plus_1 = kotlin_kotlin.$_$.k4;
+  var indexOf = kotlin_kotlin.$_$.k8;
+  var CoroutineImpl = kotlin_kotlin.$_$.l5;
+  var SequenceScope = kotlin_kotlin.$_$.r7;
+  var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.k5;
+  var filterIndexed = kotlin_kotlin.$_$.b8;
+  var asSequence = kotlin_kotlin.$_$.n2;
+  var toList = kotlin_kotlin.$_$.d9;
+  var Companion_instance_7 = kotlin_it_unibo_tuprolog_solve.$_$.n1;
+  var currentTimeInstant = kotlin_it_unibo_tuprolog_solve.$_$.l5;
+  var Companion_getInstance_3 = kotlin_kotlin.$_$.x1;
+  var Long = kotlin_kotlin.$_$.pb;
+  var lazy = kotlin_kotlin.$_$.ac;
+  var collectionSizeOrDefault = kotlin_kotlin.$_$.q2;
+  var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.f;
   var createSolver = kotlin_it_unibo_tuprolog_solve.$_$.s;
   var createMutableSolver = kotlin_it_unibo_tuprolog_solve.$_$.r;
-  var apply = kotlin_it_unibo_tuprolog_solve.$_$.c4;
-  var applyIterable = kotlin_it_unibo_tuprolog_solve.$_$.b4;
-  var applySequence = kotlin_it_unibo_tuprolog_solve.$_$.d4;
+  var apply = kotlin_it_unibo_tuprolog_solve.$_$.w3;
+  var applyIterable = kotlin_it_unibo_tuprolog_solve.$_$.v3;
+  var applySequence = kotlin_it_unibo_tuprolog_solve.$_$.x3;
   var update = kotlin_it_unibo_tuprolog_solve.$_$.t;
-  var toString = kotlin_kotlin.$_$.x6;
-  var get_endTime = kotlin_it_unibo_tuprolog_solve.$_$.z3;
-  var get_remainingTime = kotlin_it_unibo_tuprolog_solve.$_$.a4;
-  var get_elapsedTime = kotlin_it_unibo_tuprolog_solve.$_$.y3;
-  var ExecutionContext = kotlin_it_unibo_tuprolog_solve.$_$.i4;
-  var KProperty1 = kotlin_kotlin.$_$.o7;
-  var getPropertyCallableRef = kotlin_kotlin.$_$.z5;
-  var interfaceMeta = kotlin_kotlin.$_$.c6;
-  var sequenceOf = kotlin_kotlin.$_$.u8;
-  var drop_0 = kotlin_kotlin.$_$.x7;
+  var get_endTime = kotlin_it_unibo_tuprolog_solve.$_$.t3;
+  var get_remainingTime = kotlin_it_unibo_tuprolog_solve.$_$.u3;
+  var get_elapsedTime = kotlin_it_unibo_tuprolog_solve.$_$.s3;
+  var ExecutionContext = kotlin_it_unibo_tuprolog_solve.$_$.c4;
+  var KProperty1 = kotlin_kotlin.$_$.q7;
+  var getPropertyCallableRef = kotlin_kotlin.$_$.c6;
+  var interfaceMeta = kotlin_kotlin.$_$.f6;
+  var sequenceOf = kotlin_kotlin.$_$.w8;
+  var drop_0 = kotlin_kotlin.$_$.z7;
   var TimeOutException_init_$Create$ = kotlin_it_unibo_tuprolog_solve.$_$.e1;
   var getKClassFromExpression = kotlin_kotlin.$_$.b;
-  var Halt = kotlin_it_unibo_tuprolog_solve.$_$.r4;
-  var Yes = kotlin_it_unibo_tuprolog_solve.$_$.t4;
-  var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.t;
-  var No = kotlin_it_unibo_tuprolog_solve.$_$.s4;
-  var Companion_getInstance_13 = kotlin_it_unibo_tuprolog_core.$_$.d1;
+  var Halt = kotlin_it_unibo_tuprolog_solve.$_$.l4;
+  var Yes = kotlin_it_unibo_tuprolog_solve.$_$.n4;
+  var toString = kotlin_kotlin.$_$.z6;
+  var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.v;
+  var No = kotlin_it_unibo_tuprolog_solve.$_$.m4;
+  var Companion_getInstance_4 = kotlin_it_unibo_tuprolog_core.$_$.d1;
   var LogicError = kotlin_it_unibo_tuprolog_solve.$_$.s2;
   var HaltException = kotlin_it_unibo_tuprolog_solve.$_$.r2;
-  var flatMap = kotlin_kotlin.$_$.f8;
-  var asIterable = kotlin_kotlin.$_$.s7;
+  var flatMap = kotlin_kotlin.$_$.h8;
+  var asIterable = kotlin_kotlin.$_$.u7;
   var Rule = kotlin_it_unibo_tuprolog_core.$_$.y1;
-  var none = kotlin_kotlin.$_$.q8;
+  var none = kotlin_kotlin.$_$.s8;
   var Struct = kotlin_it_unibo_tuprolog_core.$_$.z1;
   var ExtensionLibrary = kotlin_it_unibo_tuprolog_solve.$_$.x2;
   var CommonBuiltins_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.j2;
-  var listOf_0 = kotlin_kotlin.$_$.p3;
-  var containsSignature = kotlin_it_unibo_tuprolog_solve.$_$.z2;
-  var containsOperator = kotlin_it_unibo_tuprolog_solve.$_$.y2;
-  var hasPrimitive = kotlin_it_unibo_tuprolog_solve.$_$.b3;
-  var hasFunction = kotlin_it_unibo_tuprolog_solve.$_$.a3;
-  var get_ruleSignatures = kotlin_it_unibo_tuprolog_solve.$_$.d3;
-  var hasProtected = kotlin_it_unibo_tuprolog_solve.$_$.c3;
-  var PrimitiveWrapper = kotlin_it_unibo_tuprolog_solve.$_$.j3;
+  var listOf_0 = kotlin_kotlin.$_$.s3;
+  var PrimitiveWrapper = kotlin_it_unibo_tuprolog_solve.$_$.d3;
   var PrimitiveWrapper_init_$Init$ = kotlin_it_unibo_tuprolog_solve.$_$.f1;
-  var Companion_getInstance_14 = kotlin_it_unibo_tuprolog_solve.$_$.e2;
+  var Companion_getInstance_5 = kotlin_it_unibo_tuprolog_solve.$_$.e2;
   var Expected_CALLABLE_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.k;
   var TypeError_init_$Create$ = kotlin_it_unibo_tuprolog_solve.$_$.b1;
-  var last = kotlin_kotlin.$_$.l3;
-  var first_1 = kotlin_kotlin.$_$.c3;
-  var Pair = kotlin_kotlin.$_$.rb;
-  var Companion_getInstance_15 = kotlin_it_unibo_tuprolog_core.$_$.h1;
-  var ErrorUtils_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.p1;
-  var Companion_getInstance_16 = kotlin_it_unibo_tuprolog_solve.$_$.x1;
-  var NonBacktrackable = kotlin_it_unibo_tuprolog_solve.$_$.t3;
-  var Companion_getInstance_17 = kotlin_it_unibo_tuprolog_solve.$_$.v1;
+  var last = kotlin_kotlin.$_$.o3;
+  var first_1 = kotlin_kotlin.$_$.f3;
+  var Pair = kotlin_kotlin.$_$.tb;
+  var Companion_instance_8 = kotlin_it_unibo_tuprolog_core.$_$.h1;
+  var ErrorUtils_instance = kotlin_it_unibo_tuprolog_solve.$_$.p1;
+  var Companion_instance_9 = kotlin_it_unibo_tuprolog_solve.$_$.x1;
+  var NonBacktrackable = kotlin_it_unibo_tuprolog_solve.$_$.n3;
+  var Companion_instance_10 = kotlin_it_unibo_tuprolog_solve.$_$.v1;
   //endregion
   //region block: pre-declaration
   setMetadataFor(SolverStrategies$Companion$prologStandard$1, VOID, classMeta);
@@ -190,18 +185,18 @@
   setMetadataFor(Companion_0, 'Companion', objectMeta);
   setMetadataFor(StreamsSolver, 'StreamsSolver', classMeta, VOID, [Solver]);
   setMetadataFor(StreamsSolverFactory, 'StreamsSolverFactory', objectMeta, VOID, [SolverFactory]);
-  setMetadataFor(SideEffectManagerImpl, 'SideEffectManagerImpl', classMeta);
-  setMetadataFor(orderWithStrategy$slambda, 'orderWithStrategy$slambda', classMeta, CoroutineImpl, VOID, VOID, VOID, [1]);
-  setMetadataFor(StreamsExecutionContext, 'StreamsExecutionContext', classMeta, VOID, [ExecutionContext]);
+  setMetadataFor(SideEffectManagerImpl, 'SideEffectManagerImpl', classMeta, VOID, VOID, SideEffectManagerImpl);
+  setMetadataFor(orderWithStrategy$slambda, 'orderWithStrategy$slambda', classMeta, CoroutineImpl, VOID, VOID, VOID, VOID, [1]);
+  setMetadataFor(StreamsExecutionContext, 'StreamsExecutionContext', classMeta, VOID, [ExecutionContext], StreamsExecutionContext);
   setMetadataFor(AbstractState, 'AbstractState', classMeta);
   setMetadataFor(AlreadyExecutedState, 'AlreadyExecutedState', classMeta);
   setMetadataFor(FinalState, 'FinalState', interfaceMeta);
   function get_context() {
-    var tmp = this.c4a().context;
+    var tmp = this.f4b().context;
     return tmp instanceof StreamsExecutionContext ? tmp : THROW_CCE();
   }
   setMetadataFor(IntermediateState, 'IntermediateState', interfaceMeta);
-  setMetadataFor(StateMachineExecutor$internalExecute$slambda, 'StateMachineExecutor$internalExecute$slambda', classMeta, CoroutineImpl, VOID, VOID, VOID, [1]);
+  setMetadataFor(StateMachineExecutor$internalExecute$slambda, 'StateMachineExecutor$internalExecute$slambda', classMeta, CoroutineImpl, VOID, VOID, VOID, VOID, [1]);
   setMetadataFor(StateMachineExecutor, 'StateMachineExecutor', objectMeta);
   setMetadataFor(Companion_1, 'Companion', objectMeta);
   setMetadataFor(AbstractTimedState, 'AbstractTimedState', classMeta, AbstractState, [AbstractState, IntermediateState]);
@@ -210,228 +205,206 @@
   setMetadataFor(False, 'False', classMeta, StateEnd, [StateEnd, FinalState]);
   setMetadataFor(Halt_0, 'Halt', classMeta, StateEnd, [StateEnd, FinalState]);
   setMetadataFor(Companion_2, 'Companion', objectMeta);
-  setMetadataFor(StateGoalEvaluation$behaveTimed$slambda, 'StateGoalEvaluation$behaveTimed$slambda', classMeta, CoroutineImpl, VOID, VOID, VOID, [1]);
+  setMetadataFor(StateGoalEvaluation$behaveTimed$slambda, 'StateGoalEvaluation$behaveTimed$slambda', classMeta, CoroutineImpl, VOID, VOID, VOID, VOID, [1]);
   setMetadataFor(StateGoalEvaluation, 'StateGoalEvaluation', classMeta, AbstractTimedState);
-  setMetadataFor(StateInit$behaveTimed$slambda, 'StateInit$behaveTimed$slambda', classMeta, CoroutineImpl, VOID, VOID, VOID, [1]);
+  setMetadataFor(StateInit$behaveTimed$slambda, 'StateInit$behaveTimed$slambda', classMeta, CoroutineImpl, VOID, VOID, VOID, VOID, [1]);
   setMetadataFor(StateInit, 'StateInit', classMeta, AbstractTimedState);
   setMetadataFor(Companion_3, 'Companion', objectMeta);
-  setMetadataFor(StateRuleSelection$behaveTimed$slambda, 'StateRuleSelection$behaveTimed$slambda', classMeta, CoroutineImpl, VOID, VOID, VOID, [1]);
+  setMetadataFor(StateRuleSelection$behaveTimed$slambda, 'StateRuleSelection$behaveTimed$slambda', classMeta, CoroutineImpl, VOID, VOID, VOID, VOID, [1]);
   setMetadataFor(StateRuleSelection, 'StateRuleSelection', classMeta, AbstractTimedState);
   setMetadataFor(DefaultBuiltins, 'DefaultBuiltins', objectMeta, ExtensionLibrary);
   setMetadataFor(Call, 'Call', objectMeta, PrimitiveWrapper);
-  setMetadataFor(Catch$uncheckedImplementation$slambda, 'Catch$uncheckedImplementation$slambda', classMeta, CoroutineImpl, VOID, VOID, VOID, [1]);
+  setMetadataFor(Catch$uncheckedImplementation$slambda, 'Catch$uncheckedImplementation$slambda', classMeta, CoroutineImpl, VOID, VOID, VOID, VOID, [1]);
   setMetadataFor(Catch, 'Catch', objectMeta, PrimitiveWrapper);
-  setMetadataFor(Conjunction$uncheckedImplementation$slambda, 'Conjunction$uncheckedImplementation$slambda', classMeta, CoroutineImpl, VOID, VOID, VOID, [1]);
+  setMetadataFor(Conjunction$uncheckedImplementation$slambda, 'Conjunction$uncheckedImplementation$slambda', classMeta, CoroutineImpl, VOID, VOID, VOID, VOID, [1]);
   setMetadataFor($solveConjunctionGoalsCOROUTINE$0, '$solveConjunctionGoalsCOROUTINE$0', classMeta, CoroutineImpl);
-  setMetadataFor(Conjunction, 'Conjunction', objectMeta, PrimitiveWrapper, VOID, VOID, VOID, [7]);
+  setMetadataFor(Conjunction, 'Conjunction', objectMeta, PrimitiveWrapper, VOID, VOID, VOID, VOID, [7]);
   setMetadataFor(Cut, 'Cut', objectMeta, PrimitiveWrapper);
-  setMetadataFor(Not$uncheckedImplementation$slambda, 'Not$uncheckedImplementation$slambda', classMeta, CoroutineImpl, VOID, VOID, VOID, [1]);
+  setMetadataFor(Not$uncheckedImplementation$slambda, 'Not$uncheckedImplementation$slambda', classMeta, CoroutineImpl, VOID, VOID, VOID, VOID, [1]);
   setMetadataFor(Not, 'Not', objectMeta, PrimitiveWrapper);
   setMetadataFor(Throw, 'Throw', objectMeta, NonBacktrackable);
   //endregion
   function SolverStrategies$Companion$prologStandard$1() {
   }
-  protoOf(SolverStrategies$Companion$prologStandard$1).y49 = function (predicationSequence, context) {
+  protoOf(SolverStrategies$Companion$prologStandard$1).b4b = function (predicationSequence, context) {
     return first(predicationSequence);
   };
-  protoOf(SolverStrategies$Companion$prologStandard$1).z49 = function (unifiableClauses, context) {
+  protoOf(SolverStrategies$Companion$prologStandard$1).c4b = function (unifiableClauses, context) {
     return first(unifiableClauses);
   };
-  protoOf(SolverStrategies$Companion$prologStandard$1).a4a = function (term, context) {
-    return term.uv();
+  protoOf(SolverStrategies$Companion$prologStandard$1).d4b = function (term, context) {
+    return term.ow();
   };
   function Companion() {
-    Companion_instance = this;
+    Companion_instance_11 = this;
     var tmp = this;
-    tmp.b4a_1 = new SolverStrategies$Companion$prologStandard$1();
+    tmp.e4b_1 = new SolverStrategies$Companion$prologStandard$1();
   }
-  var Companion_instance;
-  function Companion_getInstance_18() {
-    if (Companion_instance == null)
+  var Companion_instance_11;
+  function Companion_getInstance_6() {
+    if (Companion_instance_11 == null)
       new Companion();
-    return Companion_instance;
+    return Companion_instance_11;
   }
   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.c4a().solution.v1u().equals($goalRequest.v1u());
+      return it.f4b().solution.u1v().equals($goalRequest.u1v());
     };
   }
   function StreamsSolver$Companion$solveToResponses$lambda(it) {
-    return it.c4a();
+    return it.f4b();
   }
   function StreamsSolver_init_$Init$(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, $this) {
-    unificator = unificator === VOID ? Companion_getInstance().h1k() : unificator;
-    libraries = libraries === VOID ? Companion_getInstance_0().empty() : libraries;
-    flags = flags === VOID ? Companion_getInstance_1().empty() : flags;
-    staticKb = staticKb === VOID ? Companion_getInstance_2().empty(unificator) : staticKb;
-    dynamicKb = dynamicKb === VOID ? Companion_getInstance_3().empty(unificator) : dynamicKb;
-    stdIn = stdIn === VOID ? Companion_getInstance_4().stdIn() : stdIn;
-    stdOut = stdOut === VOID ? Companion_getInstance_5().stdOut() : stdOut;
-    stdErr = stdErr === VOID ? Companion_getInstance_5().stdErr() : stdErr;
-    warnings = warnings === VOID ? Companion_getInstance_5().warning() : warnings;
-    StreamsSolver.call($this, unificator, libraries, flags, staticKb, dynamicKb, Companion_getInstance_6().h1x(stdIn), Companion_getInstance_7().k1x(stdOut, stdErr, warnings));
+    unificator = unificator === VOID ? Companion_getInstance().g1l() : 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_1.empty(unificator) : dynamicKb;
+    stdIn = stdIn === VOID ? Companion_instance_2.stdIn() : stdIn;
+    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.i1y(stdIn), Companion_instance_5.l1y(stdOut, stdErr, warnings));
     return $this;
   }
   function StreamsSolver_init_$Create$(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
     return StreamsSolver_init_$Init$(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, objectCreate(protoOf(StreamsSolver)));
   }
   function Companion_0() {
-    Companion_instance_0 = this;
   }
-  protoOf(Companion_0).d4a = function (goalRequest) {
-    var tmp$ret$0;
+  protoOf(Companion_0).g4b = function (goalRequest) {
     // Inline function 'kotlin.sequences.filterIsInstance' call
-    var tmp0_filterIsInstance = StateMachineExecutor_getInstance().e4a(new StateInit(goalRequest));
-    var tmp = filter(tmp0_filterIsInstance, StreamsSolver$Companion$solveToFinalStates$lambda);
-    tmp$ret$0 = isInterface(tmp, Sequence) ? tmp : THROW_CCE();
-    var tmp_0 = tmp$ret$0;
+    var this_0 = StateMachineExecutor_instance.h4b(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).f4a = function (goalRequest) {
-    var tmp = this.d4a(goalRequest);
+  protoOf(Companion_0).i4b = function (goalRequest) {
+    var tmp = this.g4b(goalRequest);
     return map(tmp, StreamsSolver$Companion$solveToResponses$lambda);
   };
-  var Companion_instance_0;
-  function Companion_getInstance_19() {
-    if (Companion_instance_0 == null)
-      new Companion_0();
-    return Companion_instance_0;
+  var Companion_instance_12;
+  function Companion_getInstance_7() {
+    return Companion_instance_12;
   }
   function StreamsSolver$solve$lambda(this$0) {
     return function (it) {
-      this$0.g4a_1 = it.n5().v34(it.c4a().sideEffects);
-      return it.c4a().solution.cleanUp();
+      this$0.j4b_1 = it.uc().y35(it.f4b().sideEffects);
+      return it.f4b().solution.cleanUp();
     };
   }
   function StreamsSolver(unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels) {
-    Companion_getInstance_19();
-    unificator = unificator === VOID ? Companion_getInstance().h1k() : unificator;
-    libraries = libraries === VOID ? Companion_getInstance_0().empty() : libraries;
-    flags = flags === VOID ? Companion_getInstance_1().empty() : flags;
-    staticKb = staticKb === VOID ? Companion_getInstance_2().empty(unificator) : staticKb;
-    dynamicKb = dynamicKb === VOID ? Companion_getInstance_2().empty(unificator) : dynamicKb;
-    inputChannels = inputChannels === VOID ? Companion_getInstance_6().fromStandard() : inputChannels;
-    outputChannels = outputChannels === VOID ? Companion_getInstance_7().fromStandard() : outputChannels;
-    this.g4a_1 = new StreamsExecutionContext(unificator, libraries, flags, staticKb, dynamicKb, toOperatorSet(getAllOperators(libraries, [staticKb, dynamicKb])), inputChannels, outputChannels);
-  }
-  protoOf(StreamsSolver).f2a = function (goal, options) {
-    this.g4a_1 = new StreamsExecutionContext(this.k1k(), this.v1t(), this.w1t(), this.x1t(), this.y1t(), VOID, this.z1t(), this.a1u(), VOID, VOID, VOID, options.b1w());
-    var tmp = Companion_getInstance_19().d4a(new Request(extractSignature(goal), goal.xv(), this.g4a_1));
+    unificator = unificator === VOID ? Companion_getInstance().g1l() : 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.j4b_1 = new StreamsExecutionContext(unificator, libraries, flags, staticKb, dynamicKb, toOperatorSet(getAllOperators(libraries, [staticKb, dynamicKb])), inputChannels, outputChannels);
+  }
+  protoOf(StreamsSolver).h2b = function (goal, options) {
+    this.j4b_1 = new StreamsExecutionContext(this.j1l(), this.u1u(), this.v1u(), this.w1u(), this.x1u(), VOID, this.y1u(), this.z1u(), VOID, VOID, VOID, options.c1x());
+    var tmp = Companion_instance_12.g4b(new Request(extractSignature(goal), goal.rw(), this.j4b_1));
     var solutionSequence = map(tmp, StreamsSolver$solve$lambda(this));
-    if (options.c1w() > 0) {
-      solutionSequence = take(solutionSequence, options.c1w());
+    if (options.d1x() > 0) {
+      solutionSequence = take(solutionSequence, options.d1x());
     }
-    if (options.a1w()) {
+    if (options.b1x()) {
       solutionSequence = buffered(solutionSequence);
     }
     return solutionSequence;
   };
   protoOf(StreamsSolver).solveWithOptions = function (goal, options) {
-    return this.f2a(goal, options);
+    return this.h2b(goal, options);
   };
-  protoOf(StreamsSolver).m1u = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
+  protoOf(StreamsSolver).l1v = 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).k1k = function () {
-    return this.g4a_1.h4a_1;
+  protoOf(StreamsSolver).j1l = function () {
+    return this.j4b_1.k4b_1;
   };
-  protoOf(StreamsSolver).v1t = function () {
-    return this.g4a_1.i4a_1;
+  protoOf(StreamsSolver).u1u = function () {
+    return this.j4b_1.l4b_1;
   };
-  protoOf(StreamsSolver).w1t = function () {
-    return this.g4a_1.j4a_1;
+  protoOf(StreamsSolver).v1u = function () {
+    return this.j4b_1.m4b_1;
   };
-  protoOf(StreamsSolver).x1t = function () {
-    return this.g4a_1.k4a_1;
+  protoOf(StreamsSolver).w1u = function () {
+    return this.j4b_1.n4b_1;
   };
-  protoOf(StreamsSolver).y1t = function () {
-    return this.g4a_1.l4a_1;
+  protoOf(StreamsSolver).x1u = function () {
+    return this.j4b_1.o4b_1;
   };
-  protoOf(StreamsSolver).z1t = function () {
-    return this.g4a_1.n4a_1;
+  protoOf(StreamsSolver).y1u = function () {
+    return this.j4b_1.q4b_1;
   };
-  protoOf(StreamsSolver).a1u = function () {
-    return this.g4a_1.o4a_1;
+  protoOf(StreamsSolver).z1u = function () {
+    return this.j4b_1.r4b_1;
   };
-  protoOf(StreamsSolver).e1u = function () {
-    return this.g4a_1.m4a_1;
+  protoOf(StreamsSolver).d1v = function () {
+    return this.j4b_1.p4b_1;
   };
   function StreamsSolverFactory() {
-    StreamsSolverFactory_instance = this;
   }
-  protoOf(StreamsSolverFactory).u1w = function () {
+  protoOf(StreamsSolverFactory).v1x = function () {
     return DefaultBuiltins_getInstance();
   };
-  protoOf(StreamsSolverFactory).f1x = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs) {
+  protoOf(StreamsSolverFactory).g1y = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs) {
     return new StreamsSolver(unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs);
   };
-  protoOf(StreamsSolverFactory).l1x = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
-    return new StreamsSolver(unificator, libraries, flags, staticKb, dynamicKb, Companion_getInstance_6().h1x(stdIn), Companion_getInstance_7().k1x(stdOut, stdErr, warnings));
+  protoOf(StreamsSolverFactory).m1y = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
+    return new StreamsSolver(unificator, libraries, flags, staticKb, dynamicKb, Companion_instance_4.i1y(stdIn), Companion_instance_5.l1y(stdOut, stdErr, warnings));
   };
-  protoOf(StreamsSolverFactory).n1x = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
+  protoOf(StreamsSolverFactory).o1y = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
     // Inline function 'kotlin.TODO' call
-    throw new NotImplementedError('An operation is not implemented: Mutable stream solver is not supported yet');
+    var reason = 'Mutable stream solver is not supported yet';
+    throw new NotImplementedError('An operation is not implemented: ' + reason);
   };
-  protoOf(StreamsSolverFactory).p1x = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs) {
+  protoOf(StreamsSolverFactory).q1y = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs) {
     // Inline function 'kotlin.TODO' call
-    throw new NotImplementedError('An operation is not implemented: Mutable stream solver is not supported yet');
+    var reason = 'Mutable stream solver is not supported yet';
+    throw new NotImplementedError('An operation is not implemented: ' + reason);
   };
   var StreamsSolverFactory_instance;
   function StreamsSolverFactory_getInstance() {
-    if (StreamsSolverFactory_instance == null)
-      new StreamsSolverFactory();
     return StreamsSolverFactory_instance;
   }
   function getFirstChoicePointContext($this) {
-    var tmp$ret$6;
     // Inline function 'kotlin.collections.mapNotNull' call
-    var tmp$ret$2;
     // Inline function 'kotlin.collections.filter' call
-    var tmp1_filter = $this.w4a_1;
-    var tmp$ret$1;
     // Inline function 'kotlin.collections.filterTo' call
-    var tmp0_filterTo = ArrayList_init_$Create$();
-    var tmp0_iterator = tmp1_filter.j();
-    while (tmp0_iterator.m()) {
-      var element = tmp0_iterator.n();
-      var tmp$ret$0;
+    var this_0 = $this.z4b_1;
+    var destination = ArrayList_init_$Create$();
+    var tmp0_iterator = this_0.r();
+    while (tmp0_iterator.s()) {
+      var element = tmp0_iterator.u();
       // Inline function 'it.unibo.tuprolog.solve.streams.solver.SideEffectManagerImpl.getFirstChoicePointContext.<anonymous>' call
-      tmp$ret$0 = element.u4a_1.x4a_1;
-      if (tmp$ret$0) {
-        tmp0_filterTo.g(element);
+      if (element.x4b_1.a4c_1) {
+        destination.o(element);
       }
     }
-    tmp$ret$1 = tmp0_filterTo;
-    tmp$ret$2 = tmp$ret$1;
-    var tmp3_mapNotNull = tmp$ret$2;
-    var tmp$ret$5;
     // Inline function 'kotlin.collections.mapNotNullTo' call
-    var tmp2_mapNotNullTo = ArrayList_init_$Create$();
+    var destination_0 = ArrayList_init_$Create$();
     // Inline function 'kotlin.collections.forEach' call
-    var tmp0_iterator_0 = tmp3_mapNotNull.j();
-    while (tmp0_iterator_0.m()) {
-      var element_0 = tmp0_iterator_0.n();
+    var tmp0_iterator_0 = destination.r();
+    while (tmp0_iterator_0.s()) {
+      var element_0 = tmp0_iterator_0.u();
       // Inline function 'kotlin.collections.mapNotNullTo.<anonymous>' call
-      var tmp$ret$3;
       // Inline function 'it.unibo.tuprolog.solve.streams.solver.SideEffectManagerImpl.getFirstChoicePointContext.<anonymous>' call
-      tmp$ret$3 = firstOrNull(element_0.u4a_1.w4a_1);
-      var tmp0_safe_receiver = tmp$ret$3;
+      var tmp0_safe_receiver = firstOrNull(element_0.x4b_1.z4b_1);
       if (tmp0_safe_receiver == null)
         null;
       else {
-        var tmp$ret$4;
         // Inline function 'kotlin.let' call
         // Inline function 'kotlin.contracts.contract' call
-        tmp2_mapNotNullTo.g(tmp0_safe_receiver);
-        tmp$ret$4 = Unit_getInstance();
+        destination_0.o(tmp0_safe_receiver);
       }
     }
-    tmp$ret$5 = tmp2_mapNotNullTo;
-    tmp$ret$6 = tmp$ret$5;
-    return tmp$ret$6;
+    return destination_0;
   }
   function SideEffectManagerImpl(clauseScopedParents, isChoicePointChild, toCutContextsParent, logicalParentRequests, throwNonSelectableParentContexts, throwRelatedToCutContextsParent) {
     clauseScopedParents = clauseScopedParents === VOID ? emptyList() : clauseScopedParents;
@@ -440,170 +413,140 @@
     logicalParentRequests = logicalParentRequests === VOID ? emptyList() : logicalParentRequests;
     throwNonSelectableParentContexts = throwNonSelectableParentContexts === VOID ? emptySequence() : throwNonSelectableParentContexts;
     throwRelatedToCutContextsParent = throwRelatedToCutContextsParent === VOID ? null : throwRelatedToCutContextsParent;
-    this.w4a_1 = clauseScopedParents;
-    this.x4a_1 = isChoicePointChild;
-    this.y4a_1 = toCutContextsParent;
-    this.z4a_1 = logicalParentRequests;
-    this.a4b_1 = throwNonSelectableParentContexts;
-    this.b4b_1 = throwRelatedToCutContextsParent;
+    this.z4b_1 = clauseScopedParents;
+    this.a4c_1 = isChoicePointChild;
+    this.b4c_1 = toCutContextsParent;
+    this.c4c_1 = logicalParentRequests;
+    this.d4c_1 = throwNonSelectableParentContexts;
+    this.e4c_1 = throwRelatedToCutContextsParent;
   }
-  protoOf(SideEffectManagerImpl).c4b = function () {
-    return this.d4b(VOID, VOID, plus(this.y4a_1, getFirstChoicePointContext(this)));
+  protoOf(SideEffectManagerImpl).f4c = function () {
+    return this.g4c(VOID, VOID, plus(this.b4c_1, getFirstChoicePointContext(this)));
   };
   protoOf(SideEffectManagerImpl).cut = function () {
-    return this.c4b();
+    return this.f4c();
   };
-  protoOf(SideEffectManagerImpl).e4b = function (currentContext) {
-    var tmp$ret$0;
+  protoOf(SideEffectManagerImpl).h4c = function (currentContext) {
     // Inline function 'kotlin.apply' call
-    var tmp0_apply = toMutableList(this.w4a_1);
+    var this_0 = toMutableList(this.z4b_1);
     // Inline function 'kotlin.contracts.contract' call
     // Inline function 'it.unibo.tuprolog.solve.streams.solver.SideEffectManagerImpl.stateInitInitialize.<anonymous>' call
-    tmp0_apply.za(0, currentContext);
-    tmp$ret$0 = tmp0_apply;
-    return this.d4b(tmp$ret$0, false);
+    this_0.p1(0, currentContext);
+    return this.g4c(this_0, false);
   };
-  protoOf(SideEffectManagerImpl).f4b = function (currentContext, isChoicePointChild, logicalParentRequest) {
-    var tmp$ret$0;
+  protoOf(SideEffectManagerImpl).i4c = function (currentContext, isChoicePointChild, logicalParentRequest) {
     // Inline function 'kotlin.apply' call
-    var tmp0_apply = toMutableList(this.w4a_1);
+    var this_0 = toMutableList(this.z4b_1);
     // Inline function 'kotlin.contracts.contract' call
     // Inline function 'it.unibo.tuprolog.solve.streams.solver.SideEffectManagerImpl.creatingNewRequest.<anonymous>' call
-    tmp0_apply.za(0, currentContext);
-    tmp$ret$0 = tmp0_apply;
-    var tmp = tmp$ret$0;
-    var tmp0_subject = logicalParentRequest;
+    this_0.p1(0, currentContext);
+    var tmp = this_0;
     var tmp_0;
-    if (this.z4a_1.v(tmp0_subject)) {
-      var tmp$ret$2;
+    if (this.c4c_1.n(logicalParentRequest)) {
       // Inline function 'kotlin.collections.dropWhile' call
-      var tmp1_dropWhile = this.z4a_1;
+      var this_1 = this.c4c_1;
       var yielding = false;
       var list = ArrayList_init_$Create$();
-      var tmp0_iterator = tmp1_dropWhile.j();
-      while (tmp0_iterator.m()) {
-        var item = tmp0_iterator.n();
+      var tmp0_iterator = this_1.r();
+      while (tmp0_iterator.s()) {
+        var item = tmp0_iterator.u();
         if (yielding) {
-          list.g(item);
+          list.o(item);
         } else {
-          var tmp$ret$1;
           // Inline function 'it.unibo.tuprolog.solve.streams.solver.SideEffectManagerImpl.creatingNewRequest.<anonymous>' call
-          tmp$ret$1 = !item.equals(logicalParentRequest);
-          if (!tmp$ret$1) {
-            list.g(item);
+          if (!!item.equals(logicalParentRequest)) {
+            list.o(item);
             yielding = true;
           }
         }
       }
-      tmp$ret$2 = list;
-      tmp_0 = tmp$ret$2;
+      tmp_0 = list;
     } else {
-      var tmp$ret$3;
       // Inline function 'kotlin.apply' call
-      var tmp2_apply = toMutableList(this.z4a_1);
+      var this_2 = toMutableList(this.c4c_1);
       // Inline function 'kotlin.contracts.contract' call
       // Inline function 'it.unibo.tuprolog.solve.streams.solver.SideEffectManagerImpl.creatingNewRequest.<anonymous>' call
-      tmp2_apply.za(0, logicalParentRequest);
-      tmp$ret$3 = tmp2_apply;
-      tmp_0 = tmp$ret$3;
+      this_2.p1(0, logicalParentRequest);
+      tmp_0 = this_2;
     }
-    return this.d4b(tmp, isChoicePointChild, VOID, tmp_0);
+    return this.g4c(tmp, isChoicePointChild, VOID, tmp_0);
   };
-  protoOf(SideEffectManagerImpl).g4b = function () {
-    return this.d4b(listOf(first_0(this.w4a_1)));
+  protoOf(SideEffectManagerImpl).j4c = function () {
+    return this.g4c(listOf(first_0(this.z4b_1)));
   };
-  protoOf(SideEffectManagerImpl).h4b = function (upperScopeSideEffectsManager) {
-    var tmp$ret$0;
+  protoOf(SideEffectManagerImpl).k4c = function (upperScopeSideEffectsManager) {
     // Inline function 'kotlin.apply' call
-    var tmp0_apply = toMutableList(this.w4a_1);
+    var this_0 = toMutableList(this.z4b_1);
     // Inline function 'kotlin.contracts.contract' call
     // Inline function 'it.unibo.tuprolog.solve.streams.solver.SideEffectManagerImpl.extendParentScopeWith.<anonymous>' call
-    tmp0_apply.t(upperScopeSideEffectsManager.w4a_1);
-    tmp$ret$0 = tmp0_apply;
-    return this.d4b(tmp$ret$0);
+    this_0.v(upperScopeSideEffectsManager.z4b_1);
+    return this.g4c(this_0);
   };
-  protoOf(SideEffectManagerImpl).i4b = function () {
-    return contains(this.y4a_1, lastOrNull(this.w4a_1)) ? true : this.j4b();
+  protoOf(SideEffectManagerImpl).l4c = function () {
+    return contains(this.b4c_1, lastOrNull(this.z4b_1)) ? true : this.m4c();
   };
-  protoOf(SideEffectManagerImpl).k4b = function (toUnifyArgument) {
-    var tmp$ret$5;
+  protoOf(SideEffectManagerImpl).n4c = function (toUnifyArgument) {
     // Inline function 'kotlin.collections.filterNot' call
-    var tmp$ret$2;
     // Inline function 'kotlin.collections.filter' call
-    var tmp1_filter = this.z4a_1;
-    var tmp$ret$1;
     // Inline function 'kotlin.collections.filterTo' call
-    var tmp0_filterTo = ArrayList_init_$Create$();
-    var tmp0_iterator = tmp1_filter.j();
-    while (tmp0_iterator.m()) {
-      var element = tmp0_iterator.n();
-      var tmp$ret$0;
+    var this_0 = this.c4c_1;
+    var destination = ArrayList_init_$Create$();
+    var tmp0_iterator = this_0.r();
+    while (tmp0_iterator.s()) {
+      var element = tmp0_iterator.u();
       // Inline function 'it.unibo.tuprolog.solve.streams.solver.SideEffectManagerImpl.retrieveAncestorCatchRequest.<anonymous>' call
-      tmp$ret$0 = element.signature.equals(Catch_getInstance().signature);
-      if (tmp$ret$0) {
-        tmp0_filterTo.g(element);
+      if (element.signature.equals(Catch_getInstance().signature)) {
+        destination.o(element);
       }
     }
-    tmp$ret$1 = tmp0_filterTo;
-    tmp$ret$2 = tmp$ret$1;
-    var tmp3_filterNot = tmp$ret$2;
-    var tmp$ret$4;
     // Inline function 'kotlin.collections.filterNotTo' call
-    var tmp2_filterNotTo = ArrayList_init_$Create$();
-    var tmp0_iterator_0 = tmp3_filterNot.j();
-    while (tmp0_iterator_0.m()) {
-      var element_0 = tmp0_iterator_0.n();
-      var tmp$ret$3;
+    var destination_0 = ArrayList_init_$Create$();
+    var tmp0_iterator_0 = destination.r();
+    while (tmp0_iterator_0.s()) {
+      var element_0 = tmp0_iterator_0.u();
       // Inline function 'it.unibo.tuprolog.solve.streams.solver.SideEffectManagerImpl.retrieveAncestorCatchRequest.<anonymous>' call
-      tmp$ret$3 = contains(this.a4b_1, element_0.context);
-      if (!tmp$ret$3) {
-        tmp2_filterNotTo.g(element_0);
+      if (!contains(this.d4c_1, element_0.context)) {
+        destination_0.o(element_0);
       }
     }
-    tmp$ret$4 = tmp2_filterNotTo;
-    tmp$ret$5 = tmp$ret$4;
-    var ancestorCatchesRequests = tmp$ret$5;
-    var tmp$ret$8;
+    var ancestorCatchesRequests = destination_0;
     // Inline function 'kotlin.collections.find' call
     var tmp$ret$7;
     $l$block: {
       // Inline function 'kotlin.collections.firstOrNull' call
-      var tmp0_iterator_1 = ancestorCatchesRequests.j();
-      while (tmp0_iterator_1.m()) {
-        var element_1 = tmp0_iterator_1.n();
-        var tmp$ret$6;
+      var tmp0_iterator_1 = ancestorCatchesRequests.r();
+      while (tmp0_iterator_1.s()) {
+        var element_1 = tmp0_iterator_1.u();
         // Inline function 'it.unibo.tuprolog.solve.streams.solver.SideEffectManagerImpl.retrieveAncestorCatchRequest.<anonymous>' call
-        tmp$ret$6 = Companion_getInstance().matches(element_1.arguments.o(1), toUnifyArgument);
-        if (tmp$ret$6) {
+        if (Companion_getInstance().matches(element_1.arguments.c1(1), toUnifyArgument)) {
           tmp$ret$7 = element_1;
           break $l$block;
         }
       }
       tmp$ret$7 = null;
     }
-    tmp$ret$8 = tmp$ret$7;
-    return tmp$ret$8;
+    return tmp$ret$7;
   };
-  protoOf(SideEffectManagerImpl).l4b = function (ancestorCatchContext) {
-    return this.d4b(VOID, VOID, VOID, VOID, VOID, ancestorCatchContext);
+  protoOf(SideEffectManagerImpl).o4c = function (ancestorCatchContext) {
+    return this.g4c(VOID, VOID, VOID, VOID, VOID, ancestorCatchContext);
   };
-  protoOf(SideEffectManagerImpl).m4b = function (contextImpl) {
-    return equals(this.b4b_1, contextImpl);
+  protoOf(SideEffectManagerImpl).p4c = function (contextImpl) {
+    return equals(this.e4c_1, contextImpl);
   };
-  protoOf(SideEffectManagerImpl).n4b = function (contextImpl) {
-    return this.d4b(VOID, VOID, VOID, VOID, plus_0(this.a4b_1, contextImpl));
+  protoOf(SideEffectManagerImpl).q4c = function (contextImpl) {
+    return this.g4c(VOID, VOID, VOID, VOID, plus_0(this.d4c_1, contextImpl));
   };
-  protoOf(SideEffectManagerImpl).o4b = function (toRecoverSituation) {
-    return this.d4b(VOID, VOID, toRecoverSituation.y4a_1);
+  protoOf(SideEffectManagerImpl).r4c = function (toRecoverSituation) {
+    return this.g4c(VOID, VOID, toRecoverSituation.b4c_1);
   };
-  protoOf(SideEffectManagerImpl).j4b = function () {
+  protoOf(SideEffectManagerImpl).m4c = function () {
     var tmp$ret$0;
     $l$block_0: {
       // Inline function 'kotlin.collections.any' call
-      var tmp0_any = this.z4a_1;
+      var this_0 = this.c4c_1;
       var tmp;
-      if (isInterface(tmp0_any, Collection)) {
-        tmp = tmp0_any.d();
+      if (isInterface(this_0, Collection)) {
+        tmp = this_0.y();
       } else {
         tmp = false;
       }
@@ -611,13 +554,11 @@
         tmp$ret$0 = false;
         break $l$block_0;
       }
-      var tmp0_iterator = tmp0_any.j();
-      while (tmp0_iterator.m()) {
-        var element = tmp0_iterator.n();
-        var tmp$ret$1;
+      var tmp0_iterator = this_0.r();
+      while (tmp0_iterator.s()) {
+        var element = tmp0_iterator.u();
         // Inline function 'it.unibo.tuprolog.solve.streams.solver.SideEffectManagerImpl.shouldExecuteThrowCut.<anonymous>' call
-        tmp$ret$1 = element.context.equals(this.b4b_1);
-        if (tmp$ret$1) {
+        if (element.context.equals(this.e4c_1)) {
           tmp$ret$0 = true;
           break $l$block_0;
         }
@@ -626,28 +567,28 @@
     }
     return tmp$ret$0;
   };
-  protoOf(SideEffectManagerImpl).p4b = function (clauseScopedParents, isChoicePointChild, toCutContextsParent, logicalParentRequests, throwNonSelectableParentContexts, throwRelatedToCutContextsParent) {
+  protoOf(SideEffectManagerImpl).s4c = function (clauseScopedParents, isChoicePointChild, toCutContextsParent, logicalParentRequests, throwNonSelectableParentContexts, throwRelatedToCutContextsParent) {
     return new SideEffectManagerImpl(clauseScopedParents, isChoicePointChild, toCutContextsParent, logicalParentRequests, throwNonSelectableParentContexts, throwRelatedToCutContextsParent);
   };
-  protoOf(SideEffectManagerImpl).d4b = function (clauseScopedParents, isChoicePointChild, toCutContextsParent, logicalParentRequests, throwNonSelectableParentContexts, throwRelatedToCutContextsParent, $super) {
-    clauseScopedParents = clauseScopedParents === VOID ? this.w4a_1 : clauseScopedParents;
-    isChoicePointChild = isChoicePointChild === VOID ? this.x4a_1 : isChoicePointChild;
-    toCutContextsParent = toCutContextsParent === VOID ? this.y4a_1 : toCutContextsParent;
-    logicalParentRequests = logicalParentRequests === VOID ? this.z4a_1 : logicalParentRequests;
-    throwNonSelectableParentContexts = throwNonSelectableParentContexts === VOID ? this.a4b_1 : throwNonSelectableParentContexts;
-    throwRelatedToCutContextsParent = throwRelatedToCutContextsParent === VOID ? this.b4b_1 : throwRelatedToCutContextsParent;
-    return $super === VOID ? this.p4b(clauseScopedParents, isChoicePointChild, toCutContextsParent, logicalParentRequests, throwNonSelectableParentContexts, throwRelatedToCutContextsParent) : $super.p4b.call(this, clauseScopedParents, isChoicePointChild, toCutContextsParent, logicalParentRequests, throwNonSelectableParentContexts, throwRelatedToCutContextsParent);
+  protoOf(SideEffectManagerImpl).g4c = function (clauseScopedParents, isChoicePointChild, toCutContextsParent, logicalParentRequests, throwNonSelectableParentContexts, throwRelatedToCutContextsParent, $super) {
+    clauseScopedParents = clauseScopedParents === VOID ? this.z4b_1 : clauseScopedParents;
+    isChoicePointChild = isChoicePointChild === VOID ? this.a4c_1 : isChoicePointChild;
+    toCutContextsParent = toCutContextsParent === VOID ? this.b4c_1 : toCutContextsParent;
+    logicalParentRequests = logicalParentRequests === VOID ? this.c4c_1 : logicalParentRequests;
+    throwNonSelectableParentContexts = throwNonSelectableParentContexts === VOID ? this.d4c_1 : throwNonSelectableParentContexts;
+    throwRelatedToCutContextsParent = throwRelatedToCutContextsParent === VOID ? this.e4c_1 : throwRelatedToCutContextsParent;
+    return $super === VOID ? this.s4c(clauseScopedParents, isChoicePointChild, toCutContextsParent, logicalParentRequests, throwNonSelectableParentContexts, throwRelatedToCutContextsParent) : $super.s4c.call(this, clauseScopedParents, isChoicePointChild, toCutContextsParent, logicalParentRequests, throwNonSelectableParentContexts, throwRelatedToCutContextsParent);
   };
   protoOf(SideEffectManagerImpl).toString = function () {
-    return 'SideEffectManagerImpl(clauseScopedParents=' + this.w4a_1 + ', isChoicePointChild=' + this.x4a_1 + ', toCutContextsParent=' + this.y4a_1 + ', logicalParentRequests=' + this.z4a_1 + ', throwNonSelectableParentContexts=' + this.a4b_1 + ', throwRelatedToCutContextsParent=' + this.b4b_1 + ')';
+    return 'SideEffectManagerImpl(clauseScopedParents=' + this.z4b_1 + ', isChoicePointChild=' + this.a4c_1 + ', toCutContextsParent=' + this.b4c_1 + ', logicalParentRequests=' + this.c4c_1 + ', throwNonSelectableParentContexts=' + this.d4c_1 + ', throwRelatedToCutContextsParent=' + this.e4c_1 + ')';
   };
   protoOf(SideEffectManagerImpl).hashCode = function () {
-    var result = hashCode(this.w4a_1);
-    result = imul(result, 31) + (this.x4a_1 | 0) | 0;
-    result = imul(result, 31) + hashCode(this.y4a_1) | 0;
-    result = imul(result, 31) + hashCode(this.z4a_1) | 0;
-    result = imul(result, 31) + hashCode(this.a4b_1) | 0;
-    result = imul(result, 31) + (this.b4b_1 == null ? 0 : this.b4b_1.hashCode()) | 0;
+    var result = hashCode(this.z4b_1);
+    result = imul(result, 31) + getBooleanHashCode(this.a4c_1) | 0;
+    result = imul(result, 31) + hashCode(this.b4c_1) | 0;
+    result = imul(result, 31) + hashCode(this.c4c_1) | 0;
+    result = imul(result, 31) + hashCode(this.d4c_1) | 0;
+    result = imul(result, 31) + (this.e4c_1 == null ? 0 : this.e4c_1.hashCode()) | 0;
     return result;
   };
   protoOf(SideEffectManagerImpl).equals = function (other) {
@@ -656,86 +597,80 @@
     if (!(other instanceof SideEffectManagerImpl))
       return false;
     var tmp0_other_with_cast = other instanceof SideEffectManagerImpl ? other : THROW_CCE();
-    if (!equals(this.w4a_1, tmp0_other_with_cast.w4a_1))
+    if (!equals(this.z4b_1, tmp0_other_with_cast.z4b_1))
       return false;
-    if (!(this.x4a_1 === tmp0_other_with_cast.x4a_1))
+    if (!(this.a4c_1 === tmp0_other_with_cast.a4c_1))
       return false;
-    if (!equals(this.y4a_1, tmp0_other_with_cast.y4a_1))
+    if (!equals(this.b4c_1, tmp0_other_with_cast.b4c_1))
       return false;
-    if (!equals(this.z4a_1, tmp0_other_with_cast.z4a_1))
+    if (!equals(this.c4c_1, tmp0_other_with_cast.c4c_1))
       return false;
-    if (!equals(this.a4b_1, tmp0_other_with_cast.a4b_1))
+    if (!equals(this.d4c_1, tmp0_other_with_cast.d4c_1))
       return false;
-    if (!equals(this.b4b_1, tmp0_other_with_cast.b4b_1))
+    if (!equals(this.e4c_1, tmp0_other_with_cast.e4c_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.o4b(toRecoverSituation);
+    return tmp0_safe_receiver == null ? null : tmp0_safe_receiver.r4c(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.m4b(context);
+    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.p4c(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.j4b();
+    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.m4c();
     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.i4b();
+    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.l4c();
     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.h4b(upperScopeSideEffectsManager);
+    return tmp0_safe_receiver == null ? null : tmp0_safe_receiver.k4c(upperScopeSideEffectsManager);
   }
   function isWellFormed(_this__u8e3s4) {
-    return _this__u8e3s4.accept(Companion_getInstance_8().bodyWellFormedVisitor);
+    return _this__u8e3s4.accept(Companion_getInstance_1().bodyWellFormedVisitor);
   }
   function replyWith(_this__u8e3s4, otherResponse) {
-    var tmp$ret$2;
     // Inline function 'kotlin.with' call
     // Inline function 'kotlin.contracts.contract' call
-    var tmp$ret$1;
     // Inline function 'it.unibo.tuprolog.solve.streams.solver.replyWith.<anonymous>' call
     var tmp0_elvis_lhs = otherResponse.sideEffectManager;
     var tmp = tmp0_elvis_lhs == null ? getSideEffectManager(_this__u8e3s4.context) : tmp0_elvis_lhs;
-    var tmp$ret$0;
     // Inline function 'kotlin.collections.toTypedArray' call
-    var tmp0_toTypedArray = otherResponse.sideEffects;
-    tmp$ret$0 = copyToArray(tmp0_toTypedArray);
-    tmp$ret$1 = _this__u8e3s4.w2g(otherResponse.solution, tmp, tmp$ret$0.slice());
-    tmp$ret$2 = tmp$ret$1;
-    return tmp$ret$2;
+    var this_0 = otherResponse.sideEffects;
+    var tmp$ret$0 = copyToArray(this_0);
+    return _this__u8e3s4.y2h(otherResponse.solution, tmp, tmp$ret$0.slice());
   }
   function newSolveRequest(_this__u8e3s4, newGoal, toAddSubstitutions, toPropagateContextData, baseSideEffectManager, requestIssuingInstant, isChoicePointChild) {
-    toAddSubstitutions = toAddSubstitutions === VOID ? Companion_getInstance_9().empty() : toAddSubstitutions;
+    toAddSubstitutions = toAddSubstitutions === VOID ? Companion_getInstance_2().empty() : toAddSubstitutions;
     toPropagateContextData = toPropagateContextData === VOID ? _this__u8e3s4.context : toPropagateContextData;
-    baseSideEffectManager = baseSideEffectManager === VOID ? _this__u8e3s4.context.u4a_1 : baseSideEffectManager;
-    requestIssuingInstant = requestIssuingInstant === VOID ? _this__u8e3s4.g28_1 : requestIssuingInstant;
+    baseSideEffectManager = baseSideEffectManager === VOID ? _this__u8e3s4.context.x4b_1 : baseSideEffectManager;
+    requestIssuingInstant = requestIssuingInstant === VOID ? _this__u8e3s4.i29_1 : requestIssuingInstant;
     isChoicePointChild = isChoicePointChild === VOID ? false : isChoicePointChild;
     var tmp = extractSignature(newGoal);
-    var tmp_0 = newGoal.xv();
-    var tmp_1 = toPropagateContextData.v1t();
-    var tmp_2 = toPropagateContextData.w1t();
-    var tmp_3 = toPropagateContextData.x1t();
-    var tmp_4 = toPropagateContextData.y1t();
-    var tmp_5 = toPropagateContextData.z1t();
-    var tmp_6 = toPropagateContextData.a1u();
-    var tmp_7 = _this__u8e3s4.context.q4a_1.plus(toAddSubstitutions);
-    return _this__u8e3s4.d2h(tmp, tmp_0, _this__u8e3s4.context.q4b(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.f4b(_this__u8e3s4.context, isChoicePointChild, _this__u8e3s4)), requestIssuingInstant);
+    var tmp_0 = newGoal.rw();
+    var tmp_1 = toPropagateContextData.u1u();
+    var tmp_2 = toPropagateContextData.v1u();
+    var tmp_3 = toPropagateContextData.w1u();
+    var tmp_4 = toPropagateContextData.x1u();
+    var tmp_5 = toPropagateContextData.y1u();
+    var tmp_6 = toPropagateContextData.z1u();
+    var tmp_7 = _this__u8e3s4.context.t4b_1.plus(toAddSubstitutions);
+    return _this__u8e3s4.f2i(tmp, tmp_0, _this__u8e3s4.context.t4c(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.i4c(_this__u8e3s4.context, isChoicePointChild, _this__u8e3s4)), requestIssuingInstant);
   }
   function prepareForExecutionAsGoal(_this__u8e3s4) {
-    return single(prepareForExecution(Companion_getInstance_10().of(_this__u8e3s4, [])).xv()).kw();
+    return single(prepareForExecution(Companion_instance_6.of(_this__u8e3s4, [])).rw()).kx();
   }
   function orderWithStrategy(_this__u8e3s4, context, selectionStrategy) {
-    var tmp0_subject = any(_this__u8e3s4);
     var tmp;
-    if (tmp0_subject === true) {
+    if (any(_this__u8e3s4) === true) {
       tmp = sequence(orderWithStrategy$slambda_0(selectionStrategy, _this__u8e3s4, context, null));
     } else {
       tmp = emptySequence();
@@ -745,143 +680,136 @@
   function addWithNoDuplicates(_this__u8e3s4, toAddSideEffects) {
     var duplicatedCount = 0;
     // Inline function 'kotlin.collections.forEach' call
-    var tmp0_iterator = _this__u8e3s4.j();
-    while (tmp0_iterator.m()) {
-      var element = tmp0_iterator.n();
+    var tmp0_iterator = _this__u8e3s4.r();
+    while (tmp0_iterator.s()) {
+      var element = tmp0_iterator.u();
       // Inline function 'it.unibo.tuprolog.solve.streams.solver.addWithNoDuplicates.<anonymous>' call
-      var tmp$ret$2;
       // Inline function 'kotlin.collections.find' call
       var tmp$ret$1;
       $l$block: {
         // Inline function 'kotlin.collections.firstOrNull' call
-        var tmp0_iterator_0 = toAddSideEffects.j();
-        while (tmp0_iterator_0.m()) {
-          var element_0 = tmp0_iterator_0.n();
-          var tmp$ret$0;
+        var tmp0_iterator_0 = toAddSideEffects.r();
+        while (tmp0_iterator_0.s()) {
+          var element_0 = tmp0_iterator_0.u();
           // Inline function 'it.unibo.tuprolog.solve.streams.solver.addWithNoDuplicates.<anonymous>.<anonymous>' call
-          tmp$ret$0 = element === element_0;
-          if (tmp$ret$0) {
+          if (element === element_0) {
             tmp$ret$1 = element_0;
             break $l$block;
           }
         }
         tmp$ret$1 = null;
       }
-      tmp$ret$2 = tmp$ret$1;
-      if (!(tmp$ret$2 === null)) {
-        var tmp0 = duplicatedCount;
-        duplicatedCount = tmp0 + 1 | 0;
+      if (!(tmp$ret$1 === null)) {
+        duplicatedCount = duplicatedCount + 1 | 0;
       }
     }
     return plus_1(_this__u8e3s4, drop(toAddSideEffects, duplicatedCount));
   }
   function moreThanOne(elements) {
-    var tmp$ret$1;
     // Inline function 'kotlin.with' call
-    var tmp0_with = elements.j();
     // Inline function 'kotlin.contracts.contract' call
-    var tmp$ret$0;
     // Inline function 'it.unibo.tuprolog.solve.streams.solver.moreThanOne.<anonymous>' call
+    var $this$with = elements.r();
     var tmp;
-    if (!tmp0_with.m()) {
+    if (!$this$with.s()) {
       tmp = false;
     } else {
-      tmp0_with.n();
-      tmp = tmp0_with.m();
+      $this$with.u();
+      tmp = $this$with.s();
     }
-    tmp$ret$0 = tmp;
-    tmp$ret$1 = tmp$ret$0;
-    return tmp$ret$1;
+    return tmp;
   }
-  function orderWithStrategy$slambda$lambda($this_orderWithStrategy, $tmp0_let) {
+  function orderWithStrategy$slambda$lambda($this_orderWithStrategy, $selected) {
     return function (index, _anonymous_parameter_1__qggqgd) {
-      return !(index === indexOf($this_orderWithStrategy, $tmp0_let));
+      return !(index === indexOf($this_orderWithStrategy, $selected));
     };
   }
   function orderWithStrategy$slambda($selectionStrategy, $this_orderWithStrategy, $context, resultContinuation) {
-    this.z4b_1 = $selectionStrategy;
-    this.a4c_1 = $this_orderWithStrategy;
-    this.b4c_1 = $context;
+    this.c4d_1 = $selectionStrategy;
+    this.d4d_1 = $this_orderWithStrategy;
+    this.e4d_1 = $context;
     CoroutineImpl.call(this, resultContinuation);
   }
-  protoOf(orderWithStrategy$slambda).e4c = function ($this$sequence, $completion) {
-    var tmp = this.f4c($this$sequence, $completion);
-    tmp.ci_1 = Unit_getInstance();
-    tmp.di_1 = null;
-    return tmp.ii();
+  protoOf(orderWithStrategy$slambda).i4d = function ($this$sequence, $completion) {
+    var tmp = this.j4d($this$sequence, $completion);
+    tmp.pc_1 = Unit_instance;
+    tmp.qc_1 = null;
+    return tmp.yc();
   };
-  protoOf(orderWithStrategy$slambda).ui = function (p1, $completion) {
-    return this.e4c(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
+  protoOf(orderWithStrategy$slambda).ld = function (p1, $completion) {
+    return this.i4d(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
   };
-  protoOf(orderWithStrategy$slambda).ii = function () {
-    var suspendResult = this.ci_1;
+  protoOf(orderWithStrategy$slambda).yc = function () {
+    var suspendResult = this.pc_1;
     $sm: do
       try {
-        var tmp = this.ai_1;
+        var tmp = this.nc_1;
         switch (tmp) {
           case 0:
-            this.bi_1 = 3;
+            this.oc_1 = 3;
             var tmp_0 = this;
-            tmp_0.d4c_1 = this.z4b_1(this.a4c_1, this.b4c_1);
-            this.ai_1 = 1;
-            suspendResult = this.c4c_1.d5(this.d4c_1, this);
+            tmp_0.g4d_1 = this.c4d_1(this.d4d_1, this.e4d_1);
+            var tmp_1 = this;
+            tmp_1.h4d_1 = this.g4d_1;
+            this.nc_1 = 1;
+            suspendResult = this.f4d_1.ef(this.h4d_1, this);
             if (suspendResult === get_COROUTINE_SUSPENDED()) {
               return suspendResult;
             }
 
             continue $sm;
           case 1:
-            this.ai_1 = 2;
-            suspendResult = this.c4c_1.g5(orderWithStrategy(filterIndexed(this.a4c_1, orderWithStrategy$slambda$lambda(this.a4c_1, this.d4c_1)), this.b4c_1, this.z4b_1), this);
+            this.nc_1 = 2;
+            suspendResult = this.f4d_1.hf(orderWithStrategy(filterIndexed(this.d4d_1, orderWithStrategy$slambda$lambda(this.d4d_1, this.h4d_1)), this.e4d_1, this.c4d_1), this);
             if (suspendResult === get_COROUTINE_SUSPENDED()) {
               return suspendResult;
             }
 
             continue $sm;
           case 2:
-            return Unit_getInstance();
+            return Unit_instance;
           case 3:
-            throw this.di_1;
+            throw this.qc_1;
         }
       } catch ($p) {
         var e = $p;
-        if (this.bi_1 === 3) {
+        if (this.oc_1 === 3) {
           throw e;
         } else {
-          this.ai_1 = this.bi_1;
-          this.di_1 = e;
+          this.nc_1 = this.oc_1;
+          this.qc_1 = e;
         }
       }
      while (true);
   };
-  protoOf(orderWithStrategy$slambda).f4c = function ($this$sequence, completion) {
-    var i = new orderWithStrategy$slambda(this.z4b_1, this.a4c_1, this.b4c_1, completion);
-    i.c4c_1 = $this$sequence;
+  protoOf(orderWithStrategy$slambda).j4d = function ($this$sequence, completion) {
+    var i = new orderWithStrategy$slambda(this.c4d_1, this.d4d_1, this.e4d_1, completion);
+    i.f4d_1 = $this$sequence;
     return i;
   };
   function orderWithStrategy$slambda_0($selectionStrategy, $this_orderWithStrategy, $context, resultContinuation) {
     var i = new orderWithStrategy$slambda($selectionStrategy, $this_orderWithStrategy, $context, resultContinuation);
     var l = function ($this$sequence, $completion) {
-      return i.e4c($this$sequence, $completion);
+      return i.i4d($this$sequence, $completion);
     };
     l.$arity = 1;
     return l;
   }
   function StreamsExecutionContext_init_$Init$(context, newCurrentSubstitution, $this) {
-    var tmp = context.k1k();
-    var tmp_0 = context.v1t();
-    var tmp_1 = context.w1t();
-    var tmp_2 = context.x1t();
-    var tmp_3 = context.y1t();
-    var tmp_4 = context.e1u();
-    var tmp_5 = context.z1t();
-    var tmp_6 = context.a1u();
-    var tmp_7 = context.t1t();
+    var tmp = context.j1l();
+    var tmp_0 = context.u1u();
+    var tmp_1 = context.v1u();
+    var tmp_2 = context.w1u();
+    var tmp_3 = context.x1u();
+    var tmp_4 = context.d1v();
+    var tmp_5 = context.y1u();
+    var tmp_6 = context.z1u();
+    var tmp_7 = context.s1u();
     var tmp0_safe_receiver = context instanceof StreamsExecutionContext ? context : null;
-    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.t4a_1;
-    var tmp_8 = tmp1_elvis_lhs == null ? Companion_getInstance_18().b4a_1 : tmp1_elvis_lhs;
+    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.w4b_1;
+    var tmp_8 = tmp1_elvis_lhs == null ? Companion_getInstance_6().e4b_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.u4a_1;
+    var tmp3_elvis_lhs = tmp2_safe_receiver == null ? null : tmp2_safe_receiver.x4b_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;
   }
@@ -889,183 +817,178 @@
     return StreamsExecutionContext_init_$Init$(context, newCurrentSubstitution, objectCreate(protoOf(StreamsExecutionContext)));
   }
   function StreamsExecutionContext$logicStackTrace$delegate$lambda$lambda(it) {
-    return it.v1u();
+    return it.u1v();
   }
   function StreamsExecutionContext$logicStackTrace$delegate$lambda(this$0) {
     return function () {
-      var tmp = asSequence(this$0.u4a_1.z4a_1);
+      var tmp = asSequence(this$0.x4b_1.c4c_1);
       return toList(map(tmp, StreamsExecutionContext$logicStackTrace$delegate$lambda$lambda));
     };
   }
   function StreamsExecutionContext(unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, startTime, maxDuration, solverStrategies, sideEffectManager) {
-    unificator = unificator === VOID ? Companion_getInstance().h1k() : unificator;
-    libraries = libraries === VOID ? Companion_getInstance_0().empty() : libraries;
-    flags = flags === VOID ? Companion_getInstance_1().empty() : flags;
-    staticKb = staticKb === VOID ? Companion_getInstance_2().empty(unificator) : staticKb;
-    dynamicKb = dynamicKb === VOID ? Companion_getInstance_2().empty(unificator) : dynamicKb;
+    unificator = unificator === VOID ? Companion_getInstance().g1l() : 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;
     operators = operators === VOID ? toOperatorSet(getAllOperators(libraries, [staticKb, dynamicKb])) : operators;
-    inputChannels = inputChannels === VOID ? Companion_getInstance_6().fromStandard() : inputChannels;
-    outputChannels = outputChannels === VOID ? Companion_getInstance_7().fromStandard() : outputChannels;
-    customData = customData === VOID ? Companion_getInstance_11().empty() : customData;
-    substitution = substitution === VOID ? Companion_getInstance_9().empty() : substitution;
+    inputChannels = inputChannels === VOID ? Companion_instance_4.fromStandard() : inputChannels;
+    outputChannels = outputChannels === VOID ? Companion_instance_5.fromStandard() : outputChannels;
+    customData = customData === VOID ? Companion_instance_7.empty() : customData;
+    substitution = substitution === VOID ? Companion_getInstance_2().empty() : substitution;
     startTime = startTime === VOID ? currentTimeInstant() : startTime;
     var tmp;
     if (maxDuration === VOID) {
-      Companion_getInstance_12();
+      Companion_getInstance_3();
       tmp = new Long(-1, 2147483647);
     } else {
       tmp = maxDuration;
     }
     maxDuration = tmp;
-    solverStrategies = solverStrategies === VOID ? Companion_getInstance_18().b4a_1 : solverStrategies;
+    solverStrategies = solverStrategies === VOID ? Companion_getInstance_6().e4b_1 : solverStrategies;
     sideEffectManager = sideEffectManager === VOID ? new SideEffectManagerImpl() : sideEffectManager;
-    this.h4a_1 = unificator;
-    this.i4a_1 = libraries;
-    this.j4a_1 = flags;
-    this.k4a_1 = staticKb;
-    this.l4a_1 = dynamicKb;
-    this.m4a_1 = operators;
-    this.n4a_1 = inputChannels;
-    this.o4a_1 = outputChannels;
-    this.p4a_1 = customData;
-    this.q4a_1 = substitution;
-    this.r4a_1 = startTime;
-    this.s4a_1 = maxDuration;
-    this.t4a_1 = solverStrategies;
-    this.u4a_1 = sideEffectManager;
+    this.k4b_1 = unificator;
+    this.l4b_1 = libraries;
+    this.m4b_1 = flags;
+    this.n4b_1 = staticKb;
+    this.o4b_1 = dynamicKb;
+    this.p4b_1 = operators;
+    this.q4b_1 = inputChannels;
+    this.r4b_1 = outputChannels;
+    this.s4b_1 = customData;
+    this.t4b_1 = substitution;
+    this.u4b_1 = startTime;
+    this.v4b_1 = maxDuration;
+    this.w4b_1 = solverStrategies;
+    this.x4b_1 = sideEffectManager;
     var tmp_0 = this;
-    tmp_0.v4a_1 = lazy(StreamsExecutionContext$logicStackTrace$delegate$lambda(this));
+    tmp_0.y4b_1 = lazy(StreamsExecutionContext$logicStackTrace$delegate$lambda(this));
   }
-  protoOf(StreamsExecutionContext).k1k = function () {
-    return this.h4a_1;
+  protoOf(StreamsExecutionContext).j1l = function () {
+    return this.k4b_1;
   };
-  protoOf(StreamsExecutionContext).v1t = function () {
-    return this.i4a_1;
+  protoOf(StreamsExecutionContext).u1u = function () {
+    return this.l4b_1;
   };
-  protoOf(StreamsExecutionContext).w1t = function () {
-    return this.j4a_1;
+  protoOf(StreamsExecutionContext).v1u = function () {
+    return this.m4b_1;
   };
-  protoOf(StreamsExecutionContext).x1t = function () {
-    return this.k4a_1;
+  protoOf(StreamsExecutionContext).w1u = function () {
+    return this.n4b_1;
   };
-  protoOf(StreamsExecutionContext).y1t = function () {
-    return this.l4a_1;
+  protoOf(StreamsExecutionContext).x1u = function () {
+    return this.o4b_1;
   };
-  protoOf(StreamsExecutionContext).e1u = function () {
-    return this.m4a_1;
+  protoOf(StreamsExecutionContext).d1v = function () {
+    return this.p4b_1;
   };
-  protoOf(StreamsExecutionContext).z1t = function () {
-    return this.n4a_1;
+  protoOf(StreamsExecutionContext).y1u = function () {
+    return this.q4b_1;
   };
-  protoOf(StreamsExecutionContext).a1u = function () {
-    return this.o4a_1;
+  protoOf(StreamsExecutionContext).z1u = function () {
+    return this.r4b_1;
   };
-  protoOf(StreamsExecutionContext).t1t = function () {
-    return this.p4a_1;
+  protoOf(StreamsExecutionContext).s1u = function () {
+    return this.s4b_1;
   };
-  protoOf(StreamsExecutionContext).r1t = function () {
-    return this.q4a_1;
+  protoOf(StreamsExecutionContext).q1u = function () {
+    return this.t4b_1;
   };
-  protoOf(StreamsExecutionContext).l1t = function () {
-    return this.r4a_1;
+  protoOf(StreamsExecutionContext).k1u = function () {
+    return this.u4b_1;
   };
-  protoOf(StreamsExecutionContext).n1t = function () {
-    return this.s4a_1;
+  protoOf(StreamsExecutionContext).m1u = function () {
+    return this.v4b_1;
   };
-  protoOf(StreamsExecutionContext).q1t = function () {
-    var tmp$ret$2;
+  protoOf(StreamsExecutionContext).p1u = function () {
     // Inline function 'kotlin.collections.map' call
-    var tmp1_map = this.u4a_1.z4a_1;
-    var tmp$ret$1;
+    var this_0 = this.x4b_1.c4c_1;
     // Inline function 'kotlin.collections.mapTo' call
-    var tmp0_mapTo = ArrayList_init_$Create$_0(collectionSizeOrDefault(tmp1_map, 10));
-    var tmp0_iterator = tmp1_map.j();
-    while (tmp0_iterator.m()) {
-      var item = tmp0_iterator.n();
-      var tmp$ret$0;
+    var destination = ArrayList_init_$Create$_0(collectionSizeOrDefault(this_0, 10));
+    var tmp0_iterator = this_0.r();
+    while (tmp0_iterator.s()) {
+      var item = tmp0_iterator.u();
       // Inline function 'it.unibo.tuprolog.solve.streams.solver.StreamsExecutionContext.<get-procedure>.<anonymous>' call
-      tmp$ret$0 = item.v1u();
-      tmp0_mapTo.g(tmp$ret$0);
+      var tmp$ret$0 = item.u1v();
+      destination.o(tmp$ret$0);
     }
-    tmp$ret$1 = tmp0_mapTo;
-    tmp$ret$2 = tmp$ret$1;
-    return firstOrNull(tmp$ret$2);
+    return firstOrNull(destination);
   };
-  protoOf(StreamsExecutionContext).s1t = function () {
-    var tmp$ret$0;
+  protoOf(StreamsExecutionContext).r1u = function () {
     // Inline function 'kotlin.getValue' call
-    var tmp0_getValue = logicStackTrace$factory();
-    tmp$ret$0 = this.v4a_1.b1();
-    return tmp$ret$0;
+    var this_0 = this.y4b_1;
+    logicStackTrace$factory();
+    return this_0.r2();
   };
-  protoOf(StreamsExecutionContext).u1t = function (unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels) {
+  protoOf(StreamsExecutionContext).t1u = function (unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels) {
     return new StreamsSolver(unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels);
   };
-  protoOf(StreamsExecutionContext).b1u = function (unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels) {
-    throw new NotImplementedError('An operation is not implemented: Not yet implemented');
+  protoOf(StreamsExecutionContext).a1v = function (unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels) {
+    var reason = 'Not yet implemented';
+    throw new NotImplementedError('An operation is not implemented: ' + reason);
   };
-  protoOf(StreamsExecutionContext).u34 = function (sideEffect) {
+  protoOf(StreamsExecutionContext).x35 = function (sideEffect) {
     var tmp = apply.call(this, sideEffect);
     return tmp instanceof StreamsExecutionContext ? tmp : THROW_CCE();
   };
   protoOf(StreamsExecutionContext).apply = function (sideEffect) {
-    return this.u34(sideEffect);
+    return this.x35(sideEffect);
   };
-  protoOf(StreamsExecutionContext).v34 = function (sideEffects) {
+  protoOf(StreamsExecutionContext).y35 = function (sideEffects) {
     var tmp = applyIterable.call(this, sideEffects);
     return tmp instanceof StreamsExecutionContext ? tmp : THROW_CCE();
   };
   protoOf(StreamsExecutionContext).applyIterable = function (sideEffects) {
-    return this.v34(sideEffects);
+    return this.y35(sideEffects);
   };
-  protoOf(StreamsExecutionContext).w34 = function (sideEffects) {
+  protoOf(StreamsExecutionContext).z35 = function (sideEffects) {
     var tmp = applySequence.call(this, sideEffects);
     return tmp instanceof StreamsExecutionContext ? tmp : THROW_CCE();
   };
   protoOf(StreamsExecutionContext).applySequence = function (sideEffects) {
-    return this.w34(sideEffects);
+    return this.z35(sideEffects);
   };
-  protoOf(StreamsExecutionContext).d1u = function (unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData) {
-    return this.q4b(unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData);
+  protoOf(StreamsExecutionContext).c1v = function (unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData) {
+    return this.t4c(unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData);
   };
-  protoOf(StreamsExecutionContext).g4c = function (unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, startTime, maxDuration, solverStrategies, sideEffectManager) {
+  protoOf(StreamsExecutionContext).k4d = 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).q4b = function (unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, startTime, maxDuration, solverStrategies, sideEffectManager, $super) {
-    unificator = unificator === VOID ? this.h4a_1 : unificator;
-    libraries = libraries === VOID ? this.i4a_1 : libraries;
-    flags = flags === VOID ? this.j4a_1 : flags;
-    staticKb = staticKb === VOID ? this.k4a_1 : staticKb;
-    dynamicKb = dynamicKb === VOID ? this.l4a_1 : dynamicKb;
-    operators = operators === VOID ? this.m4a_1 : operators;
-    inputChannels = inputChannels === VOID ? this.n4a_1 : inputChannels;
-    outputChannels = outputChannels === VOID ? this.o4a_1 : outputChannels;
-    customData = customData === VOID ? this.p4a_1 : customData;
-    substitution = substitution === VOID ? this.q4a_1 : substitution;
-    startTime = startTime === VOID ? this.r4a_1 : startTime;
-    maxDuration = maxDuration === VOID ? this.s4a_1 : maxDuration;
-    solverStrategies = solverStrategies === VOID ? this.t4a_1 : solverStrategies;
-    sideEffectManager = sideEffectManager === VOID ? this.u4a_1 : sideEffectManager;
-    return $super === VOID ? this.g4c(unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, startTime, maxDuration, solverStrategies, sideEffectManager) : $super.g4c.call(this, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, startTime, maxDuration, solverStrategies, sideEffectManager);
+  protoOf(StreamsExecutionContext).t4c = function (unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, startTime, maxDuration, solverStrategies, sideEffectManager, $super) {
+    unificator = unificator === VOID ? this.k4b_1 : unificator;
+    libraries = libraries === VOID ? this.l4b_1 : libraries;
+    flags = flags === VOID ? this.m4b_1 : flags;
+    staticKb = staticKb === VOID ? this.n4b_1 : staticKb;
+    dynamicKb = dynamicKb === VOID ? this.o4b_1 : dynamicKb;
+    operators = operators === VOID ? this.p4b_1 : operators;
+    inputChannels = inputChannels === VOID ? this.q4b_1 : inputChannels;
+    outputChannels = outputChannels === VOID ? this.r4b_1 : outputChannels;
+    customData = customData === VOID ? this.s4b_1 : customData;
+    substitution = substitution === VOID ? this.t4b_1 : substitution;
+    startTime = startTime === VOID ? this.u4b_1 : startTime;
+    maxDuration = maxDuration === VOID ? this.v4b_1 : maxDuration;
+    solverStrategies = solverStrategies === VOID ? this.w4b_1 : solverStrategies;
+    sideEffectManager = sideEffectManager === VOID ? this.x4b_1 : sideEffectManager;
+    return $super === VOID ? this.k4d(unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, startTime, maxDuration, solverStrategies, sideEffectManager) : $super.k4d.call(this, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, startTime, maxDuration, solverStrategies, sideEffectManager);
   };
   protoOf(StreamsExecutionContext).toString = function () {
-    return 'StreamsExecutionContext(unificator=' + this.h4a_1 + ', libraries=' + this.i4a_1 + ', flags=' + this.j4a_1 + ', staticKb=' + this.k4a_1 + ', dynamicKb=' + this.l4a_1 + ', operators=' + this.m4a_1 + ', inputChannels=' + this.n4a_1 + ', outputChannels=' + this.o4a_1 + ', customData=' + this.p4a_1 + ', substitution=' + this.q4a_1 + ', startTime=' + toString(this.r4a_1) + ', maxDuration=' + toString(this.s4a_1) + ', solverStrategies=' + this.t4a_1 + ', sideEffectManager=' + this.u4a_1 + ')';
+    return 'StreamsExecutionContext(unificator=' + this.k4b_1 + ', libraries=' + this.l4b_1 + ', flags=' + this.m4b_1 + ', staticKb=' + this.n4b_1 + ', dynamicKb=' + this.o4b_1 + ', operators=' + this.p4b_1 + ', inputChannels=' + this.q4b_1 + ', outputChannels=' + this.r4b_1 + ', customData=' + this.s4b_1 + ', substitution=' + this.t4b_1 + ', startTime=' + this.u4b_1.toString() + ', maxDuration=' + this.v4b_1.toString() + ', solverStrategies=' + this.w4b_1 + ', sideEffectManager=' + this.x4b_1 + ')';
   };
   protoOf(StreamsExecutionContext).hashCode = function () {
-    var result = hashCode(this.h4a_1);
-    result = imul(result, 31) + hashCode(this.i4a_1) | 0;
-    result = imul(result, 31) + this.j4a_1.hashCode() | 0;
-    result = imul(result, 31) + hashCode(this.k4a_1) | 0;
-    result = imul(result, 31) + hashCode(this.l4a_1) | 0;
-    result = imul(result, 31) + this.m4a_1.hashCode() | 0;
-    result = imul(result, 31) + hashCode(this.n4a_1) | 0;
-    result = imul(result, 31) + hashCode(this.o4a_1) | 0;
-    result = imul(result, 31) + this.p4a_1.hashCode() | 0;
-    result = imul(result, 31) + hashCode(this.q4a_1) | 0;
-    result = imul(result, 31) + this.r4a_1.hashCode() | 0;
-    result = imul(result, 31) + this.s4a_1.hashCode() | 0;
-    result = imul(result, 31) + hashCode(this.t4a_1) | 0;
-    result = imul(result, 31) + this.u4a_1.hashCode() | 0;
+    var result = hashCode(this.k4b_1);
+    result = imul(result, 31) + hashCode(this.l4b_1) | 0;
+    result = imul(result, 31) + this.m4b_1.hashCode() | 0;
+    result = imul(result, 31) + hashCode(this.n4b_1) | 0;
+    result = imul(result, 31) + hashCode(this.o4b_1) | 0;
+    result = imul(result, 31) + this.p4b_1.hashCode() | 0;
+    result = imul(result, 31) + hashCode(this.q4b_1) | 0;
+    result = imul(result, 31) + hashCode(this.r4b_1) | 0;
+    result = imul(result, 31) + this.s4b_1.hashCode() | 0;
+    result = imul(result, 31) + hashCode(this.t4b_1) | 0;
+    result = imul(result, 31) + this.u4b_1.hashCode() | 0;
+    result = imul(result, 31) + this.v4b_1.hashCode() | 0;
+    result = imul(result, 31) + hashCode(this.w4b_1) | 0;
+    result = imul(result, 31) + this.x4b_1.hashCode() | 0;
     return result;
   };
   protoOf(StreamsExecutionContext).equals = function (other) {
@@ -1074,64 +997,64 @@
     if (!(other instanceof StreamsExecutionContext))
       return false;
     var tmp0_other_with_cast = other instanceof StreamsExecutionContext ? other : THROW_CCE();
-    if (!equals(this.h4a_1, tmp0_other_with_cast.h4a_1))
+    if (!equals(this.k4b_1, tmp0_other_with_cast.k4b_1))
       return false;
-    if (!equals(this.i4a_1, tmp0_other_with_cast.i4a_1))
+    if (!equals(this.l4b_1, tmp0_other_with_cast.l4b_1))
       return false;
-    if (!this.j4a_1.equals(tmp0_other_with_cast.j4a_1))
+    if (!this.m4b_1.equals(tmp0_other_with_cast.m4b_1))
       return false;
-    if (!equals(this.k4a_1, tmp0_other_with_cast.k4a_1))
+    if (!equals(this.n4b_1, tmp0_other_with_cast.n4b_1))
       return false;
-    if (!equals(this.l4a_1, tmp0_other_with_cast.l4a_1))
+    if (!equals(this.o4b_1, tmp0_other_with_cast.o4b_1))
       return false;
-    if (!this.m4a_1.equals(tmp0_other_with_cast.m4a_1))
+    if (!this.p4b_1.equals(tmp0_other_with_cast.p4b_1))
       return false;
-    if (!equals(this.n4a_1, tmp0_other_with_cast.n4a_1))
+    if (!equals(this.q4b_1, tmp0_other_with_cast.q4b_1))
       return false;
-    if (!equals(this.o4a_1, tmp0_other_with_cast.o4a_1))
+    if (!equals(this.r4b_1, tmp0_other_with_cast.r4b_1))
       return false;
-    if (!this.p4a_1.equals(tmp0_other_with_cast.p4a_1))
+    if (!this.s4b_1.equals(tmp0_other_with_cast.s4b_1))
       return false;
-    if (!equals(this.q4a_1, tmp0_other_with_cast.q4a_1))
+    if (!equals(this.t4b_1, tmp0_other_with_cast.t4b_1))
       return false;
-    if (!this.r4a_1.equals(tmp0_other_with_cast.r4a_1))
+    if (!this.u4b_1.equals(tmp0_other_with_cast.u4b_1))
       return false;
-    if (!this.s4a_1.equals(tmp0_other_with_cast.s4a_1))
+    if (!this.v4b_1.equals(tmp0_other_with_cast.v4b_1))
       return false;
-    if (!equals(this.t4a_1, tmp0_other_with_cast.t4a_1))
+    if (!equals(this.w4b_1, tmp0_other_with_cast.w4b_1))
       return false;
-    if (!this.u4a_1.equals(tmp0_other_with_cast.u4a_1))
+    if (!this.x4b_1.equals(tmp0_other_with_cast.x4b_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.u4a_1;
+    return tmp0_safe_receiver == null ? null : tmp0_safe_receiver.x4b_1;
   }
   function logicStackTrace$factory() {
     return getPropertyCallableRef('logicStackTrace', 1, KProperty1, function (receiver) {
-      return receiver.s1t();
+      return receiver.r1u();
     }, null);
   }
   function AbstractState(solve) {
-    this.h4c_1 = solve;
-    this.i4c_1 = false;
+    this.l4d_1 = solve;
+    this.m4d_1 = false;
   }
-  protoOf(AbstractState).j4c = function () {
-    return this.i4c_1;
+  protoOf(AbstractState).n4d = function () {
+    return this.m4d_1;
   };
   function AlreadyExecutedState(wrappedState) {
-    this.l4c_1 = wrappedState;
-    this.m4c_1 = true;
+    this.p4d_1 = wrappedState;
+    this.q4d_1 = true;
   }
-  protoOf(AlreadyExecutedState).k4c = function () {
-    return this.l4c_1.k4c();
+  protoOf(AlreadyExecutedState).o4d = function () {
+    return this.p4d_1.o4d();
   };
-  protoOf(AlreadyExecutedState).j4c = function () {
-    return this.m4c_1;
+  protoOf(AlreadyExecutedState).n4d = function () {
+    return this.q4d_1;
   };
   protoOf(AlreadyExecutedState).toString = function () {
-    return 'AlreadyExecutedState of: ' + this.l4c_1;
+    return 'AlreadyExecutedState of: ' + this.p4d_1;
   };
   function asAlreadyExecuted(_this__u8e3s4) {
     var tmp0_safe_receiver = _this__u8e3s4 instanceof AlreadyExecutedState ? _this__u8e3s4 : null;
@@ -1139,14 +1062,10 @@
     if (tmp0_safe_receiver == null) {
       tmp = null;
     } else {
-      var tmp$ret$1;
       // Inline function 'kotlin.let' call
       // Inline function 'kotlin.contracts.contract' call
-      var tmp$ret$0;
       // Inline function 'it.unibo.tuprolog.solve.streams.solver.fsm.asAlreadyExecuted.<anonymous>' call
-      tmp$ret$0 = tmp0_safe_receiver;
-      tmp$ret$1 = tmp$ret$0;
-      tmp = tmp$ret$1;
+      tmp = tmp0_safe_receiver;
     }
     var tmp1_elvis_lhs = tmp;
     return tmp1_elvis_lhs == null ? new AlreadyExecutedState(_this__u8e3s4) : tmp1_elvis_lhs;
@@ -1157,7 +1076,7 @@
   }
   function internalExecute($this, state) {
     var tmp;
-    if (state.j4c()) {
+    if (state.n4d()) {
       tmp = sequenceOf([state]);
     } else {
       tmp = sequence(StateMachineExecutor$internalExecute$slambda_0(state, null));
@@ -1165,34 +1084,34 @@
     return tmp;
   }
   function StateMachineExecutor$execute$lambda(it) {
-    return StateMachineExecutor_getInstance().n4c(it);
+    return StateMachineExecutor_instance.r4d(it);
   }
   function StateMachineExecutor$executeWrapping$lambda(it) {
     return asAlreadyExecuted(it);
   }
   function StateMachineExecutor$internalExecute$slambda($state, resultContinuation) {
-    this.w4c_1 = $state;
+    this.a4e_1 = $state;
     CoroutineImpl.call(this, resultContinuation);
   }
-  protoOf(StateMachineExecutor$internalExecute$slambda).b4d = function ($this$sequence, $completion) {
-    var tmp = this.c4d($this$sequence, $completion);
-    tmp.ci_1 = Unit_getInstance();
-    tmp.di_1 = null;
-    return tmp.ii();
+  protoOf(StateMachineExecutor$internalExecute$slambda).g4e = function ($this$sequence, $completion) {
+    var tmp = this.h4e($this$sequence, $completion);
+    tmp.pc_1 = Unit_instance;
+    tmp.qc_1 = null;
+    return tmp.yc();
   };
-  protoOf(StateMachineExecutor$internalExecute$slambda).ui = function (p1, $completion) {
-    return this.b4d(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
+  protoOf(StateMachineExecutor$internalExecute$slambda).ld = function (p1, $completion) {
+    return this.g4e(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
   };
-  protoOf(StateMachineExecutor$internalExecute$slambda).ii = function () {
-    var suspendResult = this.ci_1;
+  protoOf(StateMachineExecutor$internalExecute$slambda).yc = function () {
+    var suspendResult = this.pc_1;
     $sm: do
       try {
-        var tmp = this.ai_1;
+        var tmp = this.nc_1;
         switch (tmp) {
           case 0:
-            this.bi_1 = 5;
-            this.ai_1 = 1;
-            suspendResult = this.x4c_1.d5(this.w4c_1, this);
+            this.oc_1 = 5;
+            this.nc_1 = 1;
+            suspendResult = this.b4e_1.ef(this.a4e_1, this);
             if (suspendResult === get_COROUTINE_SUSPENDED()) {
               return suspendResult;
             }
@@ -1200,62 +1119,63 @@
             continue $sm;
           case 1:
             var tmp_0 = this;
-            tmp_0.y4c_1 = this.w4c_1.k4c();
-            this.z4c_1 = this.y4c_1.j();
-            this.ai_1 = 2;
+            tmp_0.c4e_1 = this.a4e_1.o4d();
+            this.d4e_1 = this.c4e_1.r();
+            this.nc_1 = 2;
             continue $sm;
           case 2:
-            if (!this.z4c_1.m()) {
-              this.ai_1 = 4;
+            if (!this.d4e_1.s()) {
+              this.nc_1 = 4;
               continue $sm;
             }
 
-            this.a4d_1 = this.z4c_1.n();
-            this.ai_1 = 3;
-            suspendResult = this.x4c_1.g5(internalExecute(StateMachineExecutor_getInstance(), this.a4d_1), this);
+            this.e4e_1 = this.d4e_1.u();
+            var tmp_1 = this;
+            tmp_1.f4e_1 = this.e4e_1;
+            this.nc_1 = 3;
+            suspendResult = this.b4e_1.hf(internalExecute(StateMachineExecutor_instance, this.f4e_1), this);
             if (suspendResult === get_COROUTINE_SUSPENDED()) {
               return suspendResult;
             }
 
             continue $sm;
           case 3:
-            this.ai_1 = 2;
+            this.nc_1 = 2;
             continue $sm;
           case 4:
-            return Unit_getInstance();
+            return Unit_instance;
           case 5:
-            throw this.di_1;
+            throw this.qc_1;
         }
       } catch ($p) {
         var e = $p;
-        if (this.bi_1 === 5) {
+        if (this.oc_1 === 5) {
           throw e;
         } else {
-          this.ai_1 = this.bi_1;
-          this.di_1 = e;
+          this.nc_1 = this.oc_1;
+          this.qc_1 = e;
         }
       }
      while (true);
   };
-  protoOf(StateMachineExecutor$internalExecute$slambda).c4d = function ($this$sequence, completion) {
-    var i = new StateMachineExecutor$internalExecute$slambda(this.w4c_1, completion);
-    i.x4c_1 = $this$sequence;
+  protoOf(StateMachineExecutor$internalExecute$slambda).h4e = function ($this$sequence, completion) {
+    var i = new StateMachineExecutor$internalExecute$slambda(this.a4e_1, completion);
+    i.b4e_1 = $this$sequence;
     return i;
   };
   function StateMachineExecutor$internalExecute$slambda_0($state, resultContinuation) {
     var i = new StateMachineExecutor$internalExecute$slambda($state, resultContinuation);
     var l = function ($this$sequence, $completion) {
-      return i.b4d($this$sequence, $completion);
+      return i.g4e($this$sequence, $completion);
     };
     l.$arity = 1;
     return l;
   }
   function StateMachineExecutor() {
-    StateMachineExecutor_instance = this;
   }
-  protoOf(StateMachineExecutor).e4a = function (state) {
+  protoOf(StateMachineExecutor).h4b = function (state) {
     var tmp;
-    if (state.j4c()) {
+    if (state.n4d()) {
       tmp = emptySequence();
     } else {
       var tmp_0 = drop_0(internalExecute(this, state), 1);
@@ -1263,15 +1183,14 @@
     }
     return tmp;
   };
-  protoOf(StateMachineExecutor).d4d = function (state) {
-    var tmp = this.e4a(state);
+  protoOf(StateMachineExecutor).i4e = function (state) {
+    var tmp = this.h4b(state);
     return map(tmp, StateMachineExecutor$executeWrapping$lambda);
   };
-  protoOf(StateMachineExecutor).n4c = function (_this__u8e3s4) {
-    var tmp0_subject = _this__u8e3s4;
+  protoOf(StateMachineExecutor).r4d = function (_this__u8e3s4) {
     var tmp;
-    if (tmp0_subject instanceof AlreadyExecutedState) {
-      tmp = _this__u8e3s4.l4c_1;
+    if (_this__u8e3s4 instanceof AlreadyExecutedState) {
+      tmp = _this__u8e3s4.p4d_1;
     } else {
       tmp = _this__u8e3s4;
     }
@@ -1279,65 +1198,58 @@
   };
   var StateMachineExecutor_instance;
   function StateMachineExecutor_getInstance() {
-    if (StateMachineExecutor_instance == null)
-      new StateMachineExecutor();
     return StateMachineExecutor_instance;
   }
   function statEndHaltTimeout(_this__u8e3s4, $this) {
-    return stateEndHalt(_this__u8e3s4, TimeOutException_init_$Create$('Given time for `' + _this__u8e3s4.c4a().v1u() + '` computation (' + toString(_this__u8e3s4.c4a().h28_1) + ") wasn't enough for completion", VOID, _this__u8e3s4.c4a().context, _this__u8e3s4.c4a().h28_1), VOID, []);
+    return stateEndHalt(_this__u8e3s4, TimeOutException_init_$Create$('Given time for `' + _this__u8e3s4.f4b().u1v() + '` computation (' + _this__u8e3s4.f4b().j29_1.toString() + ") wasn't enough for completion", VOID, _this__u8e3s4.f4b().context, _this__u8e3s4.f4b().j29_1), VOID, []);
   }
   function _get_stateCurrentTime__3c8uza($this) {
-    var tmp$ret$0;
     // Inline function 'kotlin.getValue' call
-    var tmp0_getValue = stateCurrentTime$factory();
-    tmp$ret$0 = $this.h4d_1.b1();
-    return tmp$ret$0;
+    var this_0 = $this.m4e_1;
+    stateCurrentTime$factory();
+    return this_0.r2();
   }
   function timeIsOver($this, currentDuration, maxDuration) {
-    return currentDuration.i1(maxDuration) >= 0;
+    return currentDuration.q6(maxDuration) >= 0;
   }
   function Companion_1() {
-    Companion_instance_1 = this;
   }
-  var Companion_instance_1;
-  function Companion_getInstance_20() {
-    if (Companion_instance_1 == null)
-      new Companion_1();
-    return Companion_instance_1;
+  var Companion_instance_13;
+  function Companion_getInstance_8() {
+    return Companion_instance_13;
   }
   function AbstractTimedState$stateCurrentTime$delegate$lambda() {
     return currentTimeInstant();
   }
   function AbstractTimedState(solve) {
-    Companion_getInstance_20();
     AbstractState.call(this, solve);
-    this.g4d_1 = solve;
+    this.l4e_1 = solve;
     var tmp = this;
-    tmp.h4d_1 = lazy(AbstractTimedState$stateCurrentTime$delegate$lambda);
+    tmp.m4e_1 = lazy(AbstractTimedState$stateCurrentTime$delegate$lambda);
   }
-  protoOf(AbstractTimedState).c4a = function () {
-    return this.g4d_1;
+  protoOf(AbstractTimedState).f4b = function () {
+    return this.l4e_1;
   };
-  protoOf(AbstractTimedState).k4c = function () {
+  protoOf(AbstractTimedState).o4d = function () {
     var tmp;
-    var tmp_0 = this.c4a().h28_1;
-    Companion_getInstance_12();
+    var tmp_0 = this.f4b().j29_1;
+    Companion_getInstance_3();
     if (tmp_0.equals(new Long(-1, 2147483647))) {
-      tmp = this.i4d();
+      tmp = this.n4e();
     } else {
-      if (timeIsOver(this, _get_stateCurrentTime__3c8uza(this).ch(this.c4a().g28_1), this.c4a().h28_1)) {
-        tmp = sequenceOf([statEndHaltTimeout(this, Companion_getInstance_20())]);
+      if (timeIsOver(this, _get_stateCurrentTime__3c8uza(this).pb(this.f4b().i29_1), this.f4b().j29_1)) {
+        tmp = sequenceOf([statEndHaltTimeout(this, Companion_instance_13)]);
       } else {
-        tmp = this.i4d();
+        tmp = this.n4e();
       }
     }
     return tmp;
   };
-  protoOf(AbstractTimedState).j4d = function (_this__u8e3s4, toYieldState) {
-    return timeIsOver(this, currentTimeInstant().ch(_this__u8e3s4.c4a().g28_1), _this__u8e3s4.c4a().h28_1) ? statEndHaltTimeout(_this__u8e3s4, Companion_getInstance_20()) : toYieldState;
+  protoOf(AbstractTimedState).o4e = function (_this__u8e3s4, toYieldState) {
+    return timeIsOver(this, currentTimeInstant().pb(_this__u8e3s4.f4b().i29_1), _this__u8e3s4.f4b().j29_1) ? statEndHaltTimeout(_this__u8e3s4, Companion_instance_13) : toYieldState;
   };
   protoOf(AbstractTimedState).toString = function () {
-    return '' + getKClassFromExpression(this) + ' with ' + this.c4a();
+    return '' + getKClassFromExpression(this) + ' with ' + this.f4b();
   };
   function stateCurrentTime$factory() {
     return getPropertyCallableRef('stateCurrentTime', 1, KProperty1, function (receiver) {
@@ -1346,35 +1258,32 @@
   }
   function StateEnd$Halt$exception$delegate$lambda(this$0) {
     return function () {
-      var tmp = this$0.q4d_1.solution;
-      return (isInterface(tmp, Halt) ? tmp : THROW_CCE()).y1u();
+      var tmp = this$0.v4e_1.solution;
+      return (isInterface(tmp, Halt) ? tmp : THROW_CCE()).x1v();
     };
   }
   function True(sourceContext, solve) {
     StateEnd.call(this, sourceContext, solve);
-    this.x4d_1 = sourceContext;
-    this.y4d_1 = solve;
+    this.c4f_1 = sourceContext;
+    this.d4f_1 = solve;
     // Inline function 'kotlin.require' call
-    var tmp = this.y4d_1.solution;
-    var tmp0_require = isInterface(tmp, Yes);
+    var tmp = this.d4f_1.solution;
     // Inline function 'kotlin.contracts.contract' call
-    if (!tmp0_require) {
-      var tmp$ret$0;
+    if (!isInterface(tmp, Yes)) {
       // Inline function 'it.unibo.tuprolog.solve.streams.solver.fsm.impl.True.<anonymous>' call
-      tmp$ret$0 = 'True end state can be created only with Solution.Yes. Current: `' + this.y4d_1.solution + '`';
-      var message = tmp$ret$0;
+      var message = 'True end state can be created only with Solution.Yes. Current: `' + this.d4f_1.solution + '`';
       throw IllegalArgumentException_init_$Create$(toString(message));
     }
   }
-  protoOf(True).c4a = function () {
-    return this.y4d_1;
+  protoOf(True).f4b = function () {
+    return this.d4f_1;
   };
   protoOf(True).toString = function () {
-    return 'True(sourceContext=' + this.x4d_1 + ', solve=' + this.y4d_1 + ')';
+    return 'True(sourceContext=' + this.c4f_1 + ', solve=' + this.d4f_1 + ')';
   };
   protoOf(True).hashCode = function () {
-    var result = hashCode(this.x4d_1);
-    result = imul(result, 31) + this.y4d_1.hashCode() | 0;
+    var result = hashCode(this.c4f_1);
+    result = imul(result, 31) + this.d4f_1.hashCode() | 0;
     return result;
   };
   protoOf(True).equals = function (other) {
@@ -1383,37 +1292,34 @@
     if (!(other instanceof True))
       return false;
     var tmp0_other_with_cast = other instanceof True ? other : THROW_CCE();
-    if (!equals(this.x4d_1, tmp0_other_with_cast.x4d_1))
+    if (!equals(this.c4f_1, tmp0_other_with_cast.c4f_1))
       return false;
-    if (!this.y4d_1.equals(tmp0_other_with_cast.y4d_1))
+    if (!this.d4f_1.equals(tmp0_other_with_cast.d4f_1))
       return false;
     return true;
   };
   function False(sourceContext, solve) {
     StateEnd.call(this, sourceContext, solve);
-    this.j4e_1 = sourceContext;
-    this.k4e_1 = solve;
+    this.o4f_1 = sourceContext;
+    this.p4f_1 = solve;
     // Inline function 'kotlin.require' call
-    var tmp = this.k4e_1.solution;
-    var tmp0_require = isInterface(tmp, No);
+    var tmp = this.p4f_1.solution;
     // Inline function 'kotlin.contracts.contract' call
-    if (!tmp0_require) {
-      var tmp$ret$0;
+    if (!isInterface(tmp, No)) {
       // Inline function 'it.unibo.tuprolog.solve.streams.solver.fsm.impl.False.<anonymous>' call
-      tmp$ret$0 = 'False end state can be created only with Solution.No. Current: `' + this.k4e_1.solution + '`';
-      var message = tmp$ret$0;
+      var message = 'False end state can be created only with Solution.No. Current: `' + this.p4f_1.solution + '`';
       throw IllegalArgumentException_init_$Create$(toString(message));
     }
   }
-  protoOf(False).c4a = function () {
-    return this.k4e_1;
+  protoOf(False).f4b = function () {
+    return this.p4f_1;
   };
   protoOf(False).toString = function () {
-    return 'False(sourceContext=' + this.j4e_1 + ', solve=' + this.k4e_1 + ')';
+    return 'False(sourceContext=' + this.o4f_1 + ', solve=' + this.p4f_1 + ')';
   };
   protoOf(False).hashCode = function () {
-    var result = hashCode(this.j4e_1);
-    result = imul(result, 31) + this.k4e_1.hashCode() | 0;
+    var result = hashCode(this.o4f_1);
+    result = imul(result, 31) + this.p4f_1.hashCode() | 0;
     return result;
   };
   protoOf(False).equals = function (other) {
@@ -1422,39 +1328,36 @@
     if (!(other instanceof False))
       return false;
     var tmp0_other_with_cast = other instanceof False ? other : THROW_CCE();
-    if (!equals(this.j4e_1, tmp0_other_with_cast.j4e_1))
+    if (!equals(this.o4f_1, tmp0_other_with_cast.o4f_1))
       return false;
-    if (!this.k4e_1.equals(tmp0_other_with_cast.k4e_1))
+    if (!this.p4f_1.equals(tmp0_other_with_cast.p4f_1))
       return false;
     return true;
   };
   function Halt_0(sourceContext, solve) {
     StateEnd.call(this, sourceContext, solve);
-    this.p4d_1 = sourceContext;
-    this.q4d_1 = solve;
+    this.u4e_1 = sourceContext;
+    this.v4e_1 = solve;
     // Inline function 'kotlin.require' call
-    var tmp = this.q4d_1.solution;
-    var tmp0_require = isInterface(tmp, Halt);
+    var tmp = this.v4e_1.solution;
     // Inline function 'kotlin.contracts.contract' call
-    if (!tmp0_require) {
-      var tmp$ret$0;
+    if (!isInterface(tmp, Halt)) {
       // Inline function 'it.unibo.tuprolog.solve.streams.solver.fsm.impl.Halt.<anonymous>' call
-      tmp$ret$0 = 'Halt end state can be created only with Solution.Halt. Current: `' + this.q4d_1.solution + '`';
-      var message = tmp$ret$0;
+      var message = 'Halt end state can be created only with Solution.Halt. Current: `' + this.v4e_1.solution + '`';
       throw IllegalArgumentException_init_$Create$(toString(message));
     }
     var tmp_0 = this;
-    tmp_0.r4d_1 = lazy(StateEnd$Halt$exception$delegate$lambda(this));
+    tmp_0.w4e_1 = lazy(StateEnd$Halt$exception$delegate$lambda(this));
   }
-  protoOf(Halt_0).c4a = function () {
-    return this.q4d_1;
+  protoOf(Halt_0).f4b = function () {
+    return this.v4e_1;
   };
   protoOf(Halt_0).toString = function () {
-    return 'Halt(sourceContext=' + this.p4d_1 + ', solve=' + this.q4d_1 + ')';
+    return 'Halt(sourceContext=' + this.u4e_1 + ', solve=' + this.v4e_1 + ')';
   };
   protoOf(Halt_0).hashCode = function () {
-    var result = hashCode(this.p4d_1);
-    result = imul(result, 31) + this.q4d_1.hashCode() | 0;
+    var result = hashCode(this.u4e_1);
+    result = imul(result, 31) + this.v4e_1.hashCode() | 0;
     return result;
   };
   protoOf(Halt_0).equals = function (other) {
@@ -1463,75 +1366,66 @@
     if (!(other instanceof Halt_0))
       return false;
     var tmp0_other_with_cast = other instanceof Halt_0 ? other : THROW_CCE();
-    if (!equals(this.p4d_1, tmp0_other_with_cast.p4d_1))
+    if (!equals(this.u4e_1, tmp0_other_with_cast.u4e_1))
       return false;
-    if (!this.q4d_1.equals(tmp0_other_with_cast.q4d_1))
+    if (!this.v4e_1.equals(tmp0_other_with_cast.v4e_1))
       return false;
     return true;
   };
   function StateEnd$context$delegate$lambda(this$0) {
     return function () {
-      var tmp = this$0.c4a().solution.r1t();
+      var tmp = this$0.f4b().solution.q1u();
       var tmp0_elvis_lhs = isInterface(tmp, Unifier) ? tmp : null;
-      return StreamsExecutionContext_init_$Create$(this$0.b4e_1, tmp0_elvis_lhs == null ? Companion_getInstance_9().empty() : tmp0_elvis_lhs);
+      return StreamsExecutionContext_init_$Create$(this$0.g4f_1, tmp0_elvis_lhs == null ? Companion_getInstance_2().empty() : tmp0_elvis_lhs);
     };
   }
   function StateEnd(sourceContext, solve) {
     AbstractState.call(this, solve);
-    this.b4e_1 = sourceContext;
-    this.c4e_1 = solve;
+    this.g4f_1 = sourceContext;
+    this.h4f_1 = solve;
     var tmp = this;
-    tmp.d4e_1 = lazy(StateEnd$context$delegate$lambda(this));
+    tmp.i4f_1 = lazy(StateEnd$context$delegate$lambda(this));
   }
-  protoOf(StateEnd).c4a = function () {
-    return this.c4e_1;
+  protoOf(StateEnd).f4b = function () {
+    return this.h4f_1;
   };
-  protoOf(StateEnd).k4c = function () {
+  protoOf(StateEnd).o4d = function () {
     return emptySequence();
   };
-  protoOf(StateEnd).n5 = function () {
-    var tmp$ret$0;
+  protoOf(StateEnd).uc = function () {
     // Inline function 'kotlin.getValue' call
-    var tmp0_getValue = context$factory();
-    tmp$ret$0 = this.d4e_1.b1();
-    return tmp$ret$0;
+    var this_0 = this.i4f_1;
+    context$factory();
+    return this_0.r2();
   };
   function stateEndTrue(_this__u8e3s4, substitution, sideEffectManager, sideEffects) {
-    substitution = substitution === VOID ? Companion_getInstance_9().empty() : substitution;
+    substitution = substitution === VOID ? Companion_getInstance_2().empty() : substitution;
     sideEffectManager = sideEffectManager === VOID ? null : sideEffectManager;
-    var tmp = _this__u8e3s4.n5();
-    var tmp_0 = _this__u8e3s4.c4a();
-    var tmp0_elvis_lhs = sideEffectManager;
-    return new True(tmp, tmp_0.o2g(substitution, tmp0_elvis_lhs == null ? getSideEffectManager(_this__u8e3s4.c4a().context) : tmp0_elvis_lhs, sideEffects.slice()));
+    var tmp = _this__u8e3s4.uc();
+    var tmp_0 = _this__u8e3s4.f4b();
+    return new True(tmp, tmp_0.q2h(substitution, sideEffectManager == null ? getSideEffectManager(_this__u8e3s4.f4b().context) : sideEffectManager, sideEffects.slice()));
   }
   function stateEndFalse(_this__u8e3s4, sideEffectManager, sideEffects) {
     sideEffectManager = sideEffectManager === VOID ? null : sideEffectManager;
-    var tmp = _this__u8e3s4.n5();
-    var tmp_0 = _this__u8e3s4.c4a();
-    var tmp0_elvis_lhs = sideEffectManager;
-    return new False(tmp, tmp_0.p2g(tmp0_elvis_lhs == null ? getSideEffectManager(_this__u8e3s4.c4a().context) : tmp0_elvis_lhs, sideEffects.slice()));
+    var tmp = _this__u8e3s4.uc();
+    var tmp_0 = _this__u8e3s4.f4b();
+    return new False(tmp, tmp_0.r2h(sideEffectManager == null ? getSideEffectManager(_this__u8e3s4.f4b().context) : sideEffectManager, sideEffects.slice()));
   }
   function stateEndHalt(_this__u8e3s4, exception, sideEffectManager, sideEffects) {
     sideEffectManager = sideEffectManager === VOID ? null : sideEffectManager;
-    var tmp = _this__u8e3s4.n5();
-    var tmp_0 = _this__u8e3s4.c4a();
-    var tmp0_elvis_lhs = sideEffectManager;
-    var tmp1_elvis_lhs = tmp0_elvis_lhs == null ? getSideEffectManager(exception.n5()) : tmp0_elvis_lhs;
-    return new Halt_0(tmp, tmp_0.q2g(exception, tmp1_elvis_lhs == null ? getSideEffectManager(_this__u8e3s4.c4a().context) : tmp1_elvis_lhs, sideEffects.slice()));
+    var tmp = _this__u8e3s4.uc();
+    var tmp_0 = _this__u8e3s4.f4b();
+    var tmp1_elvis_lhs = sideEffectManager == null ? getSideEffectManager(exception.uc()) : sideEffectManager;
+    return new Halt_0(tmp, tmp_0.s2h(exception, tmp1_elvis_lhs == null ? getSideEffectManager(_this__u8e3s4.f4b().context) : tmp1_elvis_lhs, sideEffects.slice()));
   }
   function stateEnd(_this__u8e3s4, response) {
-    var tmp$ret$2;
     // Inline function 'kotlin.with' call
     // Inline function 'kotlin.contracts.contract' call
-    var tmp$ret$1;
     // Inline function 'it.unibo.tuprolog.solve.streams.solver.fsm.impl.stateEnd.<anonymous>' call
-    var tmp$ret$0;
     // Inline function 'kotlin.collections.toTypedArray' call
-    var tmp0_toTypedArray = response.sideEffects;
-    tmp$ret$0 = copyToArray(tmp0_toTypedArray);
-    tmp$ret$1 = stateEnd_0(_this__u8e3s4, response.solution, response.sideEffectManager, tmp$ret$0.slice());
-    tmp$ret$2 = tmp$ret$1;
-    return tmp$ret$2;
+    var this_0 = response.sideEffects;
+    var tmp$ret$0 = copyToArray(this_0);
+    return stateEnd_0(_this__u8e3s4, response.solution, response.sideEffectManager, tmp$ret$0.slice());
   }
   function stateEnd_0(_this__u8e3s4, solution, sideEffectManager, sideEffects) {
     sideEffectManager = sideEffectManager === VOID ? null : sideEffectManager;
@@ -1541,22 +1435,18 @@
   }
   function stateEnd$lambda($this_stateEnd, $sideEffectManager, $sideEffects) {
     return function (sol) {
-      var tmp$ret$1;
       // Inline function 'kotlin.takeUnless' call
-      var tmp0_takeUnless = sol.r1t();
+      var this_0 = sol.q1u();
       // Inline function 'kotlin.contracts.contract' call
       var tmp;
-      var tmp$ret$0;
       // Inline function 'it.unibo.tuprolog.solve.streams.solver.fsm.impl.stateEnd.<anonymous>.<anonymous>' call
-      tmp$ret$0 = tmp0_takeUnless.d();
-      if (!tmp$ret$0) {
-        tmp = tmp0_takeUnless;
+      if (!this_0.y()) {
+        tmp = this_0;
       } else {
         tmp = null;
       }
-      tmp$ret$1 = tmp;
-      var tmp0_elvis_lhs = tmp$ret$1;
-      return stateEndTrue($this_stateEnd, tmp0_elvis_lhs == null ? $this_stateEnd.c4a().context.r1t() : tmp0_elvis_lhs, $sideEffectManager, $sideEffects.slice());
+      var tmp0_elvis_lhs = tmp;
+      return stateEndTrue($this_stateEnd, tmp0_elvis_lhs == null ? $this_stateEnd.f4b().context.q1u() : tmp0_elvis_lhs, $sideEffectManager, $sideEffects.slice());
     };
   }
   function stateEnd$lambda_0($this_stateEnd, $sideEffectManager, $sideEffects) {
@@ -1566,256 +1456,253 @@
   }
   function stateEnd$lambda_1($this_stateEnd, $sideEffectManager, $sideEffects) {
     return function (it) {
-      return stateEndHalt($this_stateEnd, it.y1u(), $sideEffectManager, $sideEffects.slice());
+      return stateEndHalt($this_stateEnd, it.x1v(), $sideEffectManager, $sideEffects.slice());
     };
   }
   function context$factory() {
     return getPropertyCallableRef('context', 1, KProperty1, function (receiver) {
-      return receiver.n5();
+      return receiver.uc();
     }, null);
   }
   function newThrowSolveRequest(_this__u8e3s4, $this, error) {
-    var tmp = Companion_getInstance_13();
-    var tmp$ret$0;
+    var tmp = Companion_getInstance_4();
     // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
-    var tmp0__get_functor__thl4dk = Throw_getInstance();
-    tmp$ret$0 = tmp0__get_functor__thl4dk.signature.name;
-    var tmp_0 = tmp.of(tmp$ret$0, [error.t23()]);
-    var tmp0_elvis_lhs = getSideEffectManager(error.n5());
-    return newSolveRequest(_this__u8e3s4, tmp_0, VOID, VOID, tmp0_elvis_lhs == null ? _this__u8e3s4.context.u4a_1 : tmp0_elvis_lhs, currentTimeInstant());
+    var tmp$ret$0 = Throw_getInstance().signature.name;
+    var tmp_0 = tmp.of(tmp$ret$0, [error.u24()]);
+    var tmp0_elvis_lhs = getSideEffectManager(error.uc());
+    return newSolveRequest(_this__u8e3s4, tmp_0, VOID, VOID, tmp0_elvis_lhs == null ? _this__u8e3s4.context.x4b_1 : tmp0_elvis_lhs, currentTimeInstant());
   }
   function Companion_2() {
-    Companion_instance_2 = this;
   }
-  var Companion_instance_2;
-  function Companion_getInstance_21() {
-    if (Companion_instance_2 == null)
-      new Companion_2();
-    return Companion_instance_2;
+  var Companion_instance_14;
+  function Companion_getInstance_9() {
+    return Companion_instance_14;
   }
   function StateGoalEvaluation$behaveTimed$slambda(this$0, resultContinuation) {
-    this.t4e_1 = this$0;
+    this.y4f_1 = this$0;
     CoroutineImpl.call(this, resultContinuation);
   }
-  protoOf(StateGoalEvaluation$behaveTimed$slambda).b4d = function ($this$sequence, $completion) {
-    var tmp = this.c4d($this$sequence, $completion);
-    tmp.ci_1 = Unit_getInstance();
-    tmp.di_1 = null;
-    return tmp.ii();
+  protoOf(StateGoalEvaluation$behaveTimed$slambda).g4e = function ($this$sequence, $completion) {
+    var tmp = this.h4e($this$sequence, $completion);
+    tmp.pc_1 = Unit_instance;
+    tmp.qc_1 = null;
+    return tmp.yc();
   };
-  protoOf(StateGoalEvaluation$behaveTimed$slambda).ui = function (p1, $completion) {
-    return this.b4d(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
+  protoOf(StateGoalEvaluation$behaveTimed$slambda).ld = function (p1, $completion) {
+    return this.g4e(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
   };
-  protoOf(StateGoalEvaluation$behaveTimed$slambda).ii = function () {
-    var suspendResult = this.ci_1;
+  protoOf(StateGoalEvaluation$behaveTimed$slambda).yc = function () {
+    var suspendResult = this.pc_1;
     $sm: do
       try {
-        var tmp = this.ai_1;
+        var tmp = this.nc_1;
         switch (tmp) {
           case 0:
-            this.bi_1 = 11;
+            this.oc_1 = 11;
             var tmp_0 = this;
-            var tmp0_with = this.t4e_1.m4f_1;
-            tmp_0.v4e_1 = tmp0_with.context.i4a_1.p2c().f3(tmp0_with.signature);
-            this.w4e_1 = this.v4e_1;
-            if (this.w4e_1 == null) {
-              this.x4e_1 = null;
-              this.ai_1 = 8;
+            var $this$with = this.y4f_1.v4g_1;
+            tmp_0.a4g_1 = $this$with.context.l4b_1.r2d().x2($this$with.signature);
+            this.b4g_1 = this.a4g_1;
+            if (this.b4g_1 == null) {
+              this.c4g_1 = null;
+              this.nc_1 = 8;
               continue $sm;
             } else {
-              this.y4e_1 = null;
-              this.bi_1 = 1;
-              this.y4e_1 = this.v4e_1.solve(this.t4e_1.m4f_1);
-              this.bi_1 = 11;
-              this.ai_1 = 3;
+              var tmp_1 = this;
+              tmp_1.d4g_1 = this.b4g_1;
+              var tmp_2 = this;
+              tmp_2.e4g_1 = this.d4g_1;
+              this.f4g_1 = null;
+              this.oc_1 = 1;
+              this.f4g_1 = this.a4g_1.solve(this.y4f_1.v4g_1);
+              this.oc_1 = 11;
+              this.nc_1 = 3;
               continue $sm;
             }
 
-            break;
           case 1:
-            this.bi_1 = 11;
-            var tmp_1 = this.di_1;
-            if (tmp_1 instanceof HaltException) {
-              this.z4e_1 = this.di_1;
-              this.ai_1 = 2;
-              suspendResult = this.u4e_1.d5(stateEndHalt(this.t4e_1, this.z4e_1, VOID, []), this);
+            this.oc_1 = 11;
+            var tmp_3 = this.qc_1;
+            if (tmp_3 instanceof HaltException) {
+              this.g4g_1 = this.qc_1;
+              this.nc_1 = 2;
+              suspendResult = this.z4f_1.ef(stateEndHalt(this.y4f_1, this.g4g_1, VOID, []), this);
               if (suspendResult === get_COROUTINE_SUSPENDED()) {
                 return suspendResult;
               }
               continue $sm;
             } else {
-              var tmp_2 = this.di_1;
-              if (tmp_2 instanceof LogicError) {
-                this.a4f_1 = this.di_1;
-                this.y4e_1 = Companion_getInstance_19().f4a(newThrowSolveRequest(this.t4e_1.m4f_1, Companion_getInstance_21(), this.a4f_1));
-                this.ai_1 = 3;
+              var tmp_4 = this.qc_1;
+              if (tmp_4 instanceof LogicError) {
+                this.h4g_1 = this.qc_1;
+                this.f4g_1 = Companion_instance_12.i4b(newThrowSolveRequest(this.y4f_1.v4g_1, Companion_instance_14, this.h4g_1));
+                this.nc_1 = 3;
                 continue $sm;
               } else {
-                throw this.di_1;
+                throw this.qc_1;
               }
             }
 
-            break;
           case 2:
-            this.ai_1 = 3;
+            this.nc_1 = 3;
             continue $sm;
           case 3:
-            this.bi_1 = 11;
-            this.b4f_1 = emptyList();
-            this.c4f_1 = this.y4e_1;
-            if (this.c4f_1 == null) {
-              this.d4f_1 = null;
-              this.ai_1 = 7;
+            this.oc_1 = 11;
+            this.i4g_1 = emptyList();
+            this.j4g_1 = this.f4g_1;
+            if (this.j4g_1 == null) {
+              this.k4g_1 = null;
+              this.nc_1 = 7;
               continue $sm;
             } else {
-              this.e4f_1 = this.c4f_1.j();
-              this.ai_1 = 4;
+              var tmp_5 = this;
+              tmp_5.l4g_1 = this.j4g_1;
+              this.m4g_1 = this.l4g_1.r();
+              this.nc_1 = 4;
               continue $sm;
             }
 
-            break;
           case 4:
-            if (!this.e4f_1.m()) {
-              this.ai_1 = 6;
+            if (!this.m4g_1.s()) {
+              this.nc_1 = 6;
               continue $sm;
             }
 
-            this.f4f_1 = this.e4f_1.n();
-            this.b4f_1 = addWithNoDuplicates(this.b4f_1, this.f4f_1.sideEffects);
-            this.ai_1 = 5;
-            suspendResult = this.u4e_1.d5(this.t4e_1.j4d(this.t4e_1, stateEnd(this.t4e_1, this.f4f_1.i2h(VOID, VOID, this.b4f_1))), this);
+            this.n4g_1 = this.m4g_1.u();
+            var tmp_6 = this;
+            tmp_6.o4g_1 = this.n4g_1;
+            this.i4g_1 = addWithNoDuplicates(this.i4g_1, this.o4g_1.sideEffects);
+            this.nc_1 = 5;
+            suspendResult = this.z4f_1.ef(this.y4f_1.o4e(this.y4f_1, stateEnd(this.y4f_1, this.o4g_1.k2i(VOID, VOID, this.i4g_1))), this);
             if (suspendResult === get_COROUTINE_SUSPENDED()) {
               return suspendResult;
             }
 
             continue $sm;
           case 5:
-            var tmp_3 = this.f4f_1.solution;
-            if (isInterface(tmp_3, Halt))
-              return Unit_getInstance();
-            this.ai_1 = 4;
+            var tmp_7 = this.o4g_1.solution;
+            if (isInterface(tmp_7, Halt))
+              return Unit_instance;
+            this.nc_1 = 4;
             continue $sm;
           case 6:
-            this.d4f_1 = Unit_getInstance();
-            this.ai_1 = 7;
+            this.k4g_1 = Unit_instance;
+            this.nc_1 = 7;
             continue $sm;
           case 7:
-            ;
-            this.x4e_1 = this.w4e_1;
-            this.ai_1 = 8;
+            this.c4g_1 = this.d4g_1;
+            this.nc_1 = 8;
             continue $sm;
           case 8:
-            this.g4f_1 = this.x4e_1;
-            if (this.g4f_1 == null) {
-              this.ai_1 = 9;
-              suspendResult = this.u4e_1.d5(new StateRuleSelection(this.t4e_1.m4f_1), this);
+            this.p4g_1 = this.c4g_1;
+            if (this.p4g_1 == null) {
+              this.nc_1 = 9;
+              suspendResult = this.z4f_1.ef(new StateRuleSelection(this.y4f_1.v4g_1), this);
               if (suspendResult === get_COROUTINE_SUSPENDED()) {
                 return suspendResult;
               }
               continue $sm;
             } else {
-              this.h4f_1 = this.g4f_1;
-              this.ai_1 = 10;
+              this.q4g_1 = this.p4g_1;
+              this.nc_1 = 10;
               continue $sm;
             }
 
-            ;
-            break;
           case 9:
-            var tmp_4 = this;
-            tmp_4.h4f_1 = Unit_getInstance();
-            this.ai_1 = 10;
+            var tmp_8 = this;
+            tmp_8.q4g_1 = Unit_instance;
+            this.nc_1 = 10;
             continue $sm;
           case 10:
-            ;
-            return Unit_getInstance();
+            return Unit_instance;
           case 11:
-            throw this.di_1;
+            throw this.qc_1;
         }
       } catch ($p) {
         var e = $p;
-        if (this.bi_1 === 11) {
+        if (this.oc_1 === 11) {
           throw e;
         } else {
-          this.ai_1 = this.bi_1;
-          this.di_1 = e;
+          this.nc_1 = this.oc_1;
+          this.qc_1 = e;
         }
       }
      while (true);
   };
-  protoOf(StateGoalEvaluation$behaveTimed$slambda).c4d = function ($this$sequence, completion) {
-    var i = new StateGoalEvaluation$behaveTimed$slambda(this.t4e_1, completion);
-    i.u4e_1 = $this$sequence;
+  protoOf(StateGoalEvaluation$behaveTimed$slambda).h4e = function ($this$sequence, completion) {
+    var i = new StateGoalEvaluation$behaveTimed$slambda(this.y4f_1, completion);
+    i.z4f_1 = $this$sequence;
     return i;
   };
   function StateGoalEvaluation$behaveTimed$slambda_0(this$0, resultContinuation) {
     var i = new StateGoalEvaluation$behaveTimed$slambda(this$0, resultContinuation);
     var l = function ($this$sequence, $completion) {
-      return i.b4d($this$sequence, $completion);
+      return i.g4e($this$sequence, $completion);
     };
     l.$arity = 1;
     return l;
   }
   function StateGoalEvaluation(solve) {
-    Companion_getInstance_21();
     AbstractTimedState.call(this, solve);
-    this.m4f_1 = solve;
+    this.v4g_1 = solve;
   }
-  protoOf(StateGoalEvaluation).c4a = function () {
-    return this.m4f_1;
+  protoOf(StateGoalEvaluation).f4b = function () {
+    return this.v4g_1;
   };
-  protoOf(StateGoalEvaluation).i4d = function () {
+  protoOf(StateGoalEvaluation).n4e = function () {
     return sequence(StateGoalEvaluation$behaveTimed$slambda_0(this, null));
   };
   function StateInit$behaveTimed$slambda(this$0, resultContinuation) {
-    this.v4f_1 = this$0;
+    this.e4h_1 = this$0;
     CoroutineImpl.call(this, resultContinuation);
   }
-  protoOf(StateInit$behaveTimed$slambda).b4d = function ($this$sequence, $completion) {
-    var tmp = this.c4d($this$sequence, $completion);
-    tmp.ci_1 = Unit_getInstance();
-    tmp.di_1 = null;
-    return tmp.ii();
+  protoOf(StateInit$behaveTimed$slambda).g4e = function ($this$sequence, $completion) {
+    var tmp = this.h4e($this$sequence, $completion);
+    tmp.pc_1 = Unit_instance;
+    tmp.qc_1 = null;
+    return tmp.yc();
   };
-  protoOf(StateInit$behaveTimed$slambda).ui = function (p1, $completion) {
-    return this.b4d(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
+  protoOf(StateInit$behaveTimed$slambda).ld = function (p1, $completion) {
+    return this.g4e(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
   };
-  protoOf(StateInit$behaveTimed$slambda).ii = function () {
-    var suspendResult = this.ci_1;
+  protoOf(StateInit$behaveTimed$slambda).yc = function () {
+    var suspendResult = this.pc_1;
     $sm: do
       try {
-        var tmp = this.ai_1;
+        var tmp = this.nc_1;
         switch (tmp) {
           case 0:
-            this.bi_1 = 6;
+            this.oc_1 = 6;
             var tmp_0 = this;
-            var tmp0_with = this.v4f_1.e4g_1.context;
-            tmp_0.x4f_1 = tmp0_with.u4a_1.e4b(tmp0_with);
-            this.y4f_1 = this.v4f_1.e4g_1.v1u();
-            var tmp1_with = this.v4f_1.e4g_1.context;
-            if (tmp1_with.t4a_1.a4a(this.y4f_1, tmp1_with)) {
-              this.ai_1 = 4;
-              suspendResult = this.w4f_1.d5(this.v4f_1.j4d(this.v4f_1, stateEndTrue(this.v4f_1, this.v4f_1.e4g_1.context.q4a_1, this.x4f_1, [])), this);
+            var $this$with = this.e4h_1.o4h_1.context;
+            tmp_0.g4h_1 = $this$with.x4b_1.h4c($this$with);
+            this.h4h_1 = this.e4h_1.o4h_1.u1v();
+            var $this$with_0 = this.e4h_1.o4h_1.context;
+            if ($this$with_0.w4b_1.d4b(this.h4h_1, $this$with_0)) {
+              this.nc_1 = 4;
+              suspendResult = this.f4h_1.ef(this.e4h_1.o4e(this.e4h_1, stateEndTrue(this.e4h_1, this.e4h_1.o4h_1.context.t4b_1, this.g4h_1, [])), this);
               if (suspendResult === get_COROUTINE_SUSPENDED()) {
                 return suspendResult;
               }
               continue $sm;
             } else {
-              if (isWellFormed(this.y4f_1)) {
+              if (isWellFormed(this.h4h_1)) {
                 var tmp_1 = this;
-                tmp_1.z4f_1 = prepareForExecutionAsGoal(this.y4f_1);
-                this.ai_1 = 2;
-                var tmp_2 = extractSignature(this.z4f_1);
-                var tmp_3 = this.z4f_1.xv();
-                var tmp0_with_0 = this.v4f_1.e4g_1.context;
-                suspendResult = this.w4f_1.d5(new StateGoalEvaluation(this.v4f_1.e4g_1.d2h(tmp_2, tmp_3, tmp0_with_0.q4b(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.x4f_1))), this);
+                tmp_1.i4h_1 = prepareForExecutionAsGoal(this.h4h_1);
+                var tmp_2 = this;
+                tmp_2.j4h_1 = this.i4h_1;
+                this.nc_1 = 2;
+                var tmp_3 = extractSignature(this.j4h_1);
+                var tmp_4 = this.j4h_1.rw();
+                var $this$with_1 = this.e4h_1.o4h_1.context;
+                suspendResult = this.f4h_1.ef(new StateGoalEvaluation(this.e4h_1.o4h_1.f2i(tmp_3, tmp_4, $this$with_1.t4c(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.g4h_1))), this);
                 if (suspendResult === get_COROUTINE_SUSPENDED()) {
                   return suspendResult;
                 }
                 continue $sm;
               } else {
-                this.ai_1 = 1;
-                suspendResult = this.w4f_1.d5(stateEndFalse(this.v4f_1, this.x4f_1, []), this);
+                this.nc_1 = 1;
+                suspendResult = this.f4h_1.ef(stateEndFalse(this.e4h_1, this.g4h_1, []), this);
                 if (suspendResult === get_COROUTINE_SUSPENDED()) {
                   return suspendResult;
                 }
@@ -1823,351 +1710,335 @@
               }
             }
 
-            break;
           case 1:
-            this.ai_1 = 3;
+            this.nc_1 = 3;
             continue $sm;
           case 2:
-            ;
-            this.ai_1 = 3;
+            this.nc_1 = 3;
             continue $sm;
           case 3:
-            this.ai_1 = 5;
+            this.nc_1 = 5;
             continue $sm;
           case 4:
-            this.ai_1 = 5;
+            this.nc_1 = 5;
             continue $sm;
           case 5:
-            return Unit_getInstance();
+            return Unit_instance;
           case 6:
-            throw this.di_1;
+            throw this.qc_1;
         }
       } catch ($p) {
         var e = $p;
-        if (this.bi_1 === 6) {
+        if (this.oc_1 === 6) {
           throw e;
         } else {
-          this.ai_1 = this.bi_1;
-          this.di_1 = e;
+          this.nc_1 = this.oc_1;
+          this.qc_1 = e;
         }
       }
      while (true);
   };
-  protoOf(StateInit$behaveTimed$slambda).c4d = function ($this$sequence, completion) {
-    var i = new StateInit$behaveTimed$slambda(this.v4f_1, completion);
-    i.w4f_1 = $this$sequence;
+  protoOf(StateInit$behaveTimed$slambda).h4e = function ($this$sequence, completion) {
+    var i = new StateInit$behaveTimed$slambda(this.e4h_1, completion);
+    i.f4h_1 = $this$sequence;
     return i;
   };
   function StateInit$behaveTimed$slambda_0(this$0, resultContinuation) {
     var i = new StateInit$behaveTimed$slambda(this$0, resultContinuation);
     var l = function ($this$sequence, $completion) {
-      return i.b4d($this$sequence, $completion);
+      return i.g4e($this$sequence, $completion);
     };
     l.$arity = 1;
     return l;
   }
   function StateInit(solve) {
     AbstractTimedState.call(this, solve);
-    this.e4g_1 = solve;
+    this.o4h_1 = solve;
   }
-  protoOf(StateInit).c4a = function () {
-    return this.e4g_1;
+  protoOf(StateInit).f4b = function () {
+    return this.o4h_1;
   };
-  protoOf(StateInit).i4d = function () {
+  protoOf(StateInit).n4e = function () {
     return sequence(StateInit$behaveTimed$slambda_0(this, null));
   };
   function retrieveRulesMatching(_this__u8e3s4, $this, currentGoal) {
-    var tmp$ret$3;
     // Inline function 'kotlin.let' call
-    var tmp0_let = currentGoal.fy();
     // Inline function 'kotlin.contracts.contract' call
-    var tmp$ret$2;
     // Inline function 'it.unibo.tuprolog.solve.streams.solver.fsm.impl.Companion.retrieveRulesMatching.<anonymous>' call
-    var tmp$ret$1;
+    var refreshedGoal = currentGoal.tw();
     // Inline function 'kotlin.takeIf' call
-    var tmp0_takeIf = _this__u8e3s4.v1t().asTheory(_this__u8e3s4.k1k()).getByHead(tmp0_let);
+    var this_0 = _this__u8e3s4.u1u().asTheory(_this__u8e3s4.j1l()).getByHead(refreshedGoal);
     // Inline function 'kotlin.contracts.contract' call
     var tmp;
-    var tmp$ret$0;
     // Inline function 'it.unibo.tuprolog.solve.streams.solver.fsm.impl.Companion.retrieveRulesMatching.<anonymous>.<anonymous>' call
-    tmp$ret$0 = any(tmp0_takeIf);
-    if (tmp$ret$0) {
-      tmp = tmp0_takeIf;
+    if (any(this_0)) {
+      tmp = this_0;
     } else {
       tmp = null;
     }
-    tmp$ret$1 = tmp;
-    var tmp0_elvis_lhs = tmp$ret$1;
+    var tmp0_elvis_lhs = tmp;
     var tmp_0;
     if (tmp0_elvis_lhs == null) {
-      var tmp_1 = sequenceOf([_this__u8e3s4.x1t(), _this__u8e3s4.y1t()]);
-      tmp_0 = flatMap(tmp_1, StateRuleSelection$Companion$retrieveRulesMatching$lambda(tmp0_let));
+      var tmp_1 = sequenceOf([_this__u8e3s4.w1u(), _this__u8e3s4.x1u()]);
+      tmp_0 = flatMap(tmp_1, StateRuleSelection$Companion$retrieveRulesMatching$lambda(refreshedGoal));
     } else {
       tmp_0 = tmp0_elvis_lhs;
     }
-    tmp$ret$2 = tmp_0;
-    tmp$ret$3 = tmp$ret$2;
-    return tmp$ret$3;
+    return tmp_0;
   }
   function initializeForSubRuleScope(_this__u8e3s4, $this) {
-    var tmp$ret$1;
     // Inline function 'kotlin.with' call
-    var tmp0_with = _this__u8e3s4.context;
     // Inline function 'kotlin.contracts.contract' call
-    var tmp$ret$0;
     // Inline function 'it.unibo.tuprolog.solve.streams.solver.fsm.impl.Companion.initializeForSubRuleScope.<anonymous>' call
-    tmp$ret$0 = tmp0_with.q4b(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, tmp0_with.u4a_1.g4b());
-    tmp$ret$1 = tmp$ret$0;
-    return _this__u8e3s4.d2h(VOID, VOID, tmp$ret$1);
+    var $this$with = _this__u8e3s4.context;
+    var tmp$ret$1 = $this$with.t4c(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this$with.x4b_1.j4c());
+    return _this__u8e3s4.f2i(VOID, VOID, tmp$ret$1);
   }
   function removeSubstitutionFor(_this__u8e3s4, $this, unusedVariables) {
-    var tmp0_subject = _this__u8e3s4;
     var tmp;
-    if (isInterface(tmp0_subject, Yes)) {
-      tmp = _this__u8e3s4.copy(VOID, _this__u8e3s4.r1t().v10(asIterable(unusedVariables)));
+    if (isInterface(_this__u8e3s4, Yes)) {
+      tmp = _this__u8e3s4.copy(VOID, _this__u8e3s4.q1u().o12(asIterable(unusedVariables)));
     } else {
       tmp = _this__u8e3s4;
     }
     return tmp;
   }
-  function StateRuleSelection$Companion$retrieveRulesMatching$lambda($tmp0_let) {
+  function StateRuleSelection$Companion$retrieveRulesMatching$lambda($refreshedGoal) {
     return function (it) {
-      return it.getByHead($tmp0_let);
+      return it.getByHead($refreshedGoal);
     };
   }
   function SolverStrategies$clauseChoiceStrategy$ref($boundThis) {
     var l = function (p0, p1) {
-      return $boundThis.z49(p0, p1);
+      return $boundThis.c4b(p0, p1);
     };
     l.callableName = 'clauseChoiceStrategy';
     return l;
   }
   function StateRuleSelection$behaveTimed$slambda$lambda(it) {
-    var tmp = prepareForExecution(it).fy();
+    var tmp = prepareForExecution(it).tw();
     return isInterface(tmp, Rule) ? tmp : THROW_CCE();
   }
   function Companion_3() {
-    Companion_instance_3 = this;
   }
-  var Companion_instance_3;
-  function Companion_getInstance_22() {
-    if (Companion_instance_3 == null)
-      new Companion_3();
-    return Companion_instance_3;
+  var Companion_instance_15;
+  function Companion_getInstance_10() {
+    return Companion_instance_15;
   }
   function StateMachineExecutor$executeWrapping$ref($boundThis) {
     var l = function (p0) {
-      return $boundThis.d4d(p0);
+      return $boundThis.i4e(p0);
     };
     l.callableName = 'executeWrapping';
     return l;
   }
   function StateRuleSelection$behaveTimed$slambda(this$0, resultContinuation) {
-    this.n4g_1 = this$0;
+    this.x4h_1 = this$0;
     CoroutineImpl.call(this, resultContinuation);
   }
-  protoOf(StateRuleSelection$behaveTimed$slambda).b4d = function ($this$sequence, $completion) {
-    var tmp = this.c4d($this$sequence, $completion);
-    tmp.ci_1 = Unit_getInstance();
-    tmp.di_1 = null;
-    return tmp.ii();
+  protoOf(StateRuleSelection$behaveTimed$slambda).g4e = function ($this$sequence, $completion) {
+    var tmp = this.h4e($this$sequence, $completion);
+    tmp.pc_1 = Unit_instance;
+    tmp.qc_1 = null;
+    return tmp.yc();
   };
-  protoOf(StateRuleSelection$behaveTimed$slambda).ui = function (p1, $completion) {
-    return this.b4d(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
+  protoOf(StateRuleSelection$behaveTimed$slambda).ld = function (p1, $completion) {
+    return this.g4e(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
   };
-  protoOf(StateRuleSelection$behaveTimed$slambda).ii = function () {
-    var suspendResult = this.ci_1;
+  protoOf(StateRuleSelection$behaveTimed$slambda).yc = function () {
+    var suspendResult = this.pc_1;
     $sm: do
       try {
-        var tmp = this.ai_1;
+        var tmp = this.nc_1;
         switch (tmp) {
           case 0:
-            this.bi_1 = 12;
-            this.p4g_1 = this.n4g_1.l4h_1.v1u();
-            this.q4g_1 = retrieveRulesMatching(this.n4g_1.l4h_1.context, Companion_getInstance_22(), this.p4g_1);
-            this.r4g_1 = moreThanOne(this.q4g_1);
-            if (none(this.q4g_1)) {
-              this.ai_1 = 10;
-              suspendResult = this.o4g_1.d5(stateEndFalse(this.n4g_1, VOID, []), this);
+            this.oc_1 = 12;
+            this.z4h_1 = this.x4h_1.x4i_1.u1v();
+            this.a4i_1 = retrieveRulesMatching(this.x4h_1.x4i_1.context, Companion_instance_15, this.z4h_1);
+            this.b4i_1 = moreThanOne(this.a4i_1);
+            if (none(this.a4i_1)) {
+              this.nc_1 = 10;
+              suspendResult = this.y4h_1.ef(stateEndFalse(this.x4h_1, VOID, []), this);
               if (suspendResult === get_COROUTINE_SUSPENDED()) {
                 return suspendResult;
               }
               continue $sm;
             } else {
               var tmp_0 = this;
-              var tmp0_with = this.n4g_1.l4h_1.context;
-              var tmp_1 = orderWithStrategy(this.q4g_1, tmp0_with, SolverStrategies$clauseChoiceStrategy$ref(tmp0_with.t4a_1));
-              tmp_0.s4g_1 = map(tmp_1, StateRuleSelection$behaveTimed$slambda$lambda);
+              var $this$with = this.x4h_1.x4i_1.context;
+              var tmp_1 = orderWithStrategy(this.a4i_1, $this$with, SolverStrategies$clauseChoiceStrategy$ref($this$with.w4b_1));
+              tmp_0.c4i_1 = map(tmp_1, StateRuleSelection$behaveTimed$slambda$lambda);
               var tmp_2 = this;
-              tmp_2.t4g_1 = this.s4g_1.j();
-              this.ai_1 = 1;
+              tmp_2.d4i_1 = this.c4i_1.r();
+              this.nc_1 = 1;
               continue $sm;
             }
 
-            break;
           case 1:
-            if (!this.t4g_1.m()) {
-              this.ai_1 = 9;
+            if (!this.d4i_1.s()) {
+              this.nc_1 = 9;
               continue $sm;
             }
 
             var tmp_3 = this;
-            tmp_3.u4g_1 = this.t4g_1.n();
+            tmp_3.e4i_1 = this.d4i_1.u();
             var tmp_4 = this;
-            tmp_4.v4g_1 = this.t4g_1.m();
-            this.w4g_1 = this.n4g_1.n5().h4a_1.mgu(this.p4g_1, this.u4g_1.sx());
+            tmp_4.f4i_1 = this.d4i_1.s();
+            this.g4i_1 = this.x4h_1.uc().k4b_1.mgu(this.z4h_1, this.e4i_1.wy());
             var tmp_5 = this;
-            var tmp_6 = this.u4g_1.tx().applySubstitution(this.w4g_1);
-            tmp_5.x4g_1 = isInterface(tmp_6, Struct) ? tmp_6 : THROW_CCE();
+            var tmp_6 = this.e4i_1.xy().applySubstitution(this.g4i_1);
+            tmp_5.h4i_1 = isInterface(tmp_6, Struct) ? tmp_6 : THROW_CCE();
             var tmp_7 = this;
-            var tmp0_$receiver = this.n4g_1.l4h_1;
+            var tmp0_$receiver = this.x4h_1.x4i_1;
             var tmp1_requestIssuingInstant = currentTimeInstant();
-            tmp_7.y4g_1 = newSolveRequest(tmp0_$receiver, this.x4g_1, this.w4g_1, VOID, VOID, tmp1_requestIssuingInstant, this.r4g_1);
+            tmp_7.i4i_1 = newSolveRequest(tmp0_$receiver, this.h4i_1, this.g4i_1, VOID, VOID, tmp1_requestIssuingInstant, this.b4i_1);
             var tmp_8 = this;
-            tmp_8.z4g_1 = new StateInit(initializeForSubRuleScope(this.y4g_1, Companion_getInstance_22()));
-            this.ai_1 = 2;
-            suspendResult = this.o4g_1.d5(asAlreadyExecuted(this.z4g_1), this);
+            tmp_8.j4i_1 = new StateInit(initializeForSubRuleScope(this.i4i_1, Companion_instance_15));
+            var tmp_9 = this;
+            tmp_9.k4i_1 = this.j4i_1;
+            this.nc_1 = 2;
+            suspendResult = this.y4h_1.ef(asAlreadyExecuted(this.k4i_1), this);
             if (suspendResult === get_COROUTINE_SUSPENDED()) {
               return suspendResult;
             }
 
             continue $sm;
           case 2:
-            this.a4h_1 = this.z4g_1;
-            this.b4h_1 = false;
-            var tmp_9 = this;
-            tmp_9.c4h_1 = this.n4g_1.m4h_1(this.a4h_1);
-            this.d4h_1 = this.c4h_1.j();
-            this.ai_1 = 3;
+            this.l4i_1 = this.j4i_1;
+            this.m4i_1 = false;
+            var tmp_10 = this;
+            tmp_10.n4i_1 = this.x4h_1.y4i_1(this.l4i_1);
+            this.o4i_1 = this.n4i_1.r();
+            this.nc_1 = 3;
             continue $sm;
           case 3:
-            if (!this.d4h_1.m()) {
-              this.ai_1 = 8;
+            if (!this.o4i_1.s()) {
+              this.nc_1 = 8;
               continue $sm;
             }
 
-            this.e4h_1 = this.d4h_1.n();
-            this.f4h_1 = this.e4h_1.l4c_1;
-            var tmp_10;
-            var tmp_11 = this.f4h_1;
-            if (isInterface(tmp_11, FinalState)) {
-              tmp_10 = this.f4h_1.c4a().solution.v1u().equals(this.y4g_1.v1u());
+            this.p4i_1 = this.o4i_1.u();
+            var tmp_11 = this;
+            tmp_11.q4i_1 = this.p4i_1;
+            this.r4i_1 = this.q4i_1.p4d_1;
+            var tmp_12;
+            var tmp_13 = this.r4i_1;
+            if (isInterface(tmp_13, FinalState)) {
+              tmp_12 = this.r4i_1.f4b().solution.u1v().equals(this.i4i_1.u1v());
             } else {
-              tmp_10 = false;
+              tmp_12 = false;
             }
 
-            if (tmp_10) {
-              if (shouldCutExecuteInRuleSelection(this.f4h_1.c4a().sideEffectManager)) {
-                this.b4h_1 = true;
+            if (tmp_12) {
+              if (shouldCutExecuteInRuleSelection(this.r4i_1.f4b().sideEffectManager)) {
+                this.m4i_1 = true;
               }
-              var tmp_12;
-              var tmp_13;
-              var tmp_14 = this.f4h_1;
-              if (!(tmp_14 instanceof False)) {
-                tmp_13 = true;
+              var tmp_14;
+              var tmp_15;
+              var tmp_16 = this.r4i_1;
+              if (!(tmp_16 instanceof False)) {
+                tmp_15 = true;
               } else {
-                tmp_13 = !this.v4g_1;
+                tmp_15 = !this.f4i_1;
               }
-              if (tmp_13) {
-                tmp_12 = true;
+              if (tmp_15) {
+                tmp_14 = true;
               } else {
-                tmp_12 = this.b4h_1;
+                tmp_14 = this.m4i_1;
               }
-              if (tmp_12) {
-                this.g4h_1 = extendParentScopeWith(this.f4h_1.c4a().sideEffectManager, this.n4g_1.l4h_1.context.u4a_1);
-                this.ai_1 = 5;
-                suspendResult = this.o4g_1.d5(stateEnd(this.n4g_1, this.f4h_1.c4a().i2h(removeSubstitutionFor(this.f4h_1.c4a().solution, Companion_getInstance_22(), this.u4g_1.yv()), this.g4h_1)), this);
+              if (tmp_14) {
+                this.s4i_1 = extendParentScopeWith(this.r4i_1.f4b().sideEffectManager, this.x4h_1.x4i_1.context.x4b_1);
+                this.nc_1 = 5;
+                suspendResult = this.y4h_1.ef(stateEnd(this.x4h_1, this.r4i_1.f4b().k2i(removeSubstitutionFor(this.r4i_1.f4b().solution, Companion_instance_15, this.e4i_1.sw()), this.s4i_1)), this);
                 if (suspendResult === get_COROUTINE_SUSPENDED()) {
                   return suspendResult;
                 }
                 continue $sm;
               } else {
-                this.ai_1 = 6;
+                this.nc_1 = 6;
                 continue $sm;
               }
             } else {
-              this.ai_1 = 4;
-              suspendResult = this.o4g_1.d5(this.e4h_1, this);
+              this.nc_1 = 4;
+              suspendResult = this.y4h_1.ef(this.q4i_1, this);
               if (suspendResult === get_COROUTINE_SUSPENDED()) {
                 return suspendResult;
               }
               continue $sm;
             }
 
-            break;
           case 4:
-            this.ai_1 = 7;
+            this.nc_1 = 7;
             continue $sm;
           case 5:
-            this.ai_1 = 6;
+            this.nc_1 = 6;
             continue $sm;
           case 6:
-            var tmp_15 = this.f4h_1;
-            if (tmp_15 instanceof Halt_0)
-              return Unit_getInstance();
-            this.ai_1 = 7;
+            var tmp_17 = this.r4i_1;
+            if (tmp_17 instanceof Halt_0)
+              return Unit_instance;
+            this.nc_1 = 7;
             continue $sm;
           case 7:
-            this.ai_1 = 3;
+            this.nc_1 = 3;
             continue $sm;
           case 8:
-            if (this.b4h_1)
-              return Unit_getInstance();
-            this.ai_1 = 1;
+            if (this.m4i_1)
+              return Unit_instance;
+            this.nc_1 = 1;
             continue $sm;
           case 9:
-            this.ai_1 = 11;
+            this.nc_1 = 11;
             continue $sm;
           case 10:
-            this.ai_1 = 11;
+            this.nc_1 = 11;
             continue $sm;
           case 11:
-            return Unit_getInstance();
+            return Unit_instance;
           case 12:
-            throw this.di_1;
+            throw this.qc_1;
         }
       } catch ($p) {
         var e = $p;
-        if (this.bi_1 === 12) {
+        if (this.oc_1 === 12) {
           throw e;
         } else {
-          this.ai_1 = this.bi_1;
-          this.di_1 = e;
+          this.nc_1 = this.oc_1;
+          this.qc_1 = e;
         }
       }
      while (true);
   };
-  protoOf(StateRuleSelection$behaveTimed$slambda).c4d = function ($this$sequence, completion) {
-    var i = new StateRuleSelection$behaveTimed$slambda(this.n4g_1, completion);
-    i.o4g_1 = $this$sequence;
+  protoOf(StateRuleSelection$behaveTimed$slambda).h4e = function ($this$sequence, completion) {
+    var i = new StateRuleSelection$behaveTimed$slambda(this.x4h_1, completion);
+    i.y4h_1 = $this$sequence;
     return i;
   };
   function StateRuleSelection$behaveTimed$slambda_0(this$0, resultContinuation) {
     var i = new StateRuleSelection$behaveTimed$slambda(this$0, resultContinuation);
     var l = function ($this$sequence, $completion) {
-      return i.b4d($this$sequence, $completion);
+      return i.g4e($this$sequence, $completion);
     };
     l.$arity = 1;
     return l;
   }
   function StateRuleSelection(solve) {
-    Companion_getInstance_22();
     AbstractTimedState.call(this, solve);
-    this.l4h_1 = solve;
+    this.x4i_1 = solve;
     var tmp = this;
-    tmp.m4h_1 = StateMachineExecutor$executeWrapping$ref(StateMachineExecutor_getInstance());
+    tmp.y4i_1 = StateMachineExecutor$executeWrapping$ref(StateMachineExecutor_instance);
   }
-  protoOf(StateRuleSelection).c4a = function () {
-    return this.l4h_1;
+  protoOf(StateRuleSelection).f4b = function () {
+    return this.x4i_1;
   };
-  protoOf(StateRuleSelection).i4d = function () {
+  protoOf(StateRuleSelection).n4e = function () {
     return sequence(StateRuleSelection$behaveTimed$slambda_0(this, null));
   };
   function DefaultBuiltins() {
     DefaultBuiltins_instance = this;
     ExtensionLibrary.call(this, CommonBuiltins_getInstance());
   }
-  protoOf(DefaultBuiltins).d2d = function () {
+  protoOf(DefaultBuiltins).f2e = function () {
     return listOf_0([Call_getInstance(), Catch_getInstance(), Conjunction_getInstance(), Cut_getInstance(), Throw_getInstance(), Not_getInstance()]);
   };
   var DefaultBuiltins_instance;
@@ -2178,33 +2049,29 @@
   }
   function Call$uncheckedImplementation$lambda($request) {
     return function (it) {
-      return replyWith($request, it.i2h(VOID, resetCutWorkChanges(it.sideEffectManager, $request.context.u4a_1)));
+      return replyWith($request, it.k2i(VOID, resetCutWorkChanges(it.sideEffectManager, $request.context.x4b_1)));
     };
   }
   function Call() {
     Call_instance = this;
     PrimitiveWrapper_init_$Init$('call', 1, VOID, this);
   }
-  protoOf(Call).u4h = function (request) {
-    var tmp$ret$1;
+  protoOf(Call).g4j = function (request) {
     // Inline function 'kotlin.let' call
-    var tmp0_let = single(Companion_getInstance_14().d2e(request).arguments);
     // Inline function 'kotlin.contracts.contract' call
-    var tmp$ret$0;
     // Inline function 'it.unibo.tuprolog.solve.streams.stdlib.primitive.Call.uncheckedImplementation.<anonymous>' call
+    var toBeCalledGoal = single(Companion_getInstance_5().f2f(request).arguments);
     var tmp;
-    if (isWellFormed(tmp0_let)) {
-      var tmp_0 = Companion_getInstance_19().f4a(newSolveRequest(request, prepareForExecutionAsGoal(tmp0_let)));
+    if (isWellFormed(toBeCalledGoal)) {
+      var tmp_0 = Companion_instance_12.i4b(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(), tmp0_let);
+      throw TypeError_init_$Create$('call/1 argument is neither a Variable nor a well-formed goal', VOID, request.context, Expected_CALLABLE_getInstance(), toBeCalledGoal);
     }
-    tmp$ret$0 = tmp;
-    tmp$ret$1 = tmp$ret$0;
-    return tmp$ret$1;
+    return tmp;
   };
-  protoOf(Call).p2e = function (request) {
-    return this.u4h(request);
+  protoOf(Call).r2f = function (request) {
+    return this.g4j(request);
   };
   var Call_instance;
   function Call_getInstance() {
@@ -2218,104 +2085,103 @@
     };
   }
   function call($this, goal) {
-    var tmp = Companion_getInstance_13();
-    var tmp$ret$0;
+    var tmp = Companion_getInstance_4();
     // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
-    var tmp0__get_functor__thl4dk = Call_getInstance();
-    tmp$ret$0 = tmp0__get_functor__thl4dk.signature.name;
+    var tmp$ret$0 = Call_getInstance().signature.name;
     return tmp.of(tmp$ret$0, [goal]);
   }
   function ensureNoMoreSelectableCatch(_this__u8e3s4, $this, notSelectableContext) {
-    return _this__u8e3s4.d2h(VOID, VOID, _this__u8e3s4.context.q4b(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, _this__u8e3s4.context.u4a_1.n4b(notSelectableContext)));
+    return _this__u8e3s4.f2i(VOID, VOID, _this__u8e3s4.context.t4c(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, _this__u8e3s4.context.x4b_1.q4c(notSelectableContext)));
   }
   function Catch$uncheckedImplementation$slambda($request, resultContinuation) {
-    this.d4i_1 = $request;
+    this.p4j_1 = $request;
     CoroutineImpl.call(this, resultContinuation);
   }
-  protoOf(Catch$uncheckedImplementation$slambda).y2q = function ($this$sequence, $completion) {
-    var tmp = this.z2q($this$sequence, $completion);
-    tmp.ci_1 = Unit_getInstance();
-    tmp.di_1 = null;
-    return tmp.ii();
+  protoOf(Catch$uncheckedImplementation$slambda).b2s = function ($this$sequence, $completion) {
+    var tmp = this.c2s($this$sequence, $completion);
+    tmp.pc_1 = Unit_instance;
+    tmp.qc_1 = null;
+    return tmp.yc();
   };
-  protoOf(Catch$uncheckedImplementation$slambda).ui = function (p1, $completion) {
-    return this.y2q(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
+  protoOf(Catch$uncheckedImplementation$slambda).ld = function (p1, $completion) {
+    return this.b2s(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
   };
-  protoOf(Catch$uncheckedImplementation$slambda).ii = function () {
-    var suspendResult = this.ci_1;
+  protoOf(Catch$uncheckedImplementation$slambda).yc = function () {
+    var suspendResult = this.pc_1;
     $sm: do
       try {
-        var tmp = this.ai_1;
+        var tmp = this.nc_1;
         switch (tmp) {
           case 0:
-            this.bi_1 = 6;
-            this.f4i_1 = first_0(this.d4i_1.arguments);
+            this.oc_1 = 6;
+            this.r4j_1 = first_0(this.p4j_1.arguments);
             var tmp_0 = this;
-            tmp_0.g4i_1 = Companion_getInstance_19().f4a(newSolveRequest(this.d4i_1, call(Catch_getInstance(), this.f4i_1)));
-            this.h4i_1 = this.g4i_1.j();
-            this.ai_1 = 1;
+            tmp_0.s4j_1 = Companion_instance_12.i4b(newSolveRequest(this.p4j_1, call(Catch_getInstance(), this.r4j_1)));
+            this.t4j_1 = this.s4j_1.r();
+            this.nc_1 = 1;
             continue $sm;
           case 1:
-            if (!this.h4i_1.m()) {
-              this.ai_1 = 5;
+            if (!this.t4j_1.s()) {
+              this.nc_1 = 5;
               continue $sm;
             }
 
-            this.i4i_1 = this.h4i_1.n();
-            if (isSelectedThrowCatch(this.i4i_1.sideEffectManager, this.d4i_1.context)) {
-              this.j4i_1 = last(this.d4i_1.arguments).applySubstitution(this.i4i_1.solution.r1t());
-              this.k4i_1 = ensureNoMoreSelectableCatch(newSolveRequest(this.d4i_1, call(Catch_getInstance(), this.j4i_1), this.i4i_1.solution.r1t().minus(this.d4i_1.context.q4a_1), VOID, VOID, currentTimeInstant()), Catch_getInstance(), this.d4i_1.context);
-              this.ai_1 = 3;
-              var tmp_1 = Companion_getInstance_19().f4a(this.k4i_1);
-              suspendResult = this.e4i_1.g5(map(tmp_1, Catch$uncheckedImplementation$slambda$lambda(this.d4i_1)), this);
+            this.u4j_1 = this.t4j_1.u();
+            var tmp_1 = this;
+            tmp_1.v4j_1 = this.u4j_1;
+            if (isSelectedThrowCatch(this.v4j_1.sideEffectManager, this.p4j_1.context)) {
+              this.w4j_1 = last(this.p4j_1.arguments).applySubstitution(this.v4j_1.solution.q1u());
+              this.x4j_1 = ensureNoMoreSelectableCatch(newSolveRequest(this.p4j_1, call(Catch_getInstance(), this.w4j_1), this.v4j_1.solution.q1u().minus(this.p4j_1.context.t4b_1), VOID, VOID, currentTimeInstant()), Catch_getInstance(), this.p4j_1.context);
+              this.nc_1 = 3;
+              var tmp_2 = Companion_instance_12.i4b(this.x4j_1);
+              suspendResult = this.q4j_1.hf(map(tmp_2, Catch$uncheckedImplementation$slambda$lambda(this.p4j_1)), this);
               if (suspendResult === get_COROUTINE_SUSPENDED()) {
                 return suspendResult;
               }
               continue $sm;
             } else {
-              this.ai_1 = 2;
-              suspendResult = this.e4i_1.d5(replyWith(this.d4i_1, this.i4i_1), this);
+              this.nc_1 = 2;
+              suspendResult = this.q4j_1.ef(replyWith(this.p4j_1, this.v4j_1), this);
               if (suspendResult === get_COROUTINE_SUSPENDED()) {
                 return suspendResult;
               }
               continue $sm;
             }
 
-            break;
           case 2:
-            this.ai_1 = 4;
+            this.nc_1 = 4;
             continue $sm;
           case 3:
-            this.ai_1 = 4;
+            this.nc_1 = 4;
             continue $sm;
           case 4:
-            this.ai_1 = 1;
+            this.nc_1 = 1;
             continue $sm;
           case 5:
-            return Unit_getInstance();
+            return Unit_instance;
           case 6:
-            throw this.di_1;
+            throw this.qc_1;
         }
       } catch ($p) {
         var e = $p;
-        if (this.bi_1 === 6) {
+        if (this.oc_1 === 6) {
           throw e;
         } else {
-          this.ai_1 = this.bi_1;
-          this.di_1 = e;
+          this.nc_1 = this.oc_1;
+          this.qc_1 = e;
         }
       }
      while (true);
   };
-  protoOf(Catch$uncheckedImplementation$slambda).z2q = function ($this$sequence, completion) {
-    var i = new Catch$uncheckedImplementation$slambda(this.d4i_1, completion);
-    i.e4i_1 = $this$sequence;
+  protoOf(Catch$uncheckedImplementation$slambda).c2s = function ($this$sequence, completion) {
+    var i = new Catch$uncheckedImplementation$slambda(this.p4j_1, completion);
+    i.q4j_1 = $this$sequence;
     return i;
   };
   function Catch$uncheckedImplementation$slambda_0($request, resultContinuation) {
     var i = new Catch$uncheckedImplementation$slambda($request, resultContinuation);
     var l = function ($this$sequence, $completion) {
-      return i.y2q($this$sequence, $completion);
+      return i.b2s($this$sequence, $completion);
     };
     l.$arity = 1;
     return l;
@@ -2324,11 +2190,11 @@
     Catch_instance = this;
     PrimitiveWrapper_init_$Init$('catch', 3, VOID, this);
   }
-  protoOf(Catch).u4h = function (request) {
+  protoOf(Catch).g4j = function (request) {
     return sequence(Catch$uncheckedImplementation$slambda_0(request, null));
   };
-  protoOf(Catch).p2e = function (request) {
-    return this.u4h(request);
+  protoOf(Catch).r2f = function (request) {
+    return this.g4j(request);
   };
   var Catch_instance;
   function Catch_getInstance() {
@@ -2338,160 +2204,159 @@
   }
   function SolverStrategies$predicationChoiceStrategy$ref($boundThis) {
     var l = function (p0, p1) {
-      return $boundThis.y49(p0, p1);
+      return $boundThis.b4b(p0, p1);
     };
     l.callableName = 'predicationChoiceStrategy';
     return l;
   }
   function solveConjunctionGoals(_this__u8e3s4, $this, mainRequest, goals, toPropagateContext, accumulatedSubstitutions, accumulatedSideEffects, previousResponseSideEffectManager, previousGoalsHadAlternatives, $completion) {
     var tmp = new $solveConjunctionGoalsCOROUTINE$0($this, _this__u8e3s4, mainRequest, goals, toPropagateContext, accumulatedSubstitutions, accumulatedSideEffects, previousResponseSideEffectManager, previousGoalsHadAlternatives, $completion);
-    tmp.ci_1 = Unit_getInstance();
-    tmp.di_1 = null;
-    return tmp.ii();
+    tmp.pc_1 = Unit_instance;
+    tmp.qc_1 = null;
+    return tmp.yc();
   }
   function Conjunction$uncheckedImplementation$slambda($request, resultContinuation) {
-    this.u4j_1 = $request;
+    this.h4l_1 = $request;
     CoroutineImpl.call(this, resultContinuation);
   }
-  protoOf(Conjunction$uncheckedImplementation$slambda).y2q = function ($this$sequence, $completion) {
-    var tmp = this.z2q($this$sequence, $completion);
-    tmp.ci_1 = Unit_getInstance();
-    tmp.di_1 = null;
-    return tmp.ii();
+  protoOf(Conjunction$uncheckedImplementation$slambda).b2s = function ($this$sequence, $completion) {
+    var tmp = this.c2s($this$sequence, $completion);
+    tmp.pc_1 = Unit_instance;
+    tmp.qc_1 = null;
+    return tmp.yc();
   };
-  protoOf(Conjunction$uncheckedImplementation$slambda).ui = function (p1, $completion) {
-    return this.y2q(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
+  protoOf(Conjunction$uncheckedImplementation$slambda).ld = function (p1, $completion) {
+    return this.b2s(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
   };
-  protoOf(Conjunction$uncheckedImplementation$slambda).ii = function () {
-    var suspendResult = this.ci_1;
+  protoOf(Conjunction$uncheckedImplementation$slambda).yc = function () {
+    var suspendResult = this.pc_1;
     $sm: do
       try {
-        var tmp = this.ai_1;
+        var tmp = this.nc_1;
         switch (tmp) {
           case 0:
-            this.bi_1 = 2;
+            this.oc_1 = 2;
             var tmp_0 = this;
-            var tmp_1 = this.u4j_1.v1u().castToTuple().au();
-            tmp_0.w4j_1 = toList(orderWithStrategy(tmp_1, this.u4j_1.context, SolverStrategies$predicationChoiceStrategy$ref(this.u4j_1.context.t4a_1)));
-            this.ai_1 = 1;
-            suspendResult = solveConjunctionGoals(this.v4j_1, Conjunction_getInstance(), this.u4j_1, this.w4j_1, this.u4j_1.context, Companion_getInstance_9().empty(), emptyList(), this.u4j_1.context.u4a_1, false, this);
+            var $this$with = this.h4l_1;
+            var tmp_1 = $this$with.u1v().castToTuple().uu();
+            tmp_0.j4l_1 = toList(orderWithStrategy(tmp_1, $this$with.context, SolverStrategies$predicationChoiceStrategy$ref($this$with.context.w4b_1)));
+            this.nc_1 = 1;
+            suspendResult = solveConjunctionGoals(this.i4l_1, Conjunction_getInstance(), this.h4l_1, this.j4l_1, this.h4l_1.context, Companion_getInstance_2().empty(), emptyList(), this.h4l_1.context.x4b_1, false, this);
             if (suspendResult === get_COROUTINE_SUSPENDED()) {
               return suspendResult;
             }
 
             continue $sm;
           case 1:
-            ;
-            return Unit_getInstance();
+            return Unit_instance;
           case 2:
-            throw this.di_1;
+            throw this.qc_1;
         }
       } catch ($p) {
         var e = $p;
-        if (this.bi_1 === 2) {
+        if (this.oc_1 === 2) {
           throw e;
         } else {
-          this.ai_1 = this.bi_1;
-          this.di_1 = e;
+          this.nc_1 = this.oc_1;
+          this.qc_1 = e;
         }
       }
      while (true);
   };
-  protoOf(Conjunction$uncheckedImplementation$slambda).z2q = function ($this$sequence, completion) {
-    var i = new Conjunction$uncheckedImplementation$slambda(this.u4j_1, completion);
-    i.v4j_1 = $this$sequence;
+  protoOf(Conjunction$uncheckedImplementation$slambda).c2s = function ($this$sequence, completion) {
+    var i = new Conjunction$uncheckedImplementation$slambda(this.h4l_1, completion);
+    i.i4l_1 = $this$sequence;
     return i;
   };
   function Conjunction$uncheckedImplementation$slambda_0($request, resultContinuation) {
     var i = new Conjunction$uncheckedImplementation$slambda($request, resultContinuation);
     var l = function ($this$sequence, $completion) {
-      return i.y2q($this$sequence, $completion);
+      return i.b2s($this$sequence, $completion);
     };
     l.$arity = 1;
     return l;
   }
   function $solveConjunctionGoalsCOROUTINE$0(_this__u8e3s4, _this__u8e3s4_0, mainRequest, goals, toPropagateContext, accumulatedSubstitutions, accumulatedSideEffects, previousResponseSideEffectManager, previousGoalsHadAlternatives, resultContinuation) {
     CoroutineImpl.call(this, resultContinuation);
-    this.u4i_1 = _this__u8e3s4;
-    this.v4i_1 = _this__u8e3s4_0;
-    this.w4i_1 = mainRequest;
-    this.x4i_1 = goals;
-    this.y4i_1 = toPropagateContext;
-    this.z4i_1 = accumulatedSubstitutions;
-    this.a4j_1 = accumulatedSideEffects;
-    this.b4j_1 = previousResponseSideEffectManager;
-    this.c4j_1 = previousGoalsHadAlternatives;
-  }
-  protoOf($solveConjunctionGoalsCOROUTINE$0).ii = function () {
-    var suspendResult = this.ci_1;
+    this.h4k_1 = _this__u8e3s4;
+    this.i4k_1 = _this__u8e3s4_0;
+    this.j4k_1 = mainRequest;
+    this.k4k_1 = goals;
+    this.l4k_1 = toPropagateContext;
+    this.m4k_1 = accumulatedSubstitutions;
+    this.n4k_1 = accumulatedSideEffects;
+    this.o4k_1 = previousResponseSideEffectManager;
+    this.p4k_1 = previousGoalsHadAlternatives;
+  }
+  protoOf($solveConjunctionGoalsCOROUTINE$0).yc = function () {
+    var suspendResult = this.pc_1;
     $sm: do
       try {
-        var tmp = this.ai_1;
+        var tmp = this.nc_1;
         switch (tmp) {
           case 0:
-            this.bi_1 = 7;
-            this.d4j_1 = prepareForExecutionAsGoal(first_1(this.x4i_1).applySubstitution(this.z4i_1));
+            this.oc_1 = 7;
+            this.q4k_1 = prepareForExecutionAsGoal(first_1(this.k4k_1).applySubstitution(this.m4k_1));
             var tmp_0 = this;
-            var tmp0_elvis_lhs = this.b4j_1;
-            tmp_0.e4j_1 = newSolveRequest(this.w4i_1, this.d4j_1, this.z4i_1, this.y4i_1, tmp0_elvis_lhs == null ? this.w4i_1.context.u4a_1 : tmp0_elvis_lhs);
-            this.f4j_1 = false;
-            this.g4j_1 = emptyList();
+            var tmp0_elvis_lhs = this.o4k_1;
+            tmp_0.r4k_1 = newSolveRequest(this.j4k_1, this.q4k_1, this.m4k_1, this.l4k_1, tmp0_elvis_lhs == null ? this.j4k_1.context.x4b_1 : tmp0_elvis_lhs);
+            this.s4k_1 = false;
+            this.t4k_1 = emptyList();
             var tmp_1 = this;
-            tmp_1.h4j_1 = Companion_getInstance_19().d4a(this.e4j_1);
+            tmp_1.u4k_1 = Companion_instance_12.g4b(this.r4k_1);
             var tmp_2 = this;
-            tmp_2.i4j_1 = this.h4j_1.j();
-            this.ai_1 = 1;
+            tmp_2.v4k_1 = this.u4k_1.r();
+            this.nc_1 = 1;
             continue $sm;
           case 1:
-            if (!this.i4j_1.m()) {
-              this.ai_1 = 6;
+            if (!this.v4k_1.s()) {
+              this.nc_1 = 6;
               continue $sm;
             }
 
             var tmp_3 = this;
-            tmp_3.j4j_1 = this.i4j_1.n();
+            tmp_3.w4k_1 = this.v4k_1.u();
             var tmp_4 = this;
-            tmp_4.k4j_1 = this.i4j_1.m();
-            this.l4j_1 = this.j4j_1.c4a();
+            tmp_4.x4k_1 = this.v4k_1.s();
+            this.y4k_1 = this.w4k_1.f4b();
             var tmp_5;
-            var tmp0__get_functor__thl4dk = Cut_getInstance();
-            if (tmp0__get_functor__thl4dk.signature.name === this.d4j_1.wv()) {
+            if (Cut_getInstance().signature.name === this.q4k_1.qw()) {
               tmp_5 = true;
             } else {
-              var tmp0_safe_receiver = this.l4j_1.sideEffectManager;
+              var tmp0_safe_receiver = this.y4k_1.sideEffectManager;
               tmp_5 = (tmp0_safe_receiver == null ? null : shouldExecuteThrowCut(tmp0_safe_receiver)) === true;
             }
 
             if (tmp_5) {
-              this.f4j_1 = true;
+              this.s4k_1 = true;
             }
 
-            this.g4j_1 = addWithNoDuplicates(this.g4j_1, this.l4j_1.sideEffects);
+            this.t4k_1 = addWithNoDuplicates(this.t4k_1, this.y4k_1.sideEffects);
             var tmp_6;
             var tmp_7;
-            var tmp1_safe_receiver = this.l4j_1.sideEffectManager;
+            var tmp1_safe_receiver = this.y4k_1.sideEffectManager;
             if ((tmp1_safe_receiver == null ? null : shouldExecuteThrowCut(tmp1_safe_receiver)) === false) {
-              var tmp_8 = this.l4j_1.solution;
+              var tmp_8 = this.y4k_1.solution;
               tmp_7 = isInterface(tmp_8, Yes);
             } else {
               tmp_7 = false;
             }
 
             if (tmp_7) {
-              tmp_6 = moreThanOne(asSequence(this.x4i_1));
+              tmp_6 = moreThanOne(asSequence(this.k4k_1));
             } else {
               tmp_6 = false;
             }
 
             if (tmp_6) {
-              this.ai_1 = 4;
+              this.nc_1 = 4;
               var tmp_9 = Conjunction_getInstance();
-              var tmp_10 = drop(this.x4i_1, 1);
-              var tmp_11 = this.j4j_1.n5().v34(this.g4j_1);
-              var tmp_12 = this.l4j_1.solution.r1t().minus(this.w4i_1.context.q4a_1);
-              var tmp_13 = this.g4j_1;
-              var tmp_14 = this.l4j_1.sideEffectManager;
-              suspendResult = solveConjunctionGoals(this.v4i_1, tmp_9, this.w4i_1, tmp_10, tmp_11, tmp_12, tmp_13, tmp_14 instanceof SideEffectManagerImpl ? tmp_14 : null, this.c4j_1 ? true : this.k4j_1, this);
+              var tmp_10 = drop(this.k4k_1, 1);
+              var tmp_11 = this.w4k_1.uc().y35(this.t4k_1);
+              var tmp_12 = this.y4k_1.solution.q1u().minus(this.j4k_1.context.t4b_1);
+              var tmp_13 = this.t4k_1;
+              var tmp_14 = this.y4k_1.sideEffectManager;
+              suspendResult = solveConjunctionGoals(this.i4k_1, tmp_9, this.j4k_1, tmp_10, tmp_11, tmp_12, tmp_13, tmp_14 instanceof SideEffectManagerImpl ? tmp_14 : null, this.p4k_1 ? true : this.x4k_1, this);
               if (suspendResult === get_COROUTINE_SUSPENDED()) {
                 return suspendResult;
               }
@@ -2499,87 +2364,85 @@
             } else {
               var tmp_15;
               var tmp_16;
-              var tmp_17 = this.l4j_1.solution;
+              var tmp_17 = this.y4k_1.solution;
               if (!isInterface(tmp_17, No)) {
                 tmp_16 = true;
               } else {
-                tmp_16 = !this.c4j_1 ? !this.k4j_1 : false;
+                tmp_16 = !this.p4k_1 ? !this.x4k_1 : false;
               }
               if (tmp_16) {
                 tmp_15 = true;
               } else {
-                tmp_15 = this.f4j_1;
+                tmp_15 = this.s4k_1;
               }
               if (tmp_15) {
-                this.ai_1 = 2;
-                suspendResult = this.v4i_1.d5(replyWith(this.w4i_1, this.l4j_1.i2h(VOID, VOID, plus_1(this.a4j_1, this.g4j_1))), this);
+                this.nc_1 = 2;
+                suspendResult = this.i4k_1.ef(replyWith(this.j4k_1, this.y4k_1.k2i(VOID, VOID, plus_1(this.n4k_1, this.t4k_1))), this);
                 if (suspendResult === get_COROUTINE_SUSPENDED()) {
                   return suspendResult;
                 }
                 continue $sm;
               } else {
-                this.ai_1 = 3;
+                this.nc_1 = 3;
                 continue $sm;
               }
             }
 
-            break;
           case 2:
-            this.ai_1 = 3;
+            this.nc_1 = 3;
             continue $sm;
           case 3:
-            this.ai_1 = 5;
+            this.nc_1 = 5;
             continue $sm;
           case 4:
             var sideEffectPair = suspendResult;
-            if (sideEffectPair.k4_1) {
-              this.f4j_1 = true;
+            if (sideEffectPair.ye_1) {
+              this.s4k_1 = true;
             }
 
-            this.g4j_1 = sideEffectPair.l4_1;
-            this.ai_1 = 5;
+            this.t4k_1 = sideEffectPair.ze_1;
+            this.nc_1 = 5;
             continue $sm;
           case 5:
             var tmp_18;
-            if (this.f4j_1) {
+            if (this.s4k_1) {
               tmp_18 = true;
             } else {
-              var tmp_19 = this.l4j_1.solution;
+              var tmp_19 = this.y4k_1.solution;
               tmp_18 = isInterface(tmp_19, Halt);
             }
 
             if (tmp_18) {
-              return new Pair(true, plus_1(this.a4j_1, this.g4j_1));
+              return new Pair(true, plus_1(this.n4k_1, this.t4k_1));
             }
 
-            this.ai_1 = 1;
+            this.nc_1 = 1;
             continue $sm;
           case 6:
-            return new Pair(this.f4j_1, plus_1(this.a4j_1, this.g4j_1));
+            return new Pair(this.s4k_1, plus_1(this.n4k_1, this.t4k_1));
           case 7:
-            throw this.di_1;
+            throw this.qc_1;
         }
       } catch ($p) {
         var e = $p;
-        if (this.bi_1 === 7) {
+        if (this.oc_1 === 7) {
           throw e;
         } else {
-          this.ai_1 = this.bi_1;
-          this.di_1 = e;
+          this.nc_1 = this.oc_1;
+          this.qc_1 = e;
         }
       }
      while (true);
   };
   function Conjunction() {
     Conjunction_instance = this;
-    Companion_getInstance_15();
     PrimitiveWrapper_init_$Init$(',', 2, VOID, this);
   }
-  protoOf(Conjunction).u4h = function (request) {
+  protoOf(Conjunction).g4j = function (request) {
     return sequence(Conjunction$uncheckedImplementation$slambda_0(request, null));
   };
-  protoOf(Conjunction).p2e = function (request) {
-    return this.u4h(request);
+  protoOf(Conjunction).r2f = function (request) {
+    return this.g4j(request);
   };
   var Conjunction_instance;
   function Conjunction_getInstance() {
@@ -2591,18 +2454,14 @@
     Cut_instance = this;
     PrimitiveWrapper_init_$Init$('!', 0, VOID, this);
   }
-  protoOf(Cut).u4h = function (request) {
-    var tmp$ret$1;
+  protoOf(Cut).g4j = function (request) {
     // Inline function 'kotlin.with' call
     // Inline function 'kotlin.contracts.contract' call
-    var tmp$ret$0;
     // Inline function 'it.unibo.tuprolog.solve.streams.stdlib.primitive.Cut.uncheckedImplementation.<anonymous>' call
-    tmp$ret$0 = sequenceOf([request.replySuccess(request.context.q4a_1, request.context.u4a_1.c4b(), [])]);
-    tmp$ret$1 = tmp$ret$0;
-    return tmp$ret$1;
+    return sequenceOf([request.replySuccess(request.context.t4b_1, request.context.x4b_1.f4c(), [])]);
   };
-  protoOf(Cut).p2e = function (request) {
-    return this.u4h(request);
+  protoOf(Cut).r2f = function (request) {
+    return this.g4j(request);
   };
   var Cut_instance;
   function Cut_getInstance() {
@@ -2611,63 +2470,65 @@
     return Cut_instance;
   }
   function Not$uncheckedImplementation$slambda($request, resultContinuation) {
-    this.h4k_1 = $request;
+    this.u4l_1 = $request;
     CoroutineImpl.call(this, resultContinuation);
   }
-  protoOf(Not$uncheckedImplementation$slambda).y2q = function ($this$sequence, $completion) {
-    var tmp = this.z2q($this$sequence, $completion);
-    tmp.ci_1 = Unit_getInstance();
-    tmp.di_1 = null;
-    return tmp.ii();
+  protoOf(Not$uncheckedImplementation$slambda).b2s = function ($this$sequence, $completion) {
+    var tmp = this.c2s($this$sequence, $completion);
+    tmp.pc_1 = Unit_instance;
+    tmp.qc_1 = null;
+    return tmp.yc();
   };
-  protoOf(Not$uncheckedImplementation$slambda).ui = function (p1, $completion) {
-    return this.y2q(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
+  protoOf(Not$uncheckedImplementation$slambda).ld = function (p1, $completion) {
+    return this.b2s(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
   };
-  protoOf(Not$uncheckedImplementation$slambda).ii = function () {
-    var suspendResult = this.ci_1;
+  protoOf(Not$uncheckedImplementation$slambda).yc = function () {
+    var suspendResult = this.pc_1;
     $sm: do
       try {
-        var tmp = this.ai_1;
+        var tmp = this.nc_1;
         switch (tmp) {
           case 0:
-            this.bi_1 = 7;
-            this.j4k_1 = single(this.h4k_1.arguments);
+            this.oc_1 = 7;
+            this.w4l_1 = single(this.u4l_1.arguments);
             var tmp_0 = this;
-            var tmp_1 = Companion_getInstance_19();
-            var tmp_2 = Companion_getInstance_13();
-            var tmp0__get_functor__thl4dk = Call_getInstance();
-            tmp_0.k4k_1 = tmp_1.f4a(newSolveRequest(this.h4k_1, tmp_2.of(tmp0__get_functor__thl4dk.signature.name, [this.j4k_1])));
-            this.l4k_1 = this.k4k_1.j();
-            this.ai_1 = 1;
+            var tmp_1 = Companion_instance_12;
+            var tmp_2 = Companion_getInstance_4();
+            var this_0 = Call_getInstance();
+            tmp_0.x4l_1 = tmp_1.i4b(newSolveRequest(this.u4l_1, tmp_2.of(this_0.signature.name, [this.w4l_1])));
+            this.y4l_1 = this.x4l_1.r();
+            this.nc_1 = 1;
             continue $sm;
           case 1:
-            if (!this.l4k_1.m()) {
-              this.ai_1 = 6;
+            if (!this.y4l_1.s()) {
+              this.nc_1 = 6;
               continue $sm;
             }
 
-            this.m4k_1 = this.l4k_1.n();
-            this.n4k_1 = this.m4k_1.solution;
-            var tmp_3 = this.n4k_1;
-            if (isInterface(tmp_3, Yes)) {
-              this.ai_1 = 5;
-              suspendResult = this.i4k_1.d5(this.h4k_1.replyFail(VOID, []), this);
+            this.z4l_1 = this.y4l_1.u();
+            var tmp_3 = this;
+            tmp_3.a4m_1 = this.z4l_1;
+            this.b4m_1 = this.a4m_1.solution;
+            var tmp_4 = this.b4m_1;
+            if (isInterface(tmp_4, Yes)) {
+              this.nc_1 = 5;
+              suspendResult = this.v4l_1.ef(this.u4l_1.replyFail(VOID, []), this);
               if (suspendResult === get_COROUTINE_SUSPENDED()) {
                 return suspendResult;
               }
               continue $sm;
             } else {
-              var tmp_4 = this.n4k_1;
-              if (isInterface(tmp_4, No)) {
-                this.ai_1 = 3;
-                suspendResult = this.i4k_1.d5(this.h4k_1.replySuccess(this.h4k_1.context.q4a_1, VOID, []), this);
+              var tmp_5 = this.b4m_1;
+              if (isInterface(tmp_5, No)) {
+                this.nc_1 = 3;
+                suspendResult = this.v4l_1.ef(this.u4l_1.replySuccess(this.u4l_1.context.t4b_1, VOID, []), this);
                 if (suspendResult === get_COROUTINE_SUSPENDED()) {
                   return suspendResult;
                 }
                 continue $sm;
               } else {
-                this.ai_1 = 2;
-                suspendResult = this.i4k_1.d5(replyWith(this.h4k_1, this.m4k_1), this);
+                this.nc_1 = 2;
+                suspendResult = this.v4l_1.ef(replyWith(this.u4l_1, this.a4m_1), this);
                 if (suspendResult === get_COROUTINE_SUSPENDED()) {
                   return suspendResult;
                 }
@@ -2675,43 +2536,42 @@
               }
             }
 
-            break;
           case 2:
-            this.ai_1 = 4;
+            this.nc_1 = 4;
             continue $sm;
           case 3:
-            this.ai_1 = 4;
+            this.nc_1 = 4;
             continue $sm;
           case 4:
-            this.ai_1 = 1;
+            this.nc_1 = 1;
             continue $sm;
           case 5:
-            return Unit_getInstance();
+            return Unit_instance;
           case 6:
-            return Unit_getInstance();
+            return Unit_instance;
           case 7:
-            throw this.di_1;
+            throw this.qc_1;
         }
       } catch ($p) {
         var e = $p;
-        if (this.bi_1 === 7) {
+        if (this.oc_1 === 7) {
           throw e;
         } else {
-          this.ai_1 = this.bi_1;
-          this.di_1 = e;
+          this.nc_1 = this.oc_1;
+          this.qc_1 = e;
         }
       }
      while (true);
   };
-  protoOf(Not$uncheckedImplementation$slambda).z2q = function ($this$sequence, completion) {
-    var i = new Not$uncheckedImplementation$slambda(this.h4k_1, completion);
-    i.i4k_1 = $this$sequence;
+  protoOf(Not$uncheckedImplementation$slambda).c2s = function ($this$sequence, completion) {
+    var i = new Not$uncheckedImplementation$slambda(this.u4l_1, completion);
+    i.v4l_1 = $this$sequence;
     return i;
   };
   function Not$uncheckedImplementation$slambda_0($request, resultContinuation) {
     var i = new Not$uncheckedImplementation$slambda($request, resultContinuation);
     var l = function ($this$sequence, $completion) {
-      return i.y2q($this$sequence, $completion);
+      return i.b2s($this$sequence, $completion);
     };
     l.$arity = 1;
     return l;
@@ -2720,11 +2580,11 @@
     Not_instance = this;
     PrimitiveWrapper_init_$Init$('\\+', 1, VOID, this);
   }
-  protoOf(Not).u4h = function (request) {
+  protoOf(Not).g4j = function (request) {
     return sequence(Not$uncheckedImplementation$slambda_0(request, null));
   };
-  protoOf(Not).p2e = function (request) {
-    return this.u4h(request);
+  protoOf(Not).r2f = function (request) {
+    return this.g4j(request);
   };
   var Not_instance;
   function Not_getInstance() {
@@ -2733,45 +2593,35 @@
     return Not_instance;
   }
   function extractErrorTypeAndExtra(_this__u8e3s4, $this) {
-    var tmp$ret$3;
     // Inline function 'kotlin.with' call
-    var tmp0_with = isInterface(_this__u8e3s4, Struct) ? _this__u8e3s4 : null;
     // Inline function 'kotlin.contracts.contract' call
-    var tmp$ret$2;
     // Inline function 'it.unibo.tuprolog.solve.streams.stdlib.primitive.Throw.extractErrorTypeAndExtra.<anonymous>' call
+    var $this$with = isInterface(_this__u8e3s4, Struct) ? _this__u8e3s4 : null;
     var tmp;
     var tmp_0;
-    var tmp0_safe_receiver = tmp0_with;
-    var tmp_1 = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.wv();
-    ErrorUtils_getInstance();
+    var tmp_1 = $this$with == null ? null : $this$with.qw();
     if (tmp_1 === 'error') {
-      tmp_0 = tmp0_with.qv() === 2;
+      tmp_0 = $this$with.kw() === 2;
     } else {
       tmp_0 = false;
     }
     if (tmp_0) {
-      var tmp_2 = firstOrNull(tmp0_with.xv());
+      var tmp_2 = firstOrNull($this$with.rw());
       var tmp1_safe_receiver = (!(tmp_2 == null) ? isInterface(tmp_2, Struct) : false) ? tmp_2 : null;
       var tmp_3;
       if (tmp1_safe_receiver == null) {
         tmp_3 = null;
       } else {
-        var tmp$ret$1;
         // Inline function 'kotlin.let' call
         // Inline function 'kotlin.contracts.contract' call
-        var tmp$ret$0;
         // Inline function 'it.unibo.tuprolog.solve.streams.stdlib.primitive.Throw.extractErrorTypeAndExtra.<anonymous>.<anonymous>' call
-        tmp$ret$0 = new Pair(tmp1_safe_receiver, tmp0_with.xv().o(1));
-        tmp$ret$1 = tmp$ret$0;
-        tmp_3 = tmp$ret$1;
+        tmp_3 = new Pair(tmp1_safe_receiver, $this$with.rw().c1(1));
       }
       tmp = tmp_3;
     } else {
       tmp = null;
     }
-    tmp$ret$2 = tmp;
-    tmp$ret$3 = tmp$ret$2;
-    return tmp$ret$3;
+    return tmp;
   }
   function extractErrorCauseChain(_this__u8e3s4, $this, withContext) {
     var tmp0_safe_receiver = extractErrorTypeAndExtra(_this__u8e3s4, $this);
@@ -2779,18 +2629,13 @@
     if (tmp0_safe_receiver == null) {
       tmp = null;
     } else {
-      var tmp$ret$1;
       // Inline function 'kotlin.let' call
       // Inline function 'kotlin.contracts.contract' call
-      var tmp$ret$0;
       // Inline function 'it.unibo.tuprolog.solve.streams.stdlib.primitive.Throw.extractErrorCauseChain.<anonymous>' call
-      var type = tmp0_safe_receiver.r3();
-      var extra = tmp0_safe_receiver.s3();
-      var tmp0_$this = Companion_getInstance_16();
+      var type = tmp0_safe_receiver.me();
+      var extra = tmp0_safe_receiver.ne();
       var tmp1_cause = extractErrorCauseChain(extra, Throw_getInstance(), withContext);
-      tmp$ret$0 = tmp0_$this.of(VOID, tmp1_cause, withContext, type, extra);
-      tmp$ret$1 = tmp$ret$0;
-      tmp = tmp$ret$1;
+      tmp = Companion_instance_9.of(VOID, tmp1_cause, withContext, type, extra);
     }
     return tmp;
   }
@@ -2798,51 +2643,41 @@
     Throw_instance = this;
     NonBacktrackable.call(this, 'throw');
   }
-  protoOf(Throw).q4k = function (_this__u8e3s4, first) {
+  protoOf(Throw).e4m = function (_this__u8e3s4, first) {
     var tmp;
     try {
-      var tmp$ret$3;
       // Inline function 'kotlin.let' call
-      var tmp0_let = single(Companion_getInstance_14().d2e(_this__u8e3s4).arguments).freshCopy();
       // Inline function 'kotlin.contracts.contract' call
-      var tmp$ret$2;
       // Inline function 'it.unibo.tuprolog.solve.streams.stdlib.primitive.Throw.computeOne.<anonymous>' call
-      var ancestorCatch = _this__u8e3s4.context.u4a_1.k4b(tmp0_let);
-      var tmp0_safe_receiver = ancestorCatch;
-      var tmp1_safe_receiver = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.arguments;
-      var tmp2_safe_receiver = tmp1_safe_receiver == null ? null : tmp1_safe_receiver.o(1);
+      var throwArgument = single(Companion_getInstance_5().f2f(_this__u8e3s4).arguments).freshCopy();
+      var ancestorCatch = _this__u8e3s4.context.x4b_1.n4c(throwArgument);
+      var tmp1_safe_receiver = ancestorCatch == null ? null : ancestorCatch.arguments;
+      var tmp2_safe_receiver = tmp1_safe_receiver == null ? null : tmp1_safe_receiver.c1(1);
       var tmp_0;
       if (tmp2_safe_receiver == null) {
         tmp_0 = null;
       } else {
-        var tmp$ret$1;
         // Inline function 'kotlin.let' call
         // Inline function 'kotlin.contracts.contract' call
-        var tmp$ret$0;
         // Inline function 'it.unibo.tuprolog.solve.streams.stdlib.primitive.Throw.computeOne.<anonymous>.<anonymous>' call
-        tmp$ret$0 = Companion_getInstance_14().d2f(_this__u8e3s4, tmp2_safe_receiver, tmp0_let);
-        tmp$ret$1 = tmp$ret$0;
-        tmp_0 = tmp$ret$1;
+        tmp_0 = Companion_getInstance_5().f2g(_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.q4a_1.plus(catcher);
+        var tmp_2 = _this__u8e3s4.context.t4b_1.plus(catcher);
         var newSubstitution = isInterface(tmp_2, Unifier) ? tmp_2 : THROW_CCE();
-        tmp_1 = _this__u8e3s4.replySuccess(newSubstitution, _this__u8e3s4.context.u4a_1.l4b(ancestorCatch.context), []);
+        tmp_1 = _this__u8e3s4.replySuccess(newSubstitution, _this__u8e3s4.context.x4b_1.o4c(ancestorCatch.context), []);
       } else {
-        var errorCause = extractErrorCauseChain(tmp0_let, Throw_getInstance(), _this__u8e3s4.context);
+        var errorCause = extractErrorCauseChain(throwArgument, Throw_getInstance(), _this__u8e3s4.context);
         var tmp_3;
         if (!(errorCause == null)) {
           throw errorCause;
         } else {
-          throw Companion_getInstance_17().forUncaughtException(_this__u8e3s4.context, tmp0_let);
+          throw Companion_instance_10.forUncaughtException(_this__u8e3s4.context, throwArgument);
         }
-        tmp_1 = tmp_3;
       }
-      tmp$ret$2 = tmp_1;
-      tmp$ret$3 = tmp$ret$2;
-      tmp = tmp$ret$3;
+      tmp = tmp_1;
     } catch ($p) {
       var tmp_4;
       if ($p instanceof LogicError) {
@@ -2855,8 +2690,8 @@
     }
     return tmp;
   };
-  protoOf(Throw).x2h = function (_this__u8e3s4, first) {
-    return this.q4k(_this__u8e3s4, first);
+  protoOf(Throw).z2i = function (_this__u8e3s4, first) {
+    return this.e4m(_this__u8e3s4, first);
   };
   var Throw_instance;
   function Throw_getInstance() {
@@ -2875,48 +2710,47 @@
   protoOf(StreamsSolver).solveOnce = solveOnce;
   protoOf(StreamsSolver).solveOnceWithOptions = solveOnceWithOptions;
   protoOf(StreamsSolver).clone = clone;
-  protoOf(StreamsSolver).f1u = get_standardInput;
-  protoOf(StreamsSolver).h1u = get_standardOutput;
-  protoOf(StreamsSolver).j1u = get_standardError;
-  protoOf(StreamsSolver).l1u = get_warnings;
+  protoOf(StreamsSolver).e1v = get_standardInput;
+  protoOf(StreamsSolver).f1v = get_standardOutput;
+  protoOf(StreamsSolver).g1v = get_standardError;
+  protoOf(StreamsSolver).h1v = get_warnings;
   protoOf(StreamsSolverFactory).rawSolverOf = rawSolverOf;
   protoOf(StreamsSolverFactory).solverOf = solverOf;
   protoOf(StreamsSolverFactory).mutableSolverOf = mutableSolverOf;
   protoOf(StreamsSolverFactory).rawMutableSolverOf = rawMutableSolverOf;
   protoOf(StreamsSolverFactory).newBuilder = newBuilder;
-  protoOf(StreamsSolverFactory).t1w = get_defaultRuntime;
-  protoOf(StreamsSolverFactory).v1w = get_defaultUnificator;
-  protoOf(StreamsSolverFactory).w1w = get_defaultFlags;
-  protoOf(StreamsSolverFactory).z1w = get_defaultStaticKb;
-  protoOf(StreamsSolverFactory).a1x = get_defaultDynamicKb;
-  protoOf(StreamsSolverFactory).b1x = get_defaultInputChannel;
-  protoOf(StreamsSolverFactory).c1x = get_defaultOutputChannel;
-  protoOf(StreamsSolverFactory).d1x = get_defaultErrorChannel;
-  protoOf(StreamsSolverFactory).e1x = get_defaultWarningsChannel;
-  protoOf(StreamsSolverFactory).m1x = solverWithDefaultBuiltins;
+  protoOf(StreamsSolverFactory).u1x = get_defaultRuntime;
+  protoOf(StreamsSolverFactory).w1x = get_defaultUnificator;
+  protoOf(StreamsSolverFactory).x1x = get_defaultFlags;
+  protoOf(StreamsSolverFactory).a1y = get_defaultStaticKb;
+  protoOf(StreamsSolverFactory).b1y = get_defaultDynamicKb;
+  protoOf(StreamsSolverFactory).c1y = get_defaultInputChannel;
+  protoOf(StreamsSolverFactory).d1y = get_defaultOutputChannel;
+  protoOf(StreamsSolverFactory).e1y = get_defaultErrorChannel;
+  protoOf(StreamsSolverFactory).f1y = get_defaultWarningsChannel;
+  protoOf(StreamsSolverFactory).n1y = solverWithDefaultBuiltins;
   protoOf(StreamsSolverFactory).solverWithDefaultBuiltinsAnd = solverWithDefaultBuiltinsAnd;
-  protoOf(StreamsSolverFactory).o1x = mutableSolverWithDefaultBuiltins;
+  protoOf(StreamsSolverFactory).p1y = mutableSolverWithDefaultBuiltins;
   protoOf(StreamsSolverFactory).mutableSolverWithDefaultBuiltinsAnd = mutableSolverWithDefaultBuiltinsAnd;
   protoOf(StreamsExecutionContext).createSolver = createSolver;
   protoOf(StreamsExecutionContext).createMutableSolver = createMutableSolver;
   protoOf(StreamsExecutionContext).update = update;
-  protoOf(StreamsExecutionContext).f1u = get_standardInput;
-  protoOf(StreamsExecutionContext).h1u = get_standardOutput;
-  protoOf(StreamsExecutionContext).j1u = get_standardError;
-  protoOf(StreamsExecutionContext).l1u = get_warnings;
-  protoOf(StreamsExecutionContext).m1t = get_endTime;
-  protoOf(StreamsExecutionContext).o1t = get_remainingTime;
-  protoOf(StreamsExecutionContext).p1t = get_elapsedTime;
-  protoOf(AbstractTimedState).n5 = get_context;
-  protoOf(StateGoalEvaluation).n5 = get_context;
-  protoOf(StateInit).n5 = get_context;
-  protoOf(StateRuleSelection).n5 = get_context;
-  protoOf(DefaultBuiltins).containsSignature = containsSignature;
-  protoOf(DefaultBuiltins).containsOperator = containsOperator;
-  protoOf(DefaultBuiltins).hasPrimitive = hasPrimitive;
-  protoOf(DefaultBuiltins).hasFunction = hasFunction;
-  protoOf(DefaultBuiltins).r2c = get_ruleSignatures;
-  protoOf(DefaultBuiltins).hasProtected = hasProtected;
+  protoOf(StreamsExecutionContext).e1v = get_standardInput;
+  protoOf(StreamsExecutionContext).f1v = get_standardOutput;
+  protoOf(StreamsExecutionContext).g1v = get_standardError;
+  protoOf(StreamsExecutionContext).h1v = get_warnings;
+  protoOf(StreamsExecutionContext).l1u = get_endTime;
+  protoOf(StreamsExecutionContext).n1u = get_remainingTime;
+  protoOf(StreamsExecutionContext).o1u = get_elapsedTime;
+  protoOf(AbstractTimedState).uc = get_context;
+  //endregion
+  //region block: init
+  Companion_instance_12 = new Companion_0();
+  StreamsSolverFactory_instance = new StreamsSolverFactory();
+  StateMachineExecutor_instance = new StateMachineExecutor();
+  Companion_instance_13 = new Companion_1();
+  Companion_instance_14 = new Companion_2();
+  Companion_instance_15 = new Companion_3();
   //endregion
   //region block: exports
   function $jsExportAll$(_) {