@tuprolog/arg2p-core 0.7.3 → 0.8.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 (32) hide show
  1. package/2p-core.js +2784 -2731
  2. package/2p-core.js.map +1 -1
  3. package/2p-dsl-core.js +1620 -5
  4. package/2p-dsl-core.js.map +1 -1
  5. package/2p-dsl-solve.js +949 -5
  6. package/2p-dsl-solve.js.map +1 -1
  7. package/2p-dsl-theory.js +796 -5
  8. package/2p-dsl-theory.js.map +1 -1
  9. package/2p-dsl-unify.js +69 -5
  10. package/2p-dsl-unify.js.map +1 -1
  11. package/2p-parser-core.js +538 -191
  12. package/2p-parser-core.js.map +1 -1
  13. package/2p-parser-js.js +1 -1
  14. package/2p-parser-theory.js +28 -23
  15. package/2p-parser-theory.js.map +1 -1
  16. package/2p-solve-classic.js +1034 -1027
  17. package/2p-solve-classic.js.map +1 -1
  18. package/2p-solve.js +3833 -3752
  19. package/2p-solve.js.map +1 -1
  20. package/2p-theory.js +1649 -1634
  21. package/2p-theory.js.map +1 -1
  22. package/2p-unify.js +259 -252
  23. package/2p-unify.js.map +1 -1
  24. package/2p-utils.js +542 -455
  25. package/2p-utils.js.map +1 -1
  26. package/arg2p-core.js +4333 -364
  27. package/arg2p-core.js.map +1 -1
  28. package/kotlin-kotlin-stdlib.js +2599 -2057
  29. package/kotlin-kotlin-stdlib.js.map +1 -1
  30. package/kt-math.js +2222 -2218
  31. package/kt-math.js.map +1 -1
  32. package/package.json +1 -1
package/2p-solve-classic.js CHANGED
@@ -28,154 +28,155 @@
28
28
  'use strict';
29
29
  //region block: imports
30
30
  var imul = Math.imul;
31
- var Companion_getInstance = kotlin_it_unibo_tuprolog_unify.$_$.a;
31
+ var Companion_getInstance = kotlin_it_unibo_tuprolog_unify.$_$.b;
32
32
  var VOID = kotlin_kotlin.$_$.d;
33
- var Companion_instance = kotlin_it_unibo_tuprolog_solve.$_$.b1;
34
- var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_solve.$_$.x;
33
+ var Companion_instance = kotlin_it_unibo_tuprolog_solve.$_$.i1;
34
+ var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_solve.$_$.d1;
35
35
  var Companion_instance_0 = kotlin_it_unibo_tuprolog_theory.$_$.b;
36
36
  var Companion_instance_1 = kotlin_it_unibo_tuprolog_theory.$_$.a;
37
- var Companion_instance_2 = kotlin_it_unibo_tuprolog_solve.$_$.m;
38
- var Companion_instance_3 = kotlin_it_unibo_tuprolog_solve.$_$.o;
39
- var Companion_instance_4 = kotlin_it_unibo_tuprolog_solve.$_$.n;
40
- var Companion_instance_5 = kotlin_it_unibo_tuprolog_solve.$_$.p;
41
- var toString = kotlin_kotlin.$_$.x5;
37
+ var Companion_instance_2 = kotlin_it_unibo_tuprolog_solve.$_$.q;
38
+ var Companion_instance_3 = kotlin_it_unibo_tuprolog_solve.$_$.s;
39
+ var Companion_instance_4 = kotlin_it_unibo_tuprolog_solve.$_$.r;
40
+ var Companion_instance_5 = kotlin_it_unibo_tuprolog_solve.$_$.t;
41
+ var toString = kotlin_kotlin.$_$.f6;
42
42
  var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.s;
43
- var Unit_instance = kotlin_kotlin.$_$.r1;
44
- var AbstractSolver = kotlin_it_unibo_tuprolog_solve.$_$.l1;
45
- var protoOf = kotlin_kotlin.$_$.s5;
46
- var THROW_CCE = kotlin_kotlin.$_$.h9;
47
- var throwUninitializedPropertyAccessException = kotlin_kotlin.$_$.q9;
48
- var getAllOperators = kotlin_it_unibo_tuprolog_solve.$_$.z2;
49
- var toOperatorSet = kotlin_it_unibo_tuprolog_solve.$_$.b3;
50
- var Long = kotlin_kotlin.$_$.b9;
51
- var currentTimeInstant = kotlin_it_unibo_tuprolog_solve.$_$.x2;
52
- var asSequence = kotlin_kotlin.$_$.q6;
53
- var classMeta = kotlin_kotlin.$_$.w4;
54
- var setMetadataFor = kotlin_kotlin.$_$.t5;
55
- var ensureNotNull = kotlin_kotlin.$_$.k9;
56
- var toLong = kotlin_kotlin.$_$.v5;
57
- var hashCode = kotlin_kotlin.$_$.e5;
58
- var equals = kotlin_kotlin.$_$.z4;
59
- var CoroutineImpl = kotlin_kotlin.$_$.o4;
60
- var SequenceScope = kotlin_kotlin.$_$.m6;
61
- var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.n4;
62
- var sequence = kotlin_kotlin.$_$.p7;
63
- var asSequence_0 = kotlin_kotlin.$_$.e2;
64
- var emptySequence = kotlin_kotlin.$_$.v6;
65
- var plus = kotlin_kotlin.$_$.n7;
66
- var flatMap = kotlin_kotlin.$_$.b7;
67
- var distinct = kotlin_kotlin.$_$.t6;
68
- var cached = kotlin_it_unibo_tuprolog_utils.$_$.p;
69
- var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_core.$_$.r;
70
- var filter = kotlin_kotlin.$_$.y6;
71
- var map = kotlin_kotlin.$_$.j7;
72
- var toList = kotlin_kotlin.$_$.v7;
73
- var Companion_instance_6 = kotlin_it_unibo_tuprolog_solve.$_$.q;
74
- var Companion_getInstance_2 = kotlin_it_unibo_tuprolog_core.$_$.s;
75
- var Companion_getInstance_3 = kotlin_it_unibo_tuprolog_core.$_$.u;
43
+ var Unit_instance = kotlin_kotlin.$_$.s1;
44
+ var AbstractSolver = kotlin_it_unibo_tuprolog_solve.$_$.t1;
45
+ var protoOf = kotlin_kotlin.$_$.a6;
46
+ var THROW_CCE = kotlin_kotlin.$_$.v9;
47
+ var throwUninitializedPropertyAccessException = kotlin_kotlin.$_$.ea;
48
+ var getAllOperators = kotlin_it_unibo_tuprolog_solve.$_$.k3;
49
+ var toOperatorSet = kotlin_it_unibo_tuprolog_solve.$_$.m3;
50
+ var Long = kotlin_kotlin.$_$.p9;
51
+ var currentTimeInstant = kotlin_it_unibo_tuprolog_solve.$_$.i3;
52
+ var asSequence = kotlin_kotlin.$_$.z6;
53
+ var classMeta = kotlin_kotlin.$_$.e5;
54
+ var setMetadataFor = kotlin_kotlin.$_$.b6;
55
+ var ensureNotNull = kotlin_kotlin.$_$.y9;
56
+ var toLong = kotlin_kotlin.$_$.d6;
57
+ var hashCode = kotlin_kotlin.$_$.m5;
58
+ var equals = kotlin_kotlin.$_$.h5;
59
+ var CoroutineImpl = kotlin_kotlin.$_$.w4;
60
+ var SequenceScope = kotlin_kotlin.$_$.v6;
61
+ var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.v4;
62
+ var sequence = kotlin_kotlin.$_$.z7;
63
+ var asSequence_0 = kotlin_kotlin.$_$.h2;
64
+ var emptySequence = kotlin_kotlin.$_$.e7;
65
+ var plus = kotlin_kotlin.$_$.w7;
66
+ var flatMap = kotlin_kotlin.$_$.k7;
67
+ var distinct = kotlin_kotlin.$_$.c7;
68
+ var cached = kotlin_it_unibo_tuprolog_utils.$_$.t;
69
+ var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_core.$_$.u;
70
+ var filter = kotlin_kotlin.$_$.h7;
71
+ var map = kotlin_kotlin.$_$.s7;
72
+ var toList = kotlin_kotlin.$_$.g8;
73
+ var Companion_instance_6 = kotlin_it_unibo_tuprolog_solve.$_$.u;
74
+ var Companion_getInstance_2 = kotlin_it_unibo_tuprolog_core.$_$.v;
75
+ var Companion_getInstance_3 = kotlin_it_unibo_tuprolog_core.$_$.x;
76
76
  var Companion_instance_7 = kotlin_it_unibo_tuprolog_utils.$_$.c;
77
- var Companion_getInstance_4 = kotlin_kotlin.$_$.q1;
78
- var emptySet = kotlin_kotlin.$_$.q2;
79
- var lazy = kotlin_kotlin.$_$.m9;
80
- var contains = kotlin_kotlin.$_$.r6;
81
- var createSolver = kotlin_it_unibo_tuprolog_solve.$_$.b;
82
- var update = kotlin_it_unibo_tuprolog_solve.$_$.c;
83
- var apply = kotlin_it_unibo_tuprolog_solve.$_$.v1;
84
- var applyIterable = kotlin_it_unibo_tuprolog_solve.$_$.u1;
85
- var applySequence = kotlin_it_unibo_tuprolog_solve.$_$.w1;
86
- var get_standardInput = kotlin_it_unibo_tuprolog_solve.$_$.y1;
87
- var get_standardOutput = kotlin_it_unibo_tuprolog_solve.$_$.z1;
88
- var get_standardError = kotlin_it_unibo_tuprolog_solve.$_$.x1;
89
- var get_warnings = kotlin_it_unibo_tuprolog_solve.$_$.a2;
90
- var get_endTime = kotlin_it_unibo_tuprolog_solve.$_$.s1;
91
- var get_remainingTime = kotlin_it_unibo_tuprolog_solve.$_$.t1;
92
- var get_elapsedTime = kotlin_it_unibo_tuprolog_solve.$_$.r1;
93
- var ExecutionContext = kotlin_it_unibo_tuprolog_solve.$_$.b2;
94
- var KProperty1 = kotlin_kotlin.$_$.l6;
95
- var getPropertyCallableRef = kotlin_kotlin.$_$.c5;
96
- var objectCreate = kotlin_kotlin.$_$.q5;
97
- var rawSolverOf = kotlin_it_unibo_tuprolog_solve.$_$.h;
98
- var solverOf = kotlin_it_unibo_tuprolog_solve.$_$.g;
99
- var mutableSolverOf = kotlin_it_unibo_tuprolog_solve.$_$.d;
100
- var rawMutableSolverOf = kotlin_it_unibo_tuprolog_solve.$_$.e;
101
- var newBuilder = kotlin_it_unibo_tuprolog_solve.$_$.u2;
102
- var get_defaultRuntime = kotlin_it_unibo_tuprolog_solve.$_$.p2;
103
- var get_defaultUnificator = kotlin_it_unibo_tuprolog_solve.$_$.r2;
104
- var get_defaultFlags = kotlin_it_unibo_tuprolog_solve.$_$.m2;
105
- var get_defaultStaticKb = kotlin_it_unibo_tuprolog_solve.$_$.q2;
106
- var get_defaultDynamicKb = kotlin_it_unibo_tuprolog_solve.$_$.k2;
107
- var get_defaultInputChannel = kotlin_it_unibo_tuprolog_solve.$_$.n2;
108
- var get_defaultOutputChannel = kotlin_it_unibo_tuprolog_solve.$_$.o2;
109
- var get_defaultErrorChannel = kotlin_it_unibo_tuprolog_solve.$_$.l2;
110
- var get_defaultWarningsChannel = kotlin_it_unibo_tuprolog_solve.$_$.s2;
111
- var solverWithDefaultBuiltins = kotlin_it_unibo_tuprolog_solve.$_$.v2;
112
- var solverWithDefaultBuiltinsAnd = kotlin_it_unibo_tuprolog_solve.$_$.i;
113
- var mutableSolverWithDefaultBuiltins = kotlin_it_unibo_tuprolog_solve.$_$.t2;
114
- var mutableSolverWithDefaultBuiltinsAnd = kotlin_it_unibo_tuprolog_solve.$_$.f;
115
- var SolverFactory = kotlin_it_unibo_tuprolog_solve.$_$.w2;
116
- var objectMeta = kotlin_kotlin.$_$.r5;
117
- var defineProp = kotlin_kotlin.$_$.y4;
118
- var listOf = kotlin_kotlin.$_$.d3;
119
- var getAllOperators_0 = kotlin_it_unibo_tuprolog_solve.$_$.a3;
120
- var to = kotlin_kotlin.$_$.s9;
121
- var loadStaticClauses = kotlin_it_unibo_tuprolog_solve.$_$.f2;
122
- var loadStaticClausesIterable = kotlin_it_unibo_tuprolog_solve.$_$.g2;
123
- var loadStaticClausesSequence = kotlin_it_unibo_tuprolog_solve.$_$.h2;
124
- var loadDynamicClauses = kotlin_it_unibo_tuprolog_solve.$_$.e2;
125
- var loadDynamicClausesIterable = kotlin_it_unibo_tuprolog_solve.$_$.c2;
126
- var loadDynamicClausesSequence = kotlin_it_unibo_tuprolog_solve.$_$.d2;
127
- var MutableSolver = kotlin_it_unibo_tuprolog_solve.$_$.i2;
77
+ var Companion_getInstance_4 = kotlin_kotlin.$_$.r1;
78
+ var emptySet = kotlin_kotlin.$_$.v2;
79
+ var lazy = kotlin_kotlin.$_$.aa;
80
+ var contains = kotlin_kotlin.$_$.a7;
81
+ var createSolver = kotlin_it_unibo_tuprolog_solve.$_$.e;
82
+ var createMutableSolver = kotlin_it_unibo_tuprolog_solve.$_$.d;
83
+ var update = kotlin_it_unibo_tuprolog_solve.$_$.f;
84
+ var apply = kotlin_it_unibo_tuprolog_solve.$_$.f2;
85
+ var applyIterable = kotlin_it_unibo_tuprolog_solve.$_$.e2;
86
+ var applySequence = kotlin_it_unibo_tuprolog_solve.$_$.g2;
87
+ var get_standardInput = kotlin_it_unibo_tuprolog_solve.$_$.i2;
88
+ var get_standardOutput = kotlin_it_unibo_tuprolog_solve.$_$.j2;
89
+ var get_standardError = kotlin_it_unibo_tuprolog_solve.$_$.h2;
90
+ var get_warnings = kotlin_it_unibo_tuprolog_solve.$_$.k2;
91
+ var get_endTime = kotlin_it_unibo_tuprolog_solve.$_$.c2;
92
+ var get_remainingTime = kotlin_it_unibo_tuprolog_solve.$_$.d2;
93
+ var get_elapsedTime = kotlin_it_unibo_tuprolog_solve.$_$.b2;
94
+ var ExecutionContext = kotlin_it_unibo_tuprolog_solve.$_$.l2;
95
+ var KProperty1 = kotlin_kotlin.$_$.u6;
96
+ var getPropertyCallableRef = kotlin_kotlin.$_$.k5;
97
+ var objectCreate = kotlin_kotlin.$_$.y5;
98
+ var rawSolverOf = kotlin_it_unibo_tuprolog_solve.$_$.l;
99
+ var solverOf = kotlin_it_unibo_tuprolog_solve.$_$.k;
100
+ var mutableSolverOf = kotlin_it_unibo_tuprolog_solve.$_$.h;
101
+ var rawMutableSolverOf = kotlin_it_unibo_tuprolog_solve.$_$.i;
102
+ var newBuilder = kotlin_it_unibo_tuprolog_solve.$_$.f3;
103
+ var get_defaultRuntime = kotlin_it_unibo_tuprolog_solve.$_$.a3;
104
+ var get_defaultUnificator = kotlin_it_unibo_tuprolog_solve.$_$.c3;
105
+ var get_defaultFlags = kotlin_it_unibo_tuprolog_solve.$_$.x2;
106
+ var get_defaultStaticKb = kotlin_it_unibo_tuprolog_solve.$_$.b3;
107
+ var get_defaultDynamicKb = kotlin_it_unibo_tuprolog_solve.$_$.v2;
108
+ var get_defaultInputChannel = kotlin_it_unibo_tuprolog_solve.$_$.y2;
109
+ var get_defaultOutputChannel = kotlin_it_unibo_tuprolog_solve.$_$.z2;
110
+ var get_defaultErrorChannel = kotlin_it_unibo_tuprolog_solve.$_$.w2;
111
+ var get_defaultWarningsChannel = kotlin_it_unibo_tuprolog_solve.$_$.d3;
112
+ var solverWithDefaultBuiltins = kotlin_it_unibo_tuprolog_solve.$_$.g3;
113
+ var solverWithDefaultBuiltinsAnd = kotlin_it_unibo_tuprolog_solve.$_$.m;
114
+ var mutableSolverWithDefaultBuiltins = kotlin_it_unibo_tuprolog_solve.$_$.e3;
115
+ var mutableSolverWithDefaultBuiltinsAnd = kotlin_it_unibo_tuprolog_solve.$_$.j;
116
+ var SolverFactory = kotlin_it_unibo_tuprolog_solve.$_$.h3;
117
+ var objectMeta = kotlin_kotlin.$_$.z5;
118
+ var defineProp = kotlin_kotlin.$_$.g5;
119
+ var listOf = kotlin_kotlin.$_$.j3;
120
+ var getAllOperators_0 = kotlin_it_unibo_tuprolog_solve.$_$.l3;
121
+ var to = kotlin_kotlin.$_$.ha;
122
+ var loadStaticClauses = kotlin_it_unibo_tuprolog_solve.$_$.p2;
123
+ var loadStaticClausesIterable = kotlin_it_unibo_tuprolog_solve.$_$.q2;
124
+ var loadStaticClausesSequence = kotlin_it_unibo_tuprolog_solve.$_$.r2;
125
+ var loadDynamicClauses = kotlin_it_unibo_tuprolog_solve.$_$.o2;
126
+ var loadDynamicClausesIterable = kotlin_it_unibo_tuprolog_solve.$_$.m2;
127
+ var loadDynamicClausesSequence = kotlin_it_unibo_tuprolog_solve.$_$.n2;
128
+ var MutableSolver = kotlin_it_unibo_tuprolog_solve.$_$.s2;
128
129
  var NoSuchElementException_init_$Create$ = kotlin_kotlin.$_$.y;
129
- var TimeOutException_init_$Create$ = kotlin_it_unibo_tuprolog_solve.$_$.k;
130
+ var TimeOutException_init_$Create$ = kotlin_it_unibo_tuprolog_solve.$_$.o;
130
131
  var NoSuchElementException_init_$Create$_0 = kotlin_kotlin.$_$.z;
131
- var interfaceMeta = kotlin_kotlin.$_$.f5;
132
+ var interfaceMeta = kotlin_kotlin.$_$.n5;
132
133
  var getKClass = kotlin_kotlin.$_$.c;
133
134
  var ClassCastException_init_$Create$ = kotlin_kotlin.$_$.q;
134
- var Companion_instance_8 = kotlin_it_unibo_tuprolog_solve.$_$.g1;
135
- var MessageError = kotlin_it_unibo_tuprolog_solve.$_$.i1;
136
- var Companion_instance_9 = kotlin_it_unibo_tuprolog_solve.$_$.u;
137
- var plus_0 = kotlin_it_unibo_tuprolog_utils.$_$.f1;
138
- var LogicError = kotlin_it_unibo_tuprolog_solve.$_$.j1;
139
- var toSet = kotlin_kotlin.$_$.x7;
140
- var plus_1 = kotlin_kotlin.$_$.t3;
141
- var TrackVariables_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.z;
142
- var drop = kotlin_kotlin.$_$.u6;
143
- var first = kotlin_kotlin.$_$.a7;
144
- var Unifier = kotlin_it_unibo_tuprolog_core.$_$.m1;
145
- var isInterface = kotlin_kotlin.$_$.i5;
135
+ var Companion_instance_8 = kotlin_it_unibo_tuprolog_solve.$_$.n1;
136
+ var MessageError = kotlin_it_unibo_tuprolog_solve.$_$.q1;
137
+ var Companion_instance_9 = kotlin_it_unibo_tuprolog_solve.$_$.a1;
138
+ var plus_0 = kotlin_it_unibo_tuprolog_utils.$_$.j1;
139
+ var LogicError = kotlin_it_unibo_tuprolog_solve.$_$.r1;
140
+ var toSet = kotlin_kotlin.$_$.i8;
141
+ var plus_1 = kotlin_kotlin.$_$.z3;
142
+ var TrackVariables_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.f1;
143
+ var drop = kotlin_kotlin.$_$.d7;
144
+ var first = kotlin_kotlin.$_$.j7;
145
+ var Unifier = kotlin_it_unibo_tuprolog_core.$_$.s1;
146
+ var isInterface = kotlin_kotlin.$_$.q5;
146
147
  var IllegalStateException_init_$Create$ = kotlin_kotlin.$_$.v;
147
- var ResolutionException = kotlin_it_unibo_tuprolog_solve.$_$.k1;
148
- var Companion_instance_10 = kotlin_it_unibo_tuprolog_solve.$_$.v;
149
- var extractSignature = kotlin_it_unibo_tuprolog_solve.$_$.y2;
150
- var Signature = kotlin_it_unibo_tuprolog_solve.$_$.j2;
148
+ var ResolutionException = kotlin_it_unibo_tuprolog_solve.$_$.s1;
149
+ var Companion_instance_10 = kotlin_it_unibo_tuprolog_solve.$_$.b1;
150
+ var extractSignature = kotlin_it_unibo_tuprolog_solve.$_$.j3;
151
+ var Signature = kotlin_it_unibo_tuprolog_solve.$_$.t2;
151
152
  var Expected_CALLABLE_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.a;
152
- var cursor = kotlin_it_unibo_tuprolog_utils.$_$.r;
153
- var Companion_instance_11 = kotlin_it_unibo_tuprolog_solve.$_$.s;
154
- var prepareForExecutionWithUnifier = kotlin_it_unibo_tuprolog_core.$_$.n2;
155
- var setOf = kotlin_kotlin.$_$.z3;
156
- var Unknown_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.a1;
157
- var MissingPredicate_init_$Create$ = kotlin_it_unibo_tuprolog_solve.$_$.j;
158
- var Companion_instance_12 = kotlin_it_unibo_tuprolog_solve.$_$.r;
159
- var contains_0 = kotlin_kotlin.$_$.h2;
160
- var firstOrNull = kotlin_kotlin.$_$.z6;
161
- var any = kotlin_kotlin.$_$.o6;
162
- var LastCallOptimization_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.y;
163
- var buffered = kotlin_it_unibo_tuprolog_utils.$_$.o;
164
- var sequenceOf = kotlin_kotlin.$_$.o7;
165
- var MagicCut = kotlin_it_unibo_tuprolog_solve.$_$.q1;
166
- var Request = kotlin_it_unibo_tuprolog_solve.$_$.n1;
167
- var ExtensionLibrary = kotlin_it_unibo_tuprolog_solve.$_$.m1;
168
- var CommonBuiltins_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.f1;
169
- var listOf_0 = kotlin_kotlin.$_$.e3;
170
- var Struct = kotlin_it_unibo_tuprolog_core.$_$.l1;
171
- var Companion_instance_13 = kotlin_it_unibo_tuprolog_solve.$_$.t;
172
- var Companion_instance_14 = kotlin_it_unibo_tuprolog_solve.$_$.w;
173
- var UnaryPredicate = kotlin_it_unibo_tuprolog_solve.$_$.o1;
174
- var Companion_getInstance_5 = kotlin_it_unibo_tuprolog_solve.$_$.c1;
175
- var RuleWrapper = kotlin_it_unibo_tuprolog_solve.$_$.p1;
176
- var RuleWrapper_init_$Init$ = kotlin_it_unibo_tuprolog_solve.$_$.l;
177
- var EnsureExecutable_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.e1;
178
- var MagicCut_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.d1;
153
+ var cursor = kotlin_it_unibo_tuprolog_utils.$_$.v;
154
+ var Companion_instance_11 = kotlin_it_unibo_tuprolog_solve.$_$.y;
155
+ var prepareForExecutionWithUnifier = kotlin_it_unibo_tuprolog_core.$_$.u2;
156
+ var setOf = kotlin_kotlin.$_$.g4;
157
+ var Unknown_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.g1;
158
+ var MissingPredicate_init_$Create$ = kotlin_it_unibo_tuprolog_solve.$_$.n;
159
+ var Companion_instance_12 = kotlin_it_unibo_tuprolog_solve.$_$.x;
160
+ var contains_0 = kotlin_kotlin.$_$.k2;
161
+ var firstOrNull = kotlin_kotlin.$_$.i7;
162
+ var any = kotlin_kotlin.$_$.x6;
163
+ var LastCallOptimization_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.e1;
164
+ var buffered = kotlin_it_unibo_tuprolog_utils.$_$.s;
165
+ var sequenceOf = kotlin_kotlin.$_$.y7;
166
+ var MagicCut = kotlin_it_unibo_tuprolog_solve.$_$.a2;
167
+ var Request = kotlin_it_unibo_tuprolog_solve.$_$.w1;
168
+ var ExtensionLibrary = kotlin_it_unibo_tuprolog_solve.$_$.u1;
169
+ var CommonBuiltins_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.m1;
170
+ var listOf_0 = kotlin_kotlin.$_$.k3;
171
+ var Struct = kotlin_it_unibo_tuprolog_core.$_$.r1;
172
+ var Companion_instance_13 = kotlin_it_unibo_tuprolog_solve.$_$.z;
173
+ var Companion_instance_14 = kotlin_it_unibo_tuprolog_solve.$_$.c1;
174
+ var UnaryPredicate = kotlin_it_unibo_tuprolog_solve.$_$.y1;
175
+ var Companion_getInstance_5 = kotlin_it_unibo_tuprolog_solve.$_$.j1;
176
+ var RuleWrapper = kotlin_it_unibo_tuprolog_solve.$_$.z1;
177
+ var RuleWrapper_init_$Init$ = kotlin_it_unibo_tuprolog_solve.$_$.p;
178
+ var EnsureExecutable_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.l1;
179
+ var MagicCut_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.k1;
179
180
  //endregion
180
181
  //region block: pre-declaration
181
182
  setMetadataFor(AbstractClassicSolver, 'AbstractClassicSolver', classMeta, AbstractSolver);
@@ -199,19 +200,19 @@
199
200
  var tmp0_elvis_lhs = this.asEndState();
200
201
  var tmp;
201
202
  if (tmp0_elvis_lhs == null) {
202
- throw ClassCastException_init_$Create$('Cannot cast ' + this + ' to ' + getKClass(EndState).n6());
203
+ throw ClassCastException_init_$Create$('Cannot cast ' + this + ' to ' + getKClass(EndState).o6());
203
204
  } else {
204
205
  tmp = tmp0_elvis_lhs;
205
206
  }
206
207
  return tmp;
207
208
  }
208
209
  function clone(context, $super) {
209
- context = context === VOID ? this.jb() : context;
210
- return $super === VOID ? this.v31(context) : $super.v31.call(this, context);
210
+ context = context === VOID ? this.mb() : context;
211
+ return $super === VOID ? this.a35(context) : $super.a35.call(this, context);
211
212
  }
212
213
  setMetadataFor(State, 'State', interfaceMeta);
213
214
  function get_hasOpenAlternatives() {
214
- return this.z2f().y1t() ? this.jb().u2y() : false;
215
+ return this.q2i().o1w() ? this.mb().z31() : false;
215
216
  }
216
217
  function get_isEndState_0() {
217
218
  return true;
@@ -220,7 +221,7 @@
220
221
  return this;
221
222
  }
222
223
  function asEndState_1() {
223
- return this.s31();
224
+ return this.x34();
224
225
  }
225
226
  setMetadataFor(EndState, 'EndState', interfaceMeta, VOID, [State]);
226
227
  setMetadataFor(AbstractState, 'AbstractState', classMeta, VOID, [State]);
@@ -253,7 +254,7 @@
253
254
  setMetadataFor(Companion_1, 'Companion', objectMeta);
254
255
  //endregion
255
256
  function AbstractClassicSolver_init_$Init$(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb, $this) {
256
- unificator = unificator === VOID ? Companion_getInstance().x1i() : unificator;
257
+ unificator = unificator === VOID ? Companion_getInstance().y1k() : unificator;
257
258
  libraries = libraries === VOID ? Companion_instance.empty() : libraries;
258
259
  flags = flags === VOID ? Companion_getInstance_0().empty() : flags;
259
260
  staticKb = staticKb === VOID ? Companion_instance_0.empty(unificator) : staticKb;
@@ -263,7 +264,7 @@
263
264
  stdErr = stdErr === VOID ? Companion_instance_3.stdErr() : stdErr;
264
265
  warnings = warnings === VOID ? Companion_instance_3.warning() : warnings;
265
266
  trustKb = trustKb === VOID ? false : trustKb;
266
- AbstractClassicSolver.call($this, unificator, libraries, flags, staticKb, dynamicKb, Companion_instance_4.j1w(stdIn), Companion_instance_5.m1w(stdOut, stdErr, warnings), trustKb);
267
+ AbstractClassicSolver.call($this, unificator, libraries, flags, staticKb, dynamicKb, Companion_instance_4.x1y(stdIn), Companion_instance_5.a1z(stdOut, stdErr, warnings), trustKb);
267
268
  return $this;
268
269
  }
269
270
  function updateCurrentContextAfterStateTransition($this, source, destination, index) {
@@ -271,12 +272,12 @@
271
272
  // Inline function 'kotlin.contracts.contract' call
272
273
  // Inline function 'kotlin.require' call
273
274
  // Inline function 'kotlin.contracts.contract' call
274
- if (!destination.jb().q2x_1.equals(index)) {
275
+ if (!destination.mb().v30_1.equals(index)) {
275
276
  // Inline function 'kotlin.require.<anonymous>' call
276
277
  var message = 'Failed requirement.';
277
278
  throw IllegalArgumentException_init_$Create$(toString(message));
278
279
  }
279
- $this.x2x(destination.jb());
280
+ $this.c31(destination.mb());
280
281
  }
281
282
  function AbstractClassicSolver$updateCurrentContextAfterStateTransition$ref($boundThis) {
282
283
  var l = function (p0, p1, p2) {
@@ -287,7 +288,7 @@
287
288
  return l;
288
289
  }
289
290
  function AbstractClassicSolver(unificator, libraries, flags, initialStaticKb, initialDynamicKb, inputChannels, outputChannels, trustKb) {
290
- unificator = unificator === VOID ? Companion_getInstance().x1i() : unificator;
291
+ unificator = unificator === VOID ? Companion_getInstance().y1k() : unificator;
291
292
  libraries = libraries === VOID ? Companion_instance.empty() : libraries;
292
293
  flags = flags === VOID ? Companion_getInstance_0().empty() : flags;
293
294
  initialStaticKb = initialStaticKb === VOID ? Companion_instance_0.empty(unificator) : initialStaticKb;
@@ -297,97 +298,97 @@
297
298
  trustKb = trustKb === VOID ? false : trustKb;
298
299
  AbstractSolver.call(this, unificator, libraries, flags, initialStaticKb, initialDynamicKb, inputChannels, outputChannels, trustKb);
299
300
  }
300
- protoOf(AbstractClassicSolver).x2x = function (_set____db54di) {
301
- this.w2x_1 = _set____db54di;
301
+ protoOf(AbstractClassicSolver).c31 = function (_set____db54di) {
302
+ this.b31_1 = _set____db54di;
302
303
  };
303
- protoOf(AbstractClassicSolver).d29 = function (_set____db54di) {
304
- return this.x2x(_set____db54di instanceof ClassicExecutionContext ? _set____db54di : THROW_CCE());
304
+ protoOf(AbstractClassicSolver).s2b = function (_set____db54di) {
305
+ return this.c31(_set____db54di instanceof ClassicExecutionContext ? _set____db54di : THROW_CCE());
305
306
  };
306
- protoOf(AbstractClassicSolver).b29 = function () {
307
- var tmp = this.w2x_1;
307
+ protoOf(AbstractClassicSolver).q2b = function () {
308
+ var tmp = this.b31_1;
308
309
  if (!(tmp == null))
309
310
  return tmp;
310
311
  else {
311
312
  throwUninitializedPropertyAccessException('currentContext');
312
313
  }
313
314
  };
314
- protoOf(AbstractClassicSolver).c29 = function (unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, trustKb) {
315
+ protoOf(AbstractClassicSolver).r2b = function (unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, trustKb) {
315
316
  return new ClassicExecutionContext(VOID, unificator, libraries, flags, trustKb ? staticKb.toImmutableTheory() : Companion_instance_0.empty(unificator), trustKb ? dynamicKb.toMutableTheory() : Companion_instance_1.empty(unificator), toOperatorSet(getAllOperators(libraries, [])), inputChannels, outputChannels, VOID, VOID, VOID, VOID, VOID, VOID, new Long(0, 0));
316
317
  };
317
- protoOf(AbstractClassicSolver).j29 = function (goal, options) {
318
- var tmp0_unificator = this.a1j();
319
- var tmp1_libraries = this.x1s();
320
- var tmp2_flags = this.y1s();
321
- var tmp3_staticKb = this.z1s().toImmutableTheory();
322
- var tmp4_dynamicKb = this.a1t().toMutableTheory();
323
- var tmp5_operators = this.f1t();
324
- var tmp6_inputChannels = this.b1t();
325
- var tmp7_outputChannels = this.c1t();
326
- var tmp8_customData = this.b29().f2x_1;
318
+ protoOf(AbstractClassicSolver).y2b = function (goal, options) {
319
+ var tmp0_unificator = this.e1l();
320
+ var tmp1_libraries = this.k1v();
321
+ var tmp2_flags = this.l1v();
322
+ var tmp3_staticKb = this.m1v().toImmutableTheory();
323
+ var tmp4_dynamicKb = this.n1v().toMutableTheory();
324
+ var tmp5_operators = this.t1v();
325
+ var tmp6_inputChannels = this.o1v();
326
+ var tmp7_outputChannels = this.p1v();
327
+ var tmp8_customData = this.q2b().k30_1;
327
328
  var tmp9_startTime = currentTimeInstant();
328
- var tmp10_maxDuration = options.c1v();
329
- this.x2x(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));
330
- var tmp = new StateInit(this.b29());
331
- return asSequence(this.y2x(tmp, AbstractClassicSolver$updateCurrentContextAfterStateTransition$ref(this)));
329
+ var tmp10_maxDuration = options.r1x();
330
+ this.c31(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));
331
+ var tmp = new StateInit(this.q2b());
332
+ return asSequence(this.d31(tmp, AbstractClassicSolver$updateCurrentContextAfterStateTransition$ref(this)));
332
333
  };
333
334
  function Primitives(alternatives, executionContext, parent, depth) {
334
335
  ChoicePointContext.call(this, alternatives, executionContext, parent, depth);
335
- this.d2y_1 = alternatives;
336
- this.e2y_1 = executionContext;
337
- this.f2y_1 = parent;
338
- this.g2y_1 = depth;
336
+ this.i31_1 = alternatives;
337
+ this.j31_1 = executionContext;
338
+ this.k31_1 = parent;
339
+ this.l31_1 = depth;
339
340
  }
340
- protoOf(Primitives).h2y = function () {
341
- return this.d2y_1;
341
+ protoOf(Primitives).m31 = function () {
342
+ return this.i31_1;
342
343
  };
343
- protoOf(Primitives).i2y = function () {
344
- return this.e2y_1;
344
+ protoOf(Primitives).n31 = function () {
345
+ return this.j31_1;
345
346
  };
346
- protoOf(Primitives).j2y = function () {
347
- return this.f2y_1;
347
+ protoOf(Primitives).o31 = function () {
348
+ return this.k31_1;
348
349
  };
349
- protoOf(Primitives).k2y = function () {
350
- return this.g2y_1;
350
+ protoOf(Primitives).p31 = function () {
351
+ return this.l31_1;
351
352
  };
352
353
  protoOf(Primitives).toString = function () {
353
354
  return protoOf(ChoicePointContext).toString.call(this);
354
355
  };
355
- protoOf(Primitives).l2y = function () {
356
+ protoOf(Primitives).q31 = function () {
356
357
  return 'Primitives';
357
358
  };
358
- protoOf(Primitives).m2y = function (context) {
359
- var tmp0_$this = ensureNotNull(this.e2y_1);
360
- var tmp1_primitives = this.d2y_1;
359
+ protoOf(Primitives).r31 = function (context) {
360
+ var tmp0_$this = ensureNotNull(this.j31_1);
361
+ var tmp1_primitives = this.i31_1;
361
362
  // Inline function 'kotlin.Long.plus' call
362
- var tmp2_step = context.q2x_1.ia(toLong(1));
363
- var tmp3_startTime = context.l2x_1;
364
- var tmp4_flags = context.z2w_1;
365
- var tmp5_dynamicKb = context.b2x_1;
366
- var tmp6_staticKb = context.a2x_1;
367
- var tmp7_operators = context.c2x_1;
368
- var tmp8_inputChannels = context.d2x_1;
369
- var tmp9_outputChannels = context.e2x_1;
370
- var tmp10_libraries = context.y2w_1;
371
- var tmp11_customData = context.f2x_1.discardEphemeral();
372
- var tempContext = tmp0_$this.n2y(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);
373
- var nextChoicePointContext = this.o2y(this.d2y_1.pp(), tempContext);
374
- return tempContext.n2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, nextChoicePointContext);
375
- };
376
- protoOf(Primitives).p2y = function (alternatives, executionContext, parent, depth) {
363
+ var tmp2_step = context.v30_1.la(toLong(1));
364
+ var tmp3_startTime = context.q30_1;
365
+ var tmp4_flags = context.e30_1;
366
+ var tmp5_dynamicKb = context.g30_1;
367
+ var tmp6_staticKb = context.f30_1;
368
+ var tmp7_operators = context.h30_1;
369
+ var tmp8_inputChannels = context.i30_1;
370
+ var tmp9_outputChannels = context.j30_1;
371
+ var tmp10_libraries = context.d30_1;
372
+ var tmp11_customData = context.k30_1.discardEphemeral();
373
+ var tempContext = tmp0_$this.s31(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);
374
+ var nextChoicePointContext = this.t31(this.i31_1.wp(), tempContext);
375
+ return tempContext.s31(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, nextChoicePointContext);
376
+ };
377
+ protoOf(Primitives).u31 = function (alternatives, executionContext, parent, depth) {
377
378
  return new Primitives(alternatives, executionContext, parent, depth);
378
379
  };
379
- protoOf(Primitives).o2y = function (alternatives, executionContext, parent, depth, $super) {
380
- alternatives = alternatives === VOID ? this.d2y_1 : alternatives;
381
- executionContext = executionContext === VOID ? this.e2y_1 : executionContext;
382
- parent = parent === VOID ? this.f2y_1 : parent;
383
- depth = depth === VOID ? this.g2y_1 : depth;
384
- return $super === VOID ? this.p2y(alternatives, executionContext, parent, depth) : $super.p2y.call(this, alternatives, executionContext, parent, depth);
380
+ protoOf(Primitives).t31 = function (alternatives, executionContext, parent, depth, $super) {
381
+ alternatives = alternatives === VOID ? this.i31_1 : alternatives;
382
+ executionContext = executionContext === VOID ? this.j31_1 : executionContext;
383
+ parent = parent === VOID ? this.k31_1 : parent;
384
+ depth = depth === VOID ? this.l31_1 : depth;
385
+ return $super === VOID ? this.u31(alternatives, executionContext, parent, depth) : $super.u31.call(this, alternatives, executionContext, parent, depth);
385
386
  };
386
387
  protoOf(Primitives).hashCode = function () {
387
- var result = hashCode(this.d2y_1);
388
- result = imul(result, 31) + (this.e2y_1 == null ? 0 : this.e2y_1.hashCode()) | 0;
389
- result = imul(result, 31) + (this.f2y_1 == null ? 0 : hashCode(this.f2y_1)) | 0;
390
- result = imul(result, 31) + this.g2y_1 | 0;
388
+ var result = hashCode(this.i31_1);
389
+ result = imul(result, 31) + (this.j31_1 == null ? 0 : this.j31_1.hashCode()) | 0;
390
+ result = imul(result, 31) + (this.k31_1 == null ? 0 : hashCode(this.k31_1)) | 0;
391
+ result = imul(result, 31) + this.l31_1 | 0;
391
392
  return result;
392
393
  };
393
394
  protoOf(Primitives).equals = function (other) {
@@ -396,74 +397,74 @@
396
397
  if (!(other instanceof Primitives))
397
398
  return false;
398
399
  var tmp0_other_with_cast = other instanceof Primitives ? other : THROW_CCE();
399
- if (!equals(this.d2y_1, tmp0_other_with_cast.d2y_1))
400
+ if (!equals(this.i31_1, tmp0_other_with_cast.i31_1))
400
401
  return false;
401
- if (!equals(this.e2y_1, tmp0_other_with_cast.e2y_1))
402
+ if (!equals(this.j31_1, tmp0_other_with_cast.j31_1))
402
403
  return false;
403
- if (!equals(this.f2y_1, tmp0_other_with_cast.f2y_1))
404
+ if (!equals(this.k31_1, tmp0_other_with_cast.k31_1))
404
405
  return false;
405
- if (!(this.g2y_1 === tmp0_other_with_cast.g2y_1))
406
+ if (!(this.l31_1 === tmp0_other_with_cast.l31_1))
406
407
  return false;
407
408
  return true;
408
409
  };
409
410
  function Rules(alternatives, executionContext, parent, depth) {
410
411
  ChoicePointContext.call(this, alternatives, executionContext, parent, depth);
411
- this.c2z_1 = alternatives;
412
- this.d2z_1 = executionContext;
413
- this.e2z_1 = parent;
414
- this.f2z_1 = depth;
412
+ this.h32_1 = alternatives;
413
+ this.i32_1 = executionContext;
414
+ this.j32_1 = parent;
415
+ this.k32_1 = depth;
415
416
  }
416
- protoOf(Rules).h2y = function () {
417
- return this.c2z_1;
417
+ protoOf(Rules).m31 = function () {
418
+ return this.h32_1;
418
419
  };
419
- protoOf(Rules).i2y = function () {
420
- return this.d2z_1;
420
+ protoOf(Rules).n31 = function () {
421
+ return this.i32_1;
421
422
  };
422
- protoOf(Rules).j2y = function () {
423
- return this.e2z_1;
423
+ protoOf(Rules).o31 = function () {
424
+ return this.j32_1;
424
425
  };
425
- protoOf(Rules).k2y = function () {
426
- return this.f2z_1;
426
+ protoOf(Rules).p31 = function () {
427
+ return this.k32_1;
427
428
  };
428
429
  protoOf(Rules).toString = function () {
429
430
  return protoOf(ChoicePointContext).toString.call(this);
430
431
  };
431
- protoOf(Rules).l2y = function () {
432
+ protoOf(Rules).q31 = function () {
432
433
  return 'Rules';
433
434
  };
434
- protoOf(Rules).m2y = function (context) {
435
- var tmp0_$this = ensureNotNull(this.d2z_1);
436
- var tmp1_rules = this.c2z_1;
435
+ protoOf(Rules).r31 = function (context) {
436
+ var tmp0_$this = ensureNotNull(this.i32_1);
437
+ var tmp1_rules = this.h32_1;
437
438
  // Inline function 'kotlin.Long.plus' call
438
- var tmp2_step = context.q2x_1.ia(toLong(1));
439
- var tmp3_startTime = context.l2x_1;
440
- var tmp4_flags = context.z2w_1;
441
- var tmp5_dynamicKb = context.b2x_1;
442
- var tmp6_staticKb = context.a2x_1;
443
- var tmp7_operators = context.c2x_1;
444
- var tmp8_inputChannels = context.d2x_1;
445
- var tmp9_outputChannels = context.e2x_1;
446
- var tmp10_libraries = context.y2w_1;
447
- var tmp11_customData = context.f2x_1.discardEphemeral();
448
- var tempContext = tmp0_$this.n2y(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);
449
- var nextChoicePointContext = this.g2z(this.c2z_1.pp(), tempContext);
450
- return tempContext.n2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, nextChoicePointContext);
451
- };
452
- protoOf(Rules).h2z = function (alternatives, executionContext, parent, depth) {
439
+ var tmp2_step = context.v30_1.la(toLong(1));
440
+ var tmp3_startTime = context.q30_1;
441
+ var tmp4_flags = context.e30_1;
442
+ var tmp5_dynamicKb = context.g30_1;
443
+ var tmp6_staticKb = context.f30_1;
444
+ var tmp7_operators = context.h30_1;
445
+ var tmp8_inputChannels = context.i30_1;
446
+ var tmp9_outputChannels = context.j30_1;
447
+ var tmp10_libraries = context.d30_1;
448
+ var tmp11_customData = context.k30_1.discardEphemeral();
449
+ var tempContext = tmp0_$this.s31(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);
450
+ var nextChoicePointContext = this.l32(this.h32_1.wp(), tempContext);
451
+ return tempContext.s31(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, nextChoicePointContext);
452
+ };
453
+ protoOf(Rules).m32 = function (alternatives, executionContext, parent, depth) {
453
454
  return new Rules(alternatives, executionContext, parent, depth);
454
455
  };
455
- protoOf(Rules).g2z = function (alternatives, executionContext, parent, depth, $super) {
456
- alternatives = alternatives === VOID ? this.c2z_1 : alternatives;
457
- executionContext = executionContext === VOID ? this.d2z_1 : executionContext;
458
- parent = parent === VOID ? this.e2z_1 : parent;
459
- depth = depth === VOID ? this.f2z_1 : depth;
460
- return $super === VOID ? this.h2z(alternatives, executionContext, parent, depth) : $super.h2z.call(this, alternatives, executionContext, parent, depth);
456
+ protoOf(Rules).l32 = function (alternatives, executionContext, parent, depth, $super) {
457
+ alternatives = alternatives === VOID ? this.h32_1 : alternatives;
458
+ executionContext = executionContext === VOID ? this.i32_1 : executionContext;
459
+ parent = parent === VOID ? this.j32_1 : parent;
460
+ depth = depth === VOID ? this.k32_1 : depth;
461
+ return $super === VOID ? this.m32(alternatives, executionContext, parent, depth) : $super.m32.call(this, alternatives, executionContext, parent, depth);
461
462
  };
462
463
  protoOf(Rules).hashCode = function () {
463
- var result = hashCode(this.c2z_1);
464
- result = imul(result, 31) + (this.d2z_1 == null ? 0 : this.d2z_1.hashCode()) | 0;
465
- result = imul(result, 31) + (this.e2z_1 == null ? 0 : hashCode(this.e2z_1)) | 0;
466
- result = imul(result, 31) + this.f2z_1 | 0;
464
+ var result = hashCode(this.h32_1);
465
+ result = imul(result, 31) + (this.i32_1 == null ? 0 : this.i32_1.hashCode()) | 0;
466
+ result = imul(result, 31) + (this.j32_1 == null ? 0 : hashCode(this.j32_1)) | 0;
467
+ result = imul(result, 31) + this.k32_1 | 0;
467
468
  return result;
468
469
  };
469
470
  protoOf(Rules).equals = function (other) {
@@ -472,114 +473,114 @@
472
473
  if (!(other instanceof Rules))
473
474
  return false;
474
475
  var tmp0_other_with_cast = other instanceof Rules ? other : THROW_CCE();
475
- if (!equals(this.c2z_1, tmp0_other_with_cast.c2z_1))
476
+ if (!equals(this.h32_1, tmp0_other_with_cast.h32_1))
476
477
  return false;
477
- if (!equals(this.d2z_1, tmp0_other_with_cast.d2z_1))
478
+ if (!equals(this.i32_1, tmp0_other_with_cast.i32_1))
478
479
  return false;
479
- if (!equals(this.e2z_1, tmp0_other_with_cast.e2z_1))
480
+ if (!equals(this.j32_1, tmp0_other_with_cast.j32_1))
480
481
  return false;
481
- if (!(this.f2z_1 === tmp0_other_with_cast.f2z_1))
482
+ if (!(this.k32_1 === tmp0_other_with_cast.k32_1))
482
483
  return false;
483
484
  return true;
484
485
  };
485
486
  function ChoicePointContext$_get_pathToRoot_$slambda_q0myjn(this$0, resultContinuation) {
486
- this.q2z_1 = this$0;
487
+ this.v32_1 = this$0;
487
488
  CoroutineImpl.call(this, resultContinuation);
488
489
  }
489
- protoOf(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn).t2z = function ($this$sequence, $completion) {
490
- var tmp = this.u2z($this$sequence, $completion);
491
- tmp.eb_1 = Unit_instance;
492
- tmp.fb_1 = null;
493
- return tmp.nb();
490
+ protoOf(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn).y32 = function ($this$sequence, $completion) {
491
+ var tmp = this.z32($this$sequence, $completion);
492
+ tmp.hb_1 = Unit_instance;
493
+ tmp.ib_1 = null;
494
+ return tmp.qb();
494
495
  };
495
- protoOf(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn).ac = function (p1, $completion) {
496
- return this.t2z(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
496
+ protoOf(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn).dc = function (p1, $completion) {
497
+ return this.y32(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
497
498
  };
498
- protoOf(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn).nb = function () {
499
- var suspendResult = this.eb_1;
499
+ protoOf(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn).qb = function () {
500
+ var suspendResult = this.hb_1;
500
501
  $sm: do
501
502
  try {
502
- var tmp = this.cb_1;
503
+ var tmp = this.fb_1;
503
504
  switch (tmp) {
504
505
  case 0:
505
- this.db_1 = 4;
506
- this.s2z_1 = this.q2z_1;
507
- this.cb_1 = 1;
506
+ this.gb_1 = 4;
507
+ this.x32_1 = this.v32_1;
508
+ this.fb_1 = 1;
508
509
  continue $sm;
509
510
  case 1:
510
- if (!!(this.s2z_1 == null)) {
511
- this.cb_1 = 3;
511
+ if (!!(this.x32_1 == null)) {
512
+ this.fb_1 = 3;
512
513
  continue $sm;
513
514
  }
514
515
 
515
- this.cb_1 = 2;
516
- suspendResult = this.r2z_1.sd(ensureNotNull(this.s2z_1), this);
516
+ this.fb_1 = 2;
517
+ suspendResult = this.w32_1.wd(ensureNotNull(this.x32_1), this);
517
518
  if (suspendResult === get_COROUTINE_SUSPENDED()) {
518
519
  return suspendResult;
519
520
  }
520
521
 
521
522
  continue $sm;
522
523
  case 2:
523
- this.s2z_1 = this.s2z_1.j2y();
524
- this.cb_1 = 1;
524
+ this.x32_1 = this.x32_1.o31();
525
+ this.fb_1 = 1;
525
526
  continue $sm;
526
527
  case 3:
527
528
  return Unit_instance;
528
529
  case 4:
529
- throw this.fb_1;
530
+ throw this.ib_1;
530
531
  }
531
532
  } catch ($p) {
532
533
  var e = $p;
533
- if (this.db_1 === 4) {
534
+ if (this.gb_1 === 4) {
534
535
  throw e;
535
536
  } else {
536
- this.cb_1 = this.db_1;
537
- this.fb_1 = e;
537
+ this.fb_1 = this.gb_1;
538
+ this.ib_1 = e;
538
539
  }
539
540
  }
540
541
  while (true);
541
542
  };
542
- protoOf(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn).u2z = function ($this$sequence, completion) {
543
- var i = new ChoicePointContext$_get_pathToRoot_$slambda_q0myjn(this.q2z_1, completion);
544
- i.r2z_1 = $this$sequence;
543
+ protoOf(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn).z32 = function ($this$sequence, completion) {
544
+ var i = new ChoicePointContext$_get_pathToRoot_$slambda_q0myjn(this.v32_1, completion);
545
+ i.w32_1 = $this$sequence;
545
546
  return i;
546
547
  };
547
548
  function ChoicePointContext$_get_pathToRoot_$slambda_q0myjn_0(this$0, resultContinuation) {
548
549
  var i = new ChoicePointContext$_get_pathToRoot_$slambda_q0myjn(this$0, resultContinuation);
549
550
  var l = function ($this$sequence, $completion) {
550
- return i.t2z($this$sequence, $completion);
551
+ return i.y32($this$sequence, $completion);
551
552
  };
552
553
  l.$arity = 1;
553
554
  return l;
554
555
  }
555
556
  function ChoicePointContext(alternatives, executionContext, parent, depth) {
556
557
  depth = depth === VOID ? 0 : depth;
557
- this.q2y_1 = alternatives;
558
- this.r2y_1 = executionContext;
559
- this.s2y_1 = parent;
560
- this.t2y_1 = depth;
558
+ this.v31_1 = alternatives;
559
+ this.w31_1 = executionContext;
560
+ this.x31_1 = parent;
561
+ this.y31_1 = depth;
561
562
  }
562
- protoOf(ChoicePointContext).h2y = function () {
563
- return this.q2y_1;
563
+ protoOf(ChoicePointContext).m31 = function () {
564
+ return this.v31_1;
564
565
  };
565
- protoOf(ChoicePointContext).i2y = function () {
566
- return this.r2y_1;
566
+ protoOf(ChoicePointContext).n31 = function () {
567
+ return this.w31_1;
567
568
  };
568
- protoOf(ChoicePointContext).j2y = function () {
569
- return this.s2y_1;
569
+ protoOf(ChoicePointContext).o31 = function () {
570
+ return this.x31_1;
570
571
  };
571
- protoOf(ChoicePointContext).k2y = function () {
572
- return this.t2y_1;
572
+ protoOf(ChoicePointContext).p31 = function () {
573
+ return this.y31_1;
573
574
  };
574
- protoOf(ChoicePointContext).u2y = function () {
575
+ protoOf(ChoicePointContext).z31 = function () {
575
576
  var tmp$ret$1;
576
577
  $l$block: {
577
578
  // Inline function 'kotlin.sequences.any' call
578
- var tmp0_iterator = this.v2y().o();
579
- while (tmp0_iterator.p()) {
580
- var element = tmp0_iterator.r();
579
+ var tmp0_iterator = this.a32().r();
580
+ while (tmp0_iterator.s()) {
581
+ var element = tmp0_iterator.u();
581
582
  // Inline function 'it.unibo.tuprolog.solve.classic.ChoicePointContext.<get-hasOpenAlternatives>.<anonymous>' call
582
- if (element.h2y().rp()) {
583
+ if (element.m31().yp()) {
583
584
  tmp$ret$1 = true;
584
585
  break $l$block;
585
586
  }
@@ -588,117 +589,117 @@
588
589
  }
589
590
  return tmp$ret$1;
590
591
  };
591
- protoOf(ChoicePointContext).v2y = function () {
592
+ protoOf(ChoicePointContext).a32 = function () {
592
593
  return sequence(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn_0(this, null));
593
594
  };
594
- protoOf(ChoicePointContext).w2y = function () {
595
- var tmp0_safe_receiver = this.i2y();
596
- return tmp0_safe_receiver == null ? null : tmp0_safe_receiver.p2x_1;
595
+ protoOf(ChoicePointContext).b32 = function () {
596
+ var tmp0_safe_receiver = this.n31();
597
+ return tmp0_safe_receiver == null ? null : tmp0_safe_receiver.u30_1;
597
598
  };
598
- protoOf(ChoicePointContext).x2y = function () {
599
- var tmp0_safe_receiver = this.i2y();
600
- return tmp0_safe_receiver == null ? null : tmp0_safe_receiver.w2w_1;
599
+ protoOf(ChoicePointContext).c32 = function () {
600
+ var tmp0_safe_receiver = this.n31();
601
+ return tmp0_safe_receiver == null ? null : tmp0_safe_receiver.b30_1;
601
602
  };
602
603
  protoOf(ChoicePointContext).toString = function () {
603
- var tmp = this.l2y() + '(' + ('alternatives=' + this.h2y() + ', ');
604
+ var tmp = this.q31() + '(' + ('alternatives=' + this.m31() + ', ');
604
605
  var tmp_0;
605
- if (this.i2y() === null) {
606
- tmp_0 = 'executionContext=' + this.i2y() + ', ';
606
+ if (this.n31() === null) {
607
+ tmp_0 = 'executionContext=' + this.n31() + ', ';
607
608
  } else {
608
- 'executionContextDepth=' + this.w2y() + ', ';
609
- tmp_0 = 'executionContextProcedure=' + this.x2y() + ', ';
609
+ 'executionContextDepth=' + this.b32() + ', ';
610
+ tmp_0 = 'executionContextProcedure=' + this.c32() + ', ';
610
611
  }
611
- return tmp + tmp_0 + ('depth=' + this.k2y()) + ')';
612
+ return tmp + tmp_0 + ('depth=' + this.p31()) + ')';
612
613
  };
613
614
  function appendRules(_this__u8e3s4, alternatives, executionContext) {
614
615
  executionContext = executionContext === VOID ? null : executionContext;
615
616
  return new Rules(alternatives, executionContext, _this__u8e3s4, nextDepth(_this__u8e3s4));
616
617
  }
617
618
  function nextDepth(_this__u8e3s4) {
618
- return _this__u8e3s4 == null ? 0 : _this__u8e3s4.k2y() + 1 | 0;
619
+ return _this__u8e3s4 == null ? 0 : _this__u8e3s4.p31() + 1 | 0;
619
620
  }
620
621
  function appendPrimitives(_this__u8e3s4, alternatives, executionContext) {
621
622
  executionContext = executionContext === VOID ? null : executionContext;
622
623
  return new Primitives(alternatives, executionContext, _this__u8e3s4, nextDepth(_this__u8e3s4));
623
624
  }
624
625
  function _get_locallyInterestingVariables__39cqti($this) {
625
- var tmp = asSequence_0($this.r2x_1);
626
- var tmp0_safe_receiver = $this.i2x_1.qp();
627
- var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.mu();
626
+ var tmp = asSequence_0($this.w30_1);
627
+ var tmp0_safe_receiver = $this.n30_1.xp();
628
+ var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.bv();
628
629
  return plus(tmp, tmp1_elvis_lhs == null ? emptySequence() : tmp1_elvis_lhs);
629
630
  }
630
631
  function _get_interestingVariables__k6uw5o($this) {
631
632
  // Inline function 'kotlin.getValue' call
632
- var this_0 = $this.u2x_1;
633
+ var this_0 = $this.z30_1;
633
634
  interestingVariables$factory();
634
- return this_0.q2();
635
+ return this_0.r2();
635
636
  }
636
637
  function ClassicExecutionContext$pathToRoot$slambda(this$0, resultContinuation) {
637
- this.d30_1 = this$0;
638
+ this.i33_1 = this$0;
638
639
  CoroutineImpl.call(this, resultContinuation);
639
640
  }
640
- protoOf(ClassicExecutionContext$pathToRoot$slambda).g30 = function ($this$sequence, $completion) {
641
- var tmp = this.h30($this$sequence, $completion);
642
- tmp.eb_1 = Unit_instance;
643
- tmp.fb_1 = null;
644
- return tmp.nb();
641
+ protoOf(ClassicExecutionContext$pathToRoot$slambda).l33 = function ($this$sequence, $completion) {
642
+ var tmp = this.m33($this$sequence, $completion);
643
+ tmp.hb_1 = Unit_instance;
644
+ tmp.ib_1 = null;
645
+ return tmp.qb();
645
646
  };
646
- protoOf(ClassicExecutionContext$pathToRoot$slambda).ac = function (p1, $completion) {
647
- return this.g30(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
647
+ protoOf(ClassicExecutionContext$pathToRoot$slambda).dc = function (p1, $completion) {
648
+ return this.l33(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
648
649
  };
649
- protoOf(ClassicExecutionContext$pathToRoot$slambda).nb = function () {
650
- var suspendResult = this.eb_1;
650
+ protoOf(ClassicExecutionContext$pathToRoot$slambda).qb = function () {
651
+ var suspendResult = this.hb_1;
651
652
  $sm: do
652
653
  try {
653
- var tmp = this.cb_1;
654
+ var tmp = this.fb_1;
654
655
  switch (tmp) {
655
656
  case 0:
656
- this.db_1 = 4;
657
- this.f30_1 = this.d30_1;
658
- this.cb_1 = 1;
657
+ this.gb_1 = 4;
658
+ this.k33_1 = this.i33_1;
659
+ this.fb_1 = 1;
659
660
  continue $sm;
660
661
  case 1:
661
- if (!!(this.f30_1 == null)) {
662
- this.cb_1 = 3;
662
+ if (!!(this.k33_1 == null)) {
663
+ this.fb_1 = 3;
663
664
  continue $sm;
664
665
  }
665
666
 
666
- this.cb_1 = 2;
667
- suspendResult = this.e30_1.sd(this.f30_1, this);
667
+ this.fb_1 = 2;
668
+ suspendResult = this.j33_1.wd(this.k33_1, this);
668
669
  if (suspendResult === get_COROUTINE_SUSPENDED()) {
669
670
  return suspendResult;
670
671
  }
671
672
 
672
673
  continue $sm;
673
674
  case 2:
674
- this.f30_1 = this.f30_1.o2x_1;
675
- this.cb_1 = 1;
675
+ this.k33_1 = this.k33_1.t30_1;
676
+ this.fb_1 = 1;
676
677
  continue $sm;
677
678
  case 3:
678
679
  return Unit_instance;
679
680
  case 4:
680
- throw this.fb_1;
681
+ throw this.ib_1;
681
682
  }
682
683
  } catch ($p) {
683
684
  var e = $p;
684
- if (this.db_1 === 4) {
685
+ if (this.gb_1 === 4) {
685
686
  throw e;
686
687
  } else {
687
- this.cb_1 = this.db_1;
688
- this.fb_1 = e;
688
+ this.fb_1 = this.gb_1;
689
+ this.ib_1 = e;
689
690
  }
690
691
  }
691
692
  while (true);
692
693
  };
693
- protoOf(ClassicExecutionContext$pathToRoot$slambda).h30 = function ($this$sequence, completion) {
694
- var i = new ClassicExecutionContext$pathToRoot$slambda(this.d30_1, completion);
695
- i.e30_1 = $this$sequence;
694
+ protoOf(ClassicExecutionContext$pathToRoot$slambda).m33 = function ($this$sequence, completion) {
695
+ var i = new ClassicExecutionContext$pathToRoot$slambda(this.i33_1, completion);
696
+ i.j33_1 = $this$sequence;
696
697
  return i;
697
698
  };
698
699
  function ClassicExecutionContext$pathToRoot$slambda_0(this$0, resultContinuation) {
699
700
  var i = new ClassicExecutionContext$pathToRoot$slambda(this$0, resultContinuation);
700
701
  var l = function ($this$sequence, $completion) {
701
- return i.g30($this$sequence, $completion);
702
+ return i.l33($this$sequence, $completion);
702
703
  };
703
704
  l.$arity = 1;
704
705
  return l;
@@ -706,11 +707,11 @@
706
707
  function ClassicExecutionContext$currentGoal$delegate$lambda(this$0) {
707
708
  return function () {
708
709
  var tmp;
709
- if (this$0.i2x_1.sp()) {
710
+ if (this$0.n30_1.zp()) {
710
711
  tmp = null;
711
712
  } else {
712
- var tmp0_safe_receiver = this$0.i2x_1.qp();
713
- tmp = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.applySubstitution(this$0.g2x_1);
713
+ var tmp0_safe_receiver = this$0.n30_1.xp();
714
+ tmp = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.applySubstitution(this$0.l30_1);
714
715
  }
715
716
  return tmp;
716
717
  };
@@ -720,28 +721,28 @@
720
721
  }
721
722
  function ClassicExecutionContext$interestingVariables$delegate$lambda(this$0) {
722
723
  return function () {
723
- var tmp = plus(_get_locallyInterestingVariables__39cqti(this$0), this$0.h2x_1.mu());
724
- return cached(distinct(plus(tmp, flatMap(this$0.s2x_1, ClassicExecutionContext$interestingVariables$delegate$lambda$lambda))));
724
+ var tmp = plus(_get_locallyInterestingVariables__39cqti(this$0), this$0.m30_1.bv());
725
+ return cached(distinct(plus(tmp, flatMap(this$0.x30_1, ClassicExecutionContext$interestingVariables$delegate$lambda$lambda))));
725
726
  };
726
727
  }
727
728
  function ClassicExecutionContext$logicStackTrace$delegate$lambda$lambda(it) {
728
- return it.i30();
729
+ return it.n33();
729
730
  }
730
731
  function ClassicExecutionContext$logicStackTrace$delegate$lambda$lambda_0(this$0) {
731
732
  return function (it) {
732
- var tmp0_elvis_lhs = it.w2w_1;
733
- return tmp0_elvis_lhs == null ? Companion_getInstance_1().of('?-', [this$0.h2x_1]) : tmp0_elvis_lhs;
733
+ var tmp0_elvis_lhs = it.b30_1;
734
+ return tmp0_elvis_lhs == null ? Companion_getInstance_1().of('?-', [this$0.m30_1]) : tmp0_elvis_lhs;
734
735
  };
735
736
  }
736
737
  function ClassicExecutionContext$logicStackTrace$delegate$lambda(this$0) {
737
738
  return function () {
738
- var tmp = filter(this$0.s2x_1, ClassicExecutionContext$logicStackTrace$delegate$lambda$lambda);
739
+ var tmp = filter(this$0.x30_1, ClassicExecutionContext$logicStackTrace$delegate$lambda$lambda);
739
740
  return toList(map(tmp, ClassicExecutionContext$logicStackTrace$delegate$lambda$lambda_0(this$0)));
740
741
  };
741
742
  }
742
743
  function ClassicExecutionContext(procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables) {
743
744
  procedure = procedure === VOID ? null : procedure;
744
- unificator = unificator === VOID ? Companion_getInstance().x1i() : unificator;
745
+ unificator = unificator === VOID ? Companion_getInstance().y1k() : unificator;
745
746
  libraries = libraries === VOID ? Companion_instance.empty() : libraries;
746
747
  flags = flags === VOID ? Companion_getInstance_0().empty() : flags;
747
748
  staticKb = staticKb === VOID ? Companion_instance_0.empty(unificator) : staticKb;
@@ -751,7 +752,7 @@
751
752
  outputChannels = outputChannels === VOID ? Companion_instance_5.fromStandard() : outputChannels;
752
753
  customData = customData === VOID ? Companion_instance_6.empty() : customData;
753
754
  substitution = substitution === VOID ? Companion_getInstance_2().empty() : substitution;
754
- query = query === VOID ? Companion_getInstance_3().bu_1 : query;
755
+ query = query === VOID ? Companion_getInstance_3().qu_1 : query;
755
756
  goals = goals === VOID ? Companion_instance_7.empty() : goals;
756
757
  rules = rules === VOID ? Companion_instance_7.empty() : rules;
757
758
  primitives = primitives === VOID ? Companion_instance_7.empty() : primitives;
@@ -768,33 +769,33 @@
768
769
  depth = depth === VOID ? 0 : depth;
769
770
  step = step === VOID ? new Long(0, 0) : step;
770
771
  relevantVariables = relevantVariables === VOID ? emptySet() : relevantVariables;
771
- this.w2w_1 = procedure;
772
- this.x2w_1 = unificator;
773
- this.y2w_1 = libraries;
774
- this.z2w_1 = flags;
775
- this.a2x_1 = staticKb;
776
- this.b2x_1 = dynamicKb;
777
- this.c2x_1 = operators;
778
- this.d2x_1 = inputChannels;
779
- this.e2x_1 = outputChannels;
780
- this.f2x_1 = customData;
781
- this.g2x_1 = substitution;
782
- this.h2x_1 = query;
783
- this.i2x_1 = goals;
784
- this.j2x_1 = rules;
785
- this.k2x_1 = primitives;
786
- this.l2x_1 = startTime;
787
- this.m2x_1 = maxDuration;
788
- this.n2x_1 = choicePoints;
789
- this.o2x_1 = parent;
790
- this.p2x_1 = depth;
791
- this.q2x_1 = step;
792
- this.r2x_1 = relevantVariables;
772
+ this.b30_1 = procedure;
773
+ this.c30_1 = unificator;
774
+ this.d30_1 = libraries;
775
+ this.e30_1 = flags;
776
+ this.f30_1 = staticKb;
777
+ this.g30_1 = dynamicKb;
778
+ this.h30_1 = operators;
779
+ this.i30_1 = inputChannels;
780
+ this.j30_1 = outputChannels;
781
+ this.k30_1 = customData;
782
+ this.l30_1 = substitution;
783
+ this.m30_1 = query;
784
+ this.n30_1 = goals;
785
+ this.o30_1 = rules;
786
+ this.p30_1 = primitives;
787
+ this.q30_1 = startTime;
788
+ this.r30_1 = maxDuration;
789
+ this.s30_1 = choicePoints;
790
+ this.t30_1 = parent;
791
+ this.u30_1 = depth;
792
+ this.v30_1 = step;
793
+ this.w30_1 = relevantVariables;
793
794
  // Inline function 'kotlin.require' call
794
795
  // Inline function 'kotlin.contracts.contract' call
795
796
  // Inline function 'kotlin.require' call
796
797
  // Inline function 'kotlin.contracts.contract' call
797
- if (!((this.p2x_1 === 0 ? this.o2x_1 == null : false) ? true : this.p2x_1 > 0 ? !(this.o2x_1 == null) : false)) {
798
+ if (!((this.u30_1 === 0 ? this.t30_1 == null : false) ? true : this.u30_1 > 0 ? !(this.t30_1 == null) : false)) {
798
799
  // Inline function 'kotlin.require.<anonymous>' call
799
800
  var message = 'Failed requirement.';
800
801
  throw IllegalArgumentException_init_$Create$(toString(message));
@@ -803,7 +804,7 @@
803
804
  // Inline function 'kotlin.contracts.contract' call
804
805
  // Inline function 'kotlin.require' call
805
806
  // Inline function 'kotlin.contracts.contract' call
806
- if (!(this.l2x_1.l6(new Long(0, 0)) >= 0)) {
807
+ if (!(this.q30_1.m6(new Long(0, 0)) >= 0)) {
807
808
  // Inline function 'kotlin.require.<anonymous>' call
808
809
  var message_0 = 'Failed requirement.';
809
810
  throw IllegalArgumentException_init_$Create$(toString(message_0));
@@ -812,166 +813,169 @@
812
813
  // Inline function 'kotlin.contracts.contract' call
813
814
  // Inline function 'kotlin.require' call
814
815
  // Inline function 'kotlin.contracts.contract' call
815
- if (!(this.m2x_1.l6(new Long(0, 0)) >= 0)) {
816
+ if (!(this.r30_1.m6(new Long(0, 0)) >= 0)) {
816
817
  // Inline function 'kotlin.require.<anonymous>' call
817
818
  var message_1 = 'Failed requirement.';
818
819
  throw IllegalArgumentException_init_$Create$(toString(message_1));
819
820
  }
820
821
  var tmp_0 = this;
821
- tmp_0.s2x_1 = sequence(ClassicExecutionContext$pathToRoot$slambda_0(this, null));
822
+ tmp_0.x30_1 = sequence(ClassicExecutionContext$pathToRoot$slambda_0(this, null));
822
823
  var tmp_1 = this;
823
- tmp_1.t2x_1 = lazy(ClassicExecutionContext$currentGoal$delegate$lambda(this));
824
+ tmp_1.y30_1 = lazy(ClassicExecutionContext$currentGoal$delegate$lambda(this));
824
825
  var tmp_2 = this;
825
- tmp_2.u2x_1 = lazy(ClassicExecutionContext$interestingVariables$delegate$lambda(this));
826
+ tmp_2.z30_1 = lazy(ClassicExecutionContext$interestingVariables$delegate$lambda(this));
826
827
  var tmp_3 = this;
827
- tmp_3.v2x_1 = lazy(ClassicExecutionContext$logicStackTrace$delegate$lambda(this));
828
+ tmp_3.a31_1 = lazy(ClassicExecutionContext$logicStackTrace$delegate$lambda(this));
828
829
  }
829
- protoOf(ClassicExecutionContext).s1s = function () {
830
- return this.w2w_1;
830
+ protoOf(ClassicExecutionContext).f1v = function () {
831
+ return this.b30_1;
831
832
  };
832
- protoOf(ClassicExecutionContext).a1j = function () {
833
- return this.x2w_1;
833
+ protoOf(ClassicExecutionContext).e1l = function () {
834
+ return this.c30_1;
834
835
  };
835
- protoOf(ClassicExecutionContext).x1s = function () {
836
- return this.y2w_1;
836
+ protoOf(ClassicExecutionContext).k1v = function () {
837
+ return this.d30_1;
837
838
  };
838
- protoOf(ClassicExecutionContext).y1s = function () {
839
- return this.z2w_1;
839
+ protoOf(ClassicExecutionContext).l1v = function () {
840
+ return this.e30_1;
840
841
  };
841
- protoOf(ClassicExecutionContext).z1s = function () {
842
- return this.a2x_1;
842
+ protoOf(ClassicExecutionContext).m1v = function () {
843
+ return this.f30_1;
843
844
  };
844
- protoOf(ClassicExecutionContext).a1t = function () {
845
- return this.b2x_1;
845
+ protoOf(ClassicExecutionContext).n1v = function () {
846
+ return this.g30_1;
846
847
  };
847
- protoOf(ClassicExecutionContext).f1t = function () {
848
- return this.c2x_1;
848
+ protoOf(ClassicExecutionContext).t1v = function () {
849
+ return this.h30_1;
849
850
  };
850
- protoOf(ClassicExecutionContext).b1t = function () {
851
- return this.d2x_1;
851
+ protoOf(ClassicExecutionContext).o1v = function () {
852
+ return this.i30_1;
852
853
  };
853
- protoOf(ClassicExecutionContext).c1t = function () {
854
- return this.e2x_1;
854
+ protoOf(ClassicExecutionContext).p1v = function () {
855
+ return this.j30_1;
855
856
  };
856
- protoOf(ClassicExecutionContext).v1s = function () {
857
- return this.f2x_1;
857
+ protoOf(ClassicExecutionContext).i1v = function () {
858
+ return this.k30_1;
858
859
  };
859
- protoOf(ClassicExecutionContext).t1s = function () {
860
- return this.g2x_1;
860
+ protoOf(ClassicExecutionContext).g1v = function () {
861
+ return this.l30_1;
861
862
  };
862
- protoOf(ClassicExecutionContext).n1s = function () {
863
- return this.l2x_1;
863
+ protoOf(ClassicExecutionContext).a1v = function () {
864
+ return this.q30_1;
864
865
  };
865
- protoOf(ClassicExecutionContext).p1s = function () {
866
- return this.m2x_1;
866
+ protoOf(ClassicExecutionContext).c1v = function () {
867
+ return this.r30_1;
867
868
  };
868
- protoOf(ClassicExecutionContext).j30 = function () {
869
- return this.p2x_1 === 0;
869
+ protoOf(ClassicExecutionContext).o33 = function () {
870
+ return this.u30_1 === 0;
870
871
  };
871
- protoOf(ClassicExecutionContext).u2y = function () {
872
- var tmp0_safe_receiver = this.n2x_1;
873
- var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.u2y();
872
+ protoOf(ClassicExecutionContext).z31 = function () {
873
+ var tmp0_safe_receiver = this.s30_1;
874
+ var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.z31();
874
875
  return tmp1_elvis_lhs == null ? false : tmp1_elvis_lhs;
875
876
  };
876
- protoOf(ClassicExecutionContext).i30 = function () {
877
- return this.o2x_1 == null ? true : (this.p2x_1 - this.o2x_1.p2x_1 | 0) >= 1;
877
+ protoOf(ClassicExecutionContext).n33 = function () {
878
+ return this.t30_1 == null ? true : (this.u30_1 - this.t30_1.u30_1 | 0) >= 1;
878
879
  };
879
- protoOf(ClassicExecutionContext).k30 = function () {
880
+ protoOf(ClassicExecutionContext).p33 = function () {
880
881
  // Inline function 'kotlin.getValue' call
881
- var this_0 = this.t2x_1;
882
+ var this_0 = this.y30_1;
882
883
  currentGoal$factory();
883
- return this_0.q2();
884
+ return this_0.r2();
884
885
  };
885
- protoOf(ClassicExecutionContext).l30 = function (variable) {
886
+ protoOf(ClassicExecutionContext).q33 = function (variable) {
886
887
  return contains(_get_interestingVariables__k6uw5o(this), variable);
887
888
  };
888
- protoOf(ClassicExecutionContext).u1s = function () {
889
+ protoOf(ClassicExecutionContext).h1v = function () {
889
890
  // Inline function 'kotlin.getValue' call
890
- var this_0 = this.v2x_1;
891
+ var this_0 = this.a31_1;
891
892
  logicStackTrace$factory();
892
- return this_0.q2();
893
+ return this_0.r2();
893
894
  };
894
- protoOf(ClassicExecutionContext).w1s = function (unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels) {
895
+ protoOf(ClassicExecutionContext).j1v = function (unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels) {
895
896
  return ClassicSolver_init_$Create$(unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, true);
896
897
  };
897
- protoOf(ClassicExecutionContext).e1t = function (unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData) {
898
- return this.n2y(VOID, unificator, libraries, flags, staticKb, dynamicKb.toMutableTheory(), operators, inputChannels, outputChannels, customData);
898
+ protoOf(ClassicExecutionContext).q1v = function (unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels) {
899
+ return MutableClassicSolver_init_$Create$(unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, true);
900
+ };
901
+ protoOf(ClassicExecutionContext).s1v = function (unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData) {
902
+ return this.s31(VOID, unificator, libraries, flags, staticKb, dynamicKb.toMutableTheory(), operators, inputChannels, outputChannels, customData);
899
903
  };
900
- protoOf(ClassicExecutionContext).m30 = function (sideEffect) {
904
+ protoOf(ClassicExecutionContext).r33 = function (sideEffect) {
901
905
  var tmp = apply.call(this, sideEffect);
902
906
  return tmp instanceof ClassicExecutionContext ? tmp : THROW_CCE();
903
907
  };
904
908
  protoOf(ClassicExecutionContext).apply = function (sideEffect) {
905
- return this.m30(sideEffect);
909
+ return this.r33(sideEffect);
906
910
  };
907
- protoOf(ClassicExecutionContext).n30 = function (sideEffects) {
911
+ protoOf(ClassicExecutionContext).s33 = function (sideEffects) {
908
912
  var tmp = applyIterable.call(this, sideEffects);
909
913
  return tmp instanceof ClassicExecutionContext ? tmp : THROW_CCE();
910
914
  };
911
915
  protoOf(ClassicExecutionContext).applyIterable = function (sideEffects) {
912
- return this.n30(sideEffects);
916
+ return this.s33(sideEffects);
913
917
  };
914
- protoOf(ClassicExecutionContext).o30 = function (sideEffects) {
918
+ protoOf(ClassicExecutionContext).t33 = function (sideEffects) {
915
919
  var tmp = applySequence.call(this, sideEffects);
916
920
  return tmp instanceof ClassicExecutionContext ? tmp : THROW_CCE();
917
921
  };
918
922
  protoOf(ClassicExecutionContext).applySequence = function (sideEffects) {
919
- return this.o30(sideEffects);
923
+ return this.t33(sideEffects);
920
924
  };
921
925
  protoOf(ClassicExecutionContext).toString = function () {
922
- return 'ClassicExecutionContext(' + ('step=' + this.q2x_1.toString() + ', ') + ('depth=' + this.p2x_1 + ', ') + ('substitution=' + this.g2x_1 + ', ') + ('logicStackTrace=' + this.u1s() + ', ') + ('goals=' + this.i2x_1 + ', ') + ('rules=' + this.j2x_1 + ', ') + ('primitives=' + this.k2x_1 + ', ') + ('startTime=' + this.l2x_1.toString() + ', ') + ('endTime=' + this.o1s().toString() + ', ') + ('maxDuration=' + this.m2x_1.toString() + ', ') + ('unificator=' + this.x2w_1 + ', ') + ('choicePoints=' + this.n2x_1) + ')';
926
+ return 'ClassicExecutionContext(' + ('step=' + this.v30_1.toString() + ', ') + ('depth=' + this.u30_1 + ', ') + ('substitution=' + this.l30_1 + ', ') + ('logicStackTrace=' + this.h1v() + ', ') + ('goals=' + this.n30_1 + ', ') + ('rules=' + this.o30_1 + ', ') + ('primitives=' + this.p30_1 + ', ') + ('startTime=' + this.q30_1.toString() + ', ') + ('endTime=' + this.b1v().toString() + ', ') + ('maxDuration=' + this.r30_1.toString() + ', ') + ('unificator=' + this.c30_1 + ', ') + ('choicePoints=' + this.s30_1) + ')';
923
927
  };
924
- protoOf(ClassicExecutionContext).p30 = function (procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables) {
928
+ protoOf(ClassicExecutionContext).u33 = function (procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables) {
925
929
  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);
926
930
  };
927
- protoOf(ClassicExecutionContext).n2y = function (procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables, $super) {
928
- procedure = procedure === VOID ? this.w2w_1 : procedure;
929
- unificator = unificator === VOID ? this.x2w_1 : unificator;
930
- libraries = libraries === VOID ? this.y2w_1 : libraries;
931
- flags = flags === VOID ? this.z2w_1 : flags;
932
- staticKb = staticKb === VOID ? this.a2x_1 : staticKb;
933
- dynamicKb = dynamicKb === VOID ? this.b2x_1 : dynamicKb;
934
- operators = operators === VOID ? this.c2x_1 : operators;
935
- inputChannels = inputChannels === VOID ? this.d2x_1 : inputChannels;
936
- outputChannels = outputChannels === VOID ? this.e2x_1 : outputChannels;
937
- customData = customData === VOID ? this.f2x_1 : customData;
938
- substitution = substitution === VOID ? this.g2x_1 : substitution;
939
- query = query === VOID ? this.h2x_1 : query;
940
- goals = goals === VOID ? this.i2x_1 : goals;
941
- rules = rules === VOID ? this.j2x_1 : rules;
942
- primitives = primitives === VOID ? this.k2x_1 : primitives;
943
- startTime = startTime === VOID ? this.l2x_1 : startTime;
944
- maxDuration = maxDuration === VOID ? this.m2x_1 : maxDuration;
945
- choicePoints = choicePoints === VOID ? this.n2x_1 : choicePoints;
946
- parent = parent === VOID ? this.o2x_1 : parent;
947
- depth = depth === VOID ? this.p2x_1 : depth;
948
- step = step === VOID ? this.q2x_1 : step;
949
- relevantVariables = relevantVariables === VOID ? this.r2x_1 : relevantVariables;
950
- return $super === VOID ? this.p30(procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables) : $super.p30.call(this, procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables);
931
+ protoOf(ClassicExecutionContext).s31 = function (procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables, $super) {
932
+ procedure = procedure === VOID ? this.b30_1 : procedure;
933
+ unificator = unificator === VOID ? this.c30_1 : unificator;
934
+ libraries = libraries === VOID ? this.d30_1 : libraries;
935
+ flags = flags === VOID ? this.e30_1 : flags;
936
+ staticKb = staticKb === VOID ? this.f30_1 : staticKb;
937
+ dynamicKb = dynamicKb === VOID ? this.g30_1 : dynamicKb;
938
+ operators = operators === VOID ? this.h30_1 : operators;
939
+ inputChannels = inputChannels === VOID ? this.i30_1 : inputChannels;
940
+ outputChannels = outputChannels === VOID ? this.j30_1 : outputChannels;
941
+ customData = customData === VOID ? this.k30_1 : customData;
942
+ substitution = substitution === VOID ? this.l30_1 : substitution;
943
+ query = query === VOID ? this.m30_1 : query;
944
+ goals = goals === VOID ? this.n30_1 : goals;
945
+ rules = rules === VOID ? this.o30_1 : rules;
946
+ primitives = primitives === VOID ? this.p30_1 : primitives;
947
+ startTime = startTime === VOID ? this.q30_1 : startTime;
948
+ maxDuration = maxDuration === VOID ? this.r30_1 : maxDuration;
949
+ choicePoints = choicePoints === VOID ? this.s30_1 : choicePoints;
950
+ parent = parent === VOID ? this.t30_1 : parent;
951
+ depth = depth === VOID ? this.u30_1 : depth;
952
+ step = step === VOID ? this.v30_1 : step;
953
+ relevantVariables = relevantVariables === VOID ? this.w30_1 : relevantVariables;
954
+ return $super === VOID ? this.u33(procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables) : $super.u33.call(this, procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables);
951
955
  };
952
956
  protoOf(ClassicExecutionContext).hashCode = function () {
953
- var result = this.w2w_1 == null ? 0 : this.w2w_1.hashCode();
954
- result = imul(result, 31) + hashCode(this.x2w_1) | 0;
955
- result = imul(result, 31) + hashCode(this.y2w_1) | 0;
956
- result = imul(result, 31) + this.z2w_1.hashCode() | 0;
957
- result = imul(result, 31) + hashCode(this.a2x_1) | 0;
958
- result = imul(result, 31) + hashCode(this.b2x_1) | 0;
959
- result = imul(result, 31) + this.c2x_1.hashCode() | 0;
960
- result = imul(result, 31) + hashCode(this.d2x_1) | 0;
961
- result = imul(result, 31) + hashCode(this.e2x_1) | 0;
962
- result = imul(result, 31) + this.f2x_1.hashCode() | 0;
963
- result = imul(result, 31) + hashCode(this.g2x_1) | 0;
964
- result = imul(result, 31) + this.h2x_1.hashCode() | 0;
965
- result = imul(result, 31) + hashCode(this.i2x_1) | 0;
966
- result = imul(result, 31) + hashCode(this.j2x_1) | 0;
967
- result = imul(result, 31) + hashCode(this.k2x_1) | 0;
968
- result = imul(result, 31) + this.l2x_1.hashCode() | 0;
969
- result = imul(result, 31) + this.m2x_1.hashCode() | 0;
970
- result = imul(result, 31) + (this.n2x_1 == null ? 0 : hashCode(this.n2x_1)) | 0;
971
- result = imul(result, 31) + (this.o2x_1 == null ? 0 : this.o2x_1.hashCode()) | 0;
972
- result = imul(result, 31) + this.p2x_1 | 0;
973
- result = imul(result, 31) + this.q2x_1.hashCode() | 0;
974
- result = imul(result, 31) + hashCode(this.r2x_1) | 0;
957
+ var result = this.b30_1 == null ? 0 : this.b30_1.hashCode();
958
+ result = imul(result, 31) + hashCode(this.c30_1) | 0;
959
+ result = imul(result, 31) + hashCode(this.d30_1) | 0;
960
+ result = imul(result, 31) + this.e30_1.hashCode() | 0;
961
+ result = imul(result, 31) + hashCode(this.f30_1) | 0;
962
+ result = imul(result, 31) + hashCode(this.g30_1) | 0;
963
+ result = imul(result, 31) + this.h30_1.hashCode() | 0;
964
+ result = imul(result, 31) + hashCode(this.i30_1) | 0;
965
+ result = imul(result, 31) + hashCode(this.j30_1) | 0;
966
+ result = imul(result, 31) + this.k30_1.hashCode() | 0;
967
+ result = imul(result, 31) + hashCode(this.l30_1) | 0;
968
+ result = imul(result, 31) + this.m30_1.hashCode() | 0;
969
+ result = imul(result, 31) + hashCode(this.n30_1) | 0;
970
+ result = imul(result, 31) + hashCode(this.o30_1) | 0;
971
+ result = imul(result, 31) + hashCode(this.p30_1) | 0;
972
+ result = imul(result, 31) + this.q30_1.hashCode() | 0;
973
+ result = imul(result, 31) + this.r30_1.hashCode() | 0;
974
+ result = imul(result, 31) + (this.s30_1 == null ? 0 : hashCode(this.s30_1)) | 0;
975
+ result = imul(result, 31) + (this.t30_1 == null ? 0 : this.t30_1.hashCode()) | 0;
976
+ result = imul(result, 31) + this.u30_1 | 0;
977
+ result = imul(result, 31) + this.v30_1.hashCode() | 0;
978
+ result = imul(result, 31) + hashCode(this.w30_1) | 0;
975
979
  return result;
976
980
  };
977
981
  protoOf(ClassicExecutionContext).equals = function (other) {
@@ -980,55 +984,55 @@
980
984
  if (!(other instanceof ClassicExecutionContext))
981
985
  return false;
982
986
  var tmp0_other_with_cast = other instanceof ClassicExecutionContext ? other : THROW_CCE();
983
- if (!equals(this.w2w_1, tmp0_other_with_cast.w2w_1))
987
+ if (!equals(this.b30_1, tmp0_other_with_cast.b30_1))
984
988
  return false;
985
- if (!equals(this.x2w_1, tmp0_other_with_cast.x2w_1))
989
+ if (!equals(this.c30_1, tmp0_other_with_cast.c30_1))
986
990
  return false;
987
- if (!equals(this.y2w_1, tmp0_other_with_cast.y2w_1))
991
+ if (!equals(this.d30_1, tmp0_other_with_cast.d30_1))
988
992
  return false;
989
- if (!this.z2w_1.equals(tmp0_other_with_cast.z2w_1))
993
+ if (!this.e30_1.equals(tmp0_other_with_cast.e30_1))
990
994
  return false;
991
- if (!equals(this.a2x_1, tmp0_other_with_cast.a2x_1))
995
+ if (!equals(this.f30_1, tmp0_other_with_cast.f30_1))
992
996
  return false;
993
- if (!equals(this.b2x_1, tmp0_other_with_cast.b2x_1))
997
+ if (!equals(this.g30_1, tmp0_other_with_cast.g30_1))
994
998
  return false;
995
- if (!this.c2x_1.equals(tmp0_other_with_cast.c2x_1))
999
+ if (!this.h30_1.equals(tmp0_other_with_cast.h30_1))
996
1000
  return false;
997
- if (!equals(this.d2x_1, tmp0_other_with_cast.d2x_1))
1001
+ if (!equals(this.i30_1, tmp0_other_with_cast.i30_1))
998
1002
  return false;
999
- if (!equals(this.e2x_1, tmp0_other_with_cast.e2x_1))
1003
+ if (!equals(this.j30_1, tmp0_other_with_cast.j30_1))
1000
1004
  return false;
1001
- if (!this.f2x_1.equals(tmp0_other_with_cast.f2x_1))
1005
+ if (!this.k30_1.equals(tmp0_other_with_cast.k30_1))
1002
1006
  return false;
1003
- if (!equals(this.g2x_1, tmp0_other_with_cast.g2x_1))
1007
+ if (!equals(this.l30_1, tmp0_other_with_cast.l30_1))
1004
1008
  return false;
1005
- if (!this.h2x_1.equals(tmp0_other_with_cast.h2x_1))
1009
+ if (!this.m30_1.equals(tmp0_other_with_cast.m30_1))
1006
1010
  return false;
1007
- if (!equals(this.i2x_1, tmp0_other_with_cast.i2x_1))
1011
+ if (!equals(this.n30_1, tmp0_other_with_cast.n30_1))
1008
1012
  return false;
1009
- if (!equals(this.j2x_1, tmp0_other_with_cast.j2x_1))
1013
+ if (!equals(this.o30_1, tmp0_other_with_cast.o30_1))
1010
1014
  return false;
1011
- if (!equals(this.k2x_1, tmp0_other_with_cast.k2x_1))
1015
+ if (!equals(this.p30_1, tmp0_other_with_cast.p30_1))
1012
1016
  return false;
1013
- if (!this.l2x_1.equals(tmp0_other_with_cast.l2x_1))
1017
+ if (!this.q30_1.equals(tmp0_other_with_cast.q30_1))
1014
1018
  return false;
1015
- if (!this.m2x_1.equals(tmp0_other_with_cast.m2x_1))
1019
+ if (!this.r30_1.equals(tmp0_other_with_cast.r30_1))
1016
1020
  return false;
1017
- if (!equals(this.n2x_1, tmp0_other_with_cast.n2x_1))
1021
+ if (!equals(this.s30_1, tmp0_other_with_cast.s30_1))
1018
1022
  return false;
1019
- if (!equals(this.o2x_1, tmp0_other_with_cast.o2x_1))
1023
+ if (!equals(this.t30_1, tmp0_other_with_cast.t30_1))
1020
1024
  return false;
1021
- if (!(this.p2x_1 === tmp0_other_with_cast.p2x_1))
1025
+ if (!(this.u30_1 === tmp0_other_with_cast.u30_1))
1022
1026
  return false;
1023
- if (!this.q2x_1.equals(tmp0_other_with_cast.q2x_1))
1027
+ if (!this.v30_1.equals(tmp0_other_with_cast.v30_1))
1024
1028
  return false;
1025
- if (!equals(this.r2x_1, tmp0_other_with_cast.r2x_1))
1029
+ if (!equals(this.w30_1, tmp0_other_with_cast.w30_1))
1026
1030
  return false;
1027
1031
  return true;
1028
1032
  };
1029
1033
  function currentGoal$factory() {
1030
1034
  return getPropertyCallableRef('currentGoal', 1, KProperty1, function (receiver) {
1031
- return receiver.k30();
1035
+ return receiver.p33();
1032
1036
  }, null);
1033
1037
  }
1034
1038
  function interestingVariables$factory() {
@@ -1038,11 +1042,11 @@
1038
1042
  }
1039
1043
  function logicStackTrace$factory() {
1040
1044
  return getPropertyCallableRef('logicStackTrace', 1, KProperty1, function (receiver) {
1041
- return receiver.u1s();
1045
+ return receiver.h1v();
1042
1046
  }, null);
1043
1047
  }
1044
1048
  function ClassicSolver_init_$Init$(unificator, libraries, flags, initialStaticKb, initialDynamicKb, inputChannels, outputChannels, trustKb, $this) {
1045
- unificator = unificator === VOID ? Companion_getInstance().x1i() : unificator;
1049
+ unificator = unificator === VOID ? Companion_getInstance().y1k() : unificator;
1046
1050
  libraries = libraries === VOID ? Companion_instance.empty() : libraries;
1047
1051
  flags = flags === VOID ? Companion_getInstance_0().empty() : flags;
1048
1052
  initialStaticKb = initialStaticKb === VOID ? Companion_instance_0.empty(unificator) : initialStaticKb;
@@ -1058,7 +1062,7 @@
1058
1062
  return ClassicSolver_init_$Init$(unificator, libraries, flags, initialStaticKb, initialDynamicKb, inputChannels, outputChannels, trustKb, objectCreate(protoOf(ClassicSolver)));
1059
1063
  }
1060
1064
  function ClassicSolver_init_$Init$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb, $this) {
1061
- unificator = unificator === VOID ? Companion_getInstance().x1i() : unificator;
1065
+ unificator = unificator === VOID ? Companion_getInstance().y1k() : unificator;
1062
1066
  libraries = libraries === VOID ? Companion_instance.empty() : libraries;
1063
1067
  flags = flags === VOID ? Companion_getInstance_0().empty() : flags;
1064
1068
  staticKb = staticKb === VOID ? Companion_instance_0.empty(unificator) : staticKb;
@@ -1075,35 +1079,35 @@
1075
1079
  function ClassicSolver_init_$Create$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb) {
1076
1080
  return ClassicSolver_init_$Init$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb, objectCreate(protoOf(ClassicSolver)));
1077
1081
  }
1078
- protoOf(ClassicSolver).y2x = function (initialState, onStateTransition) {
1079
- return Companion_instance_15.r30(initialState, onStateTransition);
1082
+ protoOf(ClassicSolver).d31 = function (initialState, onStateTransition) {
1083
+ return Companion_instance_15.w33(initialState, onStateTransition);
1080
1084
  };
1081
- protoOf(ClassicSolver).q1v = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
1085
+ protoOf(ClassicSolver).b1w = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
1082
1086
  return ClassicSolver_init_$Create$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings);
1083
1087
  };
1084
- protoOf(ClassicSolver).p1q = function () {
1088
+ protoOf(ClassicSolver).u1s = function () {
1085
1089
  return this.copy();
1086
1090
  };
1087
1091
  protoOf(ClassicSolver).clone = function () {
1088
- return this.p1q();
1092
+ return this.u1s();
1089
1093
  };
1090
1094
  function ClassicSolver() {
1091
1095
  }
1092
1096
  function ClassicSolverFactory() {
1093
1097
  }
1094
- protoOf(ClassicSolverFactory).w1v = function () {
1098
+ protoOf(ClassicSolverFactory).k1y = function () {
1095
1099
  return DefaultBuiltins_getInstance();
1096
1100
  };
1097
- protoOf(ClassicSolverFactory).h1w = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs) {
1101
+ protoOf(ClassicSolverFactory).v1y = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs) {
1098
1102
  return ClassicSolver_init_$Create$(unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs);
1099
1103
  };
1100
- protoOf(ClassicSolverFactory).n1w = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
1104
+ protoOf(ClassicSolverFactory).b1z = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
1101
1105
  return ClassicSolver_init_$Create$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings);
1102
1106
  };
1103
- protoOf(ClassicSolverFactory).p1w = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
1107
+ protoOf(ClassicSolverFactory).d1z = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
1104
1108
  return MutableClassicSolver_init_$Create$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings);
1105
1109
  };
1106
- protoOf(ClassicSolverFactory).r1w = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs) {
1110
+ protoOf(ClassicSolverFactory).f1z = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs) {
1107
1111
  return MutableClassicSolver_init_$Create$(unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs);
1108
1112
  };
1109
1113
  var ClassicSolverFactory_instance;
@@ -1111,7 +1115,7 @@
1111
1115
  return ClassicSolverFactory_instance;
1112
1116
  }
1113
1117
  function MutableClassicSolver_init_$Init$(unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, trustKb, $this) {
1114
- unificator = unificator === VOID ? Companion_getInstance().x1i() : unificator;
1118
+ unificator = unificator === VOID ? Companion_getInstance().y1k() : unificator;
1115
1119
  libraries = libraries === VOID ? Companion_instance.empty() : libraries;
1116
1120
  flags = flags === VOID ? Companion_getInstance_0().empty() : flags;
1117
1121
  staticKb = staticKb === VOID ? Companion_instance_0.empty(unificator) : staticKb;
@@ -1127,7 +1131,7 @@
1127
1131
  return MutableClassicSolver_init_$Init$(unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, trustKb, objectCreate(protoOf(MutableClassicSolver)));
1128
1132
  }
1129
1133
  function MutableClassicSolver_init_$Init$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb, $this) {
1130
- unificator = unificator === VOID ? Companion_getInstance().x1i() : unificator;
1134
+ unificator = unificator === VOID ? Companion_getInstance().y1k() : unificator;
1131
1135
  libraries = libraries === VOID ? Companion_instance.empty() : libraries;
1132
1136
  flags = flags === VOID ? Companion_getInstance_0().empty() : flags;
1133
1137
  staticKb = staticKb === VOID ? Companion_instance_0.empty(unificator) : staticKb;
@@ -1146,262 +1150,262 @@
1146
1150
  }
1147
1151
  function MutableClassicSolver$loadLibrary$lambda($library) {
1148
1152
  return function ($this$updateContext) {
1149
- var newRuntime = $this$updateContext.y2w_1.plusLibrary($library);
1150
- return $this$updateContext.n2y(VOID, VOID, newRuntime, VOID, VOID, VOID, $this$updateContext.c2x_1.plusOperatorSet(toOperatorSet(getAllOperators(newRuntime, []))));
1153
+ var newRuntime = $this$updateContext.d30_1.plusLibrary($library);
1154
+ return $this$updateContext.s31(VOID, VOID, newRuntime, VOID, VOID, VOID, $this$updateContext.h30_1.plusOperatorSet(toOperatorSet(getAllOperators(newRuntime, []))));
1151
1155
  };
1152
1156
  }
1153
1157
  function MutableClassicSolver$unloadLibrary$lambda($library) {
1154
1158
  return function ($this$updateContext) {
1155
- var newRuntime = $this$updateContext.y2w_1.plusLibrary($library);
1156
- return $this$updateContext.n2y(VOID, VOID, newRuntime, VOID, VOID, VOID, toOperatorSet(getAllOperators(newRuntime, [$this$updateContext.a2x_1, $this$updateContext.b2x_1])));
1159
+ var newRuntime = $this$updateContext.d30_1.plusLibrary($library);
1160
+ return $this$updateContext.s31(VOID, VOID, newRuntime, VOID, VOID, VOID, toOperatorSet(getAllOperators(newRuntime, [$this$updateContext.f30_1, $this$updateContext.g30_1])));
1157
1161
  };
1158
1162
  }
1159
1163
  function MutableClassicSolver$setRuntime$lambda($libraries) {
1160
1164
  return function ($this$updateContext) {
1161
- return $this$updateContext.n2y(VOID, VOID, $libraries, VOID, VOID, VOID, toOperatorSet(getAllOperators($libraries, [$this$updateContext.a2x_1, $this$updateContext.b2x_1])));
1165
+ return $this$updateContext.s31(VOID, VOID, $libraries, VOID, VOID, VOID, toOperatorSet(getAllOperators($libraries, [$this$updateContext.f30_1, $this$updateContext.g30_1])));
1162
1166
  };
1163
1167
  }
1164
1168
  function MutableClassicSolver$resetStaticKb$lambda($this$updateContext) {
1165
- return $this$updateContext.n2y(VOID, VOID, VOID, VOID, Companion_instance_0.empty($this$updateContext.x2w_1), VOID, toOperatorSet(getAllOperators($this$updateContext.y2w_1, [$this$updateContext.b2x_1])));
1169
+ return $this$updateContext.s31(VOID, VOID, VOID, VOID, Companion_instance_0.empty($this$updateContext.c30_1), VOID, toOperatorSet(getAllOperators($this$updateContext.d30_1, [$this$updateContext.g30_1])));
1166
1170
  }
1167
1171
  function MutableClassicSolver$resetDynamicKb$lambda($this$updateContext) {
1168
- return $this$updateContext.n2y(VOID, VOID, VOID, VOID, VOID, Companion_instance_1.empty($this$updateContext.x2w_1), toOperatorSet(getAllOperators($this$updateContext.y2w_1, [$this$updateContext.a2x_1])));
1172
+ return $this$updateContext.s31(VOID, VOID, VOID, VOID, VOID, Companion_instance_1.empty($this$updateContext.c30_1), toOperatorSet(getAllOperators($this$updateContext.d30_1, [$this$updateContext.f30_1])));
1169
1173
  }
1170
1174
  function MutableClassicSolver$assertA$lambda($clause) {
1171
1175
  return function ($this$updateContext) {
1172
- return $this$updateContext.n2y(VOID, VOID, VOID, VOID, VOID, $this$updateContext.b2x_1.f1q($clause), $this$updateContext.c2x_1.plusOperatorSet(toOperatorSet(getAllOperators_0(listOf($clause)))));
1176
+ return $this$updateContext.s31(VOID, VOID, VOID, VOID, VOID, $this$updateContext.g30_1.k1s($clause), $this$updateContext.h30_1.plusOperatorSet(toOperatorSet(getAllOperators_0(listOf($clause)))));
1173
1177
  };
1174
1178
  }
1175
1179
  function MutableClassicSolver$assertA$lambda_0($fact) {
1176
1180
  return function ($this$updateContext) {
1177
- return $this$updateContext.n2y(VOID, VOID, VOID, VOID, VOID, $this$updateContext.b2x_1.e1r($fact));
1181
+ return $this$updateContext.s31(VOID, VOID, VOID, VOID, VOID, $this$updateContext.g30_1.j1t($fact));
1178
1182
  };
1179
1183
  }
1180
1184
  function MutableClassicSolver$assertZ$lambda($clause) {
1181
1185
  return function ($this$updateContext) {
1182
- return $this$updateContext.n2y(VOID, VOID, VOID, VOID, VOID, $this$updateContext.b2x_1.j1q($clause), $this$updateContext.c2x_1.plusOperatorSet(toOperatorSet(getAllOperators_0(listOf($clause)))));
1186
+ return $this$updateContext.s31(VOID, VOID, VOID, VOID, VOID, $this$updateContext.g30_1.o1s($clause), $this$updateContext.h30_1.plusOperatorSet(toOperatorSet(getAllOperators_0(listOf($clause)))));
1183
1187
  };
1184
1188
  }
1185
1189
  function MutableClassicSolver$assertZ$lambda_0($fact) {
1186
1190
  return function ($this$updateContext) {
1187
- return $this$updateContext.n2y(VOID, VOID, VOID, VOID, VOID, $this$updateContext.b2x_1.f1r($fact));
1191
+ return $this$updateContext.s31(VOID, VOID, VOID, VOID, VOID, $this$updateContext.g30_1.k1t($fact));
1188
1192
  };
1189
1193
  }
1190
1194
  function MutableClassicSolver$retract$lambda($result, $clause) {
1191
1195
  return function ($this$updateContext) {
1192
- return $this$updateContext.n2y(VOID, VOID, VOID, VOID, VOID, $result.x1p().toMutableTheory(), $this$updateContext.c2x_1.minusOperatorSet(toOperatorSet(getAllOperators_0(listOf($clause)))));
1196
+ return $this$updateContext.s31(VOID, VOID, VOID, VOID, VOID, $result.c1s().toMutableTheory(), $this$updateContext.h30_1.minusOperatorSet(toOperatorSet(getAllOperators_0(listOf($clause)))));
1193
1197
  };
1194
1198
  }
1195
1199
  function MutableClassicSolver$retract$lambda_0($result) {
1196
1200
  return function ($this$updateContext) {
1197
- return $this$updateContext.n2y(VOID, VOID, VOID, VOID, VOID, $result.x1p().toMutableTheory());
1201
+ return $this$updateContext.s31(VOID, VOID, VOID, VOID, VOID, $result.c1s().toMutableTheory());
1198
1202
  };
1199
1203
  }
1200
1204
  function MutableClassicSolver$retractAll$lambda($result) {
1201
1205
  return function ($this$updateContext) {
1202
- return $this$updateContext.n2y(VOID, VOID, VOID, VOID, VOID, $result.x1p().toMutableTheory(), $this$updateContext.c2x_1.minusOperatorSet(toOperatorSet(getAllOperators_0($result.x1p()))));
1206
+ return $this$updateContext.s31(VOID, VOID, VOID, VOID, VOID, $result.c1s().toMutableTheory(), $this$updateContext.h30_1.minusOperatorSet(toOperatorSet(getAllOperators_0($result.c1s()))));
1203
1207
  };
1204
1208
  }
1205
1209
  function MutableClassicSolver$retractAll$lambda_0($result) {
1206
1210
  return function ($this$updateContext) {
1207
- return $this$updateContext.n2y(VOID, VOID, VOID, VOID, VOID, $result.x1p().toMutableTheory());
1211
+ return $this$updateContext.s31(VOID, VOID, VOID, VOID, VOID, $result.c1s().toMutableTheory());
1208
1212
  };
1209
1213
  }
1210
1214
  function MutableClassicSolver$setFlag$lambda($name, $value) {
1211
1215
  return function ($this$updateContext) {
1212
- return $this$updateContext.n2y(VOID, VOID, VOID, $this$updateContext.z2w_1.set($name, $value));
1216
+ return $this$updateContext.s31(VOID, VOID, VOID, $this$updateContext.e30_1.set($name, $value));
1213
1217
  };
1214
1218
  }
1215
1219
  function MutableClassicSolver$setFlag$lambda_0($flag) {
1216
1220
  return function ($this$updateContext) {
1217
- return $this$updateContext.n2y(VOID, VOID, VOID, $this$updateContext.z2w_1.plusPair($flag));
1221
+ return $this$updateContext.s31(VOID, VOID, VOID, $this$updateContext.e30_1.plusPair($flag));
1218
1222
  };
1219
1223
  }
1220
1224
  function MutableClassicSolver$setFlag$lambda_1($flag) {
1221
1225
  return function ($this$updateContext) {
1222
- return $this$updateContext.n2y(VOID, VOID, VOID, $this$updateContext.z2w_1.plusNotable($flag));
1226
+ return $this$updateContext.s31(VOID, VOID, VOID, $this$updateContext.e30_1.plusNotable($flag));
1223
1227
  };
1224
1228
  }
1225
1229
  function MutableClassicSolver$setStandardInput$lambda($stdIn) {
1226
1230
  return function ($this$updateContext) {
1227
- return $this$updateContext.n2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this$updateContext.d2x_1.plus(to('stdin', $stdIn)));
1231
+ return $this$updateContext.s31(VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this$updateContext.i30_1.plus(to('stdin', $stdIn)));
1228
1232
  };
1229
1233
  }
1230
1234
  function MutableClassicSolver$setStandardError$lambda($stdErr) {
1231
1235
  return function ($this$updateContext) {
1232
- return $this$updateContext.n2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this$updateContext.e2x_1.plus(to('stderr', $stdErr)));
1236
+ return $this$updateContext.s31(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this$updateContext.j30_1.plus(to('stderr', $stdErr)));
1233
1237
  };
1234
1238
  }
1235
1239
  function MutableClassicSolver$setStandardOutput$lambda($stdOut) {
1236
1240
  return function ($this$updateContext) {
1237
- return $this$updateContext.n2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this$updateContext.e2x_1.plus(to('stdout', $stdOut)));
1241
+ return $this$updateContext.s31(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this$updateContext.j30_1.plus(to('stdout', $stdOut)));
1238
1242
  };
1239
1243
  }
1240
1244
  function MutableClassicSolver$setWarnings$lambda($warnings) {
1241
1245
  return function ($this$updateContext) {
1242
- return $this$updateContext.n2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, Companion_instance_5.g1x($this$updateContext.e2x_1, $warnings));
1246
+ return $this$updateContext.s31(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, Companion_instance_5.u1z($this$updateContext.j30_1, $warnings));
1243
1247
  };
1244
1248
  }
1245
- protoOf(MutableClassicSolver).t30 = function (library) {
1246
- this.a29(MutableClassicSolver$loadLibrary$lambda(library));
1249
+ protoOf(MutableClassicSolver).y33 = function (library) {
1250
+ this.p2b(MutableClassicSolver$loadLibrary$lambda(library));
1247
1251
  };
1248
1252
  protoOf(MutableClassicSolver).loadLibrary = function (library) {
1249
- return this.t30(library);
1253
+ return this.y33(library);
1250
1254
  };
1251
- protoOf(MutableClassicSolver).u30 = function (library) {
1252
- this.a29(MutableClassicSolver$unloadLibrary$lambda(library));
1255
+ protoOf(MutableClassicSolver).z33 = function (library) {
1256
+ this.p2b(MutableClassicSolver$unloadLibrary$lambda(library));
1253
1257
  };
1254
1258
  protoOf(MutableClassicSolver).unloadLibrary = function (library) {
1255
- return this.u30(library);
1259
+ return this.z33(library);
1256
1260
  };
1257
- protoOf(MutableClassicSolver).v30 = function (libraries) {
1258
- this.a29(MutableClassicSolver$setRuntime$lambda(libraries));
1261
+ protoOf(MutableClassicSolver).a34 = function (libraries) {
1262
+ this.p2b(MutableClassicSolver$setRuntime$lambda(libraries));
1259
1263
  };
1260
1264
  protoOf(MutableClassicSolver).setLibraries = function (libraries) {
1261
- return this.v30(libraries);
1265
+ return this.a34(libraries);
1262
1266
  };
1263
- protoOf(MutableClassicSolver).w30 = function (theory) {
1264
- this.e29(theory, VOID, false);
1267
+ protoOf(MutableClassicSolver).b34 = function (theory) {
1268
+ this.t2b(theory, VOID, false);
1265
1269
  };
1266
1270
  protoOf(MutableClassicSolver).loadStaticKb = function (theory) {
1267
- return this.w30(theory);
1271
+ return this.b34(theory);
1268
1272
  };
1269
- protoOf(MutableClassicSolver).x30 = function (theory) {
1270
- this.e29(theory);
1273
+ protoOf(MutableClassicSolver).c34 = function (theory) {
1274
+ this.t2b(theory);
1271
1275
  };
1272
1276
  protoOf(MutableClassicSolver).appendStaticKb = function (theory) {
1273
- return this.x30(theory);
1277
+ return this.c34(theory);
1274
1278
  };
1275
- protoOf(MutableClassicSolver).y30 = function () {
1276
- this.a29(MutableClassicSolver$resetStaticKb$lambda);
1279
+ protoOf(MutableClassicSolver).d34 = function () {
1280
+ this.p2b(MutableClassicSolver$resetStaticKb$lambda);
1277
1281
  };
1278
1282
  protoOf(MutableClassicSolver).resetStaticKb = function () {
1279
- return this.y30();
1283
+ return this.d34();
1280
1284
  };
1281
- protoOf(MutableClassicSolver).z30 = function (theory) {
1282
- this.e29(VOID, theory, VOID, false);
1285
+ protoOf(MutableClassicSolver).e34 = function (theory) {
1286
+ this.t2b(VOID, theory, VOID, false);
1283
1287
  };
1284
1288
  protoOf(MutableClassicSolver).loadDynamicKb = function (theory) {
1285
- return this.z30(theory);
1289
+ return this.e34(theory);
1286
1290
  };
1287
- protoOf(MutableClassicSolver).a31 = function (theory) {
1288
- this.e29(VOID, theory);
1291
+ protoOf(MutableClassicSolver).f34 = function (theory) {
1292
+ this.t2b(VOID, theory);
1289
1293
  };
1290
1294
  protoOf(MutableClassicSolver).appendDynamicKb = function (theory) {
1291
- return this.a31(theory);
1295
+ return this.f34(theory);
1292
1296
  };
1293
- protoOf(MutableClassicSolver).b31 = function () {
1294
- this.a29(MutableClassicSolver$resetDynamicKb$lambda);
1297
+ protoOf(MutableClassicSolver).g34 = function () {
1298
+ this.p2b(MutableClassicSolver$resetDynamicKb$lambda);
1295
1299
  };
1296
1300
  protoOf(MutableClassicSolver).resetDynamicKb = function () {
1297
- return this.b31();
1301
+ return this.g34();
1298
1302
  };
1299
- protoOf(MutableClassicSolver).m1k = function (clause) {
1300
- this.a29(MutableClassicSolver$assertA$lambda(clause));
1303
+ protoOf(MutableClassicSolver).r1m = function (clause) {
1304
+ this.p2b(MutableClassicSolver$assertA$lambda(clause));
1301
1305
  };
1302
1306
  protoOf(MutableClassicSolver).assertA = function (clause) {
1303
- return this.m1k(clause);
1307
+ return this.r1m(clause);
1304
1308
  };
1305
- protoOf(MutableClassicSolver).c31 = function (fact) {
1306
- this.a29(MutableClassicSolver$assertA$lambda_0(fact));
1309
+ protoOf(MutableClassicSolver).h34 = function (fact) {
1310
+ this.p2b(MutableClassicSolver$assertA$lambda_0(fact));
1307
1311
  };
1308
1312
  protoOf(MutableClassicSolver).assertAFact = function (fact) {
1309
- return this.c31(fact);
1313
+ return this.h34(fact);
1310
1314
  };
1311
- protoOf(MutableClassicSolver).n1j = function (clause) {
1312
- this.a29(MutableClassicSolver$assertZ$lambda(clause));
1315
+ protoOf(MutableClassicSolver).s1l = function (clause) {
1316
+ this.p2b(MutableClassicSolver$assertZ$lambda(clause));
1313
1317
  };
1314
1318
  protoOf(MutableClassicSolver).assertZ = function (clause) {
1315
- return this.n1j(clause);
1319
+ return this.s1l(clause);
1316
1320
  };
1317
- protoOf(MutableClassicSolver).d31 = function (fact) {
1318
- this.a29(MutableClassicSolver$assertZ$lambda_0(fact));
1321
+ protoOf(MutableClassicSolver).i34 = function (fact) {
1322
+ this.p2b(MutableClassicSolver$assertZ$lambda_0(fact));
1319
1323
  };
1320
1324
  protoOf(MutableClassicSolver).assertZFact = function (fact) {
1321
- return this.d31(fact);
1325
+ return this.i34(fact);
1322
1326
  };
1323
- protoOf(MutableClassicSolver).g1r = function (clause) {
1324
- var result = this.a1t().retract(clause);
1325
- this.a29(MutableClassicSolver$retract$lambda(result, clause));
1327
+ protoOf(MutableClassicSolver).l1t = function (clause) {
1328
+ var result = this.n1v().retract(clause);
1329
+ this.p2b(MutableClassicSolver$retract$lambda(result, clause));
1326
1330
  return result;
1327
1331
  };
1328
1332
  protoOf(MutableClassicSolver).retract = function (clause) {
1329
- return this.g1r(clause);
1333
+ return this.l1t(clause);
1330
1334
  };
1331
- protoOf(MutableClassicSolver).h1r = function (fact) {
1332
- var result = this.a1t().retractByHead(fact);
1333
- this.a29(MutableClassicSolver$retract$lambda_0(result));
1335
+ protoOf(MutableClassicSolver).m1t = function (fact) {
1336
+ var result = this.n1v().retractByHead(fact);
1337
+ this.p2b(MutableClassicSolver$retract$lambda_0(result));
1334
1338
  return result;
1335
1339
  };
1336
1340
  protoOf(MutableClassicSolver).retractByHead = function (fact) {
1337
- return this.h1r(fact);
1341
+ return this.m1t(fact);
1338
1342
  };
1339
- protoOf(MutableClassicSolver).s1j = function (clause) {
1340
- var result = this.a1t().retractAll(clause);
1341
- this.a29(MutableClassicSolver$retractAll$lambda(result));
1343
+ protoOf(MutableClassicSolver).x1l = function (clause) {
1344
+ var result = this.n1v().retractAll(clause);
1345
+ this.p2b(MutableClassicSolver$retractAll$lambda(result));
1342
1346
  return result;
1343
1347
  };
1344
1348
  protoOf(MutableClassicSolver).retractAll = function (clause) {
1345
- return this.s1j(clause);
1349
+ return this.x1l(clause);
1346
1350
  };
1347
- protoOf(MutableClassicSolver).e31 = function (fact) {
1348
- var result = this.a1t().retractAllByHead(fact);
1349
- this.a29(MutableClassicSolver$retractAll$lambda_0(result));
1351
+ protoOf(MutableClassicSolver).j34 = function (fact) {
1352
+ var result = this.n1v().retractAllByHead(fact);
1353
+ this.p2b(MutableClassicSolver$retractAll$lambda_0(result));
1350
1354
  return result;
1351
1355
  };
1352
1356
  protoOf(MutableClassicSolver).retractAllBeHead = function (fact) {
1353
- return this.e31(fact);
1357
+ return this.j34(fact);
1354
1358
  };
1355
- protoOf(MutableClassicSolver).f31 = function (name, value) {
1356
- this.a29(MutableClassicSolver$setFlag$lambda(name, value));
1359
+ protoOf(MutableClassicSolver).k34 = function (name, value) {
1360
+ this.p2b(MutableClassicSolver$setFlag$lambda(name, value));
1357
1361
  };
1358
1362
  protoOf(MutableClassicSolver).setFlag = function (name, value) {
1359
- return this.f31(name, value);
1363
+ return this.k34(name, value);
1360
1364
  };
1361
- protoOf(MutableClassicSolver).g31 = function (flag) {
1362
- this.a29(MutableClassicSolver$setFlag$lambda_0(flag));
1365
+ protoOf(MutableClassicSolver).l34 = function (flag) {
1366
+ this.p2b(MutableClassicSolver$setFlag$lambda_0(flag));
1363
1367
  };
1364
1368
  protoOf(MutableClassicSolver).setFlagPair = function (flag) {
1365
- return this.g31(flag);
1369
+ return this.l34(flag);
1366
1370
  };
1367
- protoOf(MutableClassicSolver).h31 = function (flag) {
1368
- this.a29(MutableClassicSolver$setFlag$lambda_1(flag));
1371
+ protoOf(MutableClassicSolver).m34 = function (flag) {
1372
+ this.p2b(MutableClassicSolver$setFlag$lambda_1(flag));
1369
1373
  };
1370
1374
  protoOf(MutableClassicSolver).setFlagNotable = function (flag) {
1371
- return this.h31(flag);
1375
+ return this.m34(flag);
1372
1376
  };
1373
- protoOf(MutableClassicSolver).i31 = function (stdIn) {
1374
- this.a29(MutableClassicSolver$setStandardInput$lambda(stdIn));
1377
+ protoOf(MutableClassicSolver).n34 = function (stdIn) {
1378
+ this.p2b(MutableClassicSolver$setStandardInput$lambda(stdIn));
1375
1379
  };
1376
1380
  protoOf(MutableClassicSolver).setStandardInput = function (stdIn) {
1377
- return this.i31(stdIn);
1381
+ return this.n34(stdIn);
1378
1382
  };
1379
- protoOf(MutableClassicSolver).j31 = function (stdErr) {
1380
- this.a29(MutableClassicSolver$setStandardError$lambda(stdErr));
1383
+ protoOf(MutableClassicSolver).o34 = function (stdErr) {
1384
+ this.p2b(MutableClassicSolver$setStandardError$lambda(stdErr));
1381
1385
  };
1382
1386
  protoOf(MutableClassicSolver).setStandardError = function (stdErr) {
1383
- return this.j31(stdErr);
1387
+ return this.o34(stdErr);
1384
1388
  };
1385
- protoOf(MutableClassicSolver).k31 = function (stdOut) {
1386
- this.a29(MutableClassicSolver$setStandardOutput$lambda(stdOut));
1389
+ protoOf(MutableClassicSolver).p34 = function (stdOut) {
1390
+ this.p2b(MutableClassicSolver$setStandardOutput$lambda(stdOut));
1387
1391
  };
1388
1392
  protoOf(MutableClassicSolver).setStandardOutput = function (stdOut) {
1389
- return this.k31(stdOut);
1393
+ return this.p34(stdOut);
1390
1394
  };
1391
- protoOf(MutableClassicSolver).l31 = function (warnings) {
1392
- this.a29(MutableClassicSolver$setWarnings$lambda(warnings));
1395
+ protoOf(MutableClassicSolver).q34 = function (warnings) {
1396
+ this.p2b(MutableClassicSolver$setWarnings$lambda(warnings));
1393
1397
  };
1394
1398
  protoOf(MutableClassicSolver).setWarnings = function (warnings) {
1395
- return this.l31(warnings);
1399
+ return this.q34(warnings);
1396
1400
  };
1397
- protoOf(MutableClassicSolver).q1v = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
1401
+ protoOf(MutableClassicSolver).b1w = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
1398
1402
  return MutableClassicSolver_init_$Create$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings);
1399
1403
  };
1400
- protoOf(MutableClassicSolver).p1q = function () {
1404
+ protoOf(MutableClassicSolver).u1s = function () {
1401
1405
  return this.copy();
1402
1406
  };
1403
1407
  protoOf(MutableClassicSolver).clone = function () {
1404
- return this.p1q();
1408
+ return this.u1s();
1405
1409
  };
1406
1410
  function MutableClassicSolver() {
1407
1411
  }
@@ -1410,7 +1414,7 @@
1410
1414
  }
1411
1415
  function Companion() {
1412
1416
  }
1413
- protoOf(Companion).r30 = function (initialState, onStateTransition) {
1417
+ protoOf(Companion).w33 = function (initialState, onStateTransition) {
1414
1418
  return new SimpleSolutionIterator(initialState, onStateTransition);
1415
1419
  };
1416
1420
  protoOf(Companion).of = function (initialState, onStateTransition, $super) {
@@ -1421,7 +1425,7 @@
1421
1425
  tmp = onStateTransition;
1422
1426
  }
1423
1427
  onStateTransition = tmp;
1424
- return $super === VOID ? this.r30(initialState, onStateTransition) : $super.r30.call(this, initialState, onStateTransition);
1428
+ return $super === VOID ? this.w33(initialState, onStateTransition) : $super.w33.call(this, initialState, onStateTransition);
1425
1429
  };
1426
1430
  var Companion_instance_15;
1427
1431
  function Companion_getInstance_6() {
@@ -1429,74 +1433,74 @@
1429
1433
  }
1430
1434
  function AbstractEndState(solution, context) {
1431
1435
  AbstractState.call(this, context);
1432
- this.o31_1 = solution;
1433
- this.p31_1 = context;
1436
+ this.t34_1 = solution;
1437
+ this.u34_1 = context;
1434
1438
  }
1435
- protoOf(AbstractEndState).z2f = function () {
1436
- return this.o31_1;
1439
+ protoOf(AbstractEndState).q2i = function () {
1440
+ return this.t34_1;
1437
1441
  };
1438
- protoOf(AbstractEndState).jb = function () {
1439
- return this.p31_1;
1442
+ protoOf(AbstractEndState).mb = function () {
1443
+ return this.u34_1;
1440
1444
  };
1441
- protoOf(AbstractEndState).q31 = function () {
1445
+ protoOf(AbstractEndState).v34 = function () {
1442
1446
  throw NoSuchElementException_init_$Create$();
1443
1447
  };
1444
1448
  protoOf(AbstractEndState).asEndState = function () {
1445
- return this.s31();
1449
+ return this.x34();
1446
1450
  };
1447
1451
  function AbstractState$executionTime$delegate$lambda(this$0) {
1448
1452
  return function () {
1449
- return this$0.y31();
1453
+ return this$0.d35();
1450
1454
  };
1451
1455
  }
1452
1456
  function AbstractState(context) {
1453
- this.t31_1 = context;
1457
+ this.y34_1 = context;
1454
1458
  var tmp = this;
1455
- tmp.u31_1 = lazy(AbstractState$executionTime$delegate$lambda(this));
1459
+ tmp.z34_1 = lazy(AbstractState$executionTime$delegate$lambda(this));
1456
1460
  }
1457
- protoOf(AbstractState).jb = function () {
1458
- return this.t31_1;
1461
+ protoOf(AbstractState).mb = function () {
1462
+ return this.y34_1;
1459
1463
  };
1460
- protoOf(AbstractState).w31 = function () {
1464
+ protoOf(AbstractState).b35 = function () {
1461
1465
  // Inline function 'kotlin.getValue' call
1462
- var this_0 = this.u31_1;
1466
+ var this_0 = this.z34_1;
1463
1467
  executionTime$factory();
1464
- return this_0.q2();
1468
+ return this_0.r2();
1465
1469
  };
1466
- protoOf(AbstractState).x31 = function () {
1467
- return this.w31().ja(this.jb().l2x_1).l6(this.jb().m2x_1) > 0;
1470
+ protoOf(AbstractState).c35 = function () {
1471
+ return this.b35().ma(this.mb().q30_1).m6(this.mb().r30_1) > 0;
1468
1472
  };
1469
- protoOf(AbstractState).r = function () {
1473
+ protoOf(AbstractState).u = function () {
1470
1474
  var tmp;
1471
- if (this.x31()) {
1472
- var tmp0_exceededDuration = this.jb().m2x_1;
1473
- var tmp1_context = this.jb();
1474
- tmp = new StateHalt(TimeOutException_init_$Create$(VOID, VOID, tmp1_context, tmp0_exceededDuration), this.jb().n2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.z31()));
1475
+ if (this.c35()) {
1476
+ var tmp0_exceededDuration = this.mb().r30_1;
1477
+ var tmp1_context = this.mb();
1478
+ tmp = new StateHalt(TimeOutException_init_$Create$(VOID, VOID, tmp1_context, tmp0_exceededDuration), this.mb().s31(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.e35()));
1475
1479
  } else {
1476
- tmp = this.q31();
1480
+ tmp = this.v34();
1477
1481
  }
1478
1482
  return tmp;
1479
1483
  };
1480
1484
  protoOf(AbstractState).next = function () {
1481
- return this.r();
1485
+ return this.u();
1482
1486
  };
1483
- protoOf(AbstractState).y31 = function () {
1487
+ protoOf(AbstractState).d35 = function () {
1484
1488
  return currentTimeInstant();
1485
1489
  };
1486
- protoOf(AbstractState).z31 = function () {
1490
+ protoOf(AbstractState).e35 = function () {
1487
1491
  // Inline function 'kotlin.Long.plus' call
1488
- return this.jb().q2x_1.ia(toLong(1));
1492
+ return this.mb().v30_1.la(toLong(1));
1489
1493
  };
1490
- protoOf(AbstractState).a32 = function (_this__u8e3s4) {
1494
+ protoOf(AbstractState).f35 = function (_this__u8e3s4) {
1491
1495
  var tmp$ret$2;
1492
1496
  $l$block: {
1493
1497
  // Inline function 'kotlin.sequences.first' call
1494
- var tmp0_iterator = _this__u8e3s4.s2x_1.o();
1495
- while (tmp0_iterator.p()) {
1496
- var element = tmp0_iterator.r();
1498
+ var tmp0_iterator = _this__u8e3s4.x30_1.r();
1499
+ while (tmp0_iterator.s()) {
1500
+ var element = tmp0_iterator.u();
1497
1501
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.AbstractState.skipThrow.<anonymous>' call
1498
- var tmp0_safe_receiver = element.w2w_1;
1499
- var tmp = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.ku();
1502
+ var tmp0_safe_receiver = element.b30_1;
1503
+ var tmp = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.zu();
1500
1504
  // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
1501
1505
  if (!(tmp === Throw_getInstance().signature.name)) {
1502
1506
  tmp$ret$2 = element;
@@ -1509,7 +1513,7 @@
1509
1513
  };
1510
1514
  function executionTime$factory() {
1511
1515
  return getPropertyCallableRef('executionTime', 1, KProperty1, function (receiver) {
1512
- return receiver.w31();
1516
+ return receiver.b35();
1513
1517
  }, null);
1514
1518
  }
1515
1519
  function EndState() {
@@ -1518,28 +1522,28 @@
1518
1522
  }
1519
1523
  function StateBacktracking(context) {
1520
1524
  AbstractState.call(this, context);
1521
- this.d32_1 = context;
1525
+ this.i35_1 = context;
1522
1526
  }
1523
- protoOf(StateBacktracking).jb = function () {
1524
- return this.d32_1;
1527
+ protoOf(StateBacktracking).mb = function () {
1528
+ return this.i35_1;
1525
1529
  };
1526
- protoOf(StateBacktracking).q31 = function () {
1527
- var choicePoints = this.d32_1.n2x_1;
1530
+ protoOf(StateBacktracking).v34 = function () {
1531
+ var choicePoints = this.i35_1.s30_1;
1528
1532
  var tmp;
1529
1533
  // Inline function 'kotlin.let' call
1530
1534
  // Inline function 'kotlin.contracts.contract' call
1531
1535
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateBacktracking.computeNext.<anonymous>' call
1532
- if (choicePoints === null ? true : !choicePoints.u2y()) {
1533
- tmp = new StateEnd(Companion_instance_8.no(this.d32_1.h2x_1), this.d32_1.n2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.z31()));
1536
+ if (choicePoints === null ? true : !choicePoints.z31()) {
1537
+ tmp = new StateEnd(Companion_instance_8.no(this.i35_1.m30_1), this.i35_1.s31(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.e35()));
1534
1538
  } else {
1535
1539
  var tmp$ret$3;
1536
1540
  $l$block: {
1537
1541
  // Inline function 'kotlin.sequences.first' call
1538
- var tmp0_iterator = ensureNotNull(choicePoints).v2y().o();
1539
- while (tmp0_iterator.p()) {
1540
- var element = tmp0_iterator.r();
1542
+ var tmp0_iterator = ensureNotNull(choicePoints).a32().r();
1543
+ while (tmp0_iterator.s()) {
1544
+ var element = tmp0_iterator.u();
1541
1545
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateBacktracking.computeNext.<anonymous>' call
1542
- if (element.h2y().rp()) {
1546
+ if (element.m31().yp()) {
1543
1547
  tmp$ret$3 = element;
1544
1548
  break $l$block;
1545
1549
  }
@@ -1547,9 +1551,9 @@
1547
1551
  throw NoSuchElementException_init_$Create$_0('Sequence contains no element matching the predicate.');
1548
1552
  }
1549
1553
  var choicePointContext = tmp$ret$3;
1550
- var nextContext = choicePointContext.m2y(this.d32_1);
1554
+ var nextContext = choicePointContext.r31(this.i35_1);
1551
1555
  var tmp_0;
1552
- if (nextContext.k2x_1.rp()) {
1556
+ if (nextContext.p30_1.yp()) {
1553
1557
  tmp_0 = new StatePrimitiveExecution(nextContext);
1554
1558
  } else {
1555
1559
  tmp_0 = new StateRuleExecution(nextContext);
@@ -1558,17 +1562,17 @@
1558
1562
  }
1559
1563
  return tmp;
1560
1564
  };
1561
- protoOf(StateBacktracking).v31 = function (context) {
1562
- return this.e32(context);
1565
+ protoOf(StateBacktracking).a35 = function (context) {
1566
+ return this.j35(context);
1563
1567
  };
1564
- protoOf(StateBacktracking).e32 = function (context) {
1568
+ protoOf(StateBacktracking).j35 = function (context) {
1565
1569
  return new StateBacktracking(context);
1566
1570
  };
1567
1571
  protoOf(StateBacktracking).toString = function () {
1568
- return 'StateBacktracking(context=' + this.d32_1 + ')';
1572
+ return 'StateBacktracking(context=' + this.i35_1 + ')';
1569
1573
  };
1570
1574
  protoOf(StateBacktracking).hashCode = function () {
1571
- return this.d32_1.hashCode();
1575
+ return this.i35_1.hashCode();
1572
1576
  };
1573
1577
  protoOf(StateBacktracking).equals = function (other) {
1574
1578
  if (this === other)
@@ -1576,48 +1580,48 @@
1576
1580
  if (!(other instanceof StateBacktracking))
1577
1581
  return false;
1578
1582
  var tmp0_other_with_cast = other instanceof StateBacktracking ? other : THROW_CCE();
1579
- if (!this.d32_1.equals(tmp0_other_with_cast.d32_1))
1583
+ if (!this.i35_1.equals(tmp0_other_with_cast.i35_1))
1580
1584
  return false;
1581
1585
  return true;
1582
1586
  };
1583
1587
  function StateEnd(solution, context) {
1584
1588
  AbstractEndState.call(this, solution, context);
1585
- this.j32_1 = solution;
1586
- this.k32_1 = context;
1589
+ this.o35_1 = solution;
1590
+ this.p35_1 = context;
1587
1591
  }
1588
- protoOf(StateEnd).z2f = function () {
1589
- return this.j32_1;
1592
+ protoOf(StateEnd).q2i = function () {
1593
+ return this.o35_1;
1590
1594
  };
1591
- protoOf(StateEnd).jb = function () {
1592
- return this.k32_1;
1595
+ protoOf(StateEnd).mb = function () {
1596
+ return this.p35_1;
1593
1597
  };
1594
- protoOf(StateEnd).x31 = function () {
1598
+ protoOf(StateEnd).c35 = function () {
1595
1599
  return false;
1596
1600
  };
1597
- protoOf(StateEnd).q31 = function () {
1601
+ protoOf(StateEnd).v34 = function () {
1598
1602
  var tmp;
1599
- if (this.k32_1.u2y()) {
1600
- var tmp0_$this = this.k32_1;
1601
- var tmp1_step = this.z31();
1602
- var tmp2_startTime = this.y31();
1603
- tmp = new StateBacktracking(tmp0_$this.n2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, tmp2_startTime, VOID, VOID, VOID, VOID, tmp1_step));
1603
+ if (this.p35_1.z31()) {
1604
+ var tmp0_$this = this.p35_1;
1605
+ var tmp1_step = this.e35();
1606
+ var tmp2_startTime = this.d35();
1607
+ tmp = new StateBacktracking(tmp0_$this.s31(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, tmp2_startTime, VOID, VOID, VOID, VOID, tmp1_step));
1604
1608
  } else {
1605
- tmp = protoOf(AbstractEndState).q31.call(this);
1609
+ tmp = protoOf(AbstractEndState).v34.call(this);
1606
1610
  }
1607
1611
  return tmp;
1608
1612
  };
1609
- protoOf(StateEnd).v31 = function (context) {
1610
- return this.l32(this.j32_1, context);
1613
+ protoOf(StateEnd).a35 = function (context) {
1614
+ return this.q35(this.o35_1, context);
1611
1615
  };
1612
- protoOf(StateEnd).l32 = function (solution, context) {
1616
+ protoOf(StateEnd).q35 = function (solution, context) {
1613
1617
  return new StateEnd(solution, context);
1614
1618
  };
1615
1619
  protoOf(StateEnd).toString = function () {
1616
- return 'StateEnd(solution=' + this.j32_1 + ', context=' + this.k32_1 + ')';
1620
+ return 'StateEnd(solution=' + this.o35_1 + ', context=' + this.p35_1 + ')';
1617
1621
  };
1618
1622
  protoOf(StateEnd).hashCode = function () {
1619
- var result = hashCode(this.j32_1);
1620
- result = imul(result, 31) + this.k32_1.hashCode() | 0;
1623
+ var result = hashCode(this.o35_1);
1624
+ result = imul(result, 31) + this.p35_1.hashCode() | 0;
1621
1625
  return result;
1622
1626
  };
1623
1627
  protoOf(StateEnd).equals = function (other) {
@@ -1626,19 +1630,19 @@
1626
1630
  if (!(other instanceof StateEnd))
1627
1631
  return false;
1628
1632
  var tmp0_other_with_cast = other instanceof StateEnd ? other : THROW_CCE();
1629
- if (!equals(this.j32_1, tmp0_other_with_cast.j32_1))
1633
+ if (!equals(this.o35_1, tmp0_other_with_cast.o35_1))
1630
1634
  return false;
1631
- if (!this.k32_1.equals(tmp0_other_with_cast.k32_1))
1635
+ if (!this.p35_1.equals(tmp0_other_with_cast.p35_1))
1632
1636
  return false;
1633
1637
  return true;
1634
1638
  };
1635
1639
  protoOf(StateEnd).asEndState = function () {
1636
- return this.s31();
1640
+ return this.x34();
1637
1641
  };
1638
1642
  function isCatch(_this__u8e3s4, $this) {
1639
1643
  var tmp;
1640
- if (_this__u8e3s4.eu() === 3) {
1641
- var tmp_0 = _this__u8e3s4.ku();
1644
+ if (_this__u8e3s4.tu() === 3) {
1645
+ var tmp_0 = _this__u8e3s4.zu();
1642
1646
  // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
1643
1647
  tmp = tmp_0 === Catch_getInstance().signature.name;
1644
1648
  } else {
@@ -1649,9 +1653,9 @@
1649
1653
  function getExceptionContent(_this__u8e3s4, $this) {
1650
1654
  var tmp;
1651
1655
  if (_this__u8e3s4 instanceof MessageError) {
1652
- tmp = _this__u8e3s4.t24();
1656
+ tmp = _this__u8e3s4.i27();
1653
1657
  } else {
1654
- tmp = _this__u8e3s4.v22();
1658
+ tmp = _this__u8e3s4.k25();
1655
1659
  }
1656
1660
  return tmp;
1657
1661
  }
@@ -1665,17 +1669,17 @@
1665
1669
  return tmp;
1666
1670
  }
1667
1671
  function _get_finalState__3aigq8($this) {
1668
- return new StateHalt(toPublicException($this.o32_1, $this), $this.p32_1.n2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.z31()));
1672
+ return new StateHalt(toPublicException($this.t35_1, $this), $this.u35_1.s31(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.e35()));
1669
1673
  }
1670
1674
  function _get_handleExceptionInParentContext__yj3v4e($this) {
1671
- return new StateException($this.o32_1, ensureNotNull($this.p32_1.o2x_1).n2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.z31()));
1675
+ return new StateException($this.t35_1, ensureNotNull($this.u35_1.t30_1).s31(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.e35()));
1672
1676
  }
1673
1677
  function handleStruct($this, unificator, catchGoal, error) {
1674
1678
  var tmp;
1675
1679
  if (isCatch(catchGoal, $this)) {
1676
1680
  var catcher = unificator.mgu(catchGoal.get(1), getExceptionContent(error, $this));
1677
1681
  tmp = handleCatch($this, catchGoal, catcher);
1678
- } else if ($this.p32_1.j30()) {
1682
+ } else if ($this.u35_1.o33()) {
1679
1683
  tmp = _get_finalState__3aigq8($this);
1680
1684
  } else {
1681
1685
  tmp = _get_handleExceptionInParentContext__yj3v4e($this);
@@ -1684,18 +1688,18 @@
1684
1688
  }
1685
1689
  function handleCatch($this, catchGoal, catcher) {
1686
1690
  var tmp;
1687
- if (catcher.o10()) {
1688
- var tmp_0 = $this.p32_1.g2x_1.plus(catcher);
1691
+ if (catcher.d11()) {
1692
+ var tmp_0 = $this.u35_1.l30_1.plus(catcher);
1689
1693
  var newSubstitution = tmp_0.filterEntry(StateException$handleCatch$lambda($this));
1690
1694
  var subGoals = catchGoal.get(2).getSubstituted(newSubstitution, []);
1691
- var newGoals = plus_0(toGoals(subGoals), $this.p32_1.i2x_1.pp());
1692
- var tmp0_$this = $this.p32_1;
1695
+ var newGoals = plus_0(toGoals(subGoals), $this.u35_1.n30_1.wp());
1696
+ var tmp0_$this = $this.u35_1;
1693
1697
  var tmp1_rules = Companion_instance_7.empty();
1694
1698
  var tmp2_primitives = Companion_instance_7.empty();
1695
1699
  var tmp3_substitution = newSubstitution.castToUnifier();
1696
- var tmp4_step = $this.z31();
1697
- tmp = new StateGoalSelection(tmp0_$this.n2y(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));
1698
- } else if ($this.p32_1.j30()) {
1700
+ var tmp4_step = $this.e35();
1701
+ tmp = new StateGoalSelection(tmp0_$this.s31(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));
1702
+ } else if ($this.u35_1.o33()) {
1699
1703
  tmp = _get_finalState__3aigq8($this);
1700
1704
  } else {
1701
1705
  tmp = _get_handleExceptionInParentContext__yj3v4e($this);
@@ -1705,40 +1709,40 @@
1705
1709
  function StateException$handleCatch$lambda(this$0) {
1706
1710
  return function (_name_for_destructuring_parameter_0__wldtmu) {
1707
1711
  // Inline function 'kotlin.collections.component1' call
1708
- var it = _name_for_destructuring_parameter_0__wldtmu.p2();
1709
- return this$0.p32_1.l30(it);
1712
+ var it = _name_for_destructuring_parameter_0__wldtmu.q2();
1713
+ return this$0.u35_1.q33(it);
1710
1714
  };
1711
1715
  }
1712
1716
  function StateException(exception, context) {
1713
1717
  AbstractState.call(this, context);
1714
- this.o32_1 = exception;
1715
- this.p32_1 = context;
1718
+ this.t35_1 = exception;
1719
+ this.u35_1 = context;
1716
1720
  }
1717
- protoOf(StateException).jb = function () {
1718
- return this.p32_1;
1721
+ protoOf(StateException).mb = function () {
1722
+ return this.u35_1;
1719
1723
  };
1720
- protoOf(StateException).q31 = function () {
1724
+ protoOf(StateException).v34 = function () {
1721
1725
  var tmp;
1722
- if (this.o32_1 instanceof LogicError) {
1723
- var catchGoal = ensureNotNull(this.p32_1.k30());
1724
- tmp = catchGoal.qu() ? handleStruct(this, this.p32_1.x2w_1, catchGoal.castToStruct(), this.o32_1) : this.p32_1.j30() ? _get_finalState__3aigq8(this) : _get_handleExceptionInParentContext__yj3v4e(this);
1726
+ if (this.t35_1 instanceof LogicError) {
1727
+ var catchGoal = ensureNotNull(this.u35_1.p33());
1728
+ tmp = catchGoal.fv() ? handleStruct(this, this.u35_1.c30_1, catchGoal.castToStruct(), this.t35_1) : this.u35_1.o33() ? _get_finalState__3aigq8(this) : _get_handleExceptionInParentContext__yj3v4e(this);
1725
1729
  } else {
1726
1730
  tmp = _get_finalState__3aigq8(this);
1727
1731
  }
1728
1732
  return tmp;
1729
1733
  };
1730
- protoOf(StateException).v31 = function (context) {
1731
- return this.q32(this.o32_1, context);
1734
+ protoOf(StateException).a35 = function (context) {
1735
+ return this.v35(this.t35_1, context);
1732
1736
  };
1733
- protoOf(StateException).q32 = function (exception, context) {
1737
+ protoOf(StateException).v35 = function (exception, context) {
1734
1738
  return new StateException(exception, context);
1735
1739
  };
1736
1740
  protoOf(StateException).toString = function () {
1737
- return 'StateException(exception=' + this.o32_1 + ', context=' + this.p32_1 + ')';
1741
+ return 'StateException(exception=' + this.t35_1 + ', context=' + this.u35_1 + ')';
1738
1742
  };
1739
1743
  protoOf(StateException).hashCode = function () {
1740
- var result = hashCode(this.o32_1);
1741
- result = imul(result, 31) + this.p32_1.hashCode() | 0;
1744
+ var result = hashCode(this.t35_1);
1745
+ result = imul(result, 31) + this.u35_1.hashCode() | 0;
1742
1746
  return result;
1743
1747
  };
1744
1748
  protoOf(StateException).equals = function (other) {
@@ -1747,73 +1751,73 @@
1747
1751
  if (!(other instanceof StateException))
1748
1752
  return false;
1749
1753
  var tmp0_other_with_cast = other instanceof StateException ? other : THROW_CCE();
1750
- if (!equals(this.o32_1, tmp0_other_with_cast.o32_1))
1754
+ if (!equals(this.t35_1, tmp0_other_with_cast.t35_1))
1751
1755
  return false;
1752
- if (!this.p32_1.equals(tmp0_other_with_cast.p32_1))
1756
+ if (!this.u35_1.equals(tmp0_other_with_cast.u35_1))
1753
1757
  return false;
1754
1758
  return true;
1755
1759
  };
1756
1760
  function StateGoalSelection$computeNext$lambda(this$0) {
1757
1761
  return function (_name_for_destructuring_parameter_0__wldtmu) {
1758
1762
  // Inline function 'kotlin.collections.component1' call
1759
- var it = _name_for_destructuring_parameter_0__wldtmu.p2();
1760
- return this$0.t32_1.l30(it);
1763
+ var it = _name_for_destructuring_parameter_0__wldtmu.q2();
1764
+ return this$0.y35_1.q33(it);
1761
1765
  };
1762
1766
  }
1763
1767
  function StateGoalSelection(context) {
1764
1768
  AbstractState.call(this, context);
1765
- this.t32_1 = context;
1769
+ this.y35_1 = context;
1766
1770
  }
1767
- protoOf(StateGoalSelection).jb = function () {
1768
- return this.t32_1;
1771
+ protoOf(StateGoalSelection).mb = function () {
1772
+ return this.y35_1;
1769
1773
  };
1770
- protoOf(StateGoalSelection).q31 = function () {
1774
+ protoOf(StateGoalSelection).v34 = function () {
1771
1775
  var tmp;
1772
- if (this.t32_1.i2x_1.sp()) {
1776
+ if (this.y35_1.n30_1.zp()) {
1773
1777
  var tmp_0;
1774
- if (this.t32_1.j30()) {
1775
- tmp_0 = new StateEnd(Companion_instance_8.h1u(this.t32_1.h2x_1, this.t32_1.g2x_1), this.t32_1.n2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.z31()));
1778
+ if (this.y35_1.o33()) {
1779
+ tmp_0 = new StateEnd(Companion_instance_8.w1w(this.y35_1.m30_1, this.y35_1.l30_1), this.y35_1.s31(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.e35()));
1776
1780
  } else {
1777
1781
  // Inline function 'kotlin.let' call
1778
1782
  // Inline function 'kotlin.contracts.contract' call
1779
1783
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateGoalSelection.computeNext.<anonymous>' call
1780
- var it = ensureNotNull(this.t32_1.o2x_1);
1781
- var tmp0_choicePoints = this.t32_1.n2x_1;
1782
- var tmp1_flags = this.t32_1.z2w_1;
1783
- var tmp2_dynamicKb = this.t32_1.b2x_1;
1784
- var tmp3_staticKb = this.t32_1.a2x_1;
1785
- var tmp4_substitution = this.t32_1.g2x_1.i10(StateGoalSelection$computeNext$lambda(this));
1786
- var tmp5_goals = it.i2x_1.pp();
1787
- var tmp6_procedure = it.w2w_1;
1788
- var tmp7_step = this.z31();
1789
- var tmp8_startTime = this.t32_1.l2x_1;
1790
- var tmp9_operators = this.t32_1.c2x_1;
1791
- var tmp10_inputChannels = this.t32_1.d2x_1;
1792
- var tmp11_outputChannels = this.t32_1.e2x_1;
1793
- var tmp12_libraries = this.t32_1.y2w_1;
1794
- var tmp13_customData = this.t32_1.f2x_1;
1795
- var tmp$ret$1 = it.n2y(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);
1784
+ var it = ensureNotNull(this.y35_1.t30_1);
1785
+ var tmp0_choicePoints = this.y35_1.s30_1;
1786
+ var tmp1_flags = this.y35_1.e30_1;
1787
+ var tmp2_dynamicKb = this.y35_1.g30_1;
1788
+ var tmp3_staticKb = this.y35_1.f30_1;
1789
+ var tmp4_substitution = this.y35_1.l30_1.x10(StateGoalSelection$computeNext$lambda(this));
1790
+ var tmp5_goals = it.n30_1.wp();
1791
+ var tmp6_procedure = it.b30_1;
1792
+ var tmp7_step = this.e35();
1793
+ var tmp8_startTime = this.y35_1.q30_1;
1794
+ var tmp9_operators = this.y35_1.h30_1;
1795
+ var tmp10_inputChannels = this.y35_1.i30_1;
1796
+ var tmp11_outputChannels = this.y35_1.j30_1;
1797
+ var tmp12_libraries = this.y35_1.d30_1;
1798
+ var tmp13_customData = this.y35_1.k30_1;
1799
+ var tmp$ret$1 = it.s31(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);
1796
1800
  tmp_0 = new StateGoalSelection(tmp$ret$1);
1797
1801
  }
1798
1802
  tmp = tmp_0;
1799
- } else if (equals(this.t32_1.z2w_1.get(TrackVariables_getInstance()), TrackVariables_getInstance().a27_1)) {
1800
- tmp = new StatePrimitiveSelection(this.t32_1.n2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.z31(), plus_1(this.t32_1.r2x_1, toSet(ensureNotNull(this.t32_1.i2x_1.qp()).mu()))));
1803
+ } else if (equals(this.y35_1.e30_1.get(TrackVariables_getInstance()), TrackVariables_getInstance().p29_1)) {
1804
+ tmp = new StatePrimitiveSelection(this.y35_1.s31(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.e35(), plus_1(this.y35_1.w30_1, toSet(ensureNotNull(this.y35_1.n30_1.xp()).bv()))));
1801
1805
  } else {
1802
- tmp = new StatePrimitiveSelection(this.t32_1.n2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.z31()));
1806
+ tmp = new StatePrimitiveSelection(this.y35_1.s31(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.e35()));
1803
1807
  }
1804
1808
  return tmp;
1805
1809
  };
1806
- protoOf(StateGoalSelection).v31 = function (context) {
1807
- return this.e32(context);
1810
+ protoOf(StateGoalSelection).a35 = function (context) {
1811
+ return this.j35(context);
1808
1812
  };
1809
- protoOf(StateGoalSelection).e32 = function (context) {
1813
+ protoOf(StateGoalSelection).j35 = function (context) {
1810
1814
  return new StateGoalSelection(context);
1811
1815
  };
1812
1816
  protoOf(StateGoalSelection).toString = function () {
1813
- return 'StateGoalSelection(context=' + this.t32_1 + ')';
1817
+ return 'StateGoalSelection(context=' + this.y35_1 + ')';
1814
1818
  };
1815
1819
  protoOf(StateGoalSelection).hashCode = function () {
1816
- return this.t32_1.hashCode();
1820
+ return this.y35_1.hashCode();
1817
1821
  };
1818
1822
  protoOf(StateGoalSelection).equals = function (other) {
1819
1823
  if (this === other)
@@ -1821,30 +1825,30 @@
1821
1825
  if (!(other instanceof StateGoalSelection))
1822
1826
  return false;
1823
1827
  var tmp0_other_with_cast = other instanceof StateGoalSelection ? other : THROW_CCE();
1824
- if (!this.t32_1.equals(tmp0_other_with_cast.t32_1))
1828
+ if (!this.y35_1.equals(tmp0_other_with_cast.y35_1))
1825
1829
  return false;
1826
1830
  return true;
1827
1831
  };
1828
1832
  function StateHalt(exception, context) {
1829
- AbstractEndState.call(this, Companion_instance_8.halt(context.h2x_1, exception), context);
1830
- this.y32_1 = exception;
1831
- this.z32_1 = context;
1833
+ AbstractEndState.call(this, Companion_instance_8.halt(context.m30_1, exception), context);
1834
+ this.d36_1 = exception;
1835
+ this.e36_1 = context;
1832
1836
  }
1833
- protoOf(StateHalt).jb = function () {
1834
- return this.z32_1;
1837
+ protoOf(StateHalt).mb = function () {
1838
+ return this.e36_1;
1835
1839
  };
1836
- protoOf(StateHalt).v31 = function (context) {
1837
- return this.q32(this.y32_1, context);
1840
+ protoOf(StateHalt).a35 = function (context) {
1841
+ return this.v35(this.d36_1, context);
1838
1842
  };
1839
- protoOf(StateHalt).q32 = function (exception, context) {
1843
+ protoOf(StateHalt).v35 = function (exception, context) {
1840
1844
  return new StateHalt(exception, context);
1841
1845
  };
1842
1846
  protoOf(StateHalt).toString = function () {
1843
- return 'StateHalt(exception=' + this.y32_1 + ', context=' + this.z32_1 + ')';
1847
+ return 'StateHalt(exception=' + this.d36_1 + ', context=' + this.e36_1 + ')';
1844
1848
  };
1845
1849
  protoOf(StateHalt).hashCode = function () {
1846
- var result = hashCode(this.y32_1);
1847
- result = imul(result, 31) + this.z32_1.hashCode() | 0;
1850
+ var result = hashCode(this.d36_1);
1851
+ result = imul(result, 31) + this.e36_1.hashCode() | 0;
1848
1852
  return result;
1849
1853
  };
1850
1854
  protoOf(StateHalt).equals = function (other) {
@@ -1853,43 +1857,43 @@
1853
1857
  if (!(other instanceof StateHalt))
1854
1858
  return false;
1855
1859
  var tmp0_other_with_cast = other instanceof StateHalt ? other : THROW_CCE();
1856
- if (!equals(this.y32_1, tmp0_other_with_cast.y32_1))
1860
+ if (!equals(this.d36_1, tmp0_other_with_cast.d36_1))
1857
1861
  return false;
1858
- if (!this.z32_1.equals(tmp0_other_with_cast.z32_1))
1862
+ if (!this.e36_1.equals(tmp0_other_with_cast.e36_1))
1859
1863
  return false;
1860
1864
  return true;
1861
1865
  };
1862
1866
  protoOf(StateHalt).asEndState = function () {
1863
- return this.s31();
1867
+ return this.x34();
1864
1868
  };
1865
1869
  function StateInit(context) {
1866
1870
  AbstractState.call(this, context);
1867
- this.c33_1 = context;
1871
+ this.h36_1 = context;
1868
1872
  }
1869
- protoOf(StateInit).jb = function () {
1870
- return this.c33_1;
1873
+ protoOf(StateInit).mb = function () {
1874
+ return this.h36_1;
1871
1875
  };
1872
- protoOf(StateInit).q31 = function () {
1873
- var tmp0_$this = this.c33_1;
1874
- var tmp1_goals = toGoals(this.c33_1.h2x_1);
1876
+ protoOf(StateInit).v34 = function () {
1877
+ var tmp0_$this = this.h36_1;
1878
+ var tmp1_goals = toGoals(this.h36_1.m30_1);
1875
1879
  var tmp2_rules = Companion_instance_7.empty();
1876
1880
  var tmp3_primitives = Companion_instance_7.empty();
1877
1881
  var tmp4_substitution = Companion_getInstance_2().empty();
1878
- var tmp5_customData = this.c33_1.f2x_1.preservePersistent();
1882
+ var tmp5_customData = this.h36_1.k30_1.preservePersistent();
1879
1883
  var tmp6_relevantVariables = emptySet();
1880
- return new StateGoalSelection(appendRulesAndChoicePoints(tmp0_$this.n2y(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_instance_7.empty()));
1884
+ return new StateGoalSelection(appendRulesAndChoicePoints(tmp0_$this.s31(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_instance_7.empty()));
1881
1885
  };
1882
- protoOf(StateInit).v31 = function (context) {
1883
- return this.e32(context);
1886
+ protoOf(StateInit).a35 = function (context) {
1887
+ return this.j35(context);
1884
1888
  };
1885
- protoOf(StateInit).e32 = function (context) {
1889
+ protoOf(StateInit).j35 = function (context) {
1886
1890
  return new StateInit(context);
1887
1891
  };
1888
1892
  protoOf(StateInit).toString = function () {
1889
- return 'StateInit(context=' + this.c33_1 + ')';
1893
+ return 'StateInit(context=' + this.h36_1 + ')';
1890
1894
  };
1891
1895
  protoOf(StateInit).hashCode = function () {
1892
- return this.c33_1.hashCode();
1896
+ return this.h36_1.hashCode();
1893
1897
  };
1894
1898
  protoOf(StateInit).equals = function (other) {
1895
1899
  if (this === other)
@@ -1897,12 +1901,12 @@
1897
1901
  if (!(other instanceof StateInit))
1898
1902
  return false;
1899
1903
  var tmp0_other_with_cast = other instanceof StateInit ? other : THROW_CCE();
1900
- if (!this.c33_1.equals(tmp0_other_with_cast.c33_1))
1904
+ if (!this.h36_1.equals(tmp0_other_with_cast.h36_1))
1901
1905
  return false;
1902
1906
  return true;
1903
1907
  };
1904
1908
  function copyFromCurrentPrimitive(_this__u8e3s4, $this, goals, procedureFromAncestor, substitution) {
1905
- var tmp0_safe_receiver = _this__u8e3s4.k2x_1.qp();
1909
+ var tmp0_safe_receiver = _this__u8e3s4.p30_1.xp();
1906
1910
  var tmp;
1907
1911
  if (tmp0_safe_receiver == null) {
1908
1912
  tmp = null;
@@ -1910,18 +1914,18 @@
1910
1914
  // Inline function 'kotlin.let' call
1911
1915
  // Inline function 'kotlin.contracts.contract' call
1912
1916
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StatePrimitiveExecution.copyFromCurrentPrimitive.<anonymous>' call
1913
- tmp = _this__u8e3s4.n30(tmp0_safe_receiver.sideEffects);
1917
+ tmp = _this__u8e3s4.s33(tmp0_safe_receiver.sideEffects);
1914
1918
  }
1915
1919
  var tmp1_elvis_lhs = tmp;
1916
1920
  var ctx = tmp1_elvis_lhs == null ? _this__u8e3s4 : tmp1_elvis_lhs;
1917
- var tmp4_goals = goals == null ? _this__u8e3s4.i2x_1 : goals;
1918
- var tmp_0 = drop(_this__u8e3s4.s2x_1, procedureFromAncestor);
1921
+ var tmp4_goals = goals == null ? _this__u8e3s4.n30_1 : goals;
1922
+ var tmp_0 = drop(_this__u8e3s4.x30_1, procedureFromAncestor);
1919
1923
  var tmp5_procedure = first(map(tmp_0, StatePrimitiveExecution$copyFromCurrentPrimitive$lambda));
1920
1924
  var tmp6_primitives = Companion_instance_7.empty();
1921
- var tmp_1 = substitution == null ? _this__u8e3s4.g2x_1 : substitution;
1925
+ var tmp_1 = substitution == null ? _this__u8e3s4.l30_1 : substitution;
1922
1926
  var tmp7_substitution = isInterface(tmp_1, Unifier) ? tmp_1 : THROW_CCE();
1923
- var tmp8_step = $this.z31();
1924
- return ctx.n2y(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);
1927
+ var tmp8_step = $this.e35();
1928
+ return ctx.s31(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);
1925
1929
  }
1926
1930
  function copyFromCurrentPrimitive$default(_this__u8e3s4, $this, goals, procedureFromAncestor, substitution, $super) {
1927
1931
  goals = goals === VOID ? null : goals;
@@ -1930,21 +1934,21 @@
1930
1934
  return copyFromCurrentPrimitive(_this__u8e3s4, $this, goals, procedureFromAncestor, substitution);
1931
1935
  }
1932
1936
  function StatePrimitiveExecution$copyFromCurrentPrimitive$lambda(it) {
1933
- return it.w2w_1;
1937
+ return it.b30_1;
1934
1938
  }
1935
1939
  function StatePrimitiveExecution$computeNext$lambda(this$0) {
1936
1940
  return function (it) {
1937
- return new StateGoalSelection(copyFromCurrentPrimitive(this$0.f33_1, this$0, this$0.f33_1.i2x_1.pp(), 1, this$0.f33_1.x2w_1.mergeWithOccurCheck(this$0.f33_1.g2x_1, it.t1s(), false)));
1941
+ return new StateGoalSelection(copyFromCurrentPrimitive(this$0.k36_1, this$0, this$0.k36_1.n30_1.wp(), 1, this$0.k36_1.c30_1.mergeWithOccurCheck(this$0.k36_1.l30_1, it.g1v(), false)));
1938
1942
  };
1939
1943
  }
1940
1944
  function StatePrimitiveExecution$computeNext$lambda_0(this$0) {
1941
1945
  return function (it) {
1942
- return new StateBacktracking(copyFromCurrentPrimitive$default(ensureNotNull(this$0.f33_1.o2x_1), this$0));
1946
+ return new StateBacktracking(copyFromCurrentPrimitive$default(ensureNotNull(this$0.k36_1.t30_1), this$0));
1943
1947
  };
1944
1948
  }
1945
1949
  function StatePrimitiveExecution$computeNext$lambda_1(this$0) {
1946
1950
  return function (it) {
1947
- return new StateException(it.x1t().updateLastContext(this$0.a32(this$0.f33_1)), copyFromCurrentPrimitive$default(this$0.f33_1, this$0));
1951
+ return new StateException(it.n1w().updateLastContext(this$0.f35(this$0.k36_1)), copyFromCurrentPrimitive$default(this$0.k36_1, this$0));
1948
1952
  };
1949
1953
  }
1950
1954
  function StatePrimitiveExecution$computeNext$lambda_2(it) {
@@ -1952,15 +1956,15 @@
1952
1956
  }
1953
1957
  function StatePrimitiveExecution(context) {
1954
1958
  AbstractState.call(this, context);
1955
- this.f33_1 = context;
1959
+ this.k36_1 = context;
1956
1960
  }
1957
- protoOf(StatePrimitiveExecution).jb = function () {
1958
- return this.f33_1;
1961
+ protoOf(StatePrimitiveExecution).mb = function () {
1962
+ return this.k36_1;
1959
1963
  };
1960
- protoOf(StatePrimitiveExecution).q31 = function () {
1964
+ protoOf(StatePrimitiveExecution).v34 = function () {
1961
1965
  var tmp;
1962
1966
  try {
1963
- var tmp0_safe_receiver = this.f33_1.k2x_1.qp();
1967
+ var tmp0_safe_receiver = this.k36_1.p30_1.xp();
1964
1968
  var tmp1_safe_receiver = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.solution;
1965
1969
  var tmp_0;
1966
1970
  if (tmp1_safe_receiver == null) {
@@ -1969,15 +1973,15 @@
1969
1973
  var tmp_1 = StatePrimitiveExecution$computeNext$lambda(this);
1970
1974
  var tmp_2 = StatePrimitiveExecution$computeNext$lambda_0(this);
1971
1975
  var tmp_3 = StatePrimitiveExecution$computeNext$lambda_1(this);
1972
- tmp_0 = tmp1_safe_receiver.b1u(tmp_1, tmp_2, tmp_3, StatePrimitiveExecution$computeNext$lambda_2);
1976
+ tmp_0 = tmp1_safe_receiver.r1w(tmp_1, tmp_2, tmp_3, StatePrimitiveExecution$computeNext$lambda_2);
1973
1977
  }
1974
1978
  var tmp2_elvis_lhs = tmp_0;
1975
- tmp = tmp2_elvis_lhs == null ? new StateBacktracking(copyFromCurrentPrimitive$default(this.f33_1, this)) : tmp2_elvis_lhs;
1979
+ tmp = tmp2_elvis_lhs == null ? new StateBacktracking(copyFromCurrentPrimitive$default(this.k36_1, this)) : tmp2_elvis_lhs;
1976
1980
  } catch ($p) {
1977
1981
  var tmp_4;
1978
1982
  if ($p instanceof ResolutionException) {
1979
1983
  var exception = $p;
1980
- tmp_4 = new StateException(exception.updateLastContext(this.a32(this.f33_1)), this.f33_1.n2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.z31()));
1984
+ tmp_4 = new StateException(exception.updateLastContext(this.f35(this.k36_1)), this.k36_1.s31(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.e35()));
1981
1985
  } else {
1982
1986
  throw $p;
1983
1987
  }
@@ -1985,17 +1989,17 @@
1985
1989
  }
1986
1990
  return tmp;
1987
1991
  };
1988
- protoOf(StatePrimitiveExecution).v31 = function (context) {
1989
- return this.e32(context);
1992
+ protoOf(StatePrimitiveExecution).a35 = function (context) {
1993
+ return this.j35(context);
1990
1994
  };
1991
- protoOf(StatePrimitiveExecution).e32 = function (context) {
1995
+ protoOf(StatePrimitiveExecution).j35 = function (context) {
1992
1996
  return new StatePrimitiveExecution(context);
1993
1997
  };
1994
1998
  protoOf(StatePrimitiveExecution).toString = function () {
1995
- return 'StatePrimitiveExecution(context=' + this.f33_1 + ')';
1999
+ return 'StatePrimitiveExecution(context=' + this.k36_1 + ')';
1996
2000
  };
1997
2001
  protoOf(StatePrimitiveExecution).hashCode = function () {
1998
- return this.f33_1.hashCode();
2002
+ return this.k36_1.hashCode();
1999
2003
  };
2000
2004
  protoOf(StatePrimitiveExecution).equals = function (other) {
2001
2005
  if (this === other)
@@ -2003,39 +2007,39 @@
2003
2007
  if (!(other instanceof StatePrimitiveExecution))
2004
2008
  return false;
2005
2009
  var tmp0_other_with_cast = other instanceof StatePrimitiveExecution ? other : THROW_CCE();
2006
- if (!this.f33_1.equals(tmp0_other_with_cast.f33_1))
2010
+ if (!this.k36_1.equals(tmp0_other_with_cast.k36_1))
2007
2011
  return false;
2008
2012
  return true;
2009
2013
  };
2010
2014
  function exceptionalState($this, exception) {
2011
- return new StateException(exception, $this.i33_1.n2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.z31()));
2015
+ return new StateException(exception, $this.n36_1.s31(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.e35()));
2012
2016
  }
2013
2017
  function StatePrimitiveSelection(context) {
2014
2018
  AbstractState.call(this, context);
2015
- this.i33_1 = context;
2019
+ this.n36_1 = context;
2016
2020
  }
2017
- protoOf(StatePrimitiveSelection).jb = function () {
2018
- return this.i33_1;
2021
+ protoOf(StatePrimitiveSelection).mb = function () {
2022
+ return this.n36_1;
2019
2023
  };
2020
- protoOf(StatePrimitiveSelection).q31 = function () {
2024
+ protoOf(StatePrimitiveSelection).v34 = function () {
2021
2025
  // Inline function 'kotlin.with' call
2022
2026
  // Inline function 'kotlin.contracts.contract' call
2023
2027
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StatePrimitiveSelection.computeNext.<anonymous>' call
2024
- var $this$with = this.i33_1;
2025
- var goal = ensureNotNull($this$with.k30());
2028
+ var $this$with = this.n36_1;
2029
+ var goal = ensureNotNull($this$with.p33());
2026
2030
  var tmp;
2027
- if (goal.gv()) {
2028
- tmp = exceptionalState(this, Companion_instance_11.forGoal(this.i33_1, extractSignature(ensureNotNull(this.i33_1.w2w_1)), goal.castToVar()));
2029
- } else if (goal.qu()) {
2031
+ if (goal.vv()) {
2032
+ tmp = exceptionalState(this, Companion_instance_11.forGoal(this.n36_1, extractSignature(ensureNotNull(this.n36_1.b30_1)), goal.castToVar()));
2033
+ } else if (goal.fv()) {
2030
2034
  var goalStruct = goal.castToStruct();
2031
2035
  var signature = extractSignature(goalStruct);
2032
2036
  var tmp_0;
2033
- if ($this$with.y2w_1.hasPrimitive(signature)) {
2037
+ if ($this$with.d30_1.hasPrimitive(signature)) {
2034
2038
  var childContext = createChild($this$with);
2035
2039
  var tmp_1;
2036
2040
  try {
2037
- var request = toRequest(childContext, goalStruct, signature, this.w31());
2038
- var tmp0_elvis_lhs = $this$with.y2w_1.x2b().w2(signature);
2041
+ var request = toRequest(childContext, goalStruct, signature, this.b35());
2042
+ var tmp0_elvis_lhs = $this$with.d30_1.m2e().x2(signature);
2039
2043
  var tmp_2;
2040
2044
  if (tmp0_elvis_lhs == null) {
2041
2045
  var message = 'Inconsistent behaviour of Library.contains and Library.get';
@@ -2050,7 +2054,7 @@
2050
2054
  var tmp_3;
2051
2055
  if ($p instanceof ResolutionException) {
2052
2056
  var exception = $p;
2053
- tmp_3 = exceptionalState(this, exception.updateLastContext(this.a32(childContext)));
2057
+ tmp_3 = exceptionalState(this, exception.updateLastContext(this.f35(childContext)));
2054
2058
  } else {
2055
2059
  throw $p;
2056
2060
  }
@@ -2058,28 +2062,28 @@
2058
2062
  }
2059
2063
  tmp_0 = tmp_1;
2060
2064
  } else {
2061
- tmp_0 = new StateRuleSelection(this.i33_1.n2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.z31()));
2065
+ tmp_0 = new StateRuleSelection(this.n36_1.s31(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.e35()));
2062
2066
  }
2063
2067
  tmp = tmp_0;
2064
2068
  } else {
2065
2069
  var tmp_4 = Companion_instance_10;
2066
- var tmp1_safe_receiver = this.i33_1.w2w_1;
2070
+ var tmp1_safe_receiver = this.n36_1.b30_1;
2067
2071
  var tmp2_elvis_lhs = tmp1_safe_receiver == null ? null : extractSignature(tmp1_safe_receiver);
2068
- tmp = exceptionalState(this, tmp_4.forGoal(this.i33_1, tmp2_elvis_lhs == null ? new Signature('?-', 1) : tmp2_elvis_lhs, Expected_CALLABLE_getInstance(), goal));
2072
+ tmp = exceptionalState(this, tmp_4.forGoal(this.n36_1, tmp2_elvis_lhs == null ? new Signature('?-', 1) : tmp2_elvis_lhs, Expected_CALLABLE_getInstance(), goal));
2069
2073
  }
2070
2074
  return tmp;
2071
2075
  };
2072
- protoOf(StatePrimitiveSelection).v31 = function (context) {
2073
- return this.e32(context);
2076
+ protoOf(StatePrimitiveSelection).a35 = function (context) {
2077
+ return this.j35(context);
2074
2078
  };
2075
- protoOf(StatePrimitiveSelection).e32 = function (context) {
2079
+ protoOf(StatePrimitiveSelection).j35 = function (context) {
2076
2080
  return new StatePrimitiveSelection(context);
2077
2081
  };
2078
2082
  protoOf(StatePrimitiveSelection).toString = function () {
2079
- return 'StatePrimitiveSelection(context=' + this.i33_1 + ')';
2083
+ return 'StatePrimitiveSelection(context=' + this.n36_1 + ')';
2080
2084
  };
2081
2085
  protoOf(StatePrimitiveSelection).hashCode = function () {
2082
- return this.i33_1.hashCode();
2086
+ return this.n36_1.hashCode();
2083
2087
  };
2084
2088
  protoOf(StatePrimitiveSelection).equals = function (other) {
2085
2089
  if (this === other)
@@ -2087,51 +2091,51 @@
2087
2091
  if (!(other instanceof StatePrimitiveSelection))
2088
2092
  return false;
2089
2093
  var tmp0_other_with_cast = other instanceof StatePrimitiveSelection ? other : THROW_CCE();
2090
- if (!this.i33_1.equals(tmp0_other_with_cast.i33_1))
2094
+ if (!this.n36_1.equals(tmp0_other_with_cast.n36_1))
2091
2095
  return false;
2092
2096
  return true;
2093
2097
  };
2094
2098
  function _get_failureState__yid9tw($this) {
2095
- return new StateBacktracking($this.l33_1.n2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, Companion_instance_7.empty(), VOID, VOID, VOID, VOID, VOID, VOID, $this.z31()));
2099
+ return new StateBacktracking($this.q36_1.s31(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, Companion_instance_7.empty(), VOID, VOID, VOID, VOID, VOID, VOID, $this.e35()));
2096
2100
  }
2097
2101
  function StateRuleExecution(context) {
2098
2102
  AbstractState.call(this, context);
2099
- this.l33_1 = context;
2103
+ this.q36_1 = context;
2100
2104
  }
2101
- protoOf(StateRuleExecution).jb = function () {
2102
- return this.l33_1;
2105
+ protoOf(StateRuleExecution).mb = function () {
2106
+ return this.q36_1;
2103
2107
  };
2104
- protoOf(StateRuleExecution).q31 = function () {
2108
+ protoOf(StateRuleExecution).v34 = function () {
2105
2109
  // Inline function 'kotlin.with' call
2106
2110
  // Inline function 'kotlin.contracts.contract' call
2107
2111
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateRuleExecution.computeNext.<anonymous>' call
2108
- var $this$with = this.l33_1;
2109
- var substitution = $this$with.x2w_1.mgu(ensureNotNull($this$with.k30()), ensureNotNull($this$with.j2x_1.qp()).qw());
2112
+ var $this$with = this.q36_1;
2113
+ var substitution = $this$with.c30_1.mgu(ensureNotNull($this$with.p33()), ensureNotNull($this$with.o30_1.xp()).fx());
2110
2114
  var tmp;
2111
- if (substitution.o10()) {
2112
- var newSubstitution = this.l33_1.g2x_1.plus(substitution).castToUnifier();
2113
- var subGoals = prepareForExecutionWithUnifier(ensureNotNull(this.l33_1.j2x_1.qp()), newSubstitution).rw().getSubstituted(newSubstitution, []);
2114
- var tmp0_$this = this.l33_1;
2115
+ if (substitution.d11()) {
2116
+ var newSubstitution = this.q36_1.l30_1.plus(substitution).castToUnifier();
2117
+ var subGoals = prepareForExecutionWithUnifier(ensureNotNull(this.q36_1.o30_1.xp()), newSubstitution).gx().getSubstituted(newSubstitution, []);
2118
+ var tmp0_$this = this.q36_1;
2115
2119
  var tmp1_goals = toGoals(subGoals);
2116
2120
  var tmp2_rules = Companion_instance_7.empty();
2117
- var tmp3_step = this.z31();
2118
- tmp = new StateGoalSelection(tmp0_$this.n2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, newSubstitution, VOID, tmp1_goals, tmp2_rules, VOID, VOID, VOID, VOID, VOID, VOID, tmp3_step));
2121
+ var tmp3_step = this.e35();
2122
+ tmp = new StateGoalSelection(tmp0_$this.s31(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, newSubstitution, VOID, tmp1_goals, tmp2_rules, VOID, VOID, VOID, VOID, VOID, VOID, tmp3_step));
2119
2123
  } else {
2120
2124
  tmp = _get_failureState__yid9tw(this);
2121
2125
  }
2122
2126
  return tmp;
2123
2127
  };
2124
- protoOf(StateRuleExecution).v31 = function (context) {
2125
- return this.e32(context);
2128
+ protoOf(StateRuleExecution).a35 = function (context) {
2129
+ return this.j35(context);
2126
2130
  };
2127
- protoOf(StateRuleExecution).e32 = function (context) {
2131
+ protoOf(StateRuleExecution).j35 = function (context) {
2128
2132
  return new StateRuleExecution(context);
2129
2133
  };
2130
2134
  protoOf(StateRuleExecution).toString = function () {
2131
- return 'StateRuleExecution(context=' + this.l33_1 + ')';
2135
+ return 'StateRuleExecution(context=' + this.q36_1 + ')';
2132
2136
  };
2133
2137
  protoOf(StateRuleExecution).hashCode = function () {
2134
- return this.l33_1.hashCode();
2138
+ return this.q36_1.hashCode();
2135
2139
  };
2136
2140
  protoOf(StateRuleExecution).equals = function (other) {
2137
2141
  if (this === other)
@@ -2139,23 +2143,23 @@
2139
2143
  if (!(other instanceof StateRuleExecution))
2140
2144
  return false;
2141
2145
  var tmp0_other_with_cast = other instanceof StateRuleExecution ? other : THROW_CCE();
2142
- if (!this.l33_1.equals(tmp0_other_with_cast.l33_1))
2146
+ if (!this.q36_1.equals(tmp0_other_with_cast.q36_1))
2143
2147
  return false;
2144
2148
  return true;
2145
2149
  };
2146
2150
  function None() {
2147
2151
  None_instance = this;
2148
2152
  CutLimit.call(this);
2149
- this.m33_1 = -1;
2150
- this.n33_1 = null;
2153
+ this.r36_1 = -1;
2154
+ this.s36_1 = null;
2151
2155
  }
2152
- protoOf(None).o33 = function () {
2153
- return this.m33_1;
2156
+ protoOf(None).t36 = function () {
2157
+ return this.r36_1;
2154
2158
  };
2155
- protoOf(None).s1s = function () {
2156
- return this.n33_1;
2159
+ protoOf(None).f1v = function () {
2160
+ return this.s36_1;
2157
2161
  };
2158
- protoOf(None).p33 = function () {
2162
+ protoOf(None).u36 = function () {
2159
2163
  return true;
2160
2164
  };
2161
2165
  var None_instance;
@@ -2166,24 +2170,24 @@
2166
2170
  }
2167
2171
  function Actual(depthToCut, procedure) {
2168
2172
  CutLimit.call(this);
2169
- this.q33_1 = depthToCut;
2170
- this.r33_1 = procedure;
2173
+ this.v36_1 = depthToCut;
2174
+ this.w36_1 = procedure;
2171
2175
  }
2172
- protoOf(Actual).o33 = function () {
2173
- return this.q33_1;
2176
+ protoOf(Actual).t36 = function () {
2177
+ return this.v36_1;
2174
2178
  };
2175
- protoOf(Actual).s1s = function () {
2176
- return this.r33_1;
2179
+ protoOf(Actual).f1v = function () {
2180
+ return this.w36_1;
2177
2181
  };
2178
2182
  function CutLimit() {
2179
2183
  }
2180
- protoOf(CutLimit).p33 = function () {
2184
+ protoOf(CutLimit).u36 = function () {
2181
2185
  return false;
2182
2186
  };
2183
2187
  function Companion_0() {
2184
2188
  Companion_instance_16 = this;
2185
- this.s33_1 = Catch_getInstance().signature;
2186
- this.t33_1 = setOf([new Signature(',', 2), new Signature(';', 2), new Signature('->', 2)]);
2189
+ this.x36_1 = Catch_getInstance().signature;
2190
+ this.y36_1 = setOf([new Signature(',', 2), new Signature(';', 2), new Signature('->', 2)]);
2187
2191
  }
2188
2192
  var Companion_instance_16;
2189
2193
  function Companion_getInstance_7() {
@@ -2192,24 +2196,24 @@
2192
2196
  return Companion_instance_16;
2193
2197
  }
2194
2198
  function _get_failureState__yid9tw_0($this) {
2195
- return new StateBacktracking($this.w33_1.n2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.z31()));
2199
+ return new StateBacktracking($this.b37_1.s31(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.e35()));
2196
2200
  }
2197
2201
  function exceptionalState_0($this, exception) {
2198
- return new StateException(exception, $this.w33_1.n2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.z31()));
2202
+ return new StateException(exception, $this.b37_1.s31(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.e35()));
2199
2203
  }
2200
2204
  function missingProcedure($this, ruleSources, missing) {
2201
- var unknown = $this.w33_1.z2w_1.get(Unknown_getInstance());
2205
+ var unknown = $this.b37_1.e30_1.get(Unknown_getInstance());
2202
2206
  var tmp;
2203
- if (equals(unknown, Unknown_getInstance().g27_1)) {
2207
+ if (equals(unknown, Unknown_getInstance().v29_1)) {
2204
2208
  tmp = _get_failureState__yid9tw_0($this);
2205
2209
  } else {
2206
2210
  var tmp_0;
2207
2211
  var tmp$ret$1;
2208
2212
  $l$block: {
2209
2213
  // Inline function 'kotlin.sequences.none' call
2210
- var tmp0_iterator = ruleSources.o();
2211
- while (tmp0_iterator.p()) {
2212
- var element = tmp0_iterator.r();
2214
+ var tmp0_iterator = ruleSources.r();
2215
+ while (tmp0_iterator.s()) {
2216
+ var element = tmp0_iterator.u();
2213
2217
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateRuleSelection.missingProcedure.<anonymous>' call
2214
2218
  if (element.containsIndicator(missing.toIndicator())) {
2215
2219
  tmp$ret$1 = false;
@@ -2220,14 +2224,14 @@
2220
2224
  }
2221
2225
  if (tmp$ret$1) {
2222
2226
  var tmp_1;
2223
- if (equals(unknown, Unknown_getInstance().e27_1)) {
2224
- tmp_1 = exceptionalState_0($this, Companion_instance_12.forProcedure($this.w33_1, missing));
2225
- } else if (equals(unknown, Unknown_getInstance().f27_1)) {
2227
+ if (equals(unknown, Unknown_getInstance().t29_1)) {
2228
+ tmp_1 = exceptionalState_0($this, Companion_instance_12.forProcedure($this.b37_1, missing));
2229
+ } else if (equals(unknown, Unknown_getInstance().u29_1)) {
2226
2230
  // Inline function 'kotlin.also' call
2227
2231
  var this_0 = _get_failureState__yid9tw_0($this);
2228
2232
  // Inline function 'kotlin.contracts.contract' call
2229
2233
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateRuleSelection.missingProcedure.<anonymous>' call
2230
- $this.w33_1.j1t().write(MissingPredicate_init_$Create$($this.w33_1, missing));
2234
+ $this.b37_1.x1v().write(MissingPredicate_init_$Create$($this.b37_1, missing));
2231
2235
  tmp_1 = this_0;
2232
2236
  } else {
2233
2237
  tmp_1 = _get_failureState__yid9tw_0($this);
@@ -2241,25 +2245,25 @@
2241
2245
  return tmp;
2242
2246
  }
2243
2247
  function _get_ignoreState__t4wl8y($this) {
2244
- return new StateGoalSelection($this.w33_1.n2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.w33_1.i2x_1.pp(), VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.z31()));
2248
+ return new StateGoalSelection($this.b37_1.s31(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.b37_1.n30_1.wp(), VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.e35()));
2245
2249
  }
2246
2250
  function isCut(_this__u8e3s4, $this) {
2247
- return _this__u8e3s4.fu() ? _this__u8e3s4.castToAtom().q2() === '!' : false;
2251
+ return _this__u8e3s4.uu() ? _this__u8e3s4.castToAtom().r2() === '!' : false;
2248
2252
  }
2249
2253
  function computeCutLimit(_this__u8e3s4, $this, magicCut) {
2250
2254
  var tmp;
2251
2255
  if (magicCut) {
2252
- tmp = firstOrNull(_this__u8e3s4.s2x_1);
2256
+ tmp = firstOrNull(_this__u8e3s4.x30_1);
2253
2257
  } else {
2254
2258
  var tmp$ret$1;
2255
2259
  $l$block: {
2256
2260
  // Inline function 'kotlin.sequences.firstOrNull' call
2257
- var tmp0_iterator = _this__u8e3s4.s2x_1.o();
2258
- while (tmp0_iterator.p()) {
2259
- var element = tmp0_iterator.r();
2261
+ var tmp0_iterator = _this__u8e3s4.x30_1.r();
2262
+ while (tmp0_iterator.s()) {
2263
+ var element = tmp0_iterator.u();
2260
2264
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateRuleSelection.computeCutLimit.<anonymous>' call
2261
- var tmp_0 = Companion_getInstance_7().t33_1;
2262
- var tmp0_safe_receiver = element.w2w_1;
2265
+ var tmp_0 = Companion_getInstance_7().y36_1;
2266
+ var tmp0_safe_receiver = element.b30_1;
2263
2267
  if (!contains_0(tmp_0, tmp0_safe_receiver == null ? null : extractSignature(tmp0_safe_receiver))) {
2264
2268
  tmp$ret$1 = element;
2265
2269
  break $l$block;
@@ -2274,32 +2278,32 @@
2274
2278
  if (cutLimit == null) {
2275
2279
  tmp_1 = None_getInstance();
2276
2280
  } else {
2277
- tmp_1 = new Actual(cutLimit.p2x_1, cutLimit.w2w_1);
2281
+ tmp_1 = new Actual(cutLimit.u30_1, cutLimit.b30_1);
2278
2282
  }
2279
2283
  return tmp_1;
2280
2284
  }
2281
2285
  function cutCanBeSkipped($this, cutLimit, executionContext) {
2282
- return (cutLimit.p33() ? true : cutLimit.o33() > executionContext.p2x_1) ? true : cutLimit.o33() === executionContext.p2x_1 ? !equals(cutLimit.s1s(), executionContext.w2w_1) : false;
2286
+ return (cutLimit.u36() ? true : cutLimit.t36() > executionContext.u30_1) ? true : cutLimit.t36() === executionContext.u30_1 ? !equals(cutLimit.f1v(), executionContext.b30_1) : false;
2283
2287
  }
2284
2288
  function performCut(_this__u8e3s4, $this, cutLimit) {
2285
2289
  var tmp;
2286
2290
  if (_this__u8e3s4 === null) {
2287
2291
  tmp = null;
2288
- } else if (cutCanBeSkipped($this, cutLimit, ensureNotNull(_this__u8e3s4.i2y()))) {
2292
+ } else if (cutCanBeSkipped($this, cutLimit, ensureNotNull(_this__u8e3s4.n31()))) {
2289
2293
  tmp = _this__u8e3s4;
2290
2294
  } else {
2291
- var tmp_0 = _this__u8e3s4.v2y();
2295
+ var tmp_0 = _this__u8e3s4.a32();
2292
2296
  var cutCandidates = filter(tmp_0, StateRuleSelection$performCut$lambda(cutLimit));
2293
2297
  var tmp_1;
2294
2298
  if (any(cutCandidates)) {
2295
2299
  var tmp$ret$1;
2296
2300
  $l$block: {
2297
2301
  // Inline function 'kotlin.sequences.firstOrNull' call
2298
- var tmp0_iterator = cutCandidates.o();
2299
- while (tmp0_iterator.p()) {
2300
- var element = tmp0_iterator.r();
2302
+ var tmp0_iterator = cutCandidates.r();
2303
+ while (tmp0_iterator.s()) {
2304
+ var element = tmp0_iterator.u();
2301
2305
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateRuleSelection.performCut.<anonymous>' call
2302
- if (ensureNotNull(element.i2y()).p2x_1 <= cutLimit.o33()) {
2306
+ if (ensureNotNull(element.n31()).u30_1 <= cutLimit.t36()) {
2303
2307
  tmp$ret$1 = element;
2304
2308
  break $l$block;
2305
2309
  }
@@ -2307,7 +2311,7 @@
2307
2311
  tmp$ret$1 = null;
2308
2312
  }
2309
2313
  var tmp0_safe_receiver = tmp$ret$1;
2310
- tmp_1 = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.j2y();
2314
+ tmp_1 = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.o31();
2311
2315
  } else {
2312
2316
  tmp_1 = _this__u8e3s4;
2313
2317
  }
@@ -2317,11 +2321,11 @@
2317
2321
  }
2318
2322
  function _get_isTailRecursive__h5eso7(_this__u8e3s4, $this) {
2319
2323
  var tmp;
2320
- if (_this__u8e3s4.i2x_1.pp().sp() ? equals(_this__u8e3s4.z2w_1.get(LastCallOptimization_getInstance()), LastCallOptimization_getInstance().t26_1) : false) {
2324
+ if (_this__u8e3s4.n30_1.wp().zp() ? equals(_this__u8e3s4.e30_1.get(LastCallOptimization_getInstance()), LastCallOptimization_getInstance().i29_1) : false) {
2321
2325
  // Inline function 'kotlin.let' call
2322
2326
  // Inline function 'kotlin.contracts.contract' call
2323
2327
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateRuleSelection.<get-isTailRecursive>.<anonymous>' call
2324
- var tmp0_safe_receiver = ensureNotNull(_this__u8e3s4.k30()).asStruct();
2328
+ var tmp0_safe_receiver = ensureNotNull(_this__u8e3s4.p33()).asStruct();
2325
2329
  var tmp1_safe_receiver = tmp0_safe_receiver == null ? null : extractSignature(tmp0_safe_receiver);
2326
2330
  var tmp_0;
2327
2331
  if (tmp1_safe_receiver == null) {
@@ -2331,9 +2335,9 @@
2331
2335
  // Inline function 'kotlin.contracts.contract' call
2332
2336
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateRuleSelection.<get-isTailRecursive>.<anonymous>.<anonymous>' call
2333
2337
  var tmp_1;
2334
- var tmp0_safe_receiver_0 = _this__u8e3s4.w2w_1;
2338
+ var tmp0_safe_receiver_0 = _this__u8e3s4.b30_1;
2335
2339
  if (tmp1_safe_receiver.equals(tmp0_safe_receiver_0 == null ? null : extractSignature(tmp0_safe_receiver_0))) {
2336
- tmp_1 = !tmp1_safe_receiver.equals(Companion_getInstance_7().s33_1);
2340
+ tmp_1 = !tmp1_safe_receiver.equals(Companion_getInstance_7().x36_1);
2337
2341
  } else {
2338
2342
  tmp_1 = false;
2339
2343
  }
@@ -2353,7 +2357,7 @@
2353
2357
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateRuleSelection.selectClauses.<anonymous>' call
2354
2358
  var it = ensureRules(map(tmp, StateRuleSelection$selectClauses$lambda));
2355
2359
  var tmp_0;
2356
- if (_this__u8e3s4.q1q()) {
2360
+ if (_this__u8e3s4.v1s()) {
2357
2361
  tmp_0 = buffered(it);
2358
2362
  } else {
2359
2363
  tmp_0 = it;
@@ -2362,7 +2366,7 @@
2362
2366
  }
2363
2367
  function StateRuleSelection$performCut$lambda($cutLimit) {
2364
2368
  return function (it) {
2365
- return equals(ensureNotNull(it.i2y()).w2w_1, $cutLimit.s1s());
2369
+ return equals(ensureNotNull(it.n31()).b30_1, $cutLimit.f1v());
2366
2370
  };
2367
2371
  }
2368
2372
  function StateRuleSelection$computeNext$lambda(this$0, $currentGoalStruct) {
@@ -2371,32 +2375,32 @@
2371
2375
  };
2372
2376
  }
2373
2377
  function StateRuleSelection$selectClauses$lambda(it) {
2374
- return it.nu();
2378
+ return it.cv();
2375
2379
  }
2376
2380
  function StateRuleSelection(context) {
2377
2381
  Companion_getInstance_7();
2378
2382
  AbstractState.call(this, context);
2379
- this.w33_1 = context;
2383
+ this.b37_1 = context;
2380
2384
  }
2381
- protoOf(StateRuleSelection).jb = function () {
2382
- return this.w33_1;
2385
+ protoOf(StateRuleSelection).mb = function () {
2386
+ return this.b37_1;
2383
2387
  };
2384
- protoOf(StateRuleSelection).q31 = function () {
2385
- var currentGoal = ensureNotNull(this.w33_1.k30());
2388
+ protoOf(StateRuleSelection).v34 = function () {
2389
+ var currentGoal = ensureNotNull(this.b37_1.p33());
2386
2390
  var tmp;
2387
- if (currentGoal.gv()) {
2388
- tmp = exceptionalState_0(this, Companion_instance_11.forGoal(this.w33_1, extractSignature(ensureNotNull(this.w33_1.w2w_1)), currentGoal.castToVar()));
2389
- } else if (currentGoal.qu()) {
2391
+ if (currentGoal.vv()) {
2392
+ tmp = exceptionalState_0(this, Companion_instance_11.forGoal(this.b37_1, extractSignature(ensureNotNull(this.b37_1.b30_1)), currentGoal.castToVar()));
2393
+ } else if (currentGoal.fv()) {
2390
2394
  // Inline function 'kotlin.with' call
2391
2395
  // Inline function 'kotlin.contracts.contract' call
2392
2396
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateRuleSelection.computeNext.<anonymous>' call
2393
- var $this$with = this.w33_1;
2397
+ var $this$with = this.b37_1;
2394
2398
  var currentGoalStruct = currentGoal.castToStruct();
2395
- var ruleSources = sequenceOf([$this$with.y2w_1.asTheory($this$with.x2w_1), $this$with.a2x_1, $this$with.b2x_1]);
2399
+ var ruleSources = sequenceOf([$this$with.d30_1.asTheory($this$with.c30_1), $this$with.f30_1, $this$with.g30_1]);
2396
2400
  var tmp_0;
2397
- if (currentGoalStruct.hv()) {
2401
+ if (currentGoalStruct.wv()) {
2398
2402
  var tmp_1;
2399
- if (currentGoalStruct.iu()) {
2403
+ if (currentGoalStruct.xu()) {
2400
2404
  tmp_1 = _get_ignoreState__t4wl8y(this);
2401
2405
  } else {
2402
2406
  tmp_1 = _get_failureState__yid9tw_0(this);
@@ -2409,14 +2413,14 @@
2409
2413
  // Inline function 'kotlin.contracts.contract' call
2410
2414
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateRuleSelection.computeNext.<anonymous>.<anonymous>' call
2411
2415
  var it = _get_ignoreState__t4wl8y(this);
2412
- tmp_0 = it.e32(it.t32_1.n2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, performCut(it.t32_1.n2x_1, this, cutLimit)));
2416
+ tmp_0 = it.j35(it.y35_1.s31(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, performCut(it.y35_1.s30_1, this, cutLimit)));
2413
2417
  } else {
2414
2418
  var tmp$ret$3;
2415
2419
  $l$block: {
2416
2420
  // Inline function 'kotlin.sequences.any' call
2417
- var tmp0_iterator = ruleSources.o();
2418
- while (tmp0_iterator.p()) {
2419
- var element = tmp0_iterator.r();
2421
+ var tmp0_iterator = ruleSources.r();
2422
+ while (tmp0_iterator.s()) {
2423
+ var element = tmp0_iterator.u();
2420
2424
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateRuleSelection.computeNext.<anonymous>.<anonymous>' call
2421
2425
  if (element.containsHead(currentGoalStruct)) {
2422
2426
  tmp$ret$3 = true;
@@ -2428,10 +2432,10 @@
2428
2432
  if (tmp$ret$3) {
2429
2433
  var rules = cursor(flatMap(ruleSources, StateRuleSelection$computeNext$lambda(this, currentGoalStruct)));
2430
2434
  var tmp_2;
2431
- if (_get_isTailRecursive__h5eso7(this.w33_1, this)) {
2432
- tmp_2 = new StateRuleExecution(replaceWithChildAppendingRulesAndChoicePoints(this.w33_1, rules));
2435
+ if (_get_isTailRecursive__h5eso7(this.b37_1, this)) {
2436
+ tmp_2 = new StateRuleExecution(replaceWithChildAppendingRulesAndChoicePoints(this.b37_1, rules));
2433
2437
  } else {
2434
- tmp_2 = new StateRuleExecution(createChildAppendingRulesAndChoicePoints(this.w33_1, rules));
2438
+ tmp_2 = new StateRuleExecution(createChildAppendingRulesAndChoicePoints(this.b37_1, rules));
2435
2439
  }
2436
2440
  tmp_0 = tmp_2;
2437
2441
  } else {
@@ -2441,21 +2445,21 @@
2441
2445
  }
2442
2446
  tmp = tmp_0;
2443
2447
  } else {
2444
- tmp = exceptionalState_0(this, Companion_instance_10.forGoal(this.w33_1, extractSignature(ensureNotNull(this.w33_1.w2w_1)), Expected_CALLABLE_getInstance(), currentGoal));
2448
+ tmp = exceptionalState_0(this, Companion_instance_10.forGoal(this.b37_1, extractSignature(ensureNotNull(this.b37_1.b30_1)), Expected_CALLABLE_getInstance(), currentGoal));
2445
2449
  }
2446
2450
  return tmp;
2447
2451
  };
2448
- protoOf(StateRuleSelection).v31 = function (context) {
2449
- return this.e32(context);
2452
+ protoOf(StateRuleSelection).a35 = function (context) {
2453
+ return this.j35(context);
2450
2454
  };
2451
- protoOf(StateRuleSelection).e32 = function (context) {
2455
+ protoOf(StateRuleSelection).j35 = function (context) {
2452
2456
  return new StateRuleSelection(context);
2453
2457
  };
2454
2458
  protoOf(StateRuleSelection).toString = function () {
2455
- return 'StateRuleSelection(context=' + this.w33_1 + ')';
2459
+ return 'StateRuleSelection(context=' + this.b37_1 + ')';
2456
2460
  };
2457
2461
  protoOf(StateRuleSelection).hashCode = function () {
2458
- return this.w33_1.hashCode();
2462
+ return this.b37_1.hashCode();
2459
2463
  };
2460
2464
  protoOf(StateRuleSelection).equals = function (other) {
2461
2465
  if (this === other)
@@ -2463,19 +2467,19 @@
2463
2467
  if (!(other instanceof StateRuleSelection))
2464
2468
  return false;
2465
2469
  var tmp0_other_with_cast = other instanceof StateRuleSelection ? other : THROW_CCE();
2466
- if (!this.w33_1.equals(tmp0_other_with_cast.w33_1))
2470
+ if (!this.b37_1.equals(tmp0_other_with_cast.b37_1))
2467
2471
  return false;
2468
2472
  return true;
2469
2473
  };
2470
2474
  function appendRulesAndChoicePoints(_this__u8e3s4, rules) {
2471
2475
  var tmp;
2472
- if (rules.rp()) {
2473
- tmp = appendRules(_this__u8e3s4.n2x_1, rules.pp(), _this__u8e3s4);
2476
+ if (rules.yp()) {
2477
+ tmp = appendRules(_this__u8e3s4.s30_1, rules.wp(), _this__u8e3s4);
2474
2478
  } else {
2475
- tmp = appendRules(_this__u8e3s4.n2x_1, Companion_instance_7.empty(), _this__u8e3s4);
2479
+ tmp = appendRules(_this__u8e3s4.s30_1, Companion_instance_7.empty(), _this__u8e3s4);
2476
2480
  }
2477
2481
  var newChoicePointContext = tmp;
2478
- return _this__u8e3s4.n2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, rules, VOID, VOID, VOID, newChoicePointContext);
2482
+ return _this__u8e3s4.s31(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, rules, VOID, VOID, VOID, newChoicePointContext);
2479
2483
  }
2480
2484
  function toGoals(_this__u8e3s4) {
2481
2485
  var tmp = unfoldGoals(_this__u8e3s4);
@@ -2483,8 +2487,8 @@
2483
2487
  }
2484
2488
  function unfoldGoals(_this__u8e3s4) {
2485
2489
  var tmp;
2486
- if (_this__u8e3s4.vu()) {
2487
- var tmp_0 = _this__u8e3s4.castToTuple().at();
2490
+ if (_this__u8e3s4.kv()) {
2491
+ var tmp_0 = _this__u8e3s4.castToTuple().pt();
2488
2492
  tmp = flatMap(tmp_0, unfoldGoals$lambda);
2489
2493
  } else {
2490
2494
  tmp = sequenceOf([_this__u8e3s4]);
@@ -2493,27 +2497,27 @@
2493
2497
  }
2494
2498
  function createChild(_this__u8e3s4, inferProcedureFromGoals) {
2495
2499
  inferProcedureFromGoals = inferProcedureFromGoals === VOID ? true : inferProcedureFromGoals;
2496
- var currentGoal = ensureNotNull(_this__u8e3s4.k30()).castToStruct();
2500
+ var currentGoal = ensureNotNull(_this__u8e3s4.p33()).castToStruct();
2497
2501
  var tmp0_goals = toGoals(currentGoal);
2498
- var tmp1_procedure = inferProcedureFromGoals ? currentGoal : _this__u8e3s4.w2w_1;
2499
- var tmp2_depth = _this__u8e3s4.p2x_1 + 1 | 0;
2502
+ var tmp1_procedure = inferProcedureFromGoals ? currentGoal : _this__u8e3s4.b30_1;
2503
+ var tmp2_depth = _this__u8e3s4.u30_1 + 1 | 0;
2500
2504
  // Inline function 'kotlin.Long.plus' call
2501
- var tmp3_step = _this__u8e3s4.q2x_1.ia(toLong(1));
2505
+ var tmp3_step = _this__u8e3s4.v30_1.la(toLong(1));
2502
2506
  var tmp4_relevantVariables = emptySet();
2503
- return _this__u8e3s4.n2y(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);
2507
+ return _this__u8e3s4.s31(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);
2504
2508
  }
2505
2509
  function toRequest(_this__u8e3s4, goal, signature, startTime) {
2506
- return new Request(signature, goal.lu(), _this__u8e3s4, startTime);
2510
+ return new Request(signature, goal.av(), _this__u8e3s4, startTime);
2507
2511
  }
2508
2512
  function appendPrimitivesAndChoicePoints(_this__u8e3s4, primitiveExecutions) {
2509
2513
  var tmp;
2510
- if (primitiveExecutions.rp()) {
2511
- tmp = appendPrimitives(_this__u8e3s4.n2x_1, primitiveExecutions.pp(), _this__u8e3s4);
2514
+ if (primitiveExecutions.yp()) {
2515
+ tmp = appendPrimitives(_this__u8e3s4.s30_1, primitiveExecutions.wp(), _this__u8e3s4);
2512
2516
  } else {
2513
- tmp = appendPrimitives(_this__u8e3s4.n2x_1, Companion_instance_7.empty(), _this__u8e3s4);
2517
+ tmp = appendPrimitives(_this__u8e3s4.s30_1, Companion_instance_7.empty(), _this__u8e3s4);
2514
2518
  }
2515
2519
  var newChoicePointContext = tmp;
2516
- return _this__u8e3s4.n2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, primitiveExecutions, VOID, VOID, newChoicePointContext);
2520
+ return _this__u8e3s4.s31(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, primitiveExecutions, VOID, VOID, newChoicePointContext);
2517
2521
  }
2518
2522
  function replaceWithChildAppendingRulesAndChoicePoints(_this__u8e3s4, rules, inferProcedureFromGoals) {
2519
2523
  inferProcedureFromGoals = inferProcedureFromGoals === VOID ? true : inferProcedureFromGoals;
@@ -2530,16 +2534,16 @@
2530
2534
  }
2531
2535
  function replaceWithChild(_this__u8e3s4, inferProcedureFromGoals) {
2532
2536
  inferProcedureFromGoals = inferProcedureFromGoals === VOID ? true : inferProcedureFromGoals;
2533
- var currentGoal = ensureNotNull(_this__u8e3s4.k30()).castToStruct();
2537
+ var currentGoal = ensureNotNull(_this__u8e3s4.p33()).castToStruct();
2534
2538
  var tmp0_goals = toGoals(currentGoal);
2535
- var tmp1_procedure = inferProcedureFromGoals ? currentGoal : _this__u8e3s4.w2w_1;
2536
- var tmp2_depth = _this__u8e3s4.p2x_1 + 1 | 0;
2539
+ var tmp1_procedure = inferProcedureFromGoals ? currentGoal : _this__u8e3s4.b30_1;
2540
+ var tmp2_depth = _this__u8e3s4.u30_1 + 1 | 0;
2537
2541
  // Inline function 'kotlin.Long.plus' call
2538
- var tmp3_step = _this__u8e3s4.q2x_1.ia(toLong(1));
2539
- return _this__u8e3s4.n2y(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);
2542
+ var tmp3_step = _this__u8e3s4.v30_1.la(toLong(1));
2543
+ return _this__u8e3s4.s31(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);
2540
2544
  }
2541
2545
  function toGoals$lambda(it) {
2542
- return it.gv() ? Companion_getInstance_1().of('call', [it]) : it;
2546
+ return it.vv() ? Companion_getInstance_1().of('call', [it]) : it;
2543
2547
  }
2544
2548
  function unfoldGoals$lambda(it) {
2545
2549
  return unfoldGoals(it);
@@ -2549,7 +2553,7 @@
2549
2553
  // Inline function 'kotlin.contracts.contract' call
2550
2554
  // Inline function 'kotlin.require' call
2551
2555
  // Inline function 'kotlin.contracts.contract' call
2552
- if (!it.su()) {
2556
+ if (!it.hv()) {
2553
2557
  // Inline function 'kotlin.require.<anonymous>' call
2554
2558
  var message = 'Failed requirement.';
2555
2559
  throw IllegalArgumentException_init_$Create$(toString(message));
@@ -2557,49 +2561,49 @@
2557
2561
  return it.castToRule();
2558
2562
  }
2559
2563
  function AbstractSolutionIterator(state) {
2560
- this.x33_1 = state;
2561
- this.y33_1 = new Long(0, 0);
2564
+ this.c37_1 = state;
2565
+ this.d37_1 = new Long(0, 0);
2562
2566
  }
2563
- protoOf(AbstractSolutionIterator).p = function () {
2567
+ protoOf(AbstractSolutionIterator).s = function () {
2564
2568
  // Inline function 'kotlin.let' call
2565
2569
  // Inline function 'kotlin.contracts.contract' call
2566
2570
  // Inline function 'it.unibo.tuprolog.solve.classic.impl.AbstractSolutionIterator.hasNext.<anonymous>' call
2567
- var it = this.x33_1;
2568
- return !it.r31() ? true : it.castToEndState().u2y();
2571
+ var it = this.c37_1;
2572
+ return !it.w34() ? true : it.castToEndState().z31();
2569
2573
  };
2570
- protoOf(AbstractSolutionIterator).r = function () {
2574
+ protoOf(AbstractSolutionIterator).u = function () {
2571
2575
  do {
2572
- var previousState = this.x33_1;
2576
+ var previousState = this.c37_1;
2573
2577
  var tmp = this;
2574
- var tmp_0 = this.x33_1;
2575
- this.y33_1 = this.y33_1.na();
2576
- tmp.x33_1 = this.z33(tmp_0, this.y33_1);
2577
- this.onStateTransition(previousState, this.x33_1, this.y33_1);
2578
+ var tmp_0 = this.c37_1;
2579
+ this.d37_1 = this.d37_1.qa();
2580
+ tmp.c37_1 = this.e37(tmp_0, this.d37_1);
2581
+ this.onStateTransition(previousState, this.c37_1, this.d37_1);
2578
2582
  }
2579
- while (!this.x33_1.r31());
2580
- return this.x33_1.castToEndState().z2f().cleanUp();
2583
+ while (!this.c37_1.w34());
2584
+ return this.c37_1.castToEndState().q2i().cleanUp();
2581
2585
  };
2582
2586
  function SimpleSolutionIterator(state, onStateTransitionCallback) {
2583
2587
  AbstractSolutionIterator.call(this, state);
2584
- this.c34_1 = onStateTransitionCallback;
2588
+ this.h37_1 = onStateTransitionCallback;
2585
2589
  }
2586
- protoOf(SimpleSolutionIterator).z33 = function (state, step) {
2590
+ protoOf(SimpleSolutionIterator).e37 = function (state, step) {
2587
2591
  return state.next();
2588
2592
  };
2589
- protoOf(SimpleSolutionIterator).d34 = function (source, destination, index) {
2590
- return this.c34_1(source, destination, index);
2593
+ protoOf(SimpleSolutionIterator).i37 = function (source, destination, index) {
2594
+ return this.h37_1(source, destination, index);
2591
2595
  };
2592
2596
  protoOf(SimpleSolutionIterator).onStateTransition = function (source, destination, index) {
2593
- return this.d34(source, destination, index);
2597
+ return this.i37(source, destination, index);
2594
2598
  };
2595
2599
  function DefaultBuiltins() {
2596
2600
  DefaultBuiltins_instance = this;
2597
2601
  ExtensionLibrary.call(this, CommonBuiltins_getInstance());
2598
2602
  }
2599
- protoOf(DefaultBuiltins).l2c = function () {
2603
+ protoOf(DefaultBuiltins).a2f = function () {
2600
2604
  return listOf(Throw_getInstance());
2601
2605
  };
2602
- protoOf(DefaultBuiltins).k2c = function () {
2606
+ protoOf(DefaultBuiltins).z2e = function () {
2603
2607
  return listOf_0([Catch_getInstance(), Call_getInstance(), Comma_getInstance(), Cut_getInstance(), Fail_getInstance(), Success_getInstance()]);
2604
2608
  };
2605
2609
  var DefaultBuiltins_instance;
@@ -2613,12 +2617,12 @@
2613
2617
  var tmp_0;
2614
2618
  var tmp_1;
2615
2619
  if (isInterface(error, Struct)) {
2616
- tmp_1 = error.ku() === 'error';
2620
+ tmp_1 = error.zu() === 'error';
2617
2621
  } else {
2618
2622
  tmp_1 = false;
2619
2623
  }
2620
2624
  if (tmp_1) {
2621
- var containsArg = error.eu();
2625
+ var containsArg = error.tu();
2622
2626
  tmp_0 = 1 <= containsArg ? containsArg <= 2 : false;
2623
2627
  } else {
2624
2628
  tmp_0 = false;
@@ -2626,9 +2630,9 @@
2626
2630
  if (tmp_0) {
2627
2631
  var tmp_2 = Companion_instance_14;
2628
2632
  var tmp_3 = error.get(0);
2629
- tmp = tmp_2.of(VOID, VOID, context, isInterface(tmp_3, Struct) ? tmp_3 : THROW_CCE(), error.eu() > 1 ? error.get(1) : null);
2633
+ tmp = tmp_2.of(VOID, VOID, context, isInterface(tmp_3, Struct) ? tmp_3 : THROW_CCE(), error.tu() > 1 ? error.get(1) : null);
2630
2634
  } else {
2631
- tmp = Companion_instance_13.o24(error, context);
2635
+ tmp = Companion_instance_13.d27(error, context);
2632
2636
  }
2633
2637
  return tmp;
2634
2638
  }
@@ -2636,11 +2640,11 @@
2636
2640
  Throw_instance = this;
2637
2641
  UnaryPredicate.call(this, 'throw');
2638
2642
  }
2639
- protoOf(Throw).q2m = function (_this__u8e3s4, first) {
2640
- return sequenceOf([Companion_getInstance_5().l2d(_this__u8e3s4).replyException(handleError(this, _this__u8e3s4.context, _this__u8e3s4.arguments.a1(0)), VOID, [])]);
2643
+ protoOf(Throw).j2p = function (_this__u8e3s4, first) {
2644
+ return sequenceOf([Companion_getInstance_5().b2g(_this__u8e3s4).replyException(handleError(this, _this__u8e3s4.context, _this__u8e3s4.arguments.d1(0)), VOID, [])]);
2641
2645
  };
2642
- protoOf(Throw).q2g = function (_this__u8e3s4, first) {
2643
- return this.q2m(_this__u8e3s4, first);
2646
+ protoOf(Throw).h2j = function (_this__u8e3s4, first) {
2647
+ return this.j2p(_this__u8e3s4, first);
2644
2648
  };
2645
2649
  var Throw_instance;
2646
2650
  function Throw_getInstance() {
@@ -2652,10 +2656,10 @@
2652
2656
  Call_instance = this;
2653
2657
  RuleWrapper_init_$Init$('call', 1, VOID, this);
2654
2658
  }
2655
- protoOf(Call).u2g = function (_this__u8e3s4) {
2659
+ protoOf(Call).n2j = function (_this__u8e3s4) {
2656
2660
  return listOf(_this__u8e3s4.varOf('G'));
2657
2661
  };
2658
- protoOf(Call).v2g = function (_this__u8e3s4) {
2662
+ protoOf(Call).o2j = function (_this__u8e3s4) {
2659
2663
  // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
2660
2664
  var tmp$ret$0 = EnsureExecutable_getInstance().signature.name;
2661
2665
  return _this__u8e3s4.tupleOf([_this__u8e3s4.structOf(tmp$ret$0, [_this__u8e3s4.varOf('G')]), _this__u8e3s4.varOf('G')]);
@@ -2670,10 +2674,10 @@
2670
2674
  Catch_instance = this;
2671
2675
  RuleWrapper_init_$Init$('catch', 3, VOID, this);
2672
2676
  }
2673
- protoOf(Catch).u2g = function (_this__u8e3s4) {
2677
+ protoOf(Catch).n2j = function (_this__u8e3s4) {
2674
2678
  return listOf_0([_this__u8e3s4.varOf('G'), _this__u8e3s4.varOf('E'), _this__u8e3s4.varOf('C')]);
2675
2679
  };
2676
- protoOf(Catch).v2g = function (_this__u8e3s4) {
2680
+ protoOf(Catch).o2j = function (_this__u8e3s4) {
2677
2681
  return _this__u8e3s4.varOf('G');
2678
2682
  };
2679
2683
  var Catch_instance;
@@ -2686,10 +2690,10 @@
2686
2690
  Comma_instance = this;
2687
2691
  RuleWrapper_init_$Init$(',', 2, VOID, this);
2688
2692
  }
2689
- protoOf(Comma).u2g = function (_this__u8e3s4) {
2693
+ protoOf(Comma).n2j = function (_this__u8e3s4) {
2690
2694
  return listOf_0([_this__u8e3s4.varOf('A'), _this__u8e3s4.varOf('B')]);
2691
2695
  };
2692
- protoOf(Comma).v2g = function (_this__u8e3s4) {
2696
+ protoOf(Comma).o2j = function (_this__u8e3s4) {
2693
2697
  return _this__u8e3s4.tupleOf([_this__u8e3s4.varOf('A'), _this__u8e3s4.varOf('B')]);
2694
2698
  };
2695
2699
  var Comma_instance;
@@ -2712,7 +2716,7 @@
2712
2716
  Fail_instance = this;
2713
2717
  NegationAsFailure.call(this);
2714
2718
  }
2715
- protoOf(Fail).v2g = function (_this__u8e3s4) {
2719
+ protoOf(Fail).o2j = function (_this__u8e3s4) {
2716
2720
  // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
2717
2721
  var tmp$ret$0 = EnsureExecutable_getInstance().signature.name;
2718
2722
  var tmp = _this__u8e3s4.structOf(tmp$ret$0, [_this__u8e3s4.varOf('X')]);
@@ -2730,7 +2734,7 @@
2730
2734
  Success_instance = this;
2731
2735
  NegationAsFailure.call(this);
2732
2736
  }
2733
- protoOf(Success).v2g = function (_this__u8e3s4) {
2737
+ protoOf(Success).o2j = function (_this__u8e3s4) {
2734
2738
  return _this__u8e3s4.truthOf(true);
2735
2739
  };
2736
2740
  var Success_instance;
@@ -2740,8 +2744,8 @@
2740
2744
  return Success_instance;
2741
2745
  }
2742
2746
  function Companion_1() {
2743
- this.d35_1 = '\\+';
2744
- this.e35_1 = 1;
2747
+ this.i38_1 = '\\+';
2748
+ this.j38_1 = 1;
2745
2749
  }
2746
2750
  var Companion_instance_17;
2747
2751
  function Companion_getInstance_8() {
@@ -2750,36 +2754,37 @@
2750
2754
  function NegationAsFailure() {
2751
2755
  RuleWrapper_init_$Init$('\\+', 1, VOID, this);
2752
2756
  }
2753
- protoOf(NegationAsFailure).u2g = function (_this__u8e3s4) {
2757
+ protoOf(NegationAsFailure).n2j = function (_this__u8e3s4) {
2754
2758
  return listOf(_this__u8e3s4.varOf('X'));
2755
2759
  };
2756
2760
  //region block: post-declaration
2757
2761
  protoOf(ClassicExecutionContext).createSolver = createSolver;
2762
+ protoOf(ClassicExecutionContext).createMutableSolver = createMutableSolver;
2758
2763
  protoOf(ClassicExecutionContext).update = update;
2759
- protoOf(ClassicExecutionContext).g1t = get_standardInput;
2760
- protoOf(ClassicExecutionContext).h1t = get_standardOutput;
2761
- protoOf(ClassicExecutionContext).i1t = get_standardError;
2762
- protoOf(ClassicExecutionContext).j1t = get_warnings;
2763
- protoOf(ClassicExecutionContext).o1s = get_endTime;
2764
- protoOf(ClassicExecutionContext).q1s = get_remainingTime;
2765
- protoOf(ClassicExecutionContext).r1s = get_elapsedTime;
2764
+ protoOf(ClassicExecutionContext).u1v = get_standardInput;
2765
+ protoOf(ClassicExecutionContext).v1v = get_standardOutput;
2766
+ protoOf(ClassicExecutionContext).w1v = get_standardError;
2767
+ protoOf(ClassicExecutionContext).x1v = get_warnings;
2768
+ protoOf(ClassicExecutionContext).b1v = get_endTime;
2769
+ protoOf(ClassicExecutionContext).d1v = get_remainingTime;
2770
+ protoOf(ClassicExecutionContext).e1v = get_elapsedTime;
2766
2771
  protoOf(ClassicSolverFactory).rawSolverOf = rawSolverOf;
2767
2772
  protoOf(ClassicSolverFactory).solverOf = solverOf;
2768
2773
  protoOf(ClassicSolverFactory).mutableSolverOf = mutableSolverOf;
2769
2774
  protoOf(ClassicSolverFactory).rawMutableSolverOf = rawMutableSolverOf;
2770
2775
  protoOf(ClassicSolverFactory).newBuilder = newBuilder;
2771
- protoOf(ClassicSolverFactory).v1v = get_defaultRuntime;
2772
- protoOf(ClassicSolverFactory).x1v = get_defaultUnificator;
2773
- protoOf(ClassicSolverFactory).y1v = get_defaultFlags;
2774
- protoOf(ClassicSolverFactory).b1w = get_defaultStaticKb;
2775
- protoOf(ClassicSolverFactory).c1w = get_defaultDynamicKb;
2776
- protoOf(ClassicSolverFactory).d1w = get_defaultInputChannel;
2777
- protoOf(ClassicSolverFactory).e1w = get_defaultOutputChannel;
2778
- protoOf(ClassicSolverFactory).f1w = get_defaultErrorChannel;
2779
- protoOf(ClassicSolverFactory).g1w = get_defaultWarningsChannel;
2780
- protoOf(ClassicSolverFactory).o1w = solverWithDefaultBuiltins;
2776
+ protoOf(ClassicSolverFactory).j1y = get_defaultRuntime;
2777
+ protoOf(ClassicSolverFactory).l1y = get_defaultUnificator;
2778
+ protoOf(ClassicSolverFactory).m1y = get_defaultFlags;
2779
+ protoOf(ClassicSolverFactory).p1y = get_defaultStaticKb;
2780
+ protoOf(ClassicSolverFactory).q1y = get_defaultDynamicKb;
2781
+ protoOf(ClassicSolverFactory).r1y = get_defaultInputChannel;
2782
+ protoOf(ClassicSolverFactory).s1y = get_defaultOutputChannel;
2783
+ protoOf(ClassicSolverFactory).t1y = get_defaultErrorChannel;
2784
+ protoOf(ClassicSolverFactory).u1y = get_defaultWarningsChannel;
2785
+ protoOf(ClassicSolverFactory).c1z = solverWithDefaultBuiltins;
2781
2786
  protoOf(ClassicSolverFactory).solverWithDefaultBuiltinsAnd = solverWithDefaultBuiltinsAnd;
2782
- protoOf(ClassicSolverFactory).q1w = mutableSolverWithDefaultBuiltins;
2787
+ protoOf(ClassicSolverFactory).e1z = mutableSolverWithDefaultBuiltins;
2783
2788
  protoOf(ClassicSolverFactory).mutableSolverWithDefaultBuiltinsAnd = mutableSolverWithDefaultBuiltinsAnd;
2784
2789
  protoOf(MutableClassicSolver).loadStaticClauses = loadStaticClauses;
2785
2790
  protoOf(MutableClassicSolver).loadStaticClausesIterable = loadStaticClausesIterable;
@@ -2787,13 +2792,13 @@
2787
2792
  protoOf(MutableClassicSolver).loadDynamicClauses = loadDynamicClauses;
2788
2793
  protoOf(MutableClassicSolver).loadDynamicClausesIterable = loadDynamicClausesIterable;
2789
2794
  protoOf(MutableClassicSolver).loadDynamicClausesSequence = loadDynamicClausesSequence;
2790
- protoOf(AbstractState).r31 = get_isEndState;
2795
+ protoOf(AbstractState).w34 = get_isEndState;
2791
2796
  protoOf(AbstractState).asEndState = asEndState;
2792
2797
  protoOf(AbstractState).castToEndState = castToEndState;
2793
2798
  protoOf(AbstractState).clone = clone;
2794
- protoOf(AbstractEndState).u2y = get_hasOpenAlternatives;
2795
- protoOf(AbstractEndState).r31 = get_isEndState_0;
2796
- protoOf(AbstractEndState).s31 = asEndState_0;
2799
+ protoOf(AbstractEndState).z31 = get_hasOpenAlternatives;
2800
+ protoOf(AbstractEndState).w34 = get_isEndState_0;
2801
+ protoOf(AbstractEndState).x34 = asEndState_0;
2797
2802
  //endregion
2798
2803
  //region block: init
2799
2804
  ClassicSolverFactory_instance = new ClassicSolverFactory();
@@ -2811,6 +2816,8 @@
2811
2816
  }
2812
2817
  $jsExportAll$(_);
2813
2818
  _.$jsExportAll$ = $jsExportAll$;
2819
+ _.$_$ = _.$_$ || {};
2820
+ _.$_$.a = ClassicSolverFactory_instance;
2814
2821
  //endregion
2815
2822
  return _;
2816
2823
  }));