@tuprolog/2p-full 0.31.21 → 0.32.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 (43) hide show
  1. package/2p-bdd.js +198 -215
  2. package/2p-bdd.js.map +1 -1
  3. package/2p-core.js +3282 -5092
  4. package/2p-core.js.map +1 -1
  5. package/2p-full.js +6 -6
  6. package/2p-io-lib.js +874 -1121
  7. package/2p-io-lib.js.map +1 -1
  8. package/2p-oop-lib.js +1140 -1327
  9. package/2p-oop-lib.js.map +1 -1
  10. package/2p-parser-core.js +438 -609
  11. package/2p-parser-core.js.map +1 -1
  12. package/2p-parser-js.js +7 -8
  13. package/2p-parser-js.js.map +1 -1
  14. package/2p-parser-theory.js +35 -39
  15. package/2p-parser-theory.js.map +1 -1
  16. package/2p-repl.js +152 -179
  17. package/2p-repl.js.map +1 -1
  18. package/2p-solve-classic.js +1141 -1371
  19. package/2p-solve-classic.js.map +1 -1
  20. package/2p-solve-plp.js +9 -14
  21. package/2p-solve-plp.js.map +1 -1
  22. package/2p-solve-problog.js +1689 -1981
  23. package/2p-solve-problog.js.map +1 -1
  24. package/2p-solve-streams.js +1206 -1372
  25. package/2p-solve-streams.js.map +1 -1
  26. package/2p-solve.js +4879 -6147
  27. package/2p-solve.js.map +1 -1
  28. package/2p-theory.js +1820 -2246
  29. package/2p-theory.js.map +1 -1
  30. package/2p-unify.js +290 -330
  31. package/2p-unify.js.map +1 -1
  32. package/2p-utils.js +483 -557
  33. package/2p-utils.js.map +1 -1
  34. package/clikt-clikt-js-ir.js +2243 -3266
  35. package/clikt-clikt-js-ir.js.map +1 -1
  36. package/{kotlin-kotlin-stdlib-js-ir.js → kotlin-kotlin-stdlib.js} +9601 -10371
  37. package/kotlin-kotlin-stdlib.js.map +1 -0
  38. package/kotlin_org_jetbrains_kotlin_kotlin_dom_api_compat.js +15 -0
  39. package/kotlin_org_jetbrains_kotlin_kotlin_dom_api_compat.js.map +1 -0
  40. package/kt-math.js +2926 -4247
  41. package/kt-math.js.map +1 -1
  42. package/package.json +9 -3
  43. package/kotlin-kotlin-stdlib-js-ir.js.map +0 -1
package/2p-solve-classic.js CHANGED
@@ -1,14 +1,14 @@
1
1
  (function (root, factory) {
2
2
  if (typeof define === 'function' && define.amd)
3
- define(['exports', './2p-unify.js', './kotlin-kotlin-stdlib-js-ir.js', './2p-solve.js', './2p-theory.js', './2p-utils.js', './2p-core.js'], factory);
3
+ define(['exports', './2p-unify.js', './kotlin-kotlin-stdlib.js', './2p-solve.js', './2p-theory.js', './2p-utils.js', './2p-core.js'], factory);
4
4
  else if (typeof exports === 'object')
5
- factory(module.exports, require('./2p-unify.js'), require('./kotlin-kotlin-stdlib-js-ir.js'), require('./2p-solve.js'), require('./2p-theory.js'), require('./2p-utils.js'), require('./2p-core.js'));
5
+ factory(module.exports, require('./2p-unify.js'), require('./kotlin-kotlin-stdlib.js'), require('./2p-solve.js'), require('./2p-theory.js'), require('./2p-utils.js'), require('./2p-core.js'));
6
6
  else {
7
7
  if (typeof this['2p-unify'] === 'undefined') {
8
8
  throw new Error("Error loading module '2p-solve-classic'. Its dependency '2p-unify' was not found. Please, check whether '2p-unify' is loaded prior to '2p-solve-classic'.");
9
9
  }
10
- if (typeof this['kotlin-kotlin-stdlib-js-ir'] === 'undefined') {
11
- throw new Error("Error loading module '2p-solve-classic'. Its dependency 'kotlin-kotlin-stdlib-js-ir' was not found. Please, check whether 'kotlin-kotlin-stdlib-js-ir' is loaded prior to '2p-solve-classic'.");
10
+ if (typeof this['kotlin-kotlin-stdlib'] === 'undefined') {
11
+ throw new Error("Error loading module '2p-solve-classic'. Its dependency 'kotlin-kotlin-stdlib' was not found. Please, check whether 'kotlin-kotlin-stdlib' is loaded prior to '2p-solve-classic'.");
12
12
  }
13
13
  if (typeof this['2p-solve'] === 'undefined') {
14
14
  throw new Error("Error loading module '2p-solve-classic'. Its dependency '2p-solve' was not found. Please, check whether '2p-solve' is loaded prior to '2p-solve-classic'.");
@@ -22,172 +22,158 @@
22
22
  if (typeof this['2p-core'] === 'undefined') {
23
23
  throw new Error("Error loading module '2p-solve-classic'. Its dependency '2p-core' was not found. Please, check whether '2p-core' is loaded prior to '2p-solve-classic'.");
24
24
  }
25
- root['2p-solve-classic'] = factory(typeof this['2p-solve-classic'] === 'undefined' ? {} : this['2p-solve-classic'], this['2p-unify'], this['kotlin-kotlin-stdlib-js-ir'], this['2p-solve'], this['2p-theory'], this['2p-utils'], this['2p-core']);
25
+ root['2p-solve-classic'] = factory(typeof this['2p-solve-classic'] === 'undefined' ? {} : this['2p-solve-classic'], this['2p-unify'], this['kotlin-kotlin-stdlib'], this['2p-solve'], this['2p-theory'], this['2p-utils'], this['2p-core']);
26
26
  }
27
27
  }(this, function (_, kotlin_it_unibo_tuprolog_unify, kotlin_kotlin, kotlin_it_unibo_tuprolog_solve, kotlin_it_unibo_tuprolog_theory, kotlin_it_unibo_tuprolog_utils, kotlin_it_unibo_tuprolog_core) {
28
28
  'use strict';
29
29
  //region block: imports
30
30
  var imul = Math.imul;
31
31
  var Companion_getInstance = kotlin_it_unibo_tuprolog_unify.$_$.a;
32
- var VOID = kotlin_kotlin.$_$.gc;
33
- var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_solve.$_$.d2;
34
- var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_solve.$_$.y1;
35
- var Companion_getInstance_2 = kotlin_it_unibo_tuprolog_theory.$_$.b;
36
- var Companion_getInstance_3 = kotlin_it_unibo_tuprolog_theory.$_$.a;
37
- var Companion_getInstance_4 = kotlin_it_unibo_tuprolog_solve.$_$.j1;
38
- var Companion_getInstance_5 = kotlin_it_unibo_tuprolog_solve.$_$.l1;
39
- var Companion_getInstance_6 = kotlin_it_unibo_tuprolog_solve.$_$.k1;
40
- var Companion_getInstance_7 = kotlin_it_unibo_tuprolog_solve.$_$.m1;
41
- var Unit_getInstance = kotlin_kotlin.$_$.v1;
42
- var toString = kotlin_kotlin.$_$.x6;
43
- var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.t;
32
+ var VOID = kotlin_kotlin.$_$.d;
33
+ var Companion_instance = kotlin_it_unibo_tuprolog_solve.$_$.d2;
34
+ var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_solve.$_$.y1;
35
+ var Companion_instance_0 = kotlin_it_unibo_tuprolog_theory.$_$.b;
36
+ var Companion_instance_1 = kotlin_it_unibo_tuprolog_theory.$_$.a;
37
+ var Companion_instance_2 = kotlin_it_unibo_tuprolog_solve.$_$.j1;
38
+ var Companion_instance_3 = kotlin_it_unibo_tuprolog_solve.$_$.l1;
39
+ var Companion_instance_4 = kotlin_it_unibo_tuprolog_solve.$_$.k1;
40
+ var Companion_instance_5 = kotlin_it_unibo_tuprolog_solve.$_$.m1;
41
+ var toString = kotlin_kotlin.$_$.z6;
42
+ var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.v;
43
+ var Unit_instance = kotlin_kotlin.$_$.y1;
44
44
  var AbstractSolver = kotlin_it_unibo_tuprolog_solve.$_$.v2;
45
- var protoOf = kotlin_kotlin.$_$.s6;
46
- var THROW_CCE = kotlin_kotlin.$_$.tb;
47
- var throwUninitializedPropertyAccessException = kotlin_kotlin.$_$.cc;
48
- var getAllOperators = kotlin_it_unibo_tuprolog_solve.$_$.t5;
49
- var toOperatorSet = kotlin_it_unibo_tuprolog_solve.$_$.v5;
50
- var Long = kotlin_kotlin.$_$.nb;
51
- var currentTimeInstant = kotlin_it_unibo_tuprolog_solve.$_$.r5;
52
- var asSequence = kotlin_kotlin.$_$.t7;
53
- var copy = kotlin_it_unibo_tuprolog_solve.$_$.u;
54
- var solveWithTimeout = kotlin_it_unibo_tuprolog_solve.$_$.b5;
55
- var solve = kotlin_it_unibo_tuprolog_solve.$_$.c5;
56
- var solveListWithTimeout = kotlin_it_unibo_tuprolog_solve.$_$.w4;
57
- var solveList = kotlin_it_unibo_tuprolog_solve.$_$.v4;
58
- var solveListWithOptions = kotlin_it_unibo_tuprolog_solve.$_$.x4;
59
- var solveOnceWithTimeout = kotlin_it_unibo_tuprolog_solve.$_$.y4;
60
- var solveOnce = kotlin_it_unibo_tuprolog_solve.$_$.a5;
61
- var solveOnceWithOptions = kotlin_it_unibo_tuprolog_solve.$_$.z4;
62
- var get_standardInput = kotlin_it_unibo_tuprolog_solve.$_$.f4;
63
- var get_standardOutput = kotlin_it_unibo_tuprolog_solve.$_$.g4;
64
- var get_standardError = kotlin_it_unibo_tuprolog_solve.$_$.e4;
65
- var get_warnings = kotlin_it_unibo_tuprolog_solve.$_$.h4;
66
- var classMeta = kotlin_kotlin.$_$.t5;
67
- var setMetadataFor = kotlin_kotlin.$_$.t6;
68
- var ensureNotNull = kotlin_kotlin.$_$.wb;
69
- var hashCode = kotlin_kotlin.$_$.b6;
70
- var equals = kotlin_kotlin.$_$.w5;
71
- var CoroutineImpl = kotlin_kotlin.$_$.j5;
72
- var SequenceScope = kotlin_kotlin.$_$.p7;
73
- var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.i5;
74
- var sequence = kotlin_kotlin.$_$.v8;
75
- var asSequence_0 = kotlin_kotlin.$_$.k2;
76
- var emptySequence = kotlin_kotlin.$_$.y7;
77
- var plus = kotlin_kotlin.$_$.s8;
78
- var flatMap = kotlin_kotlin.$_$.f8;
79
- var distinct = kotlin_kotlin.$_$.w7;
45
+ var protoOf = kotlin_kotlin.$_$.u6;
46
+ var THROW_CCE = kotlin_kotlin.$_$.vb;
47
+ var throwUninitializedPropertyAccessException = kotlin_kotlin.$_$.ec;
48
+ var getAllOperators = kotlin_it_unibo_tuprolog_solve.$_$.n5;
49
+ var toOperatorSet = kotlin_it_unibo_tuprolog_solve.$_$.p5;
50
+ var Long = kotlin_kotlin.$_$.pb;
51
+ var currentTimeInstant = kotlin_it_unibo_tuprolog_solve.$_$.l5;
52
+ var asSequence = kotlin_kotlin.$_$.v7;
53
+ var classMeta = kotlin_kotlin.$_$.v5;
54
+ var setMetadataFor = kotlin_kotlin.$_$.v6;
55
+ var ensureNotNull = kotlin_kotlin.$_$.yb;
56
+ var toLong = kotlin_kotlin.$_$.x6;
57
+ var hashCode = kotlin_kotlin.$_$.e6;
58
+ var equals = kotlin_kotlin.$_$.y5;
59
+ var CoroutineImpl = kotlin_kotlin.$_$.l5;
60
+ var SequenceScope = kotlin_kotlin.$_$.r7;
61
+ var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.k5;
62
+ var sequence = kotlin_kotlin.$_$.x8;
63
+ var asSequence_0 = kotlin_kotlin.$_$.n2;
64
+ var emptySequence = kotlin_kotlin.$_$.a8;
65
+ var plus = kotlin_kotlin.$_$.u8;
66
+ var flatMap = kotlin_kotlin.$_$.h8;
67
+ var distinct = kotlin_kotlin.$_$.y7;
80
68
  var cached = kotlin_it_unibo_tuprolog_utils.$_$.r;
81
- var Companion_getInstance_8 = kotlin_it_unibo_tuprolog_core.$_$.d1;
82
- var filter = kotlin_kotlin.$_$.c8;
83
- var map = kotlin_kotlin.$_$.o8;
84
- var toList = kotlin_kotlin.$_$.b9;
85
- var Companion_getInstance_9 = kotlin_it_unibo_tuprolog_solve.$_$.n1;
86
- var Companion_getInstance_10 = kotlin_it_unibo_tuprolog_core.$_$.e1;
87
- var Companion_getInstance_11 = kotlin_it_unibo_tuprolog_core.$_$.g1;
88
- var Companion_getInstance_12 = kotlin_it_unibo_tuprolog_utils.$_$.c;
89
- var Companion_getInstance_13 = kotlin_kotlin.$_$.u1;
90
- var emptySet = kotlin_kotlin.$_$.y2;
91
- var lazy = kotlin_kotlin.$_$.yb;
92
- var contains = kotlin_kotlin.$_$.u7;
69
+ var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_core.$_$.d1;
70
+ var filter = kotlin_kotlin.$_$.e8;
71
+ var map = kotlin_kotlin.$_$.q8;
72
+ var toList = kotlin_kotlin.$_$.d9;
73
+ var Companion_instance_6 = kotlin_it_unibo_tuprolog_solve.$_$.n1;
74
+ var Companion_getInstance_2 = kotlin_it_unibo_tuprolog_core.$_$.e1;
75
+ var Companion_getInstance_3 = kotlin_it_unibo_tuprolog_core.$_$.g1;
76
+ var Companion_instance_7 = kotlin_it_unibo_tuprolog_utils.$_$.c;
77
+ var Companion_getInstance_4 = kotlin_kotlin.$_$.x1;
78
+ var emptySet = kotlin_kotlin.$_$.b3;
79
+ var lazy = kotlin_kotlin.$_$.ac;
80
+ var contains = kotlin_kotlin.$_$.w7;
93
81
  var createSolver = kotlin_it_unibo_tuprolog_solve.$_$.s;
94
82
  var createMutableSolver = kotlin_it_unibo_tuprolog_solve.$_$.r;
95
83
  var update = kotlin_it_unibo_tuprolog_solve.$_$.t;
96
- var apply = kotlin_it_unibo_tuprolog_solve.$_$.c4;
97
- var applyIterable = kotlin_it_unibo_tuprolog_solve.$_$.b4;
98
- var applySequence = kotlin_it_unibo_tuprolog_solve.$_$.d4;
99
- var get_endTime = kotlin_it_unibo_tuprolog_solve.$_$.z3;
100
- var get_remainingTime = kotlin_it_unibo_tuprolog_solve.$_$.a4;
101
- var get_elapsedTime = kotlin_it_unibo_tuprolog_solve.$_$.y3;
102
- var ExecutionContext = kotlin_it_unibo_tuprolog_solve.$_$.i4;
103
- var KProperty1 = kotlin_kotlin.$_$.o7;
104
- var getPropertyCallableRef = kotlin_kotlin.$_$.z5;
105
- var objectCreate = kotlin_kotlin.$_$.q6;
84
+ var apply = kotlin_it_unibo_tuprolog_solve.$_$.w3;
85
+ var applyIterable = kotlin_it_unibo_tuprolog_solve.$_$.v3;
86
+ var applySequence = kotlin_it_unibo_tuprolog_solve.$_$.x3;
87
+ var get_standardInput = kotlin_it_unibo_tuprolog_solve.$_$.z3;
88
+ var get_standardOutput = kotlin_it_unibo_tuprolog_solve.$_$.a4;
89
+ var get_standardError = kotlin_it_unibo_tuprolog_solve.$_$.y3;
90
+ var get_warnings = kotlin_it_unibo_tuprolog_solve.$_$.b4;
91
+ var get_endTime = kotlin_it_unibo_tuprolog_solve.$_$.t3;
92
+ var get_remainingTime = kotlin_it_unibo_tuprolog_solve.$_$.u3;
93
+ var get_elapsedTime = kotlin_it_unibo_tuprolog_solve.$_$.s3;
94
+ var ExecutionContext = kotlin_it_unibo_tuprolog_solve.$_$.c4;
95
+ var KProperty1 = kotlin_kotlin.$_$.q7;
96
+ var getPropertyCallableRef = kotlin_kotlin.$_$.c6;
97
+ var objectCreate = kotlin_kotlin.$_$.s6;
106
98
  var rawSolverOf = kotlin_it_unibo_tuprolog_solve.$_$.z;
107
99
  var solverOf = kotlin_it_unibo_tuprolog_solve.$_$.y;
108
100
  var mutableSolverOf = kotlin_it_unibo_tuprolog_solve.$_$.v;
109
101
  var rawMutableSolverOf = kotlin_it_unibo_tuprolog_solve.$_$.w;
110
- var newBuilder = kotlin_it_unibo_tuprolog_solve.$_$.n5;
111
- var get_defaultRuntime = kotlin_it_unibo_tuprolog_solve.$_$.i5;
112
- var get_defaultUnificator = kotlin_it_unibo_tuprolog_solve.$_$.k5;
113
- var get_defaultFlags = kotlin_it_unibo_tuprolog_solve.$_$.f5;
114
- var get_defaultStaticKb = kotlin_it_unibo_tuprolog_solve.$_$.j5;
115
- var get_defaultDynamicKb = kotlin_it_unibo_tuprolog_solve.$_$.d5;
116
- var get_defaultInputChannel = kotlin_it_unibo_tuprolog_solve.$_$.g5;
117
- var get_defaultOutputChannel = kotlin_it_unibo_tuprolog_solve.$_$.h5;
118
- var get_defaultErrorChannel = kotlin_it_unibo_tuprolog_solve.$_$.e5;
119
- var get_defaultWarningsChannel = kotlin_it_unibo_tuprolog_solve.$_$.l5;
120
- var solverWithDefaultBuiltins = kotlin_it_unibo_tuprolog_solve.$_$.o5;
102
+ var newBuilder = kotlin_it_unibo_tuprolog_solve.$_$.h5;
103
+ var get_defaultRuntime = kotlin_it_unibo_tuprolog_solve.$_$.c5;
104
+ var get_defaultUnificator = kotlin_it_unibo_tuprolog_solve.$_$.e5;
105
+ var get_defaultFlags = kotlin_it_unibo_tuprolog_solve.$_$.z4;
106
+ var get_defaultStaticKb = kotlin_it_unibo_tuprolog_solve.$_$.d5;
107
+ var get_defaultDynamicKb = kotlin_it_unibo_tuprolog_solve.$_$.x4;
108
+ var get_defaultInputChannel = kotlin_it_unibo_tuprolog_solve.$_$.a5;
109
+ var get_defaultOutputChannel = kotlin_it_unibo_tuprolog_solve.$_$.b5;
110
+ var get_defaultErrorChannel = kotlin_it_unibo_tuprolog_solve.$_$.y4;
111
+ var get_defaultWarningsChannel = kotlin_it_unibo_tuprolog_solve.$_$.f5;
112
+ var solverWithDefaultBuiltins = kotlin_it_unibo_tuprolog_solve.$_$.i5;
121
113
  var solverWithDefaultBuiltinsAnd = kotlin_it_unibo_tuprolog_solve.$_$.a1;
122
- var mutableSolverWithDefaultBuiltins = kotlin_it_unibo_tuprolog_solve.$_$.m5;
114
+ var mutableSolverWithDefaultBuiltins = kotlin_it_unibo_tuprolog_solve.$_$.g5;
123
115
  var mutableSolverWithDefaultBuiltinsAnd = kotlin_it_unibo_tuprolog_solve.$_$.x;
124
- var SolverFactory = kotlin_it_unibo_tuprolog_solve.$_$.p5;
125
- var objectMeta = kotlin_kotlin.$_$.r6;
126
- var defineProp = kotlin_kotlin.$_$.v5;
127
- var listOf = kotlin_kotlin.$_$.o3;
128
- var getAllOperators_0 = kotlin_it_unibo_tuprolog_solve.$_$.u5;
129
- var to = kotlin_kotlin.$_$.fc;
130
- var loadStaticClauses = kotlin_it_unibo_tuprolog_solve.$_$.m4;
131
- var loadStaticClausesIterable = kotlin_it_unibo_tuprolog_solve.$_$.n4;
132
- var loadStaticClausesSequence = kotlin_it_unibo_tuprolog_solve.$_$.o4;
133
- var loadDynamicClauses = kotlin_it_unibo_tuprolog_solve.$_$.l4;
134
- var loadDynamicClausesIterable = kotlin_it_unibo_tuprolog_solve.$_$.j4;
135
- var loadDynamicClausesSequence = kotlin_it_unibo_tuprolog_solve.$_$.k4;
136
- var MutableSolver = kotlin_it_unibo_tuprolog_solve.$_$.p4;
137
- var NoSuchElementException_init_$Create$ = kotlin_kotlin.$_$.z;
116
+ var SolverFactory = kotlin_it_unibo_tuprolog_solve.$_$.j5;
117
+ var objectMeta = kotlin_kotlin.$_$.t6;
118
+ var defineProp = kotlin_kotlin.$_$.x5;
119
+ var listOf = kotlin_kotlin.$_$.r3;
120
+ var getAllOperators_0 = kotlin_it_unibo_tuprolog_solve.$_$.o5;
121
+ var to = kotlin_kotlin.$_$.hc;
122
+ var loadStaticClauses = kotlin_it_unibo_tuprolog_solve.$_$.g4;
123
+ var loadStaticClausesIterable = kotlin_it_unibo_tuprolog_solve.$_$.h4;
124
+ var loadStaticClausesSequence = kotlin_it_unibo_tuprolog_solve.$_$.i4;
125
+ var loadDynamicClauses = kotlin_it_unibo_tuprolog_solve.$_$.f4;
126
+ var loadDynamicClausesIterable = kotlin_it_unibo_tuprolog_solve.$_$.d4;
127
+ var loadDynamicClausesSequence = kotlin_it_unibo_tuprolog_solve.$_$.e4;
128
+ var MutableSolver = kotlin_it_unibo_tuprolog_solve.$_$.j4;
129
+ var NoSuchElementException_init_$Create$ = kotlin_kotlin.$_$.b1;
138
130
  var TimeOutException_init_$Create$ = kotlin_it_unibo_tuprolog_solve.$_$.e1;
139
- var NoSuchElementException_init_$Create$_0 = kotlin_kotlin.$_$.a1;
140
- var interfaceMeta = kotlin_kotlin.$_$.c6;
131
+ var NoSuchElementException_init_$Create$_0 = kotlin_kotlin.$_$.c1;
132
+ var interfaceMeta = kotlin_kotlin.$_$.f6;
141
133
  var getKClass = kotlin_kotlin.$_$.c;
142
- var ClassCastException_init_$Create$ = kotlin_kotlin.$_$.r;
143
- var Companion_getInstance_14 = kotlin_it_unibo_tuprolog_solve.$_$.k2;
134
+ var ClassCastException_init_$Create$ = kotlin_kotlin.$_$.t;
135
+ var Companion_instance_8 = kotlin_it_unibo_tuprolog_solve.$_$.k2;
144
136
  var MessageError = kotlin_it_unibo_tuprolog_solve.$_$.q2;
145
- var Companion_getInstance_15 = kotlin_it_unibo_tuprolog_solve.$_$.v1;
137
+ var Companion_instance_9 = kotlin_it_unibo_tuprolog_solve.$_$.v1;
146
138
  var plus_0 = kotlin_it_unibo_tuprolog_utils.$_$.h1;
147
139
  var LogicError = kotlin_it_unibo_tuprolog_solve.$_$.s2;
148
- var toSet = kotlin_kotlin.$_$.d9;
149
- var plus_1 = kotlin_kotlin.$_$.f4;
140
+ var toSet = kotlin_kotlin.$_$.f9;
141
+ var plus_1 = kotlin_kotlin.$_$.i4;
150
142
  var TrackVariables_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.a2;
151
- var drop = kotlin_kotlin.$_$.x7;
152
- var first = kotlin_kotlin.$_$.e8;
143
+ var drop = kotlin_kotlin.$_$.z7;
144
+ var first = kotlin_kotlin.$_$.g8;
153
145
  var Unifier = kotlin_it_unibo_tuprolog_core.$_$.a2;
154
- var isInterface = kotlin_kotlin.$_$.g6;
155
- var IllegalStateException_init_$Create$ = kotlin_kotlin.$_$.w;
146
+ var isInterface = kotlin_kotlin.$_$.j6;
147
+ var IllegalStateException_init_$Create$ = kotlin_kotlin.$_$.y;
156
148
  var ResolutionException = kotlin_it_unibo_tuprolog_solve.$_$.t2;
157
- var Companion_getInstance_16 = kotlin_it_unibo_tuprolog_solve.$_$.w1;
158
- var extractSignature = kotlin_it_unibo_tuprolog_solve.$_$.s5;
159
- var Signature = kotlin_it_unibo_tuprolog_solve.$_$.q4;
149
+ var Companion_instance_10 = kotlin_it_unibo_tuprolog_solve.$_$.w1;
150
+ var extractSignature = kotlin_it_unibo_tuprolog_solve.$_$.m5;
151
+ var Signature = kotlin_it_unibo_tuprolog_solve.$_$.k4;
160
152
  var Expected_CALLABLE_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.k;
161
153
  var cursor = kotlin_it_unibo_tuprolog_utils.$_$.t;
162
- var Companion_getInstance_17 = kotlin_it_unibo_tuprolog_solve.$_$.r1;
154
+ var Companion_instance_11 = kotlin_it_unibo_tuprolog_solve.$_$.r1;
163
155
  var prepareForExecutionWithUnifier = kotlin_it_unibo_tuprolog_core.$_$.d3;
164
- var setOf = kotlin_kotlin.$_$.l4;
156
+ var setOf = kotlin_kotlin.$_$.o4;
165
157
  var Unknown_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.b2;
166
158
  var MissingPredicate_init_$Create$ = kotlin_it_unibo_tuprolog_solve.$_$.c1;
167
- var Companion_getInstance_18 = kotlin_it_unibo_tuprolog_solve.$_$.q1;
168
- var contains_0 = kotlin_kotlin.$_$.o2;
169
- var firstOrNull = kotlin_kotlin.$_$.d8;
170
- var any = kotlin_kotlin.$_$.r7;
159
+ var Companion_instance_12 = kotlin_it_unibo_tuprolog_solve.$_$.q1;
160
+ var contains_0 = kotlin_kotlin.$_$.r2;
161
+ var firstOrNull = kotlin_kotlin.$_$.f8;
162
+ var any = kotlin_kotlin.$_$.t7;
171
163
  var LastCallOptimization_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.z1;
172
164
  var buffered = kotlin_it_unibo_tuprolog_utils.$_$.q;
173
- var sequenceOf = kotlin_kotlin.$_$.u8;
174
- var MagicCut = kotlin_it_unibo_tuprolog_solve.$_$.x3;
175
- var Request = kotlin_it_unibo_tuprolog_solve.$_$.m3;
165
+ var sequenceOf = kotlin_kotlin.$_$.w8;
166
+ var MagicCut = kotlin_it_unibo_tuprolog_solve.$_$.r3;
167
+ var Request = kotlin_it_unibo_tuprolog_solve.$_$.g3;
176
168
  var ExtensionLibrary = kotlin_it_unibo_tuprolog_solve.$_$.x2;
177
169
  var CommonBuiltins_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.j2;
178
- var listOf_0 = kotlin_kotlin.$_$.p3;
179
- var containsSignature = kotlin_it_unibo_tuprolog_solve.$_$.z2;
180
- var containsOperator = kotlin_it_unibo_tuprolog_solve.$_$.y2;
181
- var hasPrimitive = kotlin_it_unibo_tuprolog_solve.$_$.b3;
182
- var hasFunction = kotlin_it_unibo_tuprolog_solve.$_$.a3;
183
- var get_ruleSignatures = kotlin_it_unibo_tuprolog_solve.$_$.d3;
184
- var hasProtected = kotlin_it_unibo_tuprolog_solve.$_$.c3;
170
+ var listOf_0 = kotlin_kotlin.$_$.s3;
185
171
  var Struct = kotlin_it_unibo_tuprolog_core.$_$.z1;
186
- var Companion_getInstance_19 = kotlin_it_unibo_tuprolog_solve.$_$.s1;
187
- var Companion_getInstance_20 = kotlin_it_unibo_tuprolog_solve.$_$.x1;
188
- var UnaryPredicate = kotlin_it_unibo_tuprolog_solve.$_$.v3;
189
- var Companion_getInstance_21 = kotlin_it_unibo_tuprolog_solve.$_$.e2;
190
- var RuleWrapper = kotlin_it_unibo_tuprolog_solve.$_$.w3;
172
+ var Companion_instance_13 = kotlin_it_unibo_tuprolog_solve.$_$.s1;
173
+ var Companion_instance_14 = kotlin_it_unibo_tuprolog_solve.$_$.x1;
174
+ var UnaryPredicate = kotlin_it_unibo_tuprolog_solve.$_$.p3;
175
+ var Companion_getInstance_5 = kotlin_it_unibo_tuprolog_solve.$_$.e2;
176
+ var RuleWrapper = kotlin_it_unibo_tuprolog_solve.$_$.q3;
191
177
  var RuleWrapper_init_$Init$ = kotlin_it_unibo_tuprolog_solve.$_$.g1;
192
178
  var EnsureExecutable_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.g2;
193
179
  var MagicCut_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.f2;
@@ -197,8 +183,8 @@
197
183
  setMetadataFor(ChoicePointContext, 'ChoicePointContext', classMeta);
198
184
  setMetadataFor(Primitives, 'Primitives', classMeta, ChoicePointContext);
199
185
  setMetadataFor(Rules, 'Rules', classMeta, ChoicePointContext);
200
- setMetadataFor(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn, 'ChoicePointContext$<get-pathToRoot>$slambda', classMeta, CoroutineImpl, VOID, VOID, VOID, [1]);
201
- setMetadataFor(ClassicExecutionContext$pathToRoot$slambda, 'ClassicExecutionContext$pathToRoot$slambda', classMeta, CoroutineImpl, VOID, VOID, VOID, [1]);
186
+ setMetadataFor(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn, 'ChoicePointContext$<get-pathToRoot>$slambda', classMeta, CoroutineImpl, VOID, VOID, VOID, VOID, [1]);
187
+ setMetadataFor(ClassicExecutionContext$pathToRoot$slambda, 'ClassicExecutionContext$pathToRoot$slambda', classMeta, CoroutineImpl, VOID, VOID, VOID, VOID, [1]);
202
188
  setMetadataFor(ClassicExecutionContext, 'ClassicExecutionContext', classMeta, VOID, [ExecutionContext]);
203
189
  setMetadataFor(ClassicSolver, 'ClassicSolver', classMeta, AbstractClassicSolver);
204
190
  setMetadataFor(ClassicSolverFactory, 'ClassicSolverFactory', objectMeta, VOID, [SolverFactory]);
@@ -214,19 +200,19 @@
214
200
  var tmp0_elvis_lhs = this.asEndState();
215
201
  var tmp;
216
202
  if (tmp0_elvis_lhs == null) {
217
- throw ClassCastException_init_$Create$('Cannot cast ' + this + ' to ' + getKClass(EndState).md());
203
+ throw ClassCastException_init_$Create$('Cannot cast ' + this + ' to ' + getKClass(EndState).s6());
218
204
  } else {
219
205
  tmp = tmp0_elvis_lhs;
220
206
  }
221
207
  return tmp;
222
208
  }
223
209
  function clone(context, $super) {
224
- context = context === VOID ? this.n5() : context;
225
- return $super === VOID ? this.d36(context) : $super.d36.call(this, context);
210
+ context = context === VOID ? this.uc() : context;
211
+ return $super === VOID ? this.g37(context) : $super.g37.call(this, context);
226
212
  }
227
213
  setMetadataFor(State, 'State', interfaceMeta);
228
214
  function get_hasOpenAlternatives() {
229
- return this.e2h().c1v() ? this.n5().c33() : false;
215
+ return this.g2i().y1v() ? this.uc().f34() : false;
230
216
  }
231
217
  function get_isEndState_0() {
232
218
  return true;
@@ -234,6 +220,9 @@
234
220
  function asEndState_0() {
235
221
  return this;
236
222
  }
223
+ function asEndState_1() {
224
+ return this.d37();
225
+ }
237
226
  setMetadataFor(EndState, 'EndState', interfaceMeta, VOID, [State]);
238
227
  setMetadataFor(AbstractState, 'AbstractState', classMeta, VOID, [State]);
239
228
  setMetadataFor(AbstractEndState, 'AbstractEndState', classMeta, AbstractState, [EndState, AbstractState]);
@@ -265,147 +254,141 @@
265
254
  setMetadataFor(Companion_1, 'Companion', objectMeta);
266
255
  //endregion
267
256
  function AbstractClassicSolver_init_$Init$(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb, $this) {
268
- unificator = unificator === VOID ? Companion_getInstance().h1k() : unificator;
269
- libraries = libraries === VOID ? Companion_getInstance_0().empty() : libraries;
270
- flags = flags === VOID ? Companion_getInstance_1().empty() : flags;
271
- staticKb = staticKb === VOID ? Companion_getInstance_2().empty(unificator) : staticKb;
272
- dynamicKb = dynamicKb === VOID ? Companion_getInstance_3().empty(unificator) : dynamicKb;
273
- stdIn = stdIn === VOID ? Companion_getInstance_4().stdIn() : stdIn;
274
- stdOut = stdOut === VOID ? Companion_getInstance_5().stdOut() : stdOut;
275
- stdErr = stdErr === VOID ? Companion_getInstance_5().stdErr() : stdErr;
276
- warnings = warnings === VOID ? Companion_getInstance_5().warning() : warnings;
257
+ unificator = unificator === VOID ? Companion_getInstance().g1l() : unificator;
258
+ libraries = libraries === VOID ? Companion_instance.empty() : libraries;
259
+ flags = flags === VOID ? Companion_getInstance_0().empty() : flags;
260
+ staticKb = staticKb === VOID ? Companion_instance_0.empty(unificator) : staticKb;
261
+ dynamicKb = dynamicKb === VOID ? Companion_instance_1.empty(unificator) : dynamicKb;
262
+ stdIn = stdIn === VOID ? Companion_instance_2.stdIn() : stdIn;
263
+ stdOut = stdOut === VOID ? Companion_instance_3.stdOut() : stdOut;
264
+ stdErr = stdErr === VOID ? Companion_instance_3.stdErr() : stdErr;
265
+ warnings = warnings === VOID ? Companion_instance_3.warning() : warnings;
277
266
  trustKb = trustKb === VOID ? false : trustKb;
278
- AbstractClassicSolver.call($this, unificator, libraries, flags, staticKb, dynamicKb, Companion_getInstance_6().h1x(stdIn), Companion_getInstance_7().k1x(stdOut, stdErr, warnings), trustKb);
267
+ AbstractClassicSolver.call($this, unificator, libraries, flags, staticKb, dynamicKb, Companion_instance_4.i1y(stdIn), Companion_instance_5.l1y(stdOut, stdErr, warnings), trustKb);
279
268
  return $this;
280
269
  }
281
270
  function updateCurrentContextAfterStateTransition($this, source, destination, index) {
282
271
  // Inline function 'kotlin.require' call
283
- var tmp0_require = destination.n5().y31_1.equals(index);
284
272
  // Inline function 'kotlin.contracts.contract' call
285
273
  // Inline function 'kotlin.require' call
286
274
  // Inline function 'kotlin.contracts.contract' call
287
- if (!tmp0_require) {
288
- var tmp$ret$0;
275
+ if (!destination.uc().b33_1.equals(index)) {
289
276
  // Inline function 'kotlin.require.<anonymous>' call
290
- tmp$ret$0 = 'Failed requirement.';
291
- var message = tmp$ret$0;
277
+ var message = 'Failed requirement.';
292
278
  throw IllegalArgumentException_init_$Create$(toString(message));
293
279
  }
294
- $this.f32(destination.n5());
280
+ $this.i33(destination.uc());
295
281
  }
296
282
  function AbstractClassicSolver$updateCurrentContextAfterStateTransition$ref($boundThis) {
297
283
  var l = function (p0, p1, p2) {
298
284
  updateCurrentContextAfterStateTransition($boundThis, p0, p1, p2);
299
- return Unit_getInstance();
285
+ return Unit_instance;
300
286
  };
301
287
  l.callableName = 'updateCurrentContextAfterStateTransition';
302
288
  return l;
303
289
  }
304
290
  function AbstractClassicSolver(unificator, libraries, flags, initialStaticKb, initialDynamicKb, inputChannels, outputChannels, trustKb) {
305
- unificator = unificator === VOID ? Companion_getInstance().h1k() : unificator;
306
- libraries = libraries === VOID ? Companion_getInstance_0().empty() : libraries;
307
- flags = flags === VOID ? Companion_getInstance_1().empty() : flags;
308
- initialStaticKb = initialStaticKb === VOID ? Companion_getInstance_2().empty(unificator) : initialStaticKb;
309
- initialDynamicKb = initialDynamicKb === VOID ? Companion_getInstance_3().empty(unificator) : initialDynamicKb;
310
- inputChannels = inputChannels === VOID ? Companion_getInstance_6().fromStandard() : inputChannels;
311
- outputChannels = outputChannels === VOID ? Companion_getInstance_7().fromStandard() : outputChannels;
291
+ unificator = unificator === VOID ? Companion_getInstance().g1l() : unificator;
292
+ libraries = libraries === VOID ? Companion_instance.empty() : libraries;
293
+ flags = flags === VOID ? Companion_getInstance_0().empty() : flags;
294
+ initialStaticKb = initialStaticKb === VOID ? Companion_instance_0.empty(unificator) : initialStaticKb;
295
+ initialDynamicKb = initialDynamicKb === VOID ? Companion_instance_1.empty(unificator) : initialDynamicKb;
296
+ inputChannels = inputChannels === VOID ? Companion_instance_4.fromStandard() : inputChannels;
297
+ outputChannels = outputChannels === VOID ? Companion_instance_5.fromStandard() : outputChannels;
312
298
  trustKb = trustKb === VOID ? false : trustKb;
313
299
  AbstractSolver.call(this, unificator, libraries, flags, initialStaticKb, initialDynamicKb, inputChannels, outputChannels, trustKb);
314
300
  }
315
- protoOf(AbstractClassicSolver).f32 = function (_set____db54di) {
316
- this.e32_1 = _set____db54di;
301
+ protoOf(AbstractClassicSolver).i33 = function (_set____db54di) {
302
+ this.h33_1 = _set____db54di;
317
303
  };
318
- protoOf(AbstractClassicSolver).a2a = function (_set____db54di) {
319
- return this.f32(_set____db54di instanceof ClassicExecutionContext ? _set____db54di : THROW_CCE());
304
+ protoOf(AbstractClassicSolver).c2b = function (_set____db54di) {
305
+ return this.i33(_set____db54di instanceof ClassicExecutionContext ? _set____db54di : THROW_CCE());
320
306
  };
321
- protoOf(AbstractClassicSolver).y29 = function () {
322
- var tmp = this.e32_1;
307
+ protoOf(AbstractClassicSolver).a2b = function () {
308
+ var tmp = this.h33_1;
323
309
  if (!(tmp == null))
324
310
  return tmp;
325
311
  else {
326
312
  throwUninitializedPropertyAccessException('currentContext');
327
313
  }
328
314
  };
329
- protoOf(AbstractClassicSolver).z29 = function (unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, trustKb) {
330
- return new ClassicExecutionContext(VOID, unificator, libraries, flags, trustKb ? staticKb.toImmutableTheory() : Companion_getInstance_2().empty(unificator), trustKb ? dynamicKb.toMutableTheory() : Companion_getInstance_3().empty(unificator), toOperatorSet(getAllOperators(libraries, [])), inputChannels, outputChannels, VOID, VOID, VOID, VOID, VOID, VOID, new Long(0, 0));
331
- };
332
- protoOf(AbstractClassicSolver).g2a = function (goal, options) {
333
- var tmp0_unificator = this.k1k();
334
- var tmp1_libraries = this.v1t();
335
- var tmp2_flags = this.w1t();
336
- var tmp3_staticKb = this.x1t().toImmutableTheory();
337
- var tmp4_dynamicKb = this.y1t().toMutableTheory();
338
- var tmp5_operators = this.e1u();
339
- var tmp6_inputChannels = this.z1t();
340
- var tmp7_outputChannels = this.a1u();
341
- var tmp8_customData = this.y29().n31_1;
315
+ protoOf(AbstractClassicSolver).b2b = function (unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, trustKb) {
316
+ return new ClassicExecutionContext(VOID, unificator, libraries, flags, trustKb ? staticKb.toImmutableTheory() : Companion_instance_0.empty(unificator), trustKb ? dynamicKb.toMutableTheory() : Companion_instance_1.empty(unificator), toOperatorSet(getAllOperators(libraries, [])), inputChannels, outputChannels, VOID, VOID, VOID, VOID, VOID, VOID, new Long(0, 0));
317
+ };
318
+ protoOf(AbstractClassicSolver).i2b = function (goal, options) {
319
+ var tmp0_unificator = this.j1l();
320
+ var tmp1_libraries = this.u1u();
321
+ var tmp2_flags = this.v1u();
322
+ var tmp3_staticKb = this.w1u().toImmutableTheory();
323
+ var tmp4_dynamicKb = this.x1u().toMutableTheory();
324
+ var tmp5_operators = this.d1v();
325
+ var tmp6_inputChannels = this.y1u();
326
+ var tmp7_outputChannels = this.z1u();
327
+ var tmp8_customData = this.a2b().q32_1;
342
328
  var tmp9_startTime = currentTimeInstant();
343
- var tmp10_maxDuration = options.b1w();
344
- this.f32(new ClassicExecutionContext(VOID, tmp0_unificator, tmp1_libraries, tmp2_flags, tmp3_staticKb, tmp4_dynamicKb, tmp5_operators, tmp6_inputChannels, tmp7_outputChannels, tmp8_customData, VOID, goal, VOID, VOID, VOID, tmp9_startTime, tmp10_maxDuration));
345
- var tmp = new StateInit(this.y29());
346
- return asSequence(this.g32(tmp, AbstractClassicSolver$updateCurrentContextAfterStateTransition$ref(this)));
329
+ var tmp10_maxDuration = options.c1x();
330
+ this.i33(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.a2b());
332
+ return asSequence(this.j33(tmp, AbstractClassicSolver$updateCurrentContextAfterStateTransition$ref(this)));
347
333
  };
348
334
  function Primitives(alternatives, executionContext, parent, depth) {
349
335
  ChoicePointContext.call(this, alternatives, executionContext, parent, depth);
350
- this.l32_1 = alternatives;
351
- this.m32_1 = executionContext;
352
- this.n32_1 = parent;
353
- this.o32_1 = depth;
336
+ this.o33_1 = alternatives;
337
+ this.p33_1 = executionContext;
338
+ this.q33_1 = parent;
339
+ this.r33_1 = depth;
354
340
  }
355
- protoOf(Primitives).p32 = function () {
356
- return this.l32_1;
341
+ protoOf(Primitives).s33 = function () {
342
+ return this.o33_1;
357
343
  };
358
- protoOf(Primitives).q32 = function () {
359
- return this.m32_1;
344
+ protoOf(Primitives).t33 = function () {
345
+ return this.p33_1;
360
346
  };
361
- protoOf(Primitives).r32 = function () {
362
- return this.n32_1;
347
+ protoOf(Primitives).u33 = function () {
348
+ return this.q33_1;
363
349
  };
364
- protoOf(Primitives).s32 = function () {
365
- return this.o32_1;
350
+ protoOf(Primitives).v33 = function () {
351
+ return this.r33_1;
366
352
  };
367
353
  protoOf(Primitives).toString = function () {
368
354
  return protoOf(ChoicePointContext).toString.call(this);
369
355
  };
370
- protoOf(Primitives).t32 = function () {
356
+ protoOf(Primitives).w33 = function () {
371
357
  return 'Primitives';
372
358
  };
373
- protoOf(Primitives).u32 = function (context) {
374
- var tmp0_$this = ensureNotNull(this.m32_1);
375
- var tmp1_primitives = this.l32_1;
376
- var tmp$ret$0;
359
+ protoOf(Primitives).x33 = function (context) {
360
+ var tmp0_$this = ensureNotNull(this.p33_1);
361
+ var tmp1_primitives = this.o33_1;
377
362
  // Inline function 'kotlin.Long.plus' call
378
- var tmp0_plus = context.y31_1;
379
- tmp$ret$0 = tmp0_plus.bh(new Long(1, 0));
380
- var tmp2_step = tmp$ret$0;
381
- var tmp3_startTime = context.t31_1;
382
- var tmp4_flags = context.h31_1;
383
- var tmp5_dynamicKb = context.j31_1;
384
- var tmp6_staticKb = context.i31_1;
385
- var tmp7_operators = context.k31_1;
386
- var tmp8_inputChannels = context.l31_1;
387
- var tmp9_outputChannels = context.m31_1;
388
- var tmp10_libraries = context.g31_1;
389
- var tmp11_customData = context.n31_1.discardEphemeral();
390
- var tempContext = tmp0_$this.v32(VOID, VOID, tmp10_libraries, tmp4_flags, tmp6_staticKb, tmp5_dynamicKb, tmp7_operators, tmp8_inputChannels, tmp9_outputChannels, tmp11_customData, VOID, VOID, VOID, VOID, tmp1_primitives, tmp3_startTime, VOID, VOID, VOID, VOID, tmp2_step);
391
- var nextChoicePointContext = this.w32(this.l32_1.kq(), tempContext);
392
- return tempContext.v32(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, nextChoicePointContext);
393
- };
394
- protoOf(Primitives).x32 = function (alternatives, executionContext, parent, depth) {
363
+ var tmp2_step = context.b33_1.ob(toLong(1));
364
+ var tmp3_startTime = context.w32_1;
365
+ var tmp4_flags = context.k32_1;
366
+ var tmp5_dynamicKb = context.m32_1;
367
+ var tmp6_staticKb = context.l32_1;
368
+ var tmp7_operators = context.n32_1;
369
+ var tmp8_inputChannels = context.o32_1;
370
+ var tmp9_outputChannels = context.p32_1;
371
+ var tmp10_libraries = context.j32_1;
372
+ var tmp11_customData = context.q32_1.discardEphemeral();
373
+ var tempContext = tmp0_$this.y33(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.z33(this.o33_1.er(), tempContext);
375
+ return tempContext.y33(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, nextChoicePointContext);
376
+ };
377
+ protoOf(Primitives).a34 = function (alternatives, executionContext, parent, depth) {
395
378
  return new Primitives(alternatives, executionContext, parent, depth);
396
379
  };
397
- protoOf(Primitives).w32 = function (alternatives, executionContext, parent, depth, $super) {
398
- alternatives = alternatives === VOID ? this.l32_1 : alternatives;
399
- executionContext = executionContext === VOID ? this.m32_1 : executionContext;
400
- parent = parent === VOID ? this.n32_1 : parent;
401
- depth = depth === VOID ? this.o32_1 : depth;
402
- return $super === VOID ? this.x32(alternatives, executionContext, parent, depth) : $super.x32.call(this, alternatives, executionContext, parent, depth);
380
+ protoOf(Primitives).z33 = function (alternatives, executionContext, parent, depth, $super) {
381
+ alternatives = alternatives === VOID ? this.o33_1 : alternatives;
382
+ executionContext = executionContext === VOID ? this.p33_1 : executionContext;
383
+ parent = parent === VOID ? this.q33_1 : parent;
384
+ depth = depth === VOID ? this.r33_1 : depth;
385
+ return $super === VOID ? this.a34(alternatives, executionContext, parent, depth) : $super.a34.call(this, alternatives, executionContext, parent, depth);
403
386
  };
404
387
  protoOf(Primitives).hashCode = function () {
405
- var result = hashCode(this.l32_1);
406
- result = imul(result, 31) + (this.m32_1 == null ? 0 : this.m32_1.hashCode()) | 0;
407
- result = imul(result, 31) + (this.n32_1 == null ? 0 : hashCode(this.n32_1)) | 0;
408
- result = imul(result, 31) + this.o32_1 | 0;
388
+ var result = hashCode(this.o33_1);
389
+ result = imul(result, 31) + (this.p33_1 == null ? 0 : this.p33_1.hashCode()) | 0;
390
+ result = imul(result, 31) + (this.q33_1 == null ? 0 : hashCode(this.q33_1)) | 0;
391
+ result = imul(result, 31) + this.r33_1 | 0;
409
392
  return result;
410
393
  };
411
394
  protoOf(Primitives).equals = function (other) {
@@ -414,77 +397,74 @@
414
397
  if (!(other instanceof Primitives))
415
398
  return false;
416
399
  var tmp0_other_with_cast = other instanceof Primitives ? other : THROW_CCE();
417
- if (!equals(this.l32_1, tmp0_other_with_cast.l32_1))
400
+ if (!equals(this.o33_1, tmp0_other_with_cast.o33_1))
418
401
  return false;
419
- if (!equals(this.m32_1, tmp0_other_with_cast.m32_1))
402
+ if (!equals(this.p33_1, tmp0_other_with_cast.p33_1))
420
403
  return false;
421
- if (!equals(this.n32_1, tmp0_other_with_cast.n32_1))
404
+ if (!equals(this.q33_1, tmp0_other_with_cast.q33_1))
422
405
  return false;
423
- if (!(this.o32_1 === tmp0_other_with_cast.o32_1))
406
+ if (!(this.r33_1 === tmp0_other_with_cast.r33_1))
424
407
  return false;
425
408
  return true;
426
409
  };
427
410
  function Rules(alternatives, executionContext, parent, depth) {
428
411
  ChoicePointContext.call(this, alternatives, executionContext, parent, depth);
429
- this.k33_1 = alternatives;
430
- this.l33_1 = executionContext;
431
- this.m33_1 = parent;
432
- this.n33_1 = depth;
412
+ this.n34_1 = alternatives;
413
+ this.o34_1 = executionContext;
414
+ this.p34_1 = parent;
415
+ this.q34_1 = depth;
433
416
  }
434
- protoOf(Rules).p32 = function () {
435
- return this.k33_1;
417
+ protoOf(Rules).s33 = function () {
418
+ return this.n34_1;
436
419
  };
437
- protoOf(Rules).q32 = function () {
438
- return this.l33_1;
420
+ protoOf(Rules).t33 = function () {
421
+ return this.o34_1;
439
422
  };
440
- protoOf(Rules).r32 = function () {
441
- return this.m33_1;
423
+ protoOf(Rules).u33 = function () {
424
+ return this.p34_1;
442
425
  };
443
- protoOf(Rules).s32 = function () {
444
- return this.n33_1;
426
+ protoOf(Rules).v33 = function () {
427
+ return this.q34_1;
445
428
  };
446
429
  protoOf(Rules).toString = function () {
447
430
  return protoOf(ChoicePointContext).toString.call(this);
448
431
  };
449
- protoOf(Rules).t32 = function () {
432
+ protoOf(Rules).w33 = function () {
450
433
  return 'Rules';
451
434
  };
452
- protoOf(Rules).u32 = function (context) {
453
- var tmp0_$this = ensureNotNull(this.l33_1);
454
- var tmp1_rules = this.k33_1;
455
- var tmp$ret$0;
435
+ protoOf(Rules).x33 = function (context) {
436
+ var tmp0_$this = ensureNotNull(this.o34_1);
437
+ var tmp1_rules = this.n34_1;
456
438
  // Inline function 'kotlin.Long.plus' call
457
- var tmp0_plus = context.y31_1;
458
- tmp$ret$0 = tmp0_plus.bh(new Long(1, 0));
459
- var tmp2_step = tmp$ret$0;
460
- var tmp3_startTime = context.t31_1;
461
- var tmp4_flags = context.h31_1;
462
- var tmp5_dynamicKb = context.j31_1;
463
- var tmp6_staticKb = context.i31_1;
464
- var tmp7_operators = context.k31_1;
465
- var tmp8_inputChannels = context.l31_1;
466
- var tmp9_outputChannels = context.m31_1;
467
- var tmp10_libraries = context.g31_1;
468
- var tmp11_customData = context.n31_1.discardEphemeral();
469
- var tempContext = tmp0_$this.v32(VOID, VOID, tmp10_libraries, tmp4_flags, tmp6_staticKb, tmp5_dynamicKb, tmp7_operators, tmp8_inputChannels, tmp9_outputChannels, tmp11_customData, VOID, VOID, VOID, tmp1_rules, VOID, tmp3_startTime, VOID, VOID, VOID, VOID, tmp2_step);
470
- var nextChoicePointContext = this.o33(this.k33_1.kq(), tempContext);
471
- return tempContext.v32(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, nextChoicePointContext);
472
- };
473
- protoOf(Rules).p33 = function (alternatives, executionContext, parent, depth) {
439
+ var tmp2_step = context.b33_1.ob(toLong(1));
440
+ var tmp3_startTime = context.w32_1;
441
+ var tmp4_flags = context.k32_1;
442
+ var tmp5_dynamicKb = context.m32_1;
443
+ var tmp6_staticKb = context.l32_1;
444
+ var tmp7_operators = context.n32_1;
445
+ var tmp8_inputChannels = context.o32_1;
446
+ var tmp9_outputChannels = context.p32_1;
447
+ var tmp10_libraries = context.j32_1;
448
+ var tmp11_customData = context.q32_1.discardEphemeral();
449
+ var tempContext = tmp0_$this.y33(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.r34(this.n34_1.er(), tempContext);
451
+ return tempContext.y33(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, nextChoicePointContext);
452
+ };
453
+ protoOf(Rules).s34 = function (alternatives, executionContext, parent, depth) {
474
454
  return new Rules(alternatives, executionContext, parent, depth);
475
455
  };
476
- protoOf(Rules).o33 = function (alternatives, executionContext, parent, depth, $super) {
477
- alternatives = alternatives === VOID ? this.k33_1 : alternatives;
478
- executionContext = executionContext === VOID ? this.l33_1 : executionContext;
479
- parent = parent === VOID ? this.m33_1 : parent;
480
- depth = depth === VOID ? this.n33_1 : depth;
481
- return $super === VOID ? this.p33(alternatives, executionContext, parent, depth) : $super.p33.call(this, alternatives, executionContext, parent, depth);
456
+ protoOf(Rules).r34 = function (alternatives, executionContext, parent, depth, $super) {
457
+ alternatives = alternatives === VOID ? this.n34_1 : alternatives;
458
+ executionContext = executionContext === VOID ? this.o34_1 : executionContext;
459
+ parent = parent === VOID ? this.p34_1 : parent;
460
+ depth = depth === VOID ? this.q34_1 : depth;
461
+ return $super === VOID ? this.s34(alternatives, executionContext, parent, depth) : $super.s34.call(this, alternatives, executionContext, parent, depth);
482
462
  };
483
463
  protoOf(Rules).hashCode = function () {
484
- var result = hashCode(this.k33_1);
485
- result = imul(result, 31) + (this.l33_1 == null ? 0 : this.l33_1.hashCode()) | 0;
486
- result = imul(result, 31) + (this.m33_1 == null ? 0 : hashCode(this.m33_1)) | 0;
487
- result = imul(result, 31) + this.n33_1 | 0;
464
+ var result = hashCode(this.n34_1);
465
+ result = imul(result, 31) + (this.o34_1 == null ? 0 : this.o34_1.hashCode()) | 0;
466
+ result = imul(result, 31) + (this.p34_1 == null ? 0 : hashCode(this.p34_1)) | 0;
467
+ result = imul(result, 31) + this.q34_1 | 0;
488
468
  return result;
489
469
  };
490
470
  protoOf(Rules).equals = function (other) {
@@ -493,117 +473,114 @@
493
473
  if (!(other instanceof Rules))
494
474
  return false;
495
475
  var tmp0_other_with_cast = other instanceof Rules ? other : THROW_CCE();
496
- if (!equals(this.k33_1, tmp0_other_with_cast.k33_1))
476
+ if (!equals(this.n34_1, tmp0_other_with_cast.n34_1))
497
477
  return false;
498
- if (!equals(this.l33_1, tmp0_other_with_cast.l33_1))
478
+ if (!equals(this.o34_1, tmp0_other_with_cast.o34_1))
499
479
  return false;
500
- if (!equals(this.m33_1, tmp0_other_with_cast.m33_1))
480
+ if (!equals(this.p34_1, tmp0_other_with_cast.p34_1))
501
481
  return false;
502
- if (!(this.n33_1 === tmp0_other_with_cast.n33_1))
482
+ if (!(this.q34_1 === tmp0_other_with_cast.q34_1))
503
483
  return false;
504
484
  return true;
505
485
  };
506
486
  function ChoicePointContext$_get_pathToRoot_$slambda_q0myjn(this$0, resultContinuation) {
507
- this.y33_1 = this$0;
487
+ this.b35_1 = this$0;
508
488
  CoroutineImpl.call(this, resultContinuation);
509
489
  }
510
- protoOf(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn).b34 = function ($this$sequence, $completion) {
511
- var tmp = this.c34($this$sequence, $completion);
512
- tmp.ci_1 = Unit_getInstance();
513
- tmp.di_1 = null;
514
- return tmp.ii();
490
+ protoOf(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn).e35 = function ($this$sequence, $completion) {
491
+ var tmp = this.f35($this$sequence, $completion);
492
+ tmp.pc_1 = Unit_instance;
493
+ tmp.qc_1 = null;
494
+ return tmp.yc();
515
495
  };
516
- protoOf(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn).ui = function (p1, $completion) {
517
- return this.b34(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
496
+ protoOf(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn).ld = function (p1, $completion) {
497
+ return this.e35(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
518
498
  };
519
- protoOf(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn).ii = function () {
520
- var suspendResult = this.ci_1;
499
+ protoOf(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn).yc = function () {
500
+ var suspendResult = this.pc_1;
521
501
  $sm: do
522
502
  try {
523
- var tmp = this.ai_1;
503
+ var tmp = this.nc_1;
524
504
  switch (tmp) {
525
505
  case 0:
526
- this.bi_1 = 4;
527
- this.a34_1 = this.y33_1;
528
- this.ai_1 = 1;
506
+ this.oc_1 = 4;
507
+ this.d35_1 = this.b35_1;
508
+ this.nc_1 = 1;
529
509
  continue $sm;
530
510
  case 1:
531
- if (!!(this.a34_1 == null)) {
532
- this.ai_1 = 3;
511
+ if (!!(this.d35_1 == null)) {
512
+ this.nc_1 = 3;
533
513
  continue $sm;
534
514
  }
535
515
 
536
- this.ai_1 = 2;
537
- suspendResult = this.z33_1.d5(ensureNotNull(this.a34_1), this);
516
+ this.nc_1 = 2;
517
+ suspendResult = this.c35_1.ef(ensureNotNull(this.d35_1), this);
538
518
  if (suspendResult === get_COROUTINE_SUSPENDED()) {
539
519
  return suspendResult;
540
520
  }
541
521
 
542
522
  continue $sm;
543
523
  case 2:
544
- this.a34_1 = this.a34_1.r32();
545
- this.ai_1 = 1;
524
+ this.d35_1 = this.d35_1.u33();
525
+ this.nc_1 = 1;
546
526
  continue $sm;
547
527
  case 3:
548
- return Unit_getInstance();
528
+ return Unit_instance;
549
529
  case 4:
550
- throw this.di_1;
530
+ throw this.qc_1;
551
531
  }
552
532
  } catch ($p) {
553
533
  var e = $p;
554
- if (this.bi_1 === 4) {
534
+ if (this.oc_1 === 4) {
555
535
  throw e;
556
536
  } else {
557
- this.ai_1 = this.bi_1;
558
- this.di_1 = e;
537
+ this.nc_1 = this.oc_1;
538
+ this.qc_1 = e;
559
539
  }
560
540
  }
561
541
  while (true);
562
542
  };
563
- protoOf(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn).c34 = function ($this$sequence, completion) {
564
- var i = new ChoicePointContext$_get_pathToRoot_$slambda_q0myjn(this.y33_1, completion);
565
- i.z33_1 = $this$sequence;
543
+ protoOf(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn).f35 = function ($this$sequence, completion) {
544
+ var i = new ChoicePointContext$_get_pathToRoot_$slambda_q0myjn(this.b35_1, completion);
545
+ i.c35_1 = $this$sequence;
566
546
  return i;
567
547
  };
568
548
  function ChoicePointContext$_get_pathToRoot_$slambda_q0myjn_0(this$0, resultContinuation) {
569
549
  var i = new ChoicePointContext$_get_pathToRoot_$slambda_q0myjn(this$0, resultContinuation);
570
550
  var l = function ($this$sequence, $completion) {
571
- return i.b34($this$sequence, $completion);
551
+ return i.e35($this$sequence, $completion);
572
552
  };
573
553
  l.$arity = 1;
574
554
  return l;
575
555
  }
576
556
  function ChoicePointContext(alternatives, executionContext, parent, depth) {
577
557
  depth = depth === VOID ? 0 : depth;
578
- this.y32_1 = alternatives;
579
- this.z32_1 = executionContext;
580
- this.a33_1 = parent;
581
- this.b33_1 = depth;
558
+ this.b34_1 = alternatives;
559
+ this.c34_1 = executionContext;
560
+ this.d34_1 = parent;
561
+ this.e34_1 = depth;
582
562
  }
583
- protoOf(ChoicePointContext).p32 = function () {
584
- return this.y32_1;
563
+ protoOf(ChoicePointContext).s33 = function () {
564
+ return this.b34_1;
585
565
  };
586
- protoOf(ChoicePointContext).q32 = function () {
587
- return this.z32_1;
566
+ protoOf(ChoicePointContext).t33 = function () {
567
+ return this.c34_1;
588
568
  };
589
- protoOf(ChoicePointContext).r32 = function () {
590
- return this.a33_1;
569
+ protoOf(ChoicePointContext).u33 = function () {
570
+ return this.d34_1;
591
571
  };
592
- protoOf(ChoicePointContext).s32 = function () {
593
- return this.b33_1;
572
+ protoOf(ChoicePointContext).v33 = function () {
573
+ return this.e34_1;
594
574
  };
595
- protoOf(ChoicePointContext).c33 = function () {
575
+ protoOf(ChoicePointContext).f34 = function () {
596
576
  var tmp$ret$1;
597
577
  $l$block: {
598
578
  // Inline function 'kotlin.sequences.any' call
599
- var tmp0_any = this.d33();
600
- var tmp0_iterator = tmp0_any.j();
601
- while (tmp0_iterator.m()) {
602
- var element = tmp0_iterator.n();
603
- var tmp$ret$0;
579
+ var tmp0_iterator = this.g34().r();
580
+ while (tmp0_iterator.s()) {
581
+ var element = tmp0_iterator.u();
604
582
  // Inline function 'it.unibo.tuprolog.solve.classic.ChoicePointContext.<get-hasOpenAlternatives>.<anonymous>' call
605
- tmp$ret$0 = element.p32().mq();
606
- if (tmp$ret$0) {
583
+ if (element.s33().gr()) {
607
584
  tmp$ret$1 = true;
608
585
  break $l$block;
609
586
  }
@@ -612,118 +589,117 @@
612
589
  }
613
590
  return tmp$ret$1;
614
591
  };
615
- protoOf(ChoicePointContext).d33 = function () {
592
+ protoOf(ChoicePointContext).g34 = function () {
616
593
  return sequence(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn_0(this, null));
617
594
  };
618
- protoOf(ChoicePointContext).e33 = function () {
619
- var tmp0_safe_receiver = this.q32();
620
- return tmp0_safe_receiver == null ? null : tmp0_safe_receiver.x31_1;
595
+ protoOf(ChoicePointContext).h34 = function () {
596
+ var tmp0_safe_receiver = this.t33();
597
+ return tmp0_safe_receiver == null ? null : tmp0_safe_receiver.a33_1;
621
598
  };
622
- protoOf(ChoicePointContext).f33 = function () {
623
- var tmp0_safe_receiver = this.q32();
624
- return tmp0_safe_receiver == null ? null : tmp0_safe_receiver.e31_1;
599
+ protoOf(ChoicePointContext).i34 = function () {
600
+ var tmp0_safe_receiver = this.t33();
601
+ return tmp0_safe_receiver == null ? null : tmp0_safe_receiver.h32_1;
625
602
  };
626
603
  protoOf(ChoicePointContext).toString = function () {
627
- var tmp = this.t32() + '(' + ('alternatives=' + this.p32() + ', ');
604
+ var tmp = this.w33() + '(' + ('alternatives=' + this.s33() + ', ');
628
605
  var tmp_0;
629
- if (this.q32() === null) {
630
- tmp_0 = 'executionContext=' + this.q32() + ', ';
606
+ if (this.t33() === null) {
607
+ tmp_0 = 'executionContext=' + this.t33() + ', ';
631
608
  } else {
632
- 'executionContextDepth=' + this.e33() + ', ';
633
- tmp_0 = 'executionContextProcedure=' + this.f33() + ', ';
609
+ 'executionContextDepth=' + this.h34() + ', ';
610
+ tmp_0 = 'executionContextProcedure=' + this.i34() + ', ';
634
611
  }
635
- return tmp + tmp_0 + ('depth=' + this.s32()) + ')';
612
+ return tmp + tmp_0 + ('depth=' + this.v33()) + ')';
636
613
  };
637
614
  function appendRules(_this__u8e3s4, alternatives, executionContext) {
638
615
  executionContext = executionContext === VOID ? null : executionContext;
639
616
  return new Rules(alternatives, executionContext, _this__u8e3s4, nextDepth(_this__u8e3s4));
640
617
  }
641
618
  function nextDepth(_this__u8e3s4) {
642
- return _this__u8e3s4 == null ? 0 : _this__u8e3s4.s32() + 1 | 0;
619
+ return _this__u8e3s4 == null ? 0 : _this__u8e3s4.v33() + 1 | 0;
643
620
  }
644
621
  function appendPrimitives(_this__u8e3s4, alternatives, executionContext) {
645
622
  executionContext = executionContext === VOID ? null : executionContext;
646
623
  return new Primitives(alternatives, executionContext, _this__u8e3s4, nextDepth(_this__u8e3s4));
647
624
  }
648
625
  function _get_locallyInterestingVariables__39cqti($this) {
649
- var tmp = asSequence_0($this.z31_1);
650
- var tmp0_safe_receiver = $this.q31_1.lq();
651
- var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.yv();
626
+ var tmp = asSequence_0($this.c33_1);
627
+ var tmp0_safe_receiver = $this.t32_1.fr();
628
+ var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.sw();
652
629
  return plus(tmp, tmp1_elvis_lhs == null ? emptySequence() : tmp1_elvis_lhs);
653
630
  }
654
631
  function _get_interestingVariables__k6uw5o($this) {
655
- var tmp$ret$0;
656
632
  // Inline function 'kotlin.getValue' call
657
- var tmp0_getValue = interestingVariables$factory();
658
- tmp$ret$0 = $this.c32_1.b1();
659
- return tmp$ret$0;
633
+ var this_0 = $this.f33_1;
634
+ interestingVariables$factory();
635
+ return this_0.r2();
660
636
  }
661
637
  function ClassicExecutionContext$pathToRoot$slambda(this$0, resultContinuation) {
662
- this.l34_1 = this$0;
638
+ this.o35_1 = this$0;
663
639
  CoroutineImpl.call(this, resultContinuation);
664
640
  }
665
- protoOf(ClassicExecutionContext$pathToRoot$slambda).o34 = function ($this$sequence, $completion) {
666
- var tmp = this.p34($this$sequence, $completion);
667
- tmp.ci_1 = Unit_getInstance();
668
- tmp.di_1 = null;
669
- return tmp.ii();
641
+ protoOf(ClassicExecutionContext$pathToRoot$slambda).r35 = function ($this$sequence, $completion) {
642
+ var tmp = this.s35($this$sequence, $completion);
643
+ tmp.pc_1 = Unit_instance;
644
+ tmp.qc_1 = null;
645
+ return tmp.yc();
670
646
  };
671
- protoOf(ClassicExecutionContext$pathToRoot$slambda).ui = function (p1, $completion) {
672
- return this.o34(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
647
+ protoOf(ClassicExecutionContext$pathToRoot$slambda).ld = function (p1, $completion) {
648
+ return this.r35(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
673
649
  };
674
- protoOf(ClassicExecutionContext$pathToRoot$slambda).ii = function () {
675
- var suspendResult = this.ci_1;
650
+ protoOf(ClassicExecutionContext$pathToRoot$slambda).yc = function () {
651
+ var suspendResult = this.pc_1;
676
652
  $sm: do
677
653
  try {
678
- var tmp = this.ai_1;
654
+ var tmp = this.nc_1;
679
655
  switch (tmp) {
680
656
  case 0:
681
- this.bi_1 = 4;
682
- this.n34_1 = this.l34_1;
683
- this.ai_1 = 1;
657
+ this.oc_1 = 4;
658
+ this.q35_1 = this.o35_1;
659
+ this.nc_1 = 1;
684
660
  continue $sm;
685
661
  case 1:
686
- if (!!(this.n34_1 == null)) {
687
- this.ai_1 = 3;
662
+ if (!!(this.q35_1 == null)) {
663
+ this.nc_1 = 3;
688
664
  continue $sm;
689
665
  }
690
666
 
691
- this.ai_1 = 2;
692
- suspendResult = this.m34_1.d5(this.n34_1, this);
667
+ this.nc_1 = 2;
668
+ suspendResult = this.p35_1.ef(this.q35_1, this);
693
669
  if (suspendResult === get_COROUTINE_SUSPENDED()) {
694
670
  return suspendResult;
695
671
  }
696
672
 
697
673
  continue $sm;
698
674
  case 2:
699
- this.n34_1 = this.n34_1.w31_1;
700
- this.ai_1 = 1;
675
+ this.q35_1 = this.q35_1.z32_1;
676
+ this.nc_1 = 1;
701
677
  continue $sm;
702
678
  case 3:
703
- return Unit_getInstance();
679
+ return Unit_instance;
704
680
  case 4:
705
- throw this.di_1;
681
+ throw this.qc_1;
706
682
  }
707
683
  } catch ($p) {
708
684
  var e = $p;
709
- if (this.bi_1 === 4) {
685
+ if (this.oc_1 === 4) {
710
686
  throw e;
711
687
  } else {
712
- this.ai_1 = this.bi_1;
713
- this.di_1 = e;
688
+ this.nc_1 = this.oc_1;
689
+ this.qc_1 = e;
714
690
  }
715
691
  }
716
692
  while (true);
717
693
  };
718
- protoOf(ClassicExecutionContext$pathToRoot$slambda).p34 = function ($this$sequence, completion) {
719
- var i = new ClassicExecutionContext$pathToRoot$slambda(this.l34_1, completion);
720
- i.m34_1 = $this$sequence;
694
+ protoOf(ClassicExecutionContext$pathToRoot$slambda).s35 = function ($this$sequence, completion) {
695
+ var i = new ClassicExecutionContext$pathToRoot$slambda(this.o35_1, completion);
696
+ i.p35_1 = $this$sequence;
721
697
  return i;
722
698
  };
723
699
  function ClassicExecutionContext$pathToRoot$slambda_0(this$0, resultContinuation) {
724
700
  var i = new ClassicExecutionContext$pathToRoot$slambda(this$0, resultContinuation);
725
701
  var l = function ($this$sequence, $completion) {
726
- return i.o34($this$sequence, $completion);
702
+ return i.r35($this$sequence, $completion);
727
703
  };
728
704
  l.$arity = 1;
729
705
  return l;
@@ -731,11 +707,11 @@
731
707
  function ClassicExecutionContext$currentGoal$delegate$lambda(this$0) {
732
708
  return function () {
733
709
  var tmp;
734
- if (this$0.q31_1.nq()) {
710
+ if (this$0.t32_1.hr()) {
735
711
  tmp = null;
736
712
  } else {
737
- var tmp0_safe_receiver = this$0.q31_1.lq();
738
- tmp = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.applySubstitution(this$0.o31_1);
713
+ var tmp0_safe_receiver = this$0.t32_1.fr();
714
+ tmp = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.applySubstitution(this$0.r32_1);
739
715
  }
740
716
  return tmp;
741
717
  };
@@ -745,44 +721,44 @@
745
721
  }
746
722
  function ClassicExecutionContext$interestingVariables$delegate$lambda(this$0) {
747
723
  return function () {
748
- var tmp = plus(_get_locallyInterestingVariables__39cqti(this$0), this$0.p31_1.yv());
749
- return cached(distinct(plus(tmp, flatMap(this$0.a32_1, ClassicExecutionContext$interestingVariables$delegate$lambda$lambda))));
724
+ var tmp = plus(_get_locallyInterestingVariables__39cqti(this$0), this$0.s32_1.sw());
725
+ return cached(distinct(plus(tmp, flatMap(this$0.d33_1, ClassicExecutionContext$interestingVariables$delegate$lambda$lambda))));
750
726
  };
751
727
  }
752
728
  function ClassicExecutionContext$logicStackTrace$delegate$lambda$lambda(it) {
753
- return it.q34();
729
+ return it.t35();
754
730
  }
755
731
  function ClassicExecutionContext$logicStackTrace$delegate$lambda$lambda_0(this$0) {
756
732
  return function (it) {
757
- var tmp0_elvis_lhs = it.e31_1;
758
- return tmp0_elvis_lhs == null ? Companion_getInstance_8().of('?-', [this$0.p31_1]) : tmp0_elvis_lhs;
733
+ var tmp0_elvis_lhs = it.h32_1;
734
+ return tmp0_elvis_lhs == null ? Companion_getInstance_1().of('?-', [this$0.s32_1]) : tmp0_elvis_lhs;
759
735
  };
760
736
  }
761
737
  function ClassicExecutionContext$logicStackTrace$delegate$lambda(this$0) {
762
738
  return function () {
763
- var tmp = filter(this$0.a32_1, ClassicExecutionContext$logicStackTrace$delegate$lambda$lambda);
739
+ var tmp = filter(this$0.d33_1, ClassicExecutionContext$logicStackTrace$delegate$lambda$lambda);
764
740
  return toList(map(tmp, ClassicExecutionContext$logicStackTrace$delegate$lambda$lambda_0(this$0)));
765
741
  };
766
742
  }
767
743
  function ClassicExecutionContext(procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables) {
768
744
  procedure = procedure === VOID ? null : procedure;
769
- unificator = unificator === VOID ? Companion_getInstance().h1k() : unificator;
770
- libraries = libraries === VOID ? Companion_getInstance_0().empty() : libraries;
771
- flags = flags === VOID ? Companion_getInstance_1().empty() : flags;
772
- staticKb = staticKb === VOID ? Companion_getInstance_2().empty(unificator) : staticKb;
773
- dynamicKb = dynamicKb === VOID ? Companion_getInstance_3().empty(unificator) : dynamicKb;
745
+ unificator = unificator === VOID ? Companion_getInstance().g1l() : unificator;
746
+ libraries = libraries === VOID ? Companion_instance.empty() : libraries;
747
+ flags = flags === VOID ? Companion_getInstance_0().empty() : flags;
748
+ staticKb = staticKb === VOID ? Companion_instance_0.empty(unificator) : staticKb;
749
+ dynamicKb = dynamicKb === VOID ? Companion_instance_1.empty(unificator) : dynamicKb;
774
750
  operators = operators === VOID ? toOperatorSet(getAllOperators(libraries, [staticKb, dynamicKb])) : operators;
775
- inputChannels = inputChannels === VOID ? Companion_getInstance_6().fromStandard() : inputChannels;
776
- outputChannels = outputChannels === VOID ? Companion_getInstance_7().fromStandard() : outputChannels;
777
- customData = customData === VOID ? Companion_getInstance_9().empty() : customData;
778
- substitution = substitution === VOID ? Companion_getInstance_10().empty() : substitution;
779
- query = query === VOID ? Companion_getInstance_11().nv_1 : query;
780
- goals = goals === VOID ? Companion_getInstance_12().empty() : goals;
781
- rules = rules === VOID ? Companion_getInstance_12().empty() : rules;
782
- primitives = primitives === VOID ? Companion_getInstance_12().empty() : primitives;
751
+ inputChannels = inputChannels === VOID ? Companion_instance_4.fromStandard() : inputChannels;
752
+ outputChannels = outputChannels === VOID ? Companion_instance_5.fromStandard() : outputChannels;
753
+ customData = customData === VOID ? Companion_instance_6.empty() : customData;
754
+ substitution = substitution === VOID ? Companion_getInstance_2().empty() : substitution;
755
+ query = query === VOID ? Companion_getInstance_3().hw_1 : query;
756
+ goals = goals === VOID ? Companion_instance_7.empty() : goals;
757
+ rules = rules === VOID ? Companion_instance_7.empty() : rules;
758
+ primitives = primitives === VOID ? Companion_instance_7.empty() : primitives;
783
759
  var tmp;
784
760
  if (maxDuration === VOID) {
785
- Companion_getInstance_13();
761
+ Companion_getInstance_4();
786
762
  tmp = new Long(-1, 2147483647);
787
763
  } else {
788
764
  tmp = maxDuration;
@@ -793,224 +769,213 @@
793
769
  depth = depth === VOID ? 0 : depth;
794
770
  step = step === VOID ? new Long(0, 0) : step;
795
771
  relevantVariables = relevantVariables === VOID ? emptySet() : relevantVariables;
796
- this.e31_1 = procedure;
797
- this.f31_1 = unificator;
798
- this.g31_1 = libraries;
799
- this.h31_1 = flags;
800
- this.i31_1 = staticKb;
801
- this.j31_1 = dynamicKb;
802
- this.k31_1 = operators;
803
- this.l31_1 = inputChannels;
804
- this.m31_1 = outputChannels;
805
- this.n31_1 = customData;
806
- this.o31_1 = substitution;
807
- this.p31_1 = query;
808
- this.q31_1 = goals;
809
- this.r31_1 = rules;
810
- this.s31_1 = primitives;
811
- this.t31_1 = startTime;
812
- this.u31_1 = maxDuration;
813
- this.v31_1 = choicePoints;
814
- this.w31_1 = parent;
815
- this.x31_1 = depth;
816
- this.y31_1 = step;
817
- this.z31_1 = relevantVariables;
772
+ this.h32_1 = procedure;
773
+ this.i32_1 = unificator;
774
+ this.j32_1 = libraries;
775
+ this.k32_1 = flags;
776
+ this.l32_1 = staticKb;
777
+ this.m32_1 = dynamicKb;
778
+ this.n32_1 = operators;
779
+ this.o32_1 = inputChannels;
780
+ this.p32_1 = outputChannels;
781
+ this.q32_1 = customData;
782
+ this.r32_1 = substitution;
783
+ this.s32_1 = query;
784
+ this.t32_1 = goals;
785
+ this.u32_1 = rules;
786
+ this.v32_1 = primitives;
787
+ this.w32_1 = startTime;
788
+ this.x32_1 = maxDuration;
789
+ this.y32_1 = choicePoints;
790
+ this.z32_1 = parent;
791
+ this.a33_1 = depth;
792
+ this.b33_1 = step;
793
+ this.c33_1 = relevantVariables;
818
794
  // Inline function 'kotlin.require' call
819
- var tmp0_require = (this.x31_1 === 0 ? this.w31_1 == null : false) ? true : this.x31_1 > 0 ? !(this.w31_1 == null) : false;
820
795
  // Inline function 'kotlin.contracts.contract' call
821
796
  // Inline function 'kotlin.require' call
822
797
  // Inline function 'kotlin.contracts.contract' call
823
- if (!tmp0_require) {
824
- var tmp$ret$0;
798
+ if (!((this.a33_1 === 0 ? this.z32_1 == null : false) ? true : this.a33_1 > 0 ? !(this.z32_1 == null) : false)) {
825
799
  // Inline function 'kotlin.require.<anonymous>' call
826
- tmp$ret$0 = 'Failed requirement.';
827
- var message = tmp$ret$0;
800
+ var message = 'Failed requirement.';
828
801
  throw IllegalArgumentException_init_$Create$(toString(message));
829
802
  }
830
803
  // Inline function 'kotlin.require' call
831
- var tmp1_require = this.t31_1.i1(new Long(0, 0)) >= 0;
832
804
  // Inline function 'kotlin.contracts.contract' call
833
805
  // Inline function 'kotlin.require' call
834
806
  // Inline function 'kotlin.contracts.contract' call
835
- if (!tmp1_require) {
836
- var tmp$ret$1;
807
+ if (!(this.w32_1.q6(new Long(0, 0)) >= 0)) {
837
808
  // Inline function 'kotlin.require.<anonymous>' call
838
- tmp$ret$1 = 'Failed requirement.';
839
- var message_0 = tmp$ret$1;
809
+ var message_0 = 'Failed requirement.';
840
810
  throw IllegalArgumentException_init_$Create$(toString(message_0));
841
811
  }
842
812
  // Inline function 'kotlin.require' call
843
- var tmp2_require = this.u31_1.i1(new Long(0, 0)) >= 0;
844
813
  // Inline function 'kotlin.contracts.contract' call
845
814
  // Inline function 'kotlin.require' call
846
815
  // Inline function 'kotlin.contracts.contract' call
847
- if (!tmp2_require) {
848
- var tmp$ret$2;
816
+ if (!(this.x32_1.q6(new Long(0, 0)) >= 0)) {
849
817
  // Inline function 'kotlin.require.<anonymous>' call
850
- tmp$ret$2 = 'Failed requirement.';
851
- var message_1 = tmp$ret$2;
818
+ var message_1 = 'Failed requirement.';
852
819
  throw IllegalArgumentException_init_$Create$(toString(message_1));
853
820
  }
854
821
  var tmp_0 = this;
855
- tmp_0.a32_1 = sequence(ClassicExecutionContext$pathToRoot$slambda_0(this, null));
822
+ tmp_0.d33_1 = sequence(ClassicExecutionContext$pathToRoot$slambda_0(this, null));
856
823
  var tmp_1 = this;
857
- tmp_1.b32_1 = lazy(ClassicExecutionContext$currentGoal$delegate$lambda(this));
824
+ tmp_1.e33_1 = lazy(ClassicExecutionContext$currentGoal$delegate$lambda(this));
858
825
  var tmp_2 = this;
859
- tmp_2.c32_1 = lazy(ClassicExecutionContext$interestingVariables$delegate$lambda(this));
826
+ tmp_2.f33_1 = lazy(ClassicExecutionContext$interestingVariables$delegate$lambda(this));
860
827
  var tmp_3 = this;
861
- tmp_3.d32_1 = lazy(ClassicExecutionContext$logicStackTrace$delegate$lambda(this));
828
+ tmp_3.g33_1 = lazy(ClassicExecutionContext$logicStackTrace$delegate$lambda(this));
862
829
  }
863
- protoOf(ClassicExecutionContext).q1t = function () {
864
- return this.e31_1;
830
+ protoOf(ClassicExecutionContext).p1u = function () {
831
+ return this.h32_1;
865
832
  };
866
- protoOf(ClassicExecutionContext).k1k = function () {
867
- return this.f31_1;
833
+ protoOf(ClassicExecutionContext).j1l = function () {
834
+ return this.i32_1;
868
835
  };
869
- protoOf(ClassicExecutionContext).v1t = function () {
870
- return this.g31_1;
836
+ protoOf(ClassicExecutionContext).u1u = function () {
837
+ return this.j32_1;
871
838
  };
872
- protoOf(ClassicExecutionContext).w1t = function () {
873
- return this.h31_1;
839
+ protoOf(ClassicExecutionContext).v1u = function () {
840
+ return this.k32_1;
874
841
  };
875
- protoOf(ClassicExecutionContext).x1t = function () {
876
- return this.i31_1;
842
+ protoOf(ClassicExecutionContext).w1u = function () {
843
+ return this.l32_1;
877
844
  };
878
- protoOf(ClassicExecutionContext).y1t = function () {
879
- return this.j31_1;
845
+ protoOf(ClassicExecutionContext).x1u = function () {
846
+ return this.m32_1;
880
847
  };
881
- protoOf(ClassicExecutionContext).e1u = function () {
882
- return this.k31_1;
848
+ protoOf(ClassicExecutionContext).d1v = function () {
849
+ return this.n32_1;
883
850
  };
884
- protoOf(ClassicExecutionContext).z1t = function () {
885
- return this.l31_1;
851
+ protoOf(ClassicExecutionContext).y1u = function () {
852
+ return this.o32_1;
886
853
  };
887
- protoOf(ClassicExecutionContext).a1u = function () {
888
- return this.m31_1;
854
+ protoOf(ClassicExecutionContext).z1u = function () {
855
+ return this.p32_1;
889
856
  };
890
- protoOf(ClassicExecutionContext).t1t = function () {
891
- return this.n31_1;
857
+ protoOf(ClassicExecutionContext).s1u = function () {
858
+ return this.q32_1;
892
859
  };
893
- protoOf(ClassicExecutionContext).r1t = function () {
894
- return this.o31_1;
860
+ protoOf(ClassicExecutionContext).q1u = function () {
861
+ return this.r32_1;
895
862
  };
896
- protoOf(ClassicExecutionContext).l1t = function () {
897
- return this.t31_1;
863
+ protoOf(ClassicExecutionContext).k1u = function () {
864
+ return this.w32_1;
898
865
  };
899
- protoOf(ClassicExecutionContext).n1t = function () {
900
- return this.u31_1;
866
+ protoOf(ClassicExecutionContext).m1u = function () {
867
+ return this.x32_1;
901
868
  };
902
- protoOf(ClassicExecutionContext).r34 = function () {
903
- return this.x31_1 === 0;
869
+ protoOf(ClassicExecutionContext).u35 = function () {
870
+ return this.a33_1 === 0;
904
871
  };
905
- protoOf(ClassicExecutionContext).c33 = function () {
906
- var tmp0_safe_receiver = this.v31_1;
907
- var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.c33();
872
+ protoOf(ClassicExecutionContext).f34 = function () {
873
+ var tmp0_safe_receiver = this.y32_1;
874
+ var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.f34();
908
875
  return tmp1_elvis_lhs == null ? false : tmp1_elvis_lhs;
909
876
  };
910
- protoOf(ClassicExecutionContext).q34 = function () {
911
- return this.w31_1 == null ? true : (this.x31_1 - this.w31_1.x31_1 | 0) >= 1;
877
+ protoOf(ClassicExecutionContext).t35 = function () {
878
+ return this.z32_1 == null ? true : (this.a33_1 - this.z32_1.a33_1 | 0) >= 1;
912
879
  };
913
- protoOf(ClassicExecutionContext).s34 = function () {
914
- var tmp$ret$0;
880
+ protoOf(ClassicExecutionContext).v35 = function () {
915
881
  // Inline function 'kotlin.getValue' call
916
- var tmp0_getValue = currentGoal$factory();
917
- tmp$ret$0 = this.b32_1.b1();
918
- return tmp$ret$0;
882
+ var this_0 = this.e33_1;
883
+ currentGoal$factory();
884
+ return this_0.r2();
919
885
  };
920
- protoOf(ClassicExecutionContext).t34 = function (variable) {
886
+ protoOf(ClassicExecutionContext).w35 = function (variable) {
921
887
  return contains(_get_interestingVariables__k6uw5o(this), variable);
922
888
  };
923
- protoOf(ClassicExecutionContext).s1t = function () {
924
- var tmp$ret$0;
889
+ protoOf(ClassicExecutionContext).r1u = function () {
925
890
  // Inline function 'kotlin.getValue' call
926
- var tmp0_getValue = logicStackTrace$factory();
927
- tmp$ret$0 = this.d32_1.b1();
928
- return tmp$ret$0;
891
+ var this_0 = this.g33_1;
892
+ logicStackTrace$factory();
893
+ return this_0.r2();
929
894
  };
930
- protoOf(ClassicExecutionContext).u1t = function (unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels) {
895
+ protoOf(ClassicExecutionContext).t1u = function (unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels) {
931
896
  return ClassicSolver_init_$Create$(unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, true);
932
897
  };
933
- protoOf(ClassicExecutionContext).b1u = function (unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels) {
898
+ protoOf(ClassicExecutionContext).a1v = function (unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels) {
934
899
  return MutableClassicSolver_init_$Create$(unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, true);
935
900
  };
936
- protoOf(ClassicExecutionContext).d1u = function (unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData) {
937
- return this.v32(VOID, unificator, libraries, flags, staticKb, dynamicKb.toMutableTheory(), operators, inputChannels, outputChannels, customData);
901
+ protoOf(ClassicExecutionContext).c1v = function (unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData) {
902
+ return this.y33(VOID, unificator, libraries, flags, staticKb, dynamicKb.toMutableTheory(), operators, inputChannels, outputChannels, customData);
938
903
  };
939
- protoOf(ClassicExecutionContext).u34 = function (sideEffect) {
904
+ protoOf(ClassicExecutionContext).x35 = function (sideEffect) {
940
905
  var tmp = apply.call(this, sideEffect);
941
906
  return tmp instanceof ClassicExecutionContext ? tmp : THROW_CCE();
942
907
  };
943
908
  protoOf(ClassicExecutionContext).apply = function (sideEffect) {
944
- return this.u34(sideEffect);
909
+ return this.x35(sideEffect);
945
910
  };
946
- protoOf(ClassicExecutionContext).v34 = function (sideEffects) {
911
+ protoOf(ClassicExecutionContext).y35 = function (sideEffects) {
947
912
  var tmp = applyIterable.call(this, sideEffects);
948
913
  return tmp instanceof ClassicExecutionContext ? tmp : THROW_CCE();
949
914
  };
950
915
  protoOf(ClassicExecutionContext).applyIterable = function (sideEffects) {
951
- return this.v34(sideEffects);
916
+ return this.y35(sideEffects);
952
917
  };
953
- protoOf(ClassicExecutionContext).w34 = function (sideEffects) {
918
+ protoOf(ClassicExecutionContext).z35 = function (sideEffects) {
954
919
  var tmp = applySequence.call(this, sideEffects);
955
920
  return tmp instanceof ClassicExecutionContext ? tmp : THROW_CCE();
956
921
  };
957
922
  protoOf(ClassicExecutionContext).applySequence = function (sideEffects) {
958
- return this.w34(sideEffects);
923
+ return this.z35(sideEffects);
959
924
  };
960
925
  protoOf(ClassicExecutionContext).toString = function () {
961
- return 'ClassicExecutionContext(' + ('step=' + toString(this.y31_1) + ', ') + ('depth=' + this.x31_1 + ', ') + ('substitution=' + this.o31_1 + ', ') + ('logicStackTrace=' + this.s1t() + ', ') + ('goals=' + this.q31_1 + ', ') + ('rules=' + this.r31_1 + ', ') + ('primitives=' + this.s31_1 + ', ') + ('startTime=' + toString(this.t31_1) + ', ') + ('endTime=' + toString(this.m1t()) + ', ') + ('maxDuration=' + toString(this.u31_1) + ', ') + ('unificator=' + this.f31_1 + ', ') + ('choicePoints=' + this.v31_1) + ')';
926
+ return 'ClassicExecutionContext(' + ('step=' + this.b33_1.toString() + ', ') + ('depth=' + this.a33_1 + ', ') + ('substitution=' + this.r32_1 + ', ') + ('logicStackTrace=' + this.r1u() + ', ') + ('goals=' + this.t32_1 + ', ') + ('rules=' + this.u32_1 + ', ') + ('primitives=' + this.v32_1 + ', ') + ('startTime=' + this.w32_1.toString() + ', ') + ('endTime=' + this.l1u().toString() + ', ') + ('maxDuration=' + this.x32_1.toString() + ', ') + ('unificator=' + this.i32_1 + ', ') + ('choicePoints=' + this.y32_1) + ')';
962
927
  };
963
- protoOf(ClassicExecutionContext).x34 = function (procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables) {
928
+ protoOf(ClassicExecutionContext).a36 = function (procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables) {
964
929
  return new ClassicExecutionContext(procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables);
965
930
  };
966
- protoOf(ClassicExecutionContext).v32 = function (procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables, $super) {
967
- procedure = procedure === VOID ? this.e31_1 : procedure;
968
- unificator = unificator === VOID ? this.f31_1 : unificator;
969
- libraries = libraries === VOID ? this.g31_1 : libraries;
970
- flags = flags === VOID ? this.h31_1 : flags;
971
- staticKb = staticKb === VOID ? this.i31_1 : staticKb;
972
- dynamicKb = dynamicKb === VOID ? this.j31_1 : dynamicKb;
973
- operators = operators === VOID ? this.k31_1 : operators;
974
- inputChannels = inputChannels === VOID ? this.l31_1 : inputChannels;
975
- outputChannels = outputChannels === VOID ? this.m31_1 : outputChannels;
976
- customData = customData === VOID ? this.n31_1 : customData;
977
- substitution = substitution === VOID ? this.o31_1 : substitution;
978
- query = query === VOID ? this.p31_1 : query;
979
- goals = goals === VOID ? this.q31_1 : goals;
980
- rules = rules === VOID ? this.r31_1 : rules;
981
- primitives = primitives === VOID ? this.s31_1 : primitives;
982
- startTime = startTime === VOID ? this.t31_1 : startTime;
983
- maxDuration = maxDuration === VOID ? this.u31_1 : maxDuration;
984
- choicePoints = choicePoints === VOID ? this.v31_1 : choicePoints;
985
- parent = parent === VOID ? this.w31_1 : parent;
986
- depth = depth === VOID ? this.x31_1 : depth;
987
- step = step === VOID ? this.y31_1 : step;
988
- relevantVariables = relevantVariables === VOID ? this.z31_1 : relevantVariables;
989
- return $super === VOID ? this.x34(procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables) : $super.x34.call(this, procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables);
931
+ protoOf(ClassicExecutionContext).y33 = 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.h32_1 : procedure;
933
+ unificator = unificator === VOID ? this.i32_1 : unificator;
934
+ libraries = libraries === VOID ? this.j32_1 : libraries;
935
+ flags = flags === VOID ? this.k32_1 : flags;
936
+ staticKb = staticKb === VOID ? this.l32_1 : staticKb;
937
+ dynamicKb = dynamicKb === VOID ? this.m32_1 : dynamicKb;
938
+ operators = operators === VOID ? this.n32_1 : operators;
939
+ inputChannels = inputChannels === VOID ? this.o32_1 : inputChannels;
940
+ outputChannels = outputChannels === VOID ? this.p32_1 : outputChannels;
941
+ customData = customData === VOID ? this.q32_1 : customData;
942
+ substitution = substitution === VOID ? this.r32_1 : substitution;
943
+ query = query === VOID ? this.s32_1 : query;
944
+ goals = goals === VOID ? this.t32_1 : goals;
945
+ rules = rules === VOID ? this.u32_1 : rules;
946
+ primitives = primitives === VOID ? this.v32_1 : primitives;
947
+ startTime = startTime === VOID ? this.w32_1 : startTime;
948
+ maxDuration = maxDuration === VOID ? this.x32_1 : maxDuration;
949
+ choicePoints = choicePoints === VOID ? this.y32_1 : choicePoints;
950
+ parent = parent === VOID ? this.z32_1 : parent;
951
+ depth = depth === VOID ? this.a33_1 : depth;
952
+ step = step === VOID ? this.b33_1 : step;
953
+ relevantVariables = relevantVariables === VOID ? this.c33_1 : relevantVariables;
954
+ return $super === VOID ? this.a36(procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables) : $super.a36.call(this, procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables);
990
955
  };
991
956
  protoOf(ClassicExecutionContext).hashCode = function () {
992
- var result = this.e31_1 == null ? 0 : this.e31_1.hashCode();
993
- result = imul(result, 31) + hashCode(this.f31_1) | 0;
994
- result = imul(result, 31) + hashCode(this.g31_1) | 0;
995
- result = imul(result, 31) + this.h31_1.hashCode() | 0;
996
- result = imul(result, 31) + hashCode(this.i31_1) | 0;
997
- result = imul(result, 31) + hashCode(this.j31_1) | 0;
998
- result = imul(result, 31) + this.k31_1.hashCode() | 0;
999
- result = imul(result, 31) + hashCode(this.l31_1) | 0;
1000
- result = imul(result, 31) + hashCode(this.m31_1) | 0;
1001
- result = imul(result, 31) + this.n31_1.hashCode() | 0;
1002
- result = imul(result, 31) + hashCode(this.o31_1) | 0;
1003
- result = imul(result, 31) + this.p31_1.hashCode() | 0;
1004
- result = imul(result, 31) + hashCode(this.q31_1) | 0;
1005
- result = imul(result, 31) + hashCode(this.r31_1) | 0;
1006
- result = imul(result, 31) + hashCode(this.s31_1) | 0;
1007
- result = imul(result, 31) + this.t31_1.hashCode() | 0;
1008
- result = imul(result, 31) + this.u31_1.hashCode() | 0;
1009
- result = imul(result, 31) + (this.v31_1 == null ? 0 : hashCode(this.v31_1)) | 0;
1010
- result = imul(result, 31) + (this.w31_1 == null ? 0 : this.w31_1.hashCode()) | 0;
1011
- result = imul(result, 31) + this.x31_1 | 0;
1012
- result = imul(result, 31) + this.y31_1.hashCode() | 0;
1013
- result = imul(result, 31) + hashCode(this.z31_1) | 0;
957
+ var result = this.h32_1 == null ? 0 : this.h32_1.hashCode();
958
+ result = imul(result, 31) + hashCode(this.i32_1) | 0;
959
+ result = imul(result, 31) + hashCode(this.j32_1) | 0;
960
+ result = imul(result, 31) + this.k32_1.hashCode() | 0;
961
+ result = imul(result, 31) + hashCode(this.l32_1) | 0;
962
+ result = imul(result, 31) + hashCode(this.m32_1) | 0;
963
+ result = imul(result, 31) + this.n32_1.hashCode() | 0;
964
+ result = imul(result, 31) + hashCode(this.o32_1) | 0;
965
+ result = imul(result, 31) + hashCode(this.p32_1) | 0;
966
+ result = imul(result, 31) + this.q32_1.hashCode() | 0;
967
+ result = imul(result, 31) + hashCode(this.r32_1) | 0;
968
+ result = imul(result, 31) + this.s32_1.hashCode() | 0;
969
+ result = imul(result, 31) + hashCode(this.t32_1) | 0;
970
+ result = imul(result, 31) + hashCode(this.u32_1) | 0;
971
+ result = imul(result, 31) + hashCode(this.v32_1) | 0;
972
+ result = imul(result, 31) + this.w32_1.hashCode() | 0;
973
+ result = imul(result, 31) + this.x32_1.hashCode() | 0;
974
+ result = imul(result, 31) + (this.y32_1 == null ? 0 : hashCode(this.y32_1)) | 0;
975
+ result = imul(result, 31) + (this.z32_1 == null ? 0 : this.z32_1.hashCode()) | 0;
976
+ result = imul(result, 31) + this.a33_1 | 0;
977
+ result = imul(result, 31) + this.b33_1.hashCode() | 0;
978
+ result = imul(result, 31) + hashCode(this.c33_1) | 0;
1014
979
  return result;
1015
980
  };
1016
981
  protoOf(ClassicExecutionContext).equals = function (other) {
@@ -1019,55 +984,55 @@
1019
984
  if (!(other instanceof ClassicExecutionContext))
1020
985
  return false;
1021
986
  var tmp0_other_with_cast = other instanceof ClassicExecutionContext ? other : THROW_CCE();
1022
- if (!equals(this.e31_1, tmp0_other_with_cast.e31_1))
987
+ if (!equals(this.h32_1, tmp0_other_with_cast.h32_1))
1023
988
  return false;
1024
- if (!equals(this.f31_1, tmp0_other_with_cast.f31_1))
989
+ if (!equals(this.i32_1, tmp0_other_with_cast.i32_1))
1025
990
  return false;
1026
- if (!equals(this.g31_1, tmp0_other_with_cast.g31_1))
991
+ if (!equals(this.j32_1, tmp0_other_with_cast.j32_1))
1027
992
  return false;
1028
- if (!this.h31_1.equals(tmp0_other_with_cast.h31_1))
993
+ if (!this.k32_1.equals(tmp0_other_with_cast.k32_1))
1029
994
  return false;
1030
- if (!equals(this.i31_1, tmp0_other_with_cast.i31_1))
995
+ if (!equals(this.l32_1, tmp0_other_with_cast.l32_1))
1031
996
  return false;
1032
- if (!equals(this.j31_1, tmp0_other_with_cast.j31_1))
997
+ if (!equals(this.m32_1, tmp0_other_with_cast.m32_1))
1033
998
  return false;
1034
- if (!this.k31_1.equals(tmp0_other_with_cast.k31_1))
999
+ if (!this.n32_1.equals(tmp0_other_with_cast.n32_1))
1035
1000
  return false;
1036
- if (!equals(this.l31_1, tmp0_other_with_cast.l31_1))
1001
+ if (!equals(this.o32_1, tmp0_other_with_cast.o32_1))
1037
1002
  return false;
1038
- if (!equals(this.m31_1, tmp0_other_with_cast.m31_1))
1003
+ if (!equals(this.p32_1, tmp0_other_with_cast.p32_1))
1039
1004
  return false;
1040
- if (!this.n31_1.equals(tmp0_other_with_cast.n31_1))
1005
+ if (!this.q32_1.equals(tmp0_other_with_cast.q32_1))
1041
1006
  return false;
1042
- if (!equals(this.o31_1, tmp0_other_with_cast.o31_1))
1007
+ if (!equals(this.r32_1, tmp0_other_with_cast.r32_1))
1043
1008
  return false;
1044
- if (!this.p31_1.equals(tmp0_other_with_cast.p31_1))
1009
+ if (!this.s32_1.equals(tmp0_other_with_cast.s32_1))
1045
1010
  return false;
1046
- if (!equals(this.q31_1, tmp0_other_with_cast.q31_1))
1011
+ if (!equals(this.t32_1, tmp0_other_with_cast.t32_1))
1047
1012
  return false;
1048
- if (!equals(this.r31_1, tmp0_other_with_cast.r31_1))
1013
+ if (!equals(this.u32_1, tmp0_other_with_cast.u32_1))
1049
1014
  return false;
1050
- if (!equals(this.s31_1, tmp0_other_with_cast.s31_1))
1015
+ if (!equals(this.v32_1, tmp0_other_with_cast.v32_1))
1051
1016
  return false;
1052
- if (!this.t31_1.equals(tmp0_other_with_cast.t31_1))
1017
+ if (!this.w32_1.equals(tmp0_other_with_cast.w32_1))
1053
1018
  return false;
1054
- if (!this.u31_1.equals(tmp0_other_with_cast.u31_1))
1019
+ if (!this.x32_1.equals(tmp0_other_with_cast.x32_1))
1055
1020
  return false;
1056
- if (!equals(this.v31_1, tmp0_other_with_cast.v31_1))
1021
+ if (!equals(this.y32_1, tmp0_other_with_cast.y32_1))
1057
1022
  return false;
1058
- if (!equals(this.w31_1, tmp0_other_with_cast.w31_1))
1023
+ if (!equals(this.z32_1, tmp0_other_with_cast.z32_1))
1059
1024
  return false;
1060
- if (!(this.x31_1 === tmp0_other_with_cast.x31_1))
1025
+ if (!(this.a33_1 === tmp0_other_with_cast.a33_1))
1061
1026
  return false;
1062
- if (!this.y31_1.equals(tmp0_other_with_cast.y31_1))
1027
+ if (!this.b33_1.equals(tmp0_other_with_cast.b33_1))
1063
1028
  return false;
1064
- if (!equals(this.z31_1, tmp0_other_with_cast.z31_1))
1029
+ if (!equals(this.c33_1, tmp0_other_with_cast.c33_1))
1065
1030
  return false;
1066
1031
  return true;
1067
1032
  };
1068
1033
  function currentGoal$factory() {
1069
1034
  return getPropertyCallableRef('currentGoal', 1, KProperty1, function (receiver) {
1070
- return receiver.s34();
1035
+ return receiver.v35();
1071
1036
  }, null);
1072
1037
  }
1073
1038
  function interestingVariables$factory() {
@@ -1077,17 +1042,17 @@
1077
1042
  }
1078
1043
  function logicStackTrace$factory() {
1079
1044
  return getPropertyCallableRef('logicStackTrace', 1, KProperty1, function (receiver) {
1080
- return receiver.s1t();
1045
+ return receiver.r1u();
1081
1046
  }, null);
1082
1047
  }
1083
1048
  function ClassicSolver_init_$Init$(unificator, libraries, flags, initialStaticKb, initialDynamicKb, inputChannels, outputChannels, trustKb, $this) {
1084
- unificator = unificator === VOID ? Companion_getInstance().h1k() : unificator;
1085
- libraries = libraries === VOID ? Companion_getInstance_0().empty() : libraries;
1086
- flags = flags === VOID ? Companion_getInstance_1().empty() : flags;
1087
- initialStaticKb = initialStaticKb === VOID ? Companion_getInstance_2().empty(unificator) : initialStaticKb;
1088
- initialDynamicKb = initialDynamicKb === VOID ? Companion_getInstance_3().empty(unificator) : initialDynamicKb;
1089
- inputChannels = inputChannels === VOID ? Companion_getInstance_6().fromStandard() : inputChannels;
1090
- outputChannels = outputChannels === VOID ? Companion_getInstance_7().fromStandard() : outputChannels;
1049
+ unificator = unificator === VOID ? Companion_getInstance().g1l() : unificator;
1050
+ libraries = libraries === VOID ? Companion_instance.empty() : libraries;
1051
+ flags = flags === VOID ? Companion_getInstance_0().empty() : flags;
1052
+ initialStaticKb = initialStaticKb === VOID ? Companion_instance_0.empty(unificator) : initialStaticKb;
1053
+ initialDynamicKb = initialDynamicKb === VOID ? Companion_instance_1.empty(unificator) : initialDynamicKb;
1054
+ inputChannels = inputChannels === VOID ? Companion_instance_4.fromStandard() : inputChannels;
1055
+ outputChannels = outputChannels === VOID ? Companion_instance_5.fromStandard() : outputChannels;
1091
1056
  trustKb = trustKb === VOID ? false : trustKb;
1092
1057
  AbstractClassicSolver.call($this, unificator, libraries, flags, initialStaticKb, initialDynamicKb, inputChannels, outputChannels, trustKb);
1093
1058
  ClassicSolver.call($this);
@@ -1097,15 +1062,15 @@
1097
1062
  return ClassicSolver_init_$Init$(unificator, libraries, flags, initialStaticKb, initialDynamicKb, inputChannels, outputChannels, trustKb, objectCreate(protoOf(ClassicSolver)));
1098
1063
  }
1099
1064
  function ClassicSolver_init_$Init$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb, $this) {
1100
- unificator = unificator === VOID ? Companion_getInstance().h1k() : unificator;
1101
- libraries = libraries === VOID ? Companion_getInstance_0().empty() : libraries;
1102
- flags = flags === VOID ? Companion_getInstance_1().empty() : flags;
1103
- staticKb = staticKb === VOID ? Companion_getInstance_2().empty(unificator) : staticKb;
1104
- dynamicKb = dynamicKb === VOID ? Companion_getInstance_3().empty(unificator) : dynamicKb;
1105
- stdIn = stdIn === VOID ? Companion_getInstance_4().stdIn() : stdIn;
1106
- stdOut = stdOut === VOID ? Companion_getInstance_5().stdOut() : stdOut;
1107
- stdErr = stdErr === VOID ? Companion_getInstance_5().stdErr() : stdErr;
1108
- warnings = warnings === VOID ? Companion_getInstance_5().warning() : warnings;
1065
+ unificator = unificator === VOID ? Companion_getInstance().g1l() : unificator;
1066
+ libraries = libraries === VOID ? Companion_instance.empty() : libraries;
1067
+ flags = flags === VOID ? Companion_getInstance_0().empty() : flags;
1068
+ staticKb = staticKb === VOID ? Companion_instance_0.empty(unificator) : staticKb;
1069
+ dynamicKb = dynamicKb === VOID ? Companion_instance_1.empty(unificator) : dynamicKb;
1070
+ stdIn = stdIn === VOID ? Companion_instance_2.stdIn() : stdIn;
1071
+ stdOut = stdOut === VOID ? Companion_instance_3.stdOut() : stdOut;
1072
+ stdErr = stdErr === VOID ? Companion_instance_3.stdErr() : stdErr;
1073
+ warnings = warnings === VOID ? Companion_instance_3.warning() : warnings;
1109
1074
  trustKb = trustKb === VOID ? false : trustKb;
1110
1075
  AbstractClassicSolver_init_$Init$(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb, $this);
1111
1076
  ClassicSolver.call($this);
@@ -1114,52 +1079,49 @@
1114
1079
  function ClassicSolver_init_$Create$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb) {
1115
1080
  return ClassicSolver_init_$Init$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb, objectCreate(protoOf(ClassicSolver)));
1116
1081
  }
1117
- protoOf(ClassicSolver).g32 = function (initialState, onStateTransition) {
1118
- return Companion_getInstance_22().z34(initialState, onStateTransition);
1082
+ protoOf(ClassicSolver).j33 = function (initialState, onStateTransition) {
1083
+ return Companion_instance_15.c36(initialState, onStateTransition);
1119
1084
  };
1120
- protoOf(ClassicSolver).m1u = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
1085
+ protoOf(ClassicSolver).l1v = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
1121
1086
  return ClassicSolver_init_$Create$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings);
1122
1087
  };
1123
- protoOf(ClassicSolver).z1r = function () {
1088
+ protoOf(ClassicSolver).y1s = function () {
1124
1089
  return this.copy();
1125
1090
  };
1126
1091
  protoOf(ClassicSolver).clone = function () {
1127
- return this.z1r();
1092
+ return this.y1s();
1128
1093
  };
1129
1094
  function ClassicSolver() {
1130
1095
  }
1131
1096
  function ClassicSolverFactory() {
1132
- ClassicSolverFactory_instance = this;
1133
1097
  }
1134
- protoOf(ClassicSolverFactory).u1w = function () {
1098
+ protoOf(ClassicSolverFactory).v1x = function () {
1135
1099
  return DefaultBuiltins_getInstance();
1136
1100
  };
1137
- protoOf(ClassicSolverFactory).f1x = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs) {
1101
+ protoOf(ClassicSolverFactory).g1y = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs) {
1138
1102
  return ClassicSolver_init_$Create$(unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs);
1139
1103
  };
1140
- protoOf(ClassicSolverFactory).l1x = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
1104
+ protoOf(ClassicSolverFactory).m1y = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
1141
1105
  return ClassicSolver_init_$Create$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings);
1142
1106
  };
1143
- protoOf(ClassicSolverFactory).n1x = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
1107
+ protoOf(ClassicSolverFactory).o1y = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
1144
1108
  return MutableClassicSolver_init_$Create$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings);
1145
1109
  };
1146
- protoOf(ClassicSolverFactory).p1x = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs) {
1110
+ protoOf(ClassicSolverFactory).q1y = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs) {
1147
1111
  return MutableClassicSolver_init_$Create$(unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs);
1148
1112
  };
1149
1113
  var ClassicSolverFactory_instance;
1150
1114
  function ClassicSolverFactory_getInstance() {
1151
- if (ClassicSolverFactory_instance == null)
1152
- new ClassicSolverFactory();
1153
1115
  return ClassicSolverFactory_instance;
1154
1116
  }
1155
1117
  function MutableClassicSolver_init_$Init$(unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, trustKb, $this) {
1156
- unificator = unificator === VOID ? Companion_getInstance().h1k() : unificator;
1157
- libraries = libraries === VOID ? Companion_getInstance_0().empty() : libraries;
1158
- flags = flags === VOID ? Companion_getInstance_1().empty() : flags;
1159
- staticKb = staticKb === VOID ? Companion_getInstance_2().empty(unificator) : staticKb;
1160
- dynamicKb = dynamicKb === VOID ? Companion_getInstance_3().empty(unificator) : dynamicKb;
1161
- inputChannels = inputChannels === VOID ? Companion_getInstance_6().fromStandard() : inputChannels;
1162
- outputChannels = outputChannels === VOID ? Companion_getInstance_7().fromStandard() : outputChannels;
1118
+ unificator = unificator === VOID ? Companion_getInstance().g1l() : unificator;
1119
+ libraries = libraries === VOID ? Companion_instance.empty() : libraries;
1120
+ flags = flags === VOID ? Companion_getInstance_0().empty() : flags;
1121
+ staticKb = staticKb === VOID ? Companion_instance_0.empty(unificator) : staticKb;
1122
+ dynamicKb = dynamicKb === VOID ? Companion_instance_1.empty(unificator) : dynamicKb;
1123
+ inputChannels = inputChannels === VOID ? Companion_instance_4.fromStandard() : inputChannels;
1124
+ outputChannels = outputChannels === VOID ? Companion_instance_5.fromStandard() : outputChannels;
1163
1125
  trustKb = trustKb === VOID ? false : trustKb;
1164
1126
  ClassicSolver_init_$Init$(unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, trustKb, $this);
1165
1127
  MutableClassicSolver.call($this);
@@ -1169,15 +1131,15 @@
1169
1131
  return MutableClassicSolver_init_$Init$(unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, trustKb, objectCreate(protoOf(MutableClassicSolver)));
1170
1132
  }
1171
1133
  function MutableClassicSolver_init_$Init$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb, $this) {
1172
- unificator = unificator === VOID ? Companion_getInstance().h1k() : unificator;
1173
- libraries = libraries === VOID ? Companion_getInstance_0().empty() : libraries;
1174
- flags = flags === VOID ? Companion_getInstance_1().empty() : flags;
1175
- staticKb = staticKb === VOID ? Companion_getInstance_2().empty(unificator) : staticKb;
1176
- dynamicKb = dynamicKb === VOID ? Companion_getInstance_3().empty(unificator) : dynamicKb;
1177
- stdIn = stdIn === VOID ? Companion_getInstance_4().stdIn() : stdIn;
1178
- stdOut = stdOut === VOID ? Companion_getInstance_5().stdOut() : stdOut;
1179
- stdErr = stdErr === VOID ? Companion_getInstance_5().stdErr() : stdErr;
1180
- warnings = warnings === VOID ? Companion_getInstance_5().warning() : warnings;
1134
+ unificator = unificator === VOID ? Companion_getInstance().g1l() : unificator;
1135
+ libraries = libraries === VOID ? Companion_instance.empty() : libraries;
1136
+ flags = flags === VOID ? Companion_getInstance_0().empty() : flags;
1137
+ staticKb = staticKb === VOID ? Companion_instance_0.empty(unificator) : staticKb;
1138
+ dynamicKb = dynamicKb === VOID ? Companion_instance_1.empty(unificator) : dynamicKb;
1139
+ stdIn = stdIn === VOID ? Companion_instance_2.stdIn() : stdIn;
1140
+ stdOut = stdOut === VOID ? Companion_instance_3.stdOut() : stdOut;
1141
+ stdErr = stdErr === VOID ? Companion_instance_3.stdErr() : stdErr;
1142
+ warnings = warnings === VOID ? Companion_instance_3.warning() : warnings;
1181
1143
  trustKb = trustKb === VOID ? false : trustKb;
1182
1144
  ClassicSolver_init_$Init$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb, $this);
1183
1145
  MutableClassicSolver.call($this);
@@ -1188,275 +1150,271 @@
1188
1150
  }
1189
1151
  function MutableClassicSolver$loadLibrary$lambda($library) {
1190
1152
  return function ($this$updateContext) {
1191
- var newRuntime = $this$updateContext.g31_1.plusLibrary($library);
1192
- return $this$updateContext.v32(VOID, VOID, newRuntime, VOID, VOID, VOID, $this$updateContext.k31_1.plusOperatorSet(toOperatorSet(getAllOperators(newRuntime, []))));
1153
+ var newRuntime = $this$updateContext.j32_1.plusLibrary($library);
1154
+ return $this$updateContext.y33(VOID, VOID, newRuntime, VOID, VOID, VOID, $this$updateContext.n32_1.plusOperatorSet(toOperatorSet(getAllOperators(newRuntime, []))));
1193
1155
  };
1194
1156
  }
1195
1157
  function MutableClassicSolver$unloadLibrary$lambda($library) {
1196
1158
  return function ($this$updateContext) {
1197
- var newRuntime = $this$updateContext.g31_1.plusLibrary($library);
1198
- return $this$updateContext.v32(VOID, VOID, newRuntime, VOID, VOID, VOID, toOperatorSet(getAllOperators(newRuntime, [$this$updateContext.i31_1, $this$updateContext.j31_1])));
1159
+ var newRuntime = $this$updateContext.j32_1.plusLibrary($library);
1160
+ return $this$updateContext.y33(VOID, VOID, newRuntime, VOID, VOID, VOID, toOperatorSet(getAllOperators(newRuntime, [$this$updateContext.l32_1, $this$updateContext.m32_1])));
1199
1161
  };
1200
1162
  }
1201
1163
  function MutableClassicSolver$setRuntime$lambda($libraries) {
1202
1164
  return function ($this$updateContext) {
1203
- return $this$updateContext.v32(VOID, VOID, $libraries, VOID, VOID, VOID, toOperatorSet(getAllOperators($libraries, [$this$updateContext.i31_1, $this$updateContext.j31_1])));
1165
+ return $this$updateContext.y33(VOID, VOID, $libraries, VOID, VOID, VOID, toOperatorSet(getAllOperators($libraries, [$this$updateContext.l32_1, $this$updateContext.m32_1])));
1204
1166
  };
1205
1167
  }
1206
1168
  function MutableClassicSolver$resetStaticKb$lambda($this$updateContext) {
1207
- return $this$updateContext.v32(VOID, VOID, VOID, VOID, Companion_getInstance_2().empty($this$updateContext.f31_1), VOID, toOperatorSet(getAllOperators($this$updateContext.g31_1, [$this$updateContext.j31_1])));
1169
+ return $this$updateContext.y33(VOID, VOID, VOID, VOID, Companion_instance_0.empty($this$updateContext.i32_1), VOID, toOperatorSet(getAllOperators($this$updateContext.j32_1, [$this$updateContext.m32_1])));
1208
1170
  }
1209
1171
  function MutableClassicSolver$resetDynamicKb$lambda($this$updateContext) {
1210
- return $this$updateContext.v32(VOID, VOID, VOID, VOID, VOID, Companion_getInstance_3().empty($this$updateContext.f31_1), toOperatorSet(getAllOperators($this$updateContext.g31_1, [$this$updateContext.i31_1])));
1172
+ return $this$updateContext.y33(VOID, VOID, VOID, VOID, VOID, Companion_instance_1.empty($this$updateContext.i32_1), toOperatorSet(getAllOperators($this$updateContext.j32_1, [$this$updateContext.l32_1])));
1211
1173
  }
1212
1174
  function MutableClassicSolver$assertA$lambda($clause) {
1213
1175
  return function ($this$updateContext) {
1214
- return $this$updateContext.v32(VOID, VOID, VOID, VOID, VOID, $this$updateContext.j31_1.p1r($clause), $this$updateContext.k31_1.plusOperatorSet(toOperatorSet(getAllOperators_0(listOf($clause)))));
1176
+ return $this$updateContext.y33(VOID, VOID, VOID, VOID, VOID, $this$updateContext.m32_1.o1s($clause), $this$updateContext.n32_1.plusOperatorSet(toOperatorSet(getAllOperators_0(listOf($clause)))));
1215
1177
  };
1216
1178
  }
1217
1179
  function MutableClassicSolver$assertA$lambda_0($fact) {
1218
1180
  return function ($this$updateContext) {
1219
- return $this$updateContext.v32(VOID, VOID, VOID, VOID, VOID, $this$updateContext.j31_1.c1s($fact));
1181
+ return $this$updateContext.y33(VOID, VOID, VOID, VOID, VOID, $this$updateContext.m32_1.b1t($fact));
1220
1182
  };
1221
1183
  }
1222
1184
  function MutableClassicSolver$assertZ$lambda($clause) {
1223
1185
  return function ($this$updateContext) {
1224
- return $this$updateContext.v32(VOID, VOID, VOID, VOID, VOID, $this$updateContext.j31_1.t1r($clause), $this$updateContext.k31_1.plusOperatorSet(toOperatorSet(getAllOperators_0(listOf($clause)))));
1186
+ return $this$updateContext.y33(VOID, VOID, VOID, VOID, VOID, $this$updateContext.m32_1.s1s($clause), $this$updateContext.n32_1.plusOperatorSet(toOperatorSet(getAllOperators_0(listOf($clause)))));
1225
1187
  };
1226
1188
  }
1227
1189
  function MutableClassicSolver$assertZ$lambda_0($fact) {
1228
1190
  return function ($this$updateContext) {
1229
- return $this$updateContext.v32(VOID, VOID, VOID, VOID, VOID, $this$updateContext.j31_1.d1s($fact));
1191
+ return $this$updateContext.y33(VOID, VOID, VOID, VOID, VOID, $this$updateContext.m32_1.c1t($fact));
1230
1192
  };
1231
1193
  }
1232
1194
  function MutableClassicSolver$retract$lambda($result, $clause) {
1233
1195
  return function ($this$updateContext) {
1234
- return $this$updateContext.v32(VOID, VOID, VOID, VOID, VOID, $result.h1r().toMutableTheory(), $this$updateContext.k31_1.minusOperatorSet(toOperatorSet(getAllOperators_0(listOf($clause)))));
1196
+ return $this$updateContext.y33(VOID, VOID, VOID, VOID, VOID, $result.g1s().toMutableTheory(), $this$updateContext.n32_1.minusOperatorSet(toOperatorSet(getAllOperators_0(listOf($clause)))));
1235
1197
  };
1236
1198
  }
1237
1199
  function MutableClassicSolver$retract$lambda_0($result) {
1238
1200
  return function ($this$updateContext) {
1239
- return $this$updateContext.v32(VOID, VOID, VOID, VOID, VOID, $result.h1r().toMutableTheory());
1201
+ return $this$updateContext.y33(VOID, VOID, VOID, VOID, VOID, $result.g1s().toMutableTheory());
1240
1202
  };
1241
1203
  }
1242
1204
  function MutableClassicSolver$retractAll$lambda($result) {
1243
1205
  return function ($this$updateContext) {
1244
- return $this$updateContext.v32(VOID, VOID, VOID, VOID, VOID, $result.h1r().toMutableTheory(), $this$updateContext.k31_1.minusOperatorSet(toOperatorSet(getAllOperators_0($result.h1r()))));
1206
+ return $this$updateContext.y33(VOID, VOID, VOID, VOID, VOID, $result.g1s().toMutableTheory(), $this$updateContext.n32_1.minusOperatorSet(toOperatorSet(getAllOperators_0($result.g1s()))));
1245
1207
  };
1246
1208
  }
1247
1209
  function MutableClassicSolver$retractAll$lambda_0($result) {
1248
1210
  return function ($this$updateContext) {
1249
- return $this$updateContext.v32(VOID, VOID, VOID, VOID, VOID, $result.h1r().toMutableTheory());
1211
+ return $this$updateContext.y33(VOID, VOID, VOID, VOID, VOID, $result.g1s().toMutableTheory());
1250
1212
  };
1251
1213
  }
1252
1214
  function MutableClassicSolver$setFlag$lambda($name, $value) {
1253
1215
  return function ($this$updateContext) {
1254
- return $this$updateContext.v32(VOID, VOID, VOID, $this$updateContext.h31_1.set($name, $value));
1216
+ return $this$updateContext.y33(VOID, VOID, VOID, $this$updateContext.k32_1.set($name, $value));
1255
1217
  };
1256
1218
  }
1257
1219
  function MutableClassicSolver$setFlag$lambda_0($flag) {
1258
1220
  return function ($this$updateContext) {
1259
- return $this$updateContext.v32(VOID, VOID, VOID, $this$updateContext.h31_1.plusPair($flag));
1221
+ return $this$updateContext.y33(VOID, VOID, VOID, $this$updateContext.k32_1.plusPair($flag));
1260
1222
  };
1261
1223
  }
1262
1224
  function MutableClassicSolver$setFlag$lambda_1($flag) {
1263
1225
  return function ($this$updateContext) {
1264
- return $this$updateContext.v32(VOID, VOID, VOID, $this$updateContext.h31_1.plusNotable($flag));
1226
+ return $this$updateContext.y33(VOID, VOID, VOID, $this$updateContext.k32_1.plusNotable($flag));
1265
1227
  };
1266
1228
  }
1267
1229
  function MutableClassicSolver$setStandardInput$lambda($stdIn) {
1268
1230
  return function ($this$updateContext) {
1269
- Companion_getInstance_6();
1270
- return $this$updateContext.v32(VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this$updateContext.l31_1.plus(to('stdin', $stdIn)));
1231
+ return $this$updateContext.y33(VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this$updateContext.o32_1.plus(to('stdin', $stdIn)));
1271
1232
  };
1272
1233
  }
1273
1234
  function MutableClassicSolver$setStandardError$lambda($stdErr) {
1274
1235
  return function ($this$updateContext) {
1275
- Companion_getInstance_7();
1276
- return $this$updateContext.v32(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this$updateContext.m31_1.plus(to('stderr', $stdErr)));
1236
+ return $this$updateContext.y33(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this$updateContext.p32_1.plus(to('stderr', $stdErr)));
1277
1237
  };
1278
1238
  }
1279
1239
  function MutableClassicSolver$setStandardOutput$lambda($stdOut) {
1280
1240
  return function ($this$updateContext) {
1281
- Companion_getInstance_7();
1282
- return $this$updateContext.v32(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this$updateContext.m31_1.plus(to('stdout', $stdOut)));
1241
+ return $this$updateContext.y33(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this$updateContext.p32_1.plus(to('stdout', $stdOut)));
1283
1242
  };
1284
1243
  }
1285
1244
  function MutableClassicSolver$setWarnings$lambda($warnings) {
1286
1245
  return function ($this$updateContext) {
1287
- return $this$updateContext.v32(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, Companion_getInstance_7().f1y($this$updateContext.m31_1, $warnings));
1246
+ return $this$updateContext.y33(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, Companion_instance_5.g1z($this$updateContext.p32_1, $warnings));
1288
1247
  };
1289
1248
  }
1290
- protoOf(MutableClassicSolver).b35 = function (library) {
1291
- this.x29(MutableClassicSolver$loadLibrary$lambda(library));
1249
+ protoOf(MutableClassicSolver).e36 = function (library) {
1250
+ this.z2a(MutableClassicSolver$loadLibrary$lambda(library));
1292
1251
  };
1293
1252
  protoOf(MutableClassicSolver).loadLibrary = function (library) {
1294
- return this.b35(library);
1253
+ return this.e36(library);
1295
1254
  };
1296
- protoOf(MutableClassicSolver).c35 = function (library) {
1297
- this.x29(MutableClassicSolver$unloadLibrary$lambda(library));
1255
+ protoOf(MutableClassicSolver).f36 = function (library) {
1256
+ this.z2a(MutableClassicSolver$unloadLibrary$lambda(library));
1298
1257
  };
1299
1258
  protoOf(MutableClassicSolver).unloadLibrary = function (library) {
1300
- return this.c35(library);
1259
+ return this.f36(library);
1301
1260
  };
1302
- protoOf(MutableClassicSolver).d35 = function (libraries) {
1303
- this.x29(MutableClassicSolver$setRuntime$lambda(libraries));
1261
+ protoOf(MutableClassicSolver).g36 = function (libraries) {
1262
+ this.z2a(MutableClassicSolver$setRuntime$lambda(libraries));
1304
1263
  };
1305
1264
  protoOf(MutableClassicSolver).setLibraries = function (libraries) {
1306
- return this.d35(libraries);
1265
+ return this.g36(libraries);
1307
1266
  };
1308
- protoOf(MutableClassicSolver).e35 = function (theory) {
1309
- this.b2a(theory, VOID, false);
1267
+ protoOf(MutableClassicSolver).h36 = function (theory) {
1268
+ this.d2b(theory, VOID, false);
1310
1269
  };
1311
1270
  protoOf(MutableClassicSolver).loadStaticKb = function (theory) {
1312
- return this.e35(theory);
1271
+ return this.h36(theory);
1313
1272
  };
1314
- protoOf(MutableClassicSolver).f35 = function (theory) {
1315
- this.b2a(theory);
1273
+ protoOf(MutableClassicSolver).i36 = function (theory) {
1274
+ this.d2b(theory);
1316
1275
  };
1317
1276
  protoOf(MutableClassicSolver).appendStaticKb = function (theory) {
1318
- return this.f35(theory);
1277
+ return this.i36(theory);
1319
1278
  };
1320
- protoOf(MutableClassicSolver).g35 = function () {
1321
- this.x29(MutableClassicSolver$resetStaticKb$lambda);
1279
+ protoOf(MutableClassicSolver).j36 = function () {
1280
+ this.z2a(MutableClassicSolver$resetStaticKb$lambda);
1322
1281
  };
1323
1282
  protoOf(MutableClassicSolver).resetStaticKb = function () {
1324
- return this.g35();
1283
+ return this.j36();
1325
1284
  };
1326
- protoOf(MutableClassicSolver).h35 = function (theory) {
1327
- this.b2a(VOID, theory, VOID, false);
1285
+ protoOf(MutableClassicSolver).k36 = function (theory) {
1286
+ this.d2b(VOID, theory, VOID, false);
1328
1287
  };
1329
1288
  protoOf(MutableClassicSolver).loadDynamicKb = function (theory) {
1330
- return this.h35(theory);
1289
+ return this.k36(theory);
1331
1290
  };
1332
- protoOf(MutableClassicSolver).i35 = function (theory) {
1333
- this.b2a(VOID, theory);
1291
+ protoOf(MutableClassicSolver).l36 = function (theory) {
1292
+ this.d2b(VOID, theory);
1334
1293
  };
1335
1294
  protoOf(MutableClassicSolver).appendDynamicKb = function (theory) {
1336
- return this.i35(theory);
1295
+ return this.l36(theory);
1337
1296
  };
1338
- protoOf(MutableClassicSolver).j35 = function () {
1339
- this.x29(MutableClassicSolver$resetDynamicKb$lambda);
1297
+ protoOf(MutableClassicSolver).m36 = function () {
1298
+ this.z2a(MutableClassicSolver$resetDynamicKb$lambda);
1340
1299
  };
1341
1300
  protoOf(MutableClassicSolver).resetDynamicKb = function () {
1342
- return this.j35();
1301
+ return this.m36();
1343
1302
  };
1344
- protoOf(MutableClassicSolver).w1l = function (clause) {
1345
- this.x29(MutableClassicSolver$assertA$lambda(clause));
1303
+ protoOf(MutableClassicSolver).v1m = function (clause) {
1304
+ this.z2a(MutableClassicSolver$assertA$lambda(clause));
1346
1305
  };
1347
1306
  protoOf(MutableClassicSolver).assertA = function (clause) {
1348
- return this.w1l(clause);
1307
+ return this.v1m(clause);
1349
1308
  };
1350
- protoOf(MutableClassicSolver).k35 = function (fact) {
1351
- this.x29(MutableClassicSolver$assertA$lambda_0(fact));
1309
+ protoOf(MutableClassicSolver).n36 = function (fact) {
1310
+ this.z2a(MutableClassicSolver$assertA$lambda_0(fact));
1352
1311
  };
1353
1312
  protoOf(MutableClassicSolver).assertAFact = function (fact) {
1354
- return this.k35(fact);
1313
+ return this.n36(fact);
1355
1314
  };
1356
- protoOf(MutableClassicSolver).w1k = function (clause) {
1357
- this.x29(MutableClassicSolver$assertZ$lambda(clause));
1315
+ protoOf(MutableClassicSolver).w1l = function (clause) {
1316
+ this.z2a(MutableClassicSolver$assertZ$lambda(clause));
1358
1317
  };
1359
1318
  protoOf(MutableClassicSolver).assertZ = function (clause) {
1360
- return this.w1k(clause);
1319
+ return this.w1l(clause);
1361
1320
  };
1362
- protoOf(MutableClassicSolver).l35 = function (fact) {
1363
- this.x29(MutableClassicSolver$assertZ$lambda_0(fact));
1321
+ protoOf(MutableClassicSolver).o36 = function (fact) {
1322
+ this.z2a(MutableClassicSolver$assertZ$lambda_0(fact));
1364
1323
  };
1365
1324
  protoOf(MutableClassicSolver).assertZFact = function (fact) {
1366
- return this.l35(fact);
1325
+ return this.o36(fact);
1367
1326
  };
1368
- protoOf(MutableClassicSolver).e1s = function (clause) {
1369
- var result = this.y1t().retract(clause);
1370
- this.x29(MutableClassicSolver$retract$lambda(result, clause));
1327
+ protoOf(MutableClassicSolver).d1t = function (clause) {
1328
+ var result = this.x1u().retract(clause);
1329
+ this.z2a(MutableClassicSolver$retract$lambda(result, clause));
1371
1330
  return result;
1372
1331
  };
1373
1332
  protoOf(MutableClassicSolver).retract = function (clause) {
1374
- return this.e1s(clause);
1333
+ return this.d1t(clause);
1375
1334
  };
1376
- protoOf(MutableClassicSolver).f1s = function (fact) {
1377
- var result = this.y1t().retractByHead(fact);
1378
- this.x29(MutableClassicSolver$retract$lambda_0(result));
1335
+ protoOf(MutableClassicSolver).e1t = function (fact) {
1336
+ var result = this.x1u().retractByHead(fact);
1337
+ this.z2a(MutableClassicSolver$retract$lambda_0(result));
1379
1338
  return result;
1380
1339
  };
1381
1340
  protoOf(MutableClassicSolver).retractByHead = function (fact) {
1382
- return this.f1s(fact);
1341
+ return this.e1t(fact);
1383
1342
  };
1384
- protoOf(MutableClassicSolver).c1l = function (clause) {
1385
- var result = this.y1t().retractAll(clause);
1386
- this.x29(MutableClassicSolver$retractAll$lambda(result));
1343
+ protoOf(MutableClassicSolver).b1m = function (clause) {
1344
+ var result = this.x1u().retractAll(clause);
1345
+ this.z2a(MutableClassicSolver$retractAll$lambda(result));
1387
1346
  return result;
1388
1347
  };
1389
1348
  protoOf(MutableClassicSolver).retractAll = function (clause) {
1390
- return this.c1l(clause);
1349
+ return this.b1m(clause);
1391
1350
  };
1392
- protoOf(MutableClassicSolver).m35 = function (fact) {
1393
- var result = this.y1t().retractAllByHead(fact);
1394
- this.x29(MutableClassicSolver$retractAll$lambda_0(result));
1351
+ protoOf(MutableClassicSolver).p36 = function (fact) {
1352
+ var result = this.x1u().retractAllByHead(fact);
1353
+ this.z2a(MutableClassicSolver$retractAll$lambda_0(result));
1395
1354
  return result;
1396
1355
  };
1397
1356
  protoOf(MutableClassicSolver).retractAllBeHead = function (fact) {
1398
- return this.m35(fact);
1357
+ return this.p36(fact);
1399
1358
  };
1400
- protoOf(MutableClassicSolver).n35 = function (name, value) {
1401
- this.x29(MutableClassicSolver$setFlag$lambda(name, value));
1359
+ protoOf(MutableClassicSolver).q36 = function (name, value) {
1360
+ this.z2a(MutableClassicSolver$setFlag$lambda(name, value));
1402
1361
  };
1403
1362
  protoOf(MutableClassicSolver).setFlag = function (name, value) {
1404
- return this.n35(name, value);
1363
+ return this.q36(name, value);
1405
1364
  };
1406
- protoOf(MutableClassicSolver).o35 = function (flag) {
1407
- this.x29(MutableClassicSolver$setFlag$lambda_0(flag));
1365
+ protoOf(MutableClassicSolver).r36 = function (flag) {
1366
+ this.z2a(MutableClassicSolver$setFlag$lambda_0(flag));
1408
1367
  };
1409
1368
  protoOf(MutableClassicSolver).setFlagPair = function (flag) {
1410
- return this.o35(flag);
1369
+ return this.r36(flag);
1411
1370
  };
1412
- protoOf(MutableClassicSolver).p35 = function (flag) {
1413
- this.x29(MutableClassicSolver$setFlag$lambda_1(flag));
1371
+ protoOf(MutableClassicSolver).s36 = function (flag) {
1372
+ this.z2a(MutableClassicSolver$setFlag$lambda_1(flag));
1414
1373
  };
1415
1374
  protoOf(MutableClassicSolver).setFlagNotable = function (flag) {
1416
- return this.p35(flag);
1375
+ return this.s36(flag);
1417
1376
  };
1418
- protoOf(MutableClassicSolver).q35 = function (stdIn) {
1419
- this.x29(MutableClassicSolver$setStandardInput$lambda(stdIn));
1377
+ protoOf(MutableClassicSolver).t36 = function (stdIn) {
1378
+ this.z2a(MutableClassicSolver$setStandardInput$lambda(stdIn));
1420
1379
  };
1421
1380
  protoOf(MutableClassicSolver).setStandardInput = function (stdIn) {
1422
- return this.q35(stdIn);
1381
+ return this.t36(stdIn);
1423
1382
  };
1424
- protoOf(MutableClassicSolver).r35 = function (stdErr) {
1425
- this.x29(MutableClassicSolver$setStandardError$lambda(stdErr));
1383
+ protoOf(MutableClassicSolver).u36 = function (stdErr) {
1384
+ this.z2a(MutableClassicSolver$setStandardError$lambda(stdErr));
1426
1385
  };
1427
1386
  protoOf(MutableClassicSolver).setStandardError = function (stdErr) {
1428
- return this.r35(stdErr);
1387
+ return this.u36(stdErr);
1429
1388
  };
1430
- protoOf(MutableClassicSolver).s35 = function (stdOut) {
1431
- this.x29(MutableClassicSolver$setStandardOutput$lambda(stdOut));
1389
+ protoOf(MutableClassicSolver).v36 = function (stdOut) {
1390
+ this.z2a(MutableClassicSolver$setStandardOutput$lambda(stdOut));
1432
1391
  };
1433
1392
  protoOf(MutableClassicSolver).setStandardOutput = function (stdOut) {
1434
- return this.s35(stdOut);
1393
+ return this.v36(stdOut);
1435
1394
  };
1436
- protoOf(MutableClassicSolver).t35 = function (warnings) {
1437
- this.x29(MutableClassicSolver$setWarnings$lambda(warnings));
1395
+ protoOf(MutableClassicSolver).w36 = function (warnings) {
1396
+ this.z2a(MutableClassicSolver$setWarnings$lambda(warnings));
1438
1397
  };
1439
1398
  protoOf(MutableClassicSolver).setWarnings = function (warnings) {
1440
- return this.t35(warnings);
1399
+ return this.w36(warnings);
1441
1400
  };
1442
- protoOf(MutableClassicSolver).m1u = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
1401
+ protoOf(MutableClassicSolver).l1v = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
1443
1402
  return MutableClassicSolver_init_$Create$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings);
1444
1403
  };
1445
- protoOf(MutableClassicSolver).z1r = function () {
1404
+ protoOf(MutableClassicSolver).y1s = function () {
1446
1405
  return this.copy();
1447
1406
  };
1448
1407
  protoOf(MutableClassicSolver).clone = function () {
1449
- return this.z1r();
1408
+ return this.y1s();
1450
1409
  };
1451
1410
  function MutableClassicSolver() {
1452
1411
  }
1453
1412
  function SolutionIterator$Companion$of$lambda(_anonymous_parameter_0__qggqh8, _anonymous_parameter_1__qggqgd, _anonymous_parameter_2__qggqfi) {
1454
- return Unit_getInstance();
1413
+ return Unit_instance;
1455
1414
  }
1456
1415
  function Companion() {
1457
- Companion_instance = this;
1458
1416
  }
1459
- protoOf(Companion).z34 = function (initialState, onStateTransition) {
1417
+ protoOf(Companion).c36 = function (initialState, onStateTransition) {
1460
1418
  return new SimpleSolutionIterator(initialState, onStateTransition);
1461
1419
  };
1462
1420
  protoOf(Companion).of = function (initialState, onStateTransition, $super) {
@@ -1467,96 +1425,84 @@
1467
1425
  tmp = onStateTransition;
1468
1426
  }
1469
1427
  onStateTransition = tmp;
1470
- return $super === VOID ? this.z34(initialState, onStateTransition) : $super.z34.call(this, initialState, onStateTransition);
1428
+ return $super === VOID ? this.c36(initialState, onStateTransition) : $super.c36.call(this, initialState, onStateTransition);
1471
1429
  };
1472
- var Companion_instance;
1473
- function Companion_getInstance_22() {
1474
- if (Companion_instance == null)
1475
- new Companion();
1476
- return Companion_instance;
1430
+ var Companion_instance_15;
1431
+ function Companion_getInstance_6() {
1432
+ return Companion_instance_15;
1477
1433
  }
1478
1434
  function AbstractEndState(solution, context) {
1479
1435
  AbstractState.call(this, context);
1480
- this.w35_1 = solution;
1481
- this.x35_1 = context;
1436
+ this.z36_1 = solution;
1437
+ this.a37_1 = context;
1482
1438
  }
1483
- protoOf(AbstractEndState).e2h = function () {
1484
- return this.w35_1;
1439
+ protoOf(AbstractEndState).g2i = function () {
1440
+ return this.z36_1;
1485
1441
  };
1486
- protoOf(AbstractEndState).n5 = function () {
1487
- return this.x35_1;
1442
+ protoOf(AbstractEndState).uc = function () {
1443
+ return this.a37_1;
1488
1444
  };
1489
- protoOf(AbstractEndState).y35 = function () {
1445
+ protoOf(AbstractEndState).b37 = function () {
1490
1446
  throw NoSuchElementException_init_$Create$();
1491
1447
  };
1492
1448
  protoOf(AbstractEndState).asEndState = function () {
1493
- return this.a36();
1449
+ return this.d37();
1494
1450
  };
1495
1451
  function AbstractState$executionTime$delegate$lambda(this$0) {
1496
1452
  return function () {
1497
- return this$0.g36();
1453
+ return this$0.j37();
1498
1454
  };
1499
1455
  }
1500
1456
  function AbstractState(context) {
1501
- this.b36_1 = context;
1457
+ this.e37_1 = context;
1502
1458
  var tmp = this;
1503
- tmp.c36_1 = lazy(AbstractState$executionTime$delegate$lambda(this));
1459
+ tmp.f37_1 = lazy(AbstractState$executionTime$delegate$lambda(this));
1504
1460
  }
1505
- protoOf(AbstractState).n5 = function () {
1506
- return this.b36_1;
1461
+ protoOf(AbstractState).uc = function () {
1462
+ return this.e37_1;
1507
1463
  };
1508
- protoOf(AbstractState).e36 = function () {
1509
- var tmp$ret$0;
1464
+ protoOf(AbstractState).h37 = function () {
1510
1465
  // Inline function 'kotlin.getValue' call
1511
- var tmp0_getValue = executionTime$factory();
1512
- tmp$ret$0 = this.c36_1.b1();
1513
- return tmp$ret$0;
1466
+ var this_0 = this.f37_1;
1467
+ executionTime$factory();
1468
+ return this_0.r2();
1514
1469
  };
1515
- protoOf(AbstractState).f36 = function () {
1516
- return this.e36().ch(this.n5().t31_1).i1(this.n5().u31_1) > 0;
1470
+ protoOf(AbstractState).i37 = function () {
1471
+ return this.h37().pb(this.uc().w32_1).q6(this.uc().x32_1) > 0;
1517
1472
  };
1518
- protoOf(AbstractState).n = function () {
1473
+ protoOf(AbstractState).u = function () {
1519
1474
  var tmp;
1520
- if (this.f36()) {
1521
- var tmp0_exceededDuration = this.n5().u31_1;
1522
- var tmp1_context = this.n5();
1523
- tmp = new StateHalt(TimeOutException_init_$Create$(VOID, VOID, tmp1_context, tmp0_exceededDuration), this.n5().v32(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.h36()));
1475
+ if (this.i37()) {
1476
+ var tmp0_exceededDuration = this.uc().x32_1;
1477
+ var tmp1_context = this.uc();
1478
+ tmp = new StateHalt(TimeOutException_init_$Create$(VOID, VOID, tmp1_context, tmp0_exceededDuration), this.uc().y33(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.k37()));
1524
1479
  } else {
1525
- tmp = this.y35();
1480
+ tmp = this.b37();
1526
1481
  }
1527
1482
  return tmp;
1528
1483
  };
1529
1484
  protoOf(AbstractState).next = function () {
1530
- return this.n();
1485
+ return this.u();
1531
1486
  };
1532
- protoOf(AbstractState).g36 = function () {
1487
+ protoOf(AbstractState).j37 = function () {
1533
1488
  return currentTimeInstant();
1534
1489
  };
1535
- protoOf(AbstractState).h36 = function () {
1536
- var tmp$ret$0;
1490
+ protoOf(AbstractState).k37 = function () {
1537
1491
  // Inline function 'kotlin.Long.plus' call
1538
- var tmp0_plus = this.n5().y31_1;
1539
- tmp$ret$0 = tmp0_plus.bh(new Long(1, 0));
1540
- return tmp$ret$0;
1492
+ return this.uc().b33_1.ob(toLong(1));
1541
1493
  };
1542
- protoOf(AbstractState).i36 = function (_this__u8e3s4) {
1494
+ protoOf(AbstractState).l37 = function (_this__u8e3s4) {
1543
1495
  var tmp$ret$2;
1544
1496
  $l$block: {
1545
1497
  // Inline function 'kotlin.sequences.first' call
1546
- var tmp0_first = _this__u8e3s4.a32_1;
1547
- var tmp0_iterator = tmp0_first.j();
1548
- while (tmp0_iterator.m()) {
1549
- var element = tmp0_iterator.n();
1550
- var tmp$ret$1;
1498
+ var tmp0_iterator = _this__u8e3s4.d33_1.r();
1499
+ while (tmp0_iterator.s()) {
1500
+ var element = tmp0_iterator.u();
1551
1501
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.AbstractState.skipThrow.<anonymous>' call
1552
- var tmp0_safe_receiver = element.e31_1;
1553
- var tmp = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.wv();
1554
- var tmp$ret$0;
1502
+ var tmp0_safe_receiver = element.h32_1;
1503
+ var tmp = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.qw();
1555
1504
  // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
1556
- var tmp0__get_functor__thl4dk = Throw_getInstance();
1557
- tmp$ret$0 = tmp0__get_functor__thl4dk.signature.name;
1558
- tmp$ret$1 = !(tmp === tmp$ret$0);
1559
- if (tmp$ret$1) {
1505
+ if (!(tmp === Throw_getInstance().signature.name)) {
1560
1506
  tmp$ret$2 = element;
1561
1507
  break $l$block;
1562
1508
  }
@@ -1567,7 +1513,7 @@
1567
1513
  };
1568
1514
  function executionTime$factory() {
1569
1515
  return getPropertyCallableRef('executionTime', 1, KProperty1, function (receiver) {
1570
- return receiver.e36();
1516
+ return receiver.h37();
1571
1517
  }, null);
1572
1518
  }
1573
1519
  function EndState() {
@@ -1576,35 +1522,28 @@
1576
1522
  }
1577
1523
  function StateBacktracking(context) {
1578
1524
  AbstractState.call(this, context);
1579
- this.l36_1 = context;
1525
+ this.o37_1 = context;
1580
1526
  }
1581
- protoOf(StateBacktracking).n5 = function () {
1582
- return this.l36_1;
1527
+ protoOf(StateBacktracking).uc = function () {
1528
+ return this.o37_1;
1583
1529
  };
1584
- protoOf(StateBacktracking).y35 = function () {
1585
- var choicePoints = this.l36_1.v31_1;
1530
+ protoOf(StateBacktracking).b37 = function () {
1531
+ var choicePoints = this.o37_1.y32_1;
1586
1532
  var tmp;
1587
- var tmp$ret$1;
1588
1533
  // Inline function 'kotlin.let' call
1589
1534
  // Inline function 'kotlin.contracts.contract' call
1590
- var tmp$ret$0;
1591
1535
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateBacktracking.computeNext.<anonymous>' call
1592
- tmp$ret$0 = choicePoints === null ? true : !choicePoints.c33();
1593
- tmp$ret$1 = tmp$ret$0;
1594
- if (tmp$ret$1) {
1595
- tmp = new StateEnd(Companion_getInstance_14().no(this.l36_1.p31_1), this.l36_1.v32(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.h36()));
1536
+ if (choicePoints === null ? true : !choicePoints.f34()) {
1537
+ tmp = new StateEnd(Companion_instance_8.no(this.o37_1.s32_1), this.o37_1.y33(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.k37()));
1596
1538
  } else {
1597
1539
  var tmp$ret$3;
1598
1540
  $l$block: {
1599
1541
  // Inline function 'kotlin.sequences.first' call
1600
- var tmp0_first = ensureNotNull(choicePoints).d33();
1601
- var tmp0_iterator = tmp0_first.j();
1602
- while (tmp0_iterator.m()) {
1603
- var element = tmp0_iterator.n();
1604
- var tmp$ret$2;
1542
+ var tmp0_iterator = ensureNotNull(choicePoints).g34().r();
1543
+ while (tmp0_iterator.s()) {
1544
+ var element = tmp0_iterator.u();
1605
1545
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateBacktracking.computeNext.<anonymous>' call
1606
- tmp$ret$2 = element.p32().mq();
1607
- if (tmp$ret$2) {
1546
+ if (element.s33().gr()) {
1608
1547
  tmp$ret$3 = element;
1609
1548
  break $l$block;
1610
1549
  }
@@ -1612,9 +1551,9 @@
1612
1551
  throw NoSuchElementException_init_$Create$_0('Sequence contains no element matching the predicate.');
1613
1552
  }
1614
1553
  var choicePointContext = tmp$ret$3;
1615
- var nextContext = choicePointContext.u32(this.l36_1);
1554
+ var nextContext = choicePointContext.x33(this.o37_1);
1616
1555
  var tmp_0;
1617
- if (nextContext.s31_1.mq()) {
1556
+ if (nextContext.v32_1.gr()) {
1618
1557
  tmp_0 = new StatePrimitiveExecution(nextContext);
1619
1558
  } else {
1620
1559
  tmp_0 = new StateRuleExecution(nextContext);
@@ -1623,17 +1562,17 @@
1623
1562
  }
1624
1563
  return tmp;
1625
1564
  };
1626
- protoOf(StateBacktracking).d36 = function (context) {
1627
- return this.m36(context);
1565
+ protoOf(StateBacktracking).g37 = function (context) {
1566
+ return this.p37(context);
1628
1567
  };
1629
- protoOf(StateBacktracking).m36 = function (context) {
1568
+ protoOf(StateBacktracking).p37 = function (context) {
1630
1569
  return new StateBacktracking(context);
1631
1570
  };
1632
1571
  protoOf(StateBacktracking).toString = function () {
1633
- return 'StateBacktracking(context=' + this.l36_1 + ')';
1572
+ return 'StateBacktracking(context=' + this.o37_1 + ')';
1634
1573
  };
1635
1574
  protoOf(StateBacktracking).hashCode = function () {
1636
- return this.l36_1.hashCode();
1575
+ return this.o37_1.hashCode();
1637
1576
  };
1638
1577
  protoOf(StateBacktracking).equals = function (other) {
1639
1578
  if (this === other)
@@ -1641,48 +1580,48 @@
1641
1580
  if (!(other instanceof StateBacktracking))
1642
1581
  return false;
1643
1582
  var tmp0_other_with_cast = other instanceof StateBacktracking ? other : THROW_CCE();
1644
- if (!this.l36_1.equals(tmp0_other_with_cast.l36_1))
1583
+ if (!this.o37_1.equals(tmp0_other_with_cast.o37_1))
1645
1584
  return false;
1646
1585
  return true;
1647
1586
  };
1648
1587
  function StateEnd(solution, context) {
1649
1588
  AbstractEndState.call(this, solution, context);
1650
- this.r36_1 = solution;
1651
- this.s36_1 = context;
1589
+ this.u37_1 = solution;
1590
+ this.v37_1 = context;
1652
1591
  }
1653
- protoOf(StateEnd).e2h = function () {
1654
- return this.r36_1;
1592
+ protoOf(StateEnd).g2i = function () {
1593
+ return this.u37_1;
1655
1594
  };
1656
- protoOf(StateEnd).n5 = function () {
1657
- return this.s36_1;
1595
+ protoOf(StateEnd).uc = function () {
1596
+ return this.v37_1;
1658
1597
  };
1659
- protoOf(StateEnd).f36 = function () {
1598
+ protoOf(StateEnd).i37 = function () {
1660
1599
  return false;
1661
1600
  };
1662
- protoOf(StateEnd).y35 = function () {
1601
+ protoOf(StateEnd).b37 = function () {
1663
1602
  var tmp;
1664
- if (this.s36_1.c33()) {
1665
- var tmp0_$this = this.s36_1;
1666
- var tmp1_step = this.h36();
1667
- var tmp2_startTime = this.g36();
1668
- tmp = new StateBacktracking(tmp0_$this.v32(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, tmp2_startTime, VOID, VOID, VOID, VOID, tmp1_step));
1603
+ if (this.v37_1.f34()) {
1604
+ var tmp0_$this = this.v37_1;
1605
+ var tmp1_step = this.k37();
1606
+ var tmp2_startTime = this.j37();
1607
+ tmp = new StateBacktracking(tmp0_$this.y33(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, tmp2_startTime, VOID, VOID, VOID, VOID, tmp1_step));
1669
1608
  } else {
1670
- tmp = protoOf(AbstractEndState).y35.call(this);
1609
+ tmp = protoOf(AbstractEndState).b37.call(this);
1671
1610
  }
1672
1611
  return tmp;
1673
1612
  };
1674
- protoOf(StateEnd).d36 = function (context) {
1675
- return this.t36(this.r36_1, context);
1613
+ protoOf(StateEnd).g37 = function (context) {
1614
+ return this.w37(this.u37_1, context);
1676
1615
  };
1677
- protoOf(StateEnd).t36 = function (solution, context) {
1616
+ protoOf(StateEnd).w37 = function (solution, context) {
1678
1617
  return new StateEnd(solution, context);
1679
1618
  };
1680
1619
  protoOf(StateEnd).toString = function () {
1681
- return 'StateEnd(solution=' + this.r36_1 + ', context=' + this.s36_1 + ')';
1620
+ return 'StateEnd(solution=' + this.u37_1 + ', context=' + this.v37_1 + ')';
1682
1621
  };
1683
1622
  protoOf(StateEnd).hashCode = function () {
1684
- var result = hashCode(this.r36_1);
1685
- result = imul(result, 31) + this.s36_1.hashCode() | 0;
1623
+ var result = hashCode(this.u37_1);
1624
+ result = imul(result, 31) + this.v37_1.hashCode() | 0;
1686
1625
  return result;
1687
1626
  };
1688
1627
  protoOf(StateEnd).equals = function (other) {
@@ -1691,61 +1630,56 @@
1691
1630
  if (!(other instanceof StateEnd))
1692
1631
  return false;
1693
1632
  var tmp0_other_with_cast = other instanceof StateEnd ? other : THROW_CCE();
1694
- if (!equals(this.r36_1, tmp0_other_with_cast.r36_1))
1633
+ if (!equals(this.u37_1, tmp0_other_with_cast.u37_1))
1695
1634
  return false;
1696
- if (!this.s36_1.equals(tmp0_other_with_cast.s36_1))
1635
+ if (!this.v37_1.equals(tmp0_other_with_cast.v37_1))
1697
1636
  return false;
1698
1637
  return true;
1699
1638
  };
1700
1639
  protoOf(StateEnd).asEndState = function () {
1701
- return this.a36();
1640
+ return this.d37();
1702
1641
  };
1703
1642
  function isCatch(_this__u8e3s4, $this) {
1704
1643
  var tmp;
1705
- if (_this__u8e3s4.qv() === 3) {
1706
- var tmp_0 = _this__u8e3s4.wv();
1707
- var tmp$ret$0;
1644
+ if (_this__u8e3s4.kw() === 3) {
1645
+ var tmp_0 = _this__u8e3s4.qw();
1708
1646
  // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
1709
- var tmp0__get_functor__thl4dk = Catch_getInstance();
1710
- tmp$ret$0 = tmp0__get_functor__thl4dk.signature.name;
1711
- tmp = tmp_0 === tmp$ret$0;
1647
+ tmp = tmp_0 === Catch_getInstance().signature.name;
1712
1648
  } else {
1713
1649
  tmp = false;
1714
1650
  }
1715
1651
  return tmp;
1716
1652
  }
1717
1653
  function getExceptionContent(_this__u8e3s4, $this) {
1718
- var tmp0_subject = _this__u8e3s4;
1719
1654
  var tmp;
1720
- if (tmp0_subject instanceof MessageError) {
1721
- tmp = _this__u8e3s4.r25();
1655
+ if (_this__u8e3s4 instanceof MessageError) {
1656
+ tmp = _this__u8e3s4.s26();
1722
1657
  } else {
1723
- tmp = _this__u8e3s4.t23();
1658
+ tmp = _this__u8e3s4.u24();
1724
1659
  }
1725
1660
  return tmp;
1726
1661
  }
1727
1662
  function toPublicException(_this__u8e3s4, $this) {
1728
- var tmp0_subject = _this__u8e3s4;
1729
1663
  var tmp;
1730
- if (tmp0_subject instanceof MessageError) {
1731
- tmp = Companion_getInstance_15().forUncaughtError(_this__u8e3s4);
1664
+ if (_this__u8e3s4 instanceof MessageError) {
1665
+ tmp = Companion_instance_9.forUncaughtError(_this__u8e3s4);
1732
1666
  } else {
1733
1667
  tmp = _this__u8e3s4;
1734
1668
  }
1735
1669
  return tmp;
1736
1670
  }
1737
1671
  function _get_finalState__3aigq8($this) {
1738
- return new StateHalt(toPublicException($this.w36_1, $this), $this.x36_1.v32(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.h36()));
1672
+ return new StateHalt(toPublicException($this.z37_1, $this), $this.a38_1.y33(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.k37()));
1739
1673
  }
1740
1674
  function _get_handleExceptionInParentContext__yj3v4e($this) {
1741
- return new StateException($this.w36_1, ensureNotNull($this.x36_1.w31_1).v32(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.h36()));
1675
+ return new StateException($this.z37_1, ensureNotNull($this.a38_1.z32_1).y33(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.k37()));
1742
1676
  }
1743
1677
  function handleStruct($this, unificator, catchGoal, error) {
1744
1678
  var tmp;
1745
1679
  if (isCatch(catchGoal, $this)) {
1746
1680
  var catcher = unificator.mgu(catchGoal.get(1), getExceptionContent(error, $this));
1747
1681
  tmp = handleCatch($this, catchGoal, catcher);
1748
- } else if ($this.x36_1.r34()) {
1682
+ } else if ($this.a38_1.u35()) {
1749
1683
  tmp = _get_finalState__3aigq8($this);
1750
1684
  } else {
1751
1685
  tmp = _get_handleExceptionInParentContext__yj3v4e($this);
@@ -1754,18 +1688,18 @@
1754
1688
  }
1755
1689
  function handleCatch($this, catchGoal, catcher) {
1756
1690
  var tmp;
1757
- if (catcher.g11()) {
1758
- var tmp_0 = $this.x36_1.o31_1.plus(catcher);
1691
+ if (catcher.w12()) {
1692
+ var tmp_0 = $this.a38_1.r32_1.plus(catcher);
1759
1693
  var newSubstitution = tmp_0.filterEntry(StateException$handleCatch$lambda($this));
1760
1694
  var subGoals = catchGoal.get(2).getSubstituted(newSubstitution, []);
1761
- var newGoals = plus_0(toGoals(subGoals), $this.x36_1.q31_1.kq());
1762
- var tmp0_$this = $this.x36_1;
1763
- var tmp1_rules = Companion_getInstance_12().empty();
1764
- var tmp2_primitives = Companion_getInstance_12().empty();
1695
+ var newGoals = plus_0(toGoals(subGoals), $this.a38_1.t32_1.er());
1696
+ var tmp0_$this = $this.a38_1;
1697
+ var tmp1_rules = Companion_instance_7.empty();
1698
+ var tmp2_primitives = Companion_instance_7.empty();
1765
1699
  var tmp3_substitution = newSubstitution.castToUnifier();
1766
- var tmp4_step = $this.h36();
1767
- tmp = new StateGoalSelection(tmp0_$this.v32(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, tmp3_substitution, VOID, newGoals, tmp1_rules, tmp2_primitives, VOID, VOID, VOID, VOID, VOID, tmp4_step));
1768
- } else if ($this.x36_1.r34()) {
1700
+ var tmp4_step = $this.k37();
1701
+ tmp = new StateGoalSelection(tmp0_$this.y33(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.a38_1.u35()) {
1769
1703
  tmp = _get_finalState__3aigq8($this);
1770
1704
  } else {
1771
1705
  tmp = _get_handleExceptionInParentContext__yj3v4e($this);
@@ -1774,44 +1708,41 @@
1774
1708
  }
1775
1709
  function StateException$handleCatch$lambda(this$0) {
1776
1710
  return function (_name_for_destructuring_parameter_0__wldtmu) {
1777
- var tmp$ret$0;
1778
1711
  // Inline function 'kotlin.collections.component1' call
1779
- tmp$ret$0 = _name_for_destructuring_parameter_0__wldtmu.a1();
1780
- var it = tmp$ret$0;
1781
- return this$0.x36_1.t34(it);
1712
+ var it = _name_for_destructuring_parameter_0__wldtmu.q2();
1713
+ return this$0.a38_1.w35(it);
1782
1714
  };
1783
1715
  }
1784
1716
  function StateException(exception, context) {
1785
1717
  AbstractState.call(this, context);
1786
- this.w36_1 = exception;
1787
- this.x36_1 = context;
1718
+ this.z37_1 = exception;
1719
+ this.a38_1 = context;
1788
1720
  }
1789
- protoOf(StateException).n5 = function () {
1790
- return this.x36_1;
1721
+ protoOf(StateException).uc = function () {
1722
+ return this.a38_1;
1791
1723
  };
1792
- protoOf(StateException).y35 = function () {
1793
- var tmp0_subject = this.w36_1;
1724
+ protoOf(StateException).b37 = function () {
1794
1725
  var tmp;
1795
- if (tmp0_subject instanceof LogicError) {
1796
- var catchGoal = ensureNotNull(this.x36_1.s34());
1797
- tmp = catchGoal.aw() ? handleStruct(this, this.x36_1.f31_1, catchGoal.castToStruct(), this.w36_1) : this.x36_1.r34() ? _get_finalState__3aigq8(this) : _get_handleExceptionInParentContext__yj3v4e(this);
1726
+ if (this.z37_1 instanceof LogicError) {
1727
+ var catchGoal = ensureNotNull(this.a38_1.v35());
1728
+ tmp = catchGoal.ww() ? handleStruct(this, this.a38_1.i32_1, catchGoal.castToStruct(), this.z37_1) : this.a38_1.u35() ? _get_finalState__3aigq8(this) : _get_handleExceptionInParentContext__yj3v4e(this);
1798
1729
  } else {
1799
1730
  tmp = _get_finalState__3aigq8(this);
1800
1731
  }
1801
1732
  return tmp;
1802
1733
  };
1803
- protoOf(StateException).d36 = function (context) {
1804
- return this.y36(this.w36_1, context);
1734
+ protoOf(StateException).g37 = function (context) {
1735
+ return this.b38(this.z37_1, context);
1805
1736
  };
1806
- protoOf(StateException).y36 = function (exception, context) {
1737
+ protoOf(StateException).b38 = function (exception, context) {
1807
1738
  return new StateException(exception, context);
1808
1739
  };
1809
1740
  protoOf(StateException).toString = function () {
1810
- return 'StateException(exception=' + this.w36_1 + ', context=' + this.x36_1 + ')';
1741
+ return 'StateException(exception=' + this.z37_1 + ', context=' + this.a38_1 + ')';
1811
1742
  };
1812
1743
  protoOf(StateException).hashCode = function () {
1813
- var result = hashCode(this.w36_1);
1814
- result = imul(result, 31) + this.x36_1.hashCode() | 0;
1744
+ var result = hashCode(this.z37_1);
1745
+ result = imul(result, 31) + this.a38_1.hashCode() | 0;
1815
1746
  return result;
1816
1747
  };
1817
1748
  protoOf(StateException).equals = function (other) {
@@ -1820,78 +1751,73 @@
1820
1751
  if (!(other instanceof StateException))
1821
1752
  return false;
1822
1753
  var tmp0_other_with_cast = other instanceof StateException ? other : THROW_CCE();
1823
- if (!equals(this.w36_1, tmp0_other_with_cast.w36_1))
1754
+ if (!equals(this.z37_1, tmp0_other_with_cast.z37_1))
1824
1755
  return false;
1825
- if (!this.x36_1.equals(tmp0_other_with_cast.x36_1))
1756
+ if (!this.a38_1.equals(tmp0_other_with_cast.a38_1))
1826
1757
  return false;
1827
1758
  return true;
1828
1759
  };
1829
1760
  function StateGoalSelection$computeNext$lambda(this$0) {
1830
1761
  return function (_name_for_destructuring_parameter_0__wldtmu) {
1831
- var tmp$ret$0;
1832
1762
  // Inline function 'kotlin.collections.component1' call
1833
- tmp$ret$0 = _name_for_destructuring_parameter_0__wldtmu.a1();
1834
- var it = tmp$ret$0;
1835
- return this$0.b37_1.t34(it);
1763
+ var it = _name_for_destructuring_parameter_0__wldtmu.q2();
1764
+ return this$0.e38_1.w35(it);
1836
1765
  };
1837
1766
  }
1838
1767
  function StateGoalSelection(context) {
1839
1768
  AbstractState.call(this, context);
1840
- this.b37_1 = context;
1769
+ this.e38_1 = context;
1841
1770
  }
1842
- protoOf(StateGoalSelection).n5 = function () {
1843
- return this.b37_1;
1771
+ protoOf(StateGoalSelection).uc = function () {
1772
+ return this.e38_1;
1844
1773
  };
1845
- protoOf(StateGoalSelection).y35 = function () {
1774
+ protoOf(StateGoalSelection).b37 = function () {
1846
1775
  var tmp;
1847
- if (this.b37_1.q31_1.nq()) {
1776
+ if (this.e38_1.t32_1.hr()) {
1848
1777
  var tmp_0;
1849
- if (this.b37_1.r34()) {
1850
- tmp_0 = new StateEnd(Companion_getInstance_14().a1v(this.b37_1.p31_1, this.b37_1.o31_1), this.b37_1.v32(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.h36()));
1778
+ if (this.e38_1.u35()) {
1779
+ tmp_0 = new StateEnd(Companion_instance_8.g1w(this.e38_1.s32_1, this.e38_1.r32_1), this.e38_1.y33(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.k37()));
1851
1780
  } else {
1852
- var tmp$ret$1;
1853
1781
  // Inline function 'kotlin.let' call
1854
- var tmp0_let = ensureNotNull(this.b37_1.w31_1);
1855
1782
  // Inline function 'kotlin.contracts.contract' call
1856
- var tmp$ret$0;
1857
1783
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateGoalSelection.computeNext.<anonymous>' call
1858
- var tmp0_choicePoints = this.b37_1.v31_1;
1859
- var tmp1_flags = this.b37_1.h31_1;
1860
- var tmp2_dynamicKb = this.b37_1.j31_1;
1861
- var tmp3_staticKb = this.b37_1.i31_1;
1862
- var tmp4_substitution = this.b37_1.o31_1.w10(StateGoalSelection$computeNext$lambda(this));
1863
- var tmp5_goals = tmp0_let.q31_1.kq();
1864
- var tmp6_procedure = tmp0_let.e31_1;
1865
- var tmp7_step = this.h36();
1866
- var tmp8_startTime = this.b37_1.t31_1;
1867
- var tmp9_operators = this.b37_1.k31_1;
1868
- var tmp10_inputChannels = this.b37_1.l31_1;
1869
- var tmp11_outputChannels = this.b37_1.m31_1;
1870
- var tmp12_libraries = this.b37_1.g31_1;
1871
- var tmp13_customData = this.b37_1.n31_1;
1872
- tmp$ret$0 = tmp0_let.v32(tmp6_procedure, VOID, tmp12_libraries, tmp1_flags, tmp3_staticKb, tmp2_dynamicKb, tmp9_operators, tmp10_inputChannels, tmp11_outputChannels, tmp13_customData, tmp4_substitution, VOID, tmp5_goals, VOID, VOID, tmp8_startTime, VOID, tmp0_choicePoints, VOID, VOID, tmp7_step);
1873
- tmp$ret$1 = tmp$ret$0;
1784
+ var it = ensureNotNull(this.e38_1.z32_1);
1785
+ var tmp0_choicePoints = this.e38_1.y32_1;
1786
+ var tmp1_flags = this.e38_1.k32_1;
1787
+ var tmp2_dynamicKb = this.e38_1.m32_1;
1788
+ var tmp3_staticKb = this.e38_1.l32_1;
1789
+ var tmp4_substitution = this.e38_1.r32_1.q12(StateGoalSelection$computeNext$lambda(this));
1790
+ var tmp5_goals = it.t32_1.er();
1791
+ var tmp6_procedure = it.h32_1;
1792
+ var tmp7_step = this.k37();
1793
+ var tmp8_startTime = this.e38_1.w32_1;
1794
+ var tmp9_operators = this.e38_1.n32_1;
1795
+ var tmp10_inputChannels = this.e38_1.o32_1;
1796
+ var tmp11_outputChannels = this.e38_1.p32_1;
1797
+ var tmp12_libraries = this.e38_1.j32_1;
1798
+ var tmp13_customData = this.e38_1.q32_1;
1799
+ var tmp$ret$1 = it.y33(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);
1874
1800
  tmp_0 = new StateGoalSelection(tmp$ret$1);
1875
1801
  }
1876
1802
  tmp = tmp_0;
1877
- } else if (equals(this.b37_1.h31_1.get(TrackVariables_getInstance()), TrackVariables_getInstance().x27_1)) {
1878
- tmp = new StatePrimitiveSelection(this.b37_1.v32(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.h36(), plus_1(this.b37_1.z31_1, toSet(ensureNotNull(this.b37_1.q31_1.lq()).yv()))));
1803
+ } else if (equals(this.e38_1.k32_1.get(TrackVariables_getInstance()), TrackVariables_getInstance().z28_1)) {
1804
+ tmp = new StatePrimitiveSelection(this.e38_1.y33(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.k37(), plus_1(this.e38_1.c33_1, toSet(ensureNotNull(this.e38_1.t32_1.fr()).sw()))));
1879
1805
  } else {
1880
- tmp = new StatePrimitiveSelection(this.b37_1.v32(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.h36()));
1806
+ tmp = new StatePrimitiveSelection(this.e38_1.y33(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.k37()));
1881
1807
  }
1882
1808
  return tmp;
1883
1809
  };
1884
- protoOf(StateGoalSelection).d36 = function (context) {
1885
- return this.m36(context);
1810
+ protoOf(StateGoalSelection).g37 = function (context) {
1811
+ return this.p37(context);
1886
1812
  };
1887
- protoOf(StateGoalSelection).m36 = function (context) {
1813
+ protoOf(StateGoalSelection).p37 = function (context) {
1888
1814
  return new StateGoalSelection(context);
1889
1815
  };
1890
1816
  protoOf(StateGoalSelection).toString = function () {
1891
- return 'StateGoalSelection(context=' + this.b37_1 + ')';
1817
+ return 'StateGoalSelection(context=' + this.e38_1 + ')';
1892
1818
  };
1893
1819
  protoOf(StateGoalSelection).hashCode = function () {
1894
- return this.b37_1.hashCode();
1820
+ return this.e38_1.hashCode();
1895
1821
  };
1896
1822
  protoOf(StateGoalSelection).equals = function (other) {
1897
1823
  if (this === other)
@@ -1899,30 +1825,30 @@
1899
1825
  if (!(other instanceof StateGoalSelection))
1900
1826
  return false;
1901
1827
  var tmp0_other_with_cast = other instanceof StateGoalSelection ? other : THROW_CCE();
1902
- if (!this.b37_1.equals(tmp0_other_with_cast.b37_1))
1828
+ if (!this.e38_1.equals(tmp0_other_with_cast.e38_1))
1903
1829
  return false;
1904
1830
  return true;
1905
1831
  };
1906
1832
  function StateHalt(exception, context) {
1907
- AbstractEndState.call(this, Companion_getInstance_14().halt(context.p31_1, exception), context);
1908
- this.g37_1 = exception;
1909
- this.h37_1 = context;
1833
+ AbstractEndState.call(this, Companion_instance_8.halt(context.s32_1, exception), context);
1834
+ this.j38_1 = exception;
1835
+ this.k38_1 = context;
1910
1836
  }
1911
- protoOf(StateHalt).n5 = function () {
1912
- return this.h37_1;
1837
+ protoOf(StateHalt).uc = function () {
1838
+ return this.k38_1;
1913
1839
  };
1914
- protoOf(StateHalt).d36 = function (context) {
1915
- return this.y36(this.g37_1, context);
1840
+ protoOf(StateHalt).g37 = function (context) {
1841
+ return this.b38(this.j38_1, context);
1916
1842
  };
1917
- protoOf(StateHalt).y36 = function (exception, context) {
1843
+ protoOf(StateHalt).b38 = function (exception, context) {
1918
1844
  return new StateHalt(exception, context);
1919
1845
  };
1920
1846
  protoOf(StateHalt).toString = function () {
1921
- return 'StateHalt(exception=' + this.g37_1 + ', context=' + this.h37_1 + ')';
1847
+ return 'StateHalt(exception=' + this.j38_1 + ', context=' + this.k38_1 + ')';
1922
1848
  };
1923
1849
  protoOf(StateHalt).hashCode = function () {
1924
- var result = hashCode(this.g37_1);
1925
- result = imul(result, 31) + this.h37_1.hashCode() | 0;
1850
+ var result = hashCode(this.j38_1);
1851
+ result = imul(result, 31) + this.k38_1.hashCode() | 0;
1926
1852
  return result;
1927
1853
  };
1928
1854
  protoOf(StateHalt).equals = function (other) {
@@ -1931,43 +1857,43 @@
1931
1857
  if (!(other instanceof StateHalt))
1932
1858
  return false;
1933
1859
  var tmp0_other_with_cast = other instanceof StateHalt ? other : THROW_CCE();
1934
- if (!equals(this.g37_1, tmp0_other_with_cast.g37_1))
1860
+ if (!equals(this.j38_1, tmp0_other_with_cast.j38_1))
1935
1861
  return false;
1936
- if (!this.h37_1.equals(tmp0_other_with_cast.h37_1))
1862
+ if (!this.k38_1.equals(tmp0_other_with_cast.k38_1))
1937
1863
  return false;
1938
1864
  return true;
1939
1865
  };
1940
1866
  protoOf(StateHalt).asEndState = function () {
1941
- return this.a36();
1867
+ return this.d37();
1942
1868
  };
1943
1869
  function StateInit(context) {
1944
1870
  AbstractState.call(this, context);
1945
- this.k37_1 = context;
1946
- }
1947
- protoOf(StateInit).n5 = function () {
1948
- return this.k37_1;
1949
- };
1950
- protoOf(StateInit).y35 = function () {
1951
- var tmp0_$this = this.k37_1;
1952
- var tmp1_goals = toGoals(this.k37_1.p31_1);
1953
- var tmp2_rules = Companion_getInstance_12().empty();
1954
- var tmp3_primitives = Companion_getInstance_12().empty();
1955
- var tmp4_substitution = Companion_getInstance_10().empty();
1956
- var tmp5_customData = this.k37_1.n31_1.preservePersistent();
1871
+ this.n38_1 = context;
1872
+ }
1873
+ protoOf(StateInit).uc = function () {
1874
+ return this.n38_1;
1875
+ };
1876
+ protoOf(StateInit).b37 = function () {
1877
+ var tmp0_$this = this.n38_1;
1878
+ var tmp1_goals = toGoals(this.n38_1.s32_1);
1879
+ var tmp2_rules = Companion_instance_7.empty();
1880
+ var tmp3_primitives = Companion_instance_7.empty();
1881
+ var tmp4_substitution = Companion_getInstance_2().empty();
1882
+ var tmp5_customData = this.n38_1.q32_1.preservePersistent();
1957
1883
  var tmp6_relevantVariables = emptySet();
1958
- return new StateGoalSelection(appendRulesAndChoicePoints(tmp0_$this.v32(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, tmp5_customData, tmp4_substitution, VOID, tmp1_goals, tmp2_rules, tmp3_primitives, VOID, VOID, null, null, 0, new Long(1, 0), tmp6_relevantVariables), Companion_getInstance_12().empty()));
1884
+ return new StateGoalSelection(appendRulesAndChoicePoints(tmp0_$this.y33(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()));
1959
1885
  };
1960
- protoOf(StateInit).d36 = function (context) {
1961
- return this.m36(context);
1886
+ protoOf(StateInit).g37 = function (context) {
1887
+ return this.p37(context);
1962
1888
  };
1963
- protoOf(StateInit).m36 = function (context) {
1889
+ protoOf(StateInit).p37 = function (context) {
1964
1890
  return new StateInit(context);
1965
1891
  };
1966
1892
  protoOf(StateInit).toString = function () {
1967
- return 'StateInit(context=' + this.k37_1 + ')';
1893
+ return 'StateInit(context=' + this.n38_1 + ')';
1968
1894
  };
1969
1895
  protoOf(StateInit).hashCode = function () {
1970
- return this.k37_1.hashCode();
1896
+ return this.n38_1.hashCode();
1971
1897
  };
1972
1898
  protoOf(StateInit).equals = function (other) {
1973
1899
  if (this === other)
@@ -1975,37 +1901,31 @@
1975
1901
  if (!(other instanceof StateInit))
1976
1902
  return false;
1977
1903
  var tmp0_other_with_cast = other instanceof StateInit ? other : THROW_CCE();
1978
- if (!this.k37_1.equals(tmp0_other_with_cast.k37_1))
1904
+ if (!this.n38_1.equals(tmp0_other_with_cast.n38_1))
1979
1905
  return false;
1980
1906
  return true;
1981
1907
  };
1982
1908
  function copyFromCurrentPrimitive(_this__u8e3s4, $this, goals, procedureFromAncestor, substitution) {
1983
- var tmp0_safe_receiver = _this__u8e3s4.s31_1.lq();
1909
+ var tmp0_safe_receiver = _this__u8e3s4.v32_1.fr();
1984
1910
  var tmp;
1985
1911
  if (tmp0_safe_receiver == null) {
1986
1912
  tmp = null;
1987
1913
  } else {
1988
- var tmp$ret$1;
1989
1914
  // Inline function 'kotlin.let' call
1990
1915
  // Inline function 'kotlin.contracts.contract' call
1991
- var tmp$ret$0;
1992
1916
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StatePrimitiveExecution.copyFromCurrentPrimitive.<anonymous>' call
1993
- tmp$ret$0 = _this__u8e3s4.v34(tmp0_safe_receiver.sideEffects);
1994
- tmp$ret$1 = tmp$ret$0;
1995
- tmp = tmp$ret$1;
1917
+ tmp = _this__u8e3s4.y35(tmp0_safe_receiver.sideEffects);
1996
1918
  }
1997
1919
  var tmp1_elvis_lhs = tmp;
1998
1920
  var ctx = tmp1_elvis_lhs == null ? _this__u8e3s4 : tmp1_elvis_lhs;
1999
- var tmp3_elvis_lhs = goals;
2000
- var tmp4_goals = tmp3_elvis_lhs == null ? _this__u8e3s4.q31_1 : tmp3_elvis_lhs;
2001
- var tmp_0 = drop(_this__u8e3s4.a32_1, procedureFromAncestor);
1921
+ var tmp4_goals = goals == null ? _this__u8e3s4.t32_1 : goals;
1922
+ var tmp_0 = drop(_this__u8e3s4.d33_1, procedureFromAncestor);
2002
1923
  var tmp5_procedure = first(map(tmp_0, StatePrimitiveExecution$copyFromCurrentPrimitive$lambda));
2003
- var tmp6_primitives = Companion_getInstance_12().empty();
2004
- var tmp2_elvis_lhs = substitution;
2005
- var tmp_1 = tmp2_elvis_lhs == null ? _this__u8e3s4.o31_1 : tmp2_elvis_lhs;
1924
+ var tmp6_primitives = Companion_instance_7.empty();
1925
+ var tmp_1 = substitution == null ? _this__u8e3s4.r32_1 : substitution;
2006
1926
  var tmp7_substitution = isInterface(tmp_1, Unifier) ? tmp_1 : THROW_CCE();
2007
- var tmp8_step = $this.h36();
2008
- return ctx.v32(tmp5_procedure, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, tmp7_substitution, VOID, tmp4_goals, VOID, tmp6_primitives, VOID, VOID, VOID, VOID, VOID, tmp8_step);
1927
+ var tmp8_step = $this.k37();
1928
+ return ctx.y33(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);
2009
1929
  }
2010
1930
  function copyFromCurrentPrimitive$default(_this__u8e3s4, $this, goals, procedureFromAncestor, substitution, $super) {
2011
1931
  goals = goals === VOID ? null : goals;
@@ -2014,21 +1934,21 @@
2014
1934
  return copyFromCurrentPrimitive(_this__u8e3s4, $this, goals, procedureFromAncestor, substitution);
2015
1935
  }
2016
1936
  function StatePrimitiveExecution$copyFromCurrentPrimitive$lambda(it) {
2017
- return it.e31_1;
1937
+ return it.h32_1;
2018
1938
  }
2019
1939
  function StatePrimitiveExecution$computeNext$lambda(this$0) {
2020
1940
  return function (it) {
2021
- return new StateGoalSelection(copyFromCurrentPrimitive(this$0.n37_1, this$0, this$0.n37_1.q31_1.kq(), 1, this$0.n37_1.f31_1.mergeWithOccurCheck(this$0.n37_1.o31_1, it.r1t(), false)));
1941
+ return new StateGoalSelection(copyFromCurrentPrimitive(this$0.q38_1, this$0, this$0.q38_1.t32_1.er(), 1, this$0.q38_1.i32_1.mergeWithOccurCheck(this$0.q38_1.r32_1, it.q1u(), false)));
2022
1942
  };
2023
1943
  }
2024
1944
  function StatePrimitiveExecution$computeNext$lambda_0(this$0) {
2025
1945
  return function (it) {
2026
- return new StateBacktracking(copyFromCurrentPrimitive$default(ensureNotNull(this$0.n37_1.w31_1), this$0));
1946
+ return new StateBacktracking(copyFromCurrentPrimitive$default(ensureNotNull(this$0.q38_1.z32_1), this$0));
2027
1947
  };
2028
1948
  }
2029
1949
  function StatePrimitiveExecution$computeNext$lambda_1(this$0) {
2030
1950
  return function (it) {
2031
- return new StateException(it.y1u().updateLastContext(this$0.i36(this$0.n37_1)), copyFromCurrentPrimitive$default(this$0.n37_1, this$0));
1951
+ return new StateException(it.x1v().updateLastContext(this$0.l37(this$0.q38_1)), copyFromCurrentPrimitive$default(this$0.q38_1, this$0));
2032
1952
  };
2033
1953
  }
2034
1954
  function StatePrimitiveExecution$computeNext$lambda_2(it) {
@@ -2036,15 +1956,15 @@
2036
1956
  }
2037
1957
  function StatePrimitiveExecution(context) {
2038
1958
  AbstractState.call(this, context);
2039
- this.n37_1 = context;
1959
+ this.q38_1 = context;
2040
1960
  }
2041
- protoOf(StatePrimitiveExecution).n5 = function () {
2042
- return this.n37_1;
1961
+ protoOf(StatePrimitiveExecution).uc = function () {
1962
+ return this.q38_1;
2043
1963
  };
2044
- protoOf(StatePrimitiveExecution).y35 = function () {
1964
+ protoOf(StatePrimitiveExecution).b37 = function () {
2045
1965
  var tmp;
2046
1966
  try {
2047
- var tmp0_safe_receiver = this.n37_1.s31_1.lq();
1967
+ var tmp0_safe_receiver = this.q38_1.v32_1.fr();
2048
1968
  var tmp1_safe_receiver = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.solution;
2049
1969
  var tmp_0;
2050
1970
  if (tmp1_safe_receiver == null) {
@@ -2053,15 +1973,15 @@
2053
1973
  var tmp_1 = StatePrimitiveExecution$computeNext$lambda(this);
2054
1974
  var tmp_2 = StatePrimitiveExecution$computeNext$lambda_0(this);
2055
1975
  var tmp_3 = StatePrimitiveExecution$computeNext$lambda_1(this);
2056
- tmp_0 = tmp1_safe_receiver.f1v(tmp_1, tmp_2, tmp_3, StatePrimitiveExecution$computeNext$lambda_2);
1976
+ tmp_0 = tmp1_safe_receiver.b1w(tmp_1, tmp_2, tmp_3, StatePrimitiveExecution$computeNext$lambda_2);
2057
1977
  }
2058
1978
  var tmp2_elvis_lhs = tmp_0;
2059
- tmp = tmp2_elvis_lhs == null ? new StateBacktracking(copyFromCurrentPrimitive$default(this.n37_1, this)) : tmp2_elvis_lhs;
1979
+ tmp = tmp2_elvis_lhs == null ? new StateBacktracking(copyFromCurrentPrimitive$default(this.q38_1, this)) : tmp2_elvis_lhs;
2060
1980
  } catch ($p) {
2061
1981
  var tmp_4;
2062
1982
  if ($p instanceof ResolutionException) {
2063
1983
  var exception = $p;
2064
- tmp_4 = new StateException(exception.updateLastContext(this.i36(this.n37_1)), this.n37_1.v32(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.h36()));
1984
+ tmp_4 = new StateException(exception.updateLastContext(this.l37(this.q38_1)), this.q38_1.y33(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.k37()));
2065
1985
  } else {
2066
1986
  throw $p;
2067
1987
  }
@@ -2069,17 +1989,17 @@
2069
1989
  }
2070
1990
  return tmp;
2071
1991
  };
2072
- protoOf(StatePrimitiveExecution).d36 = function (context) {
2073
- return this.m36(context);
1992
+ protoOf(StatePrimitiveExecution).g37 = function (context) {
1993
+ return this.p37(context);
2074
1994
  };
2075
- protoOf(StatePrimitiveExecution).m36 = function (context) {
1995
+ protoOf(StatePrimitiveExecution).p37 = function (context) {
2076
1996
  return new StatePrimitiveExecution(context);
2077
1997
  };
2078
1998
  protoOf(StatePrimitiveExecution).toString = function () {
2079
- return 'StatePrimitiveExecution(context=' + this.n37_1 + ')';
1999
+ return 'StatePrimitiveExecution(context=' + this.q38_1 + ')';
2080
2000
  };
2081
2001
  protoOf(StatePrimitiveExecution).hashCode = function () {
2082
- return this.n37_1.hashCode();
2002
+ return this.q38_1.hashCode();
2083
2003
  };
2084
2004
  protoOf(StatePrimitiveExecution).equals = function (other) {
2085
2005
  if (this === other)
@@ -2087,44 +2007,43 @@
2087
2007
  if (!(other instanceof StatePrimitiveExecution))
2088
2008
  return false;
2089
2009
  var tmp0_other_with_cast = other instanceof StatePrimitiveExecution ? other : THROW_CCE();
2090
- if (!this.n37_1.equals(tmp0_other_with_cast.n37_1))
2010
+ if (!this.q38_1.equals(tmp0_other_with_cast.q38_1))
2091
2011
  return false;
2092
2012
  return true;
2093
2013
  };
2094
2014
  function exceptionalState($this, exception) {
2095
- return new StateException(exception, $this.q37_1.v32(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.h36()));
2015
+ return new StateException(exception, $this.t38_1.y33(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.k37()));
2096
2016
  }
2097
2017
  function StatePrimitiveSelection(context) {
2098
2018
  AbstractState.call(this, context);
2099
- this.q37_1 = context;
2019
+ this.t38_1 = context;
2100
2020
  }
2101
- protoOf(StatePrimitiveSelection).n5 = function () {
2102
- return this.q37_1;
2021
+ protoOf(StatePrimitiveSelection).uc = function () {
2022
+ return this.t38_1;
2103
2023
  };
2104
- protoOf(StatePrimitiveSelection).y35 = function () {
2105
- var tmp$ret$1;
2024
+ protoOf(StatePrimitiveSelection).b37 = function () {
2106
2025
  // Inline function 'kotlin.with' call
2107
- var tmp0_with = this.q37_1;
2108
2026
  // Inline function 'kotlin.contracts.contract' call
2109
- var tmp$ret$0;
2110
2027
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StatePrimitiveSelection.computeNext.<anonymous>' call
2111
- var goal = ensureNotNull(tmp0_with.s34());
2028
+ var $this$with = this.t38_1;
2029
+ var goal = ensureNotNull($this$with.v35());
2112
2030
  var tmp;
2113
- if (goal.mw()) {
2114
- tmp = exceptionalState(this, Companion_getInstance_17().forGoal(this.q37_1, extractSignature(ensureNotNull(this.q37_1.e31_1)), goal.castToVar()));
2115
- } else if (goal.aw()) {
2031
+ if (goal.mx()) {
2032
+ tmp = exceptionalState(this, Companion_instance_11.forGoal(this.t38_1, extractSignature(ensureNotNull(this.t38_1.h32_1)), goal.castToVar()));
2033
+ } else if (goal.ww()) {
2116
2034
  var goalStruct = goal.castToStruct();
2117
2035
  var signature = extractSignature(goalStruct);
2118
2036
  var tmp_0;
2119
- if (tmp0_with.g31_1.hasPrimitive(signature)) {
2120
- var childContext = createChild(tmp0_with);
2037
+ if ($this$with.j32_1.hasPrimitive(signature)) {
2038
+ var childContext = createChild($this$with);
2121
2039
  var tmp_1;
2122
2040
  try {
2123
- var request = toRequest(childContext, goalStruct, signature, this.e36());
2124
- var tmp0_elvis_lhs = tmp0_with.g31_1.p2c().f3(signature);
2041
+ var request = toRequest(childContext, goalStruct, signature, this.h37());
2042
+ var tmp0_elvis_lhs = $this$with.j32_1.r2d().x2(signature);
2125
2043
  var tmp_2;
2126
2044
  if (tmp0_elvis_lhs == null) {
2127
- throw IllegalStateException_init_$Create$('Inconsistent behaviour of Library.contains and Library.get');
2045
+ var message = 'Inconsistent behaviour of Library.contains and Library.get';
2046
+ throw IllegalStateException_init_$Create$(toString(message));
2128
2047
  } else {
2129
2048
  tmp_2 = tmp0_elvis_lhs;
2130
2049
  }
@@ -2135,7 +2054,7 @@
2135
2054
  var tmp_3;
2136
2055
  if ($p instanceof ResolutionException) {
2137
2056
  var exception = $p;
2138
- tmp_3 = exceptionalState(this, exception.updateLastContext(this.i36(childContext)));
2057
+ tmp_3 = exceptionalState(this, exception.updateLastContext(this.l37(childContext)));
2139
2058
  } else {
2140
2059
  throw $p;
2141
2060
  }
@@ -2143,30 +2062,28 @@
2143
2062
  }
2144
2063
  tmp_0 = tmp_1;
2145
2064
  } else {
2146
- tmp_0 = new StateRuleSelection(this.q37_1.v32(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.h36()));
2065
+ tmp_0 = new StateRuleSelection(this.t38_1.y33(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.k37()));
2147
2066
  }
2148
2067
  tmp = tmp_0;
2149
2068
  } else {
2150
- var tmp_4 = Companion_getInstance_16();
2151
- var tmp1_safe_receiver = this.q37_1.e31_1;
2069
+ var tmp_4 = Companion_instance_10;
2070
+ var tmp1_safe_receiver = this.t38_1.h32_1;
2152
2071
  var tmp2_elvis_lhs = tmp1_safe_receiver == null ? null : extractSignature(tmp1_safe_receiver);
2153
- tmp = exceptionalState(this, tmp_4.forGoal(this.q37_1, tmp2_elvis_lhs == null ? new Signature('?-', 1) : tmp2_elvis_lhs, Expected_CALLABLE_getInstance(), goal));
2072
+ tmp = exceptionalState(this, tmp_4.forGoal(this.t38_1, tmp2_elvis_lhs == null ? new Signature('?-', 1) : tmp2_elvis_lhs, Expected_CALLABLE_getInstance(), goal));
2154
2073
  }
2155
- tmp$ret$0 = tmp;
2156
- tmp$ret$1 = tmp$ret$0;
2157
- return tmp$ret$1;
2074
+ return tmp;
2158
2075
  };
2159
- protoOf(StatePrimitiveSelection).d36 = function (context) {
2160
- return this.m36(context);
2076
+ protoOf(StatePrimitiveSelection).g37 = function (context) {
2077
+ return this.p37(context);
2161
2078
  };
2162
- protoOf(StatePrimitiveSelection).m36 = function (context) {
2079
+ protoOf(StatePrimitiveSelection).p37 = function (context) {
2163
2080
  return new StatePrimitiveSelection(context);
2164
2081
  };
2165
2082
  protoOf(StatePrimitiveSelection).toString = function () {
2166
- return 'StatePrimitiveSelection(context=' + this.q37_1 + ')';
2083
+ return 'StatePrimitiveSelection(context=' + this.t38_1 + ')';
2167
2084
  };
2168
2085
  protoOf(StatePrimitiveSelection).hashCode = function () {
2169
- return this.q37_1.hashCode();
2086
+ return this.t38_1.hashCode();
2170
2087
  };
2171
2088
  protoOf(StatePrimitiveSelection).equals = function (other) {
2172
2089
  if (this === other)
@@ -2174,55 +2091,51 @@
2174
2091
  if (!(other instanceof StatePrimitiveSelection))
2175
2092
  return false;
2176
2093
  var tmp0_other_with_cast = other instanceof StatePrimitiveSelection ? other : THROW_CCE();
2177
- if (!this.q37_1.equals(tmp0_other_with_cast.q37_1))
2094
+ if (!this.t38_1.equals(tmp0_other_with_cast.t38_1))
2178
2095
  return false;
2179
2096
  return true;
2180
2097
  };
2181
2098
  function _get_failureState__yid9tw($this) {
2182
- return new StateBacktracking($this.t37_1.v32(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, Companion_getInstance_12().empty(), VOID, VOID, VOID, VOID, VOID, VOID, $this.h36()));
2099
+ return new StateBacktracking($this.w38_1.y33(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, Companion_instance_7.empty(), VOID, VOID, VOID, VOID, VOID, VOID, $this.k37()));
2183
2100
  }
2184
2101
  function StateRuleExecution(context) {
2185
2102
  AbstractState.call(this, context);
2186
- this.t37_1 = context;
2103
+ this.w38_1 = context;
2187
2104
  }
2188
- protoOf(StateRuleExecution).n5 = function () {
2189
- return this.t37_1;
2105
+ protoOf(StateRuleExecution).uc = function () {
2106
+ return this.w38_1;
2190
2107
  };
2191
- protoOf(StateRuleExecution).y35 = function () {
2192
- var tmp$ret$1;
2108
+ protoOf(StateRuleExecution).b37 = function () {
2193
2109
  // Inline function 'kotlin.with' call
2194
- var tmp0_with = this.t37_1;
2195
2110
  // Inline function 'kotlin.contracts.contract' call
2196
- var tmp$ret$0;
2197
2111
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateRuleExecution.computeNext.<anonymous>' call
2198
- tmp$ret$0 = tmp0_with.f31_1.mgu(ensureNotNull(tmp0_with.s34()), ensureNotNull(tmp0_with.r31_1.lq()).sx());
2199
- tmp$ret$1 = tmp$ret$0;
2200
- var substitution = tmp$ret$1;
2112
+ var $this$with = this.w38_1;
2113
+ var substitution = $this$with.i32_1.mgu(ensureNotNull($this$with.v35()), ensureNotNull($this$with.u32_1.fr()).wy());
2201
2114
  var tmp;
2202
- if (substitution.g11()) {
2203
- var newSubstitution = this.t37_1.o31_1.plus(substitution).castToUnifier();
2204
- var subGoals = prepareForExecutionWithUnifier(ensureNotNull(this.t37_1.r31_1.lq()), newSubstitution).tx().getSubstituted(newSubstitution, []);
2205
- var tmp0_$this = this.t37_1;
2115
+ if (substitution.w12()) {
2116
+ var newSubstitution = this.w38_1.r32_1.plus(substitution).castToUnifier();
2117
+ var subGoals = prepareForExecutionWithUnifier(ensureNotNull(this.w38_1.u32_1.fr()), newSubstitution).xy().getSubstituted(newSubstitution, []);
2118
+ var tmp0_$this = this.w38_1;
2206
2119
  var tmp1_goals = toGoals(subGoals);
2207
- var tmp2_rules = Companion_getInstance_12().empty();
2208
- var tmp3_step = this.h36();
2209
- tmp = new StateGoalSelection(tmp0_$this.v32(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, newSubstitution, VOID, tmp1_goals, tmp2_rules, VOID, VOID, VOID, VOID, VOID, VOID, tmp3_step));
2120
+ var tmp2_rules = Companion_instance_7.empty();
2121
+ var tmp3_step = this.k37();
2122
+ tmp = new StateGoalSelection(tmp0_$this.y33(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, newSubstitution, VOID, tmp1_goals, tmp2_rules, VOID, VOID, VOID, VOID, VOID, VOID, tmp3_step));
2210
2123
  } else {
2211
2124
  tmp = _get_failureState__yid9tw(this);
2212
2125
  }
2213
2126
  return tmp;
2214
2127
  };
2215
- protoOf(StateRuleExecution).d36 = function (context) {
2216
- return this.m36(context);
2128
+ protoOf(StateRuleExecution).g37 = function (context) {
2129
+ return this.p37(context);
2217
2130
  };
2218
- protoOf(StateRuleExecution).m36 = function (context) {
2131
+ protoOf(StateRuleExecution).p37 = function (context) {
2219
2132
  return new StateRuleExecution(context);
2220
2133
  };
2221
2134
  protoOf(StateRuleExecution).toString = function () {
2222
- return 'StateRuleExecution(context=' + this.t37_1 + ')';
2135
+ return 'StateRuleExecution(context=' + this.w38_1 + ')';
2223
2136
  };
2224
2137
  protoOf(StateRuleExecution).hashCode = function () {
2225
- return this.t37_1.hashCode();
2138
+ return this.w38_1.hashCode();
2226
2139
  };
2227
2140
  protoOf(StateRuleExecution).equals = function (other) {
2228
2141
  if (this === other)
@@ -2230,23 +2143,23 @@
2230
2143
  if (!(other instanceof StateRuleExecution))
2231
2144
  return false;
2232
2145
  var tmp0_other_with_cast = other instanceof StateRuleExecution ? other : THROW_CCE();
2233
- if (!this.t37_1.equals(tmp0_other_with_cast.t37_1))
2146
+ if (!this.w38_1.equals(tmp0_other_with_cast.w38_1))
2234
2147
  return false;
2235
2148
  return true;
2236
2149
  };
2237
2150
  function None() {
2238
2151
  None_instance = this;
2239
2152
  CutLimit.call(this);
2240
- this.u37_1 = -1;
2241
- this.v37_1 = null;
2153
+ this.x38_1 = -1;
2154
+ this.y38_1 = null;
2242
2155
  }
2243
- protoOf(None).w37 = function () {
2244
- return this.u37_1;
2156
+ protoOf(None).z38 = function () {
2157
+ return this.x38_1;
2245
2158
  };
2246
- protoOf(None).q1t = function () {
2247
- return this.v37_1;
2159
+ protoOf(None).p1u = function () {
2160
+ return this.y38_1;
2248
2161
  };
2249
- protoOf(None).x37 = function () {
2162
+ protoOf(None).a39 = function () {
2250
2163
  return true;
2251
2164
  };
2252
2165
  var None_instance;
@@ -2257,54 +2170,52 @@
2257
2170
  }
2258
2171
  function Actual(depthToCut, procedure) {
2259
2172
  CutLimit.call(this);
2260
- this.y37_1 = depthToCut;
2261
- this.z37_1 = procedure;
2173
+ this.b39_1 = depthToCut;
2174
+ this.c39_1 = procedure;
2262
2175
  }
2263
- protoOf(Actual).w37 = function () {
2264
- return this.y37_1;
2176
+ protoOf(Actual).z38 = function () {
2177
+ return this.b39_1;
2265
2178
  };
2266
- protoOf(Actual).q1t = function () {
2267
- return this.z37_1;
2179
+ protoOf(Actual).p1u = function () {
2180
+ return this.c39_1;
2268
2181
  };
2269
2182
  function CutLimit() {
2270
2183
  }
2271
- protoOf(CutLimit).x37 = function () {
2184
+ protoOf(CutLimit).a39 = function () {
2272
2185
  return false;
2273
2186
  };
2274
2187
  function Companion_0() {
2275
- Companion_instance_0 = this;
2276
- this.a38_1 = Catch_getInstance().signature;
2277
- this.b38_1 = setOf([new Signature(',', 2), new Signature(';', 2), new Signature('->', 2)]);
2188
+ Companion_instance_16 = this;
2189
+ this.d39_1 = Catch_getInstance().signature;
2190
+ this.e39_1 = setOf([new Signature(',', 2), new Signature(';', 2), new Signature('->', 2)]);
2278
2191
  }
2279
- var Companion_instance_0;
2280
- function Companion_getInstance_23() {
2281
- if (Companion_instance_0 == null)
2192
+ var Companion_instance_16;
2193
+ function Companion_getInstance_7() {
2194
+ if (Companion_instance_16 == null)
2282
2195
  new Companion_0();
2283
- return Companion_instance_0;
2196
+ return Companion_instance_16;
2284
2197
  }
2285
2198
  function _get_failureState__yid9tw_0($this) {
2286
- return new StateBacktracking($this.e38_1.v32(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.h36()));
2199
+ return new StateBacktracking($this.h39_1.y33(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.k37()));
2287
2200
  }
2288
2201
  function exceptionalState_0($this, exception) {
2289
- return new StateException(exception, $this.e38_1.v32(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.h36()));
2202
+ return new StateException(exception, $this.h39_1.y33(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.k37()));
2290
2203
  }
2291
2204
  function missingProcedure($this, ruleSources, missing) {
2292
- var unknown = $this.e38_1.h31_1.get(Unknown_getInstance());
2205
+ var unknown = $this.h39_1.k32_1.get(Unknown_getInstance());
2293
2206
  var tmp;
2294
- if (equals(unknown, Unknown_getInstance().d28_1)) {
2207
+ if (equals(unknown, Unknown_getInstance().f29_1)) {
2295
2208
  tmp = _get_failureState__yid9tw_0($this);
2296
2209
  } else {
2297
2210
  var tmp_0;
2298
2211
  var tmp$ret$1;
2299
2212
  $l$block: {
2300
2213
  // Inline function 'kotlin.sequences.none' call
2301
- var tmp0_iterator = ruleSources.j();
2302
- while (tmp0_iterator.m()) {
2303
- var element = tmp0_iterator.n();
2304
- var tmp$ret$0;
2214
+ var tmp0_iterator = ruleSources.r();
2215
+ while (tmp0_iterator.s()) {
2216
+ var element = tmp0_iterator.u();
2305
2217
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateRuleSelection.missingProcedure.<anonymous>' call
2306
- tmp$ret$0 = element.containsIndicator(missing.toIndicator());
2307
- if (tmp$ret$0) {
2218
+ if (element.containsIndicator(missing.toIndicator())) {
2308
2219
  tmp$ret$1 = false;
2309
2220
  break $l$block;
2310
2221
  }
@@ -2312,19 +2223,16 @@
2312
2223
  tmp$ret$1 = true;
2313
2224
  }
2314
2225
  if (tmp$ret$1) {
2315
- var tmp0_subject = unknown;
2316
2226
  var tmp_1;
2317
- if (equals(tmp0_subject, Unknown_getInstance().b28_1)) {
2318
- tmp_1 = exceptionalState_0($this, Companion_getInstance_18().forProcedure($this.e38_1, missing));
2319
- } else if (equals(tmp0_subject, Unknown_getInstance().c28_1)) {
2320
- var tmp$ret$2;
2227
+ if (equals(unknown, Unknown_getInstance().d29_1)) {
2228
+ tmp_1 = exceptionalState_0($this, Companion_instance_12.forProcedure($this.h39_1, missing));
2229
+ } else if (equals(unknown, Unknown_getInstance().e29_1)) {
2321
2230
  // Inline function 'kotlin.also' call
2322
- var tmp0_also = _get_failureState__yid9tw_0($this);
2231
+ var this_0 = _get_failureState__yid9tw_0($this);
2323
2232
  // Inline function 'kotlin.contracts.contract' call
2324
2233
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateRuleSelection.missingProcedure.<anonymous>' call
2325
- $this.e38_1.l1u().write(MissingPredicate_init_$Create$($this.e38_1, missing));
2326
- tmp$ret$2 = tmp0_also;
2327
- tmp_1 = tmp$ret$2;
2234
+ $this.h39_1.h1v().write(MissingPredicate_init_$Create$($this.h39_1, missing));
2235
+ tmp_1 = this_0;
2328
2236
  } else {
2329
2237
  tmp_1 = _get_failureState__yid9tw_0($this);
2330
2238
  }
@@ -2337,29 +2245,26 @@
2337
2245
  return tmp;
2338
2246
  }
2339
2247
  function _get_ignoreState__t4wl8y($this) {
2340
- return new StateGoalSelection($this.e38_1.v32(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.e38_1.q31_1.kq(), VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.h36()));
2248
+ return new StateGoalSelection($this.h39_1.y33(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.h39_1.t32_1.er(), VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.k37()));
2341
2249
  }
2342
2250
  function isCut(_this__u8e3s4, $this) {
2343
- return _this__u8e3s4.rv() ? _this__u8e3s4.castToAtom().b1() === '!' : false;
2251
+ return _this__u8e3s4.lw() ? _this__u8e3s4.castToAtom().r2() === '!' : false;
2344
2252
  }
2345
2253
  function computeCutLimit(_this__u8e3s4, $this, magicCut) {
2346
2254
  var tmp;
2347
2255
  if (magicCut) {
2348
- tmp = firstOrNull(_this__u8e3s4.a32_1);
2256
+ tmp = firstOrNull(_this__u8e3s4.d33_1);
2349
2257
  } else {
2350
2258
  var tmp$ret$1;
2351
2259
  $l$block: {
2352
2260
  // Inline function 'kotlin.sequences.firstOrNull' call
2353
- var tmp0_firstOrNull = _this__u8e3s4.a32_1;
2354
- var tmp0_iterator = tmp0_firstOrNull.j();
2355
- while (tmp0_iterator.m()) {
2356
- var element = tmp0_iterator.n();
2357
- var tmp$ret$0;
2261
+ var tmp0_iterator = _this__u8e3s4.d33_1.r();
2262
+ while (tmp0_iterator.s()) {
2263
+ var element = tmp0_iterator.u();
2358
2264
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateRuleSelection.computeCutLimit.<anonymous>' call
2359
- var tmp_0 = Companion_getInstance_23().b38_1;
2360
- var tmp0_safe_receiver = element.e31_1;
2361
- tmp$ret$0 = !contains_0(tmp_0, tmp0_safe_receiver == null ? null : extractSignature(tmp0_safe_receiver));
2362
- if (tmp$ret$0) {
2265
+ var tmp_0 = Companion_getInstance_7().e39_1;
2266
+ var tmp0_safe_receiver = element.h32_1;
2267
+ if (!contains_0(tmp_0, tmp0_safe_receiver == null ? null : extractSignature(tmp0_safe_receiver))) {
2363
2268
  tmp$ret$1 = element;
2364
2269
  break $l$block;
2365
2270
  }
@@ -2373,34 +2278,32 @@
2373
2278
  if (cutLimit == null) {
2374
2279
  tmp_1 = None_getInstance();
2375
2280
  } else {
2376
- tmp_1 = new Actual(cutLimit.x31_1, cutLimit.e31_1);
2281
+ tmp_1 = new Actual(cutLimit.a33_1, cutLimit.h32_1);
2377
2282
  }
2378
2283
  return tmp_1;
2379
2284
  }
2380
2285
  function cutCanBeSkipped($this, cutLimit, executionContext) {
2381
- return (cutLimit.x37() ? true : cutLimit.w37() > executionContext.x31_1) ? true : cutLimit.w37() === executionContext.x31_1 ? !equals(cutLimit.q1t(), executionContext.e31_1) : false;
2286
+ return (cutLimit.a39() ? true : cutLimit.z38() > executionContext.a33_1) ? true : cutLimit.z38() === executionContext.a33_1 ? !equals(cutLimit.p1u(), executionContext.h32_1) : false;
2382
2287
  }
2383
2288
  function performCut(_this__u8e3s4, $this, cutLimit) {
2384
2289
  var tmp;
2385
2290
  if (_this__u8e3s4 === null) {
2386
2291
  tmp = null;
2387
- } else if (cutCanBeSkipped($this, cutLimit, ensureNotNull(_this__u8e3s4.q32()))) {
2292
+ } else if (cutCanBeSkipped($this, cutLimit, ensureNotNull(_this__u8e3s4.t33()))) {
2388
2293
  tmp = _this__u8e3s4;
2389
2294
  } else {
2390
- var tmp_0 = _this__u8e3s4.d33();
2295
+ var tmp_0 = _this__u8e3s4.g34();
2391
2296
  var cutCandidates = filter(tmp_0, StateRuleSelection$performCut$lambda(cutLimit));
2392
2297
  var tmp_1;
2393
2298
  if (any(cutCandidates)) {
2394
2299
  var tmp$ret$1;
2395
2300
  $l$block: {
2396
2301
  // Inline function 'kotlin.sequences.firstOrNull' call
2397
- var tmp0_iterator = cutCandidates.j();
2398
- while (tmp0_iterator.m()) {
2399
- var element = tmp0_iterator.n();
2400
- var tmp$ret$0;
2302
+ var tmp0_iterator = cutCandidates.r();
2303
+ while (tmp0_iterator.s()) {
2304
+ var element = tmp0_iterator.u();
2401
2305
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateRuleSelection.performCut.<anonymous>' call
2402
- tmp$ret$0 = ensureNotNull(element.q32()).x31_1 <= cutLimit.w37();
2403
- if (tmp$ret$0) {
2306
+ if (ensureNotNull(element.t33()).a33_1 <= cutLimit.z38()) {
2404
2307
  tmp$ret$1 = element;
2405
2308
  break $l$block;
2406
2309
  }
@@ -2408,7 +2311,7 @@
2408
2311
  tmp$ret$1 = null;
2409
2312
  }
2410
2313
  var tmp0_safe_receiver = tmp$ret$1;
2411
- tmp_1 = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.r32();
2314
+ tmp_1 = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.u33();
2412
2315
  } else {
2413
2316
  tmp_1 = _this__u8e3s4;
2414
2317
  }
@@ -2418,65 +2321,52 @@
2418
2321
  }
2419
2322
  function _get_isTailRecursive__h5eso7(_this__u8e3s4, $this) {
2420
2323
  var tmp;
2421
- if (_this__u8e3s4.q31_1.kq().nq() ? equals(_this__u8e3s4.h31_1.get(LastCallOptimization_getInstance()), LastCallOptimization_getInstance().q27_1) : false) {
2422
- var tmp$ret$3;
2324
+ if (_this__u8e3s4.t32_1.er().hr() ? equals(_this__u8e3s4.k32_1.get(LastCallOptimization_getInstance()), LastCallOptimization_getInstance().s28_1) : false) {
2423
2325
  // Inline function 'kotlin.let' call
2424
- var tmp0_let = ensureNotNull(_this__u8e3s4.s34());
2425
2326
  // Inline function 'kotlin.contracts.contract' call
2426
- var tmp$ret$2;
2427
2327
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateRuleSelection.<get-isTailRecursive>.<anonymous>' call
2428
- var tmp0_safe_receiver = tmp0_let.asStruct();
2328
+ var tmp0_safe_receiver = ensureNotNull(_this__u8e3s4.v35()).asStruct();
2429
2329
  var tmp1_safe_receiver = tmp0_safe_receiver == null ? null : extractSignature(tmp0_safe_receiver);
2430
2330
  var tmp_0;
2431
2331
  if (tmp1_safe_receiver == null) {
2432
2332
  tmp_0 = null;
2433
2333
  } else {
2434
- var tmp$ret$1;
2435
2334
  // Inline function 'kotlin.let' call
2436
2335
  // Inline function 'kotlin.contracts.contract' call
2437
- var tmp$ret$0;
2438
2336
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateRuleSelection.<get-isTailRecursive>.<anonymous>.<anonymous>' call
2439
2337
  var tmp_1;
2440
- var tmp0_safe_receiver_0 = _this__u8e3s4.e31_1;
2441
- if (equals(tmp1_safe_receiver, tmp0_safe_receiver_0 == null ? null : extractSignature(tmp0_safe_receiver_0))) {
2442
- tmp_1 = !equals(tmp1_safe_receiver, Companion_getInstance_23().a38_1);
2338
+ var tmp0_safe_receiver_0 = _this__u8e3s4.h32_1;
2339
+ 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().d39_1);
2443
2341
  } else {
2444
2342
  tmp_1 = false;
2445
2343
  }
2446
- tmp$ret$0 = tmp_1;
2447
- tmp$ret$1 = tmp$ret$0;
2448
- tmp_0 = tmp$ret$1;
2344
+ tmp_0 = tmp_1;
2449
2345
  }
2450
2346
  var tmp2_elvis_lhs = tmp_0;
2451
- tmp$ret$2 = tmp2_elvis_lhs == null ? false : tmp2_elvis_lhs;
2452
- tmp$ret$3 = tmp$ret$2;
2453
- tmp = tmp$ret$3;
2347
+ tmp = tmp2_elvis_lhs == null ? false : tmp2_elvis_lhs;
2454
2348
  } else {
2455
2349
  tmp = false;
2456
2350
  }
2457
2351
  return tmp;
2458
2352
  }
2459
2353
  function selectClauses(_this__u8e3s4, $this, term) {
2460
- var tmp$ret$1;
2461
2354
  // Inline function 'kotlin.let' call
2462
2355
  var tmp = _this__u8e3s4.getByHead(term);
2463
- var tmp0_let = ensureRules(map(tmp, StateRuleSelection$selectClauses$lambda));
2464
2356
  // Inline function 'kotlin.contracts.contract' call
2465
- var tmp$ret$0;
2466
2357
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateRuleSelection.selectClauses.<anonymous>' call
2358
+ var it = ensureRules(map(tmp, StateRuleSelection$selectClauses$lambda));
2467
2359
  var tmp_0;
2468
- if (_this__u8e3s4.a1s()) {
2469
- tmp_0 = buffered(tmp0_let);
2360
+ if (_this__u8e3s4.z1s()) {
2361
+ tmp_0 = buffered(it);
2470
2362
  } else {
2471
- tmp_0 = tmp0_let;
2363
+ tmp_0 = it;
2472
2364
  }
2473
- tmp$ret$0 = tmp_0;
2474
- tmp$ret$1 = tmp$ret$0;
2475
- return tmp$ret$1;
2365
+ return tmp_0;
2476
2366
  }
2477
2367
  function StateRuleSelection$performCut$lambda($cutLimit) {
2478
2368
  return function (it) {
2479
- return equals(ensureNotNull(it.q32()).e31_1, $cutLimit.q1t());
2369
+ return equals(ensureNotNull(it.t33()).h32_1, $cutLimit.p1u());
2480
2370
  };
2481
2371
  }
2482
2372
  function StateRuleSelection$computeNext$lambda(this$0, $currentGoalStruct) {
@@ -2485,34 +2375,32 @@
2485
2375
  };
2486
2376
  }
2487
2377
  function StateRuleSelection$selectClauses$lambda(it) {
2488
- return it.fy();
2378
+ return it.tw();
2489
2379
  }
2490
2380
  function StateRuleSelection(context) {
2491
- Companion_getInstance_23();
2381
+ Companion_getInstance_7();
2492
2382
  AbstractState.call(this, context);
2493
- this.e38_1 = context;
2383
+ this.h39_1 = context;
2494
2384
  }
2495
- protoOf(StateRuleSelection).n5 = function () {
2496
- return this.e38_1;
2385
+ protoOf(StateRuleSelection).uc = function () {
2386
+ return this.h39_1;
2497
2387
  };
2498
- protoOf(StateRuleSelection).y35 = function () {
2499
- var currentGoal = ensureNotNull(this.e38_1.s34());
2388
+ protoOf(StateRuleSelection).b37 = function () {
2389
+ var currentGoal = ensureNotNull(this.h39_1.v35());
2500
2390
  var tmp;
2501
- if (currentGoal.mw()) {
2502
- tmp = exceptionalState_0(this, Companion_getInstance_17().forGoal(this.e38_1, extractSignature(ensureNotNull(this.e38_1.e31_1)), currentGoal.castToVar()));
2503
- } else if (currentGoal.aw()) {
2504
- var tmp$ret$5;
2391
+ if (currentGoal.mx()) {
2392
+ tmp = exceptionalState_0(this, Companion_instance_11.forGoal(this.h39_1, extractSignature(ensureNotNull(this.h39_1.h32_1)), currentGoal.castToVar()));
2393
+ } else if (currentGoal.ww()) {
2505
2394
  // Inline function 'kotlin.with' call
2506
- var tmp0_with = this.e38_1;
2507
2395
  // Inline function 'kotlin.contracts.contract' call
2508
- var tmp$ret$4;
2509
2396
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateRuleSelection.computeNext.<anonymous>' call
2397
+ var $this$with = this.h39_1;
2510
2398
  var currentGoalStruct = currentGoal.castToStruct();
2511
- var ruleSources = sequenceOf([tmp0_with.g31_1.asTheory(tmp0_with.f31_1), tmp0_with.i31_1, tmp0_with.j31_1]);
2399
+ var ruleSources = sequenceOf([$this$with.j32_1.asTheory($this$with.i32_1), $this$with.l32_1, $this$with.m32_1]);
2512
2400
  var tmp_0;
2513
- if (currentGoalStruct.nw()) {
2401
+ if (currentGoalStruct.nx()) {
2514
2402
  var tmp_1;
2515
- if (currentGoalStruct.uv()) {
2403
+ if (currentGoalStruct.ow()) {
2516
2404
  tmp_1 = _get_ignoreState__t4wl8y(this);
2517
2405
  } else {
2518
2406
  tmp_1 = _get_failureState__yid9tw_0(this);
@@ -2520,27 +2408,21 @@
2520
2408
  tmp_0 = tmp_1;
2521
2409
  } else {
2522
2410
  if (isCut(currentGoalStruct, this)) {
2523
- var cutLimit = computeCutLimit(tmp0_with, this, currentGoalStruct instanceof MagicCut);
2524
- var tmp$ret$1;
2411
+ var cutLimit = computeCutLimit($this$with, this, currentGoalStruct instanceof MagicCut);
2525
2412
  // Inline function 'kotlin.let' call
2526
- var tmp0_let = _get_ignoreState__t4wl8y(this);
2527
2413
  // Inline function 'kotlin.contracts.contract' call
2528
- var tmp$ret$0;
2529
2414
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateRuleSelection.computeNext.<anonymous>.<anonymous>' call
2530
- tmp$ret$0 = tmp0_let.m36(tmp0_let.b37_1.v32(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, performCut(tmp0_let.b37_1.v31_1, this, cutLimit)));
2531
- tmp$ret$1 = tmp$ret$0;
2532
- tmp_0 = tmp$ret$1;
2415
+ var it = _get_ignoreState__t4wl8y(this);
2416
+ tmp_0 = it.p37(it.e38_1.y33(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, performCut(it.e38_1.y32_1, this, cutLimit)));
2533
2417
  } else {
2534
2418
  var tmp$ret$3;
2535
2419
  $l$block: {
2536
2420
  // Inline function 'kotlin.sequences.any' call
2537
- var tmp0_iterator = ruleSources.j();
2538
- while (tmp0_iterator.m()) {
2539
- var element = tmp0_iterator.n();
2540
- var tmp$ret$2;
2421
+ var tmp0_iterator = ruleSources.r();
2422
+ while (tmp0_iterator.s()) {
2423
+ var element = tmp0_iterator.u();
2541
2424
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateRuleSelection.computeNext.<anonymous>.<anonymous>' call
2542
- tmp$ret$2 = element.containsHead(currentGoalStruct);
2543
- if (tmp$ret$2) {
2425
+ if (element.containsHead(currentGoalStruct)) {
2544
2426
  tmp$ret$3 = true;
2545
2427
  break $l$block;
2546
2428
  }
@@ -2550,10 +2432,10 @@
2550
2432
  if (tmp$ret$3) {
2551
2433
  var rules = cursor(flatMap(ruleSources, StateRuleSelection$computeNext$lambda(this, currentGoalStruct)));
2552
2434
  var tmp_2;
2553
- if (_get_isTailRecursive__h5eso7(this.e38_1, this)) {
2554
- tmp_2 = new StateRuleExecution(replaceWithChildAppendingRulesAndChoicePoints(this.e38_1, rules));
2435
+ if (_get_isTailRecursive__h5eso7(this.h39_1, this)) {
2436
+ tmp_2 = new StateRuleExecution(replaceWithChildAppendingRulesAndChoicePoints(this.h39_1, rules));
2555
2437
  } else {
2556
- tmp_2 = new StateRuleExecution(createChildAppendingRulesAndChoicePoints(this.e38_1, rules));
2438
+ tmp_2 = new StateRuleExecution(createChildAppendingRulesAndChoicePoints(this.h39_1, rules));
2557
2439
  }
2558
2440
  tmp_0 = tmp_2;
2559
2441
  } else {
@@ -2561,25 +2443,23 @@
2561
2443
  }
2562
2444
  }
2563
2445
  }
2564
- tmp$ret$4 = tmp_0;
2565
- tmp$ret$5 = tmp$ret$4;
2566
- tmp = tmp$ret$5;
2446
+ tmp = tmp_0;
2567
2447
  } else {
2568
- tmp = exceptionalState_0(this, Companion_getInstance_16().forGoal(this.e38_1, extractSignature(ensureNotNull(this.e38_1.e31_1)), Expected_CALLABLE_getInstance(), currentGoal));
2448
+ tmp = exceptionalState_0(this, Companion_instance_10.forGoal(this.h39_1, extractSignature(ensureNotNull(this.h39_1.h32_1)), Expected_CALLABLE_getInstance(), currentGoal));
2569
2449
  }
2570
2450
  return tmp;
2571
2451
  };
2572
- protoOf(StateRuleSelection).d36 = function (context) {
2573
- return this.m36(context);
2452
+ protoOf(StateRuleSelection).g37 = function (context) {
2453
+ return this.p37(context);
2574
2454
  };
2575
- protoOf(StateRuleSelection).m36 = function (context) {
2455
+ protoOf(StateRuleSelection).p37 = function (context) {
2576
2456
  return new StateRuleSelection(context);
2577
2457
  };
2578
2458
  protoOf(StateRuleSelection).toString = function () {
2579
- return 'StateRuleSelection(context=' + this.e38_1 + ')';
2459
+ return 'StateRuleSelection(context=' + this.h39_1 + ')';
2580
2460
  };
2581
2461
  protoOf(StateRuleSelection).hashCode = function () {
2582
- return this.e38_1.hashCode();
2462
+ return this.h39_1.hashCode();
2583
2463
  };
2584
2464
  protoOf(StateRuleSelection).equals = function (other) {
2585
2465
  if (this === other)
@@ -2587,19 +2467,19 @@
2587
2467
  if (!(other instanceof StateRuleSelection))
2588
2468
  return false;
2589
2469
  var tmp0_other_with_cast = other instanceof StateRuleSelection ? other : THROW_CCE();
2590
- if (!this.e38_1.equals(tmp0_other_with_cast.e38_1))
2470
+ if (!this.h39_1.equals(tmp0_other_with_cast.h39_1))
2591
2471
  return false;
2592
2472
  return true;
2593
2473
  };
2594
2474
  function appendRulesAndChoicePoints(_this__u8e3s4, rules) {
2595
2475
  var tmp;
2596
- if (rules.mq()) {
2597
- tmp = appendRules(_this__u8e3s4.v31_1, rules.kq(), _this__u8e3s4);
2476
+ if (rules.gr()) {
2477
+ tmp = appendRules(_this__u8e3s4.y32_1, rules.er(), _this__u8e3s4);
2598
2478
  } else {
2599
- tmp = appendRules(_this__u8e3s4.v31_1, Companion_getInstance_12().empty(), _this__u8e3s4);
2479
+ tmp = appendRules(_this__u8e3s4.y32_1, Companion_instance_7.empty(), _this__u8e3s4);
2600
2480
  }
2601
2481
  var newChoicePointContext = tmp;
2602
- return _this__u8e3s4.v32(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, rules, VOID, VOID, VOID, newChoicePointContext);
2482
+ return _this__u8e3s4.y33(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, rules, VOID, VOID, VOID, newChoicePointContext);
2603
2483
  }
2604
2484
  function toGoals(_this__u8e3s4) {
2605
2485
  var tmp = unfoldGoals(_this__u8e3s4);
@@ -2607,8 +2487,8 @@
2607
2487
  }
2608
2488
  function unfoldGoals(_this__u8e3s4) {
2609
2489
  var tmp;
2610
- if (_this__u8e3s4.dw()) {
2611
- var tmp_0 = _this__u8e3s4.castToTuple().au();
2490
+ if (_this__u8e3s4.bx()) {
2491
+ var tmp_0 = _this__u8e3s4.castToTuple().uu();
2612
2492
  tmp = flatMap(tmp_0, unfoldGoals$lambda);
2613
2493
  } else {
2614
2494
  tmp = sequenceOf([_this__u8e3s4]);
@@ -2617,30 +2497,27 @@
2617
2497
  }
2618
2498
  function createChild(_this__u8e3s4, inferProcedureFromGoals) {
2619
2499
  inferProcedureFromGoals = inferProcedureFromGoals === VOID ? true : inferProcedureFromGoals;
2620
- var currentGoal = ensureNotNull(_this__u8e3s4.s34()).castToStruct();
2500
+ var currentGoal = ensureNotNull(_this__u8e3s4.v35()).castToStruct();
2621
2501
  var tmp0_goals = toGoals(currentGoal);
2622
- var tmp1_procedure = inferProcedureFromGoals ? currentGoal : _this__u8e3s4.e31_1;
2623
- var tmp2_depth = _this__u8e3s4.x31_1 + 1 | 0;
2624
- var tmp$ret$0;
2502
+ var tmp1_procedure = inferProcedureFromGoals ? currentGoal : _this__u8e3s4.h32_1;
2503
+ var tmp2_depth = _this__u8e3s4.a33_1 + 1 | 0;
2625
2504
  // Inline function 'kotlin.Long.plus' call
2626
- var tmp0_plus = _this__u8e3s4.y31_1;
2627
- tmp$ret$0 = tmp0_plus.bh(new Long(1, 0));
2628
- var tmp3_step = tmp$ret$0;
2505
+ var tmp3_step = _this__u8e3s4.b33_1.ob(toLong(1));
2629
2506
  var tmp4_relevantVariables = emptySet();
2630
- return _this__u8e3s4.v32(tmp1_procedure, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, tmp0_goals, VOID, VOID, VOID, VOID, VOID, _this__u8e3s4, tmp2_depth, tmp3_step, tmp4_relevantVariables);
2507
+ return _this__u8e3s4.y33(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);
2631
2508
  }
2632
2509
  function toRequest(_this__u8e3s4, goal, signature, startTime) {
2633
- return new Request(signature, goal.xv(), _this__u8e3s4, startTime);
2510
+ return new Request(signature, goal.rw(), _this__u8e3s4, startTime);
2634
2511
  }
2635
2512
  function appendPrimitivesAndChoicePoints(_this__u8e3s4, primitiveExecutions) {
2636
2513
  var tmp;
2637
- if (primitiveExecutions.mq()) {
2638
- tmp = appendPrimitives(_this__u8e3s4.v31_1, primitiveExecutions.kq(), _this__u8e3s4);
2514
+ if (primitiveExecutions.gr()) {
2515
+ tmp = appendPrimitives(_this__u8e3s4.y32_1, primitiveExecutions.er(), _this__u8e3s4);
2639
2516
  } else {
2640
- tmp = appendPrimitives(_this__u8e3s4.v31_1, Companion_getInstance_12().empty(), _this__u8e3s4);
2517
+ tmp = appendPrimitives(_this__u8e3s4.y32_1, Companion_instance_7.empty(), _this__u8e3s4);
2641
2518
  }
2642
2519
  var newChoicePointContext = tmp;
2643
- return _this__u8e3s4.v32(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, primitiveExecutions, VOID, VOID, newChoicePointContext);
2520
+ return _this__u8e3s4.y33(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, primitiveExecutions, VOID, VOID, newChoicePointContext);
2644
2521
  }
2645
2522
  function replaceWithChildAppendingRulesAndChoicePoints(_this__u8e3s4, rules, inferProcedureFromGoals) {
2646
2523
  inferProcedureFromGoals = inferProcedureFromGoals === VOID ? true : inferProcedureFromGoals;
@@ -2657,87 +2534,76 @@
2657
2534
  }
2658
2535
  function replaceWithChild(_this__u8e3s4, inferProcedureFromGoals) {
2659
2536
  inferProcedureFromGoals = inferProcedureFromGoals === VOID ? true : inferProcedureFromGoals;
2660
- var currentGoal = ensureNotNull(_this__u8e3s4.s34()).castToStruct();
2537
+ var currentGoal = ensureNotNull(_this__u8e3s4.v35()).castToStruct();
2661
2538
  var tmp0_goals = toGoals(currentGoal);
2662
- var tmp1_procedure = inferProcedureFromGoals ? currentGoal : _this__u8e3s4.e31_1;
2663
- var tmp2_depth = _this__u8e3s4.x31_1 + 1 | 0;
2664
- var tmp$ret$0;
2539
+ var tmp1_procedure = inferProcedureFromGoals ? currentGoal : _this__u8e3s4.h32_1;
2540
+ var tmp2_depth = _this__u8e3s4.a33_1 + 1 | 0;
2665
2541
  // Inline function 'kotlin.Long.plus' call
2666
- var tmp0_plus = _this__u8e3s4.y31_1;
2667
- tmp$ret$0 = tmp0_plus.bh(new Long(1, 0));
2668
- var tmp3_step = tmp$ret$0;
2669
- return _this__u8e3s4.v32(tmp1_procedure, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, tmp0_goals, VOID, VOID, VOID, VOID, VOID, VOID, tmp2_depth, tmp3_step);
2542
+ var tmp3_step = _this__u8e3s4.b33_1.ob(toLong(1));
2543
+ return _this__u8e3s4.y33(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);
2670
2544
  }
2671
2545
  function toGoals$lambda(it) {
2672
- return it.mw() ? Companion_getInstance_8().of('call', [it]) : it;
2546
+ return it.mx() ? Companion_getInstance_1().of('call', [it]) : it;
2673
2547
  }
2674
2548
  function unfoldGoals$lambda(it) {
2675
2549
  return unfoldGoals(it);
2676
2550
  }
2677
2551
  function ensureRules$lambda(it) {
2678
2552
  // Inline function 'kotlin.require' call
2679
- var tmp0_require = it.cw();
2680
2553
  // Inline function 'kotlin.contracts.contract' call
2681
2554
  // Inline function 'kotlin.require' call
2682
2555
  // Inline function 'kotlin.contracts.contract' call
2683
- if (!tmp0_require) {
2684
- var tmp$ret$0;
2556
+ if (!it.yw()) {
2685
2557
  // Inline function 'kotlin.require.<anonymous>' call
2686
- tmp$ret$0 = 'Failed requirement.';
2687
- var message = tmp$ret$0;
2558
+ var message = 'Failed requirement.';
2688
2559
  throw IllegalArgumentException_init_$Create$(toString(message));
2689
2560
  }
2690
2561
  return it.castToRule();
2691
2562
  }
2692
2563
  function AbstractSolutionIterator(state) {
2693
- this.f38_1 = state;
2694
- this.g38_1 = new Long(0, 0);
2564
+ this.i39_1 = state;
2565
+ this.j39_1 = new Long(0, 0);
2695
2566
  }
2696
- protoOf(AbstractSolutionIterator).m = function () {
2697
- var tmp$ret$1;
2567
+ protoOf(AbstractSolutionIterator).s = function () {
2698
2568
  // Inline function 'kotlin.let' call
2699
- var tmp0_let = this.f38_1;
2700
2569
  // Inline function 'kotlin.contracts.contract' call
2701
- var tmp$ret$0;
2702
2570
  // Inline function 'it.unibo.tuprolog.solve.classic.impl.AbstractSolutionIterator.hasNext.<anonymous>' call
2703
- tmp$ret$0 = !tmp0_let.z35() ? true : tmp0_let.castToEndState().c33();
2704
- tmp$ret$1 = tmp$ret$0;
2705
- return tmp$ret$1;
2571
+ var it = this.i39_1;
2572
+ return !it.c37() ? true : it.castToEndState().f34();
2706
2573
  };
2707
- protoOf(AbstractSolutionIterator).n = function () {
2574
+ protoOf(AbstractSolutionIterator).u = function () {
2708
2575
  do {
2709
- var previousState = this.f38_1;
2576
+ var previousState = this.i39_1;
2710
2577
  var tmp = this;
2711
- var tmp_0 = this.f38_1;
2712
- var tmp0_this = this;
2713
- tmp0_this.g38_1 = tmp0_this.g38_1.gh();
2714
- tmp.f38_1 = this.h38(tmp_0, tmp0_this.g38_1);
2715
- this.onStateTransition(previousState, this.f38_1, this.g38_1);
2578
+ var tmp_0 = this.i39_1;
2579
+ this.j39_1 = this.j39_1.tb();
2580
+ tmp.i39_1 = this.k39(tmp_0, this.j39_1);
2581
+ this.onStateTransition(previousState, this.i39_1, this.j39_1);
2716
2582
  }
2717
- while (!this.f38_1.z35());
2718
- return this.f38_1.castToEndState().e2h().cleanUp();
2583
+ while (!this.i39_1.c37());
2584
+ return this.i39_1.castToEndState().g2i().cleanUp();
2719
2585
  };
2720
2586
  function SimpleSolutionIterator(state, onStateTransitionCallback) {
2721
2587
  AbstractSolutionIterator.call(this, state);
2722
- this.k38_1 = onStateTransitionCallback;
2588
+ this.n39_1 = onStateTransitionCallback;
2723
2589
  }
2724
- protoOf(SimpleSolutionIterator).h38 = function (state, step) {
2590
+ protoOf(SimpleSolutionIterator).k39 = function (state, step) {
2725
2591
  return state.next();
2726
2592
  };
2727
- protoOf(SimpleSolutionIterator).l38 = function (source, destination, index) {
2728
- return this.k38_1(source, destination, index);
2593
+ protoOf(SimpleSolutionIterator).o39 = function (source, destination, index) {
2594
+ return this.n39_1(source, destination, index);
2729
2595
  };
2730
2596
  protoOf(SimpleSolutionIterator).onStateTransition = function (source, destination, index) {
2731
- return this.l38(source, destination, index);
2597
+ return this.o39(source, destination, index);
2732
2598
  };
2733
2599
  function DefaultBuiltins() {
2734
2600
  DefaultBuiltins_instance = this;
2735
2601
  ExtensionLibrary.call(this, CommonBuiltins_getInstance());
2736
2602
  }
2737
- protoOf(DefaultBuiltins).d2d = function () {
2603
+ protoOf(DefaultBuiltins).f2e = function () {
2738
2604
  return listOf(Throw_getInstance());
2739
2605
  };
2740
- protoOf(DefaultBuiltins).c2d = function () {
2606
+ protoOf(DefaultBuiltins).e2e = function () {
2741
2607
  return listOf_0([Catch_getInstance(), Call_getInstance(), Comma_getInstance(), Cut_getInstance(), Fail_getInstance(), Success_getInstance()]);
2742
2608
  };
2743
2609
  var DefaultBuiltins_instance;
@@ -2751,22 +2617,22 @@
2751
2617
  var tmp_0;
2752
2618
  var tmp_1;
2753
2619
  if (isInterface(error, Struct)) {
2754
- tmp_1 = error.wv() === 'error';
2620
+ tmp_1 = error.qw() === 'error';
2755
2621
  } else {
2756
2622
  tmp_1 = false;
2757
2623
  }
2758
2624
  if (tmp_1) {
2759
- var containsArg = error.qv();
2625
+ var containsArg = error.kw();
2760
2626
  tmp_0 = 1 <= containsArg ? containsArg <= 2 : false;
2761
2627
  } else {
2762
2628
  tmp_0 = false;
2763
2629
  }
2764
2630
  if (tmp_0) {
2765
- var tmp_2 = Companion_getInstance_20();
2631
+ var tmp_2 = Companion_instance_14;
2766
2632
  var tmp_3 = error.get(0);
2767
- tmp = tmp_2.of(VOID, VOID, context, isInterface(tmp_3, Struct) ? tmp_3 : THROW_CCE(), error.qv() > 1 ? error.get(1) : null);
2633
+ tmp = tmp_2.of(VOID, VOID, context, isInterface(tmp_3, Struct) ? tmp_3 : THROW_CCE(), error.kw() > 1 ? error.get(1) : null);
2768
2634
  } else {
2769
- tmp = Companion_getInstance_19().m25(error, context);
2635
+ tmp = Companion_instance_13.n26(error, context);
2770
2636
  }
2771
2637
  return tmp;
2772
2638
  }
@@ -2774,11 +2640,11 @@
2774
2640
  Throw_instance = this;
2775
2641
  UnaryPredicate.call(this, 'throw');
2776
2642
  }
2777
- protoOf(Throw).n2p = function (_this__u8e3s4, first) {
2778
- return sequenceOf([Companion_getInstance_21().d2e(_this__u8e3s4).replyException(handleError(this, _this__u8e3s4.context, _this__u8e3s4.arguments.o(0)), VOID, [])]);
2643
+ protoOf(Throw).p2q = function (_this__u8e3s4, first) {
2644
+ return sequenceOf([Companion_getInstance_5().f2f(_this__u8e3s4).replyException(handleError(this, _this__u8e3s4.context, _this__u8e3s4.arguments.c1(0)), VOID, [])]);
2779
2645
  };
2780
- protoOf(Throw).z2h = function (_this__u8e3s4, first) {
2781
- return this.n2p(_this__u8e3s4, first);
2646
+ protoOf(Throw).b2j = function (_this__u8e3s4, first) {
2647
+ return this.p2q(_this__u8e3s4, first);
2782
2648
  };
2783
2649
  var Throw_instance;
2784
2650
  function Throw_getInstance() {
@@ -2790,14 +2656,12 @@
2790
2656
  Call_instance = this;
2791
2657
  RuleWrapper_init_$Init$('call', 1, VOID, this);
2792
2658
  }
2793
- protoOf(Call).d2i = function (_this__u8e3s4) {
2659
+ protoOf(Call).f2j = function (_this__u8e3s4) {
2794
2660
  return _this__u8e3s4.ktListOf([_this__u8e3s4.varOf('G')]);
2795
2661
  };
2796
- protoOf(Call).e2i = function (_this__u8e3s4) {
2797
- var tmp$ret$0;
2662
+ protoOf(Call).g2j = function (_this__u8e3s4) {
2798
2663
  // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
2799
- var tmp0__get_functor__thl4dk = EnsureExecutable_getInstance();
2800
- tmp$ret$0 = tmp0__get_functor__thl4dk.signature.name;
2664
+ var tmp$ret$0 = EnsureExecutable_getInstance().signature.name;
2801
2665
  return _this__u8e3s4.tupleOf([_this__u8e3s4.structOf(tmp$ret$0, [_this__u8e3s4.varOf('G')]), _this__u8e3s4.varOf('G')]);
2802
2666
  };
2803
2667
  var Call_instance;
@@ -2810,10 +2674,10 @@
2810
2674
  Catch_instance = this;
2811
2675
  RuleWrapper_init_$Init$('catch', 3, VOID, this);
2812
2676
  }
2813
- protoOf(Catch).d2i = function (_this__u8e3s4) {
2677
+ protoOf(Catch).f2j = function (_this__u8e3s4) {
2814
2678
  return _this__u8e3s4.ktListOf([_this__u8e3s4.varOf('G'), _this__u8e3s4.varOf('E'), _this__u8e3s4.varOf('C')]);
2815
2679
  };
2816
- protoOf(Catch).e2i = function (_this__u8e3s4) {
2680
+ protoOf(Catch).g2j = function (_this__u8e3s4) {
2817
2681
  return _this__u8e3s4.varOf('G');
2818
2682
  };
2819
2683
  var Catch_instance;
@@ -2826,10 +2690,10 @@
2826
2690
  Comma_instance = this;
2827
2691
  RuleWrapper_init_$Init$(',', 2, VOID, this);
2828
2692
  }
2829
- protoOf(Comma).d2i = function (_this__u8e3s4) {
2693
+ protoOf(Comma).f2j = function (_this__u8e3s4) {
2830
2694
  return _this__u8e3s4.ktListOf([_this__u8e3s4.varOf('A'), _this__u8e3s4.varOf('B')]);
2831
2695
  };
2832
- protoOf(Comma).e2i = function (_this__u8e3s4) {
2696
+ protoOf(Comma).g2j = function (_this__u8e3s4) {
2833
2697
  return _this__u8e3s4.tupleOf([_this__u8e3s4.varOf('A'), _this__u8e3s4.varOf('B')]);
2834
2698
  };
2835
2699
  var Comma_instance;
@@ -2852,16 +2716,12 @@
2852
2716
  Fail_instance = this;
2853
2717
  NegationAsFailure.call(this);
2854
2718
  }
2855
- protoOf(Fail).e2i = function (_this__u8e3s4) {
2856
- var tmp$ret$0;
2719
+ protoOf(Fail).g2j = function (_this__u8e3s4) {
2857
2720
  // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
2858
- var tmp0__get_functor__thl4dk = EnsureExecutable_getInstance();
2859
- tmp$ret$0 = tmp0__get_functor__thl4dk.signature.name;
2721
+ var tmp$ret$0 = EnsureExecutable_getInstance().signature.name;
2860
2722
  var tmp = _this__u8e3s4.structOf(tmp$ret$0, [_this__u8e3s4.varOf('X')]);
2861
- var tmp$ret$1;
2862
2723
  // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
2863
- var tmp1__get_functor__4k11yf = Call_getInstance();
2864
- tmp$ret$1 = tmp1__get_functor__4k11yf.signature.name;
2724
+ var tmp$ret$1 = Call_getInstance().signature.name;
2865
2725
  return _this__u8e3s4.tupleOf([tmp, _this__u8e3s4.structOf(tmp$ret$1, [_this__u8e3s4.varOf('X')]), MagicCut_getInstance(), _this__u8e3s4.truthOf(false)]);
2866
2726
  };
2867
2727
  var Fail_instance;
@@ -2874,7 +2734,7 @@
2874
2734
  Success_instance = this;
2875
2735
  NegationAsFailure.call(this);
2876
2736
  }
2877
- protoOf(Success).e2i = function (_this__u8e3s4) {
2737
+ protoOf(Success).g2j = function (_this__u8e3s4) {
2878
2738
  return _this__u8e3s4.truthOf(true);
2879
2739
  };
2880
2740
  var Success_instance;
@@ -2884,156 +2744,66 @@
2884
2744
  return Success_instance;
2885
2745
  }
2886
2746
  function Companion_1() {
2887
- Companion_instance_1 = this;
2888
- this.l39_1 = '\\+';
2889
- this.m39_1 = 1;
2747
+ this.o3a_1 = '\\+';
2748
+ this.p3a_1 = 1;
2890
2749
  }
2891
- var Companion_instance_1;
2892
- function Companion_getInstance_24() {
2893
- if (Companion_instance_1 == null)
2894
- new Companion_1();
2895
- return Companion_instance_1;
2750
+ var Companion_instance_17;
2751
+ function Companion_getInstance_8() {
2752
+ return Companion_instance_17;
2896
2753
  }
2897
2754
  function NegationAsFailure() {
2898
- Companion_getInstance_24();
2899
- Companion_getInstance_24();
2900
- Companion_getInstance_24();
2901
2755
  RuleWrapper_init_$Init$('\\+', 1, VOID, this);
2902
2756
  }
2903
- protoOf(NegationAsFailure).d2i = function (_this__u8e3s4) {
2757
+ protoOf(NegationAsFailure).f2j = function (_this__u8e3s4) {
2904
2758
  return _this__u8e3s4.ktListOf([_this__u8e3s4.varOf('X')]);
2905
2759
  };
2906
2760
  //region block: post-declaration
2907
- protoOf(AbstractClassicSolver).copy = copy;
2908
- protoOf(AbstractClassicSolver).solveWithTimeout = solveWithTimeout;
2909
- protoOf(AbstractClassicSolver).solve = solve;
2910
- protoOf(AbstractClassicSolver).solveListWithTimeout = solveListWithTimeout;
2911
- protoOf(AbstractClassicSolver).solveList = solveList;
2912
- protoOf(AbstractClassicSolver).solveListWithOptions = solveListWithOptions;
2913
- protoOf(AbstractClassicSolver).solveOnceWithTimeout = solveOnceWithTimeout;
2914
- protoOf(AbstractClassicSolver).solveOnce = solveOnce;
2915
- protoOf(AbstractClassicSolver).solveOnceWithOptions = solveOnceWithOptions;
2916
- protoOf(AbstractClassicSolver).f1u = get_standardInput;
2917
- protoOf(AbstractClassicSolver).h1u = get_standardOutput;
2918
- protoOf(AbstractClassicSolver).j1u = get_standardError;
2919
- protoOf(AbstractClassicSolver).l1u = get_warnings;
2920
2761
  protoOf(ClassicExecutionContext).createSolver = createSolver;
2921
2762
  protoOf(ClassicExecutionContext).createMutableSolver = createMutableSolver;
2922
2763
  protoOf(ClassicExecutionContext).update = update;
2923
- protoOf(ClassicExecutionContext).f1u = get_standardInput;
2924
- protoOf(ClassicExecutionContext).h1u = get_standardOutput;
2925
- protoOf(ClassicExecutionContext).j1u = get_standardError;
2926
- protoOf(ClassicExecutionContext).l1u = get_warnings;
2927
- protoOf(ClassicExecutionContext).m1t = get_endTime;
2928
- protoOf(ClassicExecutionContext).o1t = get_remainingTime;
2929
- protoOf(ClassicExecutionContext).p1t = get_elapsedTime;
2930
- protoOf(ClassicSolver).copy = copy;
2931
- protoOf(ClassicSolver).solveWithTimeout = solveWithTimeout;
2932
- protoOf(ClassicSolver).solve = solve;
2933
- protoOf(ClassicSolver).solveListWithTimeout = solveListWithTimeout;
2934
- protoOf(ClassicSolver).solveList = solveList;
2935
- protoOf(ClassicSolver).solveListWithOptions = solveListWithOptions;
2936
- protoOf(ClassicSolver).solveOnceWithTimeout = solveOnceWithTimeout;
2937
- protoOf(ClassicSolver).solveOnce = solveOnce;
2938
- protoOf(ClassicSolver).solveOnceWithOptions = solveOnceWithOptions;
2939
- protoOf(ClassicSolver).f1u = get_standardInput;
2940
- protoOf(ClassicSolver).h1u = get_standardOutput;
2941
- protoOf(ClassicSolver).j1u = get_standardError;
2942
- protoOf(ClassicSolver).l1u = get_warnings;
2764
+ protoOf(ClassicExecutionContext).e1v = get_standardInput;
2765
+ protoOf(ClassicExecutionContext).f1v = get_standardOutput;
2766
+ protoOf(ClassicExecutionContext).g1v = get_standardError;
2767
+ protoOf(ClassicExecutionContext).h1v = get_warnings;
2768
+ protoOf(ClassicExecutionContext).l1u = get_endTime;
2769
+ protoOf(ClassicExecutionContext).n1u = get_remainingTime;
2770
+ protoOf(ClassicExecutionContext).o1u = get_elapsedTime;
2943
2771
  protoOf(ClassicSolverFactory).rawSolverOf = rawSolverOf;
2944
2772
  protoOf(ClassicSolverFactory).solverOf = solverOf;
2945
2773
  protoOf(ClassicSolverFactory).mutableSolverOf = mutableSolverOf;
2946
2774
  protoOf(ClassicSolverFactory).rawMutableSolverOf = rawMutableSolverOf;
2947
2775
  protoOf(ClassicSolverFactory).newBuilder = newBuilder;
2948
- protoOf(ClassicSolverFactory).t1w = get_defaultRuntime;
2949
- protoOf(ClassicSolverFactory).v1w = get_defaultUnificator;
2950
- protoOf(ClassicSolverFactory).w1w = get_defaultFlags;
2951
- protoOf(ClassicSolverFactory).z1w = get_defaultStaticKb;
2952
- protoOf(ClassicSolverFactory).a1x = get_defaultDynamicKb;
2953
- protoOf(ClassicSolverFactory).b1x = get_defaultInputChannel;
2954
- protoOf(ClassicSolverFactory).c1x = get_defaultOutputChannel;
2955
- protoOf(ClassicSolverFactory).d1x = get_defaultErrorChannel;
2956
- protoOf(ClassicSolverFactory).e1x = get_defaultWarningsChannel;
2957
- protoOf(ClassicSolverFactory).m1x = solverWithDefaultBuiltins;
2776
+ protoOf(ClassicSolverFactory).u1x = get_defaultRuntime;
2777
+ protoOf(ClassicSolverFactory).w1x = get_defaultUnificator;
2778
+ protoOf(ClassicSolverFactory).x1x = get_defaultFlags;
2779
+ protoOf(ClassicSolverFactory).a1y = get_defaultStaticKb;
2780
+ protoOf(ClassicSolverFactory).b1y = get_defaultDynamicKb;
2781
+ protoOf(ClassicSolverFactory).c1y = get_defaultInputChannel;
2782
+ protoOf(ClassicSolverFactory).d1y = get_defaultOutputChannel;
2783
+ protoOf(ClassicSolverFactory).e1y = get_defaultErrorChannel;
2784
+ protoOf(ClassicSolverFactory).f1y = get_defaultWarningsChannel;
2785
+ protoOf(ClassicSolverFactory).n1y = solverWithDefaultBuiltins;
2958
2786
  protoOf(ClassicSolverFactory).solverWithDefaultBuiltinsAnd = solverWithDefaultBuiltinsAnd;
2959
- protoOf(ClassicSolverFactory).o1x = mutableSolverWithDefaultBuiltins;
2787
+ protoOf(ClassicSolverFactory).p1y = mutableSolverWithDefaultBuiltins;
2960
2788
  protoOf(ClassicSolverFactory).mutableSolverWithDefaultBuiltinsAnd = mutableSolverWithDefaultBuiltinsAnd;
2961
- protoOf(MutableClassicSolver).copy = copy;
2962
- protoOf(MutableClassicSolver).solveWithTimeout = solveWithTimeout;
2963
- protoOf(MutableClassicSolver).solve = solve;
2964
- protoOf(MutableClassicSolver).solveListWithTimeout = solveListWithTimeout;
2965
- protoOf(MutableClassicSolver).solveList = solveList;
2966
- protoOf(MutableClassicSolver).solveListWithOptions = solveListWithOptions;
2967
- protoOf(MutableClassicSolver).solveOnceWithTimeout = solveOnceWithTimeout;
2968
- protoOf(MutableClassicSolver).solveOnce = solveOnce;
2969
- protoOf(MutableClassicSolver).solveOnceWithOptions = solveOnceWithOptions;
2970
- protoOf(MutableClassicSolver).f1u = get_standardInput;
2971
- protoOf(MutableClassicSolver).h1u = get_standardOutput;
2972
- protoOf(MutableClassicSolver).j1u = get_standardError;
2973
- protoOf(MutableClassicSolver).l1u = get_warnings;
2974
2789
  protoOf(MutableClassicSolver).loadStaticClauses = loadStaticClauses;
2975
2790
  protoOf(MutableClassicSolver).loadStaticClausesIterable = loadStaticClausesIterable;
2976
2791
  protoOf(MutableClassicSolver).loadStaticClausesSequence = loadStaticClausesSequence;
2977
2792
  protoOf(MutableClassicSolver).loadDynamicClauses = loadDynamicClauses;
2978
2793
  protoOf(MutableClassicSolver).loadDynamicClausesIterable = loadDynamicClausesIterable;
2979
2794
  protoOf(MutableClassicSolver).loadDynamicClausesSequence = loadDynamicClausesSequence;
2980
- protoOf(AbstractState).z35 = get_isEndState;
2795
+ protoOf(AbstractState).c37 = get_isEndState;
2981
2796
  protoOf(AbstractState).asEndState = asEndState;
2982
2797
  protoOf(AbstractState).castToEndState = castToEndState;
2983
2798
  protoOf(AbstractState).clone = clone;
2984
- protoOf(AbstractEndState).c33 = get_hasOpenAlternatives;
2985
- protoOf(AbstractEndState).z35 = get_isEndState_0;
2986
- protoOf(AbstractEndState).a36 = asEndState_0;
2987
- protoOf(AbstractEndState).castToEndState = castToEndState;
2988
- protoOf(AbstractEndState).clone = clone;
2989
- protoOf(StateBacktracking).clone = clone;
2990
- protoOf(StateBacktracking).z35 = get_isEndState;
2991
- protoOf(StateBacktracking).asEndState = asEndState;
2992
- protoOf(StateBacktracking).castToEndState = castToEndState;
2993
- protoOf(StateEnd).clone = clone;
2994
- protoOf(StateEnd).c33 = get_hasOpenAlternatives;
2995
- protoOf(StateEnd).z35 = get_isEndState_0;
2996
- protoOf(StateEnd).a36 = asEndState_0;
2997
- protoOf(StateEnd).castToEndState = castToEndState;
2998
- protoOf(StateException).clone = clone;
2999
- protoOf(StateException).z35 = get_isEndState;
3000
- protoOf(StateException).asEndState = asEndState;
3001
- protoOf(StateException).castToEndState = castToEndState;
3002
- protoOf(StateGoalSelection).clone = clone;
3003
- protoOf(StateGoalSelection).z35 = get_isEndState;
3004
- protoOf(StateGoalSelection).asEndState = asEndState;
3005
- protoOf(StateGoalSelection).castToEndState = castToEndState;
3006
- protoOf(StateHalt).clone = clone;
3007
- protoOf(StateHalt).z35 = get_isEndState_0;
3008
- protoOf(StateHalt).a36 = asEndState_0;
3009
- protoOf(StateHalt).castToEndState = castToEndState;
3010
- protoOf(StateHalt).c33 = get_hasOpenAlternatives;
3011
- protoOf(StateInit).clone = clone;
3012
- protoOf(StateInit).z35 = get_isEndState;
3013
- protoOf(StateInit).asEndState = asEndState;
3014
- protoOf(StateInit).castToEndState = castToEndState;
3015
- protoOf(StatePrimitiveExecution).clone = clone;
3016
- protoOf(StatePrimitiveExecution).z35 = get_isEndState;
3017
- protoOf(StatePrimitiveExecution).asEndState = asEndState;
3018
- protoOf(StatePrimitiveExecution).castToEndState = castToEndState;
3019
- protoOf(StatePrimitiveSelection).clone = clone;
3020
- protoOf(StatePrimitiveSelection).z35 = get_isEndState;
3021
- protoOf(StatePrimitiveSelection).asEndState = asEndState;
3022
- protoOf(StatePrimitiveSelection).castToEndState = castToEndState;
3023
- protoOf(StateRuleExecution).clone = clone;
3024
- protoOf(StateRuleExecution).z35 = get_isEndState;
3025
- protoOf(StateRuleExecution).asEndState = asEndState;
3026
- protoOf(StateRuleExecution).castToEndState = castToEndState;
3027
- protoOf(StateRuleSelection).clone = clone;
3028
- protoOf(StateRuleSelection).z35 = get_isEndState;
3029
- protoOf(StateRuleSelection).asEndState = asEndState;
3030
- protoOf(StateRuleSelection).castToEndState = castToEndState;
3031
- protoOf(DefaultBuiltins).containsSignature = containsSignature;
3032
- protoOf(DefaultBuiltins).containsOperator = containsOperator;
3033
- protoOf(DefaultBuiltins).hasPrimitive = hasPrimitive;
3034
- protoOf(DefaultBuiltins).hasFunction = hasFunction;
3035
- protoOf(DefaultBuiltins).r2c = get_ruleSignatures;
3036
- protoOf(DefaultBuiltins).hasProtected = hasProtected;
2799
+ protoOf(AbstractEndState).f34 = get_hasOpenAlternatives;
2800
+ protoOf(AbstractEndState).c37 = get_isEndState_0;
2801
+ protoOf(AbstractEndState).d37 = asEndState_0;
2802
+ //endregion
2803
+ //region block: init
2804
+ ClassicSolverFactory_instance = new ClassicSolverFactory();
2805
+ Companion_instance_15 = new Companion();
2806
+ Companion_instance_17 = new Companion_1();
3037
2807
  //endregion
3038
2808
  //region block: exports
3039
2809
  function $jsExportAll$(_) {
@@ -3049,7 +2819,7 @@
3049
2819
  _.$_$ = _.$_$ || {};
3050
2820
  _.$_$.a = Call_getInstance;
3051
2821
  _.$_$.b = DefaultBuiltins_getInstance;
3052
- _.$_$.c = ClassicSolverFactory_getInstance;
2822
+ _.$_$.c = ClassicSolverFactory_instance;
3053
2823
  //endregion
3054
2824
  return _;
3055
2825
  }));