@tuprolog/arg2p-core 0.9.0 → 0.10.1

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