@tuprolog/arg2p-core 0.7.1 → 0.7.2

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (20) hide show
  1. package/2p-core.js +175 -174
  2. package/2p-core.js.map +1 -1
  3. package/2p-parser-core.js +1007 -5
  4. package/2p-parser-core.js.map +1 -1
  5. package/2p-parser-js.js +30 -5
  6. package/2p-parser-js.js.map +1 -1
  7. package/2p-parser-theory.js +146 -5
  8. package/2p-parser-theory.js.map +1 -1
  9. package/2p-solve-classic.js +855 -855
  10. package/2p-solve.js +3368 -3075
  11. package/2p-solve.js.map +1 -1
  12. package/2p-theory.js +65 -65
  13. package/2p-unify.js +25 -25
  14. package/2p-utils.js +36 -36
  15. package/arg2p-core.js +908 -4
  16. package/arg2p-core.js.map +1 -1
  17. package/kotlin-kotlin-stdlib-js-ir.js +372 -199
  18. package/kotlin-kotlin-stdlib-js-ir.js.map +1 -1
  19. package/kt-math.js +66 -66
  20. package/package.json +1 -1
package/2p-solve-classic.js CHANGED
@@ -29,7 +29,7 @@
29
29
  //region block: imports
30
30
  var imul = Math.imul;
31
31
  var Companion_getInstance = kotlin_it_unibo_tuprolog_unify.$_$.a;
32
- var VOID = kotlin_kotlin.$_$.n9;
32
+ var VOID = kotlin_kotlin.$_$.s9;
33
33
  var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_solve.$_$.c1;
34
34
  var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_solve.$_$.y;
35
35
  var Companion_getInstance_2 = kotlin_it_unibo_tuprolog_theory.$_$.b;
@@ -39,154 +39,154 @@
39
39
  var Companion_getInstance_6 = kotlin_it_unibo_tuprolog_solve.$_$.o;
40
40
  var Companion_getInstance_7 = kotlin_it_unibo_tuprolog_solve.$_$.q;
41
41
  var Unit_getInstance = kotlin_kotlin.$_$.o1;
42
- var toString = kotlin_kotlin.$_$.t5;
42
+ var toString = kotlin_kotlin.$_$.v5;
43
43
  var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.q;
44
- var AbstractSolver = kotlin_it_unibo_tuprolog_solve.$_$.l1;
45
- var protoOf = kotlin_kotlin.$_$.o5;
46
- var THROW_CCE = kotlin_kotlin.$_$.b9;
47
- var throwUninitializedPropertyAccessException = kotlin_kotlin.$_$.j9;
48
- var getAllOperators = kotlin_it_unibo_tuprolog_solve.$_$.n3;
49
- var toOperatorSet = kotlin_it_unibo_tuprolog_solve.$_$.p3;
50
- var Long = kotlin_kotlin.$_$.v8;
51
- var currentTimeInstant = kotlin_it_unibo_tuprolog_solve.$_$.l3;
52
- var asSequence = kotlin_kotlin.$_$.m6;
44
+ var AbstractSolver = kotlin_it_unibo_tuprolog_solve.$_$.m1;
45
+ var protoOf = kotlin_kotlin.$_$.q5;
46
+ var THROW_CCE = kotlin_kotlin.$_$.f9;
47
+ var throwUninitializedPropertyAccessException = kotlin_kotlin.$_$.o9;
48
+ var getAllOperators = kotlin_it_unibo_tuprolog_solve.$_$.o3;
49
+ var toOperatorSet = kotlin_it_unibo_tuprolog_solve.$_$.q3;
50
+ var Long = kotlin_kotlin.$_$.z8;
51
+ var currentTimeInstant = kotlin_it_unibo_tuprolog_solve.$_$.m3;
52
+ var asSequence = kotlin_kotlin.$_$.o6;
53
53
  var copy = kotlin_it_unibo_tuprolog_solve.$_$.d;
54
- var solveWithTimeout = kotlin_it_unibo_tuprolog_solve.$_$.w2;
55
- var solve = kotlin_it_unibo_tuprolog_solve.$_$.x2;
56
- var solveListWithTimeout = kotlin_it_unibo_tuprolog_solve.$_$.r2;
57
- var solveList = kotlin_it_unibo_tuprolog_solve.$_$.q2;
58
- var solveListWithOptions = kotlin_it_unibo_tuprolog_solve.$_$.s2;
59
- var solveOnceWithTimeout = kotlin_it_unibo_tuprolog_solve.$_$.t2;
60
- var solveOnce = kotlin_it_unibo_tuprolog_solve.$_$.v2;
61
- var solveOnceWithOptions = kotlin_it_unibo_tuprolog_solve.$_$.u2;
62
- var get_standardInput = kotlin_it_unibo_tuprolog_solve.$_$.e2;
63
- var get_standardOutput = kotlin_it_unibo_tuprolog_solve.$_$.f2;
64
- var get_standardError = kotlin_it_unibo_tuprolog_solve.$_$.d2;
65
- var get_warnings = kotlin_it_unibo_tuprolog_solve.$_$.g2;
66
- var classMeta = kotlin_kotlin.$_$.s4;
67
- var setMetadataFor = kotlin_kotlin.$_$.p5;
68
- var ensureNotNull = kotlin_kotlin.$_$.e9;
69
- var hashCode = kotlin_kotlin.$_$.z4;
70
- var equals = kotlin_kotlin.$_$.v4;
71
- var CoroutineImpl = kotlin_kotlin.$_$.k4;
72
- var SequenceScope = kotlin_kotlin.$_$.i6;
73
- var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.j4;
74
- var sequence = kotlin_kotlin.$_$.l7;
75
- var asSequence_0 = kotlin_kotlin.$_$.a2;
76
- var emptySequence = kotlin_kotlin.$_$.r6;
77
- var plus = kotlin_kotlin.$_$.j7;
78
- var flatMap = kotlin_kotlin.$_$.x6;
79
- var distinct = kotlin_kotlin.$_$.p6;
54
+ var solveWithTimeout = kotlin_it_unibo_tuprolog_solve.$_$.x2;
55
+ var solve = kotlin_it_unibo_tuprolog_solve.$_$.y2;
56
+ var solveListWithTimeout = kotlin_it_unibo_tuprolog_solve.$_$.s2;
57
+ var solveList = kotlin_it_unibo_tuprolog_solve.$_$.r2;
58
+ var solveListWithOptions = kotlin_it_unibo_tuprolog_solve.$_$.t2;
59
+ var solveOnceWithTimeout = kotlin_it_unibo_tuprolog_solve.$_$.u2;
60
+ var solveOnce = kotlin_it_unibo_tuprolog_solve.$_$.w2;
61
+ var solveOnceWithOptions = kotlin_it_unibo_tuprolog_solve.$_$.v2;
62
+ var get_standardInput = kotlin_it_unibo_tuprolog_solve.$_$.f2;
63
+ var get_standardOutput = kotlin_it_unibo_tuprolog_solve.$_$.g2;
64
+ var get_standardError = kotlin_it_unibo_tuprolog_solve.$_$.e2;
65
+ var get_warnings = kotlin_it_unibo_tuprolog_solve.$_$.h2;
66
+ var classMeta = kotlin_kotlin.$_$.u4;
67
+ var setMetadataFor = kotlin_kotlin.$_$.r5;
68
+ var ensureNotNull = kotlin_kotlin.$_$.i9;
69
+ var hashCode = kotlin_kotlin.$_$.b5;
70
+ var equals = kotlin_kotlin.$_$.x4;
71
+ var CoroutineImpl = kotlin_kotlin.$_$.m4;
72
+ var SequenceScope = kotlin_kotlin.$_$.k6;
73
+ var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.l4;
74
+ var sequence = kotlin_kotlin.$_$.n7;
75
+ var asSequence_0 = kotlin_kotlin.$_$.b2;
76
+ var emptySequence = kotlin_kotlin.$_$.t6;
77
+ var plus = kotlin_kotlin.$_$.l7;
78
+ var flatMap = kotlin_kotlin.$_$.z6;
79
+ var distinct = kotlin_kotlin.$_$.r6;
80
80
  var cached = kotlin_it_unibo_tuprolog_utils.$_$.p;
81
- var Companion_getInstance_8 = kotlin_it_unibo_tuprolog_core.$_$.q;
82
- var filter = kotlin_kotlin.$_$.u6;
83
- var map = kotlin_kotlin.$_$.f7;
84
- var toList = kotlin_kotlin.$_$.r7;
81
+ var Companion_getInstance_8 = kotlin_it_unibo_tuprolog_core.$_$.r;
82
+ var filter = kotlin_kotlin.$_$.w6;
83
+ var map = kotlin_kotlin.$_$.h7;
84
+ var toList = kotlin_kotlin.$_$.t7;
85
85
  var Companion_getInstance_9 = kotlin_it_unibo_tuprolog_solve.$_$.r;
86
- var Companion_getInstance_10 = kotlin_it_unibo_tuprolog_core.$_$.r;
87
- var Companion_getInstance_11 = kotlin_it_unibo_tuprolog_core.$_$.t;
86
+ var Companion_getInstance_10 = kotlin_it_unibo_tuprolog_core.$_$.s;
87
+ var Companion_getInstance_11 = kotlin_it_unibo_tuprolog_core.$_$.u;
88
88
  var Companion_getInstance_12 = kotlin_it_unibo_tuprolog_utils.$_$.c;
89
89
  var Companion_getInstance_13 = kotlin_kotlin.$_$.n1;
90
- var emptySet = kotlin_kotlin.$_$.l2;
91
- var lazy = kotlin_kotlin.$_$.g9;
92
- var contains = kotlin_kotlin.$_$.n6;
90
+ var emptySet = kotlin_kotlin.$_$.n2;
91
+ var lazy = kotlin_kotlin.$_$.k9;
92
+ var contains = kotlin_kotlin.$_$.p6;
93
93
  var createSolver = kotlin_it_unibo_tuprolog_solve.$_$.b;
94
94
  var update = kotlin_it_unibo_tuprolog_solve.$_$.c;
95
- var apply = kotlin_it_unibo_tuprolog_solve.$_$.b2;
96
- var applyIterable = kotlin_it_unibo_tuprolog_solve.$_$.a2;
97
- var applySequence = kotlin_it_unibo_tuprolog_solve.$_$.c2;
98
- var get_endTime = kotlin_it_unibo_tuprolog_solve.$_$.y1;
99
- var get_remainingTime = kotlin_it_unibo_tuprolog_solve.$_$.z1;
100
- var get_elapsedTime = kotlin_it_unibo_tuprolog_solve.$_$.x1;
101
- var ExecutionContext = kotlin_it_unibo_tuprolog_solve.$_$.h2;
102
- var KProperty1 = kotlin_kotlin.$_$.h6;
103
- var getPropertyCallableRef = kotlin_kotlin.$_$.x4;
104
- var objectCreate = kotlin_kotlin.$_$.m5;
95
+ var apply = kotlin_it_unibo_tuprolog_solve.$_$.c2;
96
+ var applyIterable = kotlin_it_unibo_tuprolog_solve.$_$.b2;
97
+ var applySequence = kotlin_it_unibo_tuprolog_solve.$_$.d2;
98
+ var get_endTime = kotlin_it_unibo_tuprolog_solve.$_$.z1;
99
+ var get_remainingTime = kotlin_it_unibo_tuprolog_solve.$_$.a2;
100
+ var get_elapsedTime = kotlin_it_unibo_tuprolog_solve.$_$.y1;
101
+ var ExecutionContext = kotlin_it_unibo_tuprolog_solve.$_$.i2;
102
+ var KProperty1 = kotlin_kotlin.$_$.j6;
103
+ var getPropertyCallableRef = kotlin_kotlin.$_$.z4;
104
+ var objectCreate = kotlin_kotlin.$_$.o5;
105
105
  var rawSolverOf = kotlin_it_unibo_tuprolog_solve.$_$.i;
106
106
  var solverOf = kotlin_it_unibo_tuprolog_solve.$_$.h;
107
107
  var mutableSolverOf = kotlin_it_unibo_tuprolog_solve.$_$.e;
108
108
  var rawMutableSolverOf = kotlin_it_unibo_tuprolog_solve.$_$.f;
109
- var newBuilder = kotlin_it_unibo_tuprolog_solve.$_$.i3;
110
- var get_defaultRuntime = kotlin_it_unibo_tuprolog_solve.$_$.d3;
111
- var get_defaultUnificator = kotlin_it_unibo_tuprolog_solve.$_$.f3;
112
- var get_defaultFlags = kotlin_it_unibo_tuprolog_solve.$_$.a3;
113
- var get_defaultStaticKb = kotlin_it_unibo_tuprolog_solve.$_$.e3;
114
- var get_defaultDynamicKb = kotlin_it_unibo_tuprolog_solve.$_$.y2;
115
- var get_defaultInputChannel = kotlin_it_unibo_tuprolog_solve.$_$.b3;
116
- var get_defaultOutputChannel = kotlin_it_unibo_tuprolog_solve.$_$.c3;
117
- var get_defaultErrorChannel = kotlin_it_unibo_tuprolog_solve.$_$.z2;
118
- var get_defaultWarningsChannel = kotlin_it_unibo_tuprolog_solve.$_$.g3;
119
- var solverWithDefaultBuiltins = kotlin_it_unibo_tuprolog_solve.$_$.j3;
109
+ var newBuilder = kotlin_it_unibo_tuprolog_solve.$_$.j3;
110
+ var get_defaultRuntime = kotlin_it_unibo_tuprolog_solve.$_$.e3;
111
+ var get_defaultUnificator = kotlin_it_unibo_tuprolog_solve.$_$.g3;
112
+ var get_defaultFlags = kotlin_it_unibo_tuprolog_solve.$_$.b3;
113
+ var get_defaultStaticKb = kotlin_it_unibo_tuprolog_solve.$_$.f3;
114
+ var get_defaultDynamicKb = kotlin_it_unibo_tuprolog_solve.$_$.z2;
115
+ var get_defaultInputChannel = kotlin_it_unibo_tuprolog_solve.$_$.c3;
116
+ var get_defaultOutputChannel = kotlin_it_unibo_tuprolog_solve.$_$.d3;
117
+ var get_defaultErrorChannel = kotlin_it_unibo_tuprolog_solve.$_$.a3;
118
+ var get_defaultWarningsChannel = kotlin_it_unibo_tuprolog_solve.$_$.h3;
119
+ var solverWithDefaultBuiltins = kotlin_it_unibo_tuprolog_solve.$_$.k3;
120
120
  var solverWithDefaultBuiltinsAnd = kotlin_it_unibo_tuprolog_solve.$_$.j;
121
- var mutableSolverWithDefaultBuiltins = kotlin_it_unibo_tuprolog_solve.$_$.h3;
121
+ var mutableSolverWithDefaultBuiltins = kotlin_it_unibo_tuprolog_solve.$_$.i3;
122
122
  var mutableSolverWithDefaultBuiltinsAnd = kotlin_it_unibo_tuprolog_solve.$_$.g;
123
- var SolverFactory = kotlin_it_unibo_tuprolog_solve.$_$.k3;
124
- var objectMeta = kotlin_kotlin.$_$.n5;
125
- var defineProp = kotlin_kotlin.$_$.u4;
126
- var listOf = kotlin_kotlin.$_$.y2;
127
- var getAllOperators_0 = kotlin_it_unibo_tuprolog_solve.$_$.o3;
128
- var to = kotlin_kotlin.$_$.m9;
129
- var loadStaticClauses = kotlin_it_unibo_tuprolog_solve.$_$.l2;
130
- var loadStaticClausesIterable = kotlin_it_unibo_tuprolog_solve.$_$.m2;
131
- var loadStaticClausesSequence = kotlin_it_unibo_tuprolog_solve.$_$.n2;
132
- var loadDynamicClauses = kotlin_it_unibo_tuprolog_solve.$_$.k2;
133
- var loadDynamicClausesIterable = kotlin_it_unibo_tuprolog_solve.$_$.i2;
134
- var loadDynamicClausesSequence = kotlin_it_unibo_tuprolog_solve.$_$.j2;
135
- var MutableSolver = kotlin_it_unibo_tuprolog_solve.$_$.o2;
123
+ var SolverFactory = kotlin_it_unibo_tuprolog_solve.$_$.l3;
124
+ var objectMeta = kotlin_kotlin.$_$.p5;
125
+ var defineProp = kotlin_kotlin.$_$.w4;
126
+ var listOf = kotlin_kotlin.$_$.a3;
127
+ var getAllOperators_0 = kotlin_it_unibo_tuprolog_solve.$_$.p3;
128
+ var to = kotlin_kotlin.$_$.r9;
129
+ var loadStaticClauses = kotlin_it_unibo_tuprolog_solve.$_$.m2;
130
+ var loadStaticClausesIterable = kotlin_it_unibo_tuprolog_solve.$_$.n2;
131
+ var loadStaticClausesSequence = kotlin_it_unibo_tuprolog_solve.$_$.o2;
132
+ var loadDynamicClauses = kotlin_it_unibo_tuprolog_solve.$_$.l2;
133
+ var loadDynamicClausesIterable = kotlin_it_unibo_tuprolog_solve.$_$.j2;
134
+ var loadDynamicClausesSequence = kotlin_it_unibo_tuprolog_solve.$_$.k2;
135
+ var MutableSolver = kotlin_it_unibo_tuprolog_solve.$_$.p2;
136
136
  var NoSuchElementException_init_$Create$ = kotlin_kotlin.$_$.w;
137
137
  var TimeOutException_init_$Create$ = kotlin_it_unibo_tuprolog_solve.$_$.l;
138
138
  var NoSuchElementException_init_$Create$_0 = kotlin_kotlin.$_$.x;
139
- var interfaceMeta = kotlin_kotlin.$_$.a5;
139
+ var interfaceMeta = kotlin_kotlin.$_$.c5;
140
140
  var getKClass = kotlin_kotlin.$_$.c;
141
141
  var ClassCastException_init_$Create$ = kotlin_kotlin.$_$.o;
142
142
  var Companion_getInstance_14 = kotlin_it_unibo_tuprolog_solve.$_$.h1;
143
- var MessageError = kotlin_it_unibo_tuprolog_solve.$_$.i1;
143
+ var MessageError = kotlin_it_unibo_tuprolog_solve.$_$.j1;
144
144
  var Companion_getInstance_15 = kotlin_it_unibo_tuprolog_solve.$_$.v;
145
145
  var plus_0 = kotlin_it_unibo_tuprolog_utils.$_$.f1;
146
- var LogicError = kotlin_it_unibo_tuprolog_solve.$_$.j1;
147
- var toSet = kotlin_kotlin.$_$.t7;
148
- var plus_1 = kotlin_kotlin.$_$.o3;
146
+ var LogicError = kotlin_it_unibo_tuprolog_solve.$_$.k1;
147
+ var toSet = kotlin_kotlin.$_$.v7;
148
+ var plus_1 = kotlin_kotlin.$_$.q3;
149
149
  var TrackVariables_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.a1;
150
- var drop = kotlin_kotlin.$_$.q6;
151
- var first = kotlin_kotlin.$_$.w6;
152
- var Unifier = kotlin_it_unibo_tuprolog_core.$_$.l1;
153
- var isInterface = kotlin_kotlin.$_$.d5;
150
+ var drop = kotlin_kotlin.$_$.s6;
151
+ var first = kotlin_kotlin.$_$.y6;
152
+ var Unifier = kotlin_it_unibo_tuprolog_core.$_$.m1;
153
+ var isInterface = kotlin_kotlin.$_$.f5;
154
154
  var IllegalStateException_init_$Create$ = kotlin_kotlin.$_$.t;
155
- var ResolutionException = kotlin_it_unibo_tuprolog_solve.$_$.k1;
155
+ var ResolutionException = kotlin_it_unibo_tuprolog_solve.$_$.l1;
156
156
  var Companion_getInstance_16 = kotlin_it_unibo_tuprolog_solve.$_$.w;
157
- var extractSignature = kotlin_it_unibo_tuprolog_solve.$_$.m3;
158
- var Signature = kotlin_it_unibo_tuprolog_solve.$_$.p2;
157
+ var extractSignature = kotlin_it_unibo_tuprolog_solve.$_$.n3;
158
+ var Signature = kotlin_it_unibo_tuprolog_solve.$_$.q2;
159
159
  var Expected_CALLABLE_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.a;
160
160
  var cursor = kotlin_it_unibo_tuprolog_utils.$_$.r;
161
161
  var Companion_getInstance_17 = kotlin_it_unibo_tuprolog_solve.$_$.t;
162
- var prepareForExecutionWithUnifier = kotlin_it_unibo_tuprolog_core.$_$.m2;
163
- var setOf = kotlin_kotlin.$_$.u3;
162
+ var prepareForExecutionWithUnifier = kotlin_it_unibo_tuprolog_core.$_$.n2;
163
+ var setOf = kotlin_kotlin.$_$.w3;
164
164
  var Unknown_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.b1;
165
165
  var MissingPredicate_init_$Create$ = kotlin_it_unibo_tuprolog_solve.$_$.k;
166
166
  var Companion_getInstance_18 = kotlin_it_unibo_tuprolog_solve.$_$.s;
167
- var contains_0 = kotlin_kotlin.$_$.d2;
168
- var firstOrNull = kotlin_kotlin.$_$.v6;
169
- var any = kotlin_kotlin.$_$.k6;
167
+ var contains_0 = kotlin_kotlin.$_$.e2;
168
+ var firstOrNull = kotlin_kotlin.$_$.x6;
169
+ var any = kotlin_kotlin.$_$.m6;
170
170
  var LastCallOptimization_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.z;
171
171
  var buffered = kotlin_it_unibo_tuprolog_utils.$_$.o;
172
- var sequenceOf = kotlin_kotlin.$_$.k7;
173
- var MagicCut = kotlin_it_unibo_tuprolog_solve.$_$.w1;
174
- var Request = kotlin_it_unibo_tuprolog_solve.$_$.t1;
175
- var ExtensionLibrary = kotlin_it_unibo_tuprolog_solve.$_$.m1;
172
+ var sequenceOf = kotlin_kotlin.$_$.m7;
173
+ var MagicCut = kotlin_it_unibo_tuprolog_solve.$_$.x1;
174
+ var Request = kotlin_it_unibo_tuprolog_solve.$_$.u1;
175
+ var ExtensionLibrary = kotlin_it_unibo_tuprolog_solve.$_$.n1;
176
176
  var CommonBuiltins_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.g1;
177
- var listOf_0 = kotlin_kotlin.$_$.z2;
178
- var containsSignature = kotlin_it_unibo_tuprolog_solve.$_$.o1;
179
- var containsOperator = kotlin_it_unibo_tuprolog_solve.$_$.n1;
180
- var hasPrimitive = kotlin_it_unibo_tuprolog_solve.$_$.q1;
181
- var hasFunction = kotlin_it_unibo_tuprolog_solve.$_$.p1;
182
- var get_ruleSignatures = kotlin_it_unibo_tuprolog_solve.$_$.s1;
183
- var hasProtected = kotlin_it_unibo_tuprolog_solve.$_$.r1;
184
- var Struct = kotlin_it_unibo_tuprolog_core.$_$.k1;
177
+ var listOf_0 = kotlin_kotlin.$_$.b3;
178
+ var containsSignature = kotlin_it_unibo_tuprolog_solve.$_$.p1;
179
+ var containsOperator = kotlin_it_unibo_tuprolog_solve.$_$.o1;
180
+ var hasPrimitive = kotlin_it_unibo_tuprolog_solve.$_$.r1;
181
+ var hasFunction = kotlin_it_unibo_tuprolog_solve.$_$.q1;
182
+ var get_ruleSignatures = kotlin_it_unibo_tuprolog_solve.$_$.t1;
183
+ var hasProtected = kotlin_it_unibo_tuprolog_solve.$_$.s1;
184
+ var Struct = kotlin_it_unibo_tuprolog_core.$_$.l1;
185
185
  var Companion_getInstance_19 = kotlin_it_unibo_tuprolog_solve.$_$.u;
186
186
  var Companion_getInstance_20 = kotlin_it_unibo_tuprolog_solve.$_$.x;
187
- var UnaryPredicate = kotlin_it_unibo_tuprolog_solve.$_$.u1;
187
+ var UnaryPredicate = kotlin_it_unibo_tuprolog_solve.$_$.v1;
188
188
  var Companion_getInstance_21 = kotlin_it_unibo_tuprolog_solve.$_$.d1;
189
- var RuleWrapper = kotlin_it_unibo_tuprolog_solve.$_$.v1;
189
+ var RuleWrapper = kotlin_it_unibo_tuprolog_solve.$_$.w1;
190
190
  var RuleWrapper_init_$Init$ = kotlin_it_unibo_tuprolog_solve.$_$.m;
191
191
  var EnsureExecutable_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.f1;
192
192
  var MagicCut_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.e1;
@@ -221,11 +221,11 @@
221
221
  }
222
222
  function clone(context, $super) {
223
223
  context = context === VOID ? this.j5() : context;
224
- return $super === VOID ? this.v2y(context) : $super.v2y.call(this, context);
224
+ return $super === VOID ? this.b30(context) : $super.b30.call(this, context);
225
225
  }
226
226
  setMetadataFor(State, 'State', interfaceMeta);
227
227
  function get_hasOpenAlternatives() {
228
- return this.s2d().u1s() ? this.j5().u2v() : false;
228
+ return this.g2e().u1s() ? this.j5().a2x() : false;
229
229
  }
230
230
  function get_isEndState_0() {
231
231
  return true;
@@ -274,12 +274,12 @@
274
274
  stdErr = stdErr === VOID ? Companion_getInstance_5().stdErr() : stdErr;
275
275
  warnings = warnings === VOID ? Companion_getInstance_5().warning() : warnings;
276
276
  trustKb = trustKb === VOID ? false : trustKb;
277
- AbstractClassicSolver.call($this, unificator, libraries, flags, staticKb, dynamicKb, Companion_getInstance_6().m1u(stdIn), Companion_getInstance_7().p1u(stdOut, stdErr, warnings), trustKb);
277
+ AbstractClassicSolver.call($this, unificator, libraries, flags, staticKb, dynamicKb, Companion_getInstance_6().a1v(stdIn), Companion_getInstance_7().d1v(stdOut, stdErr, warnings), trustKb);
278
278
  return $this;
279
279
  }
280
280
  function updateCurrentContextAfterStateTransition($this, source, destination, index) {
281
281
  // Inline function 'kotlin.require' call
282
- var tmp0_require = destination.j5().q2u_1.equals(index);
282
+ var tmp0_require = destination.j5().w2v_1.equals(index);
283
283
  // Inline function 'kotlin.contracts.contract' call
284
284
  // Inline function 'kotlin.require' call
285
285
  // Inline function 'kotlin.contracts.contract' call
@@ -290,7 +290,7 @@
290
290
  var message = tmp$ret$0;
291
291
  throw IllegalArgumentException_init_$Create$(toString(message));
292
292
  }
293
- $this.x2u(destination.j5());
293
+ $this.d2w(destination.j5());
294
294
  }
295
295
  function AbstractClassicSolver$updateCurrentContextAfterStateTransition$ref($boundThis) {
296
296
  var l = function (p0, p1, p2) {
@@ -311,24 +311,24 @@
311
311
  trustKb = trustKb === VOID ? false : trustKb;
312
312
  AbstractSolver.call(this, unificator, libraries, flags, initialStaticKb, initialDynamicKb, inputChannels, outputChannels, trustKb);
313
313
  }
314
- protoOf(AbstractClassicSolver).x2u = function (_set____db54di) {
315
- this.w2u_1 = _set____db54di;
314
+ protoOf(AbstractClassicSolver).d2w = function (_set____db54di) {
315
+ this.c2w_1 = _set____db54di;
316
316
  };
317
- protoOf(AbstractClassicSolver).f27 = function (_set____db54di) {
318
- return this.x2u(_set____db54di instanceof ClassicExecutionContext ? _set____db54di : THROW_CCE());
317
+ protoOf(AbstractClassicSolver).t27 = function (_set____db54di) {
318
+ return this.d2w(_set____db54di instanceof ClassicExecutionContext ? _set____db54di : THROW_CCE());
319
319
  };
320
- protoOf(AbstractClassicSolver).d27 = function () {
321
- var tmp = this.w2u_1;
320
+ protoOf(AbstractClassicSolver).r27 = function () {
321
+ var tmp = this.c2w_1;
322
322
  if (!(tmp == null))
323
323
  return tmp;
324
324
  else {
325
325
  throwUninitializedPropertyAccessException('currentContext');
326
326
  }
327
327
  };
328
- protoOf(AbstractClassicSolver).e27 = function (unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, trustKb) {
328
+ protoOf(AbstractClassicSolver).s27 = function (unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, trustKb) {
329
329
  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));
330
330
  };
331
- protoOf(AbstractClassicSolver).l27 = function (goal, options) {
331
+ protoOf(AbstractClassicSolver).z27 = function (goal, options) {
332
332
  var tmp0_unificator = this.f1i();
333
333
  var tmp1_libraries = this.q1r();
334
334
  var tmp2_flags = this.r1r();
@@ -337,74 +337,74 @@
337
337
  var tmp5_operators = this.y1r();
338
338
  var tmp6_inputChannels = this.u1r();
339
339
  var tmp7_outputChannels = this.v1r();
340
- var tmp8_customData = this.d27().f2u_1;
340
+ var tmp8_customData = this.r27().l2v_1;
341
341
  var tmp9_startTime = currentTimeInstant();
342
342
  var tmp10_maxDuration = options.t1t();
343
- this.x2u(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));
344
- var tmp = new StateInit(this.d27());
345
- return asSequence(this.y2u(tmp, AbstractClassicSolver$updateCurrentContextAfterStateTransition$ref(this)));
343
+ this.d2w(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));
344
+ var tmp = new StateInit(this.r27());
345
+ return asSequence(this.e2w(tmp, AbstractClassicSolver$updateCurrentContextAfterStateTransition$ref(this)));
346
346
  };
347
347
  function Primitives(alternatives, executionContext, parent, depth) {
348
348
  ChoicePointContext.call(this, alternatives, executionContext, parent, depth);
349
- this.d2v_1 = alternatives;
350
- this.e2v_1 = executionContext;
351
- this.f2v_1 = parent;
352
- this.g2v_1 = depth;
349
+ this.j2w_1 = alternatives;
350
+ this.k2w_1 = executionContext;
351
+ this.l2w_1 = parent;
352
+ this.m2w_1 = depth;
353
353
  }
354
- protoOf(Primitives).h2v = function () {
355
- return this.d2v_1;
354
+ protoOf(Primitives).n2w = function () {
355
+ return this.j2w_1;
356
356
  };
357
- protoOf(Primitives).i2v = function () {
358
- return this.e2v_1;
357
+ protoOf(Primitives).o2w = function () {
358
+ return this.k2w_1;
359
359
  };
360
- protoOf(Primitives).j2v = function () {
361
- return this.f2v_1;
360
+ protoOf(Primitives).p2w = function () {
361
+ return this.l2w_1;
362
362
  };
363
- protoOf(Primitives).k2v = function () {
364
- return this.g2v_1;
363
+ protoOf(Primitives).q2w = function () {
364
+ return this.m2w_1;
365
365
  };
366
366
  protoOf(Primitives).toString = function () {
367
367
  return protoOf(ChoicePointContext).toString.call(this);
368
368
  };
369
- protoOf(Primitives).l2v = function () {
369
+ protoOf(Primitives).r2w = function () {
370
370
  return 'Primitives';
371
371
  };
372
- protoOf(Primitives).m2v = function (context) {
373
- var tmp0_$this = ensureNotNull(this.e2v_1);
374
- var tmp1_primitives = this.d2v_1;
372
+ protoOf(Primitives).s2w = function (context) {
373
+ var tmp0_$this = ensureNotNull(this.k2w_1);
374
+ var tmp1_primitives = this.j2w_1;
375
375
  var tmp$ret$0;
376
376
  // Inline function 'kotlin.Long.plus' call
377
- var tmp0_plus = context.q2u_1;
377
+ var tmp0_plus = context.w2v_1;
378
378
  tmp$ret$0 = tmp0_plus.sf(new Long(1, 0));
379
379
  var tmp2_step = tmp$ret$0;
380
- var tmp3_startTime = context.l2u_1;
381
- var tmp4_flags = context.z2t_1;
382
- var tmp5_dynamicKb = context.b2u_1;
383
- var tmp6_staticKb = context.a2u_1;
384
- var tmp7_operators = context.c2u_1;
385
- var tmp8_inputChannels = context.d2u_1;
386
- var tmp9_outputChannels = context.e2u_1;
387
- var tmp10_libraries = context.y2t_1;
388
- var tmp11_customData = context.f2u_1.discardEphemeral();
389
- var tempContext = tmp0_$this.n2v(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);
390
- var nextChoicePointContext = this.o2v(this.d2v_1.wo(), tempContext);
391
- return tempContext.n2v(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, nextChoicePointContext);
392
- };
393
- protoOf(Primitives).p2v = function (alternatives, executionContext, parent, depth) {
380
+ var tmp3_startTime = context.r2v_1;
381
+ var tmp4_flags = context.f2v_1;
382
+ var tmp5_dynamicKb = context.h2v_1;
383
+ var tmp6_staticKb = context.g2v_1;
384
+ var tmp7_operators = context.i2v_1;
385
+ var tmp8_inputChannels = context.j2v_1;
386
+ var tmp9_outputChannels = context.k2v_1;
387
+ var tmp10_libraries = context.e2v_1;
388
+ var tmp11_customData = context.l2v_1.discardEphemeral();
389
+ var tempContext = tmp0_$this.t2w(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);
390
+ var nextChoicePointContext = this.u2w(this.j2w_1.wo(), tempContext);
391
+ return tempContext.t2w(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, nextChoicePointContext);
392
+ };
393
+ protoOf(Primitives).v2w = function (alternatives, executionContext, parent, depth) {
394
394
  return new Primitives(alternatives, executionContext, parent, depth);
395
395
  };
396
- protoOf(Primitives).o2v = function (alternatives, executionContext, parent, depth, $super) {
397
- alternatives = alternatives === VOID ? this.d2v_1 : alternatives;
398
- executionContext = executionContext === VOID ? this.e2v_1 : executionContext;
399
- parent = parent === VOID ? this.f2v_1 : parent;
400
- depth = depth === VOID ? this.g2v_1 : depth;
401
- return $super === VOID ? this.p2v(alternatives, executionContext, parent, depth) : $super.p2v.call(this, alternatives, executionContext, parent, depth);
396
+ protoOf(Primitives).u2w = function (alternatives, executionContext, parent, depth, $super) {
397
+ alternatives = alternatives === VOID ? this.j2w_1 : alternatives;
398
+ executionContext = executionContext === VOID ? this.k2w_1 : executionContext;
399
+ parent = parent === VOID ? this.l2w_1 : parent;
400
+ depth = depth === VOID ? this.m2w_1 : depth;
401
+ return $super === VOID ? this.v2w(alternatives, executionContext, parent, depth) : $super.v2w.call(this, alternatives, executionContext, parent, depth);
402
402
  };
403
403
  protoOf(Primitives).hashCode = function () {
404
- var result = hashCode(this.d2v_1);
405
- result = imul(result, 31) + (this.e2v_1 == null ? 0 : this.e2v_1.hashCode()) | 0;
406
- result = imul(result, 31) + (this.f2v_1 == null ? 0 : hashCode(this.f2v_1)) | 0;
407
- result = imul(result, 31) + this.g2v_1 | 0;
404
+ var result = hashCode(this.j2w_1);
405
+ result = imul(result, 31) + (this.k2w_1 == null ? 0 : this.k2w_1.hashCode()) | 0;
406
+ result = imul(result, 31) + (this.l2w_1 == null ? 0 : hashCode(this.l2w_1)) | 0;
407
+ result = imul(result, 31) + this.m2w_1 | 0;
408
408
  return result;
409
409
  };
410
410
  protoOf(Primitives).equals = function (other) {
@@ -413,77 +413,77 @@
413
413
  if (!(other instanceof Primitives))
414
414
  return false;
415
415
  var tmp0_other_with_cast = other instanceof Primitives ? other : THROW_CCE();
416
- if (!equals(this.d2v_1, tmp0_other_with_cast.d2v_1))
416
+ if (!equals(this.j2w_1, tmp0_other_with_cast.j2w_1))
417
417
  return false;
418
- if (!equals(this.e2v_1, tmp0_other_with_cast.e2v_1))
418
+ if (!equals(this.k2w_1, tmp0_other_with_cast.k2w_1))
419
419
  return false;
420
- if (!equals(this.f2v_1, tmp0_other_with_cast.f2v_1))
420
+ if (!equals(this.l2w_1, tmp0_other_with_cast.l2w_1))
421
421
  return false;
422
- if (!(this.g2v_1 === tmp0_other_with_cast.g2v_1))
422
+ if (!(this.m2w_1 === tmp0_other_with_cast.m2w_1))
423
423
  return false;
424
424
  return true;
425
425
  };
426
426
  function Rules(alternatives, executionContext, parent, depth) {
427
427
  ChoicePointContext.call(this, alternatives, executionContext, parent, depth);
428
- this.c2w_1 = alternatives;
429
- this.d2w_1 = executionContext;
430
- this.e2w_1 = parent;
431
- this.f2w_1 = depth;
428
+ this.i2x_1 = alternatives;
429
+ this.j2x_1 = executionContext;
430
+ this.k2x_1 = parent;
431
+ this.l2x_1 = depth;
432
432
  }
433
- protoOf(Rules).h2v = function () {
434
- return this.c2w_1;
433
+ protoOf(Rules).n2w = function () {
434
+ return this.i2x_1;
435
435
  };
436
- protoOf(Rules).i2v = function () {
437
- return this.d2w_1;
436
+ protoOf(Rules).o2w = function () {
437
+ return this.j2x_1;
438
438
  };
439
- protoOf(Rules).j2v = function () {
440
- return this.e2w_1;
439
+ protoOf(Rules).p2w = function () {
440
+ return this.k2x_1;
441
441
  };
442
- protoOf(Rules).k2v = function () {
443
- return this.f2w_1;
442
+ protoOf(Rules).q2w = function () {
443
+ return this.l2x_1;
444
444
  };
445
445
  protoOf(Rules).toString = function () {
446
446
  return protoOf(ChoicePointContext).toString.call(this);
447
447
  };
448
- protoOf(Rules).l2v = function () {
448
+ protoOf(Rules).r2w = function () {
449
449
  return 'Rules';
450
450
  };
451
- protoOf(Rules).m2v = function (context) {
452
- var tmp0_$this = ensureNotNull(this.d2w_1);
453
- var tmp1_rules = this.c2w_1;
451
+ protoOf(Rules).s2w = function (context) {
452
+ var tmp0_$this = ensureNotNull(this.j2x_1);
453
+ var tmp1_rules = this.i2x_1;
454
454
  var tmp$ret$0;
455
455
  // Inline function 'kotlin.Long.plus' call
456
- var tmp0_plus = context.q2u_1;
456
+ var tmp0_plus = context.w2v_1;
457
457
  tmp$ret$0 = tmp0_plus.sf(new Long(1, 0));
458
458
  var tmp2_step = tmp$ret$0;
459
- var tmp3_startTime = context.l2u_1;
460
- var tmp4_flags = context.z2t_1;
461
- var tmp5_dynamicKb = context.b2u_1;
462
- var tmp6_staticKb = context.a2u_1;
463
- var tmp7_operators = context.c2u_1;
464
- var tmp8_inputChannels = context.d2u_1;
465
- var tmp9_outputChannels = context.e2u_1;
466
- var tmp10_libraries = context.y2t_1;
467
- var tmp11_customData = context.f2u_1.discardEphemeral();
468
- var tempContext = tmp0_$this.n2v(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);
469
- var nextChoicePointContext = this.g2w(this.c2w_1.wo(), tempContext);
470
- return tempContext.n2v(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, nextChoicePointContext);
471
- };
472
- protoOf(Rules).h2w = function (alternatives, executionContext, parent, depth) {
459
+ var tmp3_startTime = context.r2v_1;
460
+ var tmp4_flags = context.f2v_1;
461
+ var tmp5_dynamicKb = context.h2v_1;
462
+ var tmp6_staticKb = context.g2v_1;
463
+ var tmp7_operators = context.i2v_1;
464
+ var tmp8_inputChannels = context.j2v_1;
465
+ var tmp9_outputChannels = context.k2v_1;
466
+ var tmp10_libraries = context.e2v_1;
467
+ var tmp11_customData = context.l2v_1.discardEphemeral();
468
+ var tempContext = tmp0_$this.t2w(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);
469
+ var nextChoicePointContext = this.m2x(this.i2x_1.wo(), tempContext);
470
+ return tempContext.t2w(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, nextChoicePointContext);
471
+ };
472
+ protoOf(Rules).n2x = function (alternatives, executionContext, parent, depth) {
473
473
  return new Rules(alternatives, executionContext, parent, depth);
474
474
  };
475
- protoOf(Rules).g2w = function (alternatives, executionContext, parent, depth, $super) {
476
- alternatives = alternatives === VOID ? this.c2w_1 : alternatives;
477
- executionContext = executionContext === VOID ? this.d2w_1 : executionContext;
478
- parent = parent === VOID ? this.e2w_1 : parent;
479
- depth = depth === VOID ? this.f2w_1 : depth;
480
- return $super === VOID ? this.h2w(alternatives, executionContext, parent, depth) : $super.h2w.call(this, alternatives, executionContext, parent, depth);
475
+ protoOf(Rules).m2x = function (alternatives, executionContext, parent, depth, $super) {
476
+ alternatives = alternatives === VOID ? this.i2x_1 : alternatives;
477
+ executionContext = executionContext === VOID ? this.j2x_1 : executionContext;
478
+ parent = parent === VOID ? this.k2x_1 : parent;
479
+ depth = depth === VOID ? this.l2x_1 : depth;
480
+ return $super === VOID ? this.n2x(alternatives, executionContext, parent, depth) : $super.n2x.call(this, alternatives, executionContext, parent, depth);
481
481
  };
482
482
  protoOf(Rules).hashCode = function () {
483
- var result = hashCode(this.c2w_1);
484
- result = imul(result, 31) + (this.d2w_1 == null ? 0 : this.d2w_1.hashCode()) | 0;
485
- result = imul(result, 31) + (this.e2w_1 == null ? 0 : hashCode(this.e2w_1)) | 0;
486
- result = imul(result, 31) + this.f2w_1 | 0;
483
+ var result = hashCode(this.i2x_1);
484
+ result = imul(result, 31) + (this.j2x_1 == null ? 0 : this.j2x_1.hashCode()) | 0;
485
+ result = imul(result, 31) + (this.k2x_1 == null ? 0 : hashCode(this.k2x_1)) | 0;
486
+ result = imul(result, 31) + this.l2x_1 | 0;
487
487
  return result;
488
488
  };
489
489
  protoOf(Rules).equals = function (other) {
@@ -492,28 +492,28 @@
492
492
  if (!(other instanceof Rules))
493
493
  return false;
494
494
  var tmp0_other_with_cast = other instanceof Rules ? other : THROW_CCE();
495
- if (!equals(this.c2w_1, tmp0_other_with_cast.c2w_1))
495
+ if (!equals(this.i2x_1, tmp0_other_with_cast.i2x_1))
496
496
  return false;
497
- if (!equals(this.d2w_1, tmp0_other_with_cast.d2w_1))
497
+ if (!equals(this.j2x_1, tmp0_other_with_cast.j2x_1))
498
498
  return false;
499
- if (!equals(this.e2w_1, tmp0_other_with_cast.e2w_1))
499
+ if (!equals(this.k2x_1, tmp0_other_with_cast.k2x_1))
500
500
  return false;
501
- if (!(this.f2w_1 === tmp0_other_with_cast.f2w_1))
501
+ if (!(this.l2x_1 === tmp0_other_with_cast.l2x_1))
502
502
  return false;
503
503
  return true;
504
504
  };
505
505
  function ChoicePointContext$_get_pathToRoot_$slambda_q0myjn(this$0, resultContinuation) {
506
- this.q2w_1 = this$0;
506
+ this.w2x_1 = this$0;
507
507
  CoroutineImpl.call(this, resultContinuation);
508
508
  }
509
- protoOf(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn).t2w = function ($this$sequence, $completion) {
510
- var tmp = this.u2w($this$sequence, $completion);
509
+ protoOf(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn).z2x = function ($this$sequence, $completion) {
510
+ var tmp = this.a2y($this$sequence, $completion);
511
511
  tmp.og_1 = Unit_getInstance();
512
512
  tmp.pg_1 = null;
513
513
  return tmp.ug();
514
514
  };
515
515
  protoOf(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn).gh = function (p1, $completion) {
516
- return this.t2w(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
516
+ return this.z2x(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
517
517
  };
518
518
  protoOf(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn).ug = function () {
519
519
  var suspendResult = this.og_1;
@@ -523,24 +523,24 @@
523
523
  switch (tmp) {
524
524
  case 0:
525
525
  this.ng_1 = 4;
526
- this.s2w_1 = this.q2w_1;
526
+ this.y2x_1 = this.w2x_1;
527
527
  this.mg_1 = 1;
528
528
  continue $sm;
529
529
  case 1:
530
- if (!!(this.s2w_1 == null)) {
530
+ if (!!(this.y2x_1 == null)) {
531
531
  this.mg_1 = 3;
532
532
  continue $sm;
533
533
  }
534
534
 
535
535
  this.mg_1 = 2;
536
- suspendResult = this.r2w_1.a5(ensureNotNull(this.s2w_1), this);
536
+ suspendResult = this.x2x_1.a5(ensureNotNull(this.y2x_1), this);
537
537
  if (suspendResult === get_COROUTINE_SUSPENDED()) {
538
538
  return suspendResult;
539
539
  }
540
540
 
541
541
  continue $sm;
542
542
  case 2:
543
- this.s2w_1 = this.s2w_1.j2v();
543
+ this.y2x_1 = this.y2x_1.p2w();
544
544
  this.mg_1 = 1;
545
545
  continue $sm;
546
546
  case 3:
@@ -559,49 +559,49 @@
559
559
  }
560
560
  while (true);
561
561
  };
562
- protoOf(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn).u2w = function ($this$sequence, completion) {
563
- var i = new ChoicePointContext$_get_pathToRoot_$slambda_q0myjn(this.q2w_1, completion);
564
- i.r2w_1 = $this$sequence;
562
+ protoOf(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn).a2y = function ($this$sequence, completion) {
563
+ var i = new ChoicePointContext$_get_pathToRoot_$slambda_q0myjn(this.w2x_1, completion);
564
+ i.x2x_1 = $this$sequence;
565
565
  return i;
566
566
  };
567
567
  function ChoicePointContext$_get_pathToRoot_$slambda_q0myjn_0(this$0, resultContinuation) {
568
568
  var i = new ChoicePointContext$_get_pathToRoot_$slambda_q0myjn(this$0, resultContinuation);
569
569
  var l = function ($this$sequence, $completion) {
570
- return i.t2w($this$sequence, $completion);
570
+ return i.z2x($this$sequence, $completion);
571
571
  };
572
572
  l.$arity = 1;
573
573
  return l;
574
574
  }
575
575
  function ChoicePointContext(alternatives, executionContext, parent, depth) {
576
576
  depth = depth === VOID ? 0 : depth;
577
- this.q2v_1 = alternatives;
578
- this.r2v_1 = executionContext;
579
- this.s2v_1 = parent;
580
- this.t2v_1 = depth;
577
+ this.w2w_1 = alternatives;
578
+ this.x2w_1 = executionContext;
579
+ this.y2w_1 = parent;
580
+ this.z2w_1 = depth;
581
581
  }
582
- protoOf(ChoicePointContext).h2v = function () {
583
- return this.q2v_1;
582
+ protoOf(ChoicePointContext).n2w = function () {
583
+ return this.w2w_1;
584
584
  };
585
- protoOf(ChoicePointContext).i2v = function () {
586
- return this.r2v_1;
585
+ protoOf(ChoicePointContext).o2w = function () {
586
+ return this.x2w_1;
587
587
  };
588
- protoOf(ChoicePointContext).j2v = function () {
589
- return this.s2v_1;
588
+ protoOf(ChoicePointContext).p2w = function () {
589
+ return this.y2w_1;
590
590
  };
591
- protoOf(ChoicePointContext).k2v = function () {
592
- return this.t2v_1;
591
+ protoOf(ChoicePointContext).q2w = function () {
592
+ return this.z2w_1;
593
593
  };
594
- protoOf(ChoicePointContext).u2v = function () {
594
+ protoOf(ChoicePointContext).a2x = function () {
595
595
  var tmp$ret$1;
596
596
  $l$block: {
597
597
  // Inline function 'kotlin.sequences.any' call
598
- var tmp0_any = this.v2v();
598
+ var tmp0_any = this.b2x();
599
599
  var tmp0_iterator = tmp0_any.j();
600
600
  while (tmp0_iterator.m()) {
601
601
  var element = tmp0_iterator.n();
602
602
  var tmp$ret$0;
603
603
  // Inline function 'it.unibo.tuprolog.solve.classic.ChoicePointContext.<get-hasOpenAlternatives>.<anonymous>' call
604
- tmp$ret$0 = element.h2v().yo();
604
+ tmp$ret$0 = element.n2w().yo();
605
605
  if (tmp$ret$0) {
606
606
  tmp$ret$1 = true;
607
607
  break $l$block;
@@ -611,42 +611,42 @@
611
611
  }
612
612
  return tmp$ret$1;
613
613
  };
614
- protoOf(ChoicePointContext).v2v = function () {
614
+ protoOf(ChoicePointContext).b2x = function () {
615
615
  return sequence(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn_0(this, null));
616
616
  };
617
- protoOf(ChoicePointContext).w2v = function () {
618
- var tmp0_safe_receiver = this.i2v();
619
- return tmp0_safe_receiver == null ? null : tmp0_safe_receiver.p2u_1;
617
+ protoOf(ChoicePointContext).c2x = function () {
618
+ var tmp0_safe_receiver = this.o2w();
619
+ return tmp0_safe_receiver == null ? null : tmp0_safe_receiver.v2v_1;
620
620
  };
621
- protoOf(ChoicePointContext).x2v = function () {
622
- var tmp0_safe_receiver = this.i2v();
623
- return tmp0_safe_receiver == null ? null : tmp0_safe_receiver.w2t_1;
621
+ protoOf(ChoicePointContext).d2x = function () {
622
+ var tmp0_safe_receiver = this.o2w();
623
+ return tmp0_safe_receiver == null ? null : tmp0_safe_receiver.c2v_1;
624
624
  };
625
625
  protoOf(ChoicePointContext).toString = function () {
626
- var tmp = this.l2v() + '(' + ('alternatives=' + this.h2v() + ', ');
626
+ var tmp = this.r2w() + '(' + ('alternatives=' + this.n2w() + ', ');
627
627
  var tmp_0;
628
- if (this.i2v() === null) {
629
- tmp_0 = 'executionContext=' + this.i2v() + ', ';
628
+ if (this.o2w() === null) {
629
+ tmp_0 = 'executionContext=' + this.o2w() + ', ';
630
630
  } else {
631
- 'executionContextDepth=' + this.w2v() + ', ';
632
- tmp_0 = 'executionContextProcedure=' + this.x2v() + ', ';
631
+ 'executionContextDepth=' + this.c2x() + ', ';
632
+ tmp_0 = 'executionContextProcedure=' + this.d2x() + ', ';
633
633
  }
634
- return tmp + tmp_0 + ('depth=' + this.k2v()) + ')';
634
+ return tmp + tmp_0 + ('depth=' + this.q2w()) + ')';
635
635
  };
636
636
  function appendRules(_this__u8e3s4, alternatives, executionContext) {
637
637
  executionContext = executionContext === VOID ? null : executionContext;
638
638
  return new Rules(alternatives, executionContext, _this__u8e3s4, nextDepth(_this__u8e3s4));
639
639
  }
640
640
  function nextDepth(_this__u8e3s4) {
641
- return _this__u8e3s4 == null ? 0 : _this__u8e3s4.k2v() + 1 | 0;
641
+ return _this__u8e3s4 == null ? 0 : _this__u8e3s4.q2w() + 1 | 0;
642
642
  }
643
643
  function appendPrimitives(_this__u8e3s4, alternatives, executionContext) {
644
644
  executionContext = executionContext === VOID ? null : executionContext;
645
645
  return new Primitives(alternatives, executionContext, _this__u8e3s4, nextDepth(_this__u8e3s4));
646
646
  }
647
647
  function _get_locallyInterestingVariables__39cqti($this) {
648
- var tmp = asSequence_0($this.r2u_1);
649
- var tmp0_safe_receiver = $this.i2u_1.xo();
648
+ var tmp = asSequence_0($this.x2v_1);
649
+ var tmp0_safe_receiver = $this.o2v_1.xo();
650
650
  var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.tt();
651
651
  return plus(tmp, tmp1_elvis_lhs == null ? emptySequence() : tmp1_elvis_lhs);
652
652
  }
@@ -654,21 +654,21 @@
654
654
  var tmp$ret$0;
655
655
  // Inline function 'kotlin.getValue' call
656
656
  var tmp0_getValue = interestingVariables$factory();
657
- tmp$ret$0 = $this.u2u_1.p2();
657
+ tmp$ret$0 = $this.a2w_1.p2();
658
658
  return tmp$ret$0;
659
659
  }
660
660
  function ClassicExecutionContext$pathToRoot$slambda(this$0, resultContinuation) {
661
- this.d2x_1 = this$0;
661
+ this.j2y_1 = this$0;
662
662
  CoroutineImpl.call(this, resultContinuation);
663
663
  }
664
- protoOf(ClassicExecutionContext$pathToRoot$slambda).g2x = function ($this$sequence, $completion) {
665
- var tmp = this.h2x($this$sequence, $completion);
664
+ protoOf(ClassicExecutionContext$pathToRoot$slambda).m2y = function ($this$sequence, $completion) {
665
+ var tmp = this.n2y($this$sequence, $completion);
666
666
  tmp.og_1 = Unit_getInstance();
667
667
  tmp.pg_1 = null;
668
668
  return tmp.ug();
669
669
  };
670
670
  protoOf(ClassicExecutionContext$pathToRoot$slambda).gh = function (p1, $completion) {
671
- return this.g2x(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
671
+ return this.m2y(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
672
672
  };
673
673
  protoOf(ClassicExecutionContext$pathToRoot$slambda).ug = function () {
674
674
  var suspendResult = this.og_1;
@@ -678,24 +678,24 @@
678
678
  switch (tmp) {
679
679
  case 0:
680
680
  this.ng_1 = 4;
681
- this.f2x_1 = this.d2x_1;
681
+ this.l2y_1 = this.j2y_1;
682
682
  this.mg_1 = 1;
683
683
  continue $sm;
684
684
  case 1:
685
- if (!!(this.f2x_1 == null)) {
685
+ if (!!(this.l2y_1 == null)) {
686
686
  this.mg_1 = 3;
687
687
  continue $sm;
688
688
  }
689
689
 
690
690
  this.mg_1 = 2;
691
- suspendResult = this.e2x_1.a5(this.f2x_1, this);
691
+ suspendResult = this.k2y_1.a5(this.l2y_1, this);
692
692
  if (suspendResult === get_COROUTINE_SUSPENDED()) {
693
693
  return suspendResult;
694
694
  }
695
695
 
696
696
  continue $sm;
697
697
  case 2:
698
- this.f2x_1 = this.f2x_1.o2u_1;
698
+ this.l2y_1 = this.l2y_1.u2v_1;
699
699
  this.mg_1 = 1;
700
700
  continue $sm;
701
701
  case 3:
@@ -714,15 +714,15 @@
714
714
  }
715
715
  while (true);
716
716
  };
717
- protoOf(ClassicExecutionContext$pathToRoot$slambda).h2x = function ($this$sequence, completion) {
718
- var i = new ClassicExecutionContext$pathToRoot$slambda(this.d2x_1, completion);
719
- i.e2x_1 = $this$sequence;
717
+ protoOf(ClassicExecutionContext$pathToRoot$slambda).n2y = function ($this$sequence, completion) {
718
+ var i = new ClassicExecutionContext$pathToRoot$slambda(this.j2y_1, completion);
719
+ i.k2y_1 = $this$sequence;
720
720
  return i;
721
721
  };
722
722
  function ClassicExecutionContext$pathToRoot$slambda_0(this$0, resultContinuation) {
723
723
  var i = new ClassicExecutionContext$pathToRoot$slambda(this$0, resultContinuation);
724
724
  var l = function ($this$sequence, $completion) {
725
- return i.g2x($this$sequence, $completion);
725
+ return i.m2y($this$sequence, $completion);
726
726
  };
727
727
  l.$arity = 1;
728
728
  return l;
@@ -730,11 +730,11 @@
730
730
  function ClassicExecutionContext$currentGoal$delegate$lambda(this$0) {
731
731
  return function () {
732
732
  var tmp;
733
- if (this$0.i2u_1.zo()) {
733
+ if (this$0.o2v_1.zo()) {
734
734
  tmp = null;
735
735
  } else {
736
- var tmp0_safe_receiver = this$0.i2u_1.xo();
737
- tmp = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.applySubstitution(this$0.g2u_1);
736
+ var tmp0_safe_receiver = this$0.o2v_1.xo();
737
+ tmp = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.applySubstitution(this$0.m2v_1);
738
738
  }
739
739
  return tmp;
740
740
  };
@@ -744,22 +744,22 @@
744
744
  }
745
745
  function ClassicExecutionContext$interestingVariables$delegate$lambda(this$0) {
746
746
  return function () {
747
- var tmp = plus(_get_locallyInterestingVariables__39cqti(this$0), this$0.h2u_1.tt());
748
- return cached(distinct(plus(tmp, flatMap(this$0.s2u_1, ClassicExecutionContext$interestingVariables$delegate$lambda$lambda))));
747
+ var tmp = plus(_get_locallyInterestingVariables__39cqti(this$0), this$0.n2v_1.tt());
748
+ return cached(distinct(plus(tmp, flatMap(this$0.y2v_1, ClassicExecutionContext$interestingVariables$delegate$lambda$lambda))));
749
749
  };
750
750
  }
751
751
  function ClassicExecutionContext$logicStackTrace$delegate$lambda$lambda(it) {
752
- return it.i2x();
752
+ return it.o2y();
753
753
  }
754
754
  function ClassicExecutionContext$logicStackTrace$delegate$lambda$lambda_0(this$0) {
755
755
  return function (it) {
756
- var tmp0_elvis_lhs = it.w2t_1;
757
- return tmp0_elvis_lhs == null ? Companion_getInstance_8().of('?-', [this$0.h2u_1]) : tmp0_elvis_lhs;
756
+ var tmp0_elvis_lhs = it.c2v_1;
757
+ return tmp0_elvis_lhs == null ? Companion_getInstance_8().of('?-', [this$0.n2v_1]) : tmp0_elvis_lhs;
758
758
  };
759
759
  }
760
760
  function ClassicExecutionContext$logicStackTrace$delegate$lambda(this$0) {
761
761
  return function () {
762
- var tmp = filter(this$0.s2u_1, ClassicExecutionContext$logicStackTrace$delegate$lambda$lambda);
762
+ var tmp = filter(this$0.y2v_1, ClassicExecutionContext$logicStackTrace$delegate$lambda$lambda);
763
763
  return toList(map(tmp, ClassicExecutionContext$logicStackTrace$delegate$lambda$lambda_0(this$0)));
764
764
  };
765
765
  }
@@ -792,30 +792,30 @@
792
792
  depth = depth === VOID ? 0 : depth;
793
793
  step = step === VOID ? new Long(0, 0) : step;
794
794
  relevantVariables = relevantVariables === VOID ? emptySet() : relevantVariables;
795
- this.w2t_1 = procedure;
796
- this.x2t_1 = unificator;
797
- this.y2t_1 = libraries;
798
- this.z2t_1 = flags;
799
- this.a2u_1 = staticKb;
800
- this.b2u_1 = dynamicKb;
801
- this.c2u_1 = operators;
802
- this.d2u_1 = inputChannels;
803
- this.e2u_1 = outputChannels;
804
- this.f2u_1 = customData;
805
- this.g2u_1 = substitution;
806
- this.h2u_1 = query;
807
- this.i2u_1 = goals;
808
- this.j2u_1 = rules;
809
- this.k2u_1 = primitives;
810
- this.l2u_1 = startTime;
811
- this.m2u_1 = maxDuration;
812
- this.n2u_1 = choicePoints;
813
- this.o2u_1 = parent;
814
- this.p2u_1 = depth;
815
- this.q2u_1 = step;
816
- this.r2u_1 = relevantVariables;
795
+ this.c2v_1 = procedure;
796
+ this.d2v_1 = unificator;
797
+ this.e2v_1 = libraries;
798
+ this.f2v_1 = flags;
799
+ this.g2v_1 = staticKb;
800
+ this.h2v_1 = dynamicKb;
801
+ this.i2v_1 = operators;
802
+ this.j2v_1 = inputChannels;
803
+ this.k2v_1 = outputChannels;
804
+ this.l2v_1 = customData;
805
+ this.m2v_1 = substitution;
806
+ this.n2v_1 = query;
807
+ this.o2v_1 = goals;
808
+ this.p2v_1 = rules;
809
+ this.q2v_1 = primitives;
810
+ this.r2v_1 = startTime;
811
+ this.s2v_1 = maxDuration;
812
+ this.t2v_1 = choicePoints;
813
+ this.u2v_1 = parent;
814
+ this.v2v_1 = depth;
815
+ this.w2v_1 = step;
816
+ this.x2v_1 = relevantVariables;
817
817
  // Inline function 'kotlin.require' call
818
- var tmp0_require = (this.p2u_1 === 0 ? this.o2u_1 == null : false) ? true : this.p2u_1 > 0 ? !(this.o2u_1 == null) : false;
818
+ var tmp0_require = (this.v2v_1 === 0 ? this.u2v_1 == null : false) ? true : this.v2v_1 > 0 ? !(this.u2v_1 == null) : false;
819
819
  // Inline function 'kotlin.contracts.contract' call
820
820
  // Inline function 'kotlin.require' call
821
821
  // Inline function 'kotlin.contracts.contract' call
@@ -827,7 +827,7 @@
827
827
  throw IllegalArgumentException_init_$Create$(toString(message));
828
828
  }
829
829
  // Inline function 'kotlin.require' call
830
- var tmp1_require = this.l2u_1.f1(new Long(0, 0)) >= 0;
830
+ var tmp1_require = this.r2v_1.f1(new Long(0, 0)) >= 0;
831
831
  // Inline function 'kotlin.contracts.contract' call
832
832
  // Inline function 'kotlin.require' call
833
833
  // Inline function 'kotlin.contracts.contract' call
@@ -839,7 +839,7 @@
839
839
  throw IllegalArgumentException_init_$Create$(toString(message_0));
840
840
  }
841
841
  // Inline function 'kotlin.require' call
842
- var tmp2_require = this.m2u_1.f1(new Long(0, 0)) >= 0;
842
+ var tmp2_require = this.s2v_1.f1(new Long(0, 0)) >= 0;
843
843
  // Inline function 'kotlin.contracts.contract' call
844
844
  // Inline function 'kotlin.require' call
845
845
  // Inline function 'kotlin.contracts.contract' call
@@ -851,162 +851,162 @@
851
851
  throw IllegalArgumentException_init_$Create$(toString(message_1));
852
852
  }
853
853
  var tmp_0 = this;
854
- tmp_0.s2u_1 = sequence(ClassicExecutionContext$pathToRoot$slambda_0(this, null));
854
+ tmp_0.y2v_1 = sequence(ClassicExecutionContext$pathToRoot$slambda_0(this, null));
855
855
  var tmp_1 = this;
856
- tmp_1.t2u_1 = lazy(ClassicExecutionContext$currentGoal$delegate$lambda(this));
856
+ tmp_1.z2v_1 = lazy(ClassicExecutionContext$currentGoal$delegate$lambda(this));
857
857
  var tmp_2 = this;
858
- tmp_2.u2u_1 = lazy(ClassicExecutionContext$interestingVariables$delegate$lambda(this));
858
+ tmp_2.a2w_1 = lazy(ClassicExecutionContext$interestingVariables$delegate$lambda(this));
859
859
  var tmp_3 = this;
860
- tmp_3.v2u_1 = lazy(ClassicExecutionContext$logicStackTrace$delegate$lambda(this));
860
+ tmp_3.b2w_1 = lazy(ClassicExecutionContext$logicStackTrace$delegate$lambda(this));
861
861
  }
862
862
  protoOf(ClassicExecutionContext).l1r = function () {
863
- return this.w2t_1;
863
+ return this.c2v_1;
864
864
  };
865
865
  protoOf(ClassicExecutionContext).f1i = function () {
866
- return this.x2t_1;
866
+ return this.d2v_1;
867
867
  };
868
868
  protoOf(ClassicExecutionContext).q1r = function () {
869
- return this.y2t_1;
869
+ return this.e2v_1;
870
870
  };
871
871
  protoOf(ClassicExecutionContext).r1r = function () {
872
- return this.z2t_1;
872
+ return this.f2v_1;
873
873
  };
874
874
  protoOf(ClassicExecutionContext).s1r = function () {
875
- return this.a2u_1;
875
+ return this.g2v_1;
876
876
  };
877
877
  protoOf(ClassicExecutionContext).t1r = function () {
878
- return this.b2u_1;
878
+ return this.h2v_1;
879
879
  };
880
880
  protoOf(ClassicExecutionContext).y1r = function () {
881
- return this.c2u_1;
881
+ return this.i2v_1;
882
882
  };
883
883
  protoOf(ClassicExecutionContext).u1r = function () {
884
- return this.d2u_1;
884
+ return this.j2v_1;
885
885
  };
886
886
  protoOf(ClassicExecutionContext).v1r = function () {
887
- return this.e2u_1;
887
+ return this.k2v_1;
888
888
  };
889
889
  protoOf(ClassicExecutionContext).o1r = function () {
890
- return this.f2u_1;
890
+ return this.l2v_1;
891
891
  };
892
892
  protoOf(ClassicExecutionContext).m1r = function () {
893
- return this.g2u_1;
893
+ return this.m2v_1;
894
894
  };
895
895
  protoOf(ClassicExecutionContext).g1r = function () {
896
- return this.l2u_1;
896
+ return this.r2v_1;
897
897
  };
898
898
  protoOf(ClassicExecutionContext).i1r = function () {
899
- return this.m2u_1;
899
+ return this.s2v_1;
900
900
  };
901
- protoOf(ClassicExecutionContext).j2x = function () {
902
- return this.p2u_1 === 0;
901
+ protoOf(ClassicExecutionContext).p2y = function () {
902
+ return this.v2v_1 === 0;
903
903
  };
904
- protoOf(ClassicExecutionContext).u2v = function () {
905
- var tmp0_safe_receiver = this.n2u_1;
906
- var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.u2v();
904
+ protoOf(ClassicExecutionContext).a2x = function () {
905
+ var tmp0_safe_receiver = this.t2v_1;
906
+ var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.a2x();
907
907
  return tmp1_elvis_lhs == null ? false : tmp1_elvis_lhs;
908
908
  };
909
- protoOf(ClassicExecutionContext).i2x = function () {
910
- return this.o2u_1 == null ? true : (this.p2u_1 - this.o2u_1.p2u_1 | 0) >= 1;
909
+ protoOf(ClassicExecutionContext).o2y = function () {
910
+ return this.u2v_1 == null ? true : (this.v2v_1 - this.u2v_1.v2v_1 | 0) >= 1;
911
911
  };
912
- protoOf(ClassicExecutionContext).k2x = function () {
912
+ protoOf(ClassicExecutionContext).q2y = function () {
913
913
  var tmp$ret$0;
914
914
  // Inline function 'kotlin.getValue' call
915
915
  var tmp0_getValue = currentGoal$factory();
916
- tmp$ret$0 = this.t2u_1.p2();
916
+ tmp$ret$0 = this.z2v_1.p2();
917
917
  return tmp$ret$0;
918
918
  };
919
- protoOf(ClassicExecutionContext).l2x = function (variable) {
919
+ protoOf(ClassicExecutionContext).r2y = function (variable) {
920
920
  return contains(_get_interestingVariables__k6uw5o(this), variable);
921
921
  };
922
922
  protoOf(ClassicExecutionContext).n1r = function () {
923
923
  var tmp$ret$0;
924
924
  // Inline function 'kotlin.getValue' call
925
925
  var tmp0_getValue = logicStackTrace$factory();
926
- tmp$ret$0 = this.v2u_1.p2();
926
+ tmp$ret$0 = this.b2w_1.p2();
927
927
  return tmp$ret$0;
928
928
  };
929
929
  protoOf(ClassicExecutionContext).p1r = function (unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels) {
930
930
  return ClassicSolver_init_$Create$(unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, true);
931
931
  };
932
932
  protoOf(ClassicExecutionContext).x1r = function (unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData) {
933
- return this.n2v(VOID, unificator, libraries, flags, staticKb, dynamicKb.toMutableTheory(), operators, inputChannels, outputChannels, customData);
933
+ return this.t2w(VOID, unificator, libraries, flags, staticKb, dynamicKb.toMutableTheory(), operators, inputChannels, outputChannels, customData);
934
934
  };
935
- protoOf(ClassicExecutionContext).m2x = function (sideEffect) {
935
+ protoOf(ClassicExecutionContext).s2y = function (sideEffect) {
936
936
  var tmp = apply.call(this, sideEffect);
937
937
  return tmp instanceof ClassicExecutionContext ? tmp : THROW_CCE();
938
938
  };
939
939
  protoOf(ClassicExecutionContext).apply = function (sideEffect) {
940
- return this.m2x(sideEffect);
940
+ return this.s2y(sideEffect);
941
941
  };
942
- protoOf(ClassicExecutionContext).n2x = function (sideEffects) {
942
+ protoOf(ClassicExecutionContext).t2y = function (sideEffects) {
943
943
  var tmp = applyIterable.call(this, sideEffects);
944
944
  return tmp instanceof ClassicExecutionContext ? tmp : THROW_CCE();
945
945
  };
946
946
  protoOf(ClassicExecutionContext).applyIterable = function (sideEffects) {
947
- return this.n2x(sideEffects);
947
+ return this.t2y(sideEffects);
948
948
  };
949
- protoOf(ClassicExecutionContext).o2x = function (sideEffects) {
949
+ protoOf(ClassicExecutionContext).u2y = function (sideEffects) {
950
950
  var tmp = applySequence.call(this, sideEffects);
951
951
  return tmp instanceof ClassicExecutionContext ? tmp : THROW_CCE();
952
952
  };
953
953
  protoOf(ClassicExecutionContext).applySequence = function (sideEffects) {
954
- return this.o2x(sideEffects);
954
+ return this.u2y(sideEffects);
955
955
  };
956
956
  protoOf(ClassicExecutionContext).toString = function () {
957
- return 'ClassicExecutionContext(' + ('step=' + toString(this.q2u_1) + ', ') + ('depth=' + this.p2u_1 + ', ') + ('substitution=' + this.g2u_1 + ', ') + ('logicStackTrace=' + this.n1r() + ', ') + ('goals=' + this.i2u_1 + ', ') + ('rules=' + this.j2u_1 + ', ') + ('primitives=' + this.k2u_1 + ', ') + ('startTime=' + toString(this.l2u_1) + ', ') + ('endTime=' + toString(this.h1r()) + ', ') + ('maxDuration=' + toString(this.m2u_1) + ', ') + ('unificator=' + this.x2t_1 + ', ') + ('choicePoints=' + this.n2u_1) + ')';
957
+ return 'ClassicExecutionContext(' + ('step=' + toString(this.w2v_1) + ', ') + ('depth=' + this.v2v_1 + ', ') + ('substitution=' + this.m2v_1 + ', ') + ('logicStackTrace=' + this.n1r() + ', ') + ('goals=' + this.o2v_1 + ', ') + ('rules=' + this.p2v_1 + ', ') + ('primitives=' + this.q2v_1 + ', ') + ('startTime=' + toString(this.r2v_1) + ', ') + ('endTime=' + toString(this.h1r()) + ', ') + ('maxDuration=' + toString(this.s2v_1) + ', ') + ('unificator=' + this.d2v_1 + ', ') + ('choicePoints=' + this.t2v_1) + ')';
958
958
  };
959
- protoOf(ClassicExecutionContext).p2x = function (procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables) {
959
+ protoOf(ClassicExecutionContext).v2y = function (procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables) {
960
960
  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);
961
961
  };
962
- protoOf(ClassicExecutionContext).n2v = function (procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables, $super) {
963
- procedure = procedure === VOID ? this.w2t_1 : procedure;
964
- unificator = unificator === VOID ? this.x2t_1 : unificator;
965
- libraries = libraries === VOID ? this.y2t_1 : libraries;
966
- flags = flags === VOID ? this.z2t_1 : flags;
967
- staticKb = staticKb === VOID ? this.a2u_1 : staticKb;
968
- dynamicKb = dynamicKb === VOID ? this.b2u_1 : dynamicKb;
969
- operators = operators === VOID ? this.c2u_1 : operators;
970
- inputChannels = inputChannels === VOID ? this.d2u_1 : inputChannels;
971
- outputChannels = outputChannels === VOID ? this.e2u_1 : outputChannels;
972
- customData = customData === VOID ? this.f2u_1 : customData;
973
- substitution = substitution === VOID ? this.g2u_1 : substitution;
974
- query = query === VOID ? this.h2u_1 : query;
975
- goals = goals === VOID ? this.i2u_1 : goals;
976
- rules = rules === VOID ? this.j2u_1 : rules;
977
- primitives = primitives === VOID ? this.k2u_1 : primitives;
978
- startTime = startTime === VOID ? this.l2u_1 : startTime;
979
- maxDuration = maxDuration === VOID ? this.m2u_1 : maxDuration;
980
- choicePoints = choicePoints === VOID ? this.n2u_1 : choicePoints;
981
- parent = parent === VOID ? this.o2u_1 : parent;
982
- depth = depth === VOID ? this.p2u_1 : depth;
983
- step = step === VOID ? this.q2u_1 : step;
984
- relevantVariables = relevantVariables === VOID ? this.r2u_1 : relevantVariables;
985
- return $super === VOID ? this.p2x(procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables) : $super.p2x.call(this, procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables);
962
+ protoOf(ClassicExecutionContext).t2w = function (procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables, $super) {
963
+ procedure = procedure === VOID ? this.c2v_1 : procedure;
964
+ unificator = unificator === VOID ? this.d2v_1 : unificator;
965
+ libraries = libraries === VOID ? this.e2v_1 : libraries;
966
+ flags = flags === VOID ? this.f2v_1 : flags;
967
+ staticKb = staticKb === VOID ? this.g2v_1 : staticKb;
968
+ dynamicKb = dynamicKb === VOID ? this.h2v_1 : dynamicKb;
969
+ operators = operators === VOID ? this.i2v_1 : operators;
970
+ inputChannels = inputChannels === VOID ? this.j2v_1 : inputChannels;
971
+ outputChannels = outputChannels === VOID ? this.k2v_1 : outputChannels;
972
+ customData = customData === VOID ? this.l2v_1 : customData;
973
+ substitution = substitution === VOID ? this.m2v_1 : substitution;
974
+ query = query === VOID ? this.n2v_1 : query;
975
+ goals = goals === VOID ? this.o2v_1 : goals;
976
+ rules = rules === VOID ? this.p2v_1 : rules;
977
+ primitives = primitives === VOID ? this.q2v_1 : primitives;
978
+ startTime = startTime === VOID ? this.r2v_1 : startTime;
979
+ maxDuration = maxDuration === VOID ? this.s2v_1 : maxDuration;
980
+ choicePoints = choicePoints === VOID ? this.t2v_1 : choicePoints;
981
+ parent = parent === VOID ? this.u2v_1 : parent;
982
+ depth = depth === VOID ? this.v2v_1 : depth;
983
+ step = step === VOID ? this.w2v_1 : step;
984
+ relevantVariables = relevantVariables === VOID ? this.x2v_1 : relevantVariables;
985
+ return $super === VOID ? this.v2y(procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables) : $super.v2y.call(this, procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables);
986
986
  };
987
987
  protoOf(ClassicExecutionContext).hashCode = function () {
988
- var result = this.w2t_1 == null ? 0 : this.w2t_1.hashCode();
989
- result = imul(result, 31) + hashCode(this.x2t_1) | 0;
990
- result = imul(result, 31) + hashCode(this.y2t_1) | 0;
991
- result = imul(result, 31) + this.z2t_1.hashCode() | 0;
992
- result = imul(result, 31) + hashCode(this.a2u_1) | 0;
993
- result = imul(result, 31) + hashCode(this.b2u_1) | 0;
994
- result = imul(result, 31) + this.c2u_1.hashCode() | 0;
995
- result = imul(result, 31) + hashCode(this.d2u_1) | 0;
996
- result = imul(result, 31) + hashCode(this.e2u_1) | 0;
997
- result = imul(result, 31) + this.f2u_1.hashCode() | 0;
998
- result = imul(result, 31) + hashCode(this.g2u_1) | 0;
999
- result = imul(result, 31) + this.h2u_1.hashCode() | 0;
1000
- result = imul(result, 31) + hashCode(this.i2u_1) | 0;
1001
- result = imul(result, 31) + hashCode(this.j2u_1) | 0;
1002
- result = imul(result, 31) + hashCode(this.k2u_1) | 0;
1003
- result = imul(result, 31) + this.l2u_1.hashCode() | 0;
1004
- result = imul(result, 31) + this.m2u_1.hashCode() | 0;
1005
- result = imul(result, 31) + (this.n2u_1 == null ? 0 : hashCode(this.n2u_1)) | 0;
1006
- result = imul(result, 31) + (this.o2u_1 == null ? 0 : this.o2u_1.hashCode()) | 0;
1007
- result = imul(result, 31) + this.p2u_1 | 0;
1008
- result = imul(result, 31) + this.q2u_1.hashCode() | 0;
1009
- result = imul(result, 31) + hashCode(this.r2u_1) | 0;
988
+ var result = this.c2v_1 == null ? 0 : this.c2v_1.hashCode();
989
+ result = imul(result, 31) + hashCode(this.d2v_1) | 0;
990
+ result = imul(result, 31) + hashCode(this.e2v_1) | 0;
991
+ result = imul(result, 31) + this.f2v_1.hashCode() | 0;
992
+ result = imul(result, 31) + hashCode(this.g2v_1) | 0;
993
+ result = imul(result, 31) + hashCode(this.h2v_1) | 0;
994
+ result = imul(result, 31) + this.i2v_1.hashCode() | 0;
995
+ result = imul(result, 31) + hashCode(this.j2v_1) | 0;
996
+ result = imul(result, 31) + hashCode(this.k2v_1) | 0;
997
+ result = imul(result, 31) + this.l2v_1.hashCode() | 0;
998
+ result = imul(result, 31) + hashCode(this.m2v_1) | 0;
999
+ result = imul(result, 31) + this.n2v_1.hashCode() | 0;
1000
+ result = imul(result, 31) + hashCode(this.o2v_1) | 0;
1001
+ result = imul(result, 31) + hashCode(this.p2v_1) | 0;
1002
+ result = imul(result, 31) + hashCode(this.q2v_1) | 0;
1003
+ result = imul(result, 31) + this.r2v_1.hashCode() | 0;
1004
+ result = imul(result, 31) + this.s2v_1.hashCode() | 0;
1005
+ result = imul(result, 31) + (this.t2v_1 == null ? 0 : hashCode(this.t2v_1)) | 0;
1006
+ result = imul(result, 31) + (this.u2v_1 == null ? 0 : this.u2v_1.hashCode()) | 0;
1007
+ result = imul(result, 31) + this.v2v_1 | 0;
1008
+ result = imul(result, 31) + this.w2v_1.hashCode() | 0;
1009
+ result = imul(result, 31) + hashCode(this.x2v_1) | 0;
1010
1010
  return result;
1011
1011
  };
1012
1012
  protoOf(ClassicExecutionContext).equals = function (other) {
@@ -1015,55 +1015,55 @@
1015
1015
  if (!(other instanceof ClassicExecutionContext))
1016
1016
  return false;
1017
1017
  var tmp0_other_with_cast = other instanceof ClassicExecutionContext ? other : THROW_CCE();
1018
- if (!equals(this.w2t_1, tmp0_other_with_cast.w2t_1))
1018
+ if (!equals(this.c2v_1, tmp0_other_with_cast.c2v_1))
1019
1019
  return false;
1020
- if (!equals(this.x2t_1, tmp0_other_with_cast.x2t_1))
1020
+ if (!equals(this.d2v_1, tmp0_other_with_cast.d2v_1))
1021
1021
  return false;
1022
- if (!equals(this.y2t_1, tmp0_other_with_cast.y2t_1))
1022
+ if (!equals(this.e2v_1, tmp0_other_with_cast.e2v_1))
1023
1023
  return false;
1024
- if (!this.z2t_1.equals(tmp0_other_with_cast.z2t_1))
1024
+ if (!this.f2v_1.equals(tmp0_other_with_cast.f2v_1))
1025
1025
  return false;
1026
- if (!equals(this.a2u_1, tmp0_other_with_cast.a2u_1))
1026
+ if (!equals(this.g2v_1, tmp0_other_with_cast.g2v_1))
1027
1027
  return false;
1028
- if (!equals(this.b2u_1, tmp0_other_with_cast.b2u_1))
1028
+ if (!equals(this.h2v_1, tmp0_other_with_cast.h2v_1))
1029
1029
  return false;
1030
- if (!this.c2u_1.equals(tmp0_other_with_cast.c2u_1))
1030
+ if (!this.i2v_1.equals(tmp0_other_with_cast.i2v_1))
1031
1031
  return false;
1032
- if (!equals(this.d2u_1, tmp0_other_with_cast.d2u_1))
1032
+ if (!equals(this.j2v_1, tmp0_other_with_cast.j2v_1))
1033
1033
  return false;
1034
- if (!equals(this.e2u_1, tmp0_other_with_cast.e2u_1))
1034
+ if (!equals(this.k2v_1, tmp0_other_with_cast.k2v_1))
1035
1035
  return false;
1036
- if (!this.f2u_1.equals(tmp0_other_with_cast.f2u_1))
1036
+ if (!this.l2v_1.equals(tmp0_other_with_cast.l2v_1))
1037
1037
  return false;
1038
- if (!equals(this.g2u_1, tmp0_other_with_cast.g2u_1))
1038
+ if (!equals(this.m2v_1, tmp0_other_with_cast.m2v_1))
1039
1039
  return false;
1040
- if (!this.h2u_1.equals(tmp0_other_with_cast.h2u_1))
1040
+ if (!this.n2v_1.equals(tmp0_other_with_cast.n2v_1))
1041
1041
  return false;
1042
- if (!equals(this.i2u_1, tmp0_other_with_cast.i2u_1))
1042
+ if (!equals(this.o2v_1, tmp0_other_with_cast.o2v_1))
1043
1043
  return false;
1044
- if (!equals(this.j2u_1, tmp0_other_with_cast.j2u_1))
1044
+ if (!equals(this.p2v_1, tmp0_other_with_cast.p2v_1))
1045
1045
  return false;
1046
- if (!equals(this.k2u_1, tmp0_other_with_cast.k2u_1))
1046
+ if (!equals(this.q2v_1, tmp0_other_with_cast.q2v_1))
1047
1047
  return false;
1048
- if (!this.l2u_1.equals(tmp0_other_with_cast.l2u_1))
1048
+ if (!this.r2v_1.equals(tmp0_other_with_cast.r2v_1))
1049
1049
  return false;
1050
- if (!this.m2u_1.equals(tmp0_other_with_cast.m2u_1))
1050
+ if (!this.s2v_1.equals(tmp0_other_with_cast.s2v_1))
1051
1051
  return false;
1052
- if (!equals(this.n2u_1, tmp0_other_with_cast.n2u_1))
1052
+ if (!equals(this.t2v_1, tmp0_other_with_cast.t2v_1))
1053
1053
  return false;
1054
- if (!equals(this.o2u_1, tmp0_other_with_cast.o2u_1))
1054
+ if (!equals(this.u2v_1, tmp0_other_with_cast.u2v_1))
1055
1055
  return false;
1056
- if (!(this.p2u_1 === tmp0_other_with_cast.p2u_1))
1056
+ if (!(this.v2v_1 === tmp0_other_with_cast.v2v_1))
1057
1057
  return false;
1058
- if (!this.q2u_1.equals(tmp0_other_with_cast.q2u_1))
1058
+ if (!this.w2v_1.equals(tmp0_other_with_cast.w2v_1))
1059
1059
  return false;
1060
- if (!equals(this.r2u_1, tmp0_other_with_cast.r2u_1))
1060
+ if (!equals(this.x2v_1, tmp0_other_with_cast.x2v_1))
1061
1061
  return false;
1062
1062
  return true;
1063
1063
  };
1064
1064
  function currentGoal$factory() {
1065
1065
  return getPropertyCallableRef('currentGoal', 1, KProperty1, function (receiver) {
1066
- return receiver.k2x();
1066
+ return receiver.q2y();
1067
1067
  }, null);
1068
1068
  }
1069
1069
  function interestingVariables$factory() {
@@ -1110,10 +1110,10 @@
1110
1110
  function ClassicSolver_init_$Create$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb) {
1111
1111
  return ClassicSolver_init_$Init$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb, objectCreate(protoOf(ClassicSolver)));
1112
1112
  }
1113
- protoOf(ClassicSolver).y2u = function (initialState, onStateTransition) {
1114
- return Companion_getInstance_22().r2x(initialState, onStateTransition);
1113
+ protoOf(ClassicSolver).e2w = function (initialState, onStateTransition) {
1114
+ return Companion_getInstance_22().x2y(initialState, onStateTransition);
1115
1115
  };
1116
- protoOf(ClassicSolver).x1t = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
1116
+ protoOf(ClassicSolver).h1u = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
1117
1117
  return ClassicSolver_init_$Create$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings);
1118
1118
  };
1119
1119
  protoOf(ClassicSolver).u1p = function () {
@@ -1127,19 +1127,19 @@
1127
1127
  function ClassicSolverFactory() {
1128
1128
  ClassicSolverFactory_instance = this;
1129
1129
  }
1130
- protoOf(ClassicSolverFactory).z1t = function () {
1130
+ protoOf(ClassicSolverFactory).n1u = function () {
1131
1131
  return DefaultBuiltins_getInstance();
1132
1132
  };
1133
- protoOf(ClassicSolverFactory).k1u = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs) {
1133
+ protoOf(ClassicSolverFactory).y1u = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs) {
1134
1134
  return ClassicSolver_init_$Create$(unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs);
1135
1135
  };
1136
- protoOf(ClassicSolverFactory).q1u = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
1136
+ protoOf(ClassicSolverFactory).e1v = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
1137
1137
  return ClassicSolver_init_$Create$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings);
1138
1138
  };
1139
- protoOf(ClassicSolverFactory).s1u = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
1139
+ protoOf(ClassicSolverFactory).g1v = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
1140
1140
  return MutableClassicSolver_init_$Create$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings);
1141
1141
  };
1142
- protoOf(ClassicSolverFactory).u1u = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs) {
1142
+ protoOf(ClassicSolverFactory).i1v = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs) {
1143
1143
  return MutableClassicSolver_init_$Create$(unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs);
1144
1144
  };
1145
1145
  var ClassicSolverFactory_instance;
@@ -1184,186 +1184,186 @@
1184
1184
  }
1185
1185
  function MutableClassicSolver$loadLibrary$lambda($library) {
1186
1186
  return function ($this$updateContext) {
1187
- var newRuntime = $this$updateContext.y2t_1.plusLibrary($library);
1188
- return $this$updateContext.n2v(VOID, VOID, newRuntime, VOID, VOID, VOID, $this$updateContext.c2u_1.plusOperatorSet(toOperatorSet(getAllOperators(newRuntime, []))));
1187
+ var newRuntime = $this$updateContext.e2v_1.plusLibrary($library);
1188
+ return $this$updateContext.t2w(VOID, VOID, newRuntime, VOID, VOID, VOID, $this$updateContext.i2v_1.plusOperatorSet(toOperatorSet(getAllOperators(newRuntime, []))));
1189
1189
  };
1190
1190
  }
1191
1191
  function MutableClassicSolver$unloadLibrary$lambda($library) {
1192
1192
  return function ($this$updateContext) {
1193
- var newRuntime = $this$updateContext.y2t_1.plusLibrary($library);
1194
- return $this$updateContext.n2v(VOID, VOID, newRuntime, VOID, VOID, VOID, toOperatorSet(getAllOperators(newRuntime, [$this$updateContext.a2u_1, $this$updateContext.b2u_1])));
1193
+ var newRuntime = $this$updateContext.e2v_1.plusLibrary($library);
1194
+ return $this$updateContext.t2w(VOID, VOID, newRuntime, VOID, VOID, VOID, toOperatorSet(getAllOperators(newRuntime, [$this$updateContext.g2v_1, $this$updateContext.h2v_1])));
1195
1195
  };
1196
1196
  }
1197
1197
  function MutableClassicSolver$setRuntime$lambda($libraries) {
1198
1198
  return function ($this$updateContext) {
1199
- return $this$updateContext.n2v(VOID, VOID, $libraries, VOID, VOID, VOID, toOperatorSet(getAllOperators($libraries, [$this$updateContext.a2u_1, $this$updateContext.b2u_1])));
1199
+ return $this$updateContext.t2w(VOID, VOID, $libraries, VOID, VOID, VOID, toOperatorSet(getAllOperators($libraries, [$this$updateContext.g2v_1, $this$updateContext.h2v_1])));
1200
1200
  };
1201
1201
  }
1202
1202
  function MutableClassicSolver$resetStaticKb$lambda($this$updateContext) {
1203
- return $this$updateContext.n2v(VOID, VOID, VOID, VOID, Companion_getInstance_2().empty($this$updateContext.x2t_1), VOID, toOperatorSet(getAllOperators($this$updateContext.y2t_1, [$this$updateContext.b2u_1])));
1203
+ return $this$updateContext.t2w(VOID, VOID, VOID, VOID, Companion_getInstance_2().empty($this$updateContext.d2v_1), VOID, toOperatorSet(getAllOperators($this$updateContext.e2v_1, [$this$updateContext.h2v_1])));
1204
1204
  }
1205
1205
  function MutableClassicSolver$resetDynamicKb$lambda($this$updateContext) {
1206
- return $this$updateContext.n2v(VOID, VOID, VOID, VOID, VOID, Companion_getInstance_3().empty($this$updateContext.x2t_1), toOperatorSet(getAllOperators($this$updateContext.y2t_1, [$this$updateContext.a2u_1])));
1206
+ return $this$updateContext.t2w(VOID, VOID, VOID, VOID, VOID, Companion_getInstance_3().empty($this$updateContext.d2v_1), toOperatorSet(getAllOperators($this$updateContext.e2v_1, [$this$updateContext.g2v_1])));
1207
1207
  }
1208
1208
  function MutableClassicSolver$assertA$lambda($clause) {
1209
1209
  return function ($this$updateContext) {
1210
- return $this$updateContext.n2v(VOID, VOID, VOID, VOID, VOID, $this$updateContext.b2u_1.k1p($clause), $this$updateContext.c2u_1.plusOperatorSet(toOperatorSet(getAllOperators_0(listOf($clause)))));
1210
+ return $this$updateContext.t2w(VOID, VOID, VOID, VOID, VOID, $this$updateContext.h2v_1.k1p($clause), $this$updateContext.i2v_1.plusOperatorSet(toOperatorSet(getAllOperators_0(listOf($clause)))));
1211
1211
  };
1212
1212
  }
1213
1213
  function MutableClassicSolver$assertA$lambda_0($fact) {
1214
1214
  return function ($this$updateContext) {
1215
- return $this$updateContext.n2v(VOID, VOID, VOID, VOID, VOID, $this$updateContext.b2u_1.x1p($fact));
1215
+ return $this$updateContext.t2w(VOID, VOID, VOID, VOID, VOID, $this$updateContext.h2v_1.x1p($fact));
1216
1216
  };
1217
1217
  }
1218
1218
  function MutableClassicSolver$assertZ$lambda($clause) {
1219
1219
  return function ($this$updateContext) {
1220
- return $this$updateContext.n2v(VOID, VOID, VOID, VOID, VOID, $this$updateContext.b2u_1.o1p($clause), $this$updateContext.c2u_1.plusOperatorSet(toOperatorSet(getAllOperators_0(listOf($clause)))));
1220
+ return $this$updateContext.t2w(VOID, VOID, VOID, VOID, VOID, $this$updateContext.h2v_1.o1p($clause), $this$updateContext.i2v_1.plusOperatorSet(toOperatorSet(getAllOperators_0(listOf($clause)))));
1221
1221
  };
1222
1222
  }
1223
1223
  function MutableClassicSolver$assertZ$lambda_0($fact) {
1224
1224
  return function ($this$updateContext) {
1225
- return $this$updateContext.n2v(VOID, VOID, VOID, VOID, VOID, $this$updateContext.b2u_1.y1p($fact));
1225
+ return $this$updateContext.t2w(VOID, VOID, VOID, VOID, VOID, $this$updateContext.h2v_1.y1p($fact));
1226
1226
  };
1227
1227
  }
1228
1228
  function MutableClassicSolver$retract$lambda($result, $clause) {
1229
1229
  return function ($this$updateContext) {
1230
- return $this$updateContext.n2v(VOID, VOID, VOID, VOID, VOID, $result.c1p().toMutableTheory(), $this$updateContext.c2u_1.minusOperatorSet(toOperatorSet(getAllOperators_0(listOf($clause)))));
1230
+ return $this$updateContext.t2w(VOID, VOID, VOID, VOID, VOID, $result.c1p().toMutableTheory(), $this$updateContext.i2v_1.minusOperatorSet(toOperatorSet(getAllOperators_0(listOf($clause)))));
1231
1231
  };
1232
1232
  }
1233
1233
  function MutableClassicSolver$retract$lambda_0($result) {
1234
1234
  return function ($this$updateContext) {
1235
- return $this$updateContext.n2v(VOID, VOID, VOID, VOID, VOID, $result.c1p().toMutableTheory());
1235
+ return $this$updateContext.t2w(VOID, VOID, VOID, VOID, VOID, $result.c1p().toMutableTheory());
1236
1236
  };
1237
1237
  }
1238
1238
  function MutableClassicSolver$retractAll$lambda($result) {
1239
1239
  return function ($this$updateContext) {
1240
- return $this$updateContext.n2v(VOID, VOID, VOID, VOID, VOID, $result.c1p().toMutableTheory(), $this$updateContext.c2u_1.minusOperatorSet(toOperatorSet(getAllOperators_0($result.c1p()))));
1240
+ return $this$updateContext.t2w(VOID, VOID, VOID, VOID, VOID, $result.c1p().toMutableTheory(), $this$updateContext.i2v_1.minusOperatorSet(toOperatorSet(getAllOperators_0($result.c1p()))));
1241
1241
  };
1242
1242
  }
1243
1243
  function MutableClassicSolver$retractAll$lambda_0($result) {
1244
1244
  return function ($this$updateContext) {
1245
- return $this$updateContext.n2v(VOID, VOID, VOID, VOID, VOID, $result.c1p().toMutableTheory());
1245
+ return $this$updateContext.t2w(VOID, VOID, VOID, VOID, VOID, $result.c1p().toMutableTheory());
1246
1246
  };
1247
1247
  }
1248
1248
  function MutableClassicSolver$setFlag$lambda($name, $value) {
1249
1249
  return function ($this$updateContext) {
1250
- return $this$updateContext.n2v(VOID, VOID, VOID, $this$updateContext.z2t_1.set($name, $value));
1250
+ return $this$updateContext.t2w(VOID, VOID, VOID, $this$updateContext.f2v_1.set($name, $value));
1251
1251
  };
1252
1252
  }
1253
1253
  function MutableClassicSolver$setFlag$lambda_0($flag) {
1254
1254
  return function ($this$updateContext) {
1255
- return $this$updateContext.n2v(VOID, VOID, VOID, $this$updateContext.z2t_1.plusPair($flag));
1255
+ return $this$updateContext.t2w(VOID, VOID, VOID, $this$updateContext.f2v_1.plusPair($flag));
1256
1256
  };
1257
1257
  }
1258
1258
  function MutableClassicSolver$setFlag$lambda_1($flag) {
1259
1259
  return function ($this$updateContext) {
1260
- return $this$updateContext.n2v(VOID, VOID, VOID, $this$updateContext.z2t_1.plusNotable($flag));
1260
+ return $this$updateContext.t2w(VOID, VOID, VOID, $this$updateContext.f2v_1.plusNotable($flag));
1261
1261
  };
1262
1262
  }
1263
1263
  function MutableClassicSolver$setStandardInput$lambda($stdIn) {
1264
1264
  return function ($this$updateContext) {
1265
1265
  Companion_getInstance_6();
1266
- return $this$updateContext.n2v(VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this$updateContext.d2u_1.plus(to('stdin', $stdIn)));
1266
+ return $this$updateContext.t2w(VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this$updateContext.j2v_1.plus(to('stdin', $stdIn)));
1267
1267
  };
1268
1268
  }
1269
1269
  function MutableClassicSolver$setStandardError$lambda($stdErr) {
1270
1270
  return function ($this$updateContext) {
1271
1271
  Companion_getInstance_7();
1272
- return $this$updateContext.n2v(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this$updateContext.e2u_1.plus(to('stderr', $stdErr)));
1272
+ return $this$updateContext.t2w(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this$updateContext.k2v_1.plus(to('stderr', $stdErr)));
1273
1273
  };
1274
1274
  }
1275
1275
  function MutableClassicSolver$setStandardOutput$lambda($stdOut) {
1276
1276
  return function ($this$updateContext) {
1277
1277
  Companion_getInstance_7();
1278
- return $this$updateContext.n2v(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this$updateContext.e2u_1.plus(to('stdout', $stdOut)));
1278
+ return $this$updateContext.t2w(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this$updateContext.k2v_1.plus(to('stdout', $stdOut)));
1279
1279
  };
1280
1280
  }
1281
1281
  function MutableClassicSolver$setWarnings$lambda($warnings) {
1282
1282
  return function ($this$updateContext) {
1283
- return $this$updateContext.n2v(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, Companion_getInstance_7().i1v($this$updateContext.e2u_1, $warnings));
1283
+ return $this$updateContext.t2w(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, Companion_getInstance_7().w1v($this$updateContext.k2v_1, $warnings));
1284
1284
  };
1285
1285
  }
1286
- protoOf(MutableClassicSolver).t2x = function (library) {
1287
- this.c27(MutableClassicSolver$loadLibrary$lambda(library));
1286
+ protoOf(MutableClassicSolver).z2y = function (library) {
1287
+ this.q27(MutableClassicSolver$loadLibrary$lambda(library));
1288
1288
  };
1289
1289
  protoOf(MutableClassicSolver).loadLibrary = function (library) {
1290
- return this.t2x(library);
1290
+ return this.z2y(library);
1291
1291
  };
1292
- protoOf(MutableClassicSolver).u2x = function (library) {
1293
- this.c27(MutableClassicSolver$unloadLibrary$lambda(library));
1292
+ protoOf(MutableClassicSolver).a2z = function (library) {
1293
+ this.q27(MutableClassicSolver$unloadLibrary$lambda(library));
1294
1294
  };
1295
1295
  protoOf(MutableClassicSolver).unloadLibrary = function (library) {
1296
- return this.u2x(library);
1296
+ return this.a2z(library);
1297
1297
  };
1298
- protoOf(MutableClassicSolver).v2x = function (libraries) {
1299
- this.c27(MutableClassicSolver$setRuntime$lambda(libraries));
1298
+ protoOf(MutableClassicSolver).b2z = function (libraries) {
1299
+ this.q27(MutableClassicSolver$setRuntime$lambda(libraries));
1300
1300
  };
1301
1301
  protoOf(MutableClassicSolver).setLibraries = function (libraries) {
1302
- return this.v2x(libraries);
1302
+ return this.b2z(libraries);
1303
1303
  };
1304
- protoOf(MutableClassicSolver).w2x = function (theory) {
1305
- this.g27(theory, VOID, false);
1304
+ protoOf(MutableClassicSolver).c2z = function (theory) {
1305
+ this.u27(theory, VOID, false);
1306
1306
  };
1307
1307
  protoOf(MutableClassicSolver).loadStaticKb = function (theory) {
1308
- return this.w2x(theory);
1308
+ return this.c2z(theory);
1309
1309
  };
1310
- protoOf(MutableClassicSolver).x2x = function (theory) {
1311
- this.g27(theory);
1310
+ protoOf(MutableClassicSolver).d2z = function (theory) {
1311
+ this.u27(theory);
1312
1312
  };
1313
1313
  protoOf(MutableClassicSolver).appendStaticKb = function (theory) {
1314
- return this.x2x(theory);
1314
+ return this.d2z(theory);
1315
1315
  };
1316
- protoOf(MutableClassicSolver).y2x = function () {
1317
- this.c27(MutableClassicSolver$resetStaticKb$lambda);
1316
+ protoOf(MutableClassicSolver).e2z = function () {
1317
+ this.q27(MutableClassicSolver$resetStaticKb$lambda);
1318
1318
  };
1319
1319
  protoOf(MutableClassicSolver).resetStaticKb = function () {
1320
- return this.y2x();
1320
+ return this.e2z();
1321
1321
  };
1322
- protoOf(MutableClassicSolver).z2x = function (theory) {
1323
- this.g27(VOID, theory, VOID, false);
1322
+ protoOf(MutableClassicSolver).f2z = function (theory) {
1323
+ this.u27(VOID, theory, VOID, false);
1324
1324
  };
1325
1325
  protoOf(MutableClassicSolver).loadDynamicKb = function (theory) {
1326
- return this.z2x(theory);
1326
+ return this.f2z(theory);
1327
1327
  };
1328
- protoOf(MutableClassicSolver).a2y = function (theory) {
1329
- this.g27(VOID, theory);
1328
+ protoOf(MutableClassicSolver).g2z = function (theory) {
1329
+ this.u27(VOID, theory);
1330
1330
  };
1331
1331
  protoOf(MutableClassicSolver).appendDynamicKb = function (theory) {
1332
- return this.a2y(theory);
1332
+ return this.g2z(theory);
1333
1333
  };
1334
- protoOf(MutableClassicSolver).b2y = function () {
1335
- this.c27(MutableClassicSolver$resetDynamicKb$lambda);
1334
+ protoOf(MutableClassicSolver).h2z = function () {
1335
+ this.q27(MutableClassicSolver$resetDynamicKb$lambda);
1336
1336
  };
1337
1337
  protoOf(MutableClassicSolver).resetDynamicKb = function () {
1338
- return this.b2y();
1338
+ return this.h2z();
1339
1339
  };
1340
1340
  protoOf(MutableClassicSolver).r1j = function (clause) {
1341
- this.c27(MutableClassicSolver$assertA$lambda(clause));
1341
+ this.q27(MutableClassicSolver$assertA$lambda(clause));
1342
1342
  };
1343
1343
  protoOf(MutableClassicSolver).assertA = function (clause) {
1344
1344
  return this.r1j(clause);
1345
1345
  };
1346
- protoOf(MutableClassicSolver).c2y = function (fact) {
1347
- this.c27(MutableClassicSolver$assertA$lambda_0(fact));
1346
+ protoOf(MutableClassicSolver).i2z = function (fact) {
1347
+ this.q27(MutableClassicSolver$assertA$lambda_0(fact));
1348
1348
  };
1349
1349
  protoOf(MutableClassicSolver).assertAFact = function (fact) {
1350
- return this.c2y(fact);
1350
+ return this.i2z(fact);
1351
1351
  };
1352
1352
  protoOf(MutableClassicSolver).r1i = function (clause) {
1353
- this.c27(MutableClassicSolver$assertZ$lambda(clause));
1353
+ this.q27(MutableClassicSolver$assertZ$lambda(clause));
1354
1354
  };
1355
1355
  protoOf(MutableClassicSolver).assertZ = function (clause) {
1356
1356
  return this.r1i(clause);
1357
1357
  };
1358
- protoOf(MutableClassicSolver).d2y = function (fact) {
1359
- this.c27(MutableClassicSolver$assertZ$lambda_0(fact));
1358
+ protoOf(MutableClassicSolver).j2z = function (fact) {
1359
+ this.q27(MutableClassicSolver$assertZ$lambda_0(fact));
1360
1360
  };
1361
1361
  protoOf(MutableClassicSolver).assertZFact = function (fact) {
1362
- return this.d2y(fact);
1362
+ return this.j2z(fact);
1363
1363
  };
1364
1364
  protoOf(MutableClassicSolver).z1p = function (clause) {
1365
1365
  var result = this.t1r().retract(clause);
1366
- this.c27(MutableClassicSolver$retract$lambda(result, clause));
1366
+ this.q27(MutableClassicSolver$retract$lambda(result, clause));
1367
1367
  return result;
1368
1368
  };
1369
1369
  protoOf(MutableClassicSolver).retract = function (clause) {
@@ -1371,7 +1371,7 @@
1371
1371
  };
1372
1372
  protoOf(MutableClassicSolver).a1q = function (fact) {
1373
1373
  var result = this.t1r().retractByHead(fact);
1374
- this.c27(MutableClassicSolver$retract$lambda_0(result));
1374
+ this.q27(MutableClassicSolver$retract$lambda_0(result));
1375
1375
  return result;
1376
1376
  };
1377
1377
  protoOf(MutableClassicSolver).retractByHead = function (fact) {
@@ -1379,63 +1379,63 @@
1379
1379
  };
1380
1380
  protoOf(MutableClassicSolver).x1i = function (clause) {
1381
1381
  var result = this.t1r().retractAll(clause);
1382
- this.c27(MutableClassicSolver$retractAll$lambda(result));
1382
+ this.q27(MutableClassicSolver$retractAll$lambda(result));
1383
1383
  return result;
1384
1384
  };
1385
1385
  protoOf(MutableClassicSolver).retractAll = function (clause) {
1386
1386
  return this.x1i(clause);
1387
1387
  };
1388
- protoOf(MutableClassicSolver).e2y = function (fact) {
1388
+ protoOf(MutableClassicSolver).k2z = function (fact) {
1389
1389
  var result = this.t1r().retractAllByHead(fact);
1390
- this.c27(MutableClassicSolver$retractAll$lambda_0(result));
1390
+ this.q27(MutableClassicSolver$retractAll$lambda_0(result));
1391
1391
  return result;
1392
1392
  };
1393
1393
  protoOf(MutableClassicSolver).retractAllBeHead = function (fact) {
1394
- return this.e2y(fact);
1394
+ return this.k2z(fact);
1395
1395
  };
1396
- protoOf(MutableClassicSolver).f2y = function (name, value) {
1397
- this.c27(MutableClassicSolver$setFlag$lambda(name, value));
1396
+ protoOf(MutableClassicSolver).l2z = function (name, value) {
1397
+ this.q27(MutableClassicSolver$setFlag$lambda(name, value));
1398
1398
  };
1399
1399
  protoOf(MutableClassicSolver).setFlag = function (name, value) {
1400
- return this.f2y(name, value);
1400
+ return this.l2z(name, value);
1401
1401
  };
1402
- protoOf(MutableClassicSolver).g2y = function (flag) {
1403
- this.c27(MutableClassicSolver$setFlag$lambda_0(flag));
1402
+ protoOf(MutableClassicSolver).m2z = function (flag) {
1403
+ this.q27(MutableClassicSolver$setFlag$lambda_0(flag));
1404
1404
  };
1405
1405
  protoOf(MutableClassicSolver).setFlagPair = function (flag) {
1406
- return this.g2y(flag);
1406
+ return this.m2z(flag);
1407
1407
  };
1408
- protoOf(MutableClassicSolver).h2y = function (flag) {
1409
- this.c27(MutableClassicSolver$setFlag$lambda_1(flag));
1408
+ protoOf(MutableClassicSolver).n2z = function (flag) {
1409
+ this.q27(MutableClassicSolver$setFlag$lambda_1(flag));
1410
1410
  };
1411
1411
  protoOf(MutableClassicSolver).setFlagNotable = function (flag) {
1412
- return this.h2y(flag);
1412
+ return this.n2z(flag);
1413
1413
  };
1414
- protoOf(MutableClassicSolver).i2y = function (stdIn) {
1415
- this.c27(MutableClassicSolver$setStandardInput$lambda(stdIn));
1414
+ protoOf(MutableClassicSolver).o2z = function (stdIn) {
1415
+ this.q27(MutableClassicSolver$setStandardInput$lambda(stdIn));
1416
1416
  };
1417
1417
  protoOf(MutableClassicSolver).setStandardInput = function (stdIn) {
1418
- return this.i2y(stdIn);
1418
+ return this.o2z(stdIn);
1419
1419
  };
1420
- protoOf(MutableClassicSolver).j2y = function (stdErr) {
1421
- this.c27(MutableClassicSolver$setStandardError$lambda(stdErr));
1420
+ protoOf(MutableClassicSolver).p2z = function (stdErr) {
1421
+ this.q27(MutableClassicSolver$setStandardError$lambda(stdErr));
1422
1422
  };
1423
1423
  protoOf(MutableClassicSolver).setStandardError = function (stdErr) {
1424
- return this.j2y(stdErr);
1424
+ return this.p2z(stdErr);
1425
1425
  };
1426
- protoOf(MutableClassicSolver).k2y = function (stdOut) {
1427
- this.c27(MutableClassicSolver$setStandardOutput$lambda(stdOut));
1426
+ protoOf(MutableClassicSolver).q2z = function (stdOut) {
1427
+ this.q27(MutableClassicSolver$setStandardOutput$lambda(stdOut));
1428
1428
  };
1429
1429
  protoOf(MutableClassicSolver).setStandardOutput = function (stdOut) {
1430
- return this.k2y(stdOut);
1430
+ return this.q2z(stdOut);
1431
1431
  };
1432
- protoOf(MutableClassicSolver).l2y = function (warnings) {
1433
- this.c27(MutableClassicSolver$setWarnings$lambda(warnings));
1432
+ protoOf(MutableClassicSolver).r2z = function (warnings) {
1433
+ this.q27(MutableClassicSolver$setWarnings$lambda(warnings));
1434
1434
  };
1435
1435
  protoOf(MutableClassicSolver).setWarnings = function (warnings) {
1436
- return this.l2y(warnings);
1436
+ return this.r2z(warnings);
1437
1437
  };
1438
- protoOf(MutableClassicSolver).x1t = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
1438
+ protoOf(MutableClassicSolver).h1u = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
1439
1439
  return MutableClassicSolver_init_$Create$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings);
1440
1440
  };
1441
1441
  protoOf(MutableClassicSolver).u1p = function () {
@@ -1452,7 +1452,7 @@
1452
1452
  function Companion() {
1453
1453
  Companion_instance = this;
1454
1454
  }
1455
- protoOf(Companion).r2x = function (initialState, onStateTransition) {
1455
+ protoOf(Companion).x2y = function (initialState, onStateTransition) {
1456
1456
  return new SimpleSolutionIterator(initialState, onStateTransition);
1457
1457
  };
1458
1458
  protoOf(Companion).of = function (initialState, onStateTransition, $super) {
@@ -1463,7 +1463,7 @@
1463
1463
  tmp = onStateTransition;
1464
1464
  }
1465
1465
  onStateTransition = tmp;
1466
- return $super === VOID ? this.r2x(initialState, onStateTransition) : $super.r2x.call(this, initialState, onStateTransition);
1466
+ return $super === VOID ? this.x2y(initialState, onStateTransition) : $super.x2y.call(this, initialState, onStateTransition);
1467
1467
  };
1468
1468
  var Companion_instance;
1469
1469
  function Companion_getInstance_22() {
@@ -1473,79 +1473,79 @@
1473
1473
  }
1474
1474
  function AbstractEndState(solution, context) {
1475
1475
  AbstractState.call(this, context);
1476
- this.o2y_1 = solution;
1477
- this.p2y_1 = context;
1476
+ this.u2z_1 = solution;
1477
+ this.v2z_1 = context;
1478
1478
  }
1479
- protoOf(AbstractEndState).s2d = function () {
1480
- return this.o2y_1;
1479
+ protoOf(AbstractEndState).g2e = function () {
1480
+ return this.u2z_1;
1481
1481
  };
1482
1482
  protoOf(AbstractEndState).j5 = function () {
1483
- return this.p2y_1;
1483
+ return this.v2z_1;
1484
1484
  };
1485
- protoOf(AbstractEndState).q2y = function () {
1485
+ protoOf(AbstractEndState).w2z = function () {
1486
1486
  throw NoSuchElementException_init_$Create$();
1487
1487
  };
1488
1488
  protoOf(AbstractEndState).asEndState = function () {
1489
- return this.s2y();
1489
+ return this.y2z();
1490
1490
  };
1491
1491
  function AbstractState$executionTime$delegate$lambda(this$0) {
1492
1492
  return function () {
1493
- return this$0.y2y();
1493
+ return this$0.e30();
1494
1494
  };
1495
1495
  }
1496
1496
  function AbstractState(context) {
1497
- this.t2y_1 = context;
1497
+ this.z2z_1 = context;
1498
1498
  var tmp = this;
1499
- tmp.u2y_1 = lazy(AbstractState$executionTime$delegate$lambda(this));
1499
+ tmp.a30_1 = lazy(AbstractState$executionTime$delegate$lambda(this));
1500
1500
  }
1501
1501
  protoOf(AbstractState).j5 = function () {
1502
- return this.t2y_1;
1502
+ return this.z2z_1;
1503
1503
  };
1504
- protoOf(AbstractState).w2y = function () {
1504
+ protoOf(AbstractState).c30 = function () {
1505
1505
  var tmp$ret$0;
1506
1506
  // Inline function 'kotlin.getValue' call
1507
1507
  var tmp0_getValue = executionTime$factory();
1508
- tmp$ret$0 = this.u2y_1.p2();
1508
+ tmp$ret$0 = this.a30_1.p2();
1509
1509
  return tmp$ret$0;
1510
1510
  };
1511
- protoOf(AbstractState).x2y = function () {
1512
- return this.w2y().tf(this.j5().l2u_1).f1(this.j5().m2u_1) > 0;
1511
+ protoOf(AbstractState).d30 = function () {
1512
+ return this.c30().tf(this.j5().r2v_1).f1(this.j5().s2v_1) > 0;
1513
1513
  };
1514
1514
  protoOf(AbstractState).n = function () {
1515
1515
  var tmp;
1516
- if (this.x2y()) {
1517
- var tmp0_exceededDuration = this.j5().m2u_1;
1516
+ if (this.d30()) {
1517
+ var tmp0_exceededDuration = this.j5().s2v_1;
1518
1518
  var tmp1_context = this.j5();
1519
- tmp = new StateHalt(TimeOutException_init_$Create$(VOID, VOID, tmp1_context, tmp0_exceededDuration), this.j5().n2v(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.z2y()));
1519
+ tmp = new StateHalt(TimeOutException_init_$Create$(VOID, VOID, tmp1_context, tmp0_exceededDuration), this.j5().t2w(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.f30()));
1520
1520
  } else {
1521
- tmp = this.q2y();
1521
+ tmp = this.w2z();
1522
1522
  }
1523
1523
  return tmp;
1524
1524
  };
1525
1525
  protoOf(AbstractState).next = function () {
1526
1526
  return this.n();
1527
1527
  };
1528
- protoOf(AbstractState).y2y = function () {
1528
+ protoOf(AbstractState).e30 = function () {
1529
1529
  return currentTimeInstant();
1530
1530
  };
1531
- protoOf(AbstractState).z2y = function () {
1531
+ protoOf(AbstractState).f30 = function () {
1532
1532
  var tmp$ret$0;
1533
1533
  // Inline function 'kotlin.Long.plus' call
1534
- var tmp0_plus = this.j5().q2u_1;
1534
+ var tmp0_plus = this.j5().w2v_1;
1535
1535
  tmp$ret$0 = tmp0_plus.sf(new Long(1, 0));
1536
1536
  return tmp$ret$0;
1537
1537
  };
1538
- protoOf(AbstractState).a2z = function (_this__u8e3s4) {
1538
+ protoOf(AbstractState).g30 = function (_this__u8e3s4) {
1539
1539
  var tmp$ret$2;
1540
1540
  $l$block: {
1541
1541
  // Inline function 'kotlin.sequences.first' call
1542
- var tmp0_first = _this__u8e3s4.s2u_1;
1542
+ var tmp0_first = _this__u8e3s4.y2v_1;
1543
1543
  var tmp0_iterator = tmp0_first.j();
1544
1544
  while (tmp0_iterator.m()) {
1545
1545
  var element = tmp0_iterator.n();
1546
1546
  var tmp$ret$1;
1547
1547
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.AbstractState.skipThrow.<anonymous>' call
1548
- var tmp0_safe_receiver = element.w2t_1;
1548
+ var tmp0_safe_receiver = element.c2v_1;
1549
1549
  var tmp = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.rt();
1550
1550
  var tmp$ret$0;
1551
1551
  // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
@@ -1563,7 +1563,7 @@
1563
1563
  };
1564
1564
  function executionTime$factory() {
1565
1565
  return getPropertyCallableRef('executionTime', 1, KProperty1, function (receiver) {
1566
- return receiver.w2y();
1566
+ return receiver.c30();
1567
1567
  }, null);
1568
1568
  }
1569
1569
  function EndState() {
@@ -1572,34 +1572,34 @@
1572
1572
  }
1573
1573
  function StateBacktracking(context) {
1574
1574
  AbstractState.call(this, context);
1575
- this.d2z_1 = context;
1575
+ this.j30_1 = context;
1576
1576
  }
1577
1577
  protoOf(StateBacktracking).j5 = function () {
1578
- return this.d2z_1;
1578
+ return this.j30_1;
1579
1579
  };
1580
- protoOf(StateBacktracking).q2y = function () {
1581
- var choicePoints = this.d2z_1.n2u_1;
1580
+ protoOf(StateBacktracking).w2z = function () {
1581
+ var choicePoints = this.j30_1.t2v_1;
1582
1582
  var tmp;
1583
1583
  var tmp$ret$1;
1584
1584
  // Inline function 'kotlin.let' call
1585
1585
  // Inline function 'kotlin.contracts.contract' call
1586
1586
  var tmp$ret$0;
1587
1587
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateBacktracking.computeNext.<anonymous>' call
1588
- tmp$ret$0 = choicePoints === null ? true : !choicePoints.u2v();
1588
+ tmp$ret$0 = choicePoints === null ? true : !choicePoints.a2x();
1589
1589
  tmp$ret$1 = tmp$ret$0;
1590
1590
  if (tmp$ret$1) {
1591
- tmp = new StateEnd(Companion_getInstance_14().no(this.d2z_1.h2u_1), this.d2z_1.n2v(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.z2y()));
1591
+ tmp = new StateEnd(Companion_getInstance_14().no(this.j30_1.n2v_1), this.j30_1.t2w(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.f30()));
1592
1592
  } else {
1593
1593
  var tmp$ret$3;
1594
1594
  $l$block: {
1595
1595
  // Inline function 'kotlin.sequences.first' call
1596
- var tmp0_first = ensureNotNull(choicePoints).v2v();
1596
+ var tmp0_first = ensureNotNull(choicePoints).b2x();
1597
1597
  var tmp0_iterator = tmp0_first.j();
1598
1598
  while (tmp0_iterator.m()) {
1599
1599
  var element = tmp0_iterator.n();
1600
1600
  var tmp$ret$2;
1601
1601
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateBacktracking.computeNext.<anonymous>' call
1602
- tmp$ret$2 = element.h2v().yo();
1602
+ tmp$ret$2 = element.n2w().yo();
1603
1603
  if (tmp$ret$2) {
1604
1604
  tmp$ret$3 = element;
1605
1605
  break $l$block;
@@ -1608,9 +1608,9 @@
1608
1608
  throw NoSuchElementException_init_$Create$_0('Sequence contains no element matching the predicate.');
1609
1609
  }
1610
1610
  var choicePointContext = tmp$ret$3;
1611
- var nextContext = choicePointContext.m2v(this.d2z_1);
1611
+ var nextContext = choicePointContext.s2w(this.j30_1);
1612
1612
  var tmp_0;
1613
- if (nextContext.k2u_1.yo()) {
1613
+ if (nextContext.q2v_1.yo()) {
1614
1614
  tmp_0 = new StatePrimitiveExecution(nextContext);
1615
1615
  } else {
1616
1616
  tmp_0 = new StateRuleExecution(nextContext);
@@ -1619,17 +1619,17 @@
1619
1619
  }
1620
1620
  return tmp;
1621
1621
  };
1622
- protoOf(StateBacktracking).v2y = function (context) {
1623
- return this.e2z(context);
1622
+ protoOf(StateBacktracking).b30 = function (context) {
1623
+ return this.k30(context);
1624
1624
  };
1625
- protoOf(StateBacktracking).e2z = function (context) {
1625
+ protoOf(StateBacktracking).k30 = function (context) {
1626
1626
  return new StateBacktracking(context);
1627
1627
  };
1628
1628
  protoOf(StateBacktracking).toString = function () {
1629
- return 'StateBacktracking(context=' + this.d2z_1 + ')';
1629
+ return 'StateBacktracking(context=' + this.j30_1 + ')';
1630
1630
  };
1631
1631
  protoOf(StateBacktracking).hashCode = function () {
1632
- return this.d2z_1.hashCode();
1632
+ return this.j30_1.hashCode();
1633
1633
  };
1634
1634
  protoOf(StateBacktracking).equals = function (other) {
1635
1635
  if (this === other)
@@ -1637,48 +1637,48 @@
1637
1637
  if (!(other instanceof StateBacktracking))
1638
1638
  return false;
1639
1639
  var tmp0_other_with_cast = other instanceof StateBacktracking ? other : THROW_CCE();
1640
- if (!this.d2z_1.equals(tmp0_other_with_cast.d2z_1))
1640
+ if (!this.j30_1.equals(tmp0_other_with_cast.j30_1))
1641
1641
  return false;
1642
1642
  return true;
1643
1643
  };
1644
1644
  function StateEnd(solution, context) {
1645
1645
  AbstractEndState.call(this, solution, context);
1646
- this.j2z_1 = solution;
1647
- this.k2z_1 = context;
1646
+ this.p30_1 = solution;
1647
+ this.q30_1 = context;
1648
1648
  }
1649
- protoOf(StateEnd).s2d = function () {
1650
- return this.j2z_1;
1649
+ protoOf(StateEnd).g2e = function () {
1650
+ return this.p30_1;
1651
1651
  };
1652
1652
  protoOf(StateEnd).j5 = function () {
1653
- return this.k2z_1;
1653
+ return this.q30_1;
1654
1654
  };
1655
- protoOf(StateEnd).x2y = function () {
1655
+ protoOf(StateEnd).d30 = function () {
1656
1656
  return false;
1657
1657
  };
1658
- protoOf(StateEnd).q2y = function () {
1658
+ protoOf(StateEnd).w2z = function () {
1659
1659
  var tmp;
1660
- if (this.k2z_1.u2v()) {
1661
- var tmp0_$this = this.k2z_1;
1662
- var tmp1_step = this.z2y();
1663
- var tmp2_startTime = this.y2y();
1664
- tmp = new StateBacktracking(tmp0_$this.n2v(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, tmp2_startTime, VOID, VOID, VOID, VOID, tmp1_step));
1660
+ if (this.q30_1.a2x()) {
1661
+ var tmp0_$this = this.q30_1;
1662
+ var tmp1_step = this.f30();
1663
+ var tmp2_startTime = this.e30();
1664
+ tmp = new StateBacktracking(tmp0_$this.t2w(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, tmp2_startTime, VOID, VOID, VOID, VOID, tmp1_step));
1665
1665
  } else {
1666
- tmp = protoOf(AbstractEndState).q2y.call(this);
1666
+ tmp = protoOf(AbstractEndState).w2z.call(this);
1667
1667
  }
1668
1668
  return tmp;
1669
1669
  };
1670
- protoOf(StateEnd).v2y = function (context) {
1671
- return this.l2z(this.j2z_1, context);
1670
+ protoOf(StateEnd).b30 = function (context) {
1671
+ return this.r30(this.p30_1, context);
1672
1672
  };
1673
- protoOf(StateEnd).l2z = function (solution, context) {
1673
+ protoOf(StateEnd).r30 = function (solution, context) {
1674
1674
  return new StateEnd(solution, context);
1675
1675
  };
1676
1676
  protoOf(StateEnd).toString = function () {
1677
- return 'StateEnd(solution=' + this.j2z_1 + ', context=' + this.k2z_1 + ')';
1677
+ return 'StateEnd(solution=' + this.p30_1 + ', context=' + this.q30_1 + ')';
1678
1678
  };
1679
1679
  protoOf(StateEnd).hashCode = function () {
1680
- var result = hashCode(this.j2z_1);
1681
- result = imul(result, 31) + this.k2z_1.hashCode() | 0;
1680
+ var result = hashCode(this.p30_1);
1681
+ result = imul(result, 31) + this.q30_1.hashCode() | 0;
1682
1682
  return result;
1683
1683
  };
1684
1684
  protoOf(StateEnd).equals = function (other) {
@@ -1687,14 +1687,14 @@
1687
1687
  if (!(other instanceof StateEnd))
1688
1688
  return false;
1689
1689
  var tmp0_other_with_cast = other instanceof StateEnd ? other : THROW_CCE();
1690
- if (!equals(this.j2z_1, tmp0_other_with_cast.j2z_1))
1690
+ if (!equals(this.p30_1, tmp0_other_with_cast.p30_1))
1691
1691
  return false;
1692
- if (!this.k2z_1.equals(tmp0_other_with_cast.k2z_1))
1692
+ if (!this.q30_1.equals(tmp0_other_with_cast.q30_1))
1693
1693
  return false;
1694
1694
  return true;
1695
1695
  };
1696
1696
  protoOf(StateEnd).asEndState = function () {
1697
- return this.s2y();
1697
+ return this.y2z();
1698
1698
  };
1699
1699
  function isCatch(_this__u8e3s4, $this) {
1700
1700
  var tmp;
@@ -1714,9 +1714,9 @@
1714
1714
  var tmp0_subject = _this__u8e3s4;
1715
1715
  var tmp;
1716
1716
  if (tmp0_subject instanceof MessageError) {
1717
- tmp = _this__u8e3s4.w22();
1717
+ tmp = _this__u8e3s4.k23();
1718
1718
  } else {
1719
- tmp = _this__u8e3s4.y20();
1719
+ tmp = _this__u8e3s4.m21();
1720
1720
  }
1721
1721
  return tmp;
1722
1722
  }
@@ -1731,17 +1731,17 @@
1731
1731
  return tmp;
1732
1732
  }
1733
1733
  function _get_finalState__3aigq8($this) {
1734
- return new StateHalt(toPublicException($this.o2z_1, $this), $this.p2z_1.n2v(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.z2y()));
1734
+ return new StateHalt(toPublicException($this.u30_1, $this), $this.v30_1.t2w(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.f30()));
1735
1735
  }
1736
1736
  function _get_handleExceptionInParentContext__yj3v4e($this) {
1737
- return new StateException($this.o2z_1, ensureNotNull($this.p2z_1.o2u_1).n2v(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.z2y()));
1737
+ return new StateException($this.u30_1, ensureNotNull($this.v30_1.u2v_1).t2w(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.f30()));
1738
1738
  }
1739
1739
  function handleStruct($this, unificator, catchGoal, error) {
1740
1740
  var tmp;
1741
1741
  if (isCatch(catchGoal, $this)) {
1742
1742
  var catcher = unificator.mgu(catchGoal.get(1), getExceptionContent(error, $this));
1743
1743
  tmp = handleCatch($this, catchGoal, catcher);
1744
- } else if ($this.p2z_1.j2x()) {
1744
+ } else if ($this.v30_1.p2y()) {
1745
1745
  tmp = _get_finalState__3aigq8($this);
1746
1746
  } else {
1747
1747
  tmp = _get_handleExceptionInParentContext__yj3v4e($this);
@@ -1751,17 +1751,17 @@
1751
1751
  function handleCatch($this, catchGoal, catcher) {
1752
1752
  var tmp;
1753
1753
  if (catcher.az()) {
1754
- var tmp_0 = $this.p2z_1.g2u_1.plus(catcher);
1754
+ var tmp_0 = $this.v30_1.m2v_1.plus(catcher);
1755
1755
  var newSubstitution = tmp_0.filterEntry(StateException$handleCatch$lambda($this));
1756
1756
  var subGoals = catchGoal.get(2).getSubstituted(newSubstitution, []);
1757
- var newGoals = plus_0(toGoals(subGoals), $this.p2z_1.i2u_1.wo());
1758
- var tmp0_$this = $this.p2z_1;
1757
+ var newGoals = plus_0(toGoals(subGoals), $this.v30_1.o2v_1.wo());
1758
+ var tmp0_$this = $this.v30_1;
1759
1759
  var tmp1_rules = Companion_getInstance_12().empty();
1760
1760
  var tmp2_primitives = Companion_getInstance_12().empty();
1761
1761
  var tmp3_substitution = newSubstitution.castToUnifier();
1762
- var tmp4_step = $this.z2y();
1763
- tmp = new StateGoalSelection(tmp0_$this.n2v(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));
1764
- } else if ($this.p2z_1.j2x()) {
1762
+ var tmp4_step = $this.f30();
1763
+ tmp = new StateGoalSelection(tmp0_$this.t2w(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));
1764
+ } else if ($this.v30_1.p2y()) {
1765
1765
  tmp = _get_finalState__3aigq8($this);
1766
1766
  } else {
1767
1767
  tmp = _get_handleExceptionInParentContext__yj3v4e($this);
@@ -1774,40 +1774,40 @@
1774
1774
  // Inline function 'kotlin.collections.component1' call
1775
1775
  tmp$ret$0 = _name_for_destructuring_parameter_0__wldtmu.n2();
1776
1776
  var it = tmp$ret$0;
1777
- return this$0.p2z_1.l2x(it);
1777
+ return this$0.v30_1.r2y(it);
1778
1778
  };
1779
1779
  }
1780
1780
  function StateException(exception, context) {
1781
1781
  AbstractState.call(this, context);
1782
- this.o2z_1 = exception;
1783
- this.p2z_1 = context;
1782
+ this.u30_1 = exception;
1783
+ this.v30_1 = context;
1784
1784
  }
1785
1785
  protoOf(StateException).j5 = function () {
1786
- return this.p2z_1;
1786
+ return this.v30_1;
1787
1787
  };
1788
- protoOf(StateException).q2y = function () {
1789
- var tmp0_subject = this.o2z_1;
1788
+ protoOf(StateException).w2z = function () {
1789
+ var tmp0_subject = this.u30_1;
1790
1790
  var tmp;
1791
1791
  if (tmp0_subject instanceof LogicError) {
1792
- var catchGoal = ensureNotNull(this.p2z_1.k2x());
1793
- tmp = catchGoal.oy() ? handleStruct(this, this.p2z_1.x2t_1, catchGoal.castToStruct(), this.o2z_1) : this.p2z_1.j2x() ? _get_finalState__3aigq8(this) : _get_handleExceptionInParentContext__yj3v4e(this);
1792
+ var catchGoal = ensureNotNull(this.v30_1.q2y());
1793
+ tmp = catchGoal.oy() ? handleStruct(this, this.v30_1.d2v_1, catchGoal.castToStruct(), this.u30_1) : this.v30_1.p2y() ? _get_finalState__3aigq8(this) : _get_handleExceptionInParentContext__yj3v4e(this);
1794
1794
  } else {
1795
1795
  tmp = _get_finalState__3aigq8(this);
1796
1796
  }
1797
1797
  return tmp;
1798
1798
  };
1799
- protoOf(StateException).v2y = function (context) {
1800
- return this.q2z(this.o2z_1, context);
1799
+ protoOf(StateException).b30 = function (context) {
1800
+ return this.w30(this.u30_1, context);
1801
1801
  };
1802
- protoOf(StateException).q2z = function (exception, context) {
1802
+ protoOf(StateException).w30 = function (exception, context) {
1803
1803
  return new StateException(exception, context);
1804
1804
  };
1805
1805
  protoOf(StateException).toString = function () {
1806
- return 'StateException(exception=' + this.o2z_1 + ', context=' + this.p2z_1 + ')';
1806
+ return 'StateException(exception=' + this.u30_1 + ', context=' + this.v30_1 + ')';
1807
1807
  };
1808
1808
  protoOf(StateException).hashCode = function () {
1809
- var result = hashCode(this.o2z_1);
1810
- result = imul(result, 31) + this.p2z_1.hashCode() | 0;
1809
+ var result = hashCode(this.u30_1);
1810
+ result = imul(result, 31) + this.v30_1.hashCode() | 0;
1811
1811
  return result;
1812
1812
  };
1813
1813
  protoOf(StateException).equals = function (other) {
@@ -1816,9 +1816,9 @@
1816
1816
  if (!(other instanceof StateException))
1817
1817
  return false;
1818
1818
  var tmp0_other_with_cast = other instanceof StateException ? other : THROW_CCE();
1819
- if (!equals(this.o2z_1, tmp0_other_with_cast.o2z_1))
1819
+ if (!equals(this.u30_1, tmp0_other_with_cast.u30_1))
1820
1820
  return false;
1821
- if (!this.p2z_1.equals(tmp0_other_with_cast.p2z_1))
1821
+ if (!this.v30_1.equals(tmp0_other_with_cast.v30_1))
1822
1822
  return false;
1823
1823
  return true;
1824
1824
  };
@@ -1828,66 +1828,66 @@
1828
1828
  // Inline function 'kotlin.collections.component1' call
1829
1829
  tmp$ret$0 = _name_for_destructuring_parameter_0__wldtmu.n2();
1830
1830
  var it = tmp$ret$0;
1831
- return this$0.t2z_1.l2x(it);
1831
+ return this$0.z30_1.r2y(it);
1832
1832
  };
1833
1833
  }
1834
1834
  function StateGoalSelection(context) {
1835
1835
  AbstractState.call(this, context);
1836
- this.t2z_1 = context;
1836
+ this.z30_1 = context;
1837
1837
  }
1838
1838
  protoOf(StateGoalSelection).j5 = function () {
1839
- return this.t2z_1;
1839
+ return this.z30_1;
1840
1840
  };
1841
- protoOf(StateGoalSelection).q2y = function () {
1841
+ protoOf(StateGoalSelection).w2z = function () {
1842
1842
  var tmp;
1843
- if (this.t2z_1.i2u_1.zo()) {
1843
+ if (this.z30_1.o2v_1.zo()) {
1844
1844
  var tmp_0;
1845
- if (this.t2z_1.j2x()) {
1846
- tmp_0 = new StateEnd(Companion_getInstance_14().s1s(this.t2z_1.h2u_1, this.t2z_1.g2u_1), this.t2z_1.n2v(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.z2y()));
1845
+ if (this.z30_1.p2y()) {
1846
+ tmp_0 = new StateEnd(Companion_getInstance_14().s1s(this.z30_1.n2v_1, this.z30_1.m2v_1), this.z30_1.t2w(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.f30()));
1847
1847
  } else {
1848
1848
  var tmp$ret$1;
1849
1849
  // Inline function 'kotlin.let' call
1850
- var tmp0_let = ensureNotNull(this.t2z_1.o2u_1);
1850
+ var tmp0_let = ensureNotNull(this.z30_1.u2v_1);
1851
1851
  // Inline function 'kotlin.contracts.contract' call
1852
1852
  var tmp$ret$0;
1853
1853
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateGoalSelection.computeNext.<anonymous>' call
1854
- var tmp0_choicePoints = this.t2z_1.n2u_1;
1855
- var tmp1_flags = this.t2z_1.z2t_1;
1856
- var tmp2_dynamicKb = this.t2z_1.b2u_1;
1857
- var tmp3_staticKb = this.t2z_1.a2u_1;
1858
- var tmp4_substitution = this.t2z_1.g2u_1.qy(StateGoalSelection$computeNext$lambda(this));
1859
- var tmp5_goals = tmp0_let.i2u_1.wo();
1860
- var tmp6_procedure = tmp0_let.w2t_1;
1861
- var tmp7_step = this.z2y();
1862
- var tmp8_startTime = this.t2z_1.l2u_1;
1863
- var tmp9_operators = this.t2z_1.c2u_1;
1864
- var tmp10_inputChannels = this.t2z_1.d2u_1;
1865
- var tmp11_outputChannels = this.t2z_1.e2u_1;
1866
- var tmp12_libraries = this.t2z_1.y2t_1;
1867
- var tmp13_customData = this.t2z_1.f2u_1;
1868
- tmp$ret$0 = tmp0_let.n2v(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);
1854
+ var tmp0_choicePoints = this.z30_1.t2v_1;
1855
+ var tmp1_flags = this.z30_1.f2v_1;
1856
+ var tmp2_dynamicKb = this.z30_1.h2v_1;
1857
+ var tmp3_staticKb = this.z30_1.g2v_1;
1858
+ var tmp4_substitution = this.z30_1.m2v_1.qy(StateGoalSelection$computeNext$lambda(this));
1859
+ var tmp5_goals = tmp0_let.o2v_1.wo();
1860
+ var tmp6_procedure = tmp0_let.c2v_1;
1861
+ var tmp7_step = this.f30();
1862
+ var tmp8_startTime = this.z30_1.r2v_1;
1863
+ var tmp9_operators = this.z30_1.i2v_1;
1864
+ var tmp10_inputChannels = this.z30_1.j2v_1;
1865
+ var tmp11_outputChannels = this.z30_1.k2v_1;
1866
+ var tmp12_libraries = this.z30_1.e2v_1;
1867
+ var tmp13_customData = this.z30_1.l2v_1;
1868
+ tmp$ret$0 = tmp0_let.t2w(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);
1869
1869
  tmp$ret$1 = tmp$ret$0;
1870
1870
  tmp_0 = new StateGoalSelection(tmp$ret$1);
1871
1871
  }
1872
1872
  tmp = tmp_0;
1873
- } else if (equals(this.t2z_1.z2t_1.get(TrackVariables_getInstance()), TrackVariables_getInstance().c25_1)) {
1874
- tmp = new StatePrimitiveSelection(this.t2z_1.n2v(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.z2y(), plus_1(this.t2z_1.r2u_1, toSet(ensureNotNull(this.t2z_1.i2u_1.xo()).tt()))));
1873
+ } else if (equals(this.z30_1.f2v_1.get(TrackVariables_getInstance()), TrackVariables_getInstance().q25_1)) {
1874
+ tmp = new StatePrimitiveSelection(this.z30_1.t2w(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.f30(), plus_1(this.z30_1.x2v_1, toSet(ensureNotNull(this.z30_1.o2v_1.xo()).tt()))));
1875
1875
  } else {
1876
- tmp = new StatePrimitiveSelection(this.t2z_1.n2v(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.z2y()));
1876
+ tmp = new StatePrimitiveSelection(this.z30_1.t2w(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.f30()));
1877
1877
  }
1878
1878
  return tmp;
1879
1879
  };
1880
- protoOf(StateGoalSelection).v2y = function (context) {
1881
- return this.e2z(context);
1880
+ protoOf(StateGoalSelection).b30 = function (context) {
1881
+ return this.k30(context);
1882
1882
  };
1883
- protoOf(StateGoalSelection).e2z = function (context) {
1883
+ protoOf(StateGoalSelection).k30 = function (context) {
1884
1884
  return new StateGoalSelection(context);
1885
1885
  };
1886
1886
  protoOf(StateGoalSelection).toString = function () {
1887
- return 'StateGoalSelection(context=' + this.t2z_1 + ')';
1887
+ return 'StateGoalSelection(context=' + this.z30_1 + ')';
1888
1888
  };
1889
1889
  protoOf(StateGoalSelection).hashCode = function () {
1890
- return this.t2z_1.hashCode();
1890
+ return this.z30_1.hashCode();
1891
1891
  };
1892
1892
  protoOf(StateGoalSelection).equals = function (other) {
1893
1893
  if (this === other)
@@ -1895,30 +1895,30 @@
1895
1895
  if (!(other instanceof StateGoalSelection))
1896
1896
  return false;
1897
1897
  var tmp0_other_with_cast = other instanceof StateGoalSelection ? other : THROW_CCE();
1898
- if (!this.t2z_1.equals(tmp0_other_with_cast.t2z_1))
1898
+ if (!this.z30_1.equals(tmp0_other_with_cast.z30_1))
1899
1899
  return false;
1900
1900
  return true;
1901
1901
  };
1902
1902
  function StateHalt(exception, context) {
1903
- AbstractEndState.call(this, Companion_getInstance_14().halt(context.h2u_1, exception), context);
1904
- this.y2z_1 = exception;
1905
- this.z2z_1 = context;
1903
+ AbstractEndState.call(this, Companion_getInstance_14().halt(context.n2v_1, exception), context);
1904
+ this.e31_1 = exception;
1905
+ this.f31_1 = context;
1906
1906
  }
1907
1907
  protoOf(StateHalt).j5 = function () {
1908
- return this.z2z_1;
1908
+ return this.f31_1;
1909
1909
  };
1910
- protoOf(StateHalt).v2y = function (context) {
1911
- return this.q2z(this.y2z_1, context);
1910
+ protoOf(StateHalt).b30 = function (context) {
1911
+ return this.w30(this.e31_1, context);
1912
1912
  };
1913
- protoOf(StateHalt).q2z = function (exception, context) {
1913
+ protoOf(StateHalt).w30 = function (exception, context) {
1914
1914
  return new StateHalt(exception, context);
1915
1915
  };
1916
1916
  protoOf(StateHalt).toString = function () {
1917
- return 'StateHalt(exception=' + this.y2z_1 + ', context=' + this.z2z_1 + ')';
1917
+ return 'StateHalt(exception=' + this.e31_1 + ', context=' + this.f31_1 + ')';
1918
1918
  };
1919
1919
  protoOf(StateHalt).hashCode = function () {
1920
- var result = hashCode(this.y2z_1);
1921
- result = imul(result, 31) + this.z2z_1.hashCode() | 0;
1920
+ var result = hashCode(this.e31_1);
1921
+ result = imul(result, 31) + this.f31_1.hashCode() | 0;
1922
1922
  return result;
1923
1923
  };
1924
1924
  protoOf(StateHalt).equals = function (other) {
@@ -1927,43 +1927,43 @@
1927
1927
  if (!(other instanceof StateHalt))
1928
1928
  return false;
1929
1929
  var tmp0_other_with_cast = other instanceof StateHalt ? other : THROW_CCE();
1930
- if (!equals(this.y2z_1, tmp0_other_with_cast.y2z_1))
1930
+ if (!equals(this.e31_1, tmp0_other_with_cast.e31_1))
1931
1931
  return false;
1932
- if (!this.z2z_1.equals(tmp0_other_with_cast.z2z_1))
1932
+ if (!this.f31_1.equals(tmp0_other_with_cast.f31_1))
1933
1933
  return false;
1934
1934
  return true;
1935
1935
  };
1936
1936
  protoOf(StateHalt).asEndState = function () {
1937
- return this.s2y();
1937
+ return this.y2z();
1938
1938
  };
1939
1939
  function StateInit(context) {
1940
1940
  AbstractState.call(this, context);
1941
- this.c30_1 = context;
1941
+ this.i31_1 = context;
1942
1942
  }
1943
1943
  protoOf(StateInit).j5 = function () {
1944
- return this.c30_1;
1944
+ return this.i31_1;
1945
1945
  };
1946
- protoOf(StateInit).q2y = function () {
1947
- var tmp0_$this = this.c30_1;
1948
- var tmp1_goals = toGoals(this.c30_1.h2u_1);
1946
+ protoOf(StateInit).w2z = function () {
1947
+ var tmp0_$this = this.i31_1;
1948
+ var tmp1_goals = toGoals(this.i31_1.n2v_1);
1949
1949
  var tmp2_rules = Companion_getInstance_12().empty();
1950
1950
  var tmp3_primitives = Companion_getInstance_12().empty();
1951
1951
  var tmp4_substitution = Companion_getInstance_10().empty();
1952
- var tmp5_customData = this.c30_1.f2u_1.preservePersistent();
1952
+ var tmp5_customData = this.i31_1.l2v_1.preservePersistent();
1953
1953
  var tmp6_relevantVariables = emptySet();
1954
- return new StateGoalSelection(appendRulesAndChoicePoints(tmp0_$this.n2v(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()));
1954
+ return new StateGoalSelection(appendRulesAndChoicePoints(tmp0_$this.t2w(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()));
1955
1955
  };
1956
- protoOf(StateInit).v2y = function (context) {
1957
- return this.e2z(context);
1956
+ protoOf(StateInit).b30 = function (context) {
1957
+ return this.k30(context);
1958
1958
  };
1959
- protoOf(StateInit).e2z = function (context) {
1959
+ protoOf(StateInit).k30 = function (context) {
1960
1960
  return new StateInit(context);
1961
1961
  };
1962
1962
  protoOf(StateInit).toString = function () {
1963
- return 'StateInit(context=' + this.c30_1 + ')';
1963
+ return 'StateInit(context=' + this.i31_1 + ')';
1964
1964
  };
1965
1965
  protoOf(StateInit).hashCode = function () {
1966
- return this.c30_1.hashCode();
1966
+ return this.i31_1.hashCode();
1967
1967
  };
1968
1968
  protoOf(StateInit).equals = function (other) {
1969
1969
  if (this === other)
@@ -1971,12 +1971,12 @@
1971
1971
  if (!(other instanceof StateInit))
1972
1972
  return false;
1973
1973
  var tmp0_other_with_cast = other instanceof StateInit ? other : THROW_CCE();
1974
- if (!this.c30_1.equals(tmp0_other_with_cast.c30_1))
1974
+ if (!this.i31_1.equals(tmp0_other_with_cast.i31_1))
1975
1975
  return false;
1976
1976
  return true;
1977
1977
  };
1978
1978
  function copyFromCurrentPrimitive(_this__u8e3s4, $this, goals, procedureFromAncestor, substitution) {
1979
- var tmp0_safe_receiver = _this__u8e3s4.k2u_1.xo();
1979
+ var tmp0_safe_receiver = _this__u8e3s4.q2v_1.xo();
1980
1980
  var tmp;
1981
1981
  if (tmp0_safe_receiver == null) {
1982
1982
  tmp = null;
@@ -1986,22 +1986,22 @@
1986
1986
  // Inline function 'kotlin.contracts.contract' call
1987
1987
  var tmp$ret$0;
1988
1988
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StatePrimitiveExecution.copyFromCurrentPrimitive.<anonymous>' call
1989
- tmp$ret$0 = _this__u8e3s4.n2x(tmp0_safe_receiver.sideEffects);
1989
+ tmp$ret$0 = _this__u8e3s4.t2y(tmp0_safe_receiver.sideEffects);
1990
1990
  tmp$ret$1 = tmp$ret$0;
1991
1991
  tmp = tmp$ret$1;
1992
1992
  }
1993
1993
  var tmp1_elvis_lhs = tmp;
1994
1994
  var ctx = tmp1_elvis_lhs == null ? _this__u8e3s4 : tmp1_elvis_lhs;
1995
1995
  var tmp3_elvis_lhs = goals;
1996
- var tmp4_goals = tmp3_elvis_lhs == null ? _this__u8e3s4.i2u_1 : tmp3_elvis_lhs;
1997
- var tmp_0 = drop(_this__u8e3s4.s2u_1, procedureFromAncestor);
1996
+ var tmp4_goals = tmp3_elvis_lhs == null ? _this__u8e3s4.o2v_1 : tmp3_elvis_lhs;
1997
+ var tmp_0 = drop(_this__u8e3s4.y2v_1, procedureFromAncestor);
1998
1998
  var tmp5_procedure = first(map(tmp_0, StatePrimitiveExecution$copyFromCurrentPrimitive$lambda));
1999
1999
  var tmp6_primitives = Companion_getInstance_12().empty();
2000
2000
  var tmp2_elvis_lhs = substitution;
2001
- var tmp_1 = tmp2_elvis_lhs == null ? _this__u8e3s4.g2u_1 : tmp2_elvis_lhs;
2001
+ var tmp_1 = tmp2_elvis_lhs == null ? _this__u8e3s4.m2v_1 : tmp2_elvis_lhs;
2002
2002
  var tmp7_substitution = isInterface(tmp_1, Unifier) ? tmp_1 : THROW_CCE();
2003
- var tmp8_step = $this.z2y();
2004
- return ctx.n2v(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);
2003
+ var tmp8_step = $this.f30();
2004
+ return ctx.t2w(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);
2005
2005
  }
2006
2006
  function copyFromCurrentPrimitive$default(_this__u8e3s4, $this, goals, procedureFromAncestor, substitution, $super) {
2007
2007
  goals = goals === VOID ? null : goals;
@@ -2010,21 +2010,21 @@
2010
2010
  return copyFromCurrentPrimitive(_this__u8e3s4, $this, goals, procedureFromAncestor, substitution);
2011
2011
  }
2012
2012
  function StatePrimitiveExecution$copyFromCurrentPrimitive$lambda(it) {
2013
- return it.w2t_1;
2013
+ return it.c2v_1;
2014
2014
  }
2015
2015
  function StatePrimitiveExecution$computeNext$lambda(this$0) {
2016
2016
  return function (it) {
2017
- return new StateGoalSelection(copyFromCurrentPrimitive(this$0.f30_1, this$0, this$0.f30_1.i2u_1.wo(), 1, this$0.f30_1.x2t_1.mergeWithOccurCheck(this$0.f30_1.g2u_1, it.m1r(), false)));
2017
+ return new StateGoalSelection(copyFromCurrentPrimitive(this$0.l31_1, this$0, this$0.l31_1.o2v_1.wo(), 1, this$0.l31_1.d2v_1.mergeWithOccurCheck(this$0.l31_1.m2v_1, it.m1r(), false)));
2018
2018
  };
2019
2019
  }
2020
2020
  function StatePrimitiveExecution$computeNext$lambda_0(this$0) {
2021
2021
  return function (it) {
2022
- return new StateBacktracking(copyFromCurrentPrimitive$default(ensureNotNull(this$0.f30_1.o2u_1), this$0));
2022
+ return new StateBacktracking(copyFromCurrentPrimitive$default(ensureNotNull(this$0.l31_1.u2v_1), this$0));
2023
2023
  };
2024
2024
  }
2025
2025
  function StatePrimitiveExecution$computeNext$lambda_1(this$0) {
2026
2026
  return function (it) {
2027
- return new StateException(it.q1s().updateLastContext(this$0.a2z(this$0.f30_1)), copyFromCurrentPrimitive$default(this$0.f30_1, this$0));
2027
+ return new StateException(it.q1s().updateLastContext(this$0.g30(this$0.l31_1)), copyFromCurrentPrimitive$default(this$0.l31_1, this$0));
2028
2028
  };
2029
2029
  }
2030
2030
  function StatePrimitiveExecution$computeNext$lambda_2(it) {
@@ -2032,15 +2032,15 @@
2032
2032
  }
2033
2033
  function StatePrimitiveExecution(context) {
2034
2034
  AbstractState.call(this, context);
2035
- this.f30_1 = context;
2035
+ this.l31_1 = context;
2036
2036
  }
2037
2037
  protoOf(StatePrimitiveExecution).j5 = function () {
2038
- return this.f30_1;
2038
+ return this.l31_1;
2039
2039
  };
2040
- protoOf(StatePrimitiveExecution).q2y = function () {
2040
+ protoOf(StatePrimitiveExecution).w2z = function () {
2041
2041
  var tmp;
2042
2042
  try {
2043
- var tmp0_safe_receiver = this.f30_1.k2u_1.xo();
2043
+ var tmp0_safe_receiver = this.l31_1.q2v_1.xo();
2044
2044
  var tmp1_safe_receiver = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.solution;
2045
2045
  var tmp_0;
2046
2046
  if (tmp1_safe_receiver == null) {
@@ -2052,12 +2052,12 @@
2052
2052
  tmp_0 = tmp1_safe_receiver.x1s(tmp_1, tmp_2, tmp_3, StatePrimitiveExecution$computeNext$lambda_2);
2053
2053
  }
2054
2054
  var tmp2_elvis_lhs = tmp_0;
2055
- tmp = tmp2_elvis_lhs == null ? new StateBacktracking(copyFromCurrentPrimitive$default(this.f30_1, this)) : tmp2_elvis_lhs;
2055
+ tmp = tmp2_elvis_lhs == null ? new StateBacktracking(copyFromCurrentPrimitive$default(this.l31_1, this)) : tmp2_elvis_lhs;
2056
2056
  } catch ($p) {
2057
2057
  var tmp_4;
2058
2058
  if ($p instanceof ResolutionException) {
2059
2059
  var exception = $p;
2060
- tmp_4 = new StateException(exception.updateLastContext(this.a2z(this.f30_1)), this.f30_1.n2v(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.z2y()));
2060
+ tmp_4 = new StateException(exception.updateLastContext(this.g30(this.l31_1)), this.l31_1.t2w(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.f30()));
2061
2061
  } else {
2062
2062
  throw $p;
2063
2063
  }
@@ -2065,17 +2065,17 @@
2065
2065
  }
2066
2066
  return tmp;
2067
2067
  };
2068
- protoOf(StatePrimitiveExecution).v2y = function (context) {
2069
- return this.e2z(context);
2068
+ protoOf(StatePrimitiveExecution).b30 = function (context) {
2069
+ return this.k30(context);
2070
2070
  };
2071
- protoOf(StatePrimitiveExecution).e2z = function (context) {
2071
+ protoOf(StatePrimitiveExecution).k30 = function (context) {
2072
2072
  return new StatePrimitiveExecution(context);
2073
2073
  };
2074
2074
  protoOf(StatePrimitiveExecution).toString = function () {
2075
- return 'StatePrimitiveExecution(context=' + this.f30_1 + ')';
2075
+ return 'StatePrimitiveExecution(context=' + this.l31_1 + ')';
2076
2076
  };
2077
2077
  protoOf(StatePrimitiveExecution).hashCode = function () {
2078
- return this.f30_1.hashCode();
2078
+ return this.l31_1.hashCode();
2079
2079
  };
2080
2080
  protoOf(StatePrimitiveExecution).equals = function (other) {
2081
2081
  if (this === other)
@@ -2083,41 +2083,41 @@
2083
2083
  if (!(other instanceof StatePrimitiveExecution))
2084
2084
  return false;
2085
2085
  var tmp0_other_with_cast = other instanceof StatePrimitiveExecution ? other : THROW_CCE();
2086
- if (!this.f30_1.equals(tmp0_other_with_cast.f30_1))
2086
+ if (!this.l31_1.equals(tmp0_other_with_cast.l31_1))
2087
2087
  return false;
2088
2088
  return true;
2089
2089
  };
2090
2090
  function exceptionalState($this, exception) {
2091
- return new StateException(exception, $this.i30_1.n2v(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.z2y()));
2091
+ return new StateException(exception, $this.o31_1.t2w(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.f30()));
2092
2092
  }
2093
2093
  function StatePrimitiveSelection(context) {
2094
2094
  AbstractState.call(this, context);
2095
- this.i30_1 = context;
2095
+ this.o31_1 = context;
2096
2096
  }
2097
2097
  protoOf(StatePrimitiveSelection).j5 = function () {
2098
- return this.i30_1;
2098
+ return this.o31_1;
2099
2099
  };
2100
- protoOf(StatePrimitiveSelection).q2y = function () {
2100
+ protoOf(StatePrimitiveSelection).w2z = function () {
2101
2101
  var tmp$ret$1;
2102
2102
  // Inline function 'kotlin.with' call
2103
- var tmp0_with = this.i30_1;
2103
+ var tmp0_with = this.o31_1;
2104
2104
  // Inline function 'kotlin.contracts.contract' call
2105
2105
  var tmp$ret$0;
2106
2106
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StatePrimitiveSelection.computeNext.<anonymous>' call
2107
- var goal = ensureNotNull(tmp0_with.k2x());
2107
+ var goal = ensureNotNull(tmp0_with.q2y());
2108
2108
  var tmp;
2109
2109
  if (goal.fu()) {
2110
- tmp = exceptionalState(this, Companion_getInstance_17().forGoal(this.i30_1, extractSignature(ensureNotNull(this.i30_1.w2t_1)), goal.castToVar()));
2110
+ tmp = exceptionalState(this, Companion_getInstance_17().forGoal(this.o31_1, extractSignature(ensureNotNull(this.o31_1.c2v_1)), goal.castToVar()));
2111
2111
  } else if (goal.oy()) {
2112
2112
  var goalStruct = goal.castToStruct();
2113
2113
  var signature = extractSignature(goalStruct);
2114
2114
  var tmp_0;
2115
- if (tmp0_with.y2t_1.hasPrimitive(signature)) {
2115
+ if (tmp0_with.e2v_1.hasPrimitive(signature)) {
2116
2116
  var childContext = createChild(tmp0_with);
2117
2117
  var tmp_1;
2118
2118
  try {
2119
- var request = toRequest(childContext, goalStruct, signature, this.w2y());
2120
- var tmp0_elvis_lhs = tmp0_with.y2t_1.q29().d3(signature);
2119
+ var request = toRequest(childContext, goalStruct, signature, this.c30());
2120
+ var tmp0_elvis_lhs = tmp0_with.e2v_1.e2a().d3(signature);
2121
2121
  var tmp_2;
2122
2122
  if (tmp0_elvis_lhs == null) {
2123
2123
  throw IllegalStateException_init_$Create$('Inconsistent behaviour of Library.contains and Library.get');
@@ -2131,7 +2131,7 @@
2131
2131
  var tmp_3;
2132
2132
  if ($p instanceof ResolutionException) {
2133
2133
  var exception = $p;
2134
- tmp_3 = exceptionalState(this, exception.updateLastContext(this.a2z(childContext)));
2134
+ tmp_3 = exceptionalState(this, exception.updateLastContext(this.g30(childContext)));
2135
2135
  } else {
2136
2136
  throw $p;
2137
2137
  }
@@ -2139,30 +2139,30 @@
2139
2139
  }
2140
2140
  tmp_0 = tmp_1;
2141
2141
  } else {
2142
- tmp_0 = new StateRuleSelection(this.i30_1.n2v(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.z2y()));
2142
+ tmp_0 = new StateRuleSelection(this.o31_1.t2w(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.f30()));
2143
2143
  }
2144
2144
  tmp = tmp_0;
2145
2145
  } else {
2146
2146
  var tmp_4 = Companion_getInstance_16();
2147
- var tmp1_safe_receiver = this.i30_1.w2t_1;
2147
+ var tmp1_safe_receiver = this.o31_1.c2v_1;
2148
2148
  var tmp2_elvis_lhs = tmp1_safe_receiver == null ? null : extractSignature(tmp1_safe_receiver);
2149
- tmp = exceptionalState(this, tmp_4.forGoal(this.i30_1, tmp2_elvis_lhs == null ? new Signature('?-', 1) : tmp2_elvis_lhs, Expected_CALLABLE_getInstance(), goal));
2149
+ tmp = exceptionalState(this, tmp_4.forGoal(this.o31_1, tmp2_elvis_lhs == null ? new Signature('?-', 1) : tmp2_elvis_lhs, Expected_CALLABLE_getInstance(), goal));
2150
2150
  }
2151
2151
  tmp$ret$0 = tmp;
2152
2152
  tmp$ret$1 = tmp$ret$0;
2153
2153
  return tmp$ret$1;
2154
2154
  };
2155
- protoOf(StatePrimitiveSelection).v2y = function (context) {
2156
- return this.e2z(context);
2155
+ protoOf(StatePrimitiveSelection).b30 = function (context) {
2156
+ return this.k30(context);
2157
2157
  };
2158
- protoOf(StatePrimitiveSelection).e2z = function (context) {
2158
+ protoOf(StatePrimitiveSelection).k30 = function (context) {
2159
2159
  return new StatePrimitiveSelection(context);
2160
2160
  };
2161
2161
  protoOf(StatePrimitiveSelection).toString = function () {
2162
- return 'StatePrimitiveSelection(context=' + this.i30_1 + ')';
2162
+ return 'StatePrimitiveSelection(context=' + this.o31_1 + ')';
2163
2163
  };
2164
2164
  protoOf(StatePrimitiveSelection).hashCode = function () {
2165
- return this.i30_1.hashCode();
2165
+ return this.o31_1.hashCode();
2166
2166
  };
2167
2167
  protoOf(StatePrimitiveSelection).equals = function (other) {
2168
2168
  if (this === other)
@@ -2170,55 +2170,55 @@
2170
2170
  if (!(other instanceof StatePrimitiveSelection))
2171
2171
  return false;
2172
2172
  var tmp0_other_with_cast = other instanceof StatePrimitiveSelection ? other : THROW_CCE();
2173
- if (!this.i30_1.equals(tmp0_other_with_cast.i30_1))
2173
+ if (!this.o31_1.equals(tmp0_other_with_cast.o31_1))
2174
2174
  return false;
2175
2175
  return true;
2176
2176
  };
2177
2177
  function _get_failureState__yid9tw($this) {
2178
- return new StateBacktracking($this.l30_1.n2v(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, Companion_getInstance_12().empty(), VOID, VOID, VOID, VOID, VOID, VOID, $this.z2y()));
2178
+ return new StateBacktracking($this.r31_1.t2w(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, Companion_getInstance_12().empty(), VOID, VOID, VOID, VOID, VOID, VOID, $this.f30()));
2179
2179
  }
2180
2180
  function StateRuleExecution(context) {
2181
2181
  AbstractState.call(this, context);
2182
- this.l30_1 = context;
2182
+ this.r31_1 = context;
2183
2183
  }
2184
2184
  protoOf(StateRuleExecution).j5 = function () {
2185
- return this.l30_1;
2185
+ return this.r31_1;
2186
2186
  };
2187
- protoOf(StateRuleExecution).q2y = function () {
2187
+ protoOf(StateRuleExecution).w2z = function () {
2188
2188
  var tmp$ret$1;
2189
2189
  // Inline function 'kotlin.with' call
2190
- var tmp0_with = this.l30_1;
2190
+ var tmp0_with = this.r31_1;
2191
2191
  // Inline function 'kotlin.contracts.contract' call
2192
2192
  var tmp$ret$0;
2193
2193
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateRuleExecution.computeNext.<anonymous>' call
2194
- tmp$ret$0 = tmp0_with.x2t_1.mgu(ensureNotNull(tmp0_with.k2x()), ensureNotNull(tmp0_with.j2u_1.xo()).lv());
2194
+ tmp$ret$0 = tmp0_with.d2v_1.mgu(ensureNotNull(tmp0_with.q2y()), ensureNotNull(tmp0_with.p2v_1.xo()).lv());
2195
2195
  tmp$ret$1 = tmp$ret$0;
2196
2196
  var substitution = tmp$ret$1;
2197
2197
  var tmp;
2198
2198
  if (substitution.az()) {
2199
- var newSubstitution = this.l30_1.g2u_1.plus(substitution).castToUnifier();
2200
- var subGoals = prepareForExecutionWithUnifier(ensureNotNull(this.l30_1.j2u_1.xo()), newSubstitution).mv().getSubstituted(newSubstitution, []);
2201
- var tmp0_$this = this.l30_1;
2199
+ var newSubstitution = this.r31_1.m2v_1.plus(substitution).castToUnifier();
2200
+ var subGoals = prepareForExecutionWithUnifier(ensureNotNull(this.r31_1.p2v_1.xo()), newSubstitution).mv().getSubstituted(newSubstitution, []);
2201
+ var tmp0_$this = this.r31_1;
2202
2202
  var tmp1_goals = toGoals(subGoals);
2203
2203
  var tmp2_rules = Companion_getInstance_12().empty();
2204
- var tmp3_step = this.z2y();
2205
- tmp = new StateGoalSelection(tmp0_$this.n2v(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, newSubstitution, VOID, tmp1_goals, tmp2_rules, VOID, VOID, VOID, VOID, VOID, VOID, tmp3_step));
2204
+ var tmp3_step = this.f30();
2205
+ tmp = new StateGoalSelection(tmp0_$this.t2w(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, newSubstitution, VOID, tmp1_goals, tmp2_rules, VOID, VOID, VOID, VOID, VOID, VOID, tmp3_step));
2206
2206
  } else {
2207
2207
  tmp = _get_failureState__yid9tw(this);
2208
2208
  }
2209
2209
  return tmp;
2210
2210
  };
2211
- protoOf(StateRuleExecution).v2y = function (context) {
2212
- return this.e2z(context);
2211
+ protoOf(StateRuleExecution).b30 = function (context) {
2212
+ return this.k30(context);
2213
2213
  };
2214
- protoOf(StateRuleExecution).e2z = function (context) {
2214
+ protoOf(StateRuleExecution).k30 = function (context) {
2215
2215
  return new StateRuleExecution(context);
2216
2216
  };
2217
2217
  protoOf(StateRuleExecution).toString = function () {
2218
- return 'StateRuleExecution(context=' + this.l30_1 + ')';
2218
+ return 'StateRuleExecution(context=' + this.r31_1 + ')';
2219
2219
  };
2220
2220
  protoOf(StateRuleExecution).hashCode = function () {
2221
- return this.l30_1.hashCode();
2221
+ return this.r31_1.hashCode();
2222
2222
  };
2223
2223
  protoOf(StateRuleExecution).equals = function (other) {
2224
2224
  if (this === other)
@@ -2226,23 +2226,23 @@
2226
2226
  if (!(other instanceof StateRuleExecution))
2227
2227
  return false;
2228
2228
  var tmp0_other_with_cast = other instanceof StateRuleExecution ? other : THROW_CCE();
2229
- if (!this.l30_1.equals(tmp0_other_with_cast.l30_1))
2229
+ if (!this.r31_1.equals(tmp0_other_with_cast.r31_1))
2230
2230
  return false;
2231
2231
  return true;
2232
2232
  };
2233
2233
  function None() {
2234
2234
  None_instance = this;
2235
2235
  CutLimit.call(this);
2236
- this.m30_1 = -1;
2237
- this.n30_1 = null;
2236
+ this.s31_1 = -1;
2237
+ this.t31_1 = null;
2238
2238
  }
2239
- protoOf(None).o30 = function () {
2240
- return this.m30_1;
2239
+ protoOf(None).u31 = function () {
2240
+ return this.s31_1;
2241
2241
  };
2242
2242
  protoOf(None).l1r = function () {
2243
- return this.n30_1;
2243
+ return this.t31_1;
2244
2244
  };
2245
- protoOf(None).p30 = function () {
2245
+ protoOf(None).v31 = function () {
2246
2246
  return true;
2247
2247
  };
2248
2248
  var None_instance;
@@ -2253,24 +2253,24 @@
2253
2253
  }
2254
2254
  function Actual(depthToCut, procedure) {
2255
2255
  CutLimit.call(this);
2256
- this.q30_1 = depthToCut;
2257
- this.r30_1 = procedure;
2256
+ this.w31_1 = depthToCut;
2257
+ this.x31_1 = procedure;
2258
2258
  }
2259
- protoOf(Actual).o30 = function () {
2260
- return this.q30_1;
2259
+ protoOf(Actual).u31 = function () {
2260
+ return this.w31_1;
2261
2261
  };
2262
2262
  protoOf(Actual).l1r = function () {
2263
- return this.r30_1;
2263
+ return this.x31_1;
2264
2264
  };
2265
2265
  function CutLimit() {
2266
2266
  }
2267
- protoOf(CutLimit).p30 = function () {
2267
+ protoOf(CutLimit).v31 = function () {
2268
2268
  return false;
2269
2269
  };
2270
2270
  function Companion_0() {
2271
2271
  Companion_instance_0 = this;
2272
- this.s30_1 = Catch_getInstance().signature;
2273
- this.t30_1 = setOf([new Signature(',', 2), new Signature(';', 2), new Signature('->', 2)]);
2272
+ this.y31_1 = Catch_getInstance().signature;
2273
+ this.z31_1 = setOf([new Signature(',', 2), new Signature(';', 2), new Signature('->', 2)]);
2274
2274
  }
2275
2275
  var Companion_instance_0;
2276
2276
  function Companion_getInstance_23() {
@@ -2279,15 +2279,15 @@
2279
2279
  return Companion_instance_0;
2280
2280
  }
2281
2281
  function _get_failureState__yid9tw_0($this) {
2282
- return new StateBacktracking($this.w30_1.n2v(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.z2y()));
2282
+ return new StateBacktracking($this.c32_1.t2w(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.f30()));
2283
2283
  }
2284
2284
  function exceptionalState_0($this, exception) {
2285
- return new StateException(exception, $this.w30_1.n2v(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.z2y()));
2285
+ return new StateException(exception, $this.c32_1.t2w(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.f30()));
2286
2286
  }
2287
2287
  function missingProcedure($this, ruleSources, missing) {
2288
- var unknown = $this.w30_1.z2t_1.get(Unknown_getInstance());
2288
+ var unknown = $this.c32_1.f2v_1.get(Unknown_getInstance());
2289
2289
  var tmp;
2290
- if (equals(unknown, Unknown_getInstance().i25_1)) {
2290
+ if (equals(unknown, Unknown_getInstance().w25_1)) {
2291
2291
  tmp = _get_failureState__yid9tw_0($this);
2292
2292
  } else {
2293
2293
  var tmp_0;
@@ -2310,15 +2310,15 @@
2310
2310
  if (tmp$ret$1) {
2311
2311
  var tmp0_subject = unknown;
2312
2312
  var tmp_1;
2313
- if (equals(tmp0_subject, Unknown_getInstance().g25_1)) {
2314
- tmp_1 = exceptionalState_0($this, Companion_getInstance_18().forProcedure($this.w30_1, missing));
2315
- } else if (equals(tmp0_subject, Unknown_getInstance().h25_1)) {
2313
+ if (equals(tmp0_subject, Unknown_getInstance().u25_1)) {
2314
+ tmp_1 = exceptionalState_0($this, Companion_getInstance_18().forProcedure($this.c32_1, missing));
2315
+ } else if (equals(tmp0_subject, Unknown_getInstance().v25_1)) {
2316
2316
  var tmp$ret$2;
2317
2317
  // Inline function 'kotlin.also' call
2318
2318
  var tmp0_also = _get_failureState__yid9tw_0($this);
2319
2319
  // Inline function 'kotlin.contracts.contract' call
2320
2320
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateRuleSelection.missingProcedure.<anonymous>' call
2321
- $this.w30_1.f1s().write(MissingPredicate_init_$Create$($this.w30_1, missing));
2321
+ $this.c32_1.f1s().write(MissingPredicate_init_$Create$($this.c32_1, missing));
2322
2322
  tmp$ret$2 = tmp0_also;
2323
2323
  tmp_1 = tmp$ret$2;
2324
2324
  } else {
@@ -2333,7 +2333,7 @@
2333
2333
  return tmp;
2334
2334
  }
2335
2335
  function _get_ignoreState__t4wl8y($this) {
2336
- return new StateGoalSelection($this.w30_1.n2v(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.w30_1.i2u_1.wo(), VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.z2y()));
2336
+ return new StateGoalSelection($this.c32_1.t2w(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.c32_1.o2v_1.wo(), VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.f30()));
2337
2337
  }
2338
2338
  function isCut(_this__u8e3s4, $this) {
2339
2339
  return _this__u8e3s4.mt() ? _this__u8e3s4.castToAtom().p2() === '!' : false;
@@ -2341,19 +2341,19 @@
2341
2341
  function computeCutLimit(_this__u8e3s4, $this, magicCut) {
2342
2342
  var tmp;
2343
2343
  if (magicCut) {
2344
- tmp = firstOrNull(_this__u8e3s4.s2u_1);
2344
+ tmp = firstOrNull(_this__u8e3s4.y2v_1);
2345
2345
  } else {
2346
2346
  var tmp$ret$1;
2347
2347
  $l$block: {
2348
2348
  // Inline function 'kotlin.sequences.firstOrNull' call
2349
- var tmp0_firstOrNull = _this__u8e3s4.s2u_1;
2349
+ var tmp0_firstOrNull = _this__u8e3s4.y2v_1;
2350
2350
  var tmp0_iterator = tmp0_firstOrNull.j();
2351
2351
  while (tmp0_iterator.m()) {
2352
2352
  var element = tmp0_iterator.n();
2353
2353
  var tmp$ret$0;
2354
2354
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateRuleSelection.computeCutLimit.<anonymous>' call
2355
- var tmp_0 = Companion_getInstance_23().t30_1;
2356
- var tmp0_safe_receiver = element.w2t_1;
2355
+ var tmp_0 = Companion_getInstance_23().z31_1;
2356
+ var tmp0_safe_receiver = element.c2v_1;
2357
2357
  tmp$ret$0 = !contains_0(tmp_0, tmp0_safe_receiver == null ? null : extractSignature(tmp0_safe_receiver));
2358
2358
  if (tmp$ret$0) {
2359
2359
  tmp$ret$1 = element;
@@ -2369,21 +2369,21 @@
2369
2369
  if (cutLimit == null) {
2370
2370
  tmp_1 = None_getInstance();
2371
2371
  } else {
2372
- tmp_1 = new Actual(cutLimit.p2u_1, cutLimit.w2t_1);
2372
+ tmp_1 = new Actual(cutLimit.v2v_1, cutLimit.c2v_1);
2373
2373
  }
2374
2374
  return tmp_1;
2375
2375
  }
2376
2376
  function cutCanBeSkipped($this, cutLimit, executionContext) {
2377
- return (cutLimit.p30() ? true : cutLimit.o30() > executionContext.p2u_1) ? true : cutLimit.o30() === executionContext.p2u_1 ? !equals(cutLimit.l1r(), executionContext.w2t_1) : false;
2377
+ return (cutLimit.v31() ? true : cutLimit.u31() > executionContext.v2v_1) ? true : cutLimit.u31() === executionContext.v2v_1 ? !equals(cutLimit.l1r(), executionContext.c2v_1) : false;
2378
2378
  }
2379
2379
  function performCut(_this__u8e3s4, $this, cutLimit) {
2380
2380
  var tmp;
2381
2381
  if (_this__u8e3s4 === null) {
2382
2382
  tmp = null;
2383
- } else if (cutCanBeSkipped($this, cutLimit, ensureNotNull(_this__u8e3s4.i2v()))) {
2383
+ } else if (cutCanBeSkipped($this, cutLimit, ensureNotNull(_this__u8e3s4.o2w()))) {
2384
2384
  tmp = _this__u8e3s4;
2385
2385
  } else {
2386
- var tmp_0 = _this__u8e3s4.v2v();
2386
+ var tmp_0 = _this__u8e3s4.b2x();
2387
2387
  var cutCandidates = filter(tmp_0, StateRuleSelection$performCut$lambda(cutLimit));
2388
2388
  var tmp_1;
2389
2389
  if (any(cutCandidates)) {
@@ -2395,7 +2395,7 @@
2395
2395
  var element = tmp0_iterator.n();
2396
2396
  var tmp$ret$0;
2397
2397
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateRuleSelection.performCut.<anonymous>' call
2398
- tmp$ret$0 = ensureNotNull(element.i2v()).p2u_1 <= cutLimit.o30();
2398
+ tmp$ret$0 = ensureNotNull(element.o2w()).v2v_1 <= cutLimit.u31();
2399
2399
  if (tmp$ret$0) {
2400
2400
  tmp$ret$1 = element;
2401
2401
  break $l$block;
@@ -2404,7 +2404,7 @@
2404
2404
  tmp$ret$1 = null;
2405
2405
  }
2406
2406
  var tmp0_safe_receiver = tmp$ret$1;
2407
- tmp_1 = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.j2v();
2407
+ tmp_1 = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.p2w();
2408
2408
  } else {
2409
2409
  tmp_1 = _this__u8e3s4;
2410
2410
  }
@@ -2414,10 +2414,10 @@
2414
2414
  }
2415
2415
  function _get_isTailRecursive__h5eso7(_this__u8e3s4, $this) {
2416
2416
  var tmp;
2417
- if (_this__u8e3s4.i2u_1.wo().zo() ? equals(_this__u8e3s4.z2t_1.get(LastCallOptimization_getInstance()), LastCallOptimization_getInstance().v24_1) : false) {
2417
+ if (_this__u8e3s4.o2v_1.wo().zo() ? equals(_this__u8e3s4.f2v_1.get(LastCallOptimization_getInstance()), LastCallOptimization_getInstance().j25_1) : false) {
2418
2418
  var tmp$ret$3;
2419
2419
  // Inline function 'kotlin.let' call
2420
- var tmp0_let = ensureNotNull(_this__u8e3s4.k2x());
2420
+ var tmp0_let = ensureNotNull(_this__u8e3s4.q2y());
2421
2421
  // Inline function 'kotlin.contracts.contract' call
2422
2422
  var tmp$ret$2;
2423
2423
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateRuleSelection.<get-isTailRecursive>.<anonymous>' call
@@ -2433,9 +2433,9 @@
2433
2433
  var tmp$ret$0;
2434
2434
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateRuleSelection.<get-isTailRecursive>.<anonymous>.<anonymous>' call
2435
2435
  var tmp_1;
2436
- var tmp0_safe_receiver_0 = _this__u8e3s4.w2t_1;
2436
+ var tmp0_safe_receiver_0 = _this__u8e3s4.c2v_1;
2437
2437
  if (equals(tmp1_safe_receiver, tmp0_safe_receiver_0 == null ? null : extractSignature(tmp0_safe_receiver_0))) {
2438
- tmp_1 = !equals(tmp1_safe_receiver, Companion_getInstance_23().s30_1);
2438
+ tmp_1 = !equals(tmp1_safe_receiver, Companion_getInstance_23().y31_1);
2439
2439
  } else {
2440
2440
  tmp_1 = false;
2441
2441
  }
@@ -2472,7 +2472,7 @@
2472
2472
  }
2473
2473
  function StateRuleSelection$performCut$lambda($cutLimit) {
2474
2474
  return function (it) {
2475
- return equals(ensureNotNull(it.i2v()).w2t_1, $cutLimit.l1r());
2475
+ return equals(ensureNotNull(it.o2w()).c2v_1, $cutLimit.l1r());
2476
2476
  };
2477
2477
  }
2478
2478
  function StateRuleSelection$computeNext$lambda(this$0, $currentGoalStruct) {
@@ -2486,25 +2486,25 @@
2486
2486
  function StateRuleSelection(context) {
2487
2487
  Companion_getInstance_23();
2488
2488
  AbstractState.call(this, context);
2489
- this.w30_1 = context;
2489
+ this.c32_1 = context;
2490
2490
  }
2491
2491
  protoOf(StateRuleSelection).j5 = function () {
2492
- return this.w30_1;
2492
+ return this.c32_1;
2493
2493
  };
2494
- protoOf(StateRuleSelection).q2y = function () {
2495
- var currentGoal = ensureNotNull(this.w30_1.k2x());
2494
+ protoOf(StateRuleSelection).w2z = function () {
2495
+ var currentGoal = ensureNotNull(this.c32_1.q2y());
2496
2496
  var tmp;
2497
2497
  if (currentGoal.fu()) {
2498
- tmp = exceptionalState_0(this, Companion_getInstance_17().forGoal(this.w30_1, extractSignature(ensureNotNull(this.w30_1.w2t_1)), currentGoal.castToVar()));
2498
+ tmp = exceptionalState_0(this, Companion_getInstance_17().forGoal(this.c32_1, extractSignature(ensureNotNull(this.c32_1.c2v_1)), currentGoal.castToVar()));
2499
2499
  } else if (currentGoal.oy()) {
2500
2500
  var tmp$ret$5;
2501
2501
  // Inline function 'kotlin.with' call
2502
- var tmp0_with = this.w30_1;
2502
+ var tmp0_with = this.c32_1;
2503
2503
  // Inline function 'kotlin.contracts.contract' call
2504
2504
  var tmp$ret$4;
2505
2505
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateRuleSelection.computeNext.<anonymous>' call
2506
2506
  var currentGoalStruct = currentGoal.castToStruct();
2507
- var ruleSources = sequenceOf([tmp0_with.y2t_1.asTheory(tmp0_with.x2t_1), tmp0_with.a2u_1, tmp0_with.b2u_1]);
2507
+ var ruleSources = sequenceOf([tmp0_with.e2v_1.asTheory(tmp0_with.d2v_1), tmp0_with.g2v_1, tmp0_with.h2v_1]);
2508
2508
  var tmp_0;
2509
2509
  if (currentGoalStruct.gu()) {
2510
2510
  var tmp_1;
@@ -2523,7 +2523,7 @@
2523
2523
  // Inline function 'kotlin.contracts.contract' call
2524
2524
  var tmp$ret$0;
2525
2525
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateRuleSelection.computeNext.<anonymous>.<anonymous>' call
2526
- tmp$ret$0 = tmp0_let.e2z(tmp0_let.t2z_1.n2v(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, performCut(tmp0_let.t2z_1.n2u_1, this, cutLimit)));
2526
+ tmp$ret$0 = tmp0_let.k30(tmp0_let.z30_1.t2w(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, performCut(tmp0_let.z30_1.t2v_1, this, cutLimit)));
2527
2527
  tmp$ret$1 = tmp$ret$0;
2528
2528
  tmp_0 = tmp$ret$1;
2529
2529
  } else {
@@ -2546,10 +2546,10 @@
2546
2546
  if (tmp$ret$3) {
2547
2547
  var rules = cursor(flatMap(ruleSources, StateRuleSelection$computeNext$lambda(this, currentGoalStruct)));
2548
2548
  var tmp_2;
2549
- if (_get_isTailRecursive__h5eso7(this.w30_1, this)) {
2550
- tmp_2 = new StateRuleExecution(replaceWithChildAppendingRulesAndChoicePoints(this.w30_1, rules));
2549
+ if (_get_isTailRecursive__h5eso7(this.c32_1, this)) {
2550
+ tmp_2 = new StateRuleExecution(replaceWithChildAppendingRulesAndChoicePoints(this.c32_1, rules));
2551
2551
  } else {
2552
- tmp_2 = new StateRuleExecution(createChildAppendingRulesAndChoicePoints(this.w30_1, rules));
2552
+ tmp_2 = new StateRuleExecution(createChildAppendingRulesAndChoicePoints(this.c32_1, rules));
2553
2553
  }
2554
2554
  tmp_0 = tmp_2;
2555
2555
  } else {
@@ -2561,21 +2561,21 @@
2561
2561
  tmp$ret$5 = tmp$ret$4;
2562
2562
  tmp = tmp$ret$5;
2563
2563
  } else {
2564
- tmp = exceptionalState_0(this, Companion_getInstance_16().forGoal(this.w30_1, extractSignature(ensureNotNull(this.w30_1.w2t_1)), Expected_CALLABLE_getInstance(), currentGoal));
2564
+ tmp = exceptionalState_0(this, Companion_getInstance_16().forGoal(this.c32_1, extractSignature(ensureNotNull(this.c32_1.c2v_1)), Expected_CALLABLE_getInstance(), currentGoal));
2565
2565
  }
2566
2566
  return tmp;
2567
2567
  };
2568
- protoOf(StateRuleSelection).v2y = function (context) {
2569
- return this.e2z(context);
2568
+ protoOf(StateRuleSelection).b30 = function (context) {
2569
+ return this.k30(context);
2570
2570
  };
2571
- protoOf(StateRuleSelection).e2z = function (context) {
2571
+ protoOf(StateRuleSelection).k30 = function (context) {
2572
2572
  return new StateRuleSelection(context);
2573
2573
  };
2574
2574
  protoOf(StateRuleSelection).toString = function () {
2575
- return 'StateRuleSelection(context=' + this.w30_1 + ')';
2575
+ return 'StateRuleSelection(context=' + this.c32_1 + ')';
2576
2576
  };
2577
2577
  protoOf(StateRuleSelection).hashCode = function () {
2578
- return this.w30_1.hashCode();
2578
+ return this.c32_1.hashCode();
2579
2579
  };
2580
2580
  protoOf(StateRuleSelection).equals = function (other) {
2581
2581
  if (this === other)
@@ -2583,19 +2583,19 @@
2583
2583
  if (!(other instanceof StateRuleSelection))
2584
2584
  return false;
2585
2585
  var tmp0_other_with_cast = other instanceof StateRuleSelection ? other : THROW_CCE();
2586
- if (!this.w30_1.equals(tmp0_other_with_cast.w30_1))
2586
+ if (!this.c32_1.equals(tmp0_other_with_cast.c32_1))
2587
2587
  return false;
2588
2588
  return true;
2589
2589
  };
2590
2590
  function appendRulesAndChoicePoints(_this__u8e3s4, rules) {
2591
2591
  var tmp;
2592
2592
  if (rules.yo()) {
2593
- tmp = appendRules(_this__u8e3s4.n2u_1, rules.wo(), _this__u8e3s4);
2593
+ tmp = appendRules(_this__u8e3s4.t2v_1, rules.wo(), _this__u8e3s4);
2594
2594
  } else {
2595
- tmp = appendRules(_this__u8e3s4.n2u_1, Companion_getInstance_12().empty(), _this__u8e3s4);
2595
+ tmp = appendRules(_this__u8e3s4.t2v_1, Companion_getInstance_12().empty(), _this__u8e3s4);
2596
2596
  }
2597
2597
  var newChoicePointContext = tmp;
2598
- return _this__u8e3s4.n2v(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, rules, VOID, VOID, VOID, newChoicePointContext);
2598
+ return _this__u8e3s4.t2w(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, rules, VOID, VOID, VOID, newChoicePointContext);
2599
2599
  }
2600
2600
  function toGoals(_this__u8e3s4) {
2601
2601
  var tmp = unfoldGoals(_this__u8e3s4);
@@ -2613,17 +2613,17 @@
2613
2613
  }
2614
2614
  function createChild(_this__u8e3s4, inferProcedureFromGoals) {
2615
2615
  inferProcedureFromGoals = inferProcedureFromGoals === VOID ? true : inferProcedureFromGoals;
2616
- var currentGoal = ensureNotNull(_this__u8e3s4.k2x()).castToStruct();
2616
+ var currentGoal = ensureNotNull(_this__u8e3s4.q2y()).castToStruct();
2617
2617
  var tmp0_goals = toGoals(currentGoal);
2618
- var tmp1_procedure = inferProcedureFromGoals ? currentGoal : _this__u8e3s4.w2t_1;
2619
- var tmp2_depth = _this__u8e3s4.p2u_1 + 1 | 0;
2618
+ var tmp1_procedure = inferProcedureFromGoals ? currentGoal : _this__u8e3s4.c2v_1;
2619
+ var tmp2_depth = _this__u8e3s4.v2v_1 + 1 | 0;
2620
2620
  var tmp$ret$0;
2621
2621
  // Inline function 'kotlin.Long.plus' call
2622
- var tmp0_plus = _this__u8e3s4.q2u_1;
2622
+ var tmp0_plus = _this__u8e3s4.w2v_1;
2623
2623
  tmp$ret$0 = tmp0_plus.sf(new Long(1, 0));
2624
2624
  var tmp3_step = tmp$ret$0;
2625
2625
  var tmp4_relevantVariables = emptySet();
2626
- return _this__u8e3s4.n2v(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);
2626
+ return _this__u8e3s4.t2w(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);
2627
2627
  }
2628
2628
  function toRequest(_this__u8e3s4, goal, signature, startTime) {
2629
2629
  return new Request(signature, goal.st(), _this__u8e3s4, startTime);
@@ -2631,12 +2631,12 @@
2631
2631
  function appendPrimitivesAndChoicePoints(_this__u8e3s4, primitiveExecutions) {
2632
2632
  var tmp;
2633
2633
  if (primitiveExecutions.yo()) {
2634
- tmp = appendPrimitives(_this__u8e3s4.n2u_1, primitiveExecutions.wo(), _this__u8e3s4);
2634
+ tmp = appendPrimitives(_this__u8e3s4.t2v_1, primitiveExecutions.wo(), _this__u8e3s4);
2635
2635
  } else {
2636
- tmp = appendPrimitives(_this__u8e3s4.n2u_1, Companion_getInstance_12().empty(), _this__u8e3s4);
2636
+ tmp = appendPrimitives(_this__u8e3s4.t2v_1, Companion_getInstance_12().empty(), _this__u8e3s4);
2637
2637
  }
2638
2638
  var newChoicePointContext = tmp;
2639
- return _this__u8e3s4.n2v(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, primitiveExecutions, VOID, VOID, newChoicePointContext);
2639
+ return _this__u8e3s4.t2w(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, primitiveExecutions, VOID, VOID, newChoicePointContext);
2640
2640
  }
2641
2641
  function replaceWithChildAppendingRulesAndChoicePoints(_this__u8e3s4, rules, inferProcedureFromGoals) {
2642
2642
  inferProcedureFromGoals = inferProcedureFromGoals === VOID ? true : inferProcedureFromGoals;
@@ -2653,16 +2653,16 @@
2653
2653
  }
2654
2654
  function replaceWithChild(_this__u8e3s4, inferProcedureFromGoals) {
2655
2655
  inferProcedureFromGoals = inferProcedureFromGoals === VOID ? true : inferProcedureFromGoals;
2656
- var currentGoal = ensureNotNull(_this__u8e3s4.k2x()).castToStruct();
2656
+ var currentGoal = ensureNotNull(_this__u8e3s4.q2y()).castToStruct();
2657
2657
  var tmp0_goals = toGoals(currentGoal);
2658
- var tmp1_procedure = inferProcedureFromGoals ? currentGoal : _this__u8e3s4.w2t_1;
2659
- var tmp2_depth = _this__u8e3s4.p2u_1 + 1 | 0;
2658
+ var tmp1_procedure = inferProcedureFromGoals ? currentGoal : _this__u8e3s4.c2v_1;
2659
+ var tmp2_depth = _this__u8e3s4.v2v_1 + 1 | 0;
2660
2660
  var tmp$ret$0;
2661
2661
  // Inline function 'kotlin.Long.plus' call
2662
- var tmp0_plus = _this__u8e3s4.q2u_1;
2662
+ var tmp0_plus = _this__u8e3s4.w2v_1;
2663
2663
  tmp$ret$0 = tmp0_plus.sf(new Long(1, 0));
2664
2664
  var tmp3_step = tmp$ret$0;
2665
- return _this__u8e3s4.n2v(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);
2665
+ return _this__u8e3s4.t2w(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);
2666
2666
  }
2667
2667
  function toGoals$lambda(it) {
2668
2668
  return it.fu() ? Companion_getInstance_8().of('call', [it]) : it;
@@ -2686,54 +2686,54 @@
2686
2686
  return it.castToRule();
2687
2687
  }
2688
2688
  function AbstractSolutionIterator(state) {
2689
- this.x30_1 = state;
2690
- this.y30_1 = new Long(0, 0);
2689
+ this.d32_1 = state;
2690
+ this.e32_1 = new Long(0, 0);
2691
2691
  }
2692
2692
  protoOf(AbstractSolutionIterator).m = function () {
2693
2693
  var tmp$ret$1;
2694
2694
  // Inline function 'kotlin.let' call
2695
- var tmp0_let = this.x30_1;
2695
+ var tmp0_let = this.d32_1;
2696
2696
  // Inline function 'kotlin.contracts.contract' call
2697
2697
  var tmp$ret$0;
2698
2698
  // Inline function 'it.unibo.tuprolog.solve.classic.impl.AbstractSolutionIterator.hasNext.<anonymous>' call
2699
- tmp$ret$0 = !tmp0_let.r2y() ? true : tmp0_let.castToEndState().u2v();
2699
+ tmp$ret$0 = !tmp0_let.x2z() ? true : tmp0_let.castToEndState().a2x();
2700
2700
  tmp$ret$1 = tmp$ret$0;
2701
2701
  return tmp$ret$1;
2702
2702
  };
2703
2703
  protoOf(AbstractSolutionIterator).n = function () {
2704
2704
  do {
2705
- var previousState = this.x30_1;
2705
+ var previousState = this.d32_1;
2706
2706
  var tmp = this;
2707
- var tmp_0 = this.x30_1;
2707
+ var tmp_0 = this.d32_1;
2708
2708
  var tmp0_this = this;
2709
- tmp0_this.y30_1 = tmp0_this.y30_1.xf();
2710
- tmp.x30_1 = this.z30(tmp_0, tmp0_this.y30_1);
2711
- this.onStateTransition(previousState, this.x30_1, this.y30_1);
2709
+ tmp0_this.e32_1 = tmp0_this.e32_1.xf();
2710
+ tmp.d32_1 = this.f32(tmp_0, tmp0_this.e32_1);
2711
+ this.onStateTransition(previousState, this.d32_1, this.e32_1);
2712
2712
  }
2713
- while (!this.x30_1.r2y());
2714
- return this.x30_1.castToEndState().s2d().cleanUp();
2713
+ while (!this.d32_1.x2z());
2714
+ return this.d32_1.castToEndState().g2e().cleanUp();
2715
2715
  };
2716
2716
  function SimpleSolutionIterator(state, onStateTransitionCallback) {
2717
2717
  AbstractSolutionIterator.call(this, state);
2718
- this.c31_1 = onStateTransitionCallback;
2718
+ this.i32_1 = onStateTransitionCallback;
2719
2719
  }
2720
- protoOf(SimpleSolutionIterator).z30 = function (state, step) {
2720
+ protoOf(SimpleSolutionIterator).f32 = function (state, step) {
2721
2721
  return state.next();
2722
2722
  };
2723
- protoOf(SimpleSolutionIterator).d31 = function (source, destination, index) {
2724
- return this.c31_1(source, destination, index);
2723
+ protoOf(SimpleSolutionIterator).j32 = function (source, destination, index) {
2724
+ return this.i32_1(source, destination, index);
2725
2725
  };
2726
2726
  protoOf(SimpleSolutionIterator).onStateTransition = function (source, destination, index) {
2727
- return this.d31(source, destination, index);
2727
+ return this.j32(source, destination, index);
2728
2728
  };
2729
2729
  function DefaultBuiltins() {
2730
2730
  DefaultBuiltins_instance = this;
2731
2731
  ExtensionLibrary.call(this, CommonBuiltins_getInstance());
2732
2732
  }
2733
- protoOf(DefaultBuiltins).e2a = function () {
2733
+ protoOf(DefaultBuiltins).s2a = function () {
2734
2734
  return listOf(Throw_getInstance());
2735
2735
  };
2736
- protoOf(DefaultBuiltins).d2a = function () {
2736
+ protoOf(DefaultBuiltins).r2a = function () {
2737
2737
  return listOf_0([Catch_getInstance(), Call_getInstance(), Comma_getInstance(), Cut_getInstance(), Fail_getInstance(), Success_getInstance()]);
2738
2738
  };
2739
2739
  var DefaultBuiltins_instance;
@@ -2762,7 +2762,7 @@
2762
2762
  var tmp_3 = error.get(0);
2763
2763
  tmp = tmp_2.of(VOID, VOID, context, isInterface(tmp_3, Struct) ? tmp_3 : THROW_CCE(), error.lt() > 1 ? error.get(1) : null);
2764
2764
  } else {
2765
- tmp = Companion_getInstance_19().r22(error, context);
2765
+ tmp = Companion_getInstance_19().f23(error, context);
2766
2766
  }
2767
2767
  return tmp;
2768
2768
  }
@@ -2770,11 +2770,11 @@
2770
2770
  Throw_instance = this;
2771
2771
  UnaryPredicate.call(this, 'throw');
2772
2772
  }
2773
- protoOf(Throw).j2k = function (_this__u8e3s4, first) {
2774
- return sequenceOf([Companion_getInstance_21().e2b(_this__u8e3s4).replyException(handleError(this, _this__u8e3s4.context, _this__u8e3s4.arguments.o(0)), VOID, [])]);
2773
+ protoOf(Throw).x2k = function (_this__u8e3s4, first) {
2774
+ return sequenceOf([Companion_getInstance_21().s2b(_this__u8e3s4).replyException(handleError(this, _this__u8e3s4.context, _this__u8e3s4.arguments.o(0)), VOID, [])]);
2775
2775
  };
2776
- protoOf(Throw).j2e = function (_this__u8e3s4, first) {
2777
- return this.j2k(_this__u8e3s4, first);
2776
+ protoOf(Throw).x2e = function (_this__u8e3s4, first) {
2777
+ return this.x2k(_this__u8e3s4, first);
2778
2778
  };
2779
2779
  var Throw_instance;
2780
2780
  function Throw_getInstance() {
@@ -2786,10 +2786,10 @@
2786
2786
  Call_instance = this;
2787
2787
  RuleWrapper_init_$Init$('call', 1, VOID, this);
2788
2788
  }
2789
- protoOf(Call).n2e = function (_this__u8e3s4) {
2789
+ protoOf(Call).b2f = function (_this__u8e3s4) {
2790
2790
  return _this__u8e3s4.ktListOf([_this__u8e3s4.varOf('G')]);
2791
2791
  };
2792
- protoOf(Call).o2e = function (_this__u8e3s4) {
2792
+ protoOf(Call).c2f = function (_this__u8e3s4) {
2793
2793
  var tmp$ret$0;
2794
2794
  // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
2795
2795
  var tmp0__get_functor__thl4dk = EnsureExecutable_getInstance();
@@ -2806,10 +2806,10 @@
2806
2806
  Catch_instance = this;
2807
2807
  RuleWrapper_init_$Init$('catch', 3, VOID, this);
2808
2808
  }
2809
- protoOf(Catch).n2e = function (_this__u8e3s4) {
2809
+ protoOf(Catch).b2f = function (_this__u8e3s4) {
2810
2810
  return _this__u8e3s4.ktListOf([_this__u8e3s4.varOf('G'), _this__u8e3s4.varOf('E'), _this__u8e3s4.varOf('C')]);
2811
2811
  };
2812
- protoOf(Catch).o2e = function (_this__u8e3s4) {
2812
+ protoOf(Catch).c2f = function (_this__u8e3s4) {
2813
2813
  return _this__u8e3s4.varOf('G');
2814
2814
  };
2815
2815
  var Catch_instance;
@@ -2822,10 +2822,10 @@
2822
2822
  Comma_instance = this;
2823
2823
  RuleWrapper_init_$Init$(',', 2, VOID, this);
2824
2824
  }
2825
- protoOf(Comma).n2e = function (_this__u8e3s4) {
2825
+ protoOf(Comma).b2f = function (_this__u8e3s4) {
2826
2826
  return _this__u8e3s4.ktListOf([_this__u8e3s4.varOf('A'), _this__u8e3s4.varOf('B')]);
2827
2827
  };
2828
- protoOf(Comma).o2e = function (_this__u8e3s4) {
2828
+ protoOf(Comma).c2f = function (_this__u8e3s4) {
2829
2829
  return _this__u8e3s4.tupleOf([_this__u8e3s4.varOf('A'), _this__u8e3s4.varOf('B')]);
2830
2830
  };
2831
2831
  var Comma_instance;
@@ -2848,7 +2848,7 @@
2848
2848
  Fail_instance = this;
2849
2849
  NegationAsFailure.call(this);
2850
2850
  }
2851
- protoOf(Fail).o2e = function (_this__u8e3s4) {
2851
+ protoOf(Fail).c2f = function (_this__u8e3s4) {
2852
2852
  var tmp$ret$0;
2853
2853
  // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
2854
2854
  var tmp0__get_functor__thl4dk = EnsureExecutable_getInstance();
@@ -2870,7 +2870,7 @@
2870
2870
  Success_instance = this;
2871
2871
  NegationAsFailure.call(this);
2872
2872
  }
2873
- protoOf(Success).o2e = function (_this__u8e3s4) {
2873
+ protoOf(Success).c2f = function (_this__u8e3s4) {
2874
2874
  return _this__u8e3s4.truthOf(true);
2875
2875
  };
2876
2876
  var Success_instance;
@@ -2881,8 +2881,8 @@
2881
2881
  }
2882
2882
  function Companion_1() {
2883
2883
  Companion_instance_1 = this;
2884
- this.d32_1 = '\\+';
2885
- this.e32_1 = 1;
2884
+ this.j33_1 = '\\+';
2885
+ this.k33_1 = 1;
2886
2886
  }
2887
2887
  var Companion_instance_1;
2888
2888
  function Companion_getInstance_24() {
@@ -2896,7 +2896,7 @@
2896
2896
  Companion_getInstance_24();
2897
2897
  RuleWrapper_init_$Init$('\\+', 1, VOID, this);
2898
2898
  }
2899
- protoOf(NegationAsFailure).n2e = function (_this__u8e3s4) {
2899
+ protoOf(NegationAsFailure).b2f = function (_this__u8e3s4) {
2900
2900
  return _this__u8e3s4.ktListOf([_this__u8e3s4.varOf('X')]);
2901
2901
  };
2902
2902
  //region block: post-declaration
@@ -2940,18 +2940,18 @@
2940
2940
  protoOf(ClassicSolverFactory).mutableSolverOf = mutableSolverOf;
2941
2941
  protoOf(ClassicSolverFactory).rawMutableSolverOf = rawMutableSolverOf;
2942
2942
  protoOf(ClassicSolverFactory).newBuilder = newBuilder;
2943
- protoOf(ClassicSolverFactory).y1t = get_defaultRuntime;
2944
- protoOf(ClassicSolverFactory).a1u = get_defaultUnificator;
2945
- protoOf(ClassicSolverFactory).b1u = get_defaultFlags;
2946
- protoOf(ClassicSolverFactory).e1u = get_defaultStaticKb;
2947
- protoOf(ClassicSolverFactory).f1u = get_defaultDynamicKb;
2948
- protoOf(ClassicSolverFactory).g1u = get_defaultInputChannel;
2949
- protoOf(ClassicSolverFactory).h1u = get_defaultOutputChannel;
2950
- protoOf(ClassicSolverFactory).i1u = get_defaultErrorChannel;
2951
- protoOf(ClassicSolverFactory).j1u = get_defaultWarningsChannel;
2952
- protoOf(ClassicSolverFactory).r1u = solverWithDefaultBuiltins;
2943
+ protoOf(ClassicSolverFactory).m1u = get_defaultRuntime;
2944
+ protoOf(ClassicSolverFactory).o1u = get_defaultUnificator;
2945
+ protoOf(ClassicSolverFactory).p1u = get_defaultFlags;
2946
+ protoOf(ClassicSolverFactory).s1u = get_defaultStaticKb;
2947
+ protoOf(ClassicSolverFactory).t1u = get_defaultDynamicKb;
2948
+ protoOf(ClassicSolverFactory).u1u = get_defaultInputChannel;
2949
+ protoOf(ClassicSolverFactory).v1u = get_defaultOutputChannel;
2950
+ protoOf(ClassicSolverFactory).w1u = get_defaultErrorChannel;
2951
+ protoOf(ClassicSolverFactory).x1u = get_defaultWarningsChannel;
2952
+ protoOf(ClassicSolverFactory).f1v = solverWithDefaultBuiltins;
2953
2953
  protoOf(ClassicSolverFactory).solverWithDefaultBuiltinsAnd = solverWithDefaultBuiltinsAnd;
2954
- protoOf(ClassicSolverFactory).t1u = mutableSolverWithDefaultBuiltins;
2954
+ protoOf(ClassicSolverFactory).h1v = mutableSolverWithDefaultBuiltins;
2955
2955
  protoOf(ClassicSolverFactory).mutableSolverWithDefaultBuiltinsAnd = mutableSolverWithDefaultBuiltinsAnd;
2956
2956
  protoOf(MutableClassicSolver).copy = copy;
2957
2957
  protoOf(MutableClassicSolver).solveWithTimeout = solveWithTimeout;
@@ -2972,62 +2972,62 @@
2972
2972
  protoOf(MutableClassicSolver).loadDynamicClauses = loadDynamicClauses;
2973
2973
  protoOf(MutableClassicSolver).loadDynamicClausesIterable = loadDynamicClausesIterable;
2974
2974
  protoOf(MutableClassicSolver).loadDynamicClausesSequence = loadDynamicClausesSequence;
2975
- protoOf(AbstractState).r2y = get_isEndState;
2975
+ protoOf(AbstractState).x2z = get_isEndState;
2976
2976
  protoOf(AbstractState).asEndState = asEndState;
2977
2977
  protoOf(AbstractState).castToEndState = castToEndState;
2978
2978
  protoOf(AbstractState).clone = clone;
2979
- protoOf(AbstractEndState).u2v = get_hasOpenAlternatives;
2980
- protoOf(AbstractEndState).r2y = get_isEndState_0;
2981
- protoOf(AbstractEndState).s2y = asEndState_0;
2979
+ protoOf(AbstractEndState).a2x = get_hasOpenAlternatives;
2980
+ protoOf(AbstractEndState).x2z = get_isEndState_0;
2981
+ protoOf(AbstractEndState).y2z = asEndState_0;
2982
2982
  protoOf(AbstractEndState).castToEndState = castToEndState;
2983
2983
  protoOf(AbstractEndState).clone = clone;
2984
2984
  protoOf(StateBacktracking).clone = clone;
2985
- protoOf(StateBacktracking).r2y = get_isEndState;
2985
+ protoOf(StateBacktracking).x2z = get_isEndState;
2986
2986
  protoOf(StateBacktracking).asEndState = asEndState;
2987
2987
  protoOf(StateBacktracking).castToEndState = castToEndState;
2988
2988
  protoOf(StateEnd).clone = clone;
2989
- protoOf(StateEnd).u2v = get_hasOpenAlternatives;
2990
- protoOf(StateEnd).r2y = get_isEndState_0;
2991
- protoOf(StateEnd).s2y = asEndState_0;
2989
+ protoOf(StateEnd).a2x = get_hasOpenAlternatives;
2990
+ protoOf(StateEnd).x2z = get_isEndState_0;
2991
+ protoOf(StateEnd).y2z = asEndState_0;
2992
2992
  protoOf(StateEnd).castToEndState = castToEndState;
2993
2993
  protoOf(StateException).clone = clone;
2994
- protoOf(StateException).r2y = get_isEndState;
2994
+ protoOf(StateException).x2z = get_isEndState;
2995
2995
  protoOf(StateException).asEndState = asEndState;
2996
2996
  protoOf(StateException).castToEndState = castToEndState;
2997
2997
  protoOf(StateGoalSelection).clone = clone;
2998
- protoOf(StateGoalSelection).r2y = get_isEndState;
2998
+ protoOf(StateGoalSelection).x2z = get_isEndState;
2999
2999
  protoOf(StateGoalSelection).asEndState = asEndState;
3000
3000
  protoOf(StateGoalSelection).castToEndState = castToEndState;
3001
3001
  protoOf(StateHalt).clone = clone;
3002
- protoOf(StateHalt).r2y = get_isEndState_0;
3003
- protoOf(StateHalt).s2y = asEndState_0;
3002
+ protoOf(StateHalt).x2z = get_isEndState_0;
3003
+ protoOf(StateHalt).y2z = asEndState_0;
3004
3004
  protoOf(StateHalt).castToEndState = castToEndState;
3005
- protoOf(StateHalt).u2v = get_hasOpenAlternatives;
3005
+ protoOf(StateHalt).a2x = get_hasOpenAlternatives;
3006
3006
  protoOf(StateInit).clone = clone;
3007
- protoOf(StateInit).r2y = get_isEndState;
3007
+ protoOf(StateInit).x2z = get_isEndState;
3008
3008
  protoOf(StateInit).asEndState = asEndState;
3009
3009
  protoOf(StateInit).castToEndState = castToEndState;
3010
3010
  protoOf(StatePrimitiveExecution).clone = clone;
3011
- protoOf(StatePrimitiveExecution).r2y = get_isEndState;
3011
+ protoOf(StatePrimitiveExecution).x2z = get_isEndState;
3012
3012
  protoOf(StatePrimitiveExecution).asEndState = asEndState;
3013
3013
  protoOf(StatePrimitiveExecution).castToEndState = castToEndState;
3014
3014
  protoOf(StatePrimitiveSelection).clone = clone;
3015
- protoOf(StatePrimitiveSelection).r2y = get_isEndState;
3015
+ protoOf(StatePrimitiveSelection).x2z = get_isEndState;
3016
3016
  protoOf(StatePrimitiveSelection).asEndState = asEndState;
3017
3017
  protoOf(StatePrimitiveSelection).castToEndState = castToEndState;
3018
3018
  protoOf(StateRuleExecution).clone = clone;
3019
- protoOf(StateRuleExecution).r2y = get_isEndState;
3019
+ protoOf(StateRuleExecution).x2z = get_isEndState;
3020
3020
  protoOf(StateRuleExecution).asEndState = asEndState;
3021
3021
  protoOf(StateRuleExecution).castToEndState = castToEndState;
3022
3022
  protoOf(StateRuleSelection).clone = clone;
3023
- protoOf(StateRuleSelection).r2y = get_isEndState;
3023
+ protoOf(StateRuleSelection).x2z = get_isEndState;
3024
3024
  protoOf(StateRuleSelection).asEndState = asEndState;
3025
3025
  protoOf(StateRuleSelection).castToEndState = castToEndState;
3026
3026
  protoOf(DefaultBuiltins).containsSignature = containsSignature;
3027
3027
  protoOf(DefaultBuiltins).containsOperator = containsOperator;
3028
3028
  protoOf(DefaultBuiltins).hasPrimitive = hasPrimitive;
3029
3029
  protoOf(DefaultBuiltins).hasFunction = hasFunction;
3030
- protoOf(DefaultBuiltins).s29 = get_ruleSignatures;
3030
+ protoOf(DefaultBuiltins).g2a = get_ruleSignatures;
3031
3031
  protoOf(DefaultBuiltins).hasProtected = hasProtected;
3032
3032
  //endregion
3033
3033
  //region block: exports