@tuprolog/2p-full 0.31.5-dev0c → 0.31.5-dev0n

package/2p-solve-classic.js

@@ -1,23 +1,56 @@
-(function (_, kotlin_it_unibo_tuprolog_solve, kotlin_kotlin, kotlin_it_unibo_tuprolog_theory, kotlin_it_unibo_tuprolog_unify, kotlin_it_unibo_tuprolog_core, kotlin_it_unibo_tuprolog_utils) {
+(function (root, factory) {
+  if (typeof define === 'function' && define.amd)
+    define(['exports', './2p-unify.js', './kotlin-kotlin-stdlib-js-ir.js', './2p-solve.js', './2p-theory.js', './2p-utils.js', './2p-core.js'], factory);
+  else if (typeof exports === 'object')
+    factory(module.exports, require('./2p-unify.js'), require('./kotlin-kotlin-stdlib-js-ir.js'), require('./2p-solve.js'), require('./2p-theory.js'), require('./2p-utils.js'), require('./2p-core.js'));
+  else {
+    if (typeof this['2p-unify'] === 'undefined') {
+      throw new Error("Error loading module '2p-solve-classic'. Its dependency '2p-unify' was not found. Please, check whether '2p-unify' is loaded prior to '2p-solve-classic'.");
+    }
+    if (typeof this['kotlin-kotlin-stdlib-js-ir'] === 'undefined') {
+      throw new Error("Error loading module '2p-solve-classic'. Its dependency 'kotlin-kotlin-stdlib-js-ir' was not found. Please, check whether 'kotlin-kotlin-stdlib-js-ir' is loaded prior to '2p-solve-classic'.");
+    }
+    if (typeof this['2p-solve'] === 'undefined') {
+      throw new Error("Error loading module '2p-solve-classic'. Its dependency '2p-solve' was not found. Please, check whether '2p-solve' is loaded prior to '2p-solve-classic'.");
+    }
+    if (typeof this['2p-theory'] === 'undefined') {
+      throw new Error("Error loading module '2p-solve-classic'. Its dependency '2p-theory' was not found. Please, check whether '2p-theory' is loaded prior to '2p-solve-classic'.");
+    }
+    if (typeof this['2p-utils'] === 'undefined') {
+      throw new Error("Error loading module '2p-solve-classic'. Its dependency '2p-utils' was not found. Please, check whether '2p-utils' is loaded prior to '2p-solve-classic'.");
+    }
+    if (typeof this['2p-core'] === 'undefined') {
+      throw new Error("Error loading module '2p-solve-classic'. Its dependency '2p-core' was not found. Please, check whether '2p-core' is loaded prior to '2p-solve-classic'.");
+    }
+    root['2p-solve-classic'] = factory(typeof this['2p-solve-classic'] === 'undefined' ? {} : this['2p-solve-classic'], this['2p-unify'], this['kotlin-kotlin-stdlib-js-ir'], this['2p-solve'], this['2p-theory'], this['2p-utils'], this['2p-core']);
+  }
+}(this, function (_, kotlin_it_unibo_tuprolog_unify, kotlin_kotlin, 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 Companion_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.m1;
-  var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_solve.$_$.o1;
-  var Unit_getInstance = kotlin_kotlin.$_$.r2;
-  var toString = kotlin_kotlin.$_$.n7;
-  var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.p1;
-  var AbstractSolver = kotlin_it_unibo_tuprolog_solve.$_$.x2;
-  var THROW_CCE = kotlin_kotlin.$_$.sb;
-  var throwUninitializedPropertyAccessException = kotlin_kotlin.$_$.bc;
-  var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_theory.$_$.b;
-  var Companion_getInstance_2 = kotlin_it_unibo_tuprolog_theory.$_$.a;
+  var Companion_getInstance = kotlin_it_unibo_tuprolog_unify.$_$.a;
+  var VOID = kotlin_kotlin.$_$.gc;
+  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 Unit_getInstance = kotlin_kotlin.$_$.v1;
+  var toString = kotlin_kotlin.$_$.x6;
+  var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.t;
+  var AbstractSolver = kotlin_it_unibo_tuprolog_solve.$_$.v2;
+  var protoOf = kotlin_kotlin.$_$.s6;
+  var THROW_CCE = kotlin_kotlin.$_$.tb;
+  var throwUninitializedPropertyAccessException = kotlin_kotlin.$_$.cc;
   var getAllOperators = kotlin_it_unibo_tuprolog_solve.$_$.t5;
   var toOperatorSet = kotlin_it_unibo_tuprolog_solve.$_$.v5;
-  var Long = kotlin_kotlin.$_$.mb;
+  var Long = kotlin_kotlin.$_$.nb;
   var currentTimeInstant = kotlin_it_unibo_tuprolog_solve.$_$.r5;
-  var asSequence = kotlin_kotlin.$_$.i8;
-  var copy$default = kotlin_it_unibo_tuprolog_solve.$_$.u;
+  var asSequence = kotlin_kotlin.$_$.t7;
+  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;
@@ -26,58 +59,54 @@
   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 get_standardInput = kotlin_it_unibo_tuprolog_solve.$_$.g4;
-  var get_standardOutput = kotlin_it_unibo_tuprolog_solve.$_$.h4;
-  var get_standardError = kotlin_it_unibo_tuprolog_solve.$_$.f4;
-  var get_warnings = kotlin_it_unibo_tuprolog_solve.$_$.i4;
-  var classMeta = kotlin_kotlin.$_$.m6;
-  var setMetadataFor = kotlin_kotlin.$_$.j7;
-  var ensureNotNull = kotlin_kotlin.$_$.vb;
-  var hashCode = kotlin_kotlin.$_$.t6;
-  var equals = kotlin_kotlin.$_$.o6;
-  var CoroutineImpl = kotlin_kotlin.$_$.c6;
-  var SequenceScope = kotlin_kotlin.$_$.e8;
-  var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.b6;
-  var sequence = kotlin_kotlin.$_$.j9;
-  var Companion_getInstance_3 = kotlin_it_unibo_tuprolog_unify.$_$.a;
-  var Companion_getInstance_4 = kotlin_it_unibo_tuprolog_solve.$_$.f2;
-  var Companion_getInstance_5 = kotlin_it_unibo_tuprolog_solve.$_$.a2;
-  var Companion_getInstance_6 = kotlin_it_unibo_tuprolog_solve.$_$.p1;
-  var Companion_getInstance_7 = kotlin_it_unibo_tuprolog_core.$_$.e1;
-  var Companion_getInstance_8 = kotlin_it_unibo_tuprolog_core.$_$.g1;
-  var Companion_getInstance_9 = kotlin_it_unibo_tuprolog_utils.$_$.c;
-  var Companion_getInstance_10 = kotlin_kotlin.$_$.q2;
-  var emptySet = kotlin_kotlin.$_$.u3;
-  var asSequence_0 = kotlin_kotlin.$_$.g3;
-  var emptySequence = kotlin_kotlin.$_$.n8;
-  var plus = kotlin_kotlin.$_$.g9;
-  var flatMap = kotlin_kotlin.$_$.u8;
-  var distinct = kotlin_kotlin.$_$.l8;
+  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 classMeta = kotlin_kotlin.$_$.t5;
+  var setMetadataFor = kotlin_kotlin.$_$.t6;
+  var ensureNotNull = kotlin_kotlin.$_$.wb;
+  var hashCode = kotlin_kotlin.$_$.b6;
+  var equals = kotlin_kotlin.$_$.w5;
+  var CoroutineImpl = kotlin_kotlin.$_$.j5;
+  var SequenceScope = kotlin_kotlin.$_$.p7;
+  var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.i5;
+  var sequence = kotlin_kotlin.$_$.v8;
+  var asSequence_0 = kotlin_kotlin.$_$.k2;
+  var emptySequence = kotlin_kotlin.$_$.y7;
+  var plus = kotlin_kotlin.$_$.s8;
+  var flatMap = kotlin_kotlin.$_$.f8;
+  var distinct = kotlin_kotlin.$_$.w7;
   var cached = kotlin_it_unibo_tuprolog_utils.$_$.r;
-  var Companion_getInstance_11 = kotlin_it_unibo_tuprolog_core.$_$.d1;
-  var filter = kotlin_kotlin.$_$.r8;
-  var map = kotlin_kotlin.$_$.c9;
-  var toList = kotlin_kotlin.$_$.p9;
-  var lazy = kotlin_kotlin.$_$.xb;
-  var contains = kotlin_kotlin.$_$.j8;
-  var createSolver$default = kotlin_it_unibo_tuprolog_solve.$_$.s;
-  var createMutableSolver$default = kotlin_it_unibo_tuprolog_solve.$_$.r;
-  var update$default = kotlin_it_unibo_tuprolog_solve.$_$.t;
-  var apply = kotlin_it_unibo_tuprolog_solve.$_$.d4;
-  var applyIterable = kotlin_it_unibo_tuprolog_solve.$_$.c4;
-  var applySequence = kotlin_it_unibo_tuprolog_solve.$_$.e4;
-  var get_endTime = kotlin_it_unibo_tuprolog_solve.$_$.a4;
-  var get_remainingTime = kotlin_it_unibo_tuprolog_solve.$_$.b4;
-  var get_elapsedTime = kotlin_it_unibo_tuprolog_solve.$_$.z3;
-  var ExecutionContext = kotlin_it_unibo_tuprolog_solve.$_$.j4;
-  var KProperty1 = kotlin_kotlin.$_$.d8;
-  var getPropertyCallableRef = kotlin_kotlin.$_$.r6;
-  var Companion_getInstance_12 = kotlin_it_unibo_tuprolog_solve.$_$.l1;
-  var Companion_getInstance_13 = kotlin_it_unibo_tuprolog_solve.$_$.n1;
-  var solverOf$default = kotlin_it_unibo_tuprolog_solve.$_$.z;
-  var solverOf$default_0 = kotlin_it_unibo_tuprolog_solve.$_$.y;
-  var mutableSolverOf$default = kotlin_it_unibo_tuprolog_solve.$_$.v;
-  var mutableSolverOf$default_0 = kotlin_it_unibo_tuprolog_solve.$_$.w;
+  var Companion_getInstance_8 = kotlin_it_unibo_tuprolog_core.$_$.d1;
+  var filter = kotlin_kotlin.$_$.c8;
+  var map = kotlin_kotlin.$_$.o8;
+  var toList = kotlin_kotlin.$_$.b9;
+  var Companion_getInstance_9 = kotlin_it_unibo_tuprolog_solve.$_$.n1;
+  var Companion_getInstance_10 = kotlin_it_unibo_tuprolog_core.$_$.e1;
+  var Companion_getInstance_11 = kotlin_it_unibo_tuprolog_core.$_$.g1;
+  var Companion_getInstance_12 = kotlin_it_unibo_tuprolog_utils.$_$.c;
+  var Companion_getInstance_13 = kotlin_kotlin.$_$.u1;
+  var emptySet = kotlin_kotlin.$_$.y2;
+  var lazy = kotlin_kotlin.$_$.yb;
+  var contains = kotlin_kotlin.$_$.u7;
+  var createSolver = kotlin_it_unibo_tuprolog_solve.$_$.s;
+  var createMutableSolver = kotlin_it_unibo_tuprolog_solve.$_$.r;
+  var update = kotlin_it_unibo_tuprolog_solve.$_$.t;
+  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 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 objectCreate = kotlin_kotlin.$_$.q6;
+  var rawSolverOf = kotlin_it_unibo_tuprolog_solve.$_$.z;
+  var solverOf = kotlin_it_unibo_tuprolog_solve.$_$.y;
+  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;
@@ -89,91 +118,92 @@
   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 solverWithDefaultBuiltins$default = kotlin_it_unibo_tuprolog_solve.$_$.a1;
+  var solverWithDefaultBuiltinsAnd = kotlin_it_unibo_tuprolog_solve.$_$.a1;
   var mutableSolverWithDefaultBuiltins = kotlin_it_unibo_tuprolog_solve.$_$.m5;
-  var mutableSolverWithDefaultBuiltins$default = kotlin_it_unibo_tuprolog_solve.$_$.x;
+  var mutableSolverWithDefaultBuiltinsAnd = kotlin_it_unibo_tuprolog_solve.$_$.x;
   var SolverFactory = kotlin_it_unibo_tuprolog_solve.$_$.p5;
-  var objectMeta = kotlin_kotlin.$_$.i7;
-  var listOf = kotlin_kotlin.$_$.h4;
+  var objectMeta = kotlin_kotlin.$_$.r6;
+  var defineProp = kotlin_kotlin.$_$.v5;
+  var listOf = kotlin_kotlin.$_$.o3;
   var getAllOperators_0 = kotlin_it_unibo_tuprolog_solve.$_$.u5;
-  var to = kotlin_kotlin.$_$.ec;
-  var loadStaticClauses = kotlin_it_unibo_tuprolog_solve.$_$.n4;
-  var loadStaticClausesIterable = kotlin_it_unibo_tuprolog_solve.$_$.o4;
-  var loadStaticClausesSequence = kotlin_it_unibo_tuprolog_solve.$_$.p4;
-  var loadDynamicClauses = kotlin_it_unibo_tuprolog_solve.$_$.m4;
-  var loadDynamicClausesIterable = kotlin_it_unibo_tuprolog_solve.$_$.k4;
-  var loadDynamicClausesSequence = kotlin_it_unibo_tuprolog_solve.$_$.l4;
-  var MutableSolver = kotlin_it_unibo_tuprolog_solve.$_$.q4;
-  var NoSuchElementException_init_$Create$ = kotlin_kotlin.$_$.v1;
-  var TimeOutException_init_$Create$ = kotlin_it_unibo_tuprolog_solve.$_$.d1;
-  var NoSuchElementException_init_$Create$_0 = kotlin_kotlin.$_$.w1;
-  var interfaceMeta = kotlin_kotlin.$_$.u6;
+  var to = kotlin_kotlin.$_$.fc;
+  var loadStaticClauses = kotlin_it_unibo_tuprolog_solve.$_$.m4;
+  var loadStaticClausesIterable = kotlin_it_unibo_tuprolog_solve.$_$.n4;
+  var loadStaticClausesSequence = kotlin_it_unibo_tuprolog_solve.$_$.o4;
+  var loadDynamicClauses = kotlin_it_unibo_tuprolog_solve.$_$.l4;
+  var loadDynamicClausesIterable = kotlin_it_unibo_tuprolog_solve.$_$.j4;
+  var loadDynamicClausesSequence = kotlin_it_unibo_tuprolog_solve.$_$.k4;
+  var MutableSolver = kotlin_it_unibo_tuprolog_solve.$_$.p4;
+  var NoSuchElementException_init_$Create$ = kotlin_kotlin.$_$.z;
+  var TimeOutException_init_$Create$ = kotlin_it_unibo_tuprolog_solve.$_$.e1;
+  var NoSuchElementException_init_$Create$_0 = kotlin_kotlin.$_$.a1;
+  var interfaceMeta = kotlin_kotlin.$_$.c6;
   var getKClass = kotlin_kotlin.$_$.c;
-  var ClassCastException_init_$Create$ = kotlin_kotlin.$_$.o1;
-  var Companion_getInstance_14 = kotlin_it_unibo_tuprolog_solve.$_$.m2;
-  var MessageError = kotlin_it_unibo_tuprolog_solve.$_$.s2;
-  var Companion_getInstance_15 = kotlin_it_unibo_tuprolog_solve.$_$.x1;
+  var ClassCastException_init_$Create$ = kotlin_kotlin.$_$.r;
+  var Companion_getInstance_14 = kotlin_it_unibo_tuprolog_solve.$_$.k2;
+  var MessageError = kotlin_it_unibo_tuprolog_solve.$_$.q2;
+  var Companion_getInstance_15 = kotlin_it_unibo_tuprolog_solve.$_$.v1;
   var plus_0 = kotlin_it_unibo_tuprolog_utils.$_$.h1;
-  var LogicError = kotlin_it_unibo_tuprolog_solve.$_$.u2;
-  var toSet = kotlin_kotlin.$_$.r9;
-  var plus_1 = kotlin_kotlin.$_$.y4;
-  var TrackVariables_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.c2;
-  var drop = kotlin_kotlin.$_$.m8;
-  var first = kotlin_kotlin.$_$.t8;
+  var LogicError = kotlin_it_unibo_tuprolog_solve.$_$.s2;
+  var toSet = kotlin_kotlin.$_$.d9;
+  var plus_1 = kotlin_kotlin.$_$.f4;
+  var TrackVariables_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.a2;
+  var drop = kotlin_kotlin.$_$.x7;
+  var first = kotlin_kotlin.$_$.e8;
   var Unifier = kotlin_it_unibo_tuprolog_core.$_$.a2;
-  var isInterface = kotlin_kotlin.$_$.y6;
-  var IllegalStateException_init_$Create$ = kotlin_kotlin.$_$.s1;
-  var ResolutionException = kotlin_it_unibo_tuprolog_solve.$_$.v2;
-  var Companion_getInstance_16 = kotlin_it_unibo_tuprolog_solve.$_$.y1;
+  var isInterface = kotlin_kotlin.$_$.g6;
+  var IllegalStateException_init_$Create$ = kotlin_kotlin.$_$.w;
+  var ResolutionException = kotlin_it_unibo_tuprolog_solve.$_$.t2;
+  var Companion_getInstance_16 = kotlin_it_unibo_tuprolog_solve.$_$.w1;
   var extractSignature = kotlin_it_unibo_tuprolog_solve.$_$.s5;
-  var Signature_init_$Create$ = kotlin_it_unibo_tuprolog_solve.$_$.h1;
+  var Signature = kotlin_it_unibo_tuprolog_solve.$_$.q4;
   var Expected_CALLABLE_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.k;
   var cursor = kotlin_it_unibo_tuprolog_utils.$_$.t;
-  var Companion_getInstance_17 = kotlin_it_unibo_tuprolog_solve.$_$.t1;
+  var Companion_getInstance_17 = kotlin_it_unibo_tuprolog_solve.$_$.r1;
   var prepareForExecutionWithUnifier = kotlin_it_unibo_tuprolog_core.$_$.d3;
-  var setOf = kotlin_kotlin.$_$.e5;
-  var Unknown_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.d2;
-  var MissingPredicate_init_$Create$ = kotlin_it_unibo_tuprolog_solve.$_$.i1;
-  var Companion_getInstance_18 = kotlin_it_unibo_tuprolog_solve.$_$.s1;
-  var contains_0 = kotlin_kotlin.$_$.k3;
-  var firstOrNull = kotlin_kotlin.$_$.s8;
-  var any = kotlin_kotlin.$_$.g8;
-  var LastCallOptimization_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.b2;
+  var setOf = kotlin_kotlin.$_$.l4;
+  var Unknown_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.b2;
+  var MissingPredicate_init_$Create$ = kotlin_it_unibo_tuprolog_solve.$_$.c1;
+  var Companion_getInstance_18 = kotlin_it_unibo_tuprolog_solve.$_$.q1;
+  var contains_0 = kotlin_kotlin.$_$.o2;
+  var firstOrNull = kotlin_kotlin.$_$.d8;
+  var any = kotlin_kotlin.$_$.r7;
+  var LastCallOptimization_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.z1;
   var buffered = kotlin_it_unibo_tuprolog_utils.$_$.q;
-  var sequenceOf = kotlin_kotlin.$_$.i9;
-  var MagicCut = kotlin_it_unibo_tuprolog_solve.$_$.y3;
-  var Request_init_$Create$ = kotlin_it_unibo_tuprolog_solve.$_$.f1;
-  var ExtensionLibrary = kotlin_it_unibo_tuprolog_solve.$_$.z2;
-  var CommonBuiltins_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.l2;
-  var listOf_0 = kotlin_kotlin.$_$.i4;
-  var containsSignature = kotlin_it_unibo_tuprolog_solve.$_$.b3;
-  var containsOperator = kotlin_it_unibo_tuprolog_solve.$_$.a3;
-  var hasPrimitive = kotlin_it_unibo_tuprolog_solve.$_$.d3;
-  var hasFunction = kotlin_it_unibo_tuprolog_solve.$_$.c3;
-  var get_ruleSignatures = kotlin_it_unibo_tuprolog_solve.$_$.f3;
-  var hasProtected = kotlin_it_unibo_tuprolog_solve.$_$.e3;
+  var sequenceOf = kotlin_kotlin.$_$.u8;
+  var MagicCut = kotlin_it_unibo_tuprolog_solve.$_$.x3;
+  var Request = kotlin_it_unibo_tuprolog_solve.$_$.m3;
+  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 Struct = kotlin_it_unibo_tuprolog_core.$_$.z1;
-  var Companion_getInstance_19 = kotlin_it_unibo_tuprolog_solve.$_$.u1;
-  var Companion_getInstance_20 = kotlin_it_unibo_tuprolog_solve.$_$.z1;
-  var UnaryPredicate = kotlin_it_unibo_tuprolog_solve.$_$.w3;
-  var Companion_getInstance_21 = kotlin_it_unibo_tuprolog_solve.$_$.g2;
-  var RuleWrapper = kotlin_it_unibo_tuprolog_solve.$_$.x3;
+  var Companion_getInstance_19 = kotlin_it_unibo_tuprolog_solve.$_$.s1;
+  var Companion_getInstance_20 = kotlin_it_unibo_tuprolog_solve.$_$.x1;
+  var UnaryPredicate = kotlin_it_unibo_tuprolog_solve.$_$.v3;
+  var Companion_getInstance_21 = kotlin_it_unibo_tuprolog_solve.$_$.e2;
+  var RuleWrapper = kotlin_it_unibo_tuprolog_solve.$_$.w3;
   var RuleWrapper_init_$Init$ = kotlin_it_unibo_tuprolog_solve.$_$.g1;
-  var EnsureExecutable_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.i2;
-  var MagicCut_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.h2;
+  var EnsureExecutable_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.g2;
+  var MagicCut_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.f2;
   //endregion
   //region block: pre-declaration
-  setMetadataFor(AbstractClassicSolver, 'AbstractClassicSolver', classMeta, AbstractSolver, undefined, undefined, undefined, []);
-  setMetadataFor(ChoicePointContext, 'ChoicePointContext', classMeta, undefined, undefined, undefined, undefined, []);
-  setMetadataFor(Primitives, 'Primitives', classMeta, ChoicePointContext, undefined, undefined, undefined, []);
-  setMetadataFor(Rules, 'Rules', classMeta, ChoicePointContext, undefined, undefined, undefined, []);
-  setMetadataFor(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn, 'ChoicePointContext$<get-pathToRoot>$slambda', classMeta, CoroutineImpl, undefined, undefined, undefined, [1]);
-  setMetadataFor(ClassicExecutionContext$pathToRoot$slambda, 'ClassicExecutionContext$pathToRoot$slambda', classMeta, CoroutineImpl, undefined, undefined, undefined, [1]);
-  setMetadataFor(ClassicExecutionContext, 'ClassicExecutionContext', classMeta, undefined, [ExecutionContext], undefined, undefined, []);
-  setMetadataFor(ClassicSolver, 'ClassicSolver', classMeta, AbstractClassicSolver, undefined, undefined, undefined, []);
-  setMetadataFor(ClassicSolverFactory, 'ClassicSolverFactory', objectMeta, undefined, [SolverFactory], undefined, undefined, []);
-  setMetadataFor(MutableClassicSolver, 'MutableClassicSolver', classMeta, ClassicSolver, [ClassicSolver, MutableSolver], undefined, undefined, []);
-  setMetadataFor(Companion, 'Companion', objectMeta, undefined, undefined, undefined, undefined, []);
+  setMetadataFor(AbstractClassicSolver, 'AbstractClassicSolver', classMeta, AbstractSolver);
+  setMetadataFor(ChoicePointContext, 'ChoicePointContext', classMeta);
+  setMetadataFor(Primitives, 'Primitives', classMeta, ChoicePointContext);
+  setMetadataFor(Rules, 'Rules', classMeta, ChoicePointContext);
+  setMetadataFor(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn, 'ChoicePointContext$<get-pathToRoot>$slambda', classMeta, CoroutineImpl, VOID, VOID, VOID, [1]);
+  setMetadataFor(ClassicExecutionContext$pathToRoot$slambda, 'ClassicExecutionContext$pathToRoot$slambda', classMeta, CoroutineImpl, VOID, VOID, VOID, [1]);
+  setMetadataFor(ClassicExecutionContext, 'ClassicExecutionContext', classMeta, VOID, [ExecutionContext]);
+  setMetadataFor(ClassicSolver, 'ClassicSolver', classMeta, AbstractClassicSolver);
+  setMetadataFor(ClassicSolverFactory, 'ClassicSolverFactory', objectMeta, VOID, [SolverFactory]);
+  setMetadataFor(MutableClassicSolver, 'MutableClassicSolver', classMeta, ClassicSolver, [ClassicSolver, MutableSolver]);
+  setMetadataFor(Companion, 'Companion', objectMeta);
   function get_isEndState() {
     return false;
   }
@@ -184,15 +214,19 @@
     var tmp0_elvis_lhs = this.asEndState();
     var tmp;
     if (tmp0_elvis_lhs == null) {
-      throw ClassCastException_init_$Create$('Cannot cast ' + this + ' to ' + getKClass(EndState).kd());
+      throw ClassCastException_init_$Create$('Cannot cast ' + this + ' to ' + getKClass(EndState).md());
     } else {
       tmp = tmp0_elvis_lhs;
     }
     return tmp;
   }
-  setMetadataFor(State, 'State', interfaceMeta, undefined, undefined, undefined, undefined, []);
+  function clone(context, $super) {
+    context = context === VOID ? this.n5() : context;
+    return $super === VOID ? this.d36(context) : $super.d36.call(this, context);
+  }
+  setMetadataFor(State, 'State', interfaceMeta);
   function get_hasOpenAlternatives() {
-    return this.k2j().d1w() ? this.j5().j35() : false;
+    return this.e2h().c1v() ? this.n5().c33() : false;
   }
   function get_isEndState_0() {
     return true;
@@ -200,46 +234,53 @@
   function asEndState_0() {
     return this;
   }
-  function asEndState_1() {
-    return this.h38();
-  }
-  setMetadataFor(EndState, 'EndState', interfaceMeta, undefined, [State], undefined, undefined, []);
-  setMetadataFor(AbstractState, 'AbstractState', classMeta, undefined, [State], undefined, undefined, []);
-  setMetadataFor(AbstractEndState, 'AbstractEndState', classMeta, AbstractState, [EndState, AbstractState], undefined, undefined, []);
-  setMetadataFor(StateBacktracking, 'StateBacktracking', classMeta, AbstractState, undefined, undefined, undefined, []);
-  setMetadataFor(StateEnd, 'StateEnd', classMeta, AbstractEndState, undefined, undefined, undefined, []);
-  setMetadataFor(StateException, 'StateException', classMeta, AbstractState, [State, AbstractState], undefined, undefined, []);
-  setMetadataFor(StateGoalSelection, 'StateGoalSelection', classMeta, AbstractState, undefined, undefined, undefined, []);
-  setMetadataFor(StateHalt, 'StateHalt', classMeta, AbstractEndState, [State, AbstractEndState], undefined, undefined, []);
-  setMetadataFor(StateInit, 'StateInit', classMeta, AbstractState, undefined, undefined, undefined, []);
-  setMetadataFor(StatePrimitiveExecution, 'StatePrimitiveExecution', classMeta, AbstractState, undefined, undefined, undefined, []);
-  setMetadataFor(StatePrimitiveSelection, 'StatePrimitiveSelection', classMeta, AbstractState, undefined, undefined, undefined, []);
-  setMetadataFor(StateRuleExecution, 'StateRuleExecution', classMeta, AbstractState, undefined, undefined, undefined, []);
-  setMetadataFor(CutLimit, 'CutLimit', classMeta, undefined, undefined, undefined, undefined, []);
-  setMetadataFor(None, 'None', objectMeta, CutLimit, undefined, undefined, undefined, []);
-  setMetadataFor(Actual, 'Actual', classMeta, CutLimit, undefined, undefined, undefined, []);
-  setMetadataFor(Companion_0, 'Companion', objectMeta, undefined, undefined, undefined, undefined, []);
-  setMetadataFor(StateRuleSelection, 'StateRuleSelection', classMeta, AbstractState, undefined, undefined, undefined, []);
-  setMetadataFor(AbstractSolutionIterator, 'AbstractSolutionIterator', classMeta, undefined, undefined, undefined, undefined, []);
-  setMetadataFor(SimpleSolutionIterator, 'SimpleSolutionIterator', classMeta, AbstractSolutionIterator, undefined, undefined, undefined, []);
-  setMetadataFor(DefaultBuiltins, 'DefaultBuiltins', objectMeta, ExtensionLibrary, undefined, undefined, undefined, []);
-  setMetadataFor(Throw, 'Throw', objectMeta, UnaryPredicate, undefined, undefined, undefined, []);
-  setMetadataFor(Call, 'Call', objectMeta, RuleWrapper, undefined, undefined, undefined, []);
-  setMetadataFor(Catch, 'Catch', objectMeta, RuleWrapper, undefined, undefined, undefined, []);
-  setMetadataFor(Comma, 'Comma', objectMeta, RuleWrapper, undefined, undefined, undefined, []);
-  setMetadataFor(Cut, 'Cut', objectMeta, RuleWrapper, undefined, undefined, undefined, []);
-  setMetadataFor(NegationAsFailure, 'NegationAsFailure', classMeta, RuleWrapper, undefined, undefined, undefined, []);
-  setMetadataFor(Fail, 'Fail', objectMeta, NegationAsFailure, undefined, undefined, undefined, []);
-  setMetadataFor(Success, 'Success', objectMeta, NegationAsFailure, undefined, undefined, undefined, []);
-  setMetadataFor(Companion_1, 'Companion', objectMeta, undefined, undefined, undefined, undefined, []);
+  setMetadataFor(EndState, 'EndState', interfaceMeta, VOID, [State]);
+  setMetadataFor(AbstractState, 'AbstractState', classMeta, VOID, [State]);
+  setMetadataFor(AbstractEndState, 'AbstractEndState', classMeta, AbstractState, [EndState, AbstractState]);
+  setMetadataFor(StateBacktracking, 'StateBacktracking', classMeta, AbstractState);
+  setMetadataFor(StateEnd, 'StateEnd', classMeta, AbstractEndState);
+  setMetadataFor(StateException, 'StateException', classMeta, AbstractState, [State, AbstractState]);
+  setMetadataFor(StateGoalSelection, 'StateGoalSelection', classMeta, AbstractState);
+  setMetadataFor(StateHalt, 'StateHalt', classMeta, AbstractEndState, [State, AbstractEndState]);
+  setMetadataFor(StateInit, 'StateInit', classMeta, AbstractState);
+  setMetadataFor(StatePrimitiveExecution, 'StatePrimitiveExecution', classMeta, AbstractState);
+  setMetadataFor(StatePrimitiveSelection, 'StatePrimitiveSelection', classMeta, AbstractState);
+  setMetadataFor(StateRuleExecution, 'StateRuleExecution', classMeta, AbstractState);
+  setMetadataFor(CutLimit, 'CutLimit', classMeta);
+  setMetadataFor(None, 'None', objectMeta, CutLimit);
+  setMetadataFor(Actual, 'Actual', classMeta, CutLimit);
+  setMetadataFor(Companion_0, 'Companion', objectMeta);
+  setMetadataFor(StateRuleSelection, 'StateRuleSelection', classMeta, AbstractState);
+  setMetadataFor(AbstractSolutionIterator, 'AbstractSolutionIterator', classMeta);
+  setMetadataFor(SimpleSolutionIterator, 'SimpleSolutionIterator', classMeta, AbstractSolutionIterator);
+  setMetadataFor(DefaultBuiltins, 'DefaultBuiltins', objectMeta, ExtensionLibrary);
+  setMetadataFor(Throw, 'Throw', objectMeta, UnaryPredicate);
+  setMetadataFor(Call, 'Call', objectMeta, RuleWrapper);
+  setMetadataFor(Catch, 'Catch', objectMeta, RuleWrapper);
+  setMetadataFor(Comma, 'Comma', objectMeta, RuleWrapper);
+  setMetadataFor(Cut, 'Cut', objectMeta, RuleWrapper);
+  setMetadataFor(NegationAsFailure, 'NegationAsFailure', classMeta, RuleWrapper);
+  setMetadataFor(Fail, 'Fail', objectMeta, NegationAsFailure);
+  setMetadataFor(Success, 'Success', objectMeta, NegationAsFailure);
+  setMetadataFor(Companion_1, 'Companion', objectMeta);
   //endregion
   function AbstractClassicSolver_init_$Init$(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb, $this) {
-    AbstractClassicSolver.call($this, unificator, libraries, flags, staticKb, dynamicKb, Companion_getInstance().p1y(stdIn), Companion_getInstance_0().s1y(stdOut, stdErr, warnings), trustKb);
+    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;
+    trustKb = trustKb === VOID ? false : trustKb;
+    AbstractClassicSolver.call($this, unificator, libraries, flags, staticKb, dynamicKb, Companion_getInstance_6().h1x(stdIn), Companion_getInstance_7().k1x(stdOut, stdErr, warnings), trustKb);
     return $this;
   }
   function updateCurrentContextAfterStateTransition($this, source, destination, index) {
     // Inline function 'kotlin.require' call
-    var tmp0_require = destination.j5().f34_1.equals(index);
+    var tmp0_require = destination.n5().y31_1.equals(index);
     // Inline function 'kotlin.contracts.contract' call
     // Inline function 'kotlin.require' call
     // Inline function 'kotlin.contracts.contract' call
@@ -250,7 +291,7 @@
       var message = tmp$ret$0;
       throw IllegalArgumentException_init_$Create$(toString(message));
     }
-    $this.m34(destination.j5());
+    $this.f32(destination.n5());
   }
   function AbstractClassicSolver$updateCurrentContextAfterStateTransition$ref($boundThis) {
     var l = function (p0, p1, p2) {
@@ -261,322 +302,307 @@
     return l;
   }
   function AbstractClassicSolver(unificator, libraries, flags, initialStaticKb, initialDynamicKb, inputChannels, outputChannels, trustKb) {
+    unificator = unificator === VOID ? Companion_getInstance().h1k() : unificator;
+    libraries = libraries === VOID ? Companion_getInstance_0().empty() : libraries;
+    flags = flags === VOID ? Companion_getInstance_1().empty() : flags;
+    initialStaticKb = initialStaticKb === VOID ? Companion_getInstance_2().empty(unificator) : initialStaticKb;
+    initialDynamicKb = initialDynamicKb === VOID ? Companion_getInstance_3().empty(unificator) : initialDynamicKb;
+    inputChannels = inputChannels === VOID ? Companion_getInstance_6().fromStandard() : inputChannels;
+    outputChannels = outputChannels === VOID ? Companion_getInstance_7().fromStandard() : outputChannels;
+    trustKb = trustKb === VOID ? false : trustKb;
     AbstractSolver.call(this, unificator, libraries, flags, initialStaticKb, initialDynamicKb, inputChannels, outputChannels, trustKb);
   }
-  AbstractClassicSolver.prototype.m34 = function (_set____db54di) {
-    this.l34_1 = _set____db54di;
+  protoOf(AbstractClassicSolver).f32 = function (_set____db54di) {
+    this.e32_1 = _set____db54di;
   };
-  AbstractClassicSolver.prototype.x2b = function (_set____db54di) {
-    return this.m34(_set____db54di instanceof ClassicExecutionContext ? _set____db54di : THROW_CCE());
+  protoOf(AbstractClassicSolver).a2a = function (_set____db54di) {
+    return this.f32(_set____db54di instanceof ClassicExecutionContext ? _set____db54di : THROW_CCE());
   };
-  AbstractClassicSolver.prototype.v2b = function () {
-    var tmp = this.l34_1;
+  protoOf(AbstractClassicSolver).y29 = function () {
+    var tmp = this.e32_1;
     if (!(tmp == null))
       return tmp;
     else {
       throwUninitializedPropertyAccessException('currentContext');
     }
   };
-  AbstractClassicSolver.prototype.w2b = function (unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, trustKb) {
-    var tmp = trustKb ? staticKb.toImmutableTheory() : Companion_getInstance_1().empty(unificator);
-    var tmp_0 = trustKb ? dynamicKb.toMutableTheory() : Companion_getInstance_2().empty(unificator);
-    var tmp_1 = toOperatorSet(getAllOperators(libraries, []));
-    var tmp_2 = new Long(0, 0);
-    var tmp_3 = new Long(0, 0);
-    var tmp_4 = new Long(0, 0);
-    return ClassicExecutionContext_init_$Create$(null, unificator, libraries, flags, tmp, tmp_0, tmp_1, inputChannels, outputChannels, null, null, null, null, null, null, tmp_2, tmp_3, null, null, 0, tmp_4, null, 4161025, null);
-  };
-  AbstractClassicSolver.prototype.d2c = function (goal, options) {
-    var tmp0_unificator = this.k1l();
-    var tmp1_libraries = this.w1u();
-    var tmp2_flags = this.x1u();
-    var tmp3_staticKb = this.y1u().toImmutableTheory();
-    var tmp4_dynamicKb = this.z1u().toMutableTheory();
-    var tmp5_operators = this.h1v();
-    var tmp6_inputChannels = this.a1v();
-    var tmp7_outputChannels = this.b1v();
-    var tmp8_customData = this.v2b().u33_1;
+  protoOf(AbstractClassicSolver).z29 = function (unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, trustKb) {
+    return new ClassicExecutionContext(VOID, unificator, libraries, flags, trustKb ? staticKb.toImmutableTheory() : Companion_getInstance_2().empty(unificator), trustKb ? dynamicKb.toMutableTheory() : Companion_getInstance_3().empty(unificator), toOperatorSet(getAllOperators(libraries, [])), inputChannels, outputChannels, VOID, VOID, VOID, VOID, VOID, VOID, new Long(0, 0));
+  };
+  protoOf(AbstractClassicSolver).g2a = function (goal, options) {
+    var tmp0_unificator = this.k1k();
+    var tmp1_libraries = this.v1t();
+    var tmp2_flags = this.w1t();
+    var tmp3_staticKb = this.x1t().toImmutableTheory();
+    var tmp4_dynamicKb = this.y1t().toMutableTheory();
+    var tmp5_operators = this.e1u();
+    var tmp6_inputChannels = this.z1t();
+    var tmp7_outputChannels = this.a1u();
+    var tmp8_customData = this.y29().n31_1;
     var tmp9_startTime = currentTimeInstant();
-    var tmp10_maxDuration = options.j1x();
-    var tmp = new Long(0, 0);
-    this.m34(ClassicExecutionContext_init_$Create$(null, tmp0_unificator, tmp1_libraries, tmp2_flags, tmp3_staticKb, tmp4_dynamicKb, tmp5_operators, tmp6_inputChannels, tmp7_outputChannels, tmp8_customData, null, goal, null, null, null, tmp9_startTime, tmp10_maxDuration, null, null, 0, tmp, null, 4092929, null));
-    var tmp_0 = new StateInit(this.v2b());
-    return asSequence(this.n34(tmp_0, AbstractClassicSolver$updateCurrentContextAfterStateTransition$ref(this)));
+    var tmp10_maxDuration = options.b1w();
+    this.f32(new ClassicExecutionContext(VOID, tmp0_unificator, tmp1_libraries, tmp2_flags, tmp3_staticKb, tmp4_dynamicKb, tmp5_operators, tmp6_inputChannels, tmp7_outputChannels, tmp8_customData, VOID, goal, VOID, VOID, VOID, tmp9_startTime, tmp10_maxDuration));
+    var tmp = new StateInit(this.y29());
+    return asSequence(this.g32(tmp, AbstractClassicSolver$updateCurrentContextAfterStateTransition$ref(this)));
   };
   function Primitives(alternatives, executionContext, parent, depth) {
     ChoicePointContext.call(this, alternatives, executionContext, parent, depth);
-    this.s34_1 = alternatives;
-    this.t34_1 = executionContext;
-    this.u34_1 = parent;
-    this.v34_1 = depth;
+    this.l32_1 = alternatives;
+    this.m32_1 = executionContext;
+    this.n32_1 = parent;
+    this.o32_1 = depth;
   }
-  Primitives.prototype.w34 = function () {
-    return this.s34_1;
+  protoOf(Primitives).p32 = function () {
+    return this.l32_1;
   };
-  Primitives.prototype.x34 = function () {
-    return this.t34_1;
+  protoOf(Primitives).q32 = function () {
+    return this.m32_1;
   };
-  Primitives.prototype.y34 = function () {
-    return this.u34_1;
+  protoOf(Primitives).r32 = function () {
+    return this.n32_1;
   };
-  Primitives.prototype.z34 = function () {
-    return this.v34_1;
+  protoOf(Primitives).s32 = function () {
+    return this.o32_1;
   };
-  Primitives.prototype.toString = function () {
-    return ChoicePointContext.prototype.toString.call(this);
+  protoOf(Primitives).toString = function () {
+    return protoOf(ChoicePointContext).toString.call(this);
   };
-  Primitives.prototype.a35 = function () {
+  protoOf(Primitives).t32 = function () {
     return 'Primitives';
   };
-  Primitives.prototype.b35 = function (context) {
-    var tmp0_$this = ensureNotNull(this.t34_1);
-    var tmp1_primitives = this.s34_1;
+  protoOf(Primitives).u32 = function (context) {
+    var tmp0_$this = ensureNotNull(this.m32_1);
+    var tmp1_primitives = this.l32_1;
     var tmp$ret$0;
     // Inline function 'kotlin.Long.plus' call
-    var tmp0_plus = context.f34_1;
+    var tmp0_plus = context.y31_1;
     tmp$ret$0 = tmp0_plus.bh(new Long(1, 0));
     var tmp2_step = tmp$ret$0;
-    var tmp3_startTime = context.a34_1;
-    var tmp4_flags = context.o33_1;
-    var tmp5_dynamicKb = context.q33_1;
-    var tmp6_staticKb = context.p33_1;
-    var tmp7_operators = context.r33_1;
-    var tmp8_inputChannels = context.s33_1;
-    var tmp9_outputChannels = context.t33_1;
-    var tmp10_libraries = context.n33_1;
-    var tmp11_customData = context.u33_1.discardEphemeral();
-    var tmp = new Long(0, 0);
-    var tempContext = tmp0_$this.c35(null, null, tmp10_libraries, tmp4_flags, tmp6_staticKb, tmp5_dynamicKb, tmp7_operators, tmp8_inputChannels, tmp9_outputChannels, tmp11_customData, null, null, null, null, tmp1_primitives, tmp3_startTime, tmp, null, null, 0, tmp2_step, null, 3095555, null);
-    var tmp_0 = this.s34_1.tq();
-    var nextChoicePointContext = this.d35(tmp_0, tempContext, null, 0, 12, null);
-    var tmp_1 = new Long(0, 0);
-    var tmp_2 = new Long(0, 0);
-    var tmp_3 = new Long(0, 0);
-    return tempContext.c35(null, null, null, null, null, null, null, null, null, null, null, null, null, null, null, tmp_1, tmp_2, nextChoicePointContext, null, 0, tmp_3, null, 4063231, null);
-  };
-  Primitives.prototype.e35 = function (alternatives, executionContext, parent, depth) {
+    var tmp3_startTime = context.t31_1;
+    var tmp4_flags = context.h31_1;
+    var tmp5_dynamicKb = context.j31_1;
+    var tmp6_staticKb = context.i31_1;
+    var tmp7_operators = context.k31_1;
+    var tmp8_inputChannels = context.l31_1;
+    var tmp9_outputChannels = context.m31_1;
+    var tmp10_libraries = context.g31_1;
+    var tmp11_customData = context.n31_1.discardEphemeral();
+    var tempContext = tmp0_$this.v32(VOID, VOID, tmp10_libraries, tmp4_flags, tmp6_staticKb, tmp5_dynamicKb, tmp7_operators, tmp8_inputChannels, tmp9_outputChannels, tmp11_customData, VOID, VOID, VOID, VOID, tmp1_primitives, tmp3_startTime, VOID, VOID, VOID, VOID, tmp2_step);
+    var nextChoicePointContext = this.w32(this.l32_1.kq(), tempContext);
+    return tempContext.v32(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, nextChoicePointContext);
+  };
+  protoOf(Primitives).x32 = function (alternatives, executionContext, parent, depth) {
     return new Primitives(alternatives, executionContext, parent, depth);
   };
-  Primitives.prototype.d35 = function (alternatives, executionContext, parent, depth, $mask0, $handler) {
-    if (!(($mask0 & 1) === 0))
-      alternatives = this.s34_1;
-    if (!(($mask0 & 2) === 0))
-      executionContext = this.t34_1;
-    if (!(($mask0 & 4) === 0))
-      parent = this.u34_1;
-    if (!(($mask0 & 8) === 0))
-      depth = this.v34_1;
-    return this.e35(alternatives, executionContext, parent, depth);
-  };
-  Primitives.prototype.hashCode = function () {
-    var result = hashCode(this.s34_1);
-    result = imul(result, 31) + (this.t34_1 == null ? 0 : this.t34_1.hashCode()) | 0;
-    result = imul(result, 31) + (this.u34_1 == null ? 0 : hashCode(this.u34_1)) | 0;
-    result = imul(result, 31) + this.v34_1 | 0;
+  protoOf(Primitives).w32 = function (alternatives, executionContext, parent, depth, $super) {
+    alternatives = alternatives === VOID ? this.l32_1 : alternatives;
+    executionContext = executionContext === VOID ? this.m32_1 : executionContext;
+    parent = parent === VOID ? this.n32_1 : parent;
+    depth = depth === VOID ? this.o32_1 : depth;
+    return $super === VOID ? this.x32(alternatives, executionContext, parent, depth) : $super.x32.call(this, alternatives, executionContext, parent, depth);
+  };
+  protoOf(Primitives).hashCode = function () {
+    var result = hashCode(this.l32_1);
+    result = imul(result, 31) + (this.m32_1 == null ? 0 : this.m32_1.hashCode()) | 0;
+    result = imul(result, 31) + (this.n32_1 == null ? 0 : hashCode(this.n32_1)) | 0;
+    result = imul(result, 31) + this.o32_1 | 0;
     return result;
   };
-  Primitives.prototype.equals = function (other) {
+  protoOf(Primitives).equals = function (other) {
     if (this === other)
       return true;
     if (!(other instanceof Primitives))
       return false;
     var tmp0_other_with_cast = other instanceof Primitives ? other : THROW_CCE();
-    if (!equals(this.s34_1, tmp0_other_with_cast.s34_1))
+    if (!equals(this.l32_1, tmp0_other_with_cast.l32_1))
       return false;
-    if (!equals(this.t34_1, tmp0_other_with_cast.t34_1))
+    if (!equals(this.m32_1, tmp0_other_with_cast.m32_1))
       return false;
-    if (!equals(this.u34_1, tmp0_other_with_cast.u34_1))
+    if (!equals(this.n32_1, tmp0_other_with_cast.n32_1))
       return false;
-    if (!(this.v34_1 === tmp0_other_with_cast.v34_1))
+    if (!(this.o32_1 === tmp0_other_with_cast.o32_1))
       return false;
     return true;
   };
   function Rules(alternatives, executionContext, parent, depth) {
     ChoicePointContext.call(this, alternatives, executionContext, parent, depth);
-    this.r35_1 = alternatives;
-    this.s35_1 = executionContext;
-    this.t35_1 = parent;
-    this.u35_1 = depth;
+    this.k33_1 = alternatives;
+    this.l33_1 = executionContext;
+    this.m33_1 = parent;
+    this.n33_1 = depth;
   }
-  Rules.prototype.w34 = function () {
-    return this.r35_1;
+  protoOf(Rules).p32 = function () {
+    return this.k33_1;
   };
-  Rules.prototype.x34 = function () {
-    return this.s35_1;
+  protoOf(Rules).q32 = function () {
+    return this.l33_1;
   };
-  Rules.prototype.y34 = function () {
-    return this.t35_1;
+  protoOf(Rules).r32 = function () {
+    return this.m33_1;
   };
-  Rules.prototype.z34 = function () {
-    return this.u35_1;
+  protoOf(Rules).s32 = function () {
+    return this.n33_1;
   };
-  Rules.prototype.toString = function () {
-    return ChoicePointContext.prototype.toString.call(this);
+  protoOf(Rules).toString = function () {
+    return protoOf(ChoicePointContext).toString.call(this);
   };
-  Rules.prototype.a35 = function () {
+  protoOf(Rules).t32 = function () {
     return 'Rules';
   };
-  Rules.prototype.b35 = function (context) {
-    var tmp0_$this = ensureNotNull(this.s35_1);
-    var tmp1_rules = this.r35_1;
+  protoOf(Rules).u32 = function (context) {
+    var tmp0_$this = ensureNotNull(this.l33_1);
+    var tmp1_rules = this.k33_1;
     var tmp$ret$0;
     // Inline function 'kotlin.Long.plus' call
-    var tmp0_plus = context.f34_1;
+    var tmp0_plus = context.y31_1;
     tmp$ret$0 = tmp0_plus.bh(new Long(1, 0));
     var tmp2_step = tmp$ret$0;
-    var tmp3_startTime = context.a34_1;
-    var tmp4_flags = context.o33_1;
-    var tmp5_dynamicKb = context.q33_1;
-    var tmp6_staticKb = context.p33_1;
-    var tmp7_operators = context.r33_1;
-    var tmp8_inputChannels = context.s33_1;
-    var tmp9_outputChannels = context.t33_1;
-    var tmp10_libraries = context.n33_1;
-    var tmp11_customData = context.u33_1.discardEphemeral();
-    var tmp = new Long(0, 0);
-    var tempContext = tmp0_$this.c35(null, null, tmp10_libraries, tmp4_flags, tmp6_staticKb, tmp5_dynamicKb, tmp7_operators, tmp8_inputChannels, tmp9_outputChannels, tmp11_customData, null, null, null, tmp1_rules, null, tmp3_startTime, tmp, null, null, 0, tmp2_step, null, 3103747, null);
-    var tmp_0 = this.r35_1.tq();
-    var nextChoicePointContext = this.v35(tmp_0, tempContext, null, 0, 12, null);
-    var tmp_1 = new Long(0, 0);
-    var tmp_2 = new Long(0, 0);
-    var tmp_3 = new Long(0, 0);
-    return tempContext.c35(null, null, null, null, null, null, null, null, null, null, null, null, null, null, null, tmp_1, tmp_2, nextChoicePointContext, null, 0, tmp_3, null, 4063231, null);
-  };
-  Rules.prototype.w35 = function (alternatives, executionContext, parent, depth) {
+    var tmp3_startTime = context.t31_1;
+    var tmp4_flags = context.h31_1;
+    var tmp5_dynamicKb = context.j31_1;
+    var tmp6_staticKb = context.i31_1;
+    var tmp7_operators = context.k31_1;
+    var tmp8_inputChannels = context.l31_1;
+    var tmp9_outputChannels = context.m31_1;
+    var tmp10_libraries = context.g31_1;
+    var tmp11_customData = context.n31_1.discardEphemeral();
+    var tempContext = tmp0_$this.v32(VOID, VOID, tmp10_libraries, tmp4_flags, tmp6_staticKb, tmp5_dynamicKb, tmp7_operators, tmp8_inputChannels, tmp9_outputChannels, tmp11_customData, VOID, VOID, VOID, tmp1_rules, VOID, tmp3_startTime, VOID, VOID, VOID, VOID, tmp2_step);
+    var nextChoicePointContext = this.o33(this.k33_1.kq(), tempContext);
+    return tempContext.v32(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, nextChoicePointContext);
+  };
+  protoOf(Rules).p33 = function (alternatives, executionContext, parent, depth) {
     return new Rules(alternatives, executionContext, parent, depth);
   };
-  Rules.prototype.v35 = function (alternatives, executionContext, parent, depth, $mask0, $handler) {
-    if (!(($mask0 & 1) === 0))
-      alternatives = this.r35_1;
-    if (!(($mask0 & 2) === 0))
-      executionContext = this.s35_1;
-    if (!(($mask0 & 4) === 0))
-      parent = this.t35_1;
-    if (!(($mask0 & 8) === 0))
-      depth = this.u35_1;
-    return this.w35(alternatives, executionContext, parent, depth);
-  };
-  Rules.prototype.hashCode = function () {
-    var result = hashCode(this.r35_1);
-    result = imul(result, 31) + (this.s35_1 == null ? 0 : this.s35_1.hashCode()) | 0;
-    result = imul(result, 31) + (this.t35_1 == null ? 0 : hashCode(this.t35_1)) | 0;
-    result = imul(result, 31) + this.u35_1 | 0;
+  protoOf(Rules).o33 = function (alternatives, executionContext, parent, depth, $super) {
+    alternatives = alternatives === VOID ? this.k33_1 : alternatives;
+    executionContext = executionContext === VOID ? this.l33_1 : executionContext;
+    parent = parent === VOID ? this.m33_1 : parent;
+    depth = depth === VOID ? this.n33_1 : depth;
+    return $super === VOID ? this.p33(alternatives, executionContext, parent, depth) : $super.p33.call(this, alternatives, executionContext, parent, depth);
+  };
+  protoOf(Rules).hashCode = function () {
+    var result = hashCode(this.k33_1);
+    result = imul(result, 31) + (this.l33_1 == null ? 0 : this.l33_1.hashCode()) | 0;
+    result = imul(result, 31) + (this.m33_1 == null ? 0 : hashCode(this.m33_1)) | 0;
+    result = imul(result, 31) + this.n33_1 | 0;
     return result;
   };
-  Rules.prototype.equals = function (other) {
+  protoOf(Rules).equals = function (other) {
     if (this === other)
       return true;
     if (!(other instanceof Rules))
       return false;
     var tmp0_other_with_cast = other instanceof Rules ? other : THROW_CCE();
-    if (!equals(this.r35_1, tmp0_other_with_cast.r35_1))
+    if (!equals(this.k33_1, tmp0_other_with_cast.k33_1))
       return false;
-    if (!equals(this.s35_1, tmp0_other_with_cast.s35_1))
+    if (!equals(this.l33_1, tmp0_other_with_cast.l33_1))
       return false;
-    if (!equals(this.t35_1, tmp0_other_with_cast.t35_1))
+    if (!equals(this.m33_1, tmp0_other_with_cast.m33_1))
       return false;
-    if (!(this.u35_1 === tmp0_other_with_cast.u35_1))
+    if (!(this.n33_1 === tmp0_other_with_cast.n33_1))
       return false;
     return true;
   };
   function ChoicePointContext$_get_pathToRoot_$slambda_q0myjn(this$0, resultContinuation) {
-    this.f36_1 = this$0;
+    this.y33_1 = this$0;
     CoroutineImpl.call(this, resultContinuation);
   }
-  ChoicePointContext$_get_pathToRoot_$slambda_q0myjn.prototype.i36 = function ($this$sequence, $cont) {
-    var tmp = this.j36($this$sequence, $cont);
-    tmp.ei_1 = Unit_getInstance();
-    tmp.fi_1 = null;
-    return tmp.ki();
+  protoOf(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn).b34 = function ($this$sequence, $completion) {
+    var tmp = this.c34($this$sequence, $completion);
+    tmp.ci_1 = Unit_getInstance();
+    tmp.di_1 = null;
+    return tmp.ii();
   };
-  ChoicePointContext$_get_pathToRoot_$slambda_q0myjn.prototype.wi = function (p1, $cont) {
-    return this.i36(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $cont);
+  protoOf(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn).ui = function (p1, $completion) {
+    return this.b34(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
   };
-  ChoicePointContext$_get_pathToRoot_$slambda_q0myjn.prototype.ki = function () {
-    var suspendResult = this.ei_1;
+  protoOf(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn).ii = function () {
+    var suspendResult = this.ci_1;
     $sm: do
       try {
-        var tmp = this.ci_1;
+        var tmp = this.ai_1;
         switch (tmp) {
           case 0:
-            this.di_1 = 4;
-            this.h36_1 = this.f36_1;
-            this.ci_1 = 1;
+            this.bi_1 = 4;
+            this.a34_1 = this.y33_1;
+            this.ai_1 = 1;
             continue $sm;
           case 1:
-            if (!!(this.h36_1 == null)) {
-              this.ci_1 = 3;
+            if (!!(this.a34_1 == null)) {
+              this.ai_1 = 3;
               continue $sm;
             }
 
-            this.ci_1 = 2;
-            suspendResult = this.g36_1.z4(ensureNotNull(this.h36_1), this);
+            this.ai_1 = 2;
+            suspendResult = this.z33_1.d5(ensureNotNull(this.a34_1), this);
             if (suspendResult === get_COROUTINE_SUSPENDED()) {
               return suspendResult;
             }
 
             continue $sm;
           case 2:
-            this.h36_1 = this.h36_1.y34();
-            this.ci_1 = 1;
+            this.a34_1 = this.a34_1.r32();
+            this.ai_1 = 1;
             continue $sm;
           case 3:
             return Unit_getInstance();
           case 4:
-            throw this.fi_1;
+            throw this.di_1;
         }
       } catch ($p) {
-        if (this.di_1 === 4) {
-          throw $p;
+        var e = $p;
+        if (this.bi_1 === 4) {
+          throw e;
         } else {
-          this.ci_1 = this.di_1;
-          this.fi_1 = $p;
+          this.ai_1 = this.bi_1;
+          this.di_1 = e;
         }
       }
      while (true);
   };
-  ChoicePointContext$_get_pathToRoot_$slambda_q0myjn.prototype.j36 = function ($this$sequence, completion) {
-    var i = new ChoicePointContext$_get_pathToRoot_$slambda_q0myjn(this.f36_1, completion);
-    i.g36_1 = $this$sequence;
+  protoOf(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn).c34 = function ($this$sequence, completion) {
+    var i = new ChoicePointContext$_get_pathToRoot_$slambda_q0myjn(this.y33_1, completion);
+    i.z33_1 = $this$sequence;
     return i;
   };
   function ChoicePointContext$_get_pathToRoot_$slambda_q0myjn_0(this$0, resultContinuation) {
     var i = new ChoicePointContext$_get_pathToRoot_$slambda_q0myjn(this$0, resultContinuation);
-    var l = function ($this$sequence, $cont) {
-      return i.i36($this$sequence, $cont);
+    var l = function ($this$sequence, $completion) {
+      return i.b34($this$sequence, $completion);
     };
     l.$arity = 1;
     return l;
   }
   function ChoicePointContext(alternatives, executionContext, parent, depth) {
-    this.f35_1 = alternatives;
-    this.g35_1 = executionContext;
-    this.h35_1 = parent;
-    this.i35_1 = depth;
+    depth = depth === VOID ? 0 : depth;
+    this.y32_1 = alternatives;
+    this.z32_1 = executionContext;
+    this.a33_1 = parent;
+    this.b33_1 = depth;
   }
-  ChoicePointContext.prototype.w34 = function () {
-    return this.f35_1;
+  protoOf(ChoicePointContext).p32 = function () {
+    return this.y32_1;
   };
-  ChoicePointContext.prototype.x34 = function () {
-    return this.g35_1;
+  protoOf(ChoicePointContext).q32 = function () {
+    return this.z32_1;
   };
-  ChoicePointContext.prototype.y34 = function () {
-    return this.h35_1;
+  protoOf(ChoicePointContext).r32 = function () {
+    return this.a33_1;
   };
-  ChoicePointContext.prototype.z34 = function () {
-    return this.i35_1;
+  protoOf(ChoicePointContext).s32 = function () {
+    return this.b33_1;
   };
-  ChoicePointContext.prototype.j35 = function () {
+  protoOf(ChoicePointContext).c33 = function () {
     var tmp$ret$1;
     $l$block: {
       // Inline function 'kotlin.sequences.any' call
-      var tmp0_any = this.k35();
+      var tmp0_any = this.d33();
       var tmp0_iterator = tmp0_any.j();
       while (tmp0_iterator.m()) {
-        var element = tmp0_iterator.p();
+        var element = tmp0_iterator.n();
         var tmp$ret$0;
         // Inline function 'it.unibo.tuprolog.solve.classic.ChoicePointContext.<get-hasOpenAlternatives>.<anonymous>' call
-        tmp$ret$0 = element.w34().vq();
+        tmp$ret$0 = element.p32().mq();
         if (tmp$ret$0) {
           tmp$ret$1 = true;
           break $l$block;
@@ -586,170 +612,118 @@
     }
     return tmp$ret$1;
   };
-  ChoicePointContext.prototype.k35 = function () {
+  protoOf(ChoicePointContext).d33 = function () {
     return sequence(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn_0(this, null));
   };
-  ChoicePointContext.prototype.l35 = function () {
-    var tmp0_safe_receiver = this.x34();
-    return tmp0_safe_receiver == null ? null : tmp0_safe_receiver.e34_1;
+  protoOf(ChoicePointContext).e33 = function () {
+    var tmp0_safe_receiver = this.q32();
+    return tmp0_safe_receiver == null ? null : tmp0_safe_receiver.x31_1;
   };
-  ChoicePointContext.prototype.m35 = function () {
-    var tmp0_safe_receiver = this.x34();
-    return tmp0_safe_receiver == null ? null : tmp0_safe_receiver.l33_1;
+  protoOf(ChoicePointContext).f33 = function () {
+    var tmp0_safe_receiver = this.q32();
+    return tmp0_safe_receiver == null ? null : tmp0_safe_receiver.e31_1;
   };
-  ChoicePointContext.prototype.toString = function () {
-    var tmp = this.a35() + '(' + ('alternatives=' + this.w34() + ', ');
+  protoOf(ChoicePointContext).toString = function () {
+    var tmp = this.t32() + '(' + ('alternatives=' + this.p32() + ', ');
     var tmp_0;
-    if (this.x34() === null) {
-      tmp_0 = 'executionContext=' + this.x34() + ', ';
+    if (this.q32() === null) {
+      tmp_0 = 'executionContext=' + this.q32() + ', ';
     } else {
-      'executionContextDepth=' + this.l35() + ', ';
-      tmp_0 = 'executionContextProcedure=' + this.m35() + ', ';
+      'executionContextDepth=' + this.e33() + ', ';
+      tmp_0 = 'executionContextProcedure=' + this.f33() + ', ';
     }
-    return tmp + tmp_0 + ('depth=' + this.z34()) + ')';
+    return tmp + tmp_0 + ('depth=' + this.s32()) + ')';
   };
   function appendRules(_this__u8e3s4, alternatives, executionContext) {
+    executionContext = executionContext === VOID ? null : executionContext;
     return new Rules(alternatives, executionContext, _this__u8e3s4, nextDepth(_this__u8e3s4));
   }
   function nextDepth(_this__u8e3s4) {
-    return _this__u8e3s4 == null ? 0 : _this__u8e3s4.z34() + 1 | 0;
+    return _this__u8e3s4 == null ? 0 : _this__u8e3s4.s32() + 1 | 0;
   }
   function appendPrimitives(_this__u8e3s4, alternatives, executionContext) {
+    executionContext = executionContext === VOID ? null : executionContext;
     return new Primitives(alternatives, executionContext, _this__u8e3s4, nextDepth(_this__u8e3s4));
   }
-  function ClassicExecutionContext_init_$Init$(procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables, $mask0, $marker, $this) {
-    if (!(($mask0 & 1) === 0))
-      procedure = null;
-    if (!(($mask0 & 2) === 0))
-      unificator = Companion_getInstance_3().h1l();
-    if (!(($mask0 & 4) === 0))
-      libraries = Companion_getInstance_4().empty();
-    if (!(($mask0 & 8) === 0))
-      flags = Companion_getInstance_5().empty();
-    if (!(($mask0 & 16) === 0))
-      staticKb = Companion_getInstance_1().empty(unificator);
-    if (!(($mask0 & 32) === 0))
-      dynamicKb = Companion_getInstance_2().empty(unificator);
-    if (!(($mask0 & 64) === 0))
-      operators = toOperatorSet(getAllOperators(libraries, [staticKb, dynamicKb]));
-    if (!(($mask0 & 128) === 0)) {
-      var tmp = Companion_getInstance();
-      inputChannels = tmp.v1z(null, 1, null);
-    }
-    if (!(($mask0 & 256) === 0)) {
-      var tmp_0 = Companion_getInstance_0();
-      outputChannels = tmp_0.w1z(null, null, null, 7, null);
-    }
-    if (!(($mask0 & 512) === 0))
-      customData = Companion_getInstance_6().empty();
-    if (!(($mask0 & 1024) === 0))
-      substitution = Companion_getInstance_7().empty();
-    if (!(($mask0 & 2048) === 0))
-      query = Companion_getInstance_8().wv_1;
-    if (!(($mask0 & 4096) === 0))
-      goals = Companion_getInstance_9().empty();
-    if (!(($mask0 & 8192) === 0))
-      rules = Companion_getInstance_9().empty();
-    if (!(($mask0 & 16384) === 0))
-      primitives = Companion_getInstance_9().empty();
-    if (!(($mask0 & 65536) === 0)) {
-      Companion_getInstance_10();
-      maxDuration = new Long(-1, 2147483647);
-    }
-    if (!(($mask0 & 131072) === 0))
-      choicePoints = null;
-    if (!(($mask0 & 262144) === 0))
-      parent = null;
-    if (!(($mask0 & 524288) === 0))
-      depth = 0;
-    if (!(($mask0 & 1048576) === 0))
-      step = new Long(0, 0);
-    if (!(($mask0 & 2097152) === 0))
-      relevantVariables = emptySet();
-    ClassicExecutionContext.call($this, procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables);
-    return $this;
-  }
-  function ClassicExecutionContext_init_$Create$(procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables, $mask0, $marker) {
-    return ClassicExecutionContext_init_$Init$(procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables, $mask0, $marker, Object.create(ClassicExecutionContext.prototype));
-  }
   function _get_locallyInterestingVariables__39cqti($this) {
-    var tmp = asSequence_0($this.g34_1);
-    var tmp0_safe_receiver = $this.x33_1.uq();
-    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.hw();
+    var tmp = asSequence_0($this.z31_1);
+    var tmp0_safe_receiver = $this.q31_1.lq();
+    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.yv();
     return plus(tmp, tmp1_elvis_lhs == null ? emptySequence() : tmp1_elvis_lhs);
   }
   function _get_interestingVariables__k6uw5o($this) {
     var tmp$ret$0;
     // Inline function 'kotlin.getValue' call
     var tmp0_getValue = interestingVariables$factory();
-    tmp$ret$0 = $this.j34_1.b1();
+    tmp$ret$0 = $this.c32_1.b1();
     return tmp$ret$0;
   }
   function ClassicExecutionContext$pathToRoot$slambda(this$0, resultContinuation) {
-    this.s36_1 = this$0;
+    this.l34_1 = this$0;
     CoroutineImpl.call(this, resultContinuation);
   }
-  ClassicExecutionContext$pathToRoot$slambda.prototype.v36 = function ($this$sequence, $cont) {
-    var tmp = this.w36($this$sequence, $cont);
-    tmp.ei_1 = Unit_getInstance();
-    tmp.fi_1 = null;
-    return tmp.ki();
+  protoOf(ClassicExecutionContext$pathToRoot$slambda).o34 = function ($this$sequence, $completion) {
+    var tmp = this.p34($this$sequence, $completion);
+    tmp.ci_1 = Unit_getInstance();
+    tmp.di_1 = null;
+    return tmp.ii();
   };
-  ClassicExecutionContext$pathToRoot$slambda.prototype.wi = function (p1, $cont) {
-    return this.v36(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $cont);
+  protoOf(ClassicExecutionContext$pathToRoot$slambda).ui = function (p1, $completion) {
+    return this.o34(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
   };
-  ClassicExecutionContext$pathToRoot$slambda.prototype.ki = function () {
-    var suspendResult = this.ei_1;
+  protoOf(ClassicExecutionContext$pathToRoot$slambda).ii = function () {
+    var suspendResult = this.ci_1;
     $sm: do
       try {
-        var tmp = this.ci_1;
+        var tmp = this.ai_1;
         switch (tmp) {
           case 0:
-            this.di_1 = 4;
-            this.u36_1 = this.s36_1;
-            this.ci_1 = 1;
+            this.bi_1 = 4;
+            this.n34_1 = this.l34_1;
+            this.ai_1 = 1;
             continue $sm;
           case 1:
-            if (!!(this.u36_1 == null)) {
-              this.ci_1 = 3;
+            if (!!(this.n34_1 == null)) {
+              this.ai_1 = 3;
               continue $sm;
             }
 
-            this.ci_1 = 2;
-            suspendResult = this.t36_1.z4(this.u36_1, this);
+            this.ai_1 = 2;
+            suspendResult = this.m34_1.d5(this.n34_1, this);
             if (suspendResult === get_COROUTINE_SUSPENDED()) {
               return suspendResult;
             }
 
             continue $sm;
           case 2:
-            this.u36_1 = this.u36_1.d34_1;
-            this.ci_1 = 1;
+            this.n34_1 = this.n34_1.w31_1;
+            this.ai_1 = 1;
             continue $sm;
           case 3:
             return Unit_getInstance();
           case 4:
-            throw this.fi_1;
+            throw this.di_1;
         }
       } catch ($p) {
-        if (this.di_1 === 4) {
-          throw $p;
+        var e = $p;
+        if (this.bi_1 === 4) {
+          throw e;
         } else {
-          this.ci_1 = this.di_1;
-          this.fi_1 = $p;
+          this.ai_1 = this.bi_1;
+          this.di_1 = e;
         }
       }
      while (true);
   };
-  ClassicExecutionContext$pathToRoot$slambda.prototype.w36 = function ($this$sequence, completion) {
-    var i = new ClassicExecutionContext$pathToRoot$slambda(this.s36_1, completion);
-    i.t36_1 = $this$sequence;
+  protoOf(ClassicExecutionContext$pathToRoot$slambda).p34 = function ($this$sequence, completion) {
+    var i = new ClassicExecutionContext$pathToRoot$slambda(this.l34_1, completion);
+    i.m34_1 = $this$sequence;
     return i;
   };
   function ClassicExecutionContext$pathToRoot$slambda_0(this$0, resultContinuation) {
     var i = new ClassicExecutionContext$pathToRoot$slambda(this$0, resultContinuation);
-    var l = function ($this$sequence, $cont) {
-      return i.v36($this$sequence, $cont);
+    var l = function ($this$sequence, $completion) {
+      return i.o34($this$sequence, $completion);
     };
     l.$arity = 1;
     return l;
@@ -757,11 +731,11 @@
   function ClassicExecutionContext$currentGoal$delegate$lambda(this$0) {
     return function () {
       var tmp;
-      if (this$0.x33_1.wq()) {
+      if (this$0.q31_1.nq()) {
         tmp = null;
       } else {
-        var tmp0_safe_receiver = this$0.x33_1.uq();
-        tmp = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.applySubstitution(this$0.v33_1);
+        var tmp0_safe_receiver = this$0.q31_1.lq();
+        tmp = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.applySubstitution(this$0.o31_1);
       }
       return tmp;
     };
@@ -771,50 +745,78 @@
   }
   function ClassicExecutionContext$interestingVariables$delegate$lambda(this$0) {
     return function () {
-      var tmp = plus(_get_locallyInterestingVariables__39cqti(this$0), this$0.w33_1.hw());
-      return cached(distinct(plus(tmp, flatMap(this$0.h34_1, ClassicExecutionContext$interestingVariables$delegate$lambda$lambda))));
+      var tmp = plus(_get_locallyInterestingVariables__39cqti(this$0), this$0.p31_1.yv());
+      return cached(distinct(plus(tmp, flatMap(this$0.a32_1, ClassicExecutionContext$interestingVariables$delegate$lambda$lambda))));
     };
   }
   function ClassicExecutionContext$logicStackTrace$delegate$lambda$lambda(it) {
-    return it.x36();
+    return it.q34();
   }
   function ClassicExecutionContext$logicStackTrace$delegate$lambda$lambda_0(this$0) {
     return function (it) {
-      var tmp0_elvis_lhs = it.l33_1;
-      return tmp0_elvis_lhs == null ? Companion_getInstance_11().of('?-', [this$0.w33_1]) : tmp0_elvis_lhs;
+      var tmp0_elvis_lhs = it.e31_1;
+      return tmp0_elvis_lhs == null ? Companion_getInstance_8().of('?-', [this$0.p31_1]) : tmp0_elvis_lhs;
     };
   }
   function ClassicExecutionContext$logicStackTrace$delegate$lambda(this$0) {
     return function () {
-      var tmp = filter(this$0.h34_1, ClassicExecutionContext$logicStackTrace$delegate$lambda$lambda);
+      var tmp = filter(this$0.a32_1, ClassicExecutionContext$logicStackTrace$delegate$lambda$lambda);
       return toList(map(tmp, ClassicExecutionContext$logicStackTrace$delegate$lambda$lambda_0(this$0)));
     };
   }
   function ClassicExecutionContext(procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables) {
-    this.l33_1 = procedure;
-    this.m33_1 = unificator;
-    this.n33_1 = libraries;
-    this.o33_1 = flags;
-    this.p33_1 = staticKb;
-    this.q33_1 = dynamicKb;
-    this.r33_1 = operators;
-    this.s33_1 = inputChannels;
-    this.t33_1 = outputChannels;
-    this.u33_1 = customData;
-    this.v33_1 = substitution;
-    this.w33_1 = query;
-    this.x33_1 = goals;
-    this.y33_1 = rules;
-    this.z33_1 = primitives;
-    this.a34_1 = startTime;
-    this.b34_1 = maxDuration;
-    this.c34_1 = choicePoints;
-    this.d34_1 = parent;
-    this.e34_1 = depth;
-    this.f34_1 = step;
-    this.g34_1 = relevantVariables;
+    procedure = procedure === VOID ? null : procedure;
+    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;
+    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_9().empty() : customData;
+    substitution = substitution === VOID ? Companion_getInstance_10().empty() : substitution;
+    query = query === VOID ? Companion_getInstance_11().nv_1 : query;
+    goals = goals === VOID ? Companion_getInstance_12().empty() : goals;
+    rules = rules === VOID ? Companion_getInstance_12().empty() : rules;
+    primitives = primitives === VOID ? Companion_getInstance_12().empty() : primitives;
+    var tmp;
+    if (maxDuration === VOID) {
+      Companion_getInstance_13();
+      tmp = new Long(-1, 2147483647);
+    } else {
+      tmp = maxDuration;
+    }
+    maxDuration = tmp;
+    choicePoints = choicePoints === VOID ? null : choicePoints;
+    parent = parent === VOID ? null : parent;
+    depth = depth === VOID ? 0 : depth;
+    step = step === VOID ? new Long(0, 0) : step;
+    relevantVariables = relevantVariables === VOID ? emptySet() : relevantVariables;
+    this.e31_1 = procedure;
+    this.f31_1 = unificator;
+    this.g31_1 = libraries;
+    this.h31_1 = flags;
+    this.i31_1 = staticKb;
+    this.j31_1 = dynamicKb;
+    this.k31_1 = operators;
+    this.l31_1 = inputChannels;
+    this.m31_1 = outputChannels;
+    this.n31_1 = customData;
+    this.o31_1 = substitution;
+    this.p31_1 = query;
+    this.q31_1 = goals;
+    this.r31_1 = rules;
+    this.s31_1 = primitives;
+    this.t31_1 = startTime;
+    this.u31_1 = maxDuration;
+    this.v31_1 = choicePoints;
+    this.w31_1 = parent;
+    this.x31_1 = depth;
+    this.y31_1 = step;
+    this.z31_1 = relevantVariables;
     // Inline function 'kotlin.require' call
-    var tmp0_require = (this.e34_1 === 0 ? this.d34_1 == null : false) ? true : this.e34_1 > 0 ? !(this.d34_1 == null) : false;
+    var tmp0_require = (this.x31_1 === 0 ? this.w31_1 == null : false) ? true : this.x31_1 > 0 ? !(this.w31_1 == null) : false;
     // Inline function 'kotlin.contracts.contract' call
     // Inline function 'kotlin.require' call
     // Inline function 'kotlin.contracts.contract' call
@@ -826,7 +828,7 @@
       throw IllegalArgumentException_init_$Create$(toString(message));
     }
     // Inline function 'kotlin.require' call
-    var tmp1_require = this.a34_1.jd(new Long(0, 0)) >= 0;
+    var tmp1_require = this.t31_1.i1(new Long(0, 0)) >= 0;
     // Inline function 'kotlin.contracts.contract' call
     // Inline function 'kotlin.require' call
     // Inline function 'kotlin.contracts.contract' call
@@ -838,7 +840,7 @@
       throw IllegalArgumentException_init_$Create$(toString(message_0));
     }
     // Inline function 'kotlin.require' call
-    var tmp2_require = this.b34_1.jd(new Long(0, 0)) >= 0;
+    var tmp2_require = this.u31_1.i1(new Long(0, 0)) >= 0;
     // Inline function 'kotlin.contracts.contract' call
     // Inline function 'kotlin.require' call
     // Inline function 'kotlin.contracts.contract' call
@@ -849,249 +851,223 @@
       var message_1 = tmp$ret$2;
       throw IllegalArgumentException_init_$Create$(toString(message_1));
     }
-    var tmp = this;
-    tmp.h34_1 = sequence(ClassicExecutionContext$pathToRoot$slambda_0(this, null));
     var tmp_0 = this;
-    tmp_0.i34_1 = lazy(ClassicExecutionContext$currentGoal$delegate$lambda(this));
+    tmp_0.a32_1 = sequence(ClassicExecutionContext$pathToRoot$slambda_0(this, null));
     var tmp_1 = this;
-    tmp_1.j34_1 = lazy(ClassicExecutionContext$interestingVariables$delegate$lambda(this));
+    tmp_1.b32_1 = lazy(ClassicExecutionContext$currentGoal$delegate$lambda(this));
     var tmp_2 = this;
-    tmp_2.k34_1 = lazy(ClassicExecutionContext$logicStackTrace$delegate$lambda(this));
+    tmp_2.c32_1 = lazy(ClassicExecutionContext$interestingVariables$delegate$lambda(this));
+    var tmp_3 = this;
+    tmp_3.d32_1 = lazy(ClassicExecutionContext$logicStackTrace$delegate$lambda(this));
   }
-  ClassicExecutionContext.prototype.q1u = function () {
-    return this.l33_1;
+  protoOf(ClassicExecutionContext).q1t = function () {
+    return this.e31_1;
   };
-  ClassicExecutionContext.prototype.k1l = function () {
-    return this.m33_1;
+  protoOf(ClassicExecutionContext).k1k = function () {
+    return this.f31_1;
   };
-  ClassicExecutionContext.prototype.w1u = function () {
-    return this.n33_1;
+  protoOf(ClassicExecutionContext).v1t = function () {
+    return this.g31_1;
   };
-  ClassicExecutionContext.prototype.x1u = function () {
-    return this.o33_1;
+  protoOf(ClassicExecutionContext).w1t = function () {
+    return this.h31_1;
   };
-  ClassicExecutionContext.prototype.y1u = function () {
-    return this.p33_1;
+  protoOf(ClassicExecutionContext).x1t = function () {
+    return this.i31_1;
   };
-  ClassicExecutionContext.prototype.z1u = function () {
-    return this.q33_1;
+  protoOf(ClassicExecutionContext).y1t = function () {
+    return this.j31_1;
   };
-  ClassicExecutionContext.prototype.h1v = function () {
-    return this.r33_1;
+  protoOf(ClassicExecutionContext).e1u = function () {
+    return this.k31_1;
   };
-  ClassicExecutionContext.prototype.a1v = function () {
-    return this.s33_1;
+  protoOf(ClassicExecutionContext).z1t = function () {
+    return this.l31_1;
   };
-  ClassicExecutionContext.prototype.b1v = function () {
-    return this.t33_1;
+  protoOf(ClassicExecutionContext).a1u = function () {
+    return this.m31_1;
   };
-  ClassicExecutionContext.prototype.t1u = function () {
-    return this.u33_1;
+  protoOf(ClassicExecutionContext).t1t = function () {
+    return this.n31_1;
   };
-  ClassicExecutionContext.prototype.r1u = function () {
-    return this.v33_1;
+  protoOf(ClassicExecutionContext).r1t = function () {
+    return this.o31_1;
   };
-  ClassicExecutionContext.prototype.l1u = function () {
-    return this.a34_1;
+  protoOf(ClassicExecutionContext).l1t = function () {
+    return this.t31_1;
   };
-  ClassicExecutionContext.prototype.n1u = function () {
-    return this.b34_1;
+  protoOf(ClassicExecutionContext).n1t = function () {
+    return this.u31_1;
   };
-  ClassicExecutionContext.prototype.y36 = function () {
-    return this.e34_1 === 0;
+  protoOf(ClassicExecutionContext).r34 = function () {
+    return this.x31_1 === 0;
   };
-  ClassicExecutionContext.prototype.j35 = function () {
-    var tmp0_safe_receiver = this.c34_1;
-    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.j35();
+  protoOf(ClassicExecutionContext).c33 = function () {
+    var tmp0_safe_receiver = this.v31_1;
+    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.c33();
     return tmp1_elvis_lhs == null ? false : tmp1_elvis_lhs;
   };
-  ClassicExecutionContext.prototype.x36 = function () {
-    return this.d34_1 == null ? true : (this.e34_1 - this.d34_1.e34_1 | 0) >= 1;
+  protoOf(ClassicExecutionContext).q34 = function () {
+    return this.w31_1 == null ? true : (this.x31_1 - this.w31_1.x31_1 | 0) >= 1;
   };
-  ClassicExecutionContext.prototype.z36 = function () {
+  protoOf(ClassicExecutionContext).s34 = function () {
     var tmp$ret$0;
     // Inline function 'kotlin.getValue' call
     var tmp0_getValue = currentGoal$factory();
-    tmp$ret$0 = this.i34_1.b1();
+    tmp$ret$0 = this.b32_1.b1();
     return tmp$ret$0;
   };
-  ClassicExecutionContext.prototype.a37 = function (variable) {
+  protoOf(ClassicExecutionContext).t34 = function (variable) {
     return contains(_get_interestingVariables__k6uw5o(this), variable);
   };
-  ClassicExecutionContext.prototype.s1u = function () {
+  protoOf(ClassicExecutionContext).s1t = function () {
     var tmp$ret$0;
     // Inline function 'kotlin.getValue' call
     var tmp0_getValue = logicStackTrace$factory();
-    tmp$ret$0 = this.k34_1.b1();
+    tmp$ret$0 = this.d32_1.b1();
     return tmp$ret$0;
   };
-  ClassicExecutionContext.prototype.u1u = function (unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels) {
+  protoOf(ClassicExecutionContext).u1t = function (unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels) {
     return ClassicSolver_init_$Create$(unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, true);
   };
-  ClassicExecutionContext.prototype.c1v = function (unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels) {
+  protoOf(ClassicExecutionContext).b1u = function (unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels) {
     return MutableClassicSolver_init_$Create$(unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, true);
   };
-  ClassicExecutionContext.prototype.f1v = function (unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData) {
-    var tmp = dynamicKb.toMutableTheory();
-    var tmp_0 = new Long(0, 0);
-    var tmp_1 = new Long(0, 0);
-    var tmp_2 = new Long(0, 0);
-    return this.c35(null, unificator, libraries, flags, staticKb, tmp, operators, inputChannels, outputChannels, customData, null, null, null, null, null, tmp_0, tmp_1, null, null, 0, tmp_2, null, 4193281, null);
+  protoOf(ClassicExecutionContext).d1u = function (unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData) {
+    return this.v32(VOID, unificator, libraries, flags, staticKb, dynamicKb.toMutableTheory(), operators, inputChannels, outputChannels, customData);
   };
-  ClassicExecutionContext.prototype.b37 = function (sideEffect) {
+  protoOf(ClassicExecutionContext).u34 = function (sideEffect) {
     var tmp = apply.call(this, sideEffect);
     return tmp instanceof ClassicExecutionContext ? tmp : THROW_CCE();
   };
-  ClassicExecutionContext.prototype.apply = function (sideEffect) {
-    return this.b37(sideEffect);
+  protoOf(ClassicExecutionContext).apply = function (sideEffect) {
+    return this.u34(sideEffect);
   };
-  ClassicExecutionContext.prototype.c37 = function (sideEffects) {
+  protoOf(ClassicExecutionContext).v34 = function (sideEffects) {
     var tmp = applyIterable.call(this, sideEffects);
     return tmp instanceof ClassicExecutionContext ? tmp : THROW_CCE();
   };
-  ClassicExecutionContext.prototype.applyIterable = function (sideEffects) {
-    return this.c37(sideEffects);
+  protoOf(ClassicExecutionContext).applyIterable = function (sideEffects) {
+    return this.v34(sideEffects);
   };
-  ClassicExecutionContext.prototype.d37 = function (sideEffects) {
+  protoOf(ClassicExecutionContext).w34 = function (sideEffects) {
     var tmp = applySequence.call(this, sideEffects);
     return tmp instanceof ClassicExecutionContext ? tmp : THROW_CCE();
   };
-  ClassicExecutionContext.prototype.applySequence = function (sideEffects) {
-    return this.d37(sideEffects);
+  protoOf(ClassicExecutionContext).applySequence = function (sideEffects) {
+    return this.w34(sideEffects);
   };
-  ClassicExecutionContext.prototype.toString = function () {
-    return 'ClassicExecutionContext(' + ('step=' + toString(this.f34_1) + ', ') + ('depth=' + this.e34_1 + ', ') + ('substitution=' + this.v33_1 + ', ') + ('logicStackTrace=' + this.s1u() + ', ') + ('goals=' + this.x33_1 + ', ') + ('rules=' + this.y33_1 + ', ') + ('primitives=' + this.z33_1 + ', ') + ('startTime=' + toString(this.a34_1) + ', ') + ('endTime=' + toString(this.m1u()) + ', ') + ('maxDuration=' + toString(this.b34_1) + ', ') + ('unificator=' + this.m33_1 + ', ') + ('choicePoints=' + this.c34_1) + ')';
+  protoOf(ClassicExecutionContext).toString = function () {
+    return 'ClassicExecutionContext(' + ('step=' + toString(this.y31_1) + ', ') + ('depth=' + this.x31_1 + ', ') + ('substitution=' + this.o31_1 + ', ') + ('logicStackTrace=' + this.s1t() + ', ') + ('goals=' + this.q31_1 + ', ') + ('rules=' + this.r31_1 + ', ') + ('primitives=' + this.s31_1 + ', ') + ('startTime=' + toString(this.t31_1) + ', ') + ('endTime=' + toString(this.m1t()) + ', ') + ('maxDuration=' + toString(this.u31_1) + ', ') + ('unificator=' + this.f31_1 + ', ') + ('choicePoints=' + this.v31_1) + ')';
   };
-  ClassicExecutionContext.prototype.e37 = function (procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables) {
+  protoOf(ClassicExecutionContext).x34 = function (procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables) {
     return new ClassicExecutionContext(procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables);
   };
-  ClassicExecutionContext.prototype.c35 = function (procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables, $mask0, $handler) {
-    if (!(($mask0 & 1) === 0))
-      procedure = this.l33_1;
-    if (!(($mask0 & 2) === 0))
-      unificator = this.m33_1;
-    if (!(($mask0 & 4) === 0))
-      libraries = this.n33_1;
-    if (!(($mask0 & 8) === 0))
-      flags = this.o33_1;
-    if (!(($mask0 & 16) === 0))
-      staticKb = this.p33_1;
-    if (!(($mask0 & 32) === 0))
-      dynamicKb = this.q33_1;
-    if (!(($mask0 & 64) === 0))
-      operators = this.r33_1;
-    if (!(($mask0 & 128) === 0))
-      inputChannels = this.s33_1;
-    if (!(($mask0 & 256) === 0))
-      outputChannels = this.t33_1;
-    if (!(($mask0 & 512) === 0))
-      customData = this.u33_1;
-    if (!(($mask0 & 1024) === 0))
-      substitution = this.v33_1;
-    if (!(($mask0 & 2048) === 0))
-      query = this.w33_1;
-    if (!(($mask0 & 4096) === 0))
-      goals = this.x33_1;
-    if (!(($mask0 & 8192) === 0))
-      rules = this.y33_1;
-    if (!(($mask0 & 16384) === 0))
-      primitives = this.z33_1;
-    if (!(($mask0 & 32768) === 0))
-      startTime = this.a34_1;
-    if (!(($mask0 & 65536) === 0))
-      maxDuration = this.b34_1;
-    if (!(($mask0 & 131072) === 0))
-      choicePoints = this.c34_1;
-    if (!(($mask0 & 262144) === 0))
-      parent = this.d34_1;
-    if (!(($mask0 & 524288) === 0))
-      depth = this.e34_1;
-    if (!(($mask0 & 1048576) === 0))
-      step = this.f34_1;
-    if (!(($mask0 & 2097152) === 0))
-      relevantVariables = this.g34_1;
-    return this.e37(procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables);
-  };
-  ClassicExecutionContext.prototype.hashCode = function () {
-    var result = this.l33_1 == null ? 0 : this.l33_1.hashCode();
-    result = imul(result, 31) + hashCode(this.m33_1) | 0;
-    result = imul(result, 31) + hashCode(this.n33_1) | 0;
-    result = imul(result, 31) + this.o33_1.hashCode() | 0;
-    result = imul(result, 31) + hashCode(this.p33_1) | 0;
-    result = imul(result, 31) + hashCode(this.q33_1) | 0;
-    result = imul(result, 31) + this.r33_1.hashCode() | 0;
-    result = imul(result, 31) + hashCode(this.s33_1) | 0;
-    result = imul(result, 31) + hashCode(this.t33_1) | 0;
-    result = imul(result, 31) + this.u33_1.hashCode() | 0;
-    result = imul(result, 31) + hashCode(this.v33_1) | 0;
-    result = imul(result, 31) + this.w33_1.hashCode() | 0;
-    result = imul(result, 31) + hashCode(this.x33_1) | 0;
-    result = imul(result, 31) + hashCode(this.y33_1) | 0;
-    result = imul(result, 31) + hashCode(this.z33_1) | 0;
-    result = imul(result, 31) + this.a34_1.hashCode() | 0;
-    result = imul(result, 31) + this.b34_1.hashCode() | 0;
-    result = imul(result, 31) + (this.c34_1 == null ? 0 : hashCode(this.c34_1)) | 0;
-    result = imul(result, 31) + (this.d34_1 == null ? 0 : this.d34_1.hashCode()) | 0;
-    result = imul(result, 31) + this.e34_1 | 0;
-    result = imul(result, 31) + this.f34_1.hashCode() | 0;
-    result = imul(result, 31) + hashCode(this.g34_1) | 0;
+  protoOf(ClassicExecutionContext).v32 = function (procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables, $super) {
+    procedure = procedure === VOID ? this.e31_1 : procedure;
+    unificator = unificator === VOID ? this.f31_1 : unificator;
+    libraries = libraries === VOID ? this.g31_1 : libraries;
+    flags = flags === VOID ? this.h31_1 : flags;
+    staticKb = staticKb === VOID ? this.i31_1 : staticKb;
+    dynamicKb = dynamicKb === VOID ? this.j31_1 : dynamicKb;
+    operators = operators === VOID ? this.k31_1 : operators;
+    inputChannels = inputChannels === VOID ? this.l31_1 : inputChannels;
+    outputChannels = outputChannels === VOID ? this.m31_1 : outputChannels;
+    customData = customData === VOID ? this.n31_1 : customData;
+    substitution = substitution === VOID ? this.o31_1 : substitution;
+    query = query === VOID ? this.p31_1 : query;
+    goals = goals === VOID ? this.q31_1 : goals;
+    rules = rules === VOID ? this.r31_1 : rules;
+    primitives = primitives === VOID ? this.s31_1 : primitives;
+    startTime = startTime === VOID ? this.t31_1 : startTime;
+    maxDuration = maxDuration === VOID ? this.u31_1 : maxDuration;
+    choicePoints = choicePoints === VOID ? this.v31_1 : choicePoints;
+    parent = parent === VOID ? this.w31_1 : parent;
+    depth = depth === VOID ? this.x31_1 : depth;
+    step = step === VOID ? this.y31_1 : step;
+    relevantVariables = relevantVariables === VOID ? this.z31_1 : relevantVariables;
+    return $super === VOID ? this.x34(procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables) : $super.x34.call(this, procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables);
+  };
+  protoOf(ClassicExecutionContext).hashCode = function () {
+    var result = this.e31_1 == null ? 0 : this.e31_1.hashCode();
+    result = imul(result, 31) + hashCode(this.f31_1) | 0;
+    result = imul(result, 31) + hashCode(this.g31_1) | 0;
+    result = imul(result, 31) + this.h31_1.hashCode() | 0;
+    result = imul(result, 31) + hashCode(this.i31_1) | 0;
+    result = imul(result, 31) + hashCode(this.j31_1) | 0;
+    result = imul(result, 31) + this.k31_1.hashCode() | 0;
+    result = imul(result, 31) + hashCode(this.l31_1) | 0;
+    result = imul(result, 31) + hashCode(this.m31_1) | 0;
+    result = imul(result, 31) + this.n31_1.hashCode() | 0;
+    result = imul(result, 31) + hashCode(this.o31_1) | 0;
+    result = imul(result, 31) + this.p31_1.hashCode() | 0;
+    result = imul(result, 31) + hashCode(this.q31_1) | 0;
+    result = imul(result, 31) + hashCode(this.r31_1) | 0;
+    result = imul(result, 31) + hashCode(this.s31_1) | 0;
+    result = imul(result, 31) + this.t31_1.hashCode() | 0;
+    result = imul(result, 31) + this.u31_1.hashCode() | 0;
+    result = imul(result, 31) + (this.v31_1 == null ? 0 : hashCode(this.v31_1)) | 0;
+    result = imul(result, 31) + (this.w31_1 == null ? 0 : this.w31_1.hashCode()) | 0;
+    result = imul(result, 31) + this.x31_1 | 0;
+    result = imul(result, 31) + this.y31_1.hashCode() | 0;
+    result = imul(result, 31) + hashCode(this.z31_1) | 0;
     return result;
   };
-  ClassicExecutionContext.prototype.equals = function (other) {
+  protoOf(ClassicExecutionContext).equals = function (other) {
     if (this === other)
       return true;
     if (!(other instanceof ClassicExecutionContext))
       return false;
     var tmp0_other_with_cast = other instanceof ClassicExecutionContext ? other : THROW_CCE();
-    if (!equals(this.l33_1, tmp0_other_with_cast.l33_1))
+    if (!equals(this.e31_1, tmp0_other_with_cast.e31_1))
       return false;
-    if (!equals(this.m33_1, tmp0_other_with_cast.m33_1))
+    if (!equals(this.f31_1, tmp0_other_with_cast.f31_1))
       return false;
-    if (!equals(this.n33_1, tmp0_other_with_cast.n33_1))
+    if (!equals(this.g31_1, tmp0_other_with_cast.g31_1))
       return false;
-    if (!this.o33_1.equals(tmp0_other_with_cast.o33_1))
+    if (!this.h31_1.equals(tmp0_other_with_cast.h31_1))
       return false;
-    if (!equals(this.p33_1, tmp0_other_with_cast.p33_1))
+    if (!equals(this.i31_1, tmp0_other_with_cast.i31_1))
       return false;
-    if (!equals(this.q33_1, tmp0_other_with_cast.q33_1))
+    if (!equals(this.j31_1, tmp0_other_with_cast.j31_1))
       return false;
-    if (!this.r33_1.equals(tmp0_other_with_cast.r33_1))
+    if (!this.k31_1.equals(tmp0_other_with_cast.k31_1))
       return false;
-    if (!equals(this.s33_1, tmp0_other_with_cast.s33_1))
+    if (!equals(this.l31_1, tmp0_other_with_cast.l31_1))
       return false;
-    if (!equals(this.t33_1, tmp0_other_with_cast.t33_1))
+    if (!equals(this.m31_1, tmp0_other_with_cast.m31_1))
       return false;
-    if (!this.u33_1.equals(tmp0_other_with_cast.u33_1))
+    if (!this.n31_1.equals(tmp0_other_with_cast.n31_1))
       return false;
-    if (!equals(this.v33_1, tmp0_other_with_cast.v33_1))
+    if (!equals(this.o31_1, tmp0_other_with_cast.o31_1))
       return false;
-    if (!this.w33_1.equals(tmp0_other_with_cast.w33_1))
+    if (!this.p31_1.equals(tmp0_other_with_cast.p31_1))
       return false;
-    if (!equals(this.x33_1, tmp0_other_with_cast.x33_1))
+    if (!equals(this.q31_1, tmp0_other_with_cast.q31_1))
       return false;
-    if (!equals(this.y33_1, tmp0_other_with_cast.y33_1))
+    if (!equals(this.r31_1, tmp0_other_with_cast.r31_1))
       return false;
-    if (!equals(this.z33_1, tmp0_other_with_cast.z33_1))
+    if (!equals(this.s31_1, tmp0_other_with_cast.s31_1))
       return false;
-    if (!this.a34_1.equals(tmp0_other_with_cast.a34_1))
+    if (!this.t31_1.equals(tmp0_other_with_cast.t31_1))
       return false;
-    if (!this.b34_1.equals(tmp0_other_with_cast.b34_1))
+    if (!this.u31_1.equals(tmp0_other_with_cast.u31_1))
       return false;
-    if (!equals(this.c34_1, tmp0_other_with_cast.c34_1))
+    if (!equals(this.v31_1, tmp0_other_with_cast.v31_1))
       return false;
-    if (!equals(this.d34_1, tmp0_other_with_cast.d34_1))
+    if (!equals(this.w31_1, tmp0_other_with_cast.w31_1))
       return false;
-    if (!(this.e34_1 === tmp0_other_with_cast.e34_1))
+    if (!(this.x31_1 === tmp0_other_with_cast.x31_1))
       return false;
-    if (!this.f34_1.equals(tmp0_other_with_cast.f34_1))
+    if (!this.y31_1.equals(tmp0_other_with_cast.y31_1))
       return false;
-    if (!equals(this.g34_1, tmp0_other_with_cast.g34_1))
+    if (!equals(this.z31_1, tmp0_other_with_cast.z31_1))
       return false;
     return true;
   };
   function currentGoal$factory() {
     return getPropertyCallableRef('currentGoal', 1, KProperty1, function (receiver) {
-      return receiver.z36();
+      return receiver.s34();
     }, null);
   }
   function interestingVariables$factory() {
@@ -1101,107 +1077,74 @@
   }
   function logicStackTrace$factory() {
     return getPropertyCallableRef('logicStackTrace', 1, KProperty1, function (receiver) {
-      return receiver.s1u();
+      return receiver.s1t();
     }, null);
   }
   function ClassicSolver_init_$Init$(unificator, libraries, flags, initialStaticKb, initialDynamicKb, inputChannels, outputChannels, trustKb, $this) {
+    unificator = unificator === VOID ? Companion_getInstance().h1k() : unificator;
+    libraries = libraries === VOID ? Companion_getInstance_0().empty() : libraries;
+    flags = flags === VOID ? Companion_getInstance_1().empty() : flags;
+    initialStaticKb = initialStaticKb === VOID ? Companion_getInstance_2().empty(unificator) : initialStaticKb;
+    initialDynamicKb = initialDynamicKb === VOID ? Companion_getInstance_3().empty(unificator) : initialDynamicKb;
+    inputChannels = inputChannels === VOID ? Companion_getInstance_6().fromStandard() : inputChannels;
+    outputChannels = outputChannels === VOID ? Companion_getInstance_7().fromStandard() : outputChannels;
+    trustKb = trustKb === VOID ? false : trustKb;
     AbstractClassicSolver.call($this, unificator, libraries, flags, initialStaticKb, initialDynamicKb, inputChannels, outputChannels, trustKb);
     ClassicSolver.call($this);
     return $this;
   }
   function ClassicSolver_init_$Create$(unificator, libraries, flags, initialStaticKb, initialDynamicKb, inputChannels, outputChannels, trustKb) {
-    return ClassicSolver_init_$Init$(unificator, libraries, flags, initialStaticKb, initialDynamicKb, inputChannels, outputChannels, trustKb, Object.create(ClassicSolver.prototype));
-  }
-  function ClassicSolver_init_$Init$_0(unificator, libraries, flags, initialStaticKb, initialDynamicKb, inputChannels, outputChannels, trustKb, $mask0, $marker, $this) {
-    if (!(($mask0 & 1) === 0))
-      unificator = Companion_getInstance_3().h1l();
-    if (!(($mask0 & 2) === 0))
-      libraries = Companion_getInstance_4().empty();
-    if (!(($mask0 & 4) === 0))
-      flags = Companion_getInstance_5().empty();
-    if (!(($mask0 & 8) === 0))
-      initialStaticKb = Companion_getInstance_1().empty(unificator);
-    if (!(($mask0 & 16) === 0))
-      initialDynamicKb = Companion_getInstance_2().empty(unificator);
-    if (!(($mask0 & 32) === 0)) {
-      var tmp = Companion_getInstance();
-      inputChannels = tmp.v1z(null, 1, null);
-    }
-    if (!(($mask0 & 64) === 0)) {
-      var tmp_0 = Companion_getInstance_0();
-      outputChannels = tmp_0.w1z(null, null, null, 7, null);
-    }
-    if (!(($mask0 & 128) === 0))
-      trustKb = false;
-    ClassicSolver_init_$Init$(unificator, libraries, flags, initialStaticKb, initialDynamicKb, inputChannels, outputChannels, trustKb, $this);
-    return $this;
-  }
-  function ClassicSolver_init_$Create$_0(unificator, libraries, flags, initialStaticKb, initialDynamicKb, inputChannels, outputChannels, trustKb, $mask0, $marker) {
-    return ClassicSolver_init_$Init$_0(unificator, libraries, flags, initialStaticKb, initialDynamicKb, inputChannels, outputChannels, trustKb, $mask0, $marker, Object.create(ClassicSolver.prototype));
-  }
-  function ClassicSolver_init_$Init$_1(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb, $this) {
+    return ClassicSolver_init_$Init$(unificator, libraries, flags, initialStaticKb, initialDynamicKb, inputChannels, outputChannels, trustKb, objectCreate(protoOf(ClassicSolver)));
+  }
+  function ClassicSolver_init_$Init$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb, $this) {
+    unificator = unificator === VOID ? Companion_getInstance().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;
+    trustKb = trustKb === VOID ? false : trustKb;
     AbstractClassicSolver_init_$Init$(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb, $this);
     ClassicSolver.call($this);
     return $this;
   }
-  function ClassicSolver_init_$Init$_2(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb, $mask0, $marker, $this) {
-    if (!(($mask0 & 1) === 0))
-      unificator = Companion_getInstance_3().h1l();
-    if (!(($mask0 & 2) === 0))
-      libraries = Companion_getInstance_4().empty();
-    if (!(($mask0 & 4) === 0))
-      flags = Companion_getInstance_5().empty();
-    if (!(($mask0 & 8) === 0))
-      staticKb = Companion_getInstance_1().empty(unificator);
-    if (!(($mask0 & 16) === 0))
-      dynamicKb = Companion_getInstance_2().empty(unificator);
-    if (!(($mask0 & 32) === 0))
-      stdIn = Companion_getInstance_12().stdIn();
-    if (!(($mask0 & 64) === 0))
-      stdOut = Companion_getInstance_13().stdOut();
-    if (!(($mask0 & 128) === 0))
-      stdErr = Companion_getInstance_13().stdErr();
-    if (!(($mask0 & 256) === 0))
-      warnings = Companion_getInstance_13().warning();
-    if (!(($mask0 & 512) === 0))
-      trustKb = false;
-    ClassicSolver_init_$Init$_1(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb, $this);
-    return $this;
-  }
-  function ClassicSolver_init_$Create$_1(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb, $mask0, $marker) {
-    return ClassicSolver_init_$Init$_2(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb, $mask0, $marker, Object.create(ClassicSolver.prototype));
+  function ClassicSolver_init_$Create$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb) {
+    return ClassicSolver_init_$Init$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb, objectCreate(protoOf(ClassicSolver)));
   }
-  ClassicSolver.prototype.n34 = function (initialState, onStateTransition) {
-    return Companion_getInstance_22().g37(initialState, onStateTransition);
+  protoOf(ClassicSolver).g32 = function (initialState, onStateTransition) {
+    return Companion_getInstance_22().z34(initialState, onStateTransition);
   };
-  ClassicSolver.prototype.p1v = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
-    return ClassicSolver_init_$Create$_1(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, false, 512, null);
+  protoOf(ClassicSolver).m1u = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
+    return ClassicSolver_init_$Create$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings);
   };
-  ClassicSolver.prototype.z1s = function () {
-    return this.x1x(null, null, null, null, null, null, null, null, null, 511, null);
+  protoOf(ClassicSolver).z1r = function () {
+    return this.copy();
   };
-  ClassicSolver.prototype.clone = function () {
-    return this.z1s();
+  protoOf(ClassicSolver).clone = function () {
+    return this.z1r();
   };
   function ClassicSolver() {
   }
   function ClassicSolverFactory() {
     ClassicSolverFactory_instance = this;
   }
-  ClassicSolverFactory.prototype.d1y = function () {
+  protoOf(ClassicSolverFactory).u1w = function () {
     return DefaultBuiltins_getInstance();
   };
-  ClassicSolverFactory.prototype.t1y = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs) {
-    return ClassicSolver_init_$Create$_0(unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs, false, 128, null);
+  protoOf(ClassicSolverFactory).f1x = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs) {
+    return ClassicSolver_init_$Create$(unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs);
   };
-  ClassicSolverFactory.prototype.v1y = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
-    return ClassicSolver_init_$Create$_1(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, false, 512, null);
+  protoOf(ClassicSolverFactory).l1x = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
+    return ClassicSolver_init_$Create$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings);
   };
-  ClassicSolverFactory.prototype.z1y = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
-    return MutableClassicSolver_init_$Create$_1(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, false, 512, null);
+  protoOf(ClassicSolverFactory).n1x = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
+    return MutableClassicSolver_init_$Create$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings);
   };
-  ClassicSolverFactory.prototype.d1z = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs) {
-    return MutableClassicSolver_init_$Create$_0(unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs, false, 128, null);
+  protoOf(ClassicSolverFactory).p1x = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs) {
+    return MutableClassicSolver_init_$Create$(unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs);
   };
   var ClassicSolverFactory_instance;
   function ClassicSolverFactory_getInstance() {
@@ -1210,419 +1153,300 @@
     return ClassicSolverFactory_instance;
   }
   function MutableClassicSolver_init_$Init$(unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, trustKb, $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;
+    inputChannels = inputChannels === VOID ? Companion_getInstance_6().fromStandard() : inputChannels;
+    outputChannels = outputChannels === VOID ? Companion_getInstance_7().fromStandard() : outputChannels;
+    trustKb = trustKb === VOID ? false : trustKb;
     ClassicSolver_init_$Init$(unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, trustKb, $this);
     MutableClassicSolver.call($this);
     return $this;
   }
   function MutableClassicSolver_init_$Create$(unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, trustKb) {
-    return MutableClassicSolver_init_$Init$(unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, trustKb, Object.create(MutableClassicSolver.prototype));
-  }
-  function MutableClassicSolver_init_$Init$_0(unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, trustKb, $mask0, $marker, $this) {
-    if (!(($mask0 & 1) === 0))
-      unificator = Companion_getInstance_3().h1l();
-    if (!(($mask0 & 2) === 0))
-      libraries = Companion_getInstance_4().empty();
-    if (!(($mask0 & 4) === 0))
-      flags = Companion_getInstance_5().empty();
-    if (!(($mask0 & 8) === 0))
-      staticKb = Companion_getInstance_1().empty(unificator);
-    if (!(($mask0 & 16) === 0))
-      dynamicKb = Companion_getInstance_2().empty(unificator);
-    if (!(($mask0 & 32) === 0)) {
-      var tmp = Companion_getInstance();
-      inputChannels = tmp.v1z(null, 1, null);
-    }
-    if (!(($mask0 & 64) === 0)) {
-      var tmp_0 = Companion_getInstance_0();
-      outputChannels = tmp_0.w1z(null, null, null, 7, null);
-    }
-    if (!(($mask0 & 128) === 0))
-      trustKb = false;
-    MutableClassicSolver_init_$Init$(unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, trustKb, $this);
-    return $this;
-  }
-  function MutableClassicSolver_init_$Create$_0(unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, trustKb, $mask0, $marker) {
-    return MutableClassicSolver_init_$Init$_0(unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, trustKb, $mask0, $marker, Object.create(MutableClassicSolver.prototype));
-  }
-  function MutableClassicSolver_init_$Init$_1(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb, $this) {
-    ClassicSolver_init_$Init$_1(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb, $this);
+    return MutableClassicSolver_init_$Init$(unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, trustKb, objectCreate(protoOf(MutableClassicSolver)));
+  }
+  function MutableClassicSolver_init_$Init$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb, $this) {
+    unificator = unificator === VOID ? Companion_getInstance().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;
+    trustKb = trustKb === VOID ? false : trustKb;
+    ClassicSolver_init_$Init$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb, $this);
     MutableClassicSolver.call($this);
     return $this;
   }
-  function MutableClassicSolver_init_$Init$_2(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb, $mask0, $marker, $this) {
-    if (!(($mask0 & 1) === 0))
-      unificator = Companion_getInstance_3().h1l();
-    if (!(($mask0 & 2) === 0))
-      libraries = Companion_getInstance_4().empty();
-    if (!(($mask0 & 4) === 0))
-      flags = Companion_getInstance_5().empty();
-    if (!(($mask0 & 8) === 0))
-      staticKb = Companion_getInstance_1().empty(unificator);
-    if (!(($mask0 & 16) === 0))
-      dynamicKb = Companion_getInstance_2().empty(unificator);
-    if (!(($mask0 & 32) === 0))
-      stdIn = Companion_getInstance_12().stdIn();
-    if (!(($mask0 & 64) === 0))
-      stdOut = Companion_getInstance_13().stdOut();
-    if (!(($mask0 & 128) === 0))
-      stdErr = Companion_getInstance_13().stdErr();
-    if (!(($mask0 & 256) === 0))
-      warnings = Companion_getInstance_13().warning();
-    if (!(($mask0 & 512) === 0))
-      trustKb = false;
-    MutableClassicSolver_init_$Init$_1(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb, $this);
-    return $this;
-  }
-  function MutableClassicSolver_init_$Create$_1(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb, $mask0, $marker) {
-    return MutableClassicSolver_init_$Init$_2(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb, $mask0, $marker, Object.create(MutableClassicSolver.prototype));
+  function MutableClassicSolver_init_$Create$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb) {
+    return MutableClassicSolver_init_$Init$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb, objectCreate(protoOf(MutableClassicSolver)));
   }
   function MutableClassicSolver$loadLibrary$lambda($library) {
     return function ($this$updateContext) {
-      var newRuntime = $this$updateContext.n33_1.plusLibrary($library);
-      var tmp = $this$updateContext.r33_1.plusOperatorSet(toOperatorSet(getAllOperators(newRuntime, [])));
-      var tmp_0 = new Long(0, 0);
-      var tmp_1 = new Long(0, 0);
-      var tmp_2 = new Long(0, 0);
-      return $this$updateContext.c35(null, null, newRuntime, null, null, null, tmp, null, null, null, null, null, null, null, null, tmp_0, tmp_1, null, null, 0, tmp_2, null, 4194235, null);
+      var newRuntime = $this$updateContext.g31_1.plusLibrary($library);
+      return $this$updateContext.v32(VOID, VOID, newRuntime, VOID, VOID, VOID, $this$updateContext.k31_1.plusOperatorSet(toOperatorSet(getAllOperators(newRuntime, []))));
     };
   }
   function MutableClassicSolver$unloadLibrary$lambda($library) {
     return function ($this$updateContext) {
-      var newRuntime = $this$updateContext.n33_1.plusLibrary($library);
-      var tmp = toOperatorSet(getAllOperators(newRuntime, [$this$updateContext.p33_1, $this$updateContext.q33_1]));
-      var tmp_0 = new Long(0, 0);
-      var tmp_1 = new Long(0, 0);
-      var tmp_2 = new Long(0, 0);
-      return $this$updateContext.c35(null, null, newRuntime, null, null, null, tmp, null, null, null, null, null, null, null, null, tmp_0, tmp_1, null, null, 0, tmp_2, null, 4194235, null);
+      var newRuntime = $this$updateContext.g31_1.plusLibrary($library);
+      return $this$updateContext.v32(VOID, VOID, newRuntime, VOID, VOID, VOID, toOperatorSet(getAllOperators(newRuntime, [$this$updateContext.i31_1, $this$updateContext.j31_1])));
     };
   }
   function MutableClassicSolver$setRuntime$lambda($libraries) {
     return function ($this$updateContext) {
-      var tmp = toOperatorSet(getAllOperators($libraries, [$this$updateContext.p33_1, $this$updateContext.q33_1]));
-      var tmp_0 = new Long(0, 0);
-      var tmp_1 = new Long(0, 0);
-      var tmp_2 = new Long(0, 0);
-      return $this$updateContext.c35(null, null, $libraries, null, null, null, tmp, null, null, null, null, null, null, null, null, tmp_0, tmp_1, null, null, 0, tmp_2, null, 4194235, null);
+      return $this$updateContext.v32(VOID, VOID, $libraries, VOID, VOID, VOID, toOperatorSet(getAllOperators($libraries, [$this$updateContext.i31_1, $this$updateContext.j31_1])));
     };
   }
   function MutableClassicSolver$resetStaticKb$lambda($this$updateContext) {
-    var tmp = Companion_getInstance_1().empty($this$updateContext.m33_1);
-    var tmp_0 = toOperatorSet(getAllOperators($this$updateContext.n33_1, [$this$updateContext.q33_1]));
-    var tmp_1 = new Long(0, 0);
-    var tmp_2 = new Long(0, 0);
-    var tmp_3 = new Long(0, 0);
-    return $this$updateContext.c35(null, null, null, null, tmp, null, tmp_0, null, null, null, null, null, null, null, null, tmp_1, tmp_2, null, null, 0, tmp_3, null, 4194223, null);
+    return $this$updateContext.v32(VOID, VOID, VOID, VOID, Companion_getInstance_2().empty($this$updateContext.f31_1), VOID, toOperatorSet(getAllOperators($this$updateContext.g31_1, [$this$updateContext.j31_1])));
   }
   function MutableClassicSolver$resetDynamicKb$lambda($this$updateContext) {
-    var tmp = Companion_getInstance_2().empty($this$updateContext.m33_1);
-    var tmp_0 = toOperatorSet(getAllOperators($this$updateContext.n33_1, [$this$updateContext.p33_1]));
-    var tmp_1 = new Long(0, 0);
-    var tmp_2 = new Long(0, 0);
-    var tmp_3 = new Long(0, 0);
-    return $this$updateContext.c35(null, null, null, null, null, tmp, tmp_0, null, null, null, null, null, null, null, null, tmp_1, tmp_2, null, null, 0, tmp_3, null, 4194207, null);
+    return $this$updateContext.v32(VOID, VOID, VOID, VOID, VOID, Companion_getInstance_3().empty($this$updateContext.f31_1), toOperatorSet(getAllOperators($this$updateContext.g31_1, [$this$updateContext.i31_1])));
   }
   function MutableClassicSolver$assertA$lambda($clause) {
     return function ($this$updateContext) {
-      var tmp = $this$updateContext.q33_1.p1s($clause);
-      var tmp_0 = $this$updateContext.r33_1.plusOperatorSet(toOperatorSet(getAllOperators_0(listOf($clause))));
-      var tmp_1 = new Long(0, 0);
-      var tmp_2 = new Long(0, 0);
-      var tmp_3 = new Long(0, 0);
-      return $this$updateContext.c35(null, null, null, null, null, tmp, tmp_0, null, null, null, null, null, null, null, null, tmp_1, tmp_2, null, null, 0, tmp_3, null, 4194207, null);
+      return $this$updateContext.v32(VOID, VOID, VOID, VOID, VOID, $this$updateContext.j31_1.p1r($clause), $this$updateContext.k31_1.plusOperatorSet(toOperatorSet(getAllOperators_0(listOf($clause)))));
     };
   }
   function MutableClassicSolver$assertA$lambda_0($fact) {
     return function ($this$updateContext) {
-      var tmp = $this$updateContext.q33_1.c1t($fact);
-      var tmp_0 = new Long(0, 0);
-      var tmp_1 = new Long(0, 0);
-      var tmp_2 = new Long(0, 0);
-      return $this$updateContext.c35(null, null, null, null, null, tmp, null, null, null, null, null, null, null, null, null, tmp_0, tmp_1, null, null, 0, tmp_2, null, 4194271, null);
+      return $this$updateContext.v32(VOID, VOID, VOID, VOID, VOID, $this$updateContext.j31_1.c1s($fact));
     };
   }
   function MutableClassicSolver$assertZ$lambda($clause) {
     return function ($this$updateContext) {
-      var tmp = $this$updateContext.q33_1.t1s($clause);
-      var tmp_0 = $this$updateContext.r33_1.plusOperatorSet(toOperatorSet(getAllOperators_0(listOf($clause))));
-      var tmp_1 = new Long(0, 0);
-      var tmp_2 = new Long(0, 0);
-      var tmp_3 = new Long(0, 0);
-      return $this$updateContext.c35(null, null, null, null, null, tmp, tmp_0, null, null, null, null, null, null, null, null, tmp_1, tmp_2, null, null, 0, tmp_3, null, 4194207, null);
+      return $this$updateContext.v32(VOID, VOID, VOID, VOID, VOID, $this$updateContext.j31_1.t1r($clause), $this$updateContext.k31_1.plusOperatorSet(toOperatorSet(getAllOperators_0(listOf($clause)))));
     };
   }
   function MutableClassicSolver$assertZ$lambda_0($fact) {
     return function ($this$updateContext) {
-      var tmp = $this$updateContext.q33_1.d1t($fact);
-      var tmp_0 = new Long(0, 0);
-      var tmp_1 = new Long(0, 0);
-      var tmp_2 = new Long(0, 0);
-      return $this$updateContext.c35(null, null, null, null, null, tmp, null, null, null, null, null, null, null, null, null, tmp_0, tmp_1, null, null, 0, tmp_2, null, 4194271, null);
+      return $this$updateContext.v32(VOID, VOID, VOID, VOID, VOID, $this$updateContext.j31_1.d1s($fact));
     };
   }
   function MutableClassicSolver$retract$lambda($result, $clause) {
     return function ($this$updateContext) {
-      var tmp = $result.h1s().toMutableTheory();
-      var tmp_0 = $this$updateContext.r33_1.minusOperatorSet(toOperatorSet(getAllOperators_0(listOf($clause))));
-      var tmp_1 = new Long(0, 0);
-      var tmp_2 = new Long(0, 0);
-      var tmp_3 = new Long(0, 0);
-      return $this$updateContext.c35(null, null, null, null, null, tmp, tmp_0, null, null, null, null, null, null, null, null, tmp_1, tmp_2, null, null, 0, tmp_3, null, 4194207, null);
+      return $this$updateContext.v32(VOID, VOID, VOID, VOID, VOID, $result.h1r().toMutableTheory(), $this$updateContext.k31_1.minusOperatorSet(toOperatorSet(getAllOperators_0(listOf($clause)))));
     };
   }
   function MutableClassicSolver$retract$lambda_0($result) {
     return function ($this$updateContext) {
-      var tmp = $result.h1s().toMutableTheory();
-      var tmp_0 = new Long(0, 0);
-      var tmp_1 = new Long(0, 0);
-      var tmp_2 = new Long(0, 0);
-      return $this$updateContext.c35(null, null, null, null, null, tmp, null, null, null, null, null, null, null, null, null, tmp_0, tmp_1, null, null, 0, tmp_2, null, 4194271, null);
+      return $this$updateContext.v32(VOID, VOID, VOID, VOID, VOID, $result.h1r().toMutableTheory());
     };
   }
   function MutableClassicSolver$retractAll$lambda($result) {
     return function ($this$updateContext) {
-      var tmp = $result.h1s().toMutableTheory();
-      var tmp_0 = $this$updateContext.r33_1.minusOperatorSet(toOperatorSet(getAllOperators_0($result.h1s())));
-      var tmp_1 = new Long(0, 0);
-      var tmp_2 = new Long(0, 0);
-      var tmp_3 = new Long(0, 0);
-      return $this$updateContext.c35(null, null, null, null, null, tmp, tmp_0, null, null, null, null, null, null, null, null, tmp_1, tmp_2, null, null, 0, tmp_3, null, 4194207, null);
+      return $this$updateContext.v32(VOID, VOID, VOID, VOID, VOID, $result.h1r().toMutableTheory(), $this$updateContext.k31_1.minusOperatorSet(toOperatorSet(getAllOperators_0($result.h1r()))));
     };
   }
   function MutableClassicSolver$retractAll$lambda_0($result) {
     return function ($this$updateContext) {
-      var tmp = $result.h1s().toMutableTheory();
-      var tmp_0 = new Long(0, 0);
-      var tmp_1 = new Long(0, 0);
-      var tmp_2 = new Long(0, 0);
-      return $this$updateContext.c35(null, null, null, null, null, tmp, null, null, null, null, null, null, null, null, null, tmp_0, tmp_1, null, null, 0, tmp_2, null, 4194271, null);
+      return $this$updateContext.v32(VOID, VOID, VOID, VOID, VOID, $result.h1r().toMutableTheory());
     };
   }
   function MutableClassicSolver$setFlag$lambda($name, $value) {
     return function ($this$updateContext) {
-      var tmp = $this$updateContext.o33_1.set($name, $value);
-      var tmp_0 = new Long(0, 0);
-      var tmp_1 = new Long(0, 0);
-      var tmp_2 = new Long(0, 0);
-      return $this$updateContext.c35(null, null, null, tmp, null, null, null, null, null, null, null, null, null, null, null, tmp_0, tmp_1, null, null, 0, tmp_2, null, 4194295, null);
+      return $this$updateContext.v32(VOID, VOID, VOID, $this$updateContext.h31_1.set($name, $value));
     };
   }
   function MutableClassicSolver$setFlag$lambda_0($flag) {
     return function ($this$updateContext) {
-      var tmp = $this$updateContext.o33_1.plusPair($flag);
-      var tmp_0 = new Long(0, 0);
-      var tmp_1 = new Long(0, 0);
-      var tmp_2 = new Long(0, 0);
-      return $this$updateContext.c35(null, null, null, tmp, null, null, null, null, null, null, null, null, null, null, null, tmp_0, tmp_1, null, null, 0, tmp_2, null, 4194295, null);
+      return $this$updateContext.v32(VOID, VOID, VOID, $this$updateContext.h31_1.plusPair($flag));
     };
   }
   function MutableClassicSolver$setFlag$lambda_1($flag) {
     return function ($this$updateContext) {
-      var tmp = $this$updateContext.o33_1.plusNotable($flag);
-      var tmp_0 = new Long(0, 0);
-      var tmp_1 = new Long(0, 0);
-      var tmp_2 = new Long(0, 0);
-      return $this$updateContext.c35(null, null, null, tmp, null, null, null, null, null, null, null, null, null, null, null, tmp_0, tmp_1, null, null, 0, tmp_2, null, 4194295, null);
+      return $this$updateContext.v32(VOID, VOID, VOID, $this$updateContext.h31_1.plusNotable($flag));
     };
   }
   function MutableClassicSolver$setStandardInput$lambda($stdIn) {
     return function ($this$updateContext) {
-      Companion_getInstance();
-      var tmp = $this$updateContext.s33_1.plus(to('stdin', $stdIn));
-      var tmp_0 = new Long(0, 0);
-      var tmp_1 = new Long(0, 0);
-      var tmp_2 = new Long(0, 0);
-      return $this$updateContext.c35(null, null, null, null, null, null, null, tmp, null, null, null, null, null, null, null, tmp_0, tmp_1, null, null, 0, tmp_2, null, 4194175, null);
+      Companion_getInstance_6();
+      return $this$updateContext.v32(VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this$updateContext.l31_1.plus(to('stdin', $stdIn)));
     };
   }
   function MutableClassicSolver$setStandardError$lambda($stdErr) {
     return function ($this$updateContext) {
-      Companion_getInstance_0();
-      var tmp = $this$updateContext.t33_1.plus(to('stderr', $stdErr));
-      var tmp_0 = new Long(0, 0);
-      var tmp_1 = new Long(0, 0);
-      var tmp_2 = new Long(0, 0);
-      return $this$updateContext.c35(null, null, null, null, null, null, null, null, tmp, null, null, null, null, null, null, tmp_0, tmp_1, null, null, 0, tmp_2, null, 4194047, null);
+      Companion_getInstance_7();
+      return $this$updateContext.v32(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this$updateContext.m31_1.plus(to('stderr', $stdErr)));
     };
   }
   function MutableClassicSolver$setStandardOutput$lambda($stdOut) {
     return function ($this$updateContext) {
-      Companion_getInstance_0();
-      var tmp = $this$updateContext.t33_1.plus(to('stdout', $stdOut));
-      var tmp_0 = new Long(0, 0);
-      var tmp_1 = new Long(0, 0);
-      var tmp_2 = new Long(0, 0);
-      return $this$updateContext.c35(null, null, null, null, null, null, null, null, tmp, null, null, null, null, null, null, tmp_0, tmp_1, null, null, 0, tmp_2, null, 4194047, null);
+      Companion_getInstance_7();
+      return $this$updateContext.v32(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this$updateContext.m31_1.plus(to('stdout', $stdOut)));
     };
   }
   function MutableClassicSolver$setWarnings$lambda($warnings) {
     return function ($this$updateContext) {
-      var tmp = Companion_getInstance_0().x1z($this$updateContext.t33_1, $warnings);
-      var tmp_0 = new Long(0, 0);
-      var tmp_1 = new Long(0, 0);
-      var tmp_2 = new Long(0, 0);
-      return $this$updateContext.c35(null, null, null, null, null, null, null, null, tmp, null, null, null, null, null, null, tmp_0, tmp_1, null, null, 0, tmp_2, null, 4194047, null);
+      return $this$updateContext.v32(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, Companion_getInstance_7().f1y($this$updateContext.m31_1, $warnings));
     };
   }
-  MutableClassicSolver.prototype.i37 = function (library) {
-    this.u2b(MutableClassicSolver$loadLibrary$lambda(library));
+  protoOf(MutableClassicSolver).b35 = function (library) {
+    this.x29(MutableClassicSolver$loadLibrary$lambda(library));
   };
-  MutableClassicSolver.prototype.loadLibrary = function (library) {
-    return this.i37(library);
+  protoOf(MutableClassicSolver).loadLibrary = function (library) {
+    return this.b35(library);
   };
-  MutableClassicSolver.prototype.j37 = function (library) {
-    this.u2b(MutableClassicSolver$unloadLibrary$lambda(library));
+  protoOf(MutableClassicSolver).c35 = function (library) {
+    this.x29(MutableClassicSolver$unloadLibrary$lambda(library));
   };
-  MutableClassicSolver.prototype.unloadLibrary = function (library) {
-    return this.j37(library);
+  protoOf(MutableClassicSolver).unloadLibrary = function (library) {
+    return this.c35(library);
   };
-  MutableClassicSolver.prototype.k37 = function (libraries) {
-    this.u2b(MutableClassicSolver$setRuntime$lambda(libraries));
+  protoOf(MutableClassicSolver).d35 = function (libraries) {
+    this.x29(MutableClassicSolver$setRuntime$lambda(libraries));
   };
-  MutableClassicSolver.prototype.setLibraries = function (libraries) {
-    return this.k37(libraries);
+  protoOf(MutableClassicSolver).setLibraries = function (libraries) {
+    return this.d35(libraries);
   };
-  MutableClassicSolver.prototype.l37 = function (theory) {
-    this.y2b(theory, null, false, false, 10, null);
+  protoOf(MutableClassicSolver).e35 = function (theory) {
+    this.b2a(theory, VOID, false);
   };
-  MutableClassicSolver.prototype.loadStaticKb = function (theory) {
-    return this.l37(theory);
+  protoOf(MutableClassicSolver).loadStaticKb = function (theory) {
+    return this.e35(theory);
   };
-  MutableClassicSolver.prototype.m37 = function (theory) {
-    this.y2b(theory, null, false, false, 14, null);
+  protoOf(MutableClassicSolver).f35 = function (theory) {
+    this.b2a(theory);
   };
-  MutableClassicSolver.prototype.appendStaticKb = function (theory) {
-    return this.m37(theory);
+  protoOf(MutableClassicSolver).appendStaticKb = function (theory) {
+    return this.f35(theory);
   };
-  MutableClassicSolver.prototype.n37 = function () {
-    this.u2b(MutableClassicSolver$resetStaticKb$lambda);
+  protoOf(MutableClassicSolver).g35 = function () {
+    this.x29(MutableClassicSolver$resetStaticKb$lambda);
   };
-  MutableClassicSolver.prototype.resetStaticKb = function () {
-    return this.n37();
+  protoOf(MutableClassicSolver).resetStaticKb = function () {
+    return this.g35();
   };
-  MutableClassicSolver.prototype.o37 = function (theory) {
-    this.y2b(null, theory, false, false, 5, null);
+  protoOf(MutableClassicSolver).h35 = function (theory) {
+    this.b2a(VOID, theory, VOID, false);
   };
-  MutableClassicSolver.prototype.loadDynamicKb = function (theory) {
-    return this.o37(theory);
+  protoOf(MutableClassicSolver).loadDynamicKb = function (theory) {
+    return this.h35(theory);
   };
-  MutableClassicSolver.prototype.p37 = function (theory) {
-    this.y2b(null, theory, false, false, 13, null);
+  protoOf(MutableClassicSolver).i35 = function (theory) {
+    this.b2a(VOID, theory);
   };
-  MutableClassicSolver.prototype.appendDynamicKb = function (theory) {
-    return this.p37(theory);
+  protoOf(MutableClassicSolver).appendDynamicKb = function (theory) {
+    return this.i35(theory);
   };
-  MutableClassicSolver.prototype.q37 = function () {
-    this.u2b(MutableClassicSolver$resetDynamicKb$lambda);
+  protoOf(MutableClassicSolver).j35 = function () {
+    this.x29(MutableClassicSolver$resetDynamicKb$lambda);
   };
-  MutableClassicSolver.prototype.resetDynamicKb = function () {
-    return this.q37();
+  protoOf(MutableClassicSolver).resetDynamicKb = function () {
+    return this.j35();
   };
-  MutableClassicSolver.prototype.w1m = function (clause) {
-    this.u2b(MutableClassicSolver$assertA$lambda(clause));
+  protoOf(MutableClassicSolver).w1l = function (clause) {
+    this.x29(MutableClassicSolver$assertA$lambda(clause));
   };
-  MutableClassicSolver.prototype.assertA = function (clause) {
-    return this.w1m(clause);
+  protoOf(MutableClassicSolver).assertA = function (clause) {
+    return this.w1l(clause);
   };
-  MutableClassicSolver.prototype.r37 = function (fact) {
-    this.u2b(MutableClassicSolver$assertA$lambda_0(fact));
+  protoOf(MutableClassicSolver).k35 = function (fact) {
+    this.x29(MutableClassicSolver$assertA$lambda_0(fact));
   };
-  MutableClassicSolver.prototype.assertAFact = function (fact) {
-    return this.r37(fact);
+  protoOf(MutableClassicSolver).assertAFact = function (fact) {
+    return this.k35(fact);
   };
-  MutableClassicSolver.prototype.w1l = function (clause) {
-    this.u2b(MutableClassicSolver$assertZ$lambda(clause));
+  protoOf(MutableClassicSolver).w1k = function (clause) {
+    this.x29(MutableClassicSolver$assertZ$lambda(clause));
   };
-  MutableClassicSolver.prototype.assertZ = function (clause) {
-    return this.w1l(clause);
+  protoOf(MutableClassicSolver).assertZ = function (clause) {
+    return this.w1k(clause);
   };
-  MutableClassicSolver.prototype.s37 = function (fact) {
-    this.u2b(MutableClassicSolver$assertZ$lambda_0(fact));
+  protoOf(MutableClassicSolver).l35 = function (fact) {
+    this.x29(MutableClassicSolver$assertZ$lambda_0(fact));
   };
-  MutableClassicSolver.prototype.assertZFact = function (fact) {
-    return this.s37(fact);
+  protoOf(MutableClassicSolver).assertZFact = function (fact) {
+    return this.l35(fact);
   };
-  MutableClassicSolver.prototype.e1t = function (clause) {
-    var result = this.z1u().retract(clause);
-    this.u2b(MutableClassicSolver$retract$lambda(result, clause));
+  protoOf(MutableClassicSolver).e1s = function (clause) {
+    var result = this.y1t().retract(clause);
+    this.x29(MutableClassicSolver$retract$lambda(result, clause));
     return result;
   };
-  MutableClassicSolver.prototype.retract = function (clause) {
-    return this.e1t(clause);
+  protoOf(MutableClassicSolver).retract = function (clause) {
+    return this.e1s(clause);
   };
-  MutableClassicSolver.prototype.f1t = function (fact) {
-    var result = this.z1u().retractByHead(fact);
-    this.u2b(MutableClassicSolver$retract$lambda_0(result));
+  protoOf(MutableClassicSolver).f1s = function (fact) {
+    var result = this.y1t().retractByHead(fact);
+    this.x29(MutableClassicSolver$retract$lambda_0(result));
     return result;
   };
-  MutableClassicSolver.prototype.retractByHead = function (fact) {
-    return this.f1t(fact);
+  protoOf(MutableClassicSolver).retractByHead = function (fact) {
+    return this.f1s(fact);
   };
-  MutableClassicSolver.prototype.c1m = function (clause) {
-    var result = this.z1u().retractAll(clause);
-    this.u2b(MutableClassicSolver$retractAll$lambda(result));
+  protoOf(MutableClassicSolver).c1l = function (clause) {
+    var result = this.y1t().retractAll(clause);
+    this.x29(MutableClassicSolver$retractAll$lambda(result));
     return result;
   };
-  MutableClassicSolver.prototype.retractAll = function (clause) {
-    return this.c1m(clause);
+  protoOf(MutableClassicSolver).retractAll = function (clause) {
+    return this.c1l(clause);
   };
-  MutableClassicSolver.prototype.t37 = function (fact) {
-    var result = this.z1u().retractAllByHead(fact);
-    this.u2b(MutableClassicSolver$retractAll$lambda_0(result));
+  protoOf(MutableClassicSolver).m35 = function (fact) {
+    var result = this.y1t().retractAllByHead(fact);
+    this.x29(MutableClassicSolver$retractAll$lambda_0(result));
     return result;
   };
-  MutableClassicSolver.prototype.retractAllBeHead = function (fact) {
-    return this.t37(fact);
+  protoOf(MutableClassicSolver).retractAllBeHead = function (fact) {
+    return this.m35(fact);
   };
-  MutableClassicSolver.prototype.u37 = function (name, value) {
-    this.u2b(MutableClassicSolver$setFlag$lambda(name, value));
+  protoOf(MutableClassicSolver).n35 = function (name, value) {
+    this.x29(MutableClassicSolver$setFlag$lambda(name, value));
   };
-  MutableClassicSolver.prototype.setFlag = function (name, value) {
-    return this.u37(name, value);
+  protoOf(MutableClassicSolver).setFlag = function (name, value) {
+    return this.n35(name, value);
   };
-  MutableClassicSolver.prototype.v37 = function (flag) {
-    this.u2b(MutableClassicSolver$setFlag$lambda_0(flag));
+  protoOf(MutableClassicSolver).o35 = function (flag) {
+    this.x29(MutableClassicSolver$setFlag$lambda_0(flag));
   };
-  MutableClassicSolver.prototype.setFlagPair = function (flag) {
-    return this.v37(flag);
+  protoOf(MutableClassicSolver).setFlagPair = function (flag) {
+    return this.o35(flag);
   };
-  MutableClassicSolver.prototype.w37 = function (flag) {
-    this.u2b(MutableClassicSolver$setFlag$lambda_1(flag));
+  protoOf(MutableClassicSolver).p35 = function (flag) {
+    this.x29(MutableClassicSolver$setFlag$lambda_1(flag));
   };
-  MutableClassicSolver.prototype.setFlagNotable = function (flag) {
-    return this.w37(flag);
+  protoOf(MutableClassicSolver).setFlagNotable = function (flag) {
+    return this.p35(flag);
   };
-  MutableClassicSolver.prototype.x37 = function (stdIn) {
-    this.u2b(MutableClassicSolver$setStandardInput$lambda(stdIn));
+  protoOf(MutableClassicSolver).q35 = function (stdIn) {
+    this.x29(MutableClassicSolver$setStandardInput$lambda(stdIn));
   };
-  MutableClassicSolver.prototype.setStandardInput = function (stdIn) {
-    return this.x37(stdIn);
+  protoOf(MutableClassicSolver).setStandardInput = function (stdIn) {
+    return this.q35(stdIn);
   };
-  MutableClassicSolver.prototype.y37 = function (stdErr) {
-    this.u2b(MutableClassicSolver$setStandardError$lambda(stdErr));
+  protoOf(MutableClassicSolver).r35 = function (stdErr) {
+    this.x29(MutableClassicSolver$setStandardError$lambda(stdErr));
   };
-  MutableClassicSolver.prototype.setStandardError = function (stdErr) {
-    return this.y37(stdErr);
+  protoOf(MutableClassicSolver).setStandardError = function (stdErr) {
+    return this.r35(stdErr);
   };
-  MutableClassicSolver.prototype.z37 = function (stdOut) {
-    this.u2b(MutableClassicSolver$setStandardOutput$lambda(stdOut));
+  protoOf(MutableClassicSolver).s35 = function (stdOut) {
+    this.x29(MutableClassicSolver$setStandardOutput$lambda(stdOut));
   };
-  MutableClassicSolver.prototype.setStandardOutput = function (stdOut) {
-    return this.z37(stdOut);
+  protoOf(MutableClassicSolver).setStandardOutput = function (stdOut) {
+    return this.s35(stdOut);
   };
-  MutableClassicSolver.prototype.a38 = function (warnings) {
-    this.u2b(MutableClassicSolver$setWarnings$lambda(warnings));
+  protoOf(MutableClassicSolver).t35 = function (warnings) {
+    this.x29(MutableClassicSolver$setWarnings$lambda(warnings));
   };
-  MutableClassicSolver.prototype.setWarnings = function (warnings) {
-    return this.a38(warnings);
+  protoOf(MutableClassicSolver).setWarnings = function (warnings) {
+    return this.t35(warnings);
   };
-  MutableClassicSolver.prototype.p1v = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
-    return MutableClassicSolver_init_$Create$_1(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, false, 512, null);
+  protoOf(MutableClassicSolver).m1u = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
+    return MutableClassicSolver_init_$Create$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings);
   };
-  MutableClassicSolver.prototype.z1s = function () {
-    return this.x1x(null, null, null, null, null, null, null, null, null, 511, null);
+  protoOf(MutableClassicSolver).z1r = function () {
+    return this.copy();
   };
-  MutableClassicSolver.prototype.clone = function () {
-    return this.z1s();
+  protoOf(MutableClassicSolver).clone = function () {
+    return this.z1r();
   };
   function MutableClassicSolver() {
   }
@@ -1632,17 +1456,18 @@
   function Companion() {
     Companion_instance = this;
   }
-  Companion.prototype.of = function (initialState, onStateTransition) {
+  protoOf(Companion).z34 = function (initialState, onStateTransition) {
+    return new SimpleSolutionIterator(initialState, onStateTransition);
+  };
+  protoOf(Companion).of = function (initialState, onStateTransition, $super) {
     var tmp;
-    if (onStateTransition === void 1) {
+    if (onStateTransition === VOID) {
       tmp = SolutionIterator$Companion$of$lambda;
     } else {
       tmp = onStateTransition;
     }
-    return this.g37(initialState, tmp);
-  };
-  Companion.prototype.g37 = function (initialState, onStateTransition) {
-    return new SimpleSolutionIterator(initialState, onStateTransition);
+    onStateTransition = tmp;
+    return $super === VOID ? this.z34(initialState, onStateTransition) : $super.z34.call(this, initialState, onStateTransition);
   };
   var Companion_instance;
   function Companion_getInstance_22() {
@@ -1652,85 +1477,80 @@
   }
   function AbstractEndState(solution, context) {
     AbstractState.call(this, context);
-    this.d38_1 = solution;
-    this.e38_1 = context;
+    this.w35_1 = solution;
+    this.x35_1 = context;
   }
-  AbstractEndState.prototype.k2j = function () {
-    return this.d38_1;
+  protoOf(AbstractEndState).e2h = function () {
+    return this.w35_1;
   };
-  AbstractEndState.prototype.j5 = function () {
-    return this.e38_1;
+  protoOf(AbstractEndState).n5 = function () {
+    return this.x35_1;
   };
-  AbstractEndState.prototype.f38 = function () {
+  protoOf(AbstractEndState).y35 = function () {
     throw NoSuchElementException_init_$Create$();
   };
-  AbstractEndState.prototype.asEndState = function () {
-    return this.h38();
+  protoOf(AbstractEndState).asEndState = function () {
+    return this.a36();
   };
   function AbstractState$executionTime$delegate$lambda(this$0) {
     return function () {
-      return this$0.n38();
+      return this$0.g36();
     };
   }
   function AbstractState(context) {
-    this.i38_1 = context;
+    this.b36_1 = context;
     var tmp = this;
-    tmp.j38_1 = lazy(AbstractState$executionTime$delegate$lambda(this));
+    tmp.c36_1 = lazy(AbstractState$executionTime$delegate$lambda(this));
   }
-  AbstractState.prototype.j5 = function () {
-    return this.i38_1;
+  protoOf(AbstractState).n5 = function () {
+    return this.b36_1;
   };
-  AbstractState.prototype.l38 = function () {
+  protoOf(AbstractState).e36 = function () {
     var tmp$ret$0;
     // Inline function 'kotlin.getValue' call
     var tmp0_getValue = executionTime$factory();
-    tmp$ret$0 = this.j38_1.b1();
+    tmp$ret$0 = this.c36_1.b1();
     return tmp$ret$0;
   };
-  AbstractState.prototype.m38 = function () {
-    return this.l38().ch(this.j5().a34_1).jd(this.j5().b34_1) > 0;
+  protoOf(AbstractState).f36 = function () {
+    return this.e36().ch(this.n5().t31_1).i1(this.n5().u31_1) > 0;
   };
-  AbstractState.prototype.p = function () {
+  protoOf(AbstractState).n = function () {
     var tmp;
-    if (this.m38()) {
-      var tmp0_exceededDuration = this.j5().b34_1;
-      var tmp1_context = this.j5();
-      var tmp_0 = TimeOutException_init_$Create$(null, null, tmp1_context, tmp0_exceededDuration, 3, null);
-      var tmp_1 = this.j5();
-      var tmp_2 = new Long(0, 0);
-      var tmp_3 = new Long(0, 0);
-      var tmp_4 = this.o38();
-      tmp = new StateHalt(tmp_0, tmp_1.c35(null, null, null, null, null, null, null, null, null, null, null, null, null, null, null, tmp_2, tmp_3, null, null, 0, tmp_4, null, 3145727, null));
+    if (this.f36()) {
+      var tmp0_exceededDuration = this.n5().u31_1;
+      var tmp1_context = this.n5();
+      tmp = new StateHalt(TimeOutException_init_$Create$(VOID, VOID, tmp1_context, tmp0_exceededDuration), this.n5().v32(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.h36()));
     } else {
-      tmp = this.f38();
+      tmp = this.y35();
     }
     return tmp;
   };
-  AbstractState.prototype.next = function () {
-    return this.p();
+  protoOf(AbstractState).next = function () {
+    return this.n();
   };
-  AbstractState.prototype.n38 = function () {
+  protoOf(AbstractState).g36 = function () {
     return currentTimeInstant();
   };
-  AbstractState.prototype.o38 = function () {
+  protoOf(AbstractState).h36 = function () {
     var tmp$ret$0;
     // Inline function 'kotlin.Long.plus' call
-    var tmp0_plus = this.j5().f34_1;
+    var tmp0_plus = this.n5().y31_1;
     tmp$ret$0 = tmp0_plus.bh(new Long(1, 0));
     return tmp$ret$0;
   };
-  AbstractState.prototype.p38 = function (_this__u8e3s4) {
+  protoOf(AbstractState).i36 = function (_this__u8e3s4) {
     var tmp$ret$2;
     $l$block: {
       // Inline function 'kotlin.sequences.first' call
-      var tmp0_first = _this__u8e3s4.h34_1;
+      var tmp0_first = _this__u8e3s4.a32_1;
       var tmp0_iterator = tmp0_first.j();
       while (tmp0_iterator.m()) {
-        var element = tmp0_iterator.p();
+        var element = tmp0_iterator.n();
         var tmp$ret$1;
         // Inline function 'it.unibo.tuprolog.solve.classic.fsm.AbstractState.skipThrow.<anonymous>' call
-        var tmp0_safe_receiver = element.l33_1;
-        var tmp = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.fw();
+        var tmp0_safe_receiver = element.e31_1;
+        var tmp = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.wv();
         var tmp$ret$0;
         // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
         var tmp0__get_functor__thl4dk = Throw_getInstance();
@@ -1747,7 +1567,7 @@
   };
   function executionTime$factory() {
     return getPropertyCallableRef('executionTime', 1, KProperty1, function (receiver) {
-      return receiver.l38();
+      return receiver.e36();
     }, null);
   }
   function EndState() {
@@ -1756,38 +1576,34 @@
   }
   function StateBacktracking(context) {
     AbstractState.call(this, context);
-    this.s38_1 = context;
+    this.l36_1 = context;
   }
-  StateBacktracking.prototype.j5 = function () {
-    return this.s38_1;
+  protoOf(StateBacktracking).n5 = function () {
+    return this.l36_1;
   };
-  StateBacktracking.prototype.f38 = function () {
-    var choicePoints = this.s38_1.c34_1;
+  protoOf(StateBacktracking).y35 = function () {
+    var choicePoints = this.l36_1.v31_1;
     var tmp;
     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.classic.fsm.StateBacktracking.computeNext.<anonymous>' call
-    tmp$ret$0 = choicePoints === null ? true : !choicePoints.j35();
+    tmp$ret$0 = choicePoints === null ? true : !choicePoints.c33();
     tmp$ret$1 = tmp$ret$0;
     if (tmp$ret$1) {
-      var tmp_0 = Companion_getInstance_14().no(this.s38_1.w33_1);
-      var tmp_1 = new Long(0, 0);
-      var tmp_2 = new Long(0, 0);
-      var tmp_3 = this.o38();
-      tmp = new StateEnd(tmp_0, this.s38_1.c35(null, null, null, null, null, null, null, null, null, null, null, null, null, null, null, tmp_1, tmp_2, null, null, 0, tmp_3, null, 3145727, null));
+      tmp = new StateEnd(Companion_getInstance_14().no(this.l36_1.p31_1), this.l36_1.v32(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.h36()));
     } else {
       var tmp$ret$3;
       $l$block: {
         // Inline function 'kotlin.sequences.first' call
-        var tmp0_first = ensureNotNull(choicePoints).k35();
+        var tmp0_first = ensureNotNull(choicePoints).d33();
         var tmp0_iterator = tmp0_first.j();
         while (tmp0_iterator.m()) {
-          var element = tmp0_iterator.p();
+          var element = tmp0_iterator.n();
           var tmp$ret$2;
           // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateBacktracking.computeNext.<anonymous>' call
-          tmp$ret$2 = element.w34().vq();
+          tmp$ret$2 = element.p32().mq();
           if (tmp$ret$2) {
             tmp$ret$3 = element;
             break $l$block;
@@ -1796,99 +1612,98 @@
         throw NoSuchElementException_init_$Create$_0('Sequence contains no element matching the predicate.');
       }
       var choicePointContext = tmp$ret$3;
-      var nextContext = choicePointContext.b35(this.s38_1);
-      var tmp_4;
-      if (nextContext.z33_1.vq()) {
-        tmp_4 = new StatePrimitiveExecution(nextContext);
+      var nextContext = choicePointContext.u32(this.l36_1);
+      var tmp_0;
+      if (nextContext.s31_1.mq()) {
+        tmp_0 = new StatePrimitiveExecution(nextContext);
       } else {
-        tmp_4 = new StateRuleExecution(nextContext);
+        tmp_0 = new StateRuleExecution(nextContext);
       }
-      tmp = tmp_4;
+      tmp = tmp_0;
     }
     return tmp;
   };
-  StateBacktracking.prototype.k38 = function (context) {
-    return this.t38(context);
+  protoOf(StateBacktracking).d36 = function (context) {
+    return this.m36(context);
   };
-  StateBacktracking.prototype.t38 = function (context) {
+  protoOf(StateBacktracking).m36 = function (context) {
     return new StateBacktracking(context);
   };
-  StateBacktracking.prototype.toString = function () {
-    return 'StateBacktracking(context=' + this.s38_1 + ')';
+  protoOf(StateBacktracking).toString = function () {
+    return 'StateBacktracking(context=' + this.l36_1 + ')';
   };
-  StateBacktracking.prototype.hashCode = function () {
-    return this.s38_1.hashCode();
+  protoOf(StateBacktracking).hashCode = function () {
+    return this.l36_1.hashCode();
   };
-  StateBacktracking.prototype.equals = function (other) {
+  protoOf(StateBacktracking).equals = function (other) {
     if (this === other)
       return true;
     if (!(other instanceof StateBacktracking))
       return false;
     var tmp0_other_with_cast = other instanceof StateBacktracking ? other : THROW_CCE();
-    if (!this.s38_1.equals(tmp0_other_with_cast.s38_1))
+    if (!this.l36_1.equals(tmp0_other_with_cast.l36_1))
       return false;
     return true;
   };
   function StateEnd(solution, context) {
     AbstractEndState.call(this, solution, context);
-    this.y38_1 = solution;
-    this.z38_1 = context;
+    this.r36_1 = solution;
+    this.s36_1 = context;
   }
-  StateEnd.prototype.k2j = function () {
-    return this.y38_1;
+  protoOf(StateEnd).e2h = function () {
+    return this.r36_1;
   };
-  StateEnd.prototype.j5 = function () {
-    return this.z38_1;
+  protoOf(StateEnd).n5 = function () {
+    return this.s36_1;
   };
-  StateEnd.prototype.m38 = function () {
+  protoOf(StateEnd).f36 = function () {
     return false;
   };
-  StateEnd.prototype.f38 = function () {
+  protoOf(StateEnd).y35 = function () {
     var tmp;
-    if (this.z38_1.j35()) {
-      var tmp0_$this = this.z38_1;
-      var tmp1_step = this.o38();
-      var tmp2_startTime = this.n38();
-      var tmp_0 = new Long(0, 0);
-      tmp = new StateBacktracking(tmp0_$this.c35(null, null, null, null, null, null, null, null, null, null, null, null, null, null, null, tmp2_startTime, tmp_0, null, null, 0, tmp1_step, null, 3112959, null));
+    if (this.s36_1.c33()) {
+      var tmp0_$this = this.s36_1;
+      var tmp1_step = this.h36();
+      var tmp2_startTime = this.g36();
+      tmp = new StateBacktracking(tmp0_$this.v32(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, tmp2_startTime, VOID, VOID, VOID, VOID, tmp1_step));
     } else {
-      tmp = AbstractEndState.prototype.f38.call(this);
+      tmp = protoOf(AbstractEndState).y35.call(this);
     }
     return tmp;
   };
-  StateEnd.prototype.k38 = function (context) {
-    return this.a39(this.y38_1, context);
+  protoOf(StateEnd).d36 = function (context) {
+    return this.t36(this.r36_1, context);
   };
-  StateEnd.prototype.a39 = function (solution, context) {
+  protoOf(StateEnd).t36 = function (solution, context) {
     return new StateEnd(solution, context);
   };
-  StateEnd.prototype.toString = function () {
-    return 'StateEnd(solution=' + this.y38_1 + ', context=' + this.z38_1 + ')';
+  protoOf(StateEnd).toString = function () {
+    return 'StateEnd(solution=' + this.r36_1 + ', context=' + this.s36_1 + ')';
   };
-  StateEnd.prototype.hashCode = function () {
-    var result = hashCode(this.y38_1);
-    result = imul(result, 31) + this.z38_1.hashCode() | 0;
+  protoOf(StateEnd).hashCode = function () {
+    var result = hashCode(this.r36_1);
+    result = imul(result, 31) + this.s36_1.hashCode() | 0;
     return result;
   };
-  StateEnd.prototype.equals = function (other) {
+  protoOf(StateEnd).equals = function (other) {
     if (this === other)
       return true;
     if (!(other instanceof StateEnd))
       return false;
     var tmp0_other_with_cast = other instanceof StateEnd ? other : THROW_CCE();
-    if (!equals(this.y38_1, tmp0_other_with_cast.y38_1))
+    if (!equals(this.r36_1, tmp0_other_with_cast.r36_1))
       return false;
-    if (!this.z38_1.equals(tmp0_other_with_cast.z38_1))
+    if (!this.s36_1.equals(tmp0_other_with_cast.s36_1))
       return false;
     return true;
   };
-  StateEnd.prototype.asEndState = function () {
-    return this.h38();
+  protoOf(StateEnd).asEndState = function () {
+    return this.a36();
   };
   function isCatch(_this__u8e3s4, $this) {
     var tmp;
-    if (_this__u8e3s4.zv() === 3) {
-      var tmp_0 = _this__u8e3s4.fw();
+    if (_this__u8e3s4.qv() === 3) {
+      var tmp_0 = _this__u8e3s4.wv();
       var tmp$ret$0;
       // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
       var tmp0__get_functor__thl4dk = Catch_getInstance();
@@ -1903,9 +1718,9 @@
     var tmp0_subject = _this__u8e3s4;
     var tmp;
     if (tmp0_subject instanceof MessageError) {
-      tmp = _this__u8e3s4.m27();
+      tmp = _this__u8e3s4.r25();
     } else {
-      tmp = _this__u8e3s4.n25();
+      tmp = _this__u8e3s4.t23();
     }
     return tmp;
   }
@@ -1920,25 +1735,17 @@
     return tmp;
   }
   function _get_finalState__3aigq8($this) {
-    var tmp = toPublicException($this.d39_1, $this);
-    var tmp_0 = new Long(0, 0);
-    var tmp_1 = new Long(0, 0);
-    var tmp_2 = $this.o38();
-    return new StateHalt(tmp, $this.e39_1.c35(null, null, null, null, null, null, null, null, null, null, null, null, null, null, null, tmp_0, tmp_1, null, null, 0, tmp_2, null, 3145727, null));
+    return new StateHalt(toPublicException($this.w36_1, $this), $this.x36_1.v32(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.h36()));
   }
   function _get_handleExceptionInParentContext__yj3v4e($this) {
-    var tmp = ensureNotNull($this.e39_1.d34_1);
-    var tmp_0 = new Long(0, 0);
-    var tmp_1 = new Long(0, 0);
-    var tmp_2 = $this.o38();
-    return new StateException($this.d39_1, tmp.c35(null, null, null, null, null, null, null, null, null, null, null, null, null, null, null, tmp_0, tmp_1, null, null, 0, tmp_2, null, 3145727, null));
+    return new StateException($this.w36_1, ensureNotNull($this.x36_1.w31_1).v32(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.h36()));
   }
   function handleStruct($this, unificator, catchGoal, error) {
     var tmp;
     if (isCatch(catchGoal, $this)) {
       var catcher = unificator.mgu(catchGoal.get(1), getExceptionContent(error, $this));
       tmp = handleCatch($this, catchGoal, catcher);
-    } else if ($this.e39_1.y36()) {
+    } else if ($this.x36_1.r34()) {
       tmp = _get_finalState__3aigq8($this);
     } else {
       tmp = _get_handleExceptionInParentContext__yj3v4e($this);
@@ -1947,20 +1754,18 @@
   }
   function handleCatch($this, catchGoal, catcher) {
     var tmp;
-    if (catcher.q12()) {
-      var tmp_0 = $this.e39_1.v33_1.plus(catcher);
+    if (catcher.g11()) {
+      var tmp_0 = $this.x36_1.o31_1.plus(catcher);
       var newSubstitution = tmp_0.filterEntry(StateException$handleCatch$lambda($this));
       var subGoals = catchGoal.get(2).getSubstituted(newSubstitution, []);
-      var newGoals = plus_0(toGoals(subGoals), $this.e39_1.x33_1.tq());
-      var tmp0_$this = $this.e39_1;
-      var tmp1_rules = Companion_getInstance_9().empty();
-      var tmp2_primitives = Companion_getInstance_9().empty();
+      var newGoals = plus_0(toGoals(subGoals), $this.x36_1.q31_1.kq());
+      var tmp0_$this = $this.x36_1;
+      var tmp1_rules = Companion_getInstance_12().empty();
+      var tmp2_primitives = Companion_getInstance_12().empty();
       var tmp3_substitution = newSubstitution.castToUnifier();
-      var tmp4_step = $this.o38();
-      var tmp_1 = new Long(0, 0);
-      var tmp_2 = new Long(0, 0);
-      tmp = new StateGoalSelection(tmp0_$this.c35(null, null, null, null, null, null, null, null, null, null, tmp3_substitution, null, newGoals, tmp1_rules, tmp2_primitives, tmp_1, tmp_2, null, null, 0, tmp4_step, null, 3116031, null));
-    } else if ($this.e39_1.y36()) {
+      var tmp4_step = $this.h36();
+      tmp = new StateGoalSelection(tmp0_$this.v32(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, tmp3_substitution, VOID, newGoals, tmp1_rules, tmp2_primitives, VOID, VOID, VOID, VOID, VOID, tmp4_step));
+    } else if ($this.x36_1.r34()) {
       tmp = _get_finalState__3aigq8($this);
     } else {
       tmp = _get_handleExceptionInParentContext__yj3v4e($this);
@@ -1973,51 +1778,51 @@
       // Inline function 'kotlin.collections.component1' call
       tmp$ret$0 = _name_for_destructuring_parameter_0__wldtmu.a1();
       var it = tmp$ret$0;
-      return this$0.e39_1.a37(it);
+      return this$0.x36_1.t34(it);
     };
   }
   function StateException(exception, context) {
     AbstractState.call(this, context);
-    this.d39_1 = exception;
-    this.e39_1 = context;
+    this.w36_1 = exception;
+    this.x36_1 = context;
   }
-  StateException.prototype.j5 = function () {
-    return this.e39_1;
+  protoOf(StateException).n5 = function () {
+    return this.x36_1;
   };
-  StateException.prototype.f38 = function () {
-    var tmp0_subject = this.d39_1;
+  protoOf(StateException).y35 = function () {
+    var tmp0_subject = this.w36_1;
     var tmp;
     if (tmp0_subject instanceof LogicError) {
-      var catchGoal = ensureNotNull(this.e39_1.z36());
-      tmp = catchGoal.lw() ? handleStruct(this, this.e39_1.m33_1, catchGoal.castToStruct(), this.d39_1) : this.e39_1.y36() ? _get_finalState__3aigq8(this) : _get_handleExceptionInParentContext__yj3v4e(this);
+      var catchGoal = ensureNotNull(this.x36_1.s34());
+      tmp = catchGoal.aw() ? handleStruct(this, this.x36_1.f31_1, catchGoal.castToStruct(), this.w36_1) : this.x36_1.r34() ? _get_finalState__3aigq8(this) : _get_handleExceptionInParentContext__yj3v4e(this);
     } else {
       tmp = _get_finalState__3aigq8(this);
     }
     return tmp;
   };
-  StateException.prototype.k38 = function (context) {
-    return this.f39(this.d39_1, context);
+  protoOf(StateException).d36 = function (context) {
+    return this.y36(this.w36_1, context);
   };
-  StateException.prototype.f39 = function (exception, context) {
+  protoOf(StateException).y36 = function (exception, context) {
     return new StateException(exception, context);
   };
-  StateException.prototype.toString = function () {
-    return 'StateException(exception=' + this.d39_1 + ', context=' + this.e39_1 + ')';
+  protoOf(StateException).toString = function () {
+    return 'StateException(exception=' + this.w36_1 + ', context=' + this.x36_1 + ')';
   };
-  StateException.prototype.hashCode = function () {
-    var result = hashCode(this.d39_1);
-    result = imul(result, 31) + this.e39_1.hashCode() | 0;
+  protoOf(StateException).hashCode = function () {
+    var result = hashCode(this.w36_1);
+    result = imul(result, 31) + this.x36_1.hashCode() | 0;
     return result;
   };
-  StateException.prototype.equals = function (other) {
+  protoOf(StateException).equals = function (other) {
     if (this === other)
       return true;
     if (!(other instanceof StateException))
       return false;
     var tmp0_other_with_cast = other instanceof StateException ? other : THROW_CCE();
-    if (!equals(this.d39_1, tmp0_other_with_cast.d39_1))
+    if (!equals(this.w36_1, tmp0_other_with_cast.w36_1))
       return false;
-    if (!this.e39_1.equals(tmp0_other_with_cast.e39_1))
+    if (!this.x36_1.equals(tmp0_other_with_cast.x36_1))
       return false;
     return true;
   };
@@ -2027,166 +1832,155 @@
       // Inline function 'kotlin.collections.component1' call
       tmp$ret$0 = _name_for_destructuring_parameter_0__wldtmu.a1();
       var it = tmp$ret$0;
-      return this$0.i39_1.a37(it);
+      return this$0.b37_1.t34(it);
     };
   }
   function StateGoalSelection(context) {
     AbstractState.call(this, context);
-    this.i39_1 = context;
+    this.b37_1 = context;
   }
-  StateGoalSelection.prototype.j5 = function () {
-    return this.i39_1;
+  protoOf(StateGoalSelection).n5 = function () {
+    return this.b37_1;
   };
-  StateGoalSelection.prototype.f38 = function () {
+  protoOf(StateGoalSelection).y35 = function () {
     var tmp;
-    if (this.i39_1.x33_1.wq()) {
+    if (this.b37_1.q31_1.nq()) {
       var tmp_0;
-      if (this.i39_1.y36()) {
-        var tmp_1 = Companion_getInstance_14().m1w(this.i39_1.w33_1, this.i39_1.v33_1);
-        var tmp_2 = new Long(0, 0);
-        var tmp_3 = new Long(0, 0);
-        var tmp_4 = this.o38();
-        tmp_0 = new StateEnd(tmp_1, this.i39_1.c35(null, null, null, null, null, null, null, null, null, null, null, null, null, null, null, tmp_2, tmp_3, null, null, 0, tmp_4, null, 3145727, null));
+      if (this.b37_1.r34()) {
+        tmp_0 = new StateEnd(Companion_getInstance_14().a1v(this.b37_1.p31_1, this.b37_1.o31_1), this.b37_1.v32(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.h36()));
       } else {
         var tmp$ret$1;
         // Inline function 'kotlin.let' call
-        var tmp0_let = ensureNotNull(this.i39_1.d34_1);
+        var tmp0_let = ensureNotNull(this.b37_1.w31_1);
         // Inline function 'kotlin.contracts.contract' call
         var tmp$ret$0;
         // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateGoalSelection.computeNext.<anonymous>' call
-        var tmp0_choicePoints = this.i39_1.c34_1;
-        var tmp1_flags = this.i39_1.o33_1;
-        var tmp2_dynamicKb = this.i39_1.q33_1;
-        var tmp3_staticKb = this.i39_1.p33_1;
-        var tmp4_substitution = this.i39_1.v33_1.k12(StateGoalSelection$computeNext$lambda(this));
-        var tmp5_goals = tmp0_let.x33_1.tq();
-        var tmp6_procedure = tmp0_let.l33_1;
-        var tmp7_step = this.o38();
-        var tmp8_startTime = this.i39_1.a34_1;
-        var tmp9_operators = this.i39_1.r33_1;
-        var tmp10_inputChannels = this.i39_1.s33_1;
-        var tmp11_outputChannels = this.i39_1.t33_1;
-        var tmp12_libraries = this.i39_1.n33_1;
-        var tmp13_customData = this.i39_1.u33_1;
-        var tmp_5 = new Long(0, 0);
-        tmp$ret$0 = tmp0_let.c35(tmp6_procedure, null, tmp12_libraries, tmp1_flags, tmp3_staticKb, tmp2_dynamicKb, tmp9_operators, tmp10_inputChannels, tmp11_outputChannels, tmp13_customData, tmp4_substitution, null, tmp5_goals, null, null, tmp8_startTime, tmp_5, tmp0_choicePoints, null, 0, tmp7_step, null, 2975746, null);
+        var tmp0_choicePoints = this.b37_1.v31_1;
+        var tmp1_flags = this.b37_1.h31_1;
+        var tmp2_dynamicKb = this.b37_1.j31_1;
+        var tmp3_staticKb = this.b37_1.i31_1;
+        var tmp4_substitution = this.b37_1.o31_1.w10(StateGoalSelection$computeNext$lambda(this));
+        var tmp5_goals = tmp0_let.q31_1.kq();
+        var tmp6_procedure = tmp0_let.e31_1;
+        var tmp7_step = this.h36();
+        var tmp8_startTime = this.b37_1.t31_1;
+        var tmp9_operators = this.b37_1.k31_1;
+        var tmp10_inputChannels = this.b37_1.l31_1;
+        var tmp11_outputChannels = this.b37_1.m31_1;
+        var tmp12_libraries = this.b37_1.g31_1;
+        var tmp13_customData = this.b37_1.n31_1;
+        tmp$ret$0 = tmp0_let.v32(tmp6_procedure, VOID, tmp12_libraries, tmp1_flags, tmp3_staticKb, tmp2_dynamicKb, tmp9_operators, tmp10_inputChannels, tmp11_outputChannels, tmp13_customData, tmp4_substitution, VOID, tmp5_goals, VOID, VOID, tmp8_startTime, VOID, tmp0_choicePoints, VOID, VOID, tmp7_step);
         tmp$ret$1 = tmp$ret$0;
         tmp_0 = new StateGoalSelection(tmp$ret$1);
       }
       tmp = tmp_0;
-    } else if (equals(this.i39_1.o33_1.get(TrackVariables_getInstance()), TrackVariables_getInstance().u29_1)) {
-      var tmp_6 = new Long(0, 0);
-      var tmp_7 = new Long(0, 0);
-      tmp = new StatePrimitiveSelection(this.i39_1.c35(null, null, null, null, null, null, null, null, null, null, null, null, null, null, null, tmp_6, tmp_7, null, null, 0, this.o38(), plus_1(this.i39_1.g34_1, toSet(ensureNotNull(this.i39_1.x33_1.uq()).hw())), 1048575, null));
+    } else if (equals(this.b37_1.h31_1.get(TrackVariables_getInstance()), TrackVariables_getInstance().x27_1)) {
+      tmp = new StatePrimitiveSelection(this.b37_1.v32(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.h36(), plus_1(this.b37_1.z31_1, toSet(ensureNotNull(this.b37_1.q31_1.lq()).yv()))));
     } else {
-      var tmp_8 = new Long(0, 0);
-      var tmp_9 = new Long(0, 0);
-      var tmp_10 = this.o38();
-      tmp = new StatePrimitiveSelection(this.i39_1.c35(null, null, null, null, null, null, null, null, null, null, null, null, null, null, null, tmp_8, tmp_9, null, null, 0, tmp_10, null, 3145727, null));
+      tmp = new StatePrimitiveSelection(this.b37_1.v32(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.h36()));
     }
     return tmp;
   };
-  StateGoalSelection.prototype.k38 = function (context) {
-    return this.t38(context);
+  protoOf(StateGoalSelection).d36 = function (context) {
+    return this.m36(context);
   };
-  StateGoalSelection.prototype.t38 = function (context) {
+  protoOf(StateGoalSelection).m36 = function (context) {
     return new StateGoalSelection(context);
   };
-  StateGoalSelection.prototype.toString = function () {
-    return 'StateGoalSelection(context=' + this.i39_1 + ')';
+  protoOf(StateGoalSelection).toString = function () {
+    return 'StateGoalSelection(context=' + this.b37_1 + ')';
   };
-  StateGoalSelection.prototype.hashCode = function () {
-    return this.i39_1.hashCode();
+  protoOf(StateGoalSelection).hashCode = function () {
+    return this.b37_1.hashCode();
   };
-  StateGoalSelection.prototype.equals = function (other) {
+  protoOf(StateGoalSelection).equals = function (other) {
     if (this === other)
       return true;
     if (!(other instanceof StateGoalSelection))
       return false;
     var tmp0_other_with_cast = other instanceof StateGoalSelection ? other : THROW_CCE();
-    if (!this.i39_1.equals(tmp0_other_with_cast.i39_1))
+    if (!this.b37_1.equals(tmp0_other_with_cast.b37_1))
       return false;
     return true;
   };
   function StateHalt(exception, context) {
-    AbstractEndState.call(this, Companion_getInstance_14().halt(context.w33_1, exception), context);
-    this.n39_1 = exception;
-    this.o39_1 = context;
+    AbstractEndState.call(this, Companion_getInstance_14().halt(context.p31_1, exception), context);
+    this.g37_1 = exception;
+    this.h37_1 = context;
   }
-  StateHalt.prototype.j5 = function () {
-    return this.o39_1;
+  protoOf(StateHalt).n5 = function () {
+    return this.h37_1;
   };
-  StateHalt.prototype.k38 = function (context) {
-    return this.f39(this.n39_1, context);
+  protoOf(StateHalt).d36 = function (context) {
+    return this.y36(this.g37_1, context);
   };
-  StateHalt.prototype.f39 = function (exception, context) {
+  protoOf(StateHalt).y36 = function (exception, context) {
     return new StateHalt(exception, context);
   };
-  StateHalt.prototype.toString = function () {
-    return 'StateHalt(exception=' + this.n39_1 + ', context=' + this.o39_1 + ')';
+  protoOf(StateHalt).toString = function () {
+    return 'StateHalt(exception=' + this.g37_1 + ', context=' + this.h37_1 + ')';
   };
-  StateHalt.prototype.hashCode = function () {
-    var result = hashCode(this.n39_1);
-    result = imul(result, 31) + this.o39_1.hashCode() | 0;
+  protoOf(StateHalt).hashCode = function () {
+    var result = hashCode(this.g37_1);
+    result = imul(result, 31) + this.h37_1.hashCode() | 0;
     return result;
   };
-  StateHalt.prototype.equals = function (other) {
+  protoOf(StateHalt).equals = function (other) {
     if (this === other)
       return true;
     if (!(other instanceof StateHalt))
       return false;
     var tmp0_other_with_cast = other instanceof StateHalt ? other : THROW_CCE();
-    if (!equals(this.n39_1, tmp0_other_with_cast.n39_1))
+    if (!equals(this.g37_1, tmp0_other_with_cast.g37_1))
       return false;
-    if (!this.o39_1.equals(tmp0_other_with_cast.o39_1))
+    if (!this.h37_1.equals(tmp0_other_with_cast.h37_1))
       return false;
     return true;
   };
-  StateHalt.prototype.asEndState = function () {
-    return this.h38();
+  protoOf(StateHalt).asEndState = function () {
+    return this.a36();
   };
   function StateInit(context) {
     AbstractState.call(this, context);
-    this.r39_1 = context;
-  }
-  StateInit.prototype.j5 = function () {
-    return this.r39_1;
-  };
-  StateInit.prototype.f38 = function () {
-    var tmp0_$this = this.r39_1;
-    var tmp1_goals = toGoals(this.r39_1.w33_1);
-    var tmp2_rules = Companion_getInstance_9().empty();
-    var tmp3_primitives = Companion_getInstance_9().empty();
-    var tmp4_substitution = Companion_getInstance_7().empty();
-    var tmp5_customData = this.r39_1.u33_1.preservePersistent();
+    this.k37_1 = context;
+  }
+  protoOf(StateInit).n5 = function () {
+    return this.k37_1;
+  };
+  protoOf(StateInit).y35 = function () {
+    var tmp0_$this = this.k37_1;
+    var tmp1_goals = toGoals(this.k37_1.p31_1);
+    var tmp2_rules = Companion_getInstance_12().empty();
+    var tmp3_primitives = Companion_getInstance_12().empty();
+    var tmp4_substitution = Companion_getInstance_10().empty();
+    var tmp5_customData = this.k37_1.n31_1.preservePersistent();
     var tmp6_relevantVariables = emptySet();
-    var tmp = new Long(0, 0);
-    return new StateGoalSelection(appendRulesAndChoicePoints(tmp0_$this.c35(null, null, null, null, null, null, null, null, null, tmp5_customData, tmp4_substitution, null, tmp1_goals, tmp2_rules, tmp3_primitives, tmp, new Long(0, 0), null, null, 0, new Long(1, 0), tmp6_relevantVariables, 100863, null), Companion_getInstance_9().empty()));
+    return new StateGoalSelection(appendRulesAndChoicePoints(tmp0_$this.v32(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, tmp5_customData, tmp4_substitution, VOID, tmp1_goals, tmp2_rules, tmp3_primitives, VOID, VOID, null, null, 0, new Long(1, 0), tmp6_relevantVariables), Companion_getInstance_12().empty()));
   };
-  StateInit.prototype.k38 = function (context) {
-    return this.t38(context);
+  protoOf(StateInit).d36 = function (context) {
+    return this.m36(context);
   };
-  StateInit.prototype.t38 = function (context) {
+  protoOf(StateInit).m36 = function (context) {
     return new StateInit(context);
   };
-  StateInit.prototype.toString = function () {
-    return 'StateInit(context=' + this.r39_1 + ')';
+  protoOf(StateInit).toString = function () {
+    return 'StateInit(context=' + this.k37_1 + ')';
   };
-  StateInit.prototype.hashCode = function () {
-    return this.r39_1.hashCode();
+  protoOf(StateInit).hashCode = function () {
+    return this.k37_1.hashCode();
   };
-  StateInit.prototype.equals = function (other) {
+  protoOf(StateInit).equals = function (other) {
     if (this === other)
       return true;
     if (!(other instanceof StateInit))
       return false;
     var tmp0_other_with_cast = other instanceof StateInit ? other : THROW_CCE();
-    if (!this.r39_1.equals(tmp0_other_with_cast.r39_1))
+    if (!this.k37_1.equals(tmp0_other_with_cast.k37_1))
       return false;
     return true;
   };
   function copyFromCurrentPrimitive(_this__u8e3s4, $this, goals, procedureFromAncestor, substitution) {
-    var tmp0_safe_receiver = _this__u8e3s4.z33_1.uq();
+    var tmp0_safe_receiver = _this__u8e3s4.s31_1.lq();
     var tmp;
     if (tmp0_safe_receiver == null) {
       tmp = null;
@@ -2196,52 +1990,45 @@
       // Inline function 'kotlin.contracts.contract' call
       var tmp$ret$0;
       // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StatePrimitiveExecution.copyFromCurrentPrimitive.<anonymous>' call
-      tmp$ret$0 = _this__u8e3s4.c37(tmp0_safe_receiver.sideEffects);
+      tmp$ret$0 = _this__u8e3s4.v34(tmp0_safe_receiver.sideEffects);
       tmp$ret$1 = tmp$ret$0;
       tmp = tmp$ret$1;
     }
     var tmp1_elvis_lhs = tmp;
     var ctx = tmp1_elvis_lhs == null ? _this__u8e3s4 : tmp1_elvis_lhs;
     var tmp3_elvis_lhs = goals;
-    var tmp4_goals = tmp3_elvis_lhs == null ? _this__u8e3s4.x33_1 : tmp3_elvis_lhs;
-    var tmp_0 = drop(_this__u8e3s4.h34_1, procedureFromAncestor);
+    var tmp4_goals = tmp3_elvis_lhs == null ? _this__u8e3s4.q31_1 : tmp3_elvis_lhs;
+    var tmp_0 = drop(_this__u8e3s4.a32_1, procedureFromAncestor);
     var tmp5_procedure = first(map(tmp_0, StatePrimitiveExecution$copyFromCurrentPrimitive$lambda));
-    var tmp6_primitives = Companion_getInstance_9().empty();
+    var tmp6_primitives = Companion_getInstance_12().empty();
     var tmp2_elvis_lhs = substitution;
-    var tmp_1 = tmp2_elvis_lhs == null ? _this__u8e3s4.v33_1 : tmp2_elvis_lhs;
+    var tmp_1 = tmp2_elvis_lhs == null ? _this__u8e3s4.o31_1 : tmp2_elvis_lhs;
     var tmp7_substitution = isInterface(tmp_1, Unifier) ? tmp_1 : THROW_CCE();
-    var tmp8_step = $this.o38();
-    var tmp_2 = new Long(0, 0);
-    var tmp_3 = new Long(0, 0);
-    return ctx.c35(tmp5_procedure, null, null, null, null, null, null, null, null, null, tmp7_substitution, null, tmp4_goals, null, tmp6_primitives, tmp_2, tmp_3, null, null, 0, tmp8_step, null, 3124222, null);
-  }
-  function copyFromCurrentPrimitive$default(_this__u8e3s4, $this, goals, procedureFromAncestor, substitution, $mask0, $handler) {
-    if (!(($mask0 & 2) === 0))
-      goals = null;
-    if (!(($mask0 & 4) === 0))
-      procedureFromAncestor = 0;
-    if (!(($mask0 & 8) === 0))
-      substitution = null;
+    var tmp8_step = $this.h36();
+    return ctx.v32(tmp5_procedure, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, tmp7_substitution, VOID, tmp4_goals, VOID, tmp6_primitives, VOID, VOID, VOID, VOID, VOID, tmp8_step);
+  }
+  function copyFromCurrentPrimitive$default(_this__u8e3s4, $this, goals, procedureFromAncestor, substitution, $super) {
+    goals = goals === VOID ? null : goals;
+    procedureFromAncestor = procedureFromAncestor === VOID ? 0 : procedureFromAncestor;
+    substitution = substitution === VOID ? null : substitution;
     return copyFromCurrentPrimitive(_this__u8e3s4, $this, goals, procedureFromAncestor, substitution);
   }
   function StatePrimitiveExecution$copyFromCurrentPrimitive$lambda(it) {
-    return it.l33_1;
+    return it.e31_1;
   }
   function StatePrimitiveExecution$computeNext$lambda(this$0) {
     return function (it) {
-      return new StateGoalSelection(copyFromCurrentPrimitive(this$0.u39_1, this$0, this$0.u39_1.x33_1.tq(), 1, this$0.u39_1.m33_1.mergeWithOccurCheck(this$0.u39_1.v33_1, it.r1u(), false)));
+      return new StateGoalSelection(copyFromCurrentPrimitive(this$0.n37_1, this$0, this$0.n37_1.q31_1.kq(), 1, this$0.n37_1.f31_1.mergeWithOccurCheck(this$0.n37_1.o31_1, it.r1t(), false)));
     };
   }
   function StatePrimitiveExecution$computeNext$lambda_0(this$0) {
     return function (it) {
-      var tmp = ensureNotNull(this$0.u39_1.d34_1);
-      return new StateBacktracking(copyFromCurrentPrimitive$default(tmp, this$0, null, 0, null, 14, null));
+      return new StateBacktracking(copyFromCurrentPrimitive$default(ensureNotNull(this$0.n37_1.w31_1), this$0));
     };
   }
   function StatePrimitiveExecution$computeNext$lambda_1(this$0) {
     return function (it) {
-      var tmp = it.c1w().updateLastContext(this$0.p38(this$0.u39_1));
-      return new StateException(tmp, copyFromCurrentPrimitive$default(this$0.u39_1, this$0, null, 0, null, 14, null));
+      return new StateException(it.y1u().updateLastContext(this$0.i36(this$0.n37_1)), copyFromCurrentPrimitive$default(this$0.n37_1, this$0));
     };
   }
   function StatePrimitiveExecution$computeNext$lambda_2(it) {
@@ -2249,15 +2036,15 @@
   }
   function StatePrimitiveExecution(context) {
     AbstractState.call(this, context);
-    this.u39_1 = context;
+    this.n37_1 = context;
   }
-  StatePrimitiveExecution.prototype.j5 = function () {
-    return this.u39_1;
+  protoOf(StatePrimitiveExecution).n5 = function () {
+    return this.n37_1;
   };
-  StatePrimitiveExecution.prototype.f38 = function () {
+  protoOf(StatePrimitiveExecution).y35 = function () {
     var tmp;
     try {
-      var tmp0_safe_receiver = this.u39_1.z33_1.uq();
+      var tmp0_safe_receiver = this.n37_1.s31_1.lq();
       var tmp1_safe_receiver = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.solution;
       var tmp_0;
       if (tmp1_safe_receiver == null) {
@@ -2266,87 +2053,75 @@
         var tmp_1 = StatePrimitiveExecution$computeNext$lambda(this);
         var tmp_2 = StatePrimitiveExecution$computeNext$lambda_0(this);
         var tmp_3 = StatePrimitiveExecution$computeNext$lambda_1(this);
-        tmp_0 = tmp1_safe_receiver.g1w(tmp_1, tmp_2, tmp_3, StatePrimitiveExecution$computeNext$lambda_2);
+        tmp_0 = tmp1_safe_receiver.f1v(tmp_1, tmp_2, tmp_3, StatePrimitiveExecution$computeNext$lambda_2);
       }
       var tmp2_elvis_lhs = tmp_0;
-      var tmp_4;
-      if (tmp2_elvis_lhs == null) {
-        tmp_4 = new StateBacktracking(copyFromCurrentPrimitive$default(this.u39_1, this, null, 0, null, 14, null));
-      } else {
-        tmp_4 = tmp2_elvis_lhs;
-      }
-      tmp = tmp_4;
+      tmp = tmp2_elvis_lhs == null ? new StateBacktracking(copyFromCurrentPrimitive$default(this.n37_1, this)) : tmp2_elvis_lhs;
     } catch ($p) {
-      var tmp_5;
+      var tmp_4;
       if ($p instanceof ResolutionException) {
-        var tmp_6 = $p.updateLastContext(this.p38(this.u39_1));
-        var tmp_7 = new Long(0, 0);
-        var tmp_8 = new Long(0, 0);
-        var tmp_9 = this.o38();
-        tmp_5 = new StateException(tmp_6, this.u39_1.c35(null, null, null, null, null, null, null, null, null, null, null, null, null, null, null, tmp_7, tmp_8, null, null, 0, tmp_9, null, 3145727, null));
+        var exception = $p;
+        tmp_4 = new StateException(exception.updateLastContext(this.i36(this.n37_1)), this.n37_1.v32(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.h36()));
       } else {
         throw $p;
       }
-      tmp = tmp_5;
+      tmp = tmp_4;
     }
     return tmp;
   };
-  StatePrimitiveExecution.prototype.k38 = function (context) {
-    return this.t38(context);
+  protoOf(StatePrimitiveExecution).d36 = function (context) {
+    return this.m36(context);
   };
-  StatePrimitiveExecution.prototype.t38 = function (context) {
+  protoOf(StatePrimitiveExecution).m36 = function (context) {
     return new StatePrimitiveExecution(context);
   };
-  StatePrimitiveExecution.prototype.toString = function () {
-    return 'StatePrimitiveExecution(context=' + this.u39_1 + ')';
+  protoOf(StatePrimitiveExecution).toString = function () {
+    return 'StatePrimitiveExecution(context=' + this.n37_1 + ')';
   };
-  StatePrimitiveExecution.prototype.hashCode = function () {
-    return this.u39_1.hashCode();
+  protoOf(StatePrimitiveExecution).hashCode = function () {
+    return this.n37_1.hashCode();
   };
-  StatePrimitiveExecution.prototype.equals = function (other) {
+  protoOf(StatePrimitiveExecution).equals = function (other) {
     if (this === other)
       return true;
     if (!(other instanceof StatePrimitiveExecution))
       return false;
     var tmp0_other_with_cast = other instanceof StatePrimitiveExecution ? other : THROW_CCE();
-    if (!this.u39_1.equals(tmp0_other_with_cast.u39_1))
+    if (!this.n37_1.equals(tmp0_other_with_cast.n37_1))
       return false;
     return true;
   };
   function exceptionalState($this, exception) {
-    var tmp = new Long(0, 0);
-    var tmp_0 = new Long(0, 0);
-    var tmp_1 = $this.o38();
-    return new StateException(exception, $this.x39_1.c35(null, null, null, null, null, null, null, null, null, null, null, null, null, null, null, tmp, tmp_0, null, null, 0, tmp_1, null, 3145727, null));
+    return new StateException(exception, $this.q37_1.v32(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.h36()));
   }
   function StatePrimitiveSelection(context) {
     AbstractState.call(this, context);
-    this.x39_1 = context;
+    this.q37_1 = context;
   }
-  StatePrimitiveSelection.prototype.j5 = function () {
-    return this.x39_1;
+  protoOf(StatePrimitiveSelection).n5 = function () {
+    return this.q37_1;
   };
-  StatePrimitiveSelection.prototype.f38 = function () {
+  protoOf(StatePrimitiveSelection).y35 = function () {
     var tmp$ret$1;
     // Inline function 'kotlin.with' call
-    var tmp0_with = this.x39_1;
+    var tmp0_with = this.q37_1;
     // Inline function 'kotlin.contracts.contract' call
     var tmp$ret$0;
     // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StatePrimitiveSelection.computeNext.<anonymous>' call
-    var goal = ensureNotNull(tmp0_with.z36());
+    var goal = ensureNotNull(tmp0_with.s34());
     var tmp;
-    if (goal.bx()) {
-      tmp = exceptionalState(this, Companion_getInstance_17().forGoal(this.x39_1, extractSignature(ensureNotNull(this.x39_1.l33_1)), goal.castToVar()));
-    } else if (goal.lw()) {
+    if (goal.mw()) {
+      tmp = exceptionalState(this, Companion_getInstance_17().forGoal(this.q37_1, extractSignature(ensureNotNull(this.q37_1.e31_1)), goal.castToVar()));
+    } else if (goal.aw()) {
       var goalStruct = goal.castToStruct();
       var signature = extractSignature(goalStruct);
       var tmp_0;
-      if (tmp0_with.n33_1.hasPrimitive(signature)) {
-        var childContext = createChild$default(tmp0_with, false, 1, null);
+      if (tmp0_with.g31_1.hasPrimitive(signature)) {
+        var childContext = createChild(tmp0_with);
         var tmp_1;
         try {
-          var request = toRequest(childContext, goalStruct, signature, this.l38());
-          var tmp0_elvis_lhs = tmp0_with.n33_1.n2e().a3(signature);
+          var request = toRequest(childContext, goalStruct, signature, this.e36());
+          var tmp0_elvis_lhs = tmp0_with.g31_1.p2c().f3(signature);
           var tmp_2;
           if (tmp0_elvis_lhs == null) {
             throw IllegalStateException_init_$Create$('Inconsistent behaviour of Library.contains and Library.get');
@@ -2359,7 +2134,8 @@
         } catch ($p) {
           var tmp_3;
           if ($p instanceof ResolutionException) {
-            tmp_3 = exceptionalState(this, $p.updateLastContext(this.p38(childContext)));
+            var exception = $p;
+            tmp_3 = exceptionalState(this, exception.updateLastContext(this.i36(childContext)));
           } else {
             throw $p;
           }
@@ -2367,125 +2143,110 @@
         }
         tmp_0 = tmp_1;
       } else {
-        var tmp_4 = new Long(0, 0);
-        var tmp_5 = new Long(0, 0);
-        var tmp_6 = this.o38();
-        tmp_0 = new StateRuleSelection(this.x39_1.c35(null, null, null, null, null, null, null, null, null, null, null, null, null, null, null, tmp_4, tmp_5, null, null, 0, tmp_6, null, 3145727, null));
+        tmp_0 = new StateRuleSelection(this.q37_1.v32(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.h36()));
       }
       tmp = tmp_0;
     } else {
-      var tmp_7 = Companion_getInstance_16();
-      var tmp1_safe_receiver = this.x39_1.l33_1;
+      var tmp_4 = Companion_getInstance_16();
+      var tmp1_safe_receiver = this.q37_1.e31_1;
       var tmp2_elvis_lhs = tmp1_safe_receiver == null ? null : extractSignature(tmp1_safe_receiver);
-      var tmp_8;
-      if (tmp2_elvis_lhs == null) {
-        tmp_8 = Signature_init_$Create$('?-', 1, false, 4, null);
-      } else {
-        tmp_8 = tmp2_elvis_lhs;
-      }
-      tmp = exceptionalState(this, tmp_7.forGoal(this.x39_1, tmp_8, Expected_CALLABLE_getInstance(), goal));
+      tmp = exceptionalState(this, tmp_4.forGoal(this.q37_1, tmp2_elvis_lhs == null ? new Signature('?-', 1) : tmp2_elvis_lhs, Expected_CALLABLE_getInstance(), goal));
     }
     tmp$ret$0 = tmp;
     tmp$ret$1 = tmp$ret$0;
     return tmp$ret$1;
   };
-  StatePrimitiveSelection.prototype.k38 = function (context) {
-    return this.t38(context);
+  protoOf(StatePrimitiveSelection).d36 = function (context) {
+    return this.m36(context);
   };
-  StatePrimitiveSelection.prototype.t38 = function (context) {
+  protoOf(StatePrimitiveSelection).m36 = function (context) {
     return new StatePrimitiveSelection(context);
   };
-  StatePrimitiveSelection.prototype.toString = function () {
-    return 'StatePrimitiveSelection(context=' + this.x39_1 + ')';
+  protoOf(StatePrimitiveSelection).toString = function () {
+    return 'StatePrimitiveSelection(context=' + this.q37_1 + ')';
   };
-  StatePrimitiveSelection.prototype.hashCode = function () {
-    return this.x39_1.hashCode();
+  protoOf(StatePrimitiveSelection).hashCode = function () {
+    return this.q37_1.hashCode();
   };
-  StatePrimitiveSelection.prototype.equals = function (other) {
+  protoOf(StatePrimitiveSelection).equals = function (other) {
     if (this === other)
       return true;
     if (!(other instanceof StatePrimitiveSelection))
       return false;
     var tmp0_other_with_cast = other instanceof StatePrimitiveSelection ? other : THROW_CCE();
-    if (!this.x39_1.equals(tmp0_other_with_cast.x39_1))
+    if (!this.q37_1.equals(tmp0_other_with_cast.q37_1))
       return false;
     return true;
   };
   function _get_failureState__yid9tw($this) {
-    var tmp = Companion_getInstance_9().empty();
-    var tmp_0 = new Long(0, 0);
-    var tmp_1 = new Long(0, 0);
-    var tmp_2 = $this.o38();
-    return new StateBacktracking($this.a3a_1.c35(null, null, null, null, null, null, null, null, null, null, null, null, null, tmp, null, tmp_0, tmp_1, null, null, 0, tmp_2, null, 3137535, null));
+    return new StateBacktracking($this.t37_1.v32(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, Companion_getInstance_12().empty(), VOID, VOID, VOID, VOID, VOID, VOID, $this.h36()));
   }
   function StateRuleExecution(context) {
     AbstractState.call(this, context);
-    this.a3a_1 = context;
+    this.t37_1 = context;
   }
-  StateRuleExecution.prototype.j5 = function () {
-    return this.a3a_1;
+  protoOf(StateRuleExecution).n5 = function () {
+    return this.t37_1;
   };
-  StateRuleExecution.prototype.f38 = function () {
+  protoOf(StateRuleExecution).y35 = function () {
     var tmp$ret$1;
     // Inline function 'kotlin.with' call
-    var tmp0_with = this.a3a_1;
+    var tmp0_with = this.t37_1;
     // Inline function 'kotlin.contracts.contract' call
     var tmp$ret$0;
     // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateRuleExecution.computeNext.<anonymous>' call
-    tmp$ret$0 = tmp0_with.m33_1.mgu(ensureNotNull(tmp0_with.z36()), ensureNotNull(tmp0_with.y33_1.uq()).ly());
+    tmp$ret$0 = tmp0_with.f31_1.mgu(ensureNotNull(tmp0_with.s34()), ensureNotNull(tmp0_with.r31_1.lq()).sx());
     tmp$ret$1 = tmp$ret$0;
     var substitution = tmp$ret$1;
     var tmp;
-    if (substitution.q12()) {
-      var newSubstitution = this.a3a_1.v33_1.plus(substitution).castToUnifier();
-      var subGoals = prepareForExecutionWithUnifier(ensureNotNull(this.a3a_1.y33_1.uq()), newSubstitution).my().getSubstituted(newSubstitution, []);
-      var tmp0_$this = this.a3a_1;
+    if (substitution.g11()) {
+      var newSubstitution = this.t37_1.o31_1.plus(substitution).castToUnifier();
+      var subGoals = prepareForExecutionWithUnifier(ensureNotNull(this.t37_1.r31_1.lq()), newSubstitution).tx().getSubstituted(newSubstitution, []);
+      var tmp0_$this = this.t37_1;
       var tmp1_goals = toGoals(subGoals);
-      var tmp2_rules = Companion_getInstance_9().empty();
-      var tmp3_step = this.o38();
-      var tmp_0 = new Long(0, 0);
-      var tmp_1 = new Long(0, 0);
-      tmp = new StateGoalSelection(tmp0_$this.c35(null, null, null, null, null, null, null, null, null, null, newSubstitution, null, tmp1_goals, tmp2_rules, null, tmp_0, tmp_1, null, null, 0, tmp3_step, null, 3132415, null));
+      var tmp2_rules = Companion_getInstance_12().empty();
+      var tmp3_step = this.h36();
+      tmp = new StateGoalSelection(tmp0_$this.v32(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, newSubstitution, VOID, tmp1_goals, tmp2_rules, VOID, VOID, VOID, VOID, VOID, VOID, tmp3_step));
     } else {
       tmp = _get_failureState__yid9tw(this);
     }
     return tmp;
   };
-  StateRuleExecution.prototype.k38 = function (context) {
-    return this.t38(context);
+  protoOf(StateRuleExecution).d36 = function (context) {
+    return this.m36(context);
   };
-  StateRuleExecution.prototype.t38 = function (context) {
+  protoOf(StateRuleExecution).m36 = function (context) {
     return new StateRuleExecution(context);
   };
-  StateRuleExecution.prototype.toString = function () {
-    return 'StateRuleExecution(context=' + this.a3a_1 + ')';
+  protoOf(StateRuleExecution).toString = function () {
+    return 'StateRuleExecution(context=' + this.t37_1 + ')';
   };
-  StateRuleExecution.prototype.hashCode = function () {
-    return this.a3a_1.hashCode();
+  protoOf(StateRuleExecution).hashCode = function () {
+    return this.t37_1.hashCode();
   };
-  StateRuleExecution.prototype.equals = function (other) {
+  protoOf(StateRuleExecution).equals = function (other) {
     if (this === other)
       return true;
     if (!(other instanceof StateRuleExecution))
       return false;
     var tmp0_other_with_cast = other instanceof StateRuleExecution ? other : THROW_CCE();
-    if (!this.a3a_1.equals(tmp0_other_with_cast.a3a_1))
+    if (!this.t37_1.equals(tmp0_other_with_cast.t37_1))
       return false;
     return true;
   };
   function None() {
     None_instance = this;
     CutLimit.call(this);
-    this.b3a_1 = -1;
-    this.c3a_1 = null;
+    this.u37_1 = -1;
+    this.v37_1 = null;
   }
-  None.prototype.d3a = function () {
-    return this.b3a_1;
+  protoOf(None).w37 = function () {
+    return this.u37_1;
   };
-  None.prototype.q1u = function () {
-    return this.c3a_1;
+  protoOf(None).q1t = function () {
+    return this.v37_1;
   };
-  None.prototype.e3a = function () {
+  protoOf(None).x37 = function () {
     return true;
   };
   var None_instance;
@@ -2496,27 +2257,24 @@
   }
   function Actual(depthToCut, procedure) {
     CutLimit.call(this);
-    this.f3a_1 = depthToCut;
-    this.g3a_1 = procedure;
+    this.y37_1 = depthToCut;
+    this.z37_1 = procedure;
   }
-  Actual.prototype.d3a = function () {
-    return this.f3a_1;
+  protoOf(Actual).w37 = function () {
+    return this.y37_1;
   };
-  Actual.prototype.q1u = function () {
-    return this.g3a_1;
+  protoOf(Actual).q1t = function () {
+    return this.z37_1;
   };
   function CutLimit() {
   }
-  CutLimit.prototype.e3a = function () {
+  protoOf(CutLimit).x37 = function () {
     return false;
   };
   function Companion_0() {
     Companion_instance_0 = this;
-    this.h3a_1 = Catch_getInstance().signature;
-    var tmp = this;
-    var tmp_0 = Signature_init_$Create$(',', 2, false, 4, null);
-    var tmp_1 = Signature_init_$Create$(';', 2, false, 4, null);
-    tmp.i3a_1 = setOf([tmp_0, tmp_1, Signature_init_$Create$('->', 2, false, 4, null)]);
+    this.a38_1 = Catch_getInstance().signature;
+    this.b38_1 = setOf([new Signature(',', 2), new Signature(';', 2), new Signature('->', 2)]);
   }
   var Companion_instance_0;
   function Companion_getInstance_23() {
@@ -2525,21 +2283,15 @@
     return Companion_instance_0;
   }
   function _get_failureState__yid9tw_0($this) {
-    var tmp = new Long(0, 0);
-    var tmp_0 = new Long(0, 0);
-    var tmp_1 = $this.o38();
-    return new StateBacktracking($this.l3a_1.c35(null, null, null, null, null, null, null, null, null, null, null, null, null, null, null, tmp, tmp_0, null, null, 0, tmp_1, null, 3145727, null));
+    return new StateBacktracking($this.e38_1.v32(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.h36()));
   }
   function exceptionalState_0($this, exception) {
-    var tmp = new Long(0, 0);
-    var tmp_0 = new Long(0, 0);
-    var tmp_1 = $this.o38();
-    return new StateException(exception, $this.l3a_1.c35(null, null, null, null, null, null, null, null, null, null, null, null, null, null, null, tmp, tmp_0, null, null, 0, tmp_1, null, 3145727, null));
+    return new StateException(exception, $this.e38_1.v32(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.h36()));
   }
   function missingProcedure($this, ruleSources, missing) {
-    var unknown = $this.l3a_1.o33_1.get(Unknown_getInstance());
+    var unknown = $this.e38_1.h31_1.get(Unknown_getInstance());
     var tmp;
-    if (equals(unknown, Unknown_getInstance().a2a_1)) {
+    if (equals(unknown, Unknown_getInstance().d28_1)) {
       tmp = _get_failureState__yid9tw_0($this);
     } else {
       var tmp_0;
@@ -2548,7 +2300,7 @@
         // Inline function 'kotlin.sequences.none' call
         var tmp0_iterator = ruleSources.j();
         while (tmp0_iterator.m()) {
-          var element = tmp0_iterator.p();
+          var element = tmp0_iterator.n();
           var tmp$ret$0;
           // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateRuleSelection.missingProcedure.<anonymous>' call
           tmp$ret$0 = element.containsIndicator(missing.toIndicator());
@@ -2562,15 +2314,15 @@
       if (tmp$ret$1) {
         var tmp0_subject = unknown;
         var tmp_1;
-        if (equals(tmp0_subject, Unknown_getInstance().y29_1)) {
-          tmp_1 = exceptionalState_0($this, Companion_getInstance_18().forProcedure($this.l3a_1, missing));
-        } else if (equals(tmp0_subject, Unknown_getInstance().z29_1)) {
+        if (equals(tmp0_subject, Unknown_getInstance().b28_1)) {
+          tmp_1 = exceptionalState_0($this, Companion_getInstance_18().forProcedure($this.e38_1, missing));
+        } else if (equals(tmp0_subject, Unknown_getInstance().c28_1)) {
           var tmp$ret$2;
           // Inline function 'kotlin.also' call
           var tmp0_also = _get_failureState__yid9tw_0($this);
           // Inline function 'kotlin.contracts.contract' call
           // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateRuleSelection.missingProcedure.<anonymous>' call
-          $this.l3a_1.o1v().write(MissingPredicate_init_$Create$($this.l3a_1, missing));
+          $this.e38_1.l1u().write(MissingPredicate_init_$Create$($this.e38_1, missing));
           tmp$ret$2 = tmp0_also;
           tmp_1 = tmp$ret$2;
         } else {
@@ -2585,31 +2337,27 @@
     return tmp;
   }
   function _get_ignoreState__t4wl8y($this) {
-    var tmp = $this.l3a_1.x33_1.tq();
-    var tmp_0 = new Long(0, 0);
-    var tmp_1 = new Long(0, 0);
-    var tmp_2 = $this.o38();
-    return new StateGoalSelection($this.l3a_1.c35(null, null, null, null, null, null, null, null, null, null, null, null, tmp, null, null, tmp_0, tmp_1, null, null, 0, tmp_2, null, 3141631, null));
+    return new StateGoalSelection($this.e38_1.v32(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.e38_1.q31_1.kq(), VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.h36()));
   }
   function isCut(_this__u8e3s4, $this) {
-    return _this__u8e3s4.aw() ? _this__u8e3s4.castToAtom().b1() === '!' : false;
+    return _this__u8e3s4.rv() ? _this__u8e3s4.castToAtom().b1() === '!' : false;
   }
   function computeCutLimit(_this__u8e3s4, $this, magicCut) {
     var tmp;
     if (magicCut) {
-      tmp = firstOrNull(_this__u8e3s4.h34_1);
+      tmp = firstOrNull(_this__u8e3s4.a32_1);
     } else {
       var tmp$ret$1;
       $l$block: {
         // Inline function 'kotlin.sequences.firstOrNull' call
-        var tmp0_firstOrNull = _this__u8e3s4.h34_1;
+        var tmp0_firstOrNull = _this__u8e3s4.a32_1;
         var tmp0_iterator = tmp0_firstOrNull.j();
         while (tmp0_iterator.m()) {
-          var element = tmp0_iterator.p();
+          var element = tmp0_iterator.n();
           var tmp$ret$0;
           // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateRuleSelection.computeCutLimit.<anonymous>' call
-          var tmp_0 = Companion_getInstance_23().i3a_1;
-          var tmp0_safe_receiver = element.l33_1;
+          var tmp_0 = Companion_getInstance_23().b38_1;
+          var tmp0_safe_receiver = element.e31_1;
           tmp$ret$0 = !contains_0(tmp_0, tmp0_safe_receiver == null ? null : extractSignature(tmp0_safe_receiver));
           if (tmp$ret$0) {
             tmp$ret$1 = element;
@@ -2625,21 +2373,21 @@
     if (cutLimit == null) {
       tmp_1 = None_getInstance();
     } else {
-      tmp_1 = new Actual(cutLimit.e34_1, cutLimit.l33_1);
+      tmp_1 = new Actual(cutLimit.x31_1, cutLimit.e31_1);
     }
     return tmp_1;
   }
   function cutCanBeSkipped($this, cutLimit, executionContext) {
-    return (cutLimit.e3a() ? true : cutLimit.d3a() > executionContext.e34_1) ? true : cutLimit.d3a() === executionContext.e34_1 ? !equals(cutLimit.q1u(), executionContext.l33_1) : false;
+    return (cutLimit.x37() ? true : cutLimit.w37() > executionContext.x31_1) ? true : cutLimit.w37() === executionContext.x31_1 ? !equals(cutLimit.q1t(), executionContext.e31_1) : false;
   }
   function performCut(_this__u8e3s4, $this, cutLimit) {
     var tmp;
     if (_this__u8e3s4 === null) {
       tmp = null;
-    } else if (cutCanBeSkipped($this, cutLimit, ensureNotNull(_this__u8e3s4.x34()))) {
+    } else if (cutCanBeSkipped($this, cutLimit, ensureNotNull(_this__u8e3s4.q32()))) {
       tmp = _this__u8e3s4;
     } else {
-      var tmp_0 = _this__u8e3s4.k35();
+      var tmp_0 = _this__u8e3s4.d33();
       var cutCandidates = filter(tmp_0, StateRuleSelection$performCut$lambda(cutLimit));
       var tmp_1;
       if (any(cutCandidates)) {
@@ -2648,10 +2396,10 @@
           // Inline function 'kotlin.sequences.firstOrNull' call
           var tmp0_iterator = cutCandidates.j();
           while (tmp0_iterator.m()) {
-            var element = tmp0_iterator.p();
+            var element = tmp0_iterator.n();
             var tmp$ret$0;
             // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateRuleSelection.performCut.<anonymous>' call
-            tmp$ret$0 = ensureNotNull(element.x34()).e34_1 <= cutLimit.d3a();
+            tmp$ret$0 = ensureNotNull(element.q32()).x31_1 <= cutLimit.w37();
             if (tmp$ret$0) {
               tmp$ret$1 = element;
               break $l$block;
@@ -2660,7 +2408,7 @@
           tmp$ret$1 = null;
         }
         var tmp0_safe_receiver = tmp$ret$1;
-        tmp_1 = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.y34();
+        tmp_1 = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.r32();
       } else {
         tmp_1 = _this__u8e3s4;
       }
@@ -2670,10 +2418,10 @@
   }
   function _get_isTailRecursive__h5eso7(_this__u8e3s4, $this) {
     var tmp;
-    if (_this__u8e3s4.x33_1.tq().wq() ? equals(_this__u8e3s4.o33_1.get(LastCallOptimization_getInstance()), LastCallOptimization_getInstance().n29_1) : false) {
+    if (_this__u8e3s4.q31_1.kq().nq() ? equals(_this__u8e3s4.h31_1.get(LastCallOptimization_getInstance()), LastCallOptimization_getInstance().q27_1) : false) {
       var tmp$ret$3;
       // Inline function 'kotlin.let' call
-      var tmp0_let = ensureNotNull(_this__u8e3s4.z36());
+      var tmp0_let = ensureNotNull(_this__u8e3s4.s34());
       // Inline function 'kotlin.contracts.contract' call
       var tmp$ret$2;
       // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateRuleSelection.<get-isTailRecursive>.<anonymous>' call
@@ -2689,9 +2437,9 @@
         var tmp$ret$0;
         // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateRuleSelection.<get-isTailRecursive>.<anonymous>.<anonymous>' call
         var tmp_1;
-        var tmp0_safe_receiver_0 = _this__u8e3s4.l33_1;
+        var tmp0_safe_receiver_0 = _this__u8e3s4.e31_1;
         if (equals(tmp1_safe_receiver, tmp0_safe_receiver_0 == null ? null : extractSignature(tmp0_safe_receiver_0))) {
-          tmp_1 = !equals(tmp1_safe_receiver, Companion_getInstance_23().h3a_1);
+          tmp_1 = !equals(tmp1_safe_receiver, Companion_getInstance_23().a38_1);
         } else {
           tmp_1 = false;
         }
@@ -2717,7 +2465,7 @@
     var tmp$ret$0;
     // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateRuleSelection.selectClauses.<anonymous>' call
     var tmp_0;
-    if (_this__u8e3s4.a1t()) {
+    if (_this__u8e3s4.a1s()) {
       tmp_0 = buffered(tmp0_let);
     } else {
       tmp_0 = tmp0_let;
@@ -2728,7 +2476,7 @@
   }
   function StateRuleSelection$performCut$lambda($cutLimit) {
     return function (it) {
-      return equals(ensureNotNull(it.x34()).l33_1, $cutLimit.q1u());
+      return equals(ensureNotNull(it.q32()).e31_1, $cutLimit.q1t());
     };
   }
   function StateRuleSelection$computeNext$lambda(this$0, $currentGoalStruct) {
@@ -2737,34 +2485,34 @@
     };
   }
   function StateRuleSelection$selectClauses$lambda(it) {
-    return it.iw();
+    return it.fy();
   }
   function StateRuleSelection(context) {
     Companion_getInstance_23();
     AbstractState.call(this, context);
-    this.l3a_1 = context;
+    this.e38_1 = context;
   }
-  StateRuleSelection.prototype.j5 = function () {
-    return this.l3a_1;
+  protoOf(StateRuleSelection).n5 = function () {
+    return this.e38_1;
   };
-  StateRuleSelection.prototype.f38 = function () {
-    var currentGoal = ensureNotNull(this.l3a_1.z36());
+  protoOf(StateRuleSelection).y35 = function () {
+    var currentGoal = ensureNotNull(this.e38_1.s34());
     var tmp;
-    if (currentGoal.bx()) {
-      tmp = exceptionalState_0(this, Companion_getInstance_17().forGoal(this.l3a_1, extractSignature(ensureNotNull(this.l3a_1.l33_1)), currentGoal.castToVar()));
-    } else if (currentGoal.lw()) {
+    if (currentGoal.mw()) {
+      tmp = exceptionalState_0(this, Companion_getInstance_17().forGoal(this.e38_1, extractSignature(ensureNotNull(this.e38_1.e31_1)), currentGoal.castToVar()));
+    } else if (currentGoal.aw()) {
       var tmp$ret$5;
       // Inline function 'kotlin.with' call
-      var tmp0_with = this.l3a_1;
+      var tmp0_with = this.e38_1;
       // Inline function 'kotlin.contracts.contract' call
       var tmp$ret$4;
       // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateRuleSelection.computeNext.<anonymous>' call
       var currentGoalStruct = currentGoal.castToStruct();
-      var ruleSources = sequenceOf([tmp0_with.n33_1.asTheory(tmp0_with.m33_1), tmp0_with.p33_1, tmp0_with.q33_1]);
+      var ruleSources = sequenceOf([tmp0_with.g31_1.asTheory(tmp0_with.f31_1), tmp0_with.i31_1, tmp0_with.j31_1]);
       var tmp_0;
-      if (currentGoalStruct.cx()) {
+      if (currentGoalStruct.nw()) {
         var tmp_1;
-        if (currentGoalStruct.dw()) {
+        if (currentGoalStruct.uv()) {
           tmp_1 = _get_ignoreState__t4wl8y(this);
         } else {
           tmp_1 = _get_failureState__yid9tw_0(this);
@@ -2779,11 +2527,7 @@
           // Inline function 'kotlin.contracts.contract' call
           var tmp$ret$0;
           // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateRuleSelection.computeNext.<anonymous>.<anonymous>' call
-          var tmp_2 = new Long(0, 0);
-          var tmp_3 = new Long(0, 0);
-          var tmp_4 = performCut(tmp0_let.i39_1.c34_1, this, cutLimit);
-          var tmp_5 = new Long(0, 0);
-          tmp$ret$0 = tmp0_let.t38(tmp0_let.i39_1.c35(null, null, null, null, null, null, null, null, null, null, null, null, null, null, null, tmp_2, tmp_3, tmp_4, null, 0, tmp_5, null, 4063231, null));
+          tmp$ret$0 = tmp0_let.m36(tmp0_let.b37_1.v32(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, performCut(tmp0_let.b37_1.v31_1, this, cutLimit)));
           tmp$ret$1 = tmp$ret$0;
           tmp_0 = tmp$ret$1;
         } else {
@@ -2792,7 +2536,7 @@
             // Inline function 'kotlin.sequences.any' call
             var tmp0_iterator = ruleSources.j();
             while (tmp0_iterator.m()) {
-              var element = tmp0_iterator.p();
+              var element = tmp0_iterator.n();
               var tmp$ret$2;
               // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateRuleSelection.computeNext.<anonymous>.<anonymous>' call
               tmp$ret$2 = element.containsHead(currentGoalStruct);
@@ -2805,13 +2549,13 @@
           }
           if (tmp$ret$3) {
             var rules = cursor(flatMap(ruleSources, StateRuleSelection$computeNext$lambda(this, currentGoalStruct)));
-            var tmp_6;
-            if (_get_isTailRecursive__h5eso7(this.l3a_1, this)) {
-              tmp_6 = new StateRuleExecution(replaceWithChildAppendingRulesAndChoicePoints$default(this.l3a_1, rules, false, 2, null));
+            var tmp_2;
+            if (_get_isTailRecursive__h5eso7(this.e38_1, this)) {
+              tmp_2 = new StateRuleExecution(replaceWithChildAppendingRulesAndChoicePoints(this.e38_1, rules));
             } else {
-              tmp_6 = new StateRuleExecution(createChildAppendingRulesAndChoicePoints$default(this.l3a_1, rules, false, 2, null));
+              tmp_2 = new StateRuleExecution(createChildAppendingRulesAndChoicePoints(this.e38_1, rules));
             }
-            tmp_0 = tmp_6;
+            tmp_0 = tmp_2;
           } else {
             tmp_0 = missingProcedure(this, ruleSources, extractSignature(currentGoalStruct));
           }
@@ -2821,44 +2565,41 @@
       tmp$ret$5 = tmp$ret$4;
       tmp = tmp$ret$5;
     } else {
-      tmp = exceptionalState_0(this, Companion_getInstance_16().forGoal(this.l3a_1, extractSignature(ensureNotNull(this.l3a_1.l33_1)), Expected_CALLABLE_getInstance(), currentGoal));
+      tmp = exceptionalState_0(this, Companion_getInstance_16().forGoal(this.e38_1, extractSignature(ensureNotNull(this.e38_1.e31_1)), Expected_CALLABLE_getInstance(), currentGoal));
     }
     return tmp;
   };
-  StateRuleSelection.prototype.k38 = function (context) {
-    return this.t38(context);
+  protoOf(StateRuleSelection).d36 = function (context) {
+    return this.m36(context);
   };
-  StateRuleSelection.prototype.t38 = function (context) {
+  protoOf(StateRuleSelection).m36 = function (context) {
     return new StateRuleSelection(context);
   };
-  StateRuleSelection.prototype.toString = function () {
-    return 'StateRuleSelection(context=' + this.l3a_1 + ')';
+  protoOf(StateRuleSelection).toString = function () {
+    return 'StateRuleSelection(context=' + this.e38_1 + ')';
   };
-  StateRuleSelection.prototype.hashCode = function () {
-    return this.l3a_1.hashCode();
+  protoOf(StateRuleSelection).hashCode = function () {
+    return this.e38_1.hashCode();
   };
-  StateRuleSelection.prototype.equals = function (other) {
+  protoOf(StateRuleSelection).equals = function (other) {
     if (this === other)
       return true;
     if (!(other instanceof StateRuleSelection))
       return false;
     var tmp0_other_with_cast = other instanceof StateRuleSelection ? other : THROW_CCE();
-    if (!this.l3a_1.equals(tmp0_other_with_cast.l3a_1))
+    if (!this.e38_1.equals(tmp0_other_with_cast.e38_1))
       return false;
     return true;
   };
   function appendRulesAndChoicePoints(_this__u8e3s4, rules) {
     var tmp;
-    if (rules.vq()) {
-      tmp = appendRules(_this__u8e3s4.c34_1, rules.tq(), _this__u8e3s4);
+    if (rules.mq()) {
+      tmp = appendRules(_this__u8e3s4.v31_1, rules.kq(), _this__u8e3s4);
     } else {
-      tmp = appendRules(_this__u8e3s4.c34_1, Companion_getInstance_9().empty(), _this__u8e3s4);
+      tmp = appendRules(_this__u8e3s4.v31_1, Companion_getInstance_12().empty(), _this__u8e3s4);
     }
     var newChoicePointContext = tmp;
-    var tmp_0 = new Long(0, 0);
-    var tmp_1 = new Long(0, 0);
-    var tmp_2 = new Long(0, 0);
-    return _this__u8e3s4.c35(null, null, null, null, null, null, null, null, null, null, null, null, null, rules, null, tmp_0, tmp_1, newChoicePointContext, null, 0, tmp_2, null, 4055039, null);
+    return _this__u8e3s4.v32(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, rules, VOID, VOID, VOID, newChoicePointContext);
   }
   function toGoals(_this__u8e3s4) {
     var tmp = unfoldGoals(_this__u8e3s4);
@@ -2866,8 +2607,8 @@
   }
   function unfoldGoals(_this__u8e3s4) {
     var tmp;
-    if (_this__u8e3s4.qw()) {
-      var tmp_0 = _this__u8e3s4.castToTuple().ju();
+    if (_this__u8e3s4.dw()) {
+      var tmp_0 = _this__u8e3s4.castToTuple().au();
       tmp = flatMap(tmp_0, unfoldGoals$lambda);
     } else {
       tmp = sequenceOf([_this__u8e3s4]);
@@ -2875,86 +2616,67 @@
     return tmp;
   }
   function createChild(_this__u8e3s4, inferProcedureFromGoals) {
-    var currentGoal = ensureNotNull(_this__u8e3s4.z36()).castToStruct();
+    inferProcedureFromGoals = inferProcedureFromGoals === VOID ? true : inferProcedureFromGoals;
+    var currentGoal = ensureNotNull(_this__u8e3s4.s34()).castToStruct();
     var tmp0_goals = toGoals(currentGoal);
-    var tmp1_procedure = inferProcedureFromGoals ? currentGoal : _this__u8e3s4.l33_1;
-    var tmp2_depth = _this__u8e3s4.e34_1 + 1 | 0;
+    var tmp1_procedure = inferProcedureFromGoals ? currentGoal : _this__u8e3s4.e31_1;
+    var tmp2_depth = _this__u8e3s4.x31_1 + 1 | 0;
     var tmp$ret$0;
     // Inline function 'kotlin.Long.plus' call
-    var tmp0_plus = _this__u8e3s4.f34_1;
+    var tmp0_plus = _this__u8e3s4.y31_1;
     tmp$ret$0 = tmp0_plus.bh(new Long(1, 0));
     var tmp3_step = tmp$ret$0;
     var tmp4_relevantVariables = emptySet();
-    var tmp = new Long(0, 0);
-    var tmp_0 = new Long(0, 0);
-    return _this__u8e3s4.c35(tmp1_procedure, null, null, null, null, null, null, null, null, null, null, null, tmp0_goals, null, null, tmp, tmp_0, null, _this__u8e3s4, tmp2_depth, tmp3_step, tmp4_relevantVariables, 258046, null);
-  }
-  function createChild$default(_this__u8e3s4, inferProcedureFromGoals, $mask0, $handler) {
-    if (!(($mask0 & 1) === 0))
-      inferProcedureFromGoals = true;
-    return createChild(_this__u8e3s4, inferProcedureFromGoals);
+    return _this__u8e3s4.v32(tmp1_procedure, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, tmp0_goals, VOID, VOID, VOID, VOID, VOID, _this__u8e3s4, tmp2_depth, tmp3_step, tmp4_relevantVariables);
   }
   function toRequest(_this__u8e3s4, goal, signature, startTime) {
-    var tmp = goal.gw();
-    return Request_init_$Create$(signature, tmp, _this__u8e3s4, startTime, new Long(0, 0), 16, null);
+    return new Request(signature, goal.xv(), _this__u8e3s4, startTime);
   }
   function appendPrimitivesAndChoicePoints(_this__u8e3s4, primitiveExecutions) {
     var tmp;
-    if (primitiveExecutions.vq()) {
-      tmp = appendPrimitives(_this__u8e3s4.c34_1, primitiveExecutions.tq(), _this__u8e3s4);
+    if (primitiveExecutions.mq()) {
+      tmp = appendPrimitives(_this__u8e3s4.v31_1, primitiveExecutions.kq(), _this__u8e3s4);
     } else {
-      tmp = appendPrimitives(_this__u8e3s4.c34_1, Companion_getInstance_9().empty(), _this__u8e3s4);
+      tmp = appendPrimitives(_this__u8e3s4.v31_1, Companion_getInstance_12().empty(), _this__u8e3s4);
     }
     var newChoicePointContext = tmp;
-    var tmp_0 = new Long(0, 0);
-    var tmp_1 = new Long(0, 0);
-    var tmp_2 = new Long(0, 0);
-    return _this__u8e3s4.c35(null, null, null, null, null, null, null, null, null, null, null, null, null, null, primitiveExecutions, tmp_0, tmp_1, newChoicePointContext, null, 0, tmp_2, null, 4046847, null);
+    return _this__u8e3s4.v32(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, primitiveExecutions, VOID, VOID, newChoicePointContext);
   }
   function replaceWithChildAppendingRulesAndChoicePoints(_this__u8e3s4, rules, inferProcedureFromGoals) {
+    inferProcedureFromGoals = inferProcedureFromGoals === VOID ? true : inferProcedureFromGoals;
     var tempExecutionContext = replaceWithChild(_this__u8e3s4, inferProcedureFromGoals);
     return appendRulesAndChoicePoints(tempExecutionContext, rules);
   }
-  function replaceWithChildAppendingRulesAndChoicePoints$default(_this__u8e3s4, rules, inferProcedureFromGoals, $mask0, $handler) {
-    if (!(($mask0 & 2) === 0))
-      inferProcedureFromGoals = true;
-    return replaceWithChildAppendingRulesAndChoicePoints(_this__u8e3s4, rules, inferProcedureFromGoals);
-  }
   function createChildAppendingRulesAndChoicePoints(_this__u8e3s4, rules, inferProcedureFromGoals) {
+    inferProcedureFromGoals = inferProcedureFromGoals === VOID ? true : inferProcedureFromGoals;
     var tempExecutionContext = createChild(_this__u8e3s4, inferProcedureFromGoals);
     return appendRulesAndChoicePoints(tempExecutionContext, rules);
   }
-  function createChildAppendingRulesAndChoicePoints$default(_this__u8e3s4, rules, inferProcedureFromGoals, $mask0, $handler) {
-    if (!(($mask0 & 2) === 0))
-      inferProcedureFromGoals = true;
-    return createChildAppendingRulesAndChoicePoints(_this__u8e3s4, rules, inferProcedureFromGoals);
-  }
   function ensureRules(_this__u8e3s4) {
     return map(_this__u8e3s4, ensureRules$lambda);
   }
   function replaceWithChild(_this__u8e3s4, inferProcedureFromGoals) {
-    var currentGoal = ensureNotNull(_this__u8e3s4.z36()).castToStruct();
+    inferProcedureFromGoals = inferProcedureFromGoals === VOID ? true : inferProcedureFromGoals;
+    var currentGoal = ensureNotNull(_this__u8e3s4.s34()).castToStruct();
     var tmp0_goals = toGoals(currentGoal);
-    var tmp1_procedure = inferProcedureFromGoals ? currentGoal : _this__u8e3s4.l33_1;
-    var tmp2_depth = _this__u8e3s4.e34_1 + 1 | 0;
+    var tmp1_procedure = inferProcedureFromGoals ? currentGoal : _this__u8e3s4.e31_1;
+    var tmp2_depth = _this__u8e3s4.x31_1 + 1 | 0;
     var tmp$ret$0;
     // Inline function 'kotlin.Long.plus' call
-    var tmp0_plus = _this__u8e3s4.f34_1;
+    var tmp0_plus = _this__u8e3s4.y31_1;
     tmp$ret$0 = tmp0_plus.bh(new Long(1, 0));
     var tmp3_step = tmp$ret$0;
-    var tmp = new Long(0, 0);
-    var tmp_0 = new Long(0, 0);
-    return _this__u8e3s4.c35(tmp1_procedure, null, null, null, null, null, null, null, null, null, null, null, tmp0_goals, null, null, tmp, tmp_0, null, null, tmp2_depth, tmp3_step, null, 2617342, null);
+    return _this__u8e3s4.v32(tmp1_procedure, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, tmp0_goals, VOID, VOID, VOID, VOID, VOID, VOID, tmp2_depth, tmp3_step);
   }
   function toGoals$lambda(it) {
-    return it.bx() ? Companion_getInstance_11().of('call', [it]) : it;
+    return it.mw() ? Companion_getInstance_8().of('call', [it]) : it;
   }
   function unfoldGoals$lambda(it) {
     return unfoldGoals(it);
   }
   function ensureRules$lambda(it) {
     // Inline function 'kotlin.require' call
-    var tmp0_require = it.nw();
+    var tmp0_require = it.cw();
     // Inline function 'kotlin.contracts.contract' call
     // Inline function 'kotlin.require' call
     // Inline function 'kotlin.contracts.contract' call
@@ -2968,54 +2690,54 @@
     return it.castToRule();
   }
   function AbstractSolutionIterator(state) {
-    this.m3a_1 = state;
-    this.n3a_1 = new Long(0, 0);
+    this.f38_1 = state;
+    this.g38_1 = new Long(0, 0);
   }
-  AbstractSolutionIterator.prototype.m = function () {
+  protoOf(AbstractSolutionIterator).m = function () {
     var tmp$ret$1;
     // Inline function 'kotlin.let' call
-    var tmp0_let = this.m3a_1;
+    var tmp0_let = this.f38_1;
     // Inline function 'kotlin.contracts.contract' call
     var tmp$ret$0;
     // Inline function 'it.unibo.tuprolog.solve.classic.impl.AbstractSolutionIterator.hasNext.<anonymous>' call
-    tmp$ret$0 = !tmp0_let.g38() ? true : tmp0_let.castToEndState().j35();
+    tmp$ret$0 = !tmp0_let.z35() ? true : tmp0_let.castToEndState().c33();
     tmp$ret$1 = tmp$ret$0;
     return tmp$ret$1;
   };
-  AbstractSolutionIterator.prototype.p = function () {
+  protoOf(AbstractSolutionIterator).n = function () {
     do {
-      var previousState = this.m3a_1;
+      var previousState = this.f38_1;
       var tmp = this;
-      var tmp_0 = this.m3a_1;
+      var tmp_0 = this.f38_1;
       var tmp0_this = this;
-      tmp0_this.n3a_1 = tmp0_this.n3a_1.gh();
-      tmp.m3a_1 = this.o3a(tmp_0, tmp0_this.n3a_1);
-      this.onStateTransition(previousState, this.m3a_1, this.n3a_1);
+      tmp0_this.g38_1 = tmp0_this.g38_1.gh();
+      tmp.f38_1 = this.h38(tmp_0, tmp0_this.g38_1);
+      this.onStateTransition(previousState, this.f38_1, this.g38_1);
     }
-     while (!this.m3a_1.g38());
-    return this.m3a_1.castToEndState().k2j().cleanUp();
+     while (!this.f38_1.z35());
+    return this.f38_1.castToEndState().e2h().cleanUp();
   };
   function SimpleSolutionIterator(state, onStateTransitionCallback) {
     AbstractSolutionIterator.call(this, state);
-    this.r3a_1 = onStateTransitionCallback;
+    this.k38_1 = onStateTransitionCallback;
   }
-  SimpleSolutionIterator.prototype.o3a = function (state, step) {
+  protoOf(SimpleSolutionIterator).h38 = function (state, step) {
     return state.next();
   };
-  SimpleSolutionIterator.prototype.s3a = function (source, destination, index) {
-    return this.r3a_1(source, destination, index);
+  protoOf(SimpleSolutionIterator).l38 = function (source, destination, index) {
+    return this.k38_1(source, destination, index);
   };
-  SimpleSolutionIterator.prototype.onStateTransition = function (source, destination, index) {
-    return this.s3a(source, destination, index);
+  protoOf(SimpleSolutionIterator).onStateTransition = function (source, destination, index) {
+    return this.l38(source, destination, index);
   };
   function DefaultBuiltins() {
     DefaultBuiltins_instance = this;
     ExtensionLibrary.call(this, CommonBuiltins_getInstance());
   }
-  DefaultBuiltins.prototype.b2f = function () {
+  protoOf(DefaultBuiltins).d2d = function () {
     return listOf(Throw_getInstance());
   };
-  DefaultBuiltins.prototype.a2f = function () {
+  protoOf(DefaultBuiltins).c2d = function () {
     return listOf_0([Catch_getInstance(), Call_getInstance(), Comma_getInstance(), Cut_getInstance(), Fail_getInstance(), Success_getInstance()]);
   };
   var DefaultBuiltins_instance;
@@ -3029,12 +2751,12 @@
     var tmp_0;
     var tmp_1;
     if (isInterface(error, Struct)) {
-      tmp_1 = error.fw() === 'error';
+      tmp_1 = error.wv() === 'error';
     } else {
       tmp_1 = false;
     }
     if (tmp_1) {
-      var containsArg = error.zv();
+      var containsArg = error.qv();
       tmp_0 = 1 <= containsArg ? containsArg <= 2 : false;
     } else {
       tmp_0 = false;
@@ -3042,10 +2764,9 @@
     if (tmp_0) {
       var tmp_2 = Companion_getInstance_20();
       var tmp_3 = error.get(0);
-      tmp = tmp_2.u25(null, null, context, isInterface(tmp_3, Struct) ? tmp_3 : THROW_CCE(), error.zv() > 1 ? error.get(1) : null, 3, null);
+      tmp = tmp_2.of(VOID, VOID, context, isInterface(tmp_3, Struct) ? tmp_3 : THROW_CCE(), error.qv() > 1 ? error.get(1) : null);
     } else {
-      var tmp_4 = Companion_getInstance_19();
-      tmp = tmp_4.h27(error, context, null, 4, null);
+      tmp = Companion_getInstance_19().m25(error, context);
     }
     return tmp;
   }
@@ -3053,13 +2774,11 @@
     Throw_instance = this;
     UnaryPredicate.call(this, 'throw');
   }
-  Throw.prototype.t2r = function (_this__u8e3s4, first) {
-    var tmp = Companion_getInstance_21().b2g(_this__u8e3s4);
-    var tmp_0 = handleError(this, _this__u8e3s4.context, _this__u8e3s4.arguments.n(0));
-    return sequenceOf([tmp.f2j(tmp_0, null, [], 6, null)]);
+  protoOf(Throw).n2p = function (_this__u8e3s4, first) {
+    return sequenceOf([Companion_getInstance_21().d2e(_this__u8e3s4).replyException(handleError(this, _this__u8e3s4.context, _this__u8e3s4.arguments.o(0)), VOID, [])]);
   };
-  Throw.prototype.f2k = function (_this__u8e3s4, first) {
-    return this.t2r(_this__u8e3s4, first);
+  protoOf(Throw).z2h = function (_this__u8e3s4, first) {
+    return this.n2p(_this__u8e3s4, first);
   };
   var Throw_instance;
   function Throw_getInstance() {
@@ -3069,12 +2788,12 @@
   }
   function Call() {
     Call_instance = this;
-    RuleWrapper_init_$Init$('call', 1, false, 4, null, this);
+    RuleWrapper_init_$Init$('call', 1, VOID, this);
   }
-  Call.prototype.j2k = function (_this__u8e3s4) {
+  protoOf(Call).d2i = function (_this__u8e3s4) {
     return _this__u8e3s4.ktListOf([_this__u8e3s4.varOf('G')]);
   };
-  Call.prototype.k2k = function (_this__u8e3s4) {
+  protoOf(Call).e2i = function (_this__u8e3s4) {
     var tmp$ret$0;
     // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
     var tmp0__get_functor__thl4dk = EnsureExecutable_getInstance();
@@ -3089,12 +2808,12 @@
   }
   function Catch() {
     Catch_instance = this;
-    RuleWrapper_init_$Init$('catch', 3, false, 4, null, this);
+    RuleWrapper_init_$Init$('catch', 3, VOID, this);
   }
-  Catch.prototype.j2k = function (_this__u8e3s4) {
+  protoOf(Catch).d2i = function (_this__u8e3s4) {
     return _this__u8e3s4.ktListOf([_this__u8e3s4.varOf('G'), _this__u8e3s4.varOf('E'), _this__u8e3s4.varOf('C')]);
   };
-  Catch.prototype.k2k = function (_this__u8e3s4) {
+  protoOf(Catch).e2i = function (_this__u8e3s4) {
     return _this__u8e3s4.varOf('G');
   };
   var Catch_instance;
@@ -3105,12 +2824,12 @@
   }
   function Comma() {
     Comma_instance = this;
-    RuleWrapper_init_$Init$(',', 2, false, 4, null, this);
+    RuleWrapper_init_$Init$(',', 2, VOID, this);
   }
-  Comma.prototype.j2k = function (_this__u8e3s4) {
+  protoOf(Comma).d2i = function (_this__u8e3s4) {
     return _this__u8e3s4.ktListOf([_this__u8e3s4.varOf('A'), _this__u8e3s4.varOf('B')]);
   };
-  Comma.prototype.k2k = function (_this__u8e3s4) {
+  protoOf(Comma).e2i = function (_this__u8e3s4) {
     return _this__u8e3s4.tupleOf([_this__u8e3s4.varOf('A'), _this__u8e3s4.varOf('B')]);
   };
   var Comma_instance;
@@ -3121,7 +2840,7 @@
   }
   function Cut() {
     Cut_instance = this;
-    RuleWrapper_init_$Init$('!', 0, false, 4, null, this);
+    RuleWrapper_init_$Init$('!', 0, VOID, this);
   }
   var Cut_instance;
   function Cut_getInstance() {
@@ -3133,7 +2852,7 @@
     Fail_instance = this;
     NegationAsFailure.call(this);
   }
-  Fail.prototype.k2k = function (_this__u8e3s4) {
+  protoOf(Fail).e2i = function (_this__u8e3s4) {
     var tmp$ret$0;
     // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
     var tmp0__get_functor__thl4dk = EnsureExecutable_getInstance();
@@ -3155,7 +2874,7 @@
     Success_instance = this;
     NegationAsFailure.call(this);
   }
-  Success.prototype.k2k = function (_this__u8e3s4) {
+  protoOf(Success).e2i = function (_this__u8e3s4) {
     return _this__u8e3s4.truthOf(true);
   };
   var Success_instance;
@@ -3166,8 +2885,8 @@
   }
   function Companion_1() {
     Companion_instance_1 = this;
-    this.s3b_1 = '\\+';
-    this.t3b_1 = 1;
+    this.l39_1 = '\\+';
+    this.m39_1 = 1;
   }
   var Companion_instance_1;
   function Companion_getInstance_24() {
@@ -3179,130 +2898,142 @@
     Companion_getInstance_24();
     Companion_getInstance_24();
     Companion_getInstance_24();
-    RuleWrapper_init_$Init$('\\+', 1, false, 4, null, this);
+    RuleWrapper_init_$Init$('\\+', 1, VOID, this);
   }
-  NegationAsFailure.prototype.j2k = function (_this__u8e3s4) {
+  protoOf(NegationAsFailure).d2i = function (_this__u8e3s4) {
     return _this__u8e3s4.ktListOf([_this__u8e3s4.varOf('X')]);
   };
   //region block: post-declaration
-  AbstractClassicSolver.prototype.x1x = copy$default;
-  AbstractClassicSolver.prototype.solveWithTimeout = solveWithTimeout;
-  AbstractClassicSolver.prototype.solve = solve;
-  AbstractClassicSolver.prototype.solveListWithTimeout = solveListWithTimeout;
-  AbstractClassicSolver.prototype.solveList = solveList;
-  AbstractClassicSolver.prototype.solveListWithOptions = solveListWithOptions;
-  AbstractClassicSolver.prototype.solveOnceWithTimeout = solveOnceWithTimeout;
-  AbstractClassicSolver.prototype.solveOnce = solveOnce;
-  AbstractClassicSolver.prototype.solveOnceWithOptions = solveOnceWithOptions;
-  AbstractClassicSolver.prototype.i1v = get_standardInput;
-  AbstractClassicSolver.prototype.k1v = get_standardOutput;
-  AbstractClassicSolver.prototype.m1v = get_standardError;
-  AbstractClassicSolver.prototype.o1v = get_warnings;
-  ClassicExecutionContext.prototype.v1u = createSolver$default;
-  ClassicExecutionContext.prototype.d1v = createMutableSolver$default;
-  ClassicExecutionContext.prototype.g1v = update$default;
-  ClassicExecutionContext.prototype.i1v = get_standardInput;
-  ClassicExecutionContext.prototype.k1v = get_standardOutput;
-  ClassicExecutionContext.prototype.m1v = get_standardError;
-  ClassicExecutionContext.prototype.o1v = get_warnings;
-  ClassicExecutionContext.prototype.m1u = get_endTime;
-  ClassicExecutionContext.prototype.o1u = get_remainingTime;
-  ClassicExecutionContext.prototype.p1u = get_elapsedTime;
-  ClassicSolver.prototype.x1x = copy$default;
-  ClassicSolver.prototype.solveWithTimeout = solveWithTimeout;
-  ClassicSolver.prototype.solve = solve;
-  ClassicSolver.prototype.solveListWithTimeout = solveListWithTimeout;
-  ClassicSolver.prototype.solveList = solveList;
-  ClassicSolver.prototype.solveListWithOptions = solveListWithOptions;
-  ClassicSolver.prototype.solveOnceWithTimeout = solveOnceWithTimeout;
-  ClassicSolver.prototype.solveOnce = solveOnce;
-  ClassicSolver.prototype.solveOnceWithOptions = solveOnceWithOptions;
-  ClassicSolver.prototype.i1v = get_standardInput;
-  ClassicSolver.prototype.k1v = get_standardOutput;
-  ClassicSolver.prototype.m1v = get_standardError;
-  ClassicSolver.prototype.o1v = get_warnings;
-  ClassicSolverFactory.prototype.u1y = solverOf$default;
-  ClassicSolverFactory.prototype.w1y = solverOf$default_0;
-  ClassicSolverFactory.prototype.a1z = mutableSolverOf$default;
-  ClassicSolverFactory.prototype.e1z = mutableSolverOf$default_0;
-  ClassicSolverFactory.prototype.newBuilder = newBuilder;
-  ClassicSolverFactory.prototype.c1y = get_defaultRuntime;
-  ClassicSolverFactory.prototype.e1y = get_defaultUnificator;
-  ClassicSolverFactory.prototype.f1y = get_defaultFlags;
-  ClassicSolverFactory.prototype.i1y = get_defaultStaticKb;
-  ClassicSolverFactory.prototype.j1y = get_defaultDynamicKb;
-  ClassicSolverFactory.prototype.k1y = get_defaultInputChannel;
-  ClassicSolverFactory.prototype.l1y = get_defaultOutputChannel;
-  ClassicSolverFactory.prototype.m1y = get_defaultErrorChannel;
-  ClassicSolverFactory.prototype.n1y = get_defaultWarningsChannel;
-  ClassicSolverFactory.prototype.x1y = solverWithDefaultBuiltins;
-  ClassicSolverFactory.prototype.y1y = solverWithDefaultBuiltins$default;
-  ClassicSolverFactory.prototype.b1z = mutableSolverWithDefaultBuiltins;
-  ClassicSolverFactory.prototype.c1z = mutableSolverWithDefaultBuiltins$default;
-  MutableClassicSolver.prototype.x1x = copy$default;
-  MutableClassicSolver.prototype.solveWithTimeout = solveWithTimeout;
-  MutableClassicSolver.prototype.solve = solve;
-  MutableClassicSolver.prototype.solveListWithTimeout = solveListWithTimeout;
-  MutableClassicSolver.prototype.solveList = solveList;
-  MutableClassicSolver.prototype.solveListWithOptions = solveListWithOptions;
-  MutableClassicSolver.prototype.solveOnceWithTimeout = solveOnceWithTimeout;
-  MutableClassicSolver.prototype.solveOnce = solveOnce;
-  MutableClassicSolver.prototype.solveOnceWithOptions = solveOnceWithOptions;
-  MutableClassicSolver.prototype.i1v = get_standardInput;
-  MutableClassicSolver.prototype.k1v = get_standardOutput;
-  MutableClassicSolver.prototype.m1v = get_standardError;
-  MutableClassicSolver.prototype.o1v = get_warnings;
-  MutableClassicSolver.prototype.loadStaticClauses = loadStaticClauses;
-  MutableClassicSolver.prototype.loadStaticClausesIterable = loadStaticClausesIterable;
-  MutableClassicSolver.prototype.loadStaticClausesSequence = loadStaticClausesSequence;
-  MutableClassicSolver.prototype.loadDynamicClauses = loadDynamicClauses;
-  MutableClassicSolver.prototype.loadDynamicClausesIterable = loadDynamicClausesIterable;
-  MutableClassicSolver.prototype.loadDynamicClausesSequence = loadDynamicClausesSequence;
-  AbstractState.prototype.g38 = get_isEndState;
-  AbstractState.prototype.asEndState = asEndState;
-  AbstractState.prototype.castToEndState = castToEndState;
-  AbstractEndState.prototype.j35 = get_hasOpenAlternatives;
-  AbstractEndState.prototype.g38 = get_isEndState_0;
-  AbstractEndState.prototype.h38 = asEndState_0;
-  AbstractEndState.prototype.castToEndState = castToEndState;
-  StateBacktracking.prototype.g38 = get_isEndState;
-  StateBacktracking.prototype.asEndState = asEndState;
-  StateBacktracking.prototype.castToEndState = castToEndState;
-  StateEnd.prototype.j35 = get_hasOpenAlternatives;
-  StateEnd.prototype.g38 = get_isEndState_0;
-  StateEnd.prototype.h38 = asEndState_0;
-  StateEnd.prototype.castToEndState = castToEndState;
-  StateException.prototype.g38 = get_isEndState;
-  StateException.prototype.asEndState = asEndState;
-  StateException.prototype.castToEndState = castToEndState;
-  StateGoalSelection.prototype.g38 = get_isEndState;
-  StateGoalSelection.prototype.asEndState = asEndState;
-  StateGoalSelection.prototype.castToEndState = castToEndState;
-  StateHalt.prototype.g38 = get_isEndState_0;
-  StateHalt.prototype.h38 = asEndState_0;
-  StateHalt.prototype.castToEndState = castToEndState;
-  StateHalt.prototype.j35 = get_hasOpenAlternatives;
-  StateInit.prototype.g38 = get_isEndState;
-  StateInit.prototype.asEndState = asEndState;
-  StateInit.prototype.castToEndState = castToEndState;
-  StatePrimitiveExecution.prototype.g38 = get_isEndState;
-  StatePrimitiveExecution.prototype.asEndState = asEndState;
-  StatePrimitiveExecution.prototype.castToEndState = castToEndState;
-  StatePrimitiveSelection.prototype.g38 = get_isEndState;
-  StatePrimitiveSelection.prototype.asEndState = asEndState;
-  StatePrimitiveSelection.prototype.castToEndState = castToEndState;
-  StateRuleExecution.prototype.g38 = get_isEndState;
-  StateRuleExecution.prototype.asEndState = asEndState;
-  StateRuleExecution.prototype.castToEndState = castToEndState;
-  StateRuleSelection.prototype.g38 = get_isEndState;
-  StateRuleSelection.prototype.asEndState = asEndState;
-  StateRuleSelection.prototype.castToEndState = castToEndState;
-  DefaultBuiltins.prototype.containsSignature = containsSignature;
-  DefaultBuiltins.prototype.containsOperator = containsOperator;
-  DefaultBuiltins.prototype.hasPrimitive = hasPrimitive;
-  DefaultBuiltins.prototype.hasFunction = hasFunction;
-  DefaultBuiltins.prototype.p2e = get_ruleSignatures;
-  DefaultBuiltins.prototype.hasProtected = hasProtected;
+  protoOf(AbstractClassicSolver).copy = copy;
+  protoOf(AbstractClassicSolver).solveWithTimeout = solveWithTimeout;
+  protoOf(AbstractClassicSolver).solve = solve;
+  protoOf(AbstractClassicSolver).solveListWithTimeout = solveListWithTimeout;
+  protoOf(AbstractClassicSolver).solveList = solveList;
+  protoOf(AbstractClassicSolver).solveListWithOptions = solveListWithOptions;
+  protoOf(AbstractClassicSolver).solveOnceWithTimeout = solveOnceWithTimeout;
+  protoOf(AbstractClassicSolver).solveOnce = solveOnce;
+  protoOf(AbstractClassicSolver).solveOnceWithOptions = solveOnceWithOptions;
+  protoOf(AbstractClassicSolver).f1u = get_standardInput;
+  protoOf(AbstractClassicSolver).h1u = get_standardOutput;
+  protoOf(AbstractClassicSolver).j1u = get_standardError;
+  protoOf(AbstractClassicSolver).l1u = get_warnings;
+  protoOf(ClassicExecutionContext).createSolver = createSolver;
+  protoOf(ClassicExecutionContext).createMutableSolver = createMutableSolver;
+  protoOf(ClassicExecutionContext).update = update;
+  protoOf(ClassicExecutionContext).f1u = get_standardInput;
+  protoOf(ClassicExecutionContext).h1u = get_standardOutput;
+  protoOf(ClassicExecutionContext).j1u = get_standardError;
+  protoOf(ClassicExecutionContext).l1u = get_warnings;
+  protoOf(ClassicExecutionContext).m1t = get_endTime;
+  protoOf(ClassicExecutionContext).o1t = get_remainingTime;
+  protoOf(ClassicExecutionContext).p1t = get_elapsedTime;
+  protoOf(ClassicSolver).copy = copy;
+  protoOf(ClassicSolver).solveWithTimeout = solveWithTimeout;
+  protoOf(ClassicSolver).solve = solve;
+  protoOf(ClassicSolver).solveListWithTimeout = solveListWithTimeout;
+  protoOf(ClassicSolver).solveList = solveList;
+  protoOf(ClassicSolver).solveListWithOptions = solveListWithOptions;
+  protoOf(ClassicSolver).solveOnceWithTimeout = solveOnceWithTimeout;
+  protoOf(ClassicSolver).solveOnce = solveOnce;
+  protoOf(ClassicSolver).solveOnceWithOptions = solveOnceWithOptions;
+  protoOf(ClassicSolver).f1u = get_standardInput;
+  protoOf(ClassicSolver).h1u = get_standardOutput;
+  protoOf(ClassicSolver).j1u = get_standardError;
+  protoOf(ClassicSolver).l1u = get_warnings;
+  protoOf(ClassicSolverFactory).rawSolverOf = rawSolverOf;
+  protoOf(ClassicSolverFactory).solverOf = solverOf;
+  protoOf(ClassicSolverFactory).mutableSolverOf = mutableSolverOf;
+  protoOf(ClassicSolverFactory).rawMutableSolverOf = rawMutableSolverOf;
+  protoOf(ClassicSolverFactory).newBuilder = newBuilder;
+  protoOf(ClassicSolverFactory).t1w = get_defaultRuntime;
+  protoOf(ClassicSolverFactory).v1w = get_defaultUnificator;
+  protoOf(ClassicSolverFactory).w1w = get_defaultFlags;
+  protoOf(ClassicSolverFactory).z1w = get_defaultStaticKb;
+  protoOf(ClassicSolverFactory).a1x = get_defaultDynamicKb;
+  protoOf(ClassicSolverFactory).b1x = get_defaultInputChannel;
+  protoOf(ClassicSolverFactory).c1x = get_defaultOutputChannel;
+  protoOf(ClassicSolverFactory).d1x = get_defaultErrorChannel;
+  protoOf(ClassicSolverFactory).e1x = get_defaultWarningsChannel;
+  protoOf(ClassicSolverFactory).m1x = solverWithDefaultBuiltins;
+  protoOf(ClassicSolverFactory).solverWithDefaultBuiltinsAnd = solverWithDefaultBuiltinsAnd;
+  protoOf(ClassicSolverFactory).o1x = mutableSolverWithDefaultBuiltins;
+  protoOf(ClassicSolverFactory).mutableSolverWithDefaultBuiltinsAnd = mutableSolverWithDefaultBuiltinsAnd;
+  protoOf(MutableClassicSolver).copy = copy;
+  protoOf(MutableClassicSolver).solveWithTimeout = solveWithTimeout;
+  protoOf(MutableClassicSolver).solve = solve;
+  protoOf(MutableClassicSolver).solveListWithTimeout = solveListWithTimeout;
+  protoOf(MutableClassicSolver).solveList = solveList;
+  protoOf(MutableClassicSolver).solveListWithOptions = solveListWithOptions;
+  protoOf(MutableClassicSolver).solveOnceWithTimeout = solveOnceWithTimeout;
+  protoOf(MutableClassicSolver).solveOnce = solveOnce;
+  protoOf(MutableClassicSolver).solveOnceWithOptions = solveOnceWithOptions;
+  protoOf(MutableClassicSolver).f1u = get_standardInput;
+  protoOf(MutableClassicSolver).h1u = get_standardOutput;
+  protoOf(MutableClassicSolver).j1u = get_standardError;
+  protoOf(MutableClassicSolver).l1u = get_warnings;
+  protoOf(MutableClassicSolver).loadStaticClauses = loadStaticClauses;
+  protoOf(MutableClassicSolver).loadStaticClausesIterable = loadStaticClausesIterable;
+  protoOf(MutableClassicSolver).loadStaticClausesSequence = loadStaticClausesSequence;
+  protoOf(MutableClassicSolver).loadDynamicClauses = loadDynamicClauses;
+  protoOf(MutableClassicSolver).loadDynamicClausesIterable = loadDynamicClausesIterable;
+  protoOf(MutableClassicSolver).loadDynamicClausesSequence = loadDynamicClausesSequence;
+  protoOf(AbstractState).z35 = get_isEndState;
+  protoOf(AbstractState).asEndState = asEndState;
+  protoOf(AbstractState).castToEndState = castToEndState;
+  protoOf(AbstractState).clone = clone;
+  protoOf(AbstractEndState).c33 = get_hasOpenAlternatives;
+  protoOf(AbstractEndState).z35 = get_isEndState_0;
+  protoOf(AbstractEndState).a36 = asEndState_0;
+  protoOf(AbstractEndState).castToEndState = castToEndState;
+  protoOf(AbstractEndState).clone = clone;
+  protoOf(StateBacktracking).clone = clone;
+  protoOf(StateBacktracking).z35 = get_isEndState;
+  protoOf(StateBacktracking).asEndState = asEndState;
+  protoOf(StateBacktracking).castToEndState = castToEndState;
+  protoOf(StateEnd).clone = clone;
+  protoOf(StateEnd).c33 = get_hasOpenAlternatives;
+  protoOf(StateEnd).z35 = get_isEndState_0;
+  protoOf(StateEnd).a36 = asEndState_0;
+  protoOf(StateEnd).castToEndState = castToEndState;
+  protoOf(StateException).clone = clone;
+  protoOf(StateException).z35 = get_isEndState;
+  protoOf(StateException).asEndState = asEndState;
+  protoOf(StateException).castToEndState = castToEndState;
+  protoOf(StateGoalSelection).clone = clone;
+  protoOf(StateGoalSelection).z35 = get_isEndState;
+  protoOf(StateGoalSelection).asEndState = asEndState;
+  protoOf(StateGoalSelection).castToEndState = castToEndState;
+  protoOf(StateHalt).clone = clone;
+  protoOf(StateHalt).z35 = get_isEndState_0;
+  protoOf(StateHalt).a36 = asEndState_0;
+  protoOf(StateHalt).castToEndState = castToEndState;
+  protoOf(StateHalt).c33 = get_hasOpenAlternatives;
+  protoOf(StateInit).clone = clone;
+  protoOf(StateInit).z35 = get_isEndState;
+  protoOf(StateInit).asEndState = asEndState;
+  protoOf(StateInit).castToEndState = castToEndState;
+  protoOf(StatePrimitiveExecution).clone = clone;
+  protoOf(StatePrimitiveExecution).z35 = get_isEndState;
+  protoOf(StatePrimitiveExecution).asEndState = asEndState;
+  protoOf(StatePrimitiveExecution).castToEndState = castToEndState;
+  protoOf(StatePrimitiveSelection).clone = clone;
+  protoOf(StatePrimitiveSelection).z35 = get_isEndState;
+  protoOf(StatePrimitiveSelection).asEndState = asEndState;
+  protoOf(StatePrimitiveSelection).castToEndState = castToEndState;
+  protoOf(StateRuleExecution).clone = clone;
+  protoOf(StateRuleExecution).z35 = get_isEndState;
+  protoOf(StateRuleExecution).asEndState = asEndState;
+  protoOf(StateRuleExecution).castToEndState = castToEndState;
+  protoOf(StateRuleSelection).clone = clone;
+  protoOf(StateRuleSelection).z35 = get_isEndState;
+  protoOf(StateRuleSelection).asEndState = asEndState;
+  protoOf(StateRuleSelection).castToEndState = castToEndState;
+  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;
   //endregion
   //region block: exports
   function $jsExportAll$(_) {
@@ -3311,10 +3042,7 @@
     var $it$unibo$tuprolog = $it$unibo.tuprolog || ($it$unibo.tuprolog = {});
     var $it$unibo$tuprolog$solve = $it$unibo$tuprolog.solve || ($it$unibo$tuprolog.solve = {});
     var $it$unibo$tuprolog$solve$classic = $it$unibo$tuprolog$solve.classic || ($it$unibo$tuprolog$solve.classic = {});
-    Object.defineProperty($it$unibo$tuprolog$solve$classic, 'ClassicSolverFactory', {
-      configurable: true,
-      get: ClassicSolverFactory_getInstance
-    });
+    defineProp($it$unibo$tuprolog$solve$classic, 'ClassicSolverFactory', ClassicSolverFactory_getInstance);
   }
   $jsExportAll$(_);
   _.$jsExportAll$ = $jsExportAll$;
@@ -3324,6 +3052,6 @@
   _.$_$.c = ClassicSolverFactory_getInstance;
   //endregion
   return _;
-}(module.exports, require('./2p-solve.js'), require('./kotlin-kotlin-stdlib-js-ir.js'), require('./2p-theory.js'), require('./2p-unify.js'), require('./2p-core.js'), require('./2p-utils.js')));
+}));
 
 //# sourceMappingURL=2p-solve-classic.js.map