@tuprolog/2p-full 0.31.21 → 0.32.0

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 +4880 -6148
  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} +9559 -10329
  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-oop-lib.js CHANGED
@@ -1,11 +1,11 @@
1
1
  (function (root, factory) {
2
2
  if (typeof define === 'function' && define.amd)
3
- define(['exports', './kotlin-kotlin-stdlib-js-ir.js', './2p-solve.js', './kt-math.js', './2p-core.js', './2p-utils.js', './2p-unify.js'], factory);
3
+ define(['exports', './kotlin-kotlin-stdlib.js', './2p-solve.js', './kt-math.js', './2p-core.js', './2p-utils.js', './2p-unify.js'], factory);
4
4
  else if (typeof exports === 'object')
5
- factory(module.exports, require('./kotlin-kotlin-stdlib-js-ir.js'), require('./2p-solve.js'), require('./kt-math.js'), require('./2p-core.js'), require('./2p-utils.js'), require('./2p-unify.js'));
5
+ factory(module.exports, require('./kotlin-kotlin-stdlib.js'), require('./2p-solve.js'), require('./kt-math.js'), require('./2p-core.js'), require('./2p-utils.js'), require('./2p-unify.js'));
6
6
  else {
7
- if (typeof this['kotlin-kotlin-stdlib-js-ir'] === 'undefined') {
8
- throw new Error("Error loading module '2p-oop-lib'. Its dependency 'kotlin-kotlin-stdlib-js-ir' was not found. Please, check whether 'kotlin-kotlin-stdlib-js-ir' is loaded prior to '2p-oop-lib'.");
7
+ if (typeof this['kotlin-kotlin-stdlib'] === 'undefined') {
8
+ throw new Error("Error loading module '2p-oop-lib'. Its dependency 'kotlin-kotlin-stdlib' was not found. Please, check whether 'kotlin-kotlin-stdlib' is loaded prior to '2p-oop-lib'.");
9
9
  }
10
10
  if (typeof this['2p-solve'] === 'undefined') {
11
11
  throw new Error("Error loading module '2p-oop-lib'. Its dependency '2p-solve' was not found. Please, check whether '2p-solve' is loaded prior to '2p-oop-lib'.");
@@ -22,32 +22,32 @@
22
22
  if (typeof this['2p-unify'] === 'undefined') {
23
23
  throw new Error("Error loading module '2p-oop-lib'. Its dependency '2p-unify' was not found. Please, check whether '2p-unify' is loaded prior to '2p-oop-lib'.");
24
24
  }
25
- root['2p-oop-lib'] = factory(typeof this['2p-oop-lib'] === 'undefined' ? {} : this['2p-oop-lib'], this['kotlin-kotlin-stdlib-js-ir'], this['2p-solve'], this['kt-math'], this['2p-core'], this['2p-utils'], this['2p-unify']);
25
+ root['2p-oop-lib'] = factory(typeof this['2p-oop-lib'] === 'undefined' ? {} : this['2p-oop-lib'], this['kotlin-kotlin-stdlib'], this['2p-solve'], this['kt-math'], this['2p-core'], this['2p-utils'], this['2p-unify']);
26
26
  }
27
27
  }(this, function (_, kotlin_kotlin, kotlin_it_unibo_tuprolog_solve, kotlin_io_github_gciatto_kt_math, kotlin_it_unibo_tuprolog_core, kotlin_it_unibo_tuprolog_utils, kotlin_it_unibo_tuprolog_unify) {
28
28
  'use strict';
29
29
  //region block: imports
30
- var NullPointerException_init_$Create$ = kotlin_kotlin.$_$.b1;
31
- var protoOf = kotlin_kotlin.$_$.s6;
32
- var interfaceMeta = kotlin_kotlin.$_$.c6;
33
- var VOID = kotlin_kotlin.$_$.gc;
34
- var setMetadataFor = kotlin_kotlin.$_$.t6;
35
- var objectMeta = kotlin_kotlin.$_$.r6;
30
+ var NullPointerException_init_$Create$ = kotlin_kotlin.$_$.d1;
31
+ var protoOf = kotlin_kotlin.$_$.u6;
32
+ var interfaceMeta = kotlin_kotlin.$_$.f6;
33
+ var setMetadataFor = kotlin_kotlin.$_$.v6;
34
+ var VOID = kotlin_kotlin.$_$.d;
35
+ var objectMeta = kotlin_kotlin.$_$.t6;
36
36
  var AbstractLibrary = kotlin_it_unibo_tuprolog_solve.$_$.w2;
37
- var listOf = kotlin_kotlin.$_$.p3;
38
- var collectionSizeOrDefault = kotlin_kotlin.$_$.n2;
39
- var ArrayList_init_$Create$ = kotlin_kotlin.$_$.e;
40
- var to = kotlin_kotlin.$_$.fc;
41
- var Unit_getInstance = kotlin_kotlin.$_$.v1;
42
- var toMap = kotlin_kotlin.$_$.z4;
43
- var PrimitiveClasses_getInstance = kotlin_kotlin.$_$.s1;
44
- var List = kotlin_kotlin.$_$.z1;
37
+ var listOf = kotlin_kotlin.$_$.s3;
38
+ var collectionSizeOrDefault = kotlin_kotlin.$_$.q2;
39
+ var ArrayList_init_$Create$ = kotlin_kotlin.$_$.f;
40
+ var to = kotlin_kotlin.$_$.hc;
41
+ var Unit_instance = kotlin_kotlin.$_$.y1;
42
+ var toMap = kotlin_kotlin.$_$.b5;
43
+ var PrimitiveClasses_getInstance = kotlin_kotlin.$_$.v1;
44
+ var List = kotlin_kotlin.$_$.c2;
45
45
  var getKClass = kotlin_kotlin.$_$.c;
46
- var ArrayList = kotlin_kotlin.$_$.w1;
47
- var Map = kotlin_kotlin.$_$.a2;
48
- var LinkedHashMap = kotlin_kotlin.$_$.y1;
49
- var Long = kotlin_kotlin.$_$.nb;
50
- var Char = kotlin_kotlin.$_$.fb;
46
+ var ArrayList = kotlin_kotlin.$_$.z1;
47
+ var Map = kotlin_kotlin.$_$.d2;
48
+ var LinkedHashMap = kotlin_kotlin.$_$.b2;
49
+ var Long = kotlin_kotlin.$_$.pb;
50
+ var Char = kotlin_kotlin.$_$.hb;
51
51
  var BigInteger = kotlin_io_github_gciatto_kt_math.$_$.g;
52
52
  var BigDecimal = kotlin_io_github_gciatto_kt_math.$_$.f;
53
53
  var arrayConcat = kotlin_kotlin.$_$.a;
@@ -56,119 +56,112 @@
56
56
  var Specifier_XFX_getInstance = kotlin_it_unibo_tuprolog_core.$_$.b;
57
57
  var Specifier_FX_getInstance = kotlin_it_unibo_tuprolog_core.$_$.a;
58
58
  var OperatorSet_init_$Create$ = kotlin_it_unibo_tuprolog_core.$_$.n;
59
- var containsSignature = kotlin_it_unibo_tuprolog_solve.$_$.z2;
60
- var containsOperator = kotlin_it_unibo_tuprolog_solve.$_$.y2;
61
- var hasPrimitive = kotlin_it_unibo_tuprolog_solve.$_$.b3;
62
- var hasFunction = kotlin_it_unibo_tuprolog_solve.$_$.a3;
63
- var get_ruleSignatures = kotlin_it_unibo_tuprolog_solve.$_$.d3;
64
- var hasProtected = kotlin_it_unibo_tuprolog_solve.$_$.c3;
65
59
  var getKClassFromExpression = kotlin_kotlin.$_$.b;
66
60
  var Atom = kotlin_it_unibo_tuprolog_core.$_$.o1;
67
- var isInterface = kotlin_kotlin.$_$.g6;
68
- var lazy = kotlin_kotlin.$_$.yb;
69
- var toString = kotlin_kotlin.$_$.ec;
70
- var hashCode = kotlin_kotlin.$_$.b6;
71
- var THROW_CCE = kotlin_kotlin.$_$.tb;
72
- var equals = kotlin_kotlin.$_$.w5;
73
- var classMeta = kotlin_kotlin.$_$.t5;
74
- var KProperty1 = kotlin_kotlin.$_$.o7;
75
- var getPropertyCallableRef = kotlin_kotlin.$_$.z5;
76
- var Companion_getInstance = kotlin_it_unibo_tuprolog_utils.$_$.e;
77
- var contains = kotlin_kotlin.$_$.o2;
78
- var listOf_0 = kotlin_kotlin.$_$.o3;
79
- var checkIndexOverflow = kotlin_kotlin.$_$.m2;
80
- var copyToArray = kotlin_kotlin.$_$.t2;
81
- var trimMargin = kotlin_kotlin.$_$.bb;
82
- var toString_0 = kotlin_kotlin.$_$.x6;
83
- var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.t;
84
- var setOf = kotlin_kotlin.$_$.l4;
85
- var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_core.$_$.f1;
61
+ var isInterface = kotlin_kotlin.$_$.j6;
62
+ var lazy = kotlin_kotlin.$_$.ac;
63
+ var toString = kotlin_kotlin.$_$.gc;
64
+ var hashCode = kotlin_kotlin.$_$.e6;
65
+ var THROW_CCE = kotlin_kotlin.$_$.vb;
66
+ var equals = kotlin_kotlin.$_$.y5;
67
+ var classMeta = kotlin_kotlin.$_$.v5;
68
+ var KProperty1 = kotlin_kotlin.$_$.q7;
69
+ var getPropertyCallableRef = kotlin_kotlin.$_$.c6;
70
+ var Companion_instance = kotlin_it_unibo_tuprolog_utils.$_$.e;
71
+ var contains = kotlin_kotlin.$_$.r2;
72
+ var listOf_0 = kotlin_kotlin.$_$.r3;
73
+ var checkIndexOverflow = kotlin_kotlin.$_$.p2;
74
+ var copyToArray = kotlin_kotlin.$_$.w2;
75
+ var trimMargin = kotlin_kotlin.$_$.db;
76
+ var toString_0 = kotlin_kotlin.$_$.z6;
77
+ var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.v;
78
+ var setOf = kotlin_kotlin.$_$.o4;
79
+ var Companion_instance_0 = kotlin_it_unibo_tuprolog_core.$_$.f1;
86
80
  var format = kotlin_it_unibo_tuprolog_core.$_$.c3;
87
- var captureStack = kotlin_kotlin.$_$.o5;
88
- var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_solve.$_$.w1;
81
+ var captureStack = kotlin_kotlin.$_$.q5;
82
+ var Companion_instance_1 = kotlin_it_unibo_tuprolog_solve.$_$.w1;
89
83
  var Expected_DEALIASING_EXPRESSION_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.l;
90
- var charSequenceLength = kotlin_kotlin.$_$.s5;
91
- var charSequenceGet = kotlin_kotlin.$_$.r5;
92
- var toString_1 = kotlin_kotlin.$_$.l1;
93
- var Companion_getInstance_2 = kotlin_it_unibo_tuprolog_unify.$_$.a;
84
+ var charSequenceLength = kotlin_kotlin.$_$.u5;
85
+ var charSequenceGet = kotlin_kotlin.$_$.t5;
86
+ var toString_1 = kotlin_kotlin.$_$.o1;
87
+ var Companion_getInstance = kotlin_it_unibo_tuprolog_unify.$_$.a;
94
88
  var Struct = kotlin_it_unibo_tuprolog_core.$_$.z1;
95
- var Companion_getInstance_3 = kotlin_it_unibo_tuprolog_solve.$_$.q1;
89
+ var Companion_instance_2 = kotlin_it_unibo_tuprolog_solve.$_$.q1;
96
90
  var ObjectType_OOP_ALIAS_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.h;
97
91
  var TuPrologException_init_$Init$ = kotlin_it_unibo_tuprolog_core.$_$.m;
98
92
  var TuPrologException = kotlin_it_unibo_tuprolog_core.$_$.l1;
99
- var objectCreate = kotlin_kotlin.$_$.q6;
100
- var Companion_getInstance_4 = kotlin_it_unibo_tuprolog_solve.$_$.t1;
93
+ var objectCreate = kotlin_kotlin.$_$.s6;
94
+ var Companion_instance_3 = kotlin_it_unibo_tuprolog_solve.$_$.t1;
101
95
  var Limit_OOP_OBJECT_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.j;
102
- var Companion_getInstance_5 = kotlin_it_unibo_tuprolog_core.$_$.s;
96
+ var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_core.$_$.s;
103
97
  var Term = kotlin_it_unibo_tuprolog_core.$_$.y2;
104
98
  var NumberTypeTester = kotlin_it_unibo_tuprolog_utils.$_$.j;
105
- var Companion_getInstance_6 = kotlin_it_unibo_tuprolog_core.$_$.g1;
106
- var charArrayOf = kotlin_kotlin.$_$.p5;
107
- var concatToString = kotlin_kotlin.$_$.j9;
108
- var Companion_getInstance_7 = kotlin_it_unibo_tuprolog_core.$_$.a1;
109
- var Companion_getInstance_8 = kotlin_it_unibo_tuprolog_core.$_$.x;
110
- var isNumber = kotlin_kotlin.$_$.h6;
111
- var Exception = kotlin_kotlin.$_$.jb;
99
+ var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_core.$_$.g1;
100
+ var charArrayOf = kotlin_kotlin.$_$.r5;
101
+ var concatToString = kotlin_kotlin.$_$.l9;
102
+ var Companion_getInstance_2 = kotlin_it_unibo_tuprolog_core.$_$.a1;
103
+ var Companion_getInstance_3 = kotlin_it_unibo_tuprolog_core.$_$.x;
104
+ var isNumber = kotlin_kotlin.$_$.k6;
105
+ var Exception = kotlin_kotlin.$_$.lb;
112
106
  var Var = kotlin_it_unibo_tuprolog_core.$_$.b3;
113
- var sequenceOf = kotlin_kotlin.$_$.u8;
114
- var Companion_getInstance_9 = kotlin_io_github_gciatto_kt_math.$_$.e;
115
- var Companion_getInstance_10 = kotlin_kotlin.$_$.u1;
116
- var plus = kotlin_kotlin.$_$.s8;
117
- var IntCompanionObject_getInstance = kotlin_kotlin.$_$.p1;
118
- var ShortCompanionObject_getInstance = kotlin_kotlin.$_$.q1;
119
- var ByteCompanionObject_getInstance = kotlin_kotlin.$_$.m1;
120
- var Companion_getInstance_11 = kotlin_io_github_gciatto_kt_math.$_$.d;
121
- var DoubleCompanionObject_getInstance = kotlin_kotlin.$_$.n1;
122
- var compareTo = kotlin_kotlin.$_$.u5;
123
- var FloatCompanionObject_getInstance = kotlin_kotlin.$_$.o1;
107
+ var sequenceOf = kotlin_kotlin.$_$.w8;
108
+ var Companion_getInstance_4 = kotlin_io_github_gciatto_kt_math.$_$.e;
109
+ var Companion_getInstance_5 = kotlin_kotlin.$_$.x1;
110
+ var plus = kotlin_kotlin.$_$.u8;
111
+ var IntCompanionObject_instance = kotlin_kotlin.$_$.s1;
112
+ var ShortCompanionObject_instance = kotlin_kotlin.$_$.t1;
113
+ var ByteCompanionObject_instance = kotlin_kotlin.$_$.p1;
114
+ var Companion_getInstance_6 = kotlin_io_github_gciatto_kt_math.$_$.d;
115
+ var DoubleCompanionObject_instance = kotlin_kotlin.$_$.q1;
116
+ var compareTo = kotlin_kotlin.$_$.w5;
117
+ var FloatCompanionObject_instance = kotlin_kotlin.$_$.r1;
124
118
  var Integer = kotlin_it_unibo_tuprolog_core.$_$.u1;
125
119
  var Real = kotlin_it_unibo_tuprolog_core.$_$.x1;
126
120
  var Truth = kotlin_it_unibo_tuprolog_core.$_$.z2;
127
- var first = kotlin_kotlin.$_$.e8;
128
- var toSet = kotlin_kotlin.$_$.d9;
121
+ var first = kotlin_kotlin.$_$.g8;
122
+ var toSet = kotlin_kotlin.$_$.f9;
129
123
  var Some = kotlin_it_unibo_tuprolog_utils.$_$.k;
130
- var Companion_getInstance_12 = kotlin_it_unibo_tuprolog_core.$_$.e1;
131
- var Companion_getInstance_13 = kotlin_it_unibo_tuprolog_solve.$_$.e2;
132
- var Functional = kotlin_it_unibo_tuprolog_solve.$_$.n3;
133
- var Companion_getInstance_14 = kotlin_it_unibo_tuprolog_solve.$_$.v1;
134
- var Functional_0 = kotlin_it_unibo_tuprolog_solve.$_$.e3;
124
+ var Companion_getInstance_7 = kotlin_it_unibo_tuprolog_core.$_$.e1;
125
+ var Companion_getInstance_8 = kotlin_it_unibo_tuprolog_solve.$_$.e2;
126
+ var Functional = kotlin_it_unibo_tuprolog_solve.$_$.h3;
127
+ var Companion_instance_4 = kotlin_it_unibo_tuprolog_solve.$_$.v1;
128
+ var Functional_0 = kotlin_it_unibo_tuprolog_solve.$_$.y2;
135
129
  var Expected_OBJECT_REFERENCE_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.n;
136
- var isObject = kotlin_kotlin.$_$.i6;
137
- var map = kotlin_kotlin.$_$.o8;
138
- var Companion_getInstance_15 = kotlin_it_unibo_tuprolog_core.$_$.y;
130
+ var map = kotlin_kotlin.$_$.q8;
131
+ var Companion_instance_5 = kotlin_it_unibo_tuprolog_core.$_$.y;
139
132
  var List_0 = kotlin_it_unibo_tuprolog_core.$_$.v1;
140
- var toList = kotlin_kotlin.$_$.b9;
141
- var isArray = kotlin_kotlin.$_$.d6;
142
- var asSequence = kotlin_kotlin.$_$.l2;
143
- var Predicative = kotlin_it_unibo_tuprolog_solve.$_$.p3;
144
- var TernaryRelation = kotlin_it_unibo_tuprolog_solve.$_$.r3;
145
- var asSequence_0 = kotlin_kotlin.$_$.k2;
146
- var flatMap = kotlin_kotlin.$_$.f8;
147
- var distinct = kotlin_kotlin.$_$.w7;
148
- var TypeTester = kotlin_it_unibo_tuprolog_solve.$_$.s3;
133
+ var toList = kotlin_kotlin.$_$.d9;
134
+ var isArray = kotlin_kotlin.$_$.g6;
135
+ var asSequence = kotlin_kotlin.$_$.o2;
136
+ var Predicative = kotlin_it_unibo_tuprolog_solve.$_$.j3;
137
+ var TernaryRelation = kotlin_it_unibo_tuprolog_solve.$_$.l3;
138
+ var asSequence_0 = kotlin_kotlin.$_$.n2;
139
+ var flatMap = kotlin_kotlin.$_$.h8;
140
+ var distinct = kotlin_kotlin.$_$.y7;
141
+ var TypeTester = kotlin_it_unibo_tuprolog_solve.$_$.m3;
149
142
  var Expected_TYPE_REFERENCE_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.p;
150
143
  var Expected_REFERENCE_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.o;
151
- var Companion_getInstance_16 = kotlin_it_unibo_tuprolog_core.$_$.i1;
152
- var Companion_getInstance_17 = kotlin_it_unibo_tuprolog_core.$_$.d1;
153
- var filter = kotlin_kotlin.$_$.c8;
154
- var Sequence = kotlin_kotlin.$_$.q7;
155
- var firstOrNull = kotlin_kotlin.$_$.d8;
156
- var Yes = kotlin_it_unibo_tuprolog_solve.$_$.t4;
157
- var NonBacktrackable = kotlin_it_unibo_tuprolog_solve.$_$.f3;
158
- var Companion_getInstance_18 = kotlin_it_unibo_tuprolog_solve.$_$.r1;
159
- var Set = kotlin_kotlin.$_$.b2;
160
- var NonBacktrackable_0 = kotlin_it_unibo_tuprolog_solve.$_$.t3;
161
- var RuleWrapper = kotlin_it_unibo_tuprolog_solve.$_$.w3;
144
+ var Companion_getInstance_9 = kotlin_it_unibo_tuprolog_core.$_$.i1;
145
+ var Companion_getInstance_10 = kotlin_it_unibo_tuprolog_core.$_$.d1;
146
+ var filter = kotlin_kotlin.$_$.e8;
147
+ var Sequence = kotlin_kotlin.$_$.s7;
148
+ var firstOrNull = kotlin_kotlin.$_$.f8;
149
+ var Yes = kotlin_it_unibo_tuprolog_solve.$_$.n4;
150
+ var NonBacktrackable = kotlin_it_unibo_tuprolog_solve.$_$.z2;
151
+ var Companion_instance_6 = kotlin_it_unibo_tuprolog_solve.$_$.r1;
152
+ var Set = kotlin_kotlin.$_$.e2;
153
+ var NonBacktrackable_0 = kotlin_it_unibo_tuprolog_solve.$_$.n3;
154
+ var RuleWrapper = kotlin_it_unibo_tuprolog_solve.$_$.q3;
162
155
  var RuleWrapper_init_$Init$ = kotlin_it_unibo_tuprolog_solve.$_$.g1;
163
156
  var Var_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.h2;
164
- var getStringHashCode = kotlin_kotlin.$_$.a6;
165
- var toString_2 = kotlin_kotlin.$_$.xa;
166
- var ensureNotNull = kotlin_kotlin.$_$.wb;
167
- var _Char___init__impl__6a9atx = kotlin_kotlin.$_$.h1;
168
- var split = kotlin_kotlin.$_$.ia;
169
- var get_kotlin = kotlin_kotlin.$_$.j6;
170
- var NotImplementedError = kotlin_kotlin.$_$.ob;
171
- var Regex_init_$Create$ = kotlin_kotlin.$_$.k;
157
+ var getStringHashCode = kotlin_kotlin.$_$.d6;
158
+ var toString_2 = kotlin_kotlin.$_$.za;
159
+ var ensureNotNull = kotlin_kotlin.$_$.yb;
160
+ var _Char___init__impl__6a9atx = kotlin_kotlin.$_$.k1;
161
+ var split = kotlin_kotlin.$_$.ka;
162
+ var get_kotlin = kotlin_kotlin.$_$.l6;
163
+ var NotImplementedError = kotlin_kotlin.$_$.qb;
164
+ var Regex_init_$Create$ = kotlin_kotlin.$_$.m;
172
165
  //endregion
173
166
  //region block: pre-declaration
174
167
  setMetadataFor(Ref, 'Ref', interfaceMeta, VOID, [Atom]);
@@ -192,18 +185,18 @@
192
185
  setMetadataFor(Value, 'Value', classMeta, Result);
193
186
  setMetadataFor(Companion_2, 'Companion', objectMeta);
194
187
  function convert(term) {
195
- return this.c3o(this.e3o(term), term);
188
+ return this.f3p(this.h3p(term), term);
196
189
  }
197
190
  setMetadataFor(TermToObjectConverter, 'TermToObjectConverter', interfaceMeta);
198
191
  setMetadataFor(Companion_3, 'Companion', objectMeta);
199
192
  function typeRefFromName(typeName) {
200
- var tmp = Companion_getInstance().gq(this.h3o(typeName));
201
- return tmp.ys(TypeFactory$typeRefFromName$lambda).b1();
193
+ var tmp = Companion_instance.ar(this.k3p(typeName));
194
+ return tmp.st(TypeFactory$typeRefFromName$lambda).r2();
202
195
  }
203
196
  setMetadataFor(TypeFactory, 'TypeFactory', interfaceMeta);
204
197
  setMetadataFor(Companion_4, 'Companion', objectMeta);
205
198
  function create(objectConverter, arguments_0) {
206
- return this.k3o(objectConverter, listOf(arguments_0.slice()));
199
+ return this.n3p(objectConverter, listOf(arguments_0.slice()));
207
200
  }
208
201
  setMetadataFor(TypeRef, 'TypeRef', interfaceMeta, VOID, [Ref]);
209
202
  setMetadataFor(OopException, 'OopException', classMeta, TuPrologException);
@@ -213,9 +206,9 @@
213
206
  setMetadataFor(TermToObjectConversionException, 'TermToObjectConversionException', classMeta, OopException);
214
207
  setMetadataFor(NullRefImpl, 'NullRefImpl', objectMeta, VOID, [NullRef, Atom]);
215
208
  setMetadataFor(ObjectRefImpl, 'ObjectRefImpl', classMeta, VOID, [ObjectRef, Atom]);
216
- setMetadataFor(ObjectToTermConverterImpl, 'ObjectToTermConverterImpl', classMeta);
209
+ setMetadataFor(ObjectToTermConverterImpl, 'ObjectToTermConverterImpl', classMeta, VOID, VOID, ObjectToTermConverterImpl);
217
210
  setMetadataFor(TermToObjectConverterImpl, 'TermToObjectConverterImpl', classMeta, VOID, [TermToObjectConverter]);
218
- setMetadataFor(TypeFactoryImpl, 'TypeFactoryImpl', classMeta, VOID, [TypeFactory]);
211
+ setMetadataFor(TypeFactoryImpl, 'TypeFactoryImpl', classMeta, VOID, [TypeFactory], TypeFactoryImpl);
219
212
  setMetadataFor(Companion_6, 'Companion', objectMeta);
220
213
  setMetadataFor(TypeRefImpl, 'TypeRefImpl', classMeta, VOID, [TypeRef, Atom]);
221
214
  setMetadataFor(AbstractInvoke, 'AbstractInvoke', classMeta, Functional);
@@ -256,68 +249,53 @@
256
249
  function NullRef() {
257
250
  }
258
251
  function OOP() {
259
- OOP_instance = this;
260
- this.g3n_1 = '.';
261
- this.h3n_1 = ':=';
262
- this.i3n_1 = '$';
263
- this.j3n_1 = 'as';
264
- this.k3n_1 = 'alias';
252
+ this.j3o_1 = '.';
253
+ this.k3o_1 = ':=';
254
+ this.l3o_1 = '$';
255
+ this.m3o_1 = 'as';
256
+ this.n3o_1 = 'alias';
265
257
  }
266
258
  var OOP_instance;
267
259
  function OOP_getInstance() {
268
- if (OOP_instance == null)
269
- new OOP();
270
260
  return OOP_instance;
271
261
  }
272
262
  function OOPLib() {
273
263
  OOPLib_instance = this;
274
264
  AbstractLibrary.call(this);
275
265
  }
276
- protoOf(OOPLib).q2c = function () {
266
+ protoOf(OOPLib).s2d = function () {
277
267
  return 'prolog.oop';
278
268
  };
279
- protoOf(OOPLib).p2c = function () {
280
- var tmp$ret$3;
269
+ protoOf(OOPLib).r2d = function () {
281
270
  // Inline function 'kotlin.collections.map' call
282
- var tmp1_map = listOf([ArrayItems_getInstance(), Assign_getInstance(), Cast_getInstance(), Type_getInstance(), InvokeMethod_getInstance(), InvokeStrict_getInstance(), ListItems_getInstance(), NewObject3_getInstance(), NullRef_getInstance(), ObjectRef_getInstance(), Ref_getInstance(), Register_getInstance(), SetItems_getInstance(), TypeRef_getInstance(), Unregister_getInstance()]);
283
- var tmp$ret$2;
271
+ var this_0 = listOf([ArrayItems_getInstance(), Assign_getInstance(), Cast_getInstance(), Type_getInstance(), InvokeMethod_getInstance(), InvokeStrict_getInstance(), ListItems_getInstance(), NewObject3_getInstance(), NullRef_getInstance(), ObjectRef_getInstance(), Ref_getInstance(), Register_getInstance(), SetItems_getInstance(), TypeRef_getInstance(), Unregister_getInstance()]);
284
272
  // Inline function 'kotlin.collections.mapTo' call
285
- var tmp0_mapTo = ArrayList_init_$Create$(collectionSizeOrDefault(tmp1_map, 10));
286
- var tmp0_iterator = tmp1_map.j();
287
- while (tmp0_iterator.m()) {
288
- var item = tmp0_iterator.n();
289
- var tmp$ret$1;
273
+ var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
274
+ var tmp0_iterator = this_0.r();
275
+ while (tmp0_iterator.s()) {
276
+ var item = tmp0_iterator.u();
290
277
  // Inline function 'it.unibo.tuprolog.solve.libs.oop.OOPLib.<get-primitives>.<anonymous>' call
291
- var tmp$ret$0;
292
278
  // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.descriptionPair' call
293
- tmp$ret$0 = to(item.signature, item.j1t());
294
- tmp$ret$1 = tmp$ret$0;
295
- tmp0_mapTo.g(tmp$ret$1);
279
+ var tmp$ret$1 = to(item.signature, item.i1u());
280
+ destination.o(tmp$ret$1);
296
281
  }
297
- tmp$ret$2 = tmp0_mapTo;
298
- tmp$ret$3 = tmp$ret$2;
299
- return toMap(tmp$ret$3);
282
+ return toMap(destination);
300
283
  };
301
- protoOf(OOPLib).t1k = function () {
302
- var tmp$ret$2;
284
+ protoOf(OOPLib).t1l = function () {
303
285
  // Inline function 'kotlin.collections.map' call
304
- var tmp1_map = listOf(arrayConcat([[Cast_getInstance_0(), Invocation_getInstance(), Assignment_getInstance(), Dot_getInstance(), Recursive_getInstance(), Couple_getInstance(), Trivial_getInstance(), NewObject2_getInstance(), Recursive_getInstance_0(), Base_getInstance(), Companion_getInstance_27().n3n('string', PrimitiveClasses_getInstance().ge()), Companion_getInstance_27().n3n('array', PrimitiveClasses_getInstance().fe()), Companion_getInstance_27().n3n('list', getKClass(List)), Companion_getInstance_27().n3n('arraylist', getKClass(ArrayList)), Companion_getInstance_27().n3n('map', getKClass(Map)), Companion_getInstance_27().n3n('hashmap', getKClass(LinkedHashMap)), Companion_getInstance_27().n3n('int', PrimitiveClasses_getInstance().ce()), Companion_getInstance_27().n3n('integer', PrimitiveClasses_getInstance().ce()), Companion_getInstance_27().n3n('double', PrimitiveClasses_getInstance().ee()), Companion_getInstance_27().n3n('float', PrimitiveClasses_getInstance().de()), Companion_getInstance_27().n3n('long', getKClass(Long)), Companion_getInstance_27().n3n('short', PrimitiveClasses_getInstance().be()), Companion_getInstance_27().n3n('byte', PrimitiveClasses_getInstance().ae()), Companion_getInstance_27().n3n('char', getKClass(Char)), Companion_getInstance_27().n3n('bool', PrimitiveClasses_getInstance().zd()), Companion_getInstance_27().n3n('boolean', PrimitiveClasses_getInstance().zd()), Companion_getInstance_27().n3n('any', PrimitiveClasses_getInstance().wd()), Companion_getInstance_27().n3n('nothing', PrimitiveClasses_getInstance().yd()), Companion_getInstance_27().n3n('big_integer', getKClass(BigInteger)), Companion_getInstance_27().n3n('big_decimal', getKClass(BigDecimal))], get_platformSpecificAliases()]));
305
- var tmp$ret$1;
286
+ var this_0 = listOf(arrayConcat([[Cast_getInstance_0(), Invocation_getInstance(), Assignment_getInstance(), Dot_getInstance(), Recursive_getInstance(), Couple_getInstance(), Trivial_getInstance(), NewObject2_getInstance(), Recursive_getInstance_0(), Base_getInstance(), Companion_instance_15.q3o('string', PrimitiveClasses_getInstance().m7()), Companion_instance_15.q3o('array', PrimitiveClasses_getInstance().l7()), Companion_instance_15.q3o('list', getKClass(List)), Companion_instance_15.q3o('arraylist', getKClass(ArrayList)), Companion_instance_15.q3o('map', getKClass(Map)), Companion_instance_15.q3o('hashmap', getKClass(LinkedHashMap)), Companion_instance_15.q3o('int', PrimitiveClasses_getInstance().i7()), Companion_instance_15.q3o('integer', PrimitiveClasses_getInstance().i7()), Companion_instance_15.q3o('double', PrimitiveClasses_getInstance().k7()), Companion_instance_15.q3o('float', PrimitiveClasses_getInstance().j7()), Companion_instance_15.q3o('long', getKClass(Long)), Companion_instance_15.q3o('short', PrimitiveClasses_getInstance().h7()), Companion_instance_15.q3o('byte', PrimitiveClasses_getInstance().g7()), Companion_instance_15.q3o('char', getKClass(Char)), Companion_instance_15.q3o('bool', PrimitiveClasses_getInstance().f7()), Companion_instance_15.q3o('boolean', PrimitiveClasses_getInstance().f7()), Companion_instance_15.q3o('any', PrimitiveClasses_getInstance().c7()), Companion_instance_15.q3o('nothing', PrimitiveClasses_getInstance().e7()), Companion_instance_15.q3o('big_integer', getKClass(BigInteger)), Companion_instance_15.q3o('big_decimal', getKClass(BigDecimal))], get_platformSpecificAliases()]));
306
287
  // Inline function 'kotlin.collections.mapTo' call
307
- var tmp0_mapTo = ArrayList_init_$Create$(collectionSizeOrDefault(tmp1_map, 10));
308
- var tmp0_iterator = tmp1_map.j();
309
- while (tmp0_iterator.m()) {
310
- var item = tmp0_iterator.n();
311
- var tmp$ret$0;
288
+ var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
289
+ var tmp0_iterator = this_0.r();
290
+ while (tmp0_iterator.s()) {
291
+ var item = tmp0_iterator.u();
312
292
  // Inline function 'it.unibo.tuprolog.solve.libs.oop.OOPLib.<get-clauses>.<anonymous>' call
313
- tmp$ret$0 = item.j1t();
314
- tmp0_mapTo.g(tmp$ret$0);
293
+ var tmp$ret$0 = item.i1u();
294
+ destination.o(tmp$ret$0);
315
295
  }
316
- tmp$ret$1 = tmp0_mapTo;
317
- tmp$ret$2 = tmp$ret$1;
318
- return tmp$ret$2;
296
+ return destination;
319
297
  };
320
- protoOf(OOPLib).e1u = function () {
298
+ protoOf(OOPLib).d1v = function () {
321
299
  return OperatorSet_init_$Create$([new Operator('.', Specifier_XFY_getInstance(), 800), new Operator(':=', Specifier_XFX_getInstance(), 850), new Operator('as', Specifier_XFX_getInstance(), 200), new Operator('$', Specifier_FX_getInstance(), 100)]);
322
300
  };
323
301
  var OOPLib_instance;
@@ -330,109 +308,98 @@
330
308
  return '<object:' + get_fullName(type) + '#' + identifier + '>';
331
309
  }
332
310
  function Companion() {
333
- Companion_instance = this;
334
- this.o3n_1 = NullRefImpl_getInstance();
311
+ Companion_instance_7 = this;
312
+ this.r3o_1 = NullRefImpl_getInstance();
335
313
  }
336
- protoOf(Companion).p3n = function (any) {
337
- var tmp0_subject = any;
338
- return tmp0_subject == null ? nameOf(this, PrimitiveClasses_getInstance().yd(), 'null') : nameOf(this, getKClassFromExpression(any), get_identifier(any));
314
+ protoOf(Companion).s3o = function (any) {
315
+ return any == null ? nameOf(this, PrimitiveClasses_getInstance().e7(), 'null') : nameOf(this, getKClassFromExpression(any), get_identifier(any));
339
316
  };
340
- protoOf(Companion).q3n = function (any) {
341
- var tmp0_subject = any;
342
- return tmp0_subject == null ? this.o3n_1 : new ObjectRefImpl(any);
317
+ protoOf(Companion).t3o = function (any) {
318
+ return any == null ? this.r3o_1 : new ObjectRefImpl(any);
343
319
  };
344
- var Companion_instance;
345
- function Companion_getInstance_19() {
346
- if (Companion_instance == null)
320
+ var Companion_instance_7;
321
+ function Companion_getInstance_11() {
322
+ if (Companion_instance_7 == null)
347
323
  new Companion();
348
- return Companion_instance;
324
+ return Companion_instance_7;
349
325
  }
350
326
  function ObjectRef() {
351
327
  }
352
328
  function Companion_0() {
353
- Companion_instance_0 = this;
354
- this.r3n_1 = new ObjectToTermConverterImpl();
329
+ Companion_instance_8 = this;
330
+ this.u3o_1 = new ObjectToTermConverterImpl();
355
331
  }
356
- var Companion_instance_0;
357
- function Companion_getInstance_20() {
358
- if (Companion_instance_0 == null)
332
+ var Companion_instance_8;
333
+ function Companion_getInstance_12() {
334
+ if (Companion_instance_8 == null)
359
335
  new Companion_0();
360
- return Companion_instance_0;
336
+ return Companion_instance_8;
361
337
  }
362
338
  function Companion_1() {
363
- Companion_instance_1 = this;
364
339
  }
365
- protoOf(Companion_1).s3n = function (type, termToObjectConverter) {
340
+ protoOf(Companion_1).v3o = function (type, termToObjectConverter) {
366
341
  return overloadSelector(type, termToObjectConverter);
367
342
  };
368
- var Companion_instance_1;
369
- function Companion_getInstance_21() {
370
- if (Companion_instance_1 == null)
371
- new Companion_1();
372
- return Companion_instance_1;
343
+ var Companion_instance_9;
344
+ function Companion_getInstance_13() {
345
+ return Companion_instance_9;
373
346
  }
374
347
  function Ref() {
375
348
  }
376
349
  function _get_termValue__ikgccs($this) {
377
- var tmp$ret$0;
378
350
  // Inline function 'kotlin.getValue' call
379
- var tmp0_getValue = termValue$factory();
380
- tmp$ret$0 = $this.u3n_1.b1();
381
- return tmp$ret$0;
351
+ var this_0 = $this.x3o_1;
352
+ termValue$factory();
353
+ return this_0.r2();
382
354
  }
383
355
  function _get_objectRef__3zhern($this) {
384
- var tmp$ret$0;
385
356
  // Inline function 'kotlin.getValue' call
386
- var tmp0_getValue = objectRef$factory();
387
- tmp$ret$0 = $this.v3n_1.b1();
388
- return tmp$ret$0;
357
+ var this_0 = $this.y3o_1;
358
+ objectRef$factory();
359
+ return this_0.r2();
389
360
  }
390
361
  function Result$Value$termValue$delegate$lambda(this$0) {
391
362
  return function () {
392
- return Companion_getInstance_20().r3n_1.w3n(this$0.t3n_1);
363
+ return Companion_getInstance_12().u3o_1.z3o(this$0.w3o_1);
393
364
  };
394
365
  }
395
366
  function Result$Value$objectRef$delegate$lambda(this$0) {
396
367
  return function () {
397
- var tmp$ret$1;
398
368
  // Inline function 'kotlin.let' call
399
- var tmp0_let = _get_termValue__ikgccs(this$0);
400
369
  // Inline function 'kotlin.contracts.contract' call
401
- var tmp$ret$0;
402
370
  // Inline function 'it.unibo.tuprolog.solve.libs.oop.Value.objectRef$delegate.<anonymous>.<anonymous>' call
371
+ var it = _get_termValue__ikgccs(this$0);
403
372
  var tmp;
404
- if (isInterface(tmp0_let, ObjectRef)) {
405
- tmp = tmp0_let;
373
+ if (isInterface(it, ObjectRef)) {
374
+ tmp = it;
406
375
  } else {
407
- tmp = Companion_getInstance_19().q3n(this$0.t3n_1);
376
+ tmp = Companion_getInstance_11().t3o(this$0.w3o_1);
408
377
  }
409
- tmp$ret$0 = tmp;
410
- tmp$ret$1 = tmp$ret$0;
411
- return tmp$ret$1;
378
+ return tmp;
412
379
  };
413
380
  }
414
381
  function Value(value) {
415
382
  Result.call(this);
416
- this.t3n_1 = value;
383
+ this.w3o_1 = value;
417
384
  var tmp = this;
418
- tmp.u3n_1 = lazy(Result$Value$termValue$delegate$lambda(this));
385
+ tmp.x3o_1 = lazy(Result$Value$termValue$delegate$lambda(this));
419
386
  var tmp_0 = this;
420
- tmp_0.v3n_1 = lazy(Result$Value$objectRef$delegate$lambda(this));
387
+ tmp_0.y3o_1 = lazy(Result$Value$objectRef$delegate$lambda(this));
421
388
  }
422
- protoOf(Value).u1h = function () {
389
+ protoOf(Value).t1i = function () {
423
390
  return _get_termValue__ikgccs(this);
424
391
  };
425
392
  protoOf(Value).toTerm = function () {
426
- return this.u1h();
393
+ return this.t1i();
427
394
  };
428
- protoOf(Value).x3n = function () {
395
+ protoOf(Value).a3p = function () {
429
396
  return _get_objectRef__3zhern(this);
430
397
  };
431
398
  protoOf(Value).toString = function () {
432
- return 'Value(value=' + toString(this.t3n_1) + ')';
399
+ return 'Value(value=' + toString(this.w3o_1) + ')';
433
400
  };
434
401
  protoOf(Value).hashCode = function () {
435
- return this.t3n_1 == null ? 0 : hashCode(this.t3n_1);
402
+ return this.w3o_1 == null ? 0 : hashCode(this.w3o_1);
436
403
  };
437
404
  protoOf(Value).equals = function (other) {
438
405
  if (this === other)
@@ -440,7 +407,7 @@
440
407
  if (!(other instanceof Value))
441
408
  return false;
442
409
  var tmp0_other_with_cast = other instanceof Value ? other : THROW_CCE();
443
- if (!equals(this.t3n_1, tmp0_other_with_cast.t3n_1))
410
+ if (!equals(this.w3o_1, tmp0_other_with_cast.w3o_1))
444
411
  return false;
445
412
  return true;
446
413
  };
@@ -460,14 +427,14 @@
460
427
  return null;
461
428
  }
462
429
  function Companion_2() {
463
- Companion_instance_2 = this;
464
- this.y3n_1 = this.z3n();
430
+ Companion_instance_10 = this;
431
+ this.b3p_1 = this.c3p();
465
432
  }
466
- protoOf(Companion_2).a3o = function (typeFactory, dealiaser) {
433
+ protoOf(Companion_2).d3p = function (typeFactory, dealiaser) {
467
434
  return new TermToObjectConverterImpl(typeFactory, dealiaser);
468
435
  };
469
- protoOf(Companion_2).z3n = function (typeFactory, dealiaser, $super) {
470
- typeFactory = typeFactory === VOID ? Companion_getInstance_23().b3o_1 : typeFactory;
436
+ protoOf(Companion_2).c3p = function (typeFactory, dealiaser, $super) {
437
+ typeFactory = typeFactory === VOID ? Companion_getInstance_15().e3p_1 : typeFactory;
471
438
  var tmp;
472
439
  if (dealiaser === VOID) {
473
440
  tmp = TermToObjectConverter$Companion$of$lambda;
@@ -475,42 +442,39 @@
475
442
  tmp = dealiaser;
476
443
  }
477
444
  dealiaser = tmp;
478
- return $super === VOID ? this.a3o(typeFactory, dealiaser) : $super.a3o.call(this, typeFactory, dealiaser);
445
+ return $super === VOID ? this.d3p(typeFactory, dealiaser) : $super.d3p.call(this, typeFactory, dealiaser);
479
446
  };
480
- var Companion_instance_2;
481
- function Companion_getInstance_22() {
482
- if (Companion_instance_2 == null)
447
+ var Companion_instance_10;
448
+ function Companion_getInstance_14() {
449
+ if (Companion_instance_10 == null)
483
450
  new Companion_2();
484
- return Companion_instance_2;
451
+ return Companion_instance_10;
485
452
  }
486
453
  function TermToObjectConverter() {
487
454
  }
488
455
  function Companion_3() {
489
- Companion_instance_3 = this;
490
- this.b3o_1 = new TypeFactoryImpl();
456
+ Companion_instance_11 = this;
457
+ this.e3p_1 = new TypeFactoryImpl();
491
458
  }
492
- var Companion_instance_3;
493
- function Companion_getInstance_23() {
494
- if (Companion_instance_3 == null)
459
+ var Companion_instance_11;
460
+ function Companion_getInstance_15() {
461
+ if (Companion_instance_11 == null)
495
462
  new Companion_3();
496
- return Companion_instance_3;
463
+ return Companion_instance_11;
497
464
  }
498
465
  function TypeFactory$typeRefFromName$lambda(it) {
499
- return Companion_getInstance_24().g3o(it);
466
+ return Companion_instance_12.j3p(it);
500
467
  }
501
468
  function TypeFactory() {
502
469
  }
503
470
  function Companion_4() {
504
- Companion_instance_4 = this;
505
471
  }
506
- protoOf(Companion_4).g3o = function (type) {
472
+ protoOf(Companion_4).j3p = function (type) {
507
473
  return new TypeRefImpl(type);
508
474
  };
509
- var Companion_instance_4;
510
- function Companion_getInstance_24() {
511
- if (Companion_instance_4 == null)
512
- new Companion_4();
513
- return Companion_instance_4;
475
+ var Companion_instance_12;
476
+ function Companion_getInstance_16() {
477
+ return Companion_instance_12;
514
478
  }
515
479
  function TypeRef() {
516
480
  }
@@ -519,10 +483,10 @@
519
483
  return PRIMITIVE_TYPES;
520
484
  }
521
485
  var PRIMITIVE_TYPES;
522
- function get_id() {
523
- return id;
486
+ function get_ID() {
487
+ return ID;
524
488
  }
525
- var id;
489
+ var ID;
526
490
  function get_isPrimitiveType(_this__u8e3s4) {
527
491
  _init_properties_TypeUtils_kt__wnsx0l();
528
492
  return contains(get_PRIMITIVE_TYPES(), _this__u8e3s4);
@@ -533,7 +497,7 @@
533
497
  }
534
498
  function create_0(_this__u8e3s4, objectConverter, arguments_0) {
535
499
  _init_properties_TypeUtils_kt__wnsx0l();
536
- var constructorRef = Companion_getInstance_21().s3n(_this__u8e3s4, objectConverter).l3o(arguments_0);
500
+ var constructorRef = Companion_instance_9.v3o(_this__u8e3s4, objectConverter).o3p(arguments_0);
537
501
  return callWithPrologArguments(constructorRef, objectConverter, arguments_0);
538
502
  }
539
503
  function invoke_0(_this__u8e3s4, objectConverter, methodName, arguments_0) {
@@ -542,7 +506,7 @@
542
506
  }
543
507
  function invoke_1(_this__u8e3s4, objectConverter, methodName, arguments_0, instance) {
544
508
  _init_properties_TypeUtils_kt__wnsx0l();
545
- var methodRef = Companion_getInstance_21().s3n(_this__u8e3s4, objectConverter).m3o(methodName, arguments_0);
509
+ var methodRef = Companion_instance_9.v3o(_this__u8e3s4, objectConverter).p3p(methodName, arguments_0);
546
510
  return callWithPrologArguments(methodRef, objectConverter, arguments_0, instance);
547
511
  }
548
512
  function assign_0(_this__u8e3s4, objectConverter, propertyName, value) {
@@ -551,7 +515,7 @@
551
515
  }
552
516
  function assign_1(_this__u8e3s4, objectConverter, propertyName, value, instance) {
553
517
  _init_properties_TypeUtils_kt__wnsx0l();
554
- var setterRef = get_setterMethod(Companion_getInstance_21().s3n(_this__u8e3s4, objectConverter).n3o(propertyName, value));
518
+ var setterRef = get_setterMethod(Companion_instance_9.v3o(_this__u8e3s4, objectConverter).q3p(propertyName, value));
555
519
  return callWithPrologArguments(setterRef, objectConverter, listOf_0(value), instance);
556
520
  }
557
521
  function isSubtypeOf_0(_this__u8e3s4, other, strict) {
@@ -562,30 +526,22 @@
562
526
  instance = instance === VOID ? null : instance;
563
527
  _init_properties_TypeUtils_kt__wnsx0l();
564
528
  var formalArgumentsTypes = ensureArgumentsListIsOfSize(_this__u8e3s4, arguments_0);
565
- var tmp$ret$3;
566
529
  // Inline function 'kotlin.collections.toTypedArray' call
567
- var tmp$ret$2;
568
530
  // Inline function 'kotlin.collections.mapIndexed' call
569
- var tmp$ret$1;
570
531
  // Inline function 'kotlin.collections.mapIndexedTo' call
571
- var tmp0_mapIndexedTo = ArrayList_init_$Create$(collectionSizeOrDefault(arguments_0, 10));
532
+ var destination = ArrayList_init_$Create$(collectionSizeOrDefault(arguments_0, 10));
572
533
  var index = 0;
573
- var tmp0_iterator = arguments_0.j();
574
- while (tmp0_iterator.m()) {
575
- var item = tmp0_iterator.n();
576
- var tmp$ret$0;
534
+ var tmp0_iterator = arguments_0.r();
535
+ while (tmp0_iterator.s()) {
536
+ var item = tmp0_iterator.u();
577
537
  // Inline function 'it.unibo.tuprolog.solve.libs.oop.callWithPrologArguments.<anonymous>' call
578
538
  var tmp1 = index;
579
539
  index = tmp1 + 1 | 0;
580
- var tmp1__anonymous__uwfjfc = checkIndexOverflow(tmp1);
581
- tmp$ret$0 = converter.c3o(formalArgumentsTypes.o(tmp1__anonymous__uwfjfc), item);
582
- tmp0_mapIndexedTo.g(tmp$ret$0);
540
+ var i = checkIndexOverflow(tmp1);
541
+ var tmp$ret$0 = converter.f3p(formalArgumentsTypes.c1(i), item);
542
+ destination.o(tmp$ret$0);
583
543
  }
584
- tmp$ret$1 = tmp0_mapIndexedTo;
585
- tmp$ret$2 = tmp$ret$1;
586
- var tmp2_toTypedArray = tmp$ret$2;
587
- tmp$ret$3 = copyToArray(tmp2_toTypedArray);
588
- var args = tmp$ret$3;
544
+ var args = copyToArray(destination);
589
545
  return catchingPlatformSpecificException(_this__u8e3s4, instance, callWithPrologArguments$lambda(_this__u8e3s4, instance, args));
590
546
  }
591
547
  function isSupertypeOf(_this__u8e3s4, other, strict) {
@@ -593,14 +549,11 @@
593
549
  var tmp$ret$1;
594
550
  $l$block: {
595
551
  // Inline function 'kotlin.sequences.any' call
596
- var tmp0_any = allSupertypes(other, strict);
597
- var tmp0_iterator = tmp0_any.j();
598
- while (tmp0_iterator.m()) {
599
- var element = tmp0_iterator.n();
600
- var tmp$ret$0;
552
+ var tmp0_iterator = allSupertypes(other, strict).r();
553
+ while (tmp0_iterator.s()) {
554
+ var element = tmp0_iterator.u();
601
555
  // Inline function 'it.unibo.tuprolog.solve.libs.oop.isSupertypeOf.<anonymous>' call
602
- tmp$ret$0 = element.equals(_this__u8e3s4);
603
- if (tmp$ret$0) {
556
+ if (element.equals(_this__u8e3s4)) {
604
557
  tmp$ret$1 = true;
605
558
  break $l$block;
606
559
  }
@@ -611,39 +564,29 @@
611
564
  }
612
565
  function ensureArgumentsListIsOfSize(_this__u8e3s4, actualArguments) {
613
566
  _init_properties_TypeUtils_kt__wnsx0l();
614
- var tmp$ret$4;
615
567
  // Inline function 'kotlin.also' call
616
- var tmp0_also = get_formalParameterTypes(_this__u8e3s4);
568
+ var this_0 = get_formalParameterTypes(_this__u8e3s4);
617
569
  // Inline function 'kotlin.contracts.contract' call
618
570
  // Inline function 'it.unibo.tuprolog.solve.libs.oop.ensureArgumentsListIsOfSize.<anonymous>' call
619
571
  // Inline function 'kotlin.require' call
620
- var tmp0_require = get_formalParameterTypes(_this__u8e3s4).p() === actualArguments.p();
621
572
  // Inline function 'kotlin.contracts.contract' call
622
- if (!tmp0_require) {
623
- var tmp$ret$3;
573
+ if (!(get_formalParameterTypes(_this__u8e3s4).l() === actualArguments.l())) {
624
574
  // Inline function 'it.unibo.tuprolog.solve.libs.oop.ensureArgumentsListIsOfSize.<anonymous>.<anonymous>' call
625
575
  var tmp = _this__u8e3s4.callableName;
626
- var tmp$ret$2;
627
576
  // Inline function 'kotlin.collections.map' call
628
- var tmp$ret$1;
629
577
  // Inline function 'kotlin.collections.mapTo' call
630
- var tmp0_mapTo = ArrayList_init_$Create$(collectionSizeOrDefault(tmp0_also, 10));
631
- var tmp0_iterator = tmp0_also.j();
632
- while (tmp0_iterator.m()) {
633
- var item = tmp0_iterator.n();
634
- var tmp$ret$0;
578
+ var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
579
+ var tmp0_iterator = this_0.r();
580
+ while (tmp0_iterator.s()) {
581
+ var item = tmp0_iterator.u();
635
582
  // Inline function 'it.unibo.tuprolog.solve.libs.oop.ensureArgumentsListIsOfSize.<anonymous>.<anonymous>.<anonymous>' call
636
- tmp$ret$0 = get_name(item);
637
- tmp0_mapTo.g(tmp$ret$0);
583
+ var tmp$ret$0 = get_name(item);
584
+ destination.o(tmp$ret$0);
638
585
  }
639
- tmp$ret$1 = tmp0_mapTo;
640
- tmp$ret$2 = tmp$ret$1;
641
- tmp$ret$3 = trimMargin('\n |\n |Error while invoking ' + tmp + ' the expected argument types \n | ' + tmp$ret$2 + ' \n |are not as many as the as the actual parameters (' + tmp0_also.p() + ' vs. ' + actualArguments.p() + '):\n | ' + actualArguments + '\n |\n ');
642
- var message = tmp$ret$3;
586
+ var message = trimMargin('\n |\n |Error while invoking ' + tmp + ' the expected argument types \n | ' + destination + ' \n |are not as many as the as the actual parameters (' + this_0.l() + ' vs. ' + actualArguments.l() + '):\n | ' + actualArguments + '\n |\n ');
643
587
  throw IllegalArgumentException_init_$Create$(toString_0(message));
644
588
  }
645
- tmp$ret$4 = tmp0_also;
646
- return tmp$ret$4;
589
+ return this_0;
647
590
  }
648
591
  function callWithPrologArguments$lambda($this_callWithPrologArguments, $instance, $args) {
649
592
  return function () {
@@ -653,107 +596,83 @@
653
596
  }
654
597
  var properties_initialized_TypeUtils_kt_7pe6qv;
655
598
  function _init_properties_TypeUtils_kt__wnsx0l() {
656
- if (properties_initialized_TypeUtils_kt_7pe6qv) {
657
- } else {
599
+ if (!properties_initialized_TypeUtils_kt_7pe6qv) {
658
600
  properties_initialized_TypeUtils_kt_7pe6qv = true;
659
- PRIMITIVE_TYPES = setOf([getKClass(Long), PrimitiveClasses_getInstance().ce(), PrimitiveClasses_getInstance().be(), PrimitiveClasses_getInstance().ae(), getKClass(Char), PrimitiveClasses_getInstance().ee(), PrimitiveClasses_getInstance().de()]);
601
+ PRIMITIVE_TYPES = setOf([getKClass(Long), PrimitiveClasses_getInstance().i7(), PrimitiveClasses_getInstance().h7(), PrimitiveClasses_getInstance().g7(), getKClass(Char), PrimitiveClasses_getInstance().k7(), PrimitiveClasses_getInstance().j7()]);
660
602
  }
661
603
  }
662
604
  function MalformedAliasException(dealiasingExpression) {
663
- OopException_init_$Init$('This is not a dealiasing expression `' + dealiasingExpression + '` in the form ' + format(get_DEALIASING_TEMPLATE(), Companion_getInstance_0().prettyExpressionsPrettyVariablesDefaultOperators()), VOID, this);
605
+ OopException_init_$Init$('This is not a dealiasing expression `' + dealiasingExpression + '` in the form ' + format(get_DEALIASING_TEMPLATE(), Companion_instance_0.prettyExpressionsPrettyVariablesDefaultOperators()), VOID, this);
664
606
  captureStack(this, MalformedAliasException);
665
- this.o3o_1 = dealiasingExpression;
607
+ this.r3p_1 = dealiasingExpression;
666
608
  }
667
- protoOf(MalformedAliasException).p3o = function (context, signature) {
668
- var tmp = Companion_getInstance_1();
609
+ protoOf(MalformedAliasException).s3p = function (context, signature) {
610
+ var tmp = Companion_instance_1;
669
611
  var tmp_0 = Expected_DEALIASING_EXPRESSION_getInstance();
670
- var tmp_1 = this.n24();
612
+ var tmp_1 = this.o25();
671
613
  var tmp_2 = signature.toIndicator();
672
614
  var tmp0_safe_receiver = this.message;
673
615
  var tmp_3;
674
616
  if (tmp0_safe_receiver == null) {
675
617
  tmp_3 = null;
676
618
  } else {
677
- var tmp$ret$7;
678
619
  // Inline function 'kotlin.text.replaceFirstChar' call
679
620
  var tmp_4;
680
- var tmp$ret$0;
681
621
  // Inline function 'kotlin.text.isNotEmpty' call
682
- tmp$ret$0 = charSequenceLength(tmp0_safe_receiver) > 0;
683
- if (tmp$ret$0) {
684
- var tmp$ret$4;
622
+ if (charSequenceLength(tmp0_safe_receiver) > 0) {
685
623
  // Inline function 'it.unibo.tuprolog.solve.libs.oop.exceptions.MalformedAliasException.toLogicError.<anonymous>' call
686
- var tmp0__anonymous__q1qw7t = charSequenceGet(tmp0_safe_receiver, 0);
687
- var tmp$ret$3;
688
624
  // Inline function 'kotlin.text.lowercase' call
689
- var tmp$ret$2;
625
+ var this_0 = charSequenceGet(tmp0_safe_receiver, 0);
690
626
  // Inline function 'kotlin.js.unsafeCast' call
691
- var tmp$ret$1;
692
627
  // Inline function 'kotlin.js.asDynamic' call
693
- var tmp0_asDynamic = toString_1(tmp0__anonymous__q1qw7t);
694
- tmp$ret$1 = tmp0_asDynamic;
695
- var tmp1_unsafeCast = tmp$ret$1.toLowerCase();
696
- tmp$ret$2 = tmp1_unsafeCast;
697
- tmp$ret$3 = tmp$ret$2;
698
- tmp$ret$4 = tmp$ret$3;
628
+ var tmp$ret$4 = toString_1(this_0).toLowerCase();
699
629
  var tmp_5 = toString_0(tmp$ret$4);
700
- var tmp$ret$6;
701
630
  // Inline function 'kotlin.text.substring' call
702
- var tmp$ret$5;
703
631
  // Inline function 'kotlin.js.asDynamic' call
704
- tmp$ret$5 = tmp0_safe_receiver;
705
- tmp$ret$6 = tmp$ret$5.substring(1);
706
- tmp_4 = tmp_5 + tmp$ret$6;
632
+ tmp_4 = tmp_5 + tmp0_safe_receiver.substring(1);
707
633
  } else {
708
634
  tmp_4 = tmp0_safe_receiver;
709
635
  }
710
- tmp$ret$7 = tmp_4;
711
- tmp_3 = tmp$ret$7;
636
+ tmp_3 = tmp_4;
712
637
  }
713
638
  return tmp.of(context, tmp_0, tmp_1, 'Error in ' + tmp_2 + ': ' + tmp_3);
714
639
  };
715
- protoOf(MalformedAliasException).n24 = function () {
716
- return this.o3o_1;
640
+ protoOf(MalformedAliasException).o25 = function () {
641
+ return this.r3p_1;
717
642
  };
718
643
  function NoSuchAnAliasException(dealiasingExpression) {
719
644
  OopException_init_$Init$('There exists no reference whose alias is `' + dealiasingExpression.get(0) + '`', VOID, this);
720
645
  captureStack(this, NoSuchAnAliasException);
721
- this.q3o_1 = dealiasingExpression;
646
+ this.t3p_1 = dealiasingExpression;
722
647
  // Inline function 'kotlin.require' call
723
- var tmp0_require = Companion_getInstance_2().matches(this.q3o_1, get_DEALIASING_TEMPLATE());
724
648
  // Inline function 'kotlin.contracts.contract' call
725
649
  // Inline function 'kotlin.require' call
726
650
  // Inline function 'kotlin.contracts.contract' call
727
- if (!tmp0_require) {
728
- var tmp$ret$0;
651
+ if (!Companion_getInstance().matches(this.t3p_1, get_DEALIASING_TEMPLATE())) {
729
652
  // Inline function 'kotlin.require.<anonymous>' call
730
- tmp$ret$0 = 'Failed requirement.';
731
- var message = tmp$ret$0;
653
+ var message = 'Failed requirement.';
732
654
  throw IllegalArgumentException_init_$Create$(toString_0(message));
733
655
  }
734
656
  // Inline function 'kotlin.require' call
735
- var tmp = this.q3o_1.get(0);
736
- var tmp1_require = isInterface(tmp, Struct);
657
+ var tmp = this.t3p_1.get(0);
737
658
  // Inline function 'kotlin.contracts.contract' call
738
659
  // Inline function 'kotlin.require' call
739
660
  // Inline function 'kotlin.contracts.contract' call
740
- if (!tmp1_require) {
741
- var tmp$ret$1;
661
+ if (!isInterface(tmp, Struct)) {
742
662
  // Inline function 'kotlin.require.<anonymous>' call
743
- tmp$ret$1 = 'Failed requirement.';
744
- var message_0 = tmp$ret$1;
663
+ var message_0 = 'Failed requirement.';
745
664
  throw IllegalArgumentException_init_$Create$(toString_0(message_0));
746
665
  }
747
666
  }
748
- protoOf(NoSuchAnAliasException).p3o = function (context, signature) {
749
- var tmp = Companion_getInstance_3();
667
+ protoOf(NoSuchAnAliasException).s3p = function (context, signature) {
668
+ var tmp = Companion_instance_2;
750
669
  var tmp_0 = ObjectType_OOP_ALIAS_getInstance();
751
- var tmp_1 = this.n24();
670
+ var tmp_1 = this.o25();
752
671
  var tmp0_elvis_lhs = this.message;
753
672
  return tmp.of(context, tmp_0, tmp_1, tmp0_elvis_lhs == null ? '' : tmp0_elvis_lhs);
754
673
  };
755
- protoOf(NoSuchAnAliasException).n24 = function () {
756
- return this.q3o_1;
674
+ protoOf(NoSuchAnAliasException).o25 = function () {
675
+ return this.t3p_1;
757
676
  };
758
677
  function OopException_init_$Init$(message, cause, $this) {
759
678
  message = message === VOID ? null : message;
@@ -763,16 +682,12 @@
763
682
  return $this;
764
683
  }
765
684
  function Companion_5() {
766
- Companion_instance_5 = this;
767
685
  }
768
- var Companion_instance_5;
769
- function Companion_getInstance_25() {
770
- if (Companion_instance_5 == null)
771
- new Companion_5();
772
- return Companion_instance_5;
686
+ var Companion_instance_13;
687
+ function Companion_getInstance_17() {
688
+ return Companion_instance_13;
773
689
  }
774
690
  function OopException() {
775
- Companion_getInstance_25();
776
691
  captureStack(this, OopException);
777
692
  }
778
693
  function TermToObjectConversionException_init_$Init$(term, $this) {
@@ -786,347 +701,348 @@
786
701
  }
787
702
  function TermToObjectConversionException(term, targetType) {
788
703
  targetType = targetType === VOID ? null : targetType;
789
- var tmp0_safe_receiver = targetType;
790
704
  var tmp;
791
- if (tmp0_safe_receiver == null) {
705
+ if (targetType == null) {
792
706
  tmp = null;
793
707
  } else {
794
- var tmp$ret$1;
795
708
  // Inline function 'kotlin.let' call
796
709
  // Inline function 'kotlin.contracts.contract' call
797
- var tmp$ret$0;
798
710
  // Inline function 'it.unibo.tuprolog.solve.libs.oop.exceptions.TermToObjectConversionException.<init>.<anonymous>' call
799
- tmp$ret$0 = 'Term `' + term + '` cannot be converted into an object of type ' + get_fullName(targetType);
800
- tmp$ret$1 = tmp$ret$0;
801
- tmp = tmp$ret$1;
711
+ tmp = 'Term `' + term + '` cannot be converted into an object of type ' + get_fullName(targetType);
802
712
  }
803
713
  var tmp1_elvis_lhs = tmp;
804
714
  OopException_init_$Init$(tmp1_elvis_lhs == null ? 'Term `' + term + '` cannot be converted into an object' : tmp1_elvis_lhs, VOID, this);
805
715
  captureStack(this, TermToObjectConversionException);
806
- this.r3o_1 = term;
807
- this.s3o_1 = targetType;
716
+ this.u3p_1 = term;
717
+ this.v3p_1 = targetType;
808
718
  }
809
- protoOf(TermToObjectConversionException).p3o = function (context, signature) {
810
- return Companion_getInstance_4().g26(context, signature, Limit_OOP_OBJECT_getInstance(), this);
719
+ protoOf(TermToObjectConversionException).s3p = function (context, signature) {
720
+ return Companion_instance_3.h27(context, signature, Limit_OOP_OBJECT_getInstance(), this);
811
721
  };
812
722
  function NullRefImpl() {
813
723
  NullRefImpl_instance = this;
814
- this.t3o_1 = Companion_getInstance_5().of(Companion_getInstance_19().p3n(null));
724
+ this.w3p_1 = Companion_getInstance_0().of(Companion_getInstance_11().s3o(null));
815
725
  }
816
- protoOf(NullRefImpl).xv = function () {
817
- return this.t3o_1.xv();
726
+ protoOf(NullRefImpl).rw = function () {
727
+ return this.w3p_1.rw();
818
728
  };
819
- protoOf(NullRefImpl).jw = function () {
820
- return this.t3o_1.jw();
729
+ protoOf(NullRefImpl).jx = function () {
730
+ return this.w3p_1.jx();
821
731
  };
822
- protoOf(NullRefImpl).qv = function () {
823
- return this.t3o_1.qv();
732
+ protoOf(NullRefImpl).kw = function () {
733
+ return this.w3p_1.kw();
824
734
  };
825
- protoOf(NullRefImpl).wv = function () {
826
- return this.t3o_1.wv();
735
+ protoOf(NullRefImpl).qw = function () {
736
+ return this.w3p_1.qw();
827
737
  };
828
- protoOf(NullRefImpl).iw = function () {
829
- return this.t3o_1.iw();
738
+ protoOf(NullRefImpl).ix = function () {
739
+ return this.w3p_1.ix();
830
740
  };
831
- protoOf(NullRefImpl).rv = function () {
832
- return this.t3o_1.rv();
741
+ protoOf(NullRefImpl).lw = function () {
742
+ return this.w3p_1.lw();
833
743
  };
834
- protoOf(NullRefImpl).bw = function () {
835
- return this.t3o_1.bw();
744
+ protoOf(NullRefImpl).xw = function () {
745
+ return this.w3p_1.xw();
836
746
  };
837
- protoOf(NullRefImpl).fw = function () {
838
- return this.t3o_1.fw();
747
+ protoOf(NullRefImpl).dx = function () {
748
+ return this.w3p_1.dx();
839
749
  };
840
- protoOf(NullRefImpl).sv = function () {
841
- return this.t3o_1.sv();
750
+ protoOf(NullRefImpl).mw = function () {
751
+ return this.w3p_1.mw();
842
752
  };
843
- protoOf(NullRefImpl).tv = function () {
844
- return this.t3o_1.tv();
753
+ protoOf(NullRefImpl).nw = function () {
754
+ return this.w3p_1.nw();
845
755
  };
846
- protoOf(NullRefImpl).rw = function () {
847
- return this.t3o_1.rw();
756
+ protoOf(NullRefImpl).hx = function () {
757
+ return this.w3p_1.hx();
848
758
  };
849
- protoOf(NullRefImpl).gw = function () {
850
- return this.t3o_1.gw();
759
+ protoOf(NullRefImpl).ux = function () {
760
+ return this.w3p_1.ux();
851
761
  };
852
- protoOf(NullRefImpl).pw = function () {
853
- return this.t3o_1.pw();
762
+ protoOf(NullRefImpl).fx = function () {
763
+ return this.w3p_1.fx();
854
764
  };
855
- protoOf(NullRefImpl).ew = function () {
856
- return this.t3o_1.ew();
765
+ protoOf(NullRefImpl).rx = function () {
766
+ return this.w3p_1.rx();
857
767
  };
858
- protoOf(NullRefImpl).ow = function () {
859
- return this.t3o_1.ow();
768
+ protoOf(NullRefImpl).cx = function () {
769
+ return this.w3p_1.cx();
860
770
  };
861
- protoOf(NullRefImpl).qw = function () {
862
- return this.t3o_1.qw();
771
+ protoOf(NullRefImpl).qx = function () {
772
+ return this.w3p_1.qx();
863
773
  };
864
- protoOf(NullRefImpl).cw = function () {
865
- return this.t3o_1.cw();
774
+ protoOf(NullRefImpl).sx = function () {
775
+ return this.w3p_1.sx();
866
776
  };
867
- protoOf(NullRefImpl).aw = function () {
868
- return this.t3o_1.aw();
777
+ protoOf(NullRefImpl).ox = function () {
778
+ return this.w3p_1.ox();
869
779
  };
870
- protoOf(NullRefImpl).uv = function () {
871
- return this.t3o_1.uv();
780
+ protoOf(NullRefImpl).yw = function () {
781
+ return this.w3p_1.yw();
872
782
  };
873
- protoOf(NullRefImpl).nw = function () {
874
- return this.t3o_1.nw();
783
+ protoOf(NullRefImpl).ww = function () {
784
+ return this.w3p_1.ww();
875
785
  };
876
- protoOf(NullRefImpl).dw = function () {
877
- return this.t3o_1.dw();
786
+ protoOf(NullRefImpl).ow = function () {
787
+ return this.w3p_1.ow();
878
788
  };
879
- protoOf(NullRefImpl).mw = function () {
880
- return this.t3o_1.mw();
789
+ protoOf(NullRefImpl).nx = function () {
790
+ return this.w3p_1.nx();
881
791
  };
882
- protoOf(NullRefImpl).bt = function () {
883
- return this.t3o_1.bt();
792
+ protoOf(NullRefImpl).bx = function () {
793
+ return this.w3p_1.bx();
884
794
  };
885
- protoOf(NullRefImpl).b1 = function () {
886
- return this.t3o_1.b1();
795
+ protoOf(NullRefImpl).mx = function () {
796
+ return this.w3p_1.mx();
887
797
  };
888
- protoOf(NullRefImpl).yv = function () {
889
- return this.t3o_1.yv();
798
+ protoOf(NullRefImpl).vt = function () {
799
+ return this.w3p_1.vt();
800
+ };
801
+ protoOf(NullRefImpl).r2 = function () {
802
+ return this.w3p_1.r2();
803
+ };
804
+ protoOf(NullRefImpl).sw = function () {
805
+ return this.w3p_1.sw();
890
806
  };
891
807
  protoOf(NullRefImpl).addFirst = function (argument) {
892
- return this.t3o_1.addFirst(argument);
808
+ return this.w3p_1.addFirst(argument);
893
809
  };
894
810
  protoOf(NullRefImpl).addLast = function (argument) {
895
- return this.t3o_1.addLast(argument);
811
+ return this.w3p_1.addLast(argument);
896
812
  };
897
813
  protoOf(NullRefImpl).append = function (argument) {
898
- return this.t3o_1.append(argument);
814
+ return this.w3p_1.append(argument);
899
815
  };
900
- protoOf(NullRefImpl).zv = function () {
901
- return this.t3o_1.zv();
816
+ protoOf(NullRefImpl).vw = function () {
817
+ return this.w3p_1.vw();
902
818
  };
903
819
  protoOf(NullRefImpl).asAtom = function () {
904
- return this.zv();
820
+ return this.vw();
905
821
  };
906
822
  protoOf(NullRefImpl).asBlock = function () {
907
- return this.t3o_1.asBlock();
823
+ return this.w3p_1.asBlock();
908
824
  };
909
825
  protoOf(NullRefImpl).asClause = function () {
910
- return this.t3o_1.asClause();
826
+ return this.w3p_1.asClause();
911
827
  };
912
828
  protoOf(NullRefImpl).asCons = function () {
913
- return this.t3o_1.asCons();
829
+ return this.w3p_1.asCons();
914
830
  };
915
831
  protoOf(NullRefImpl).asDirective = function () {
916
- return this.t3o_1.asDirective();
832
+ return this.w3p_1.asDirective();
917
833
  };
918
834
  protoOf(NullRefImpl).asEmptyBlock = function () {
919
- return this.t3o_1.asEmptyBlock();
835
+ return this.w3p_1.asEmptyBlock();
920
836
  };
921
837
  protoOf(NullRefImpl).asEmptyList = function () {
922
- return this.t3o_1.asEmptyList();
838
+ return this.w3p_1.asEmptyList();
923
839
  };
924
840
  protoOf(NullRefImpl).asFact = function () {
925
- return this.t3o_1.asFact();
841
+ return this.w3p_1.asFact();
926
842
  };
927
843
  protoOf(NullRefImpl).asIndicator = function () {
928
- return this.t3o_1.asIndicator();
844
+ return this.w3p_1.asIndicator();
929
845
  };
930
846
  protoOf(NullRefImpl).asInteger = function () {
931
- return this.t3o_1.asInteger();
847
+ return this.w3p_1.asInteger();
932
848
  };
933
849
  protoOf(NullRefImpl).asList = function () {
934
- return this.t3o_1.asList();
850
+ return this.w3p_1.asList();
935
851
  };
936
852
  protoOf(NullRefImpl).asNumeric = function () {
937
- return this.t3o_1.asNumeric();
853
+ return this.w3p_1.asNumeric();
938
854
  };
939
855
  protoOf(NullRefImpl).asReal = function () {
940
- return this.t3o_1.asReal();
856
+ return this.w3p_1.asReal();
941
857
  };
942
858
  protoOf(NullRefImpl).asRecursive = function () {
943
- return this.t3o_1.asRecursive();
859
+ return this.w3p_1.asRecursive();
944
860
  };
945
861
  protoOf(NullRefImpl).asRule = function () {
946
- return this.t3o_1.asRule();
862
+ return this.w3p_1.asRule();
947
863
  };
948
- protoOf(NullRefImpl).hw = function () {
949
- return this.t3o_1.hw();
864
+ protoOf(NullRefImpl).gx = function () {
865
+ return this.w3p_1.gx();
950
866
  };
951
867
  protoOf(NullRefImpl).asStruct = function () {
952
- return this.hw();
868
+ return this.gx();
953
869
  };
954
870
  protoOf(NullRefImpl).asTerm = function () {
955
- return this.t3o_1.asTerm();
871
+ return this.w3p_1.asTerm();
956
872
  };
957
873
  protoOf(NullRefImpl).asTruth = function () {
958
- return this.t3o_1.asTruth();
874
+ return this.w3p_1.asTruth();
959
875
  };
960
876
  protoOf(NullRefImpl).asTuple = function () {
961
- return this.t3o_1.asTuple();
877
+ return this.w3p_1.asTuple();
962
878
  };
963
879
  protoOf(NullRefImpl).asVar = function () {
964
- return this.t3o_1.asVar();
880
+ return this.w3p_1.asVar();
965
881
  };
966
882
  protoOf(NullRefImpl).castToAtom = function () {
967
- return this.t3o_1.castToAtom();
883
+ return this.w3p_1.castToAtom();
968
884
  };
969
885
  protoOf(NullRefImpl).castToBlock = function () {
970
- return this.t3o_1.castToBlock();
886
+ return this.w3p_1.castToBlock();
971
887
  };
972
888
  protoOf(NullRefImpl).castToClause = function () {
973
- return this.t3o_1.castToClause();
889
+ return this.w3p_1.castToClause();
974
890
  };
975
891
  protoOf(NullRefImpl).castToCons = function () {
976
- return this.t3o_1.castToCons();
892
+ return this.w3p_1.castToCons();
977
893
  };
978
894
  protoOf(NullRefImpl).castToConstant = function () {
979
- return this.t3o_1.castToConstant();
895
+ return this.w3p_1.castToConstant();
980
896
  };
981
897
  protoOf(NullRefImpl).castToDirective = function () {
982
- return this.t3o_1.castToDirective();
898
+ return this.w3p_1.castToDirective();
983
899
  };
984
900
  protoOf(NullRefImpl).castToEmptyBlock = function () {
985
- return this.t3o_1.castToEmptyBlock();
901
+ return this.w3p_1.castToEmptyBlock();
986
902
  };
987
903
  protoOf(NullRefImpl).castToEmptyList = function () {
988
- return this.t3o_1.castToEmptyList();
904
+ return this.w3p_1.castToEmptyList();
989
905
  };
990
906
  protoOf(NullRefImpl).castToFact = function () {
991
- return this.t3o_1.castToFact();
907
+ return this.w3p_1.castToFact();
992
908
  };
993
909
  protoOf(NullRefImpl).castToIndicator = function () {
994
- return this.t3o_1.castToIndicator();
910
+ return this.w3p_1.castToIndicator();
995
911
  };
996
912
  protoOf(NullRefImpl).castToInteger = function () {
997
- return this.t3o_1.castToInteger();
913
+ return this.w3p_1.castToInteger();
998
914
  };
999
915
  protoOf(NullRefImpl).castToList = function () {
1000
- return this.t3o_1.castToList();
916
+ return this.w3p_1.castToList();
1001
917
  };
1002
918
  protoOf(NullRefImpl).castToNumeric = function () {
1003
- return this.t3o_1.castToNumeric();
919
+ return this.w3p_1.castToNumeric();
1004
920
  };
1005
921
  protoOf(NullRefImpl).castToReal = function () {
1006
- return this.t3o_1.castToReal();
922
+ return this.w3p_1.castToReal();
1007
923
  };
1008
924
  protoOf(NullRefImpl).castToRecursive = function () {
1009
- return this.t3o_1.castToRecursive();
925
+ return this.w3p_1.castToRecursive();
1010
926
  };
1011
927
  protoOf(NullRefImpl).castToRule = function () {
1012
- return this.t3o_1.castToRule();
928
+ return this.w3p_1.castToRule();
1013
929
  };
1014
930
  protoOf(NullRefImpl).castToStruct = function () {
1015
- return this.t3o_1.castToStruct();
931
+ return this.w3p_1.castToStruct();
1016
932
  };
1017
933
  protoOf(NullRefImpl).castToTerm = function () {
1018
- return this.t3o_1.castToTerm();
934
+ return this.w3p_1.castToTerm();
1019
935
  };
1020
936
  protoOf(NullRefImpl).castToTruth = function () {
1021
- return this.t3o_1.castToTruth();
937
+ return this.w3p_1.castToTruth();
1022
938
  };
1023
939
  protoOf(NullRefImpl).castToTuple = function () {
1024
- return this.t3o_1.castToTuple();
940
+ return this.w3p_1.castToTuple();
1025
941
  };
1026
942
  protoOf(NullRefImpl).castToVar = function () {
1027
- return this.t3o_1.castToVar();
943
+ return this.w3p_1.castToVar();
1028
944
  };
1029
- protoOf(NullRefImpl).lw = function (other) {
1030
- return this.t3o_1.lw(other);
945
+ protoOf(NullRefImpl).lx = function (other) {
946
+ return this.w3p_1.lx(other);
1031
947
  };
1032
- protoOf(NullRefImpl).fa = function (other) {
1033
- return this.lw((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
948
+ protoOf(NullRefImpl).d = function (other) {
949
+ return this.lx((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
1034
950
  };
1035
951
  protoOf(NullRefImpl).containsTag = function (name) {
1036
- return this.t3o_1.containsTag(name);
952
+ return this.w3p_1.containsTag(name);
1037
953
  };
1038
954
  protoOf(NullRefImpl).equalsUsingVarCompleteNames = function (other, useVarCompleteName) {
1039
- return this.t3o_1.equalsUsingVarCompleteNames(other, useVarCompleteName);
955
+ return this.w3p_1.equalsUsingVarCompleteNames(other, useVarCompleteName);
1040
956
  };
1041
957
  protoOf(NullRefImpl).equals = function (other) {
1042
- return this.t3o_1.equals(other);
958
+ return this.w3p_1.equals(other);
1043
959
  };
1044
960
  protoOf(NullRefImpl).get = function (index) {
1045
- return this.t3o_1.get(index);
961
+ return this.w3p_1.get(index);
1046
962
  };
1047
963
  protoOf(NullRefImpl).getArgAt = function (index) {
1048
- return this.t3o_1.getArgAt(index);
964
+ return this.w3p_1.getArgAt(index);
1049
965
  };
1050
966
  protoOf(NullRefImpl).getTag = function (name) {
1051
- return this.t3o_1.getTag(name);
967
+ return this.w3p_1.getTag(name);
1052
968
  };
1053
969
  protoOf(NullRefImpl).hashCode = function () {
1054
- return this.t3o_1.hashCode();
970
+ return this.w3p_1.hashCode();
1055
971
  };
1056
972
  protoOf(NullRefImpl).insertAt = function (index, argument) {
1057
- return this.t3o_1.insertAt(index, argument);
973
+ return this.w3p_1.insertAt(index, argument);
1058
974
  };
1059
975
  protoOf(NullRefImpl).resetTags = function (tags) {
1060
- return this.t3o_1.resetTags(tags);
976
+ return this.w3p_1.resetTags(tags);
1061
977
  };
1062
978
  protoOf(NullRefImpl).setArgs = function (args) {
1063
- return this.t3o_1.setArgs(args);
979
+ return this.w3p_1.setArgs(args);
1064
980
  };
1065
981
  protoOf(NullRefImpl).setArgsIterable = function (args) {
1066
- return this.t3o_1.setArgsIterable(args);
982
+ return this.w3p_1.setArgsIterable(args);
1067
983
  };
1068
984
  protoOf(NullRefImpl).setArgsSequence = function (args) {
1069
- return this.t3o_1.setArgsSequence(args);
985
+ return this.w3p_1.setArgsSequence(args);
1070
986
  };
1071
987
  protoOf(NullRefImpl).setFunctor = function (functor) {
1072
- return this.t3o_1.setFunctor(functor);
988
+ return this.w3p_1.setFunctor(functor);
1073
989
  };
1074
990
  protoOf(NullRefImpl).structurallyEquals = function (other) {
1075
- return this.t3o_1.structurallyEquals(other);
991
+ return this.w3p_1.structurallyEquals(other);
1076
992
  };
1077
993
  protoOf(NullRefImpl).toString = function () {
1078
- return this.t3o_1.toString();
994
+ return this.w3p_1.toString();
1079
995
  };
1080
- protoOf(NullRefImpl).ky = function () {
996
+ protoOf(NullRefImpl).px = function () {
1081
997
  return true;
1082
998
  };
1083
- protoOf(NullRefImpl).ly = function () {
999
+ protoOf(NullRefImpl).tx = function () {
1084
1000
  return this;
1085
1001
  };
1086
1002
  protoOf(NullRefImpl).asConstant = function () {
1087
- return this.ly();
1003
+ return this.tx();
1088
1004
  };
1089
- protoOf(NullRefImpl).fy = function () {
1005
+ protoOf(NullRefImpl).tw = function () {
1090
1006
  return this;
1091
1007
  };
1092
1008
  protoOf(NullRefImpl).freshCopy = function () {
1093
- return this.fy();
1009
+ return this.tw();
1094
1010
  };
1095
- protoOf(NullRefImpl).i14 = function (scope) {
1011
+ protoOf(NullRefImpl).uw = function (scope) {
1096
1012
  return this;
1097
1013
  };
1098
1014
  protoOf(NullRefImpl).freshCopyFromScope = function (scope) {
1099
- return this.i14(scope);
1015
+ return this.uw(scope);
1100
1016
  };
1101
- protoOf(NullRefImpl).kw = function () {
1017
+ protoOf(NullRefImpl).kx = function () {
1102
1018
  return isInterface(this, Term) ? this : THROW_CCE();
1103
1019
  };
1104
- protoOf(NullRefImpl).hq = function () {
1105
- return this.kw();
1020
+ protoOf(NullRefImpl).br = function () {
1021
+ return this.kx();
1106
1022
  };
1107
- protoOf(NullRefImpl).e15 = function (substitution) {
1023
+ protoOf(NullRefImpl).w16 = function (substitution) {
1108
1024
  return this;
1109
1025
  };
1110
1026
  protoOf(NullRefImpl).applySubstitution = function (substitution) {
1111
- return this.e15(substitution);
1027
+ return this.w16(substitution);
1112
1028
  };
1113
- protoOf(NullRefImpl).z2m = function (substitution, substitutions) {
1029
+ protoOf(NullRefImpl).b2o = function (substitution, substitutions) {
1114
1030
  return this;
1115
1031
  };
1116
1032
  protoOf(NullRefImpl).apply = function (substitution, substitutions) {
1117
- return this.z2m(substitution, substitutions);
1033
+ return this.b2o(substitution, substitutions);
1118
1034
  };
1119
- protoOf(NullRefImpl).y2m = function (substitution, substitutions) {
1035
+ protoOf(NullRefImpl).a2o = function (substitution, substitutions) {
1120
1036
  return this;
1121
1037
  };
1122
1038
  protoOf(NullRefImpl).getSubstituted = function (substitution, substitutions) {
1123
- return this.y2m(substitution, substitutions);
1039
+ return this.a2o(substitution, substitutions);
1124
1040
  };
1125
- protoOf(NullRefImpl).k14 = function (visitor) {
1041
+ protoOf(NullRefImpl).c16 = function (visitor) {
1126
1042
  return visitor.visitAtom(this);
1127
1043
  };
1128
1044
  protoOf(NullRefImpl).accept = function (visitor) {
1129
- return this.k14(visitor);
1045
+ return this.c16(visitor);
1130
1046
  };
1131
1047
  var NullRefImpl_instance;
1132
1048
  function NullRefImpl_getInstance() {
@@ -1135,380 +1051,379 @@
1135
1051
  return NullRefImpl_instance;
1136
1052
  }
1137
1053
  function ObjectRefImpl(object) {
1138
- this.u3o_1 = object;
1139
- this.v3o_1 = Companion_getInstance_5().of(Companion_getInstance_19().p3n(object));
1054
+ this.x3p_1 = object;
1055
+ this.y3p_1 = Companion_getInstance_0().of(Companion_getInstance_11().s3o(object));
1140
1056
  }
1141
- protoOf(ObjectRefImpl).d3n = function () {
1142
- return this.u3o_1;
1057
+ protoOf(ObjectRefImpl).g3o = function () {
1058
+ return this.x3p_1;
1143
1059
  };
1144
- protoOf(ObjectRefImpl).xv = function () {
1145
- return this.v3o_1.xv();
1060
+ protoOf(ObjectRefImpl).rw = function () {
1061
+ return this.y3p_1.rw();
1146
1062
  };
1147
- protoOf(ObjectRefImpl).jw = function () {
1148
- return this.v3o_1.jw();
1063
+ protoOf(ObjectRefImpl).jx = function () {
1064
+ return this.y3p_1.jx();
1149
1065
  };
1150
- protoOf(ObjectRefImpl).qv = function () {
1151
- return this.v3o_1.qv();
1066
+ protoOf(ObjectRefImpl).kw = function () {
1067
+ return this.y3p_1.kw();
1152
1068
  };
1153
- protoOf(ObjectRefImpl).wv = function () {
1154
- return this.v3o_1.wv();
1069
+ protoOf(ObjectRefImpl).qw = function () {
1070
+ return this.y3p_1.qw();
1155
1071
  };
1156
- protoOf(ObjectRefImpl).iw = function () {
1157
- return this.v3o_1.iw();
1072
+ protoOf(ObjectRefImpl).ix = function () {
1073
+ return this.y3p_1.ix();
1158
1074
  };
1159
- protoOf(ObjectRefImpl).rv = function () {
1160
- return this.v3o_1.rv();
1075
+ protoOf(ObjectRefImpl).lw = function () {
1076
+ return this.y3p_1.lw();
1161
1077
  };
1162
- protoOf(ObjectRefImpl).bw = function () {
1163
- return this.v3o_1.bw();
1078
+ protoOf(ObjectRefImpl).xw = function () {
1079
+ return this.y3p_1.xw();
1164
1080
  };
1165
- protoOf(ObjectRefImpl).fw = function () {
1166
- return this.v3o_1.fw();
1081
+ protoOf(ObjectRefImpl).dx = function () {
1082
+ return this.y3p_1.dx();
1167
1083
  };
1168
- protoOf(ObjectRefImpl).sv = function () {
1169
- return this.v3o_1.sv();
1084
+ protoOf(ObjectRefImpl).mw = function () {
1085
+ return this.y3p_1.mw();
1170
1086
  };
1171
- protoOf(ObjectRefImpl).tv = function () {
1172
- return this.v3o_1.tv();
1087
+ protoOf(ObjectRefImpl).nw = function () {
1088
+ return this.y3p_1.nw();
1173
1089
  };
1174
- protoOf(ObjectRefImpl).rw = function () {
1175
- return this.v3o_1.rw();
1090
+ protoOf(ObjectRefImpl).hx = function () {
1091
+ return this.y3p_1.hx();
1176
1092
  };
1177
- protoOf(ObjectRefImpl).gw = function () {
1178
- return this.v3o_1.gw();
1093
+ protoOf(ObjectRefImpl).ux = function () {
1094
+ return this.y3p_1.ux();
1179
1095
  };
1180
- protoOf(ObjectRefImpl).pw = function () {
1181
- return this.v3o_1.pw();
1096
+ protoOf(ObjectRefImpl).fx = function () {
1097
+ return this.y3p_1.fx();
1182
1098
  };
1183
- protoOf(ObjectRefImpl).ew = function () {
1184
- return this.v3o_1.ew();
1099
+ protoOf(ObjectRefImpl).rx = function () {
1100
+ return this.y3p_1.rx();
1185
1101
  };
1186
- protoOf(ObjectRefImpl).ow = function () {
1187
- return this.v3o_1.ow();
1102
+ protoOf(ObjectRefImpl).cx = function () {
1103
+ return this.y3p_1.cx();
1188
1104
  };
1189
- protoOf(ObjectRefImpl).qw = function () {
1190
- return this.v3o_1.qw();
1105
+ protoOf(ObjectRefImpl).qx = function () {
1106
+ return this.y3p_1.qx();
1191
1107
  };
1192
- protoOf(ObjectRefImpl).cw = function () {
1193
- return this.v3o_1.cw();
1108
+ protoOf(ObjectRefImpl).sx = function () {
1109
+ return this.y3p_1.sx();
1194
1110
  };
1195
- protoOf(ObjectRefImpl).aw = function () {
1196
- return this.v3o_1.aw();
1111
+ protoOf(ObjectRefImpl).ox = function () {
1112
+ return this.y3p_1.ox();
1197
1113
  };
1198
- protoOf(ObjectRefImpl).uv = function () {
1199
- return this.v3o_1.uv();
1114
+ protoOf(ObjectRefImpl).yw = function () {
1115
+ return this.y3p_1.yw();
1200
1116
  };
1201
- protoOf(ObjectRefImpl).nw = function () {
1202
- return this.v3o_1.nw();
1117
+ protoOf(ObjectRefImpl).ww = function () {
1118
+ return this.y3p_1.ww();
1203
1119
  };
1204
- protoOf(ObjectRefImpl).dw = function () {
1205
- return this.v3o_1.dw();
1120
+ protoOf(ObjectRefImpl).ow = function () {
1121
+ return this.y3p_1.ow();
1206
1122
  };
1207
- protoOf(ObjectRefImpl).mw = function () {
1208
- return this.v3o_1.mw();
1123
+ protoOf(ObjectRefImpl).nx = function () {
1124
+ return this.y3p_1.nx();
1125
+ };
1126
+ protoOf(ObjectRefImpl).bx = function () {
1127
+ return this.y3p_1.bx();
1209
1128
  };
1210
- protoOf(ObjectRefImpl).bt = function () {
1211
- return this.v3o_1.bt();
1129
+ protoOf(ObjectRefImpl).mx = function () {
1130
+ return this.y3p_1.mx();
1212
1131
  };
1213
- protoOf(ObjectRefImpl).b1 = function () {
1214
- return this.v3o_1.b1();
1132
+ protoOf(ObjectRefImpl).vt = function () {
1133
+ return this.y3p_1.vt();
1215
1134
  };
1216
- protoOf(ObjectRefImpl).yv = function () {
1217
- return this.v3o_1.yv();
1135
+ protoOf(ObjectRefImpl).r2 = function () {
1136
+ return this.y3p_1.r2();
1137
+ };
1138
+ protoOf(ObjectRefImpl).sw = function () {
1139
+ return this.y3p_1.sw();
1218
1140
  };
1219
1141
  protoOf(ObjectRefImpl).addFirst = function (argument) {
1220
- return this.v3o_1.addFirst(argument);
1142
+ return this.y3p_1.addFirst(argument);
1221
1143
  };
1222
1144
  protoOf(ObjectRefImpl).addLast = function (argument) {
1223
- return this.v3o_1.addLast(argument);
1145
+ return this.y3p_1.addLast(argument);
1224
1146
  };
1225
1147
  protoOf(ObjectRefImpl).append = function (argument) {
1226
- return this.v3o_1.append(argument);
1148
+ return this.y3p_1.append(argument);
1227
1149
  };
1228
- protoOf(ObjectRefImpl).zv = function () {
1229
- return this.v3o_1.zv();
1150
+ protoOf(ObjectRefImpl).vw = function () {
1151
+ return this.y3p_1.vw();
1230
1152
  };
1231
1153
  protoOf(ObjectRefImpl).asAtom = function () {
1232
- return this.zv();
1154
+ return this.vw();
1233
1155
  };
1234
1156
  protoOf(ObjectRefImpl).asBlock = function () {
1235
- return this.v3o_1.asBlock();
1157
+ return this.y3p_1.asBlock();
1236
1158
  };
1237
1159
  protoOf(ObjectRefImpl).asClause = function () {
1238
- return this.v3o_1.asClause();
1160
+ return this.y3p_1.asClause();
1239
1161
  };
1240
1162
  protoOf(ObjectRefImpl).asCons = function () {
1241
- return this.v3o_1.asCons();
1163
+ return this.y3p_1.asCons();
1242
1164
  };
1243
1165
  protoOf(ObjectRefImpl).asDirective = function () {
1244
- return this.v3o_1.asDirective();
1166
+ return this.y3p_1.asDirective();
1245
1167
  };
1246
1168
  protoOf(ObjectRefImpl).asEmptyBlock = function () {
1247
- return this.v3o_1.asEmptyBlock();
1169
+ return this.y3p_1.asEmptyBlock();
1248
1170
  };
1249
1171
  protoOf(ObjectRefImpl).asEmptyList = function () {
1250
- return this.v3o_1.asEmptyList();
1172
+ return this.y3p_1.asEmptyList();
1251
1173
  };
1252
1174
  protoOf(ObjectRefImpl).asFact = function () {
1253
- return this.v3o_1.asFact();
1175
+ return this.y3p_1.asFact();
1254
1176
  };
1255
1177
  protoOf(ObjectRefImpl).asIndicator = function () {
1256
- return this.v3o_1.asIndicator();
1178
+ return this.y3p_1.asIndicator();
1257
1179
  };
1258
1180
  protoOf(ObjectRefImpl).asInteger = function () {
1259
- return this.v3o_1.asInteger();
1181
+ return this.y3p_1.asInteger();
1260
1182
  };
1261
1183
  protoOf(ObjectRefImpl).asList = function () {
1262
- return this.v3o_1.asList();
1184
+ return this.y3p_1.asList();
1263
1185
  };
1264
1186
  protoOf(ObjectRefImpl).asNumeric = function () {
1265
- return this.v3o_1.asNumeric();
1187
+ return this.y3p_1.asNumeric();
1266
1188
  };
1267
1189
  protoOf(ObjectRefImpl).asReal = function () {
1268
- return this.v3o_1.asReal();
1190
+ return this.y3p_1.asReal();
1269
1191
  };
1270
1192
  protoOf(ObjectRefImpl).asRecursive = function () {
1271
- return this.v3o_1.asRecursive();
1193
+ return this.y3p_1.asRecursive();
1272
1194
  };
1273
1195
  protoOf(ObjectRefImpl).asRule = function () {
1274
- return this.v3o_1.asRule();
1196
+ return this.y3p_1.asRule();
1275
1197
  };
1276
- protoOf(ObjectRefImpl).hw = function () {
1277
- return this.v3o_1.hw();
1198
+ protoOf(ObjectRefImpl).gx = function () {
1199
+ return this.y3p_1.gx();
1278
1200
  };
1279
1201
  protoOf(ObjectRefImpl).asStruct = function () {
1280
- return this.hw();
1202
+ return this.gx();
1281
1203
  };
1282
1204
  protoOf(ObjectRefImpl).asTerm = function () {
1283
- return this.v3o_1.asTerm();
1205
+ return this.y3p_1.asTerm();
1284
1206
  };
1285
1207
  protoOf(ObjectRefImpl).asTruth = function () {
1286
- return this.v3o_1.asTruth();
1208
+ return this.y3p_1.asTruth();
1287
1209
  };
1288
1210
  protoOf(ObjectRefImpl).asTuple = function () {
1289
- return this.v3o_1.asTuple();
1211
+ return this.y3p_1.asTuple();
1290
1212
  };
1291
1213
  protoOf(ObjectRefImpl).asVar = function () {
1292
- return this.v3o_1.asVar();
1214
+ return this.y3p_1.asVar();
1293
1215
  };
1294
1216
  protoOf(ObjectRefImpl).castToAtom = function () {
1295
- return this.v3o_1.castToAtom();
1217
+ return this.y3p_1.castToAtom();
1296
1218
  };
1297
1219
  protoOf(ObjectRefImpl).castToBlock = function () {
1298
- return this.v3o_1.castToBlock();
1220
+ return this.y3p_1.castToBlock();
1299
1221
  };
1300
1222
  protoOf(ObjectRefImpl).castToClause = function () {
1301
- return this.v3o_1.castToClause();
1223
+ return this.y3p_1.castToClause();
1302
1224
  };
1303
1225
  protoOf(ObjectRefImpl).castToCons = function () {
1304
- return this.v3o_1.castToCons();
1226
+ return this.y3p_1.castToCons();
1305
1227
  };
1306
1228
  protoOf(ObjectRefImpl).castToConstant = function () {
1307
- return this.v3o_1.castToConstant();
1229
+ return this.y3p_1.castToConstant();
1308
1230
  };
1309
1231
  protoOf(ObjectRefImpl).castToDirective = function () {
1310
- return this.v3o_1.castToDirective();
1232
+ return this.y3p_1.castToDirective();
1311
1233
  };
1312
1234
  protoOf(ObjectRefImpl).castToEmptyBlock = function () {
1313
- return this.v3o_1.castToEmptyBlock();
1235
+ return this.y3p_1.castToEmptyBlock();
1314
1236
  };
1315
1237
  protoOf(ObjectRefImpl).castToEmptyList = function () {
1316
- return this.v3o_1.castToEmptyList();
1238
+ return this.y3p_1.castToEmptyList();
1317
1239
  };
1318
1240
  protoOf(ObjectRefImpl).castToFact = function () {
1319
- return this.v3o_1.castToFact();
1241
+ return this.y3p_1.castToFact();
1320
1242
  };
1321
1243
  protoOf(ObjectRefImpl).castToIndicator = function () {
1322
- return this.v3o_1.castToIndicator();
1244
+ return this.y3p_1.castToIndicator();
1323
1245
  };
1324
1246
  protoOf(ObjectRefImpl).castToInteger = function () {
1325
- return this.v3o_1.castToInteger();
1247
+ return this.y3p_1.castToInteger();
1326
1248
  };
1327
1249
  protoOf(ObjectRefImpl).castToList = function () {
1328
- return this.v3o_1.castToList();
1250
+ return this.y3p_1.castToList();
1329
1251
  };
1330
1252
  protoOf(ObjectRefImpl).castToNumeric = function () {
1331
- return this.v3o_1.castToNumeric();
1253
+ return this.y3p_1.castToNumeric();
1332
1254
  };
1333
1255
  protoOf(ObjectRefImpl).castToReal = function () {
1334
- return this.v3o_1.castToReal();
1256
+ return this.y3p_1.castToReal();
1335
1257
  };
1336
1258
  protoOf(ObjectRefImpl).castToRecursive = function () {
1337
- return this.v3o_1.castToRecursive();
1259
+ return this.y3p_1.castToRecursive();
1338
1260
  };
1339
1261
  protoOf(ObjectRefImpl).castToRule = function () {
1340
- return this.v3o_1.castToRule();
1262
+ return this.y3p_1.castToRule();
1341
1263
  };
1342
1264
  protoOf(ObjectRefImpl).castToStruct = function () {
1343
- return this.v3o_1.castToStruct();
1265
+ return this.y3p_1.castToStruct();
1344
1266
  };
1345
1267
  protoOf(ObjectRefImpl).castToTerm = function () {
1346
- return this.v3o_1.castToTerm();
1268
+ return this.y3p_1.castToTerm();
1347
1269
  };
1348
1270
  protoOf(ObjectRefImpl).castToTruth = function () {
1349
- return this.v3o_1.castToTruth();
1271
+ return this.y3p_1.castToTruth();
1350
1272
  };
1351
1273
  protoOf(ObjectRefImpl).castToTuple = function () {
1352
- return this.v3o_1.castToTuple();
1274
+ return this.y3p_1.castToTuple();
1353
1275
  };
1354
1276
  protoOf(ObjectRefImpl).castToVar = function () {
1355
- return this.v3o_1.castToVar();
1277
+ return this.y3p_1.castToVar();
1356
1278
  };
1357
- protoOf(ObjectRefImpl).lw = function (other) {
1358
- return this.v3o_1.lw(other);
1279
+ protoOf(ObjectRefImpl).lx = function (other) {
1280
+ return this.y3p_1.lx(other);
1359
1281
  };
1360
- protoOf(ObjectRefImpl).fa = function (other) {
1361
- return this.lw((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
1282
+ protoOf(ObjectRefImpl).d = function (other) {
1283
+ return this.lx((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
1362
1284
  };
1363
1285
  protoOf(ObjectRefImpl).containsTag = function (name) {
1364
- return this.v3o_1.containsTag(name);
1286
+ return this.y3p_1.containsTag(name);
1365
1287
  };
1366
1288
  protoOf(ObjectRefImpl).equalsUsingVarCompleteNames = function (other, useVarCompleteName) {
1367
- return this.v3o_1.equalsUsingVarCompleteNames(other, useVarCompleteName);
1289
+ return this.y3p_1.equalsUsingVarCompleteNames(other, useVarCompleteName);
1368
1290
  };
1369
1291
  protoOf(ObjectRefImpl).equals = function (other) {
1370
- return this.v3o_1.equals(other);
1292
+ return this.y3p_1.equals(other);
1371
1293
  };
1372
1294
  protoOf(ObjectRefImpl).get = function (index) {
1373
- return this.v3o_1.get(index);
1295
+ return this.y3p_1.get(index);
1374
1296
  };
1375
1297
  protoOf(ObjectRefImpl).getArgAt = function (index) {
1376
- return this.v3o_1.getArgAt(index);
1298
+ return this.y3p_1.getArgAt(index);
1377
1299
  };
1378
1300
  protoOf(ObjectRefImpl).getTag = function (name) {
1379
- return this.v3o_1.getTag(name);
1301
+ return this.y3p_1.getTag(name);
1380
1302
  };
1381
1303
  protoOf(ObjectRefImpl).hashCode = function () {
1382
- return this.v3o_1.hashCode();
1304
+ return this.y3p_1.hashCode();
1383
1305
  };
1384
1306
  protoOf(ObjectRefImpl).insertAt = function (index, argument) {
1385
- return this.v3o_1.insertAt(index, argument);
1307
+ return this.y3p_1.insertAt(index, argument);
1386
1308
  };
1387
1309
  protoOf(ObjectRefImpl).resetTags = function (tags) {
1388
- return this.v3o_1.resetTags(tags);
1310
+ return this.y3p_1.resetTags(tags);
1389
1311
  };
1390
1312
  protoOf(ObjectRefImpl).setArgs = function (args) {
1391
- return this.v3o_1.setArgs(args);
1313
+ return this.y3p_1.setArgs(args);
1392
1314
  };
1393
1315
  protoOf(ObjectRefImpl).setArgsIterable = function (args) {
1394
- return this.v3o_1.setArgsIterable(args);
1316
+ return this.y3p_1.setArgsIterable(args);
1395
1317
  };
1396
1318
  protoOf(ObjectRefImpl).setArgsSequence = function (args) {
1397
- return this.v3o_1.setArgsSequence(args);
1319
+ return this.y3p_1.setArgsSequence(args);
1398
1320
  };
1399
1321
  protoOf(ObjectRefImpl).setFunctor = function (functor) {
1400
- return this.v3o_1.setFunctor(functor);
1322
+ return this.y3p_1.setFunctor(functor);
1401
1323
  };
1402
1324
  protoOf(ObjectRefImpl).structurallyEquals = function (other) {
1403
- return this.v3o_1.structurallyEquals(other);
1325
+ return this.y3p_1.structurallyEquals(other);
1404
1326
  };
1405
1327
  protoOf(ObjectRefImpl).toString = function () {
1406
- return this.v3o_1.toString();
1328
+ return this.y3p_1.toString();
1407
1329
  };
1408
- protoOf(ObjectRefImpl).ky = function () {
1330
+ protoOf(ObjectRefImpl).px = function () {
1409
1331
  return true;
1410
1332
  };
1411
- protoOf(ObjectRefImpl).ly = function () {
1333
+ protoOf(ObjectRefImpl).tx = function () {
1412
1334
  return this;
1413
1335
  };
1414
1336
  protoOf(ObjectRefImpl).asConstant = function () {
1415
- return this.ly();
1337
+ return this.tx();
1416
1338
  };
1417
- protoOf(ObjectRefImpl).e3n = function (objectConverter, methodName, arguments_0) {
1418
- return invoke_0(this.u3o_1, objectConverter, methodName, arguments_0);
1339
+ protoOf(ObjectRefImpl).h3o = function (objectConverter, methodName, arguments_0) {
1340
+ return invoke_0(this.x3p_1, objectConverter, methodName, arguments_0);
1419
1341
  };
1420
- protoOf(ObjectRefImpl).f3n = function (objectConverter, propertyName, value) {
1421
- assign_0(this.u3o_1, objectConverter, propertyName, value);
1342
+ protoOf(ObjectRefImpl).i3o = function (objectConverter, propertyName, value) {
1343
+ assign_0(this.x3p_1, objectConverter, propertyName, value);
1422
1344
  return true;
1423
1345
  };
1424
- protoOf(ObjectRefImpl).fy = function () {
1346
+ protoOf(ObjectRefImpl).tw = function () {
1425
1347
  return this;
1426
1348
  };
1427
1349
  protoOf(ObjectRefImpl).freshCopy = function () {
1428
- return this.fy();
1350
+ return this.tw();
1429
1351
  };
1430
- protoOf(ObjectRefImpl).i14 = function (scope) {
1352
+ protoOf(ObjectRefImpl).uw = function (scope) {
1431
1353
  return this;
1432
1354
  };
1433
1355
  protoOf(ObjectRefImpl).freshCopyFromScope = function (scope) {
1434
- return this.i14(scope);
1356
+ return this.uw(scope);
1435
1357
  };
1436
- protoOf(ObjectRefImpl).kw = function () {
1358
+ protoOf(ObjectRefImpl).kx = function () {
1437
1359
  return isInterface(this, Term) ? this : THROW_CCE();
1438
1360
  };
1439
- protoOf(ObjectRefImpl).hq = function () {
1440
- return this.kw();
1361
+ protoOf(ObjectRefImpl).br = function () {
1362
+ return this.kx();
1441
1363
  };
1442
- protoOf(ObjectRefImpl).e15 = function (substitution) {
1364
+ protoOf(ObjectRefImpl).w16 = function (substitution) {
1443
1365
  return this;
1444
1366
  };
1445
1367
  protoOf(ObjectRefImpl).applySubstitution = function (substitution) {
1446
- return this.e15(substitution);
1368
+ return this.w16(substitution);
1447
1369
  };
1448
- protoOf(ObjectRefImpl).z2m = function (substitution, substitutions) {
1370
+ protoOf(ObjectRefImpl).b2o = function (substitution, substitutions) {
1449
1371
  return this;
1450
1372
  };
1451
1373
  protoOf(ObjectRefImpl).apply = function (substitution, substitutions) {
1452
- return this.z2m(substitution, substitutions);
1374
+ return this.b2o(substitution, substitutions);
1453
1375
  };
1454
- protoOf(ObjectRefImpl).y2m = function (substitution, substitutions) {
1376
+ protoOf(ObjectRefImpl).a2o = function (substitution, substitutions) {
1455
1377
  return this;
1456
1378
  };
1457
1379
  protoOf(ObjectRefImpl).getSubstituted = function (substitution, substitutions) {
1458
- return this.y2m(substitution, substitutions);
1380
+ return this.a2o(substitution, substitutions);
1459
1381
  };
1460
- protoOf(ObjectRefImpl).k14 = function (visitor) {
1382
+ protoOf(ObjectRefImpl).c16 = function (visitor) {
1461
1383
  return visitor.visitAtom(this);
1462
1384
  };
1463
1385
  protoOf(ObjectRefImpl).accept = function (visitor) {
1464
- return this.k14(visitor);
1386
+ return this.c16(visitor);
1465
1387
  };
1466
1388
  function ObjectToTermConverterImpl() {
1467
- this.w3o_1 = new NumberTypeTester();
1389
+ this.z3p_1 = new NumberTypeTester();
1468
1390
  }
1469
- protoOf(ObjectToTermConverterImpl).w3n = function (source) {
1470
- var tmp$ret$2;
1391
+ protoOf(ObjectToTermConverterImpl).z3o = function (source) {
1471
1392
  // Inline function 'kotlin.with' call
1472
- var tmp0_with = this.w3o_1;
1473
1393
  // Inline function 'kotlin.contracts.contract' call
1474
- var tmp$ret$1;
1475
1394
  // Inline function 'it.unibo.tuprolog.solve.libs.oop.impl.ObjectToTermConverterImpl.convert.<anonymous>' call
1476
- var tmp0_subject = source;
1395
+ var $this$with = this.z3p_1;
1477
1396
  var tmp;
1478
- if (tmp0_subject == null) {
1479
- tmp = Companion_getInstance_19().o3n_1;
1397
+ if (source == null) {
1398
+ tmp = Companion_getInstance_11().r3o_1;
1480
1399
  } else {
1481
- if (!(tmp0_subject == null) ? typeof tmp0_subject === 'string' : false) {
1482
- tmp = Companion_getInstance_5().of(source);
1400
+ if (!(source == null) ? typeof source === 'string' : false) {
1401
+ tmp = Companion_getInstance_0().of(source);
1483
1402
  } else {
1484
- if (isNumber(tmp0_subject)) {
1485
- tmp = tmp0_with.ts(source) ? Companion_getInstance_8().ofBigInteger(tmp0_with.us(source)) : Companion_getInstance_7().ofBigDecimal(tmp0_with.vs(source));
1403
+ if (isNumber(source)) {
1404
+ tmp = $this$with.nt(source) ? Companion_getInstance_3().ofBigInteger($this$with.ot(source)) : Companion_getInstance_2().ofBigDecimal($this$with.pt(source));
1486
1405
  } else {
1487
- if (tmp0_subject instanceof Char) {
1488
- var tmp_0 = Companion_getInstance_5();
1489
- var tmp$ret$0;
1406
+ if (source instanceof Char) {
1407
+ var tmp_0 = Companion_getInstance_0();
1490
1408
  // Inline function 'kotlin.charArrayOf' call
1491
- var tmp0_charArrayOf = charArrayOf([source.a9_1]);
1492
- tmp$ret$0 = tmp0_charArrayOf;
1409
+ var tmp$ret$0 = charArrayOf([source.pa_1]);
1493
1410
  tmp = tmp_0.of(concatToString(tmp$ret$0));
1494
1411
  } else {
1495
- if (!(tmp0_subject == null) ? typeof tmp0_subject === 'boolean' : false) {
1496
- tmp = Companion_getInstance_6().of(source);
1412
+ if (!(source == null) ? typeof source === 'boolean' : false) {
1413
+ tmp = Companion_getInstance_1().of(source);
1497
1414
  } else {
1498
- tmp = Companion_getInstance_19().q3n(source);
1415
+ tmp = Companion_getInstance_11().t3o(source);
1499
1416
  }
1500
1417
  }
1501
1418
  }
1502
1419
  }
1503
1420
  }
1504
- tmp$ret$1 = tmp;
1505
- tmp$ret$2 = tmp$ret$1;
1506
- return tmp$ret$2;
1421
+ return tmp;
1507
1422
  };
1508
1423
  function explicitConversion($this, castExpression, term, type) {
1509
1424
  var targetType = getType($this, castExpression, type);
1510
1425
  try {
1511
- return $this.c3o(targetType, term);
1426
+ return $this.f3p(targetType, term);
1512
1427
  } catch ($p) {
1513
1428
  if ($p instanceof TermToObjectConversionException) {
1514
1429
  var e = $p;
@@ -1524,13 +1439,12 @@
1524
1439
  }
1525
1440
  }
1526
1441
  function getType($this, castExpression, typeTerm) {
1527
- var tmp0_subject = typeTerm;
1528
1442
  var tmp;
1529
- if (isInterface(tmp0_subject, TypeRef)) {
1530
- tmp = typeTerm.q23();
1443
+ if (isInterface(typeTerm, TypeRef)) {
1444
+ tmp = typeTerm.r24();
1531
1445
  } else {
1532
- if (isInterface(tmp0_subject, Atom)) {
1533
- var tmp1_elvis_lhs = $this.x3o_1.h3o(typeTerm.b1());
1446
+ if (isInterface(typeTerm, Atom)) {
1447
+ var tmp1_elvis_lhs = $this.a3q_1.k3p(typeTerm.r2());
1534
1448
  var tmp_0;
1535
1449
  if (tmp1_elvis_lhs == null) {
1536
1450
  throw TermToObjectConversionException_init_$Create$(castExpression);
@@ -1539,13 +1453,13 @@
1539
1453
  }
1540
1454
  tmp = tmp_0;
1541
1455
  } else {
1542
- if (isInterface(tmp0_subject, Struct)) {
1456
+ if (isInterface(typeTerm, Struct)) {
1543
1457
  var tmp_1;
1544
- if (Companion_getInstance_2().matches(typeTerm, get_DEALIASING_TEMPLATE())) {
1545
- var ref = $this.y3o_1(typeTerm);
1458
+ if (Companion_getInstance().matches(typeTerm, get_DEALIASING_TEMPLATE())) {
1459
+ var ref = $this.b3q_1(typeTerm);
1546
1460
  var tmp_2;
1547
1461
  if (!(ref == null) ? isInterface(ref, TypeRef) : false) {
1548
- tmp_2 = ref.q23();
1462
+ tmp_2 = ref.r24();
1549
1463
  } else {
1550
1464
  throw TermToObjectConversionException_init_$Create$(castExpression);
1551
1465
  }
@@ -1562,81 +1476,76 @@
1562
1476
  return tmp;
1563
1477
  }
1564
1478
  function admissibleTypesByPriority($this, term) {
1565
- var tmp0_subject = term;
1566
1479
  var tmp;
1567
1480
  var tmp_0;
1568
- if (isInterface(tmp0_subject, NullRef)) {
1481
+ if (isInterface(term, NullRef)) {
1569
1482
  tmp_0 = true;
1570
1483
  } else {
1571
- tmp_0 = isInterface(tmp0_subject, Var);
1484
+ tmp_0 = isInterface(term, Var);
1572
1485
  }
1573
1486
  if (tmp_0) {
1574
- tmp = sequenceOf([PrimitiveClasses_getInstance().yd()]);
1487
+ tmp = sequenceOf([PrimitiveClasses_getInstance().e7()]);
1575
1488
  } else {
1576
- if (isInterface(tmp0_subject, ObjectRef)) {
1577
- tmp = sequenceOf([getKClassFromExpression(term.d3n())]);
1489
+ if (isInterface(term, ObjectRef)) {
1490
+ tmp = sequenceOf([getKClassFromExpression(term.g3o())]);
1578
1491
  } else {
1579
- if (isInterface(tmp0_subject, Truth)) {
1580
- tmp = sequenceOf([PrimitiveClasses_getInstance().zd(), PrimitiveClasses_getInstance().ge()]);
1492
+ if (isInterface(term, Truth)) {
1493
+ tmp = sequenceOf([PrimitiveClasses_getInstance().f7(), PrimitiveClasses_getInstance().m7()]);
1581
1494
  } else {
1582
- if (isInterface(tmp0_subject, Atom)) {
1583
- var admissible = sequenceOf([PrimitiveClasses_getInstance().ge()]);
1584
- if (term.b1().length === 1) {
1495
+ if (isInterface(term, Atom)) {
1496
+ var admissible = sequenceOf([PrimitiveClasses_getInstance().m7()]);
1497
+ if (term.r2().length === 1) {
1585
1498
  admissible = plus(admissible, sequenceOf([getKClass(Char)]));
1586
1499
  }
1587
1500
  tmp = admissible;
1588
1501
  } else {
1589
- if (isInterface(tmp0_subject, Real)) {
1590
- tmp = sequenceOf([getKClass(BigDecimal), PrimitiveClasses_getInstance().ee(), PrimitiveClasses_getInstance().de()]);
1502
+ if (isInterface(term, Real)) {
1503
+ tmp = sequenceOf([getKClass(BigDecimal), PrimitiveClasses_getInstance().k7(), PrimitiveClasses_getInstance().j7()]);
1591
1504
  } else {
1592
- if (isInterface(tmp0_subject, Integer)) {
1505
+ if (isInterface(term, Integer)) {
1593
1506
  var admissible_0 = sequenceOf([getKClass(BigInteger)]);
1594
- var tmp_1 = Companion_getInstance_9();
1595
- Companion_getInstance_10();
1507
+ var tmp_1 = Companion_getInstance_4();
1508
+ Companion_getInstance_5();
1596
1509
  var tmp_2 = tmp_1.ofLong(new Long(0, -2147483648));
1597
- var tmp_3 = Companion_getInstance_9();
1598
- Companion_getInstance_10();
1599
- if (tmp_2.rangeTo(tmp_3.ofLong(new Long(-1, 2147483647))).e1(term.az())) {
1510
+ var tmp_3 = Companion_getInstance_4();
1511
+ Companion_getInstance_5();
1512
+ if (tmp_2.rangeTo(tmp_3.ofLong(new Long(-1, 2147483647))).ga(term.y10())) {
1600
1513
  admissible_0 = plus(admissible_0, sequenceOf([getKClass(Long)]));
1601
1514
  }
1602
- if (Companion_getInstance_9().of(IntCompanionObject_getInstance().MIN_VALUE).rangeTo(Companion_getInstance_9().of(IntCompanionObject_getInstance().MAX_VALUE)).e1(term.az())) {
1603
- admissible_0 = plus(admissible_0, sequenceOf([PrimitiveClasses_getInstance().ce()]));
1515
+ if (Companion_getInstance_4().of(IntCompanionObject_instance.MIN_VALUE).rangeTo(Companion_getInstance_4().of(IntCompanionObject_instance.MAX_VALUE)).ga(term.y10())) {
1516
+ admissible_0 = plus(admissible_0, sequenceOf([PrimitiveClasses_getInstance().i7()]));
1604
1517
  }
1605
- if (Companion_getInstance_9().of(ShortCompanionObject_getInstance().MIN_VALUE).rangeTo(Companion_getInstance_9().of(ShortCompanionObject_getInstance().MAX_VALUE)).e1(term.az())) {
1606
- admissible_0 = plus(admissible_0, sequenceOf([PrimitiveClasses_getInstance().be()]));
1518
+ if (Companion_getInstance_4().of(ShortCompanionObject_instance.MIN_VALUE).rangeTo(Companion_getInstance_4().of(ShortCompanionObject_instance.MAX_VALUE)).ga(term.y10())) {
1519
+ admissible_0 = plus(admissible_0, sequenceOf([PrimitiveClasses_getInstance().h7()]));
1607
1520
  }
1608
- if (Companion_getInstance_9().of(ByteCompanionObject_getInstance().MIN_VALUE).rangeTo(Companion_getInstance_9().of(ByteCompanionObject_getInstance().MAX_VALUE)).e1(term.az())) {
1609
- admissible_0 = plus(admissible_0, sequenceOf([PrimitiveClasses_getInstance().ae()]));
1521
+ if (Companion_getInstance_4().of(ByteCompanionObject_instance.MIN_VALUE).rangeTo(Companion_getInstance_4().of(ByteCompanionObject_instance.MAX_VALUE)).ga(term.y10())) {
1522
+ admissible_0 = plus(admissible_0, sequenceOf([PrimitiveClasses_getInstance().g7()]));
1610
1523
  }
1611
1524
  admissible_0 = plus(admissible_0, sequenceOf([getKClass(BigDecimal)]));
1612
- var tmp_4 = Companion_getInstance_11();
1613
- DoubleCompanionObject_getInstance();
1525
+ var tmp_4 = Companion_getInstance_6();
1614
1526
  var containsLower = tmp_4.ofDouble(4.9E-324);
1615
- var tmp_5 = Companion_getInstance_11();
1616
- DoubleCompanionObject_getInstance();
1527
+ var tmp_5 = Companion_getInstance_6();
1617
1528
  var containsUpper = tmp_5.ofDouble(1.7976931348623157E308);
1618
- var containsArg = term.iz();
1529
+ var containsArg = term.g11();
1619
1530
  if (0 <= compareTo(containsArg, containsLower) ? compareTo(containsArg, containsUpper) <= 0 : false) {
1620
- admissible_0 = plus(admissible_0, sequenceOf([PrimitiveClasses_getInstance().ee()]));
1531
+ admissible_0 = plus(admissible_0, sequenceOf([PrimitiveClasses_getInstance().k7()]));
1621
1532
  }
1622
- var tmp_6 = Companion_getInstance_11();
1623
- FloatCompanionObject_getInstance();
1533
+ var tmp_6 = Companion_getInstance_6();
1624
1534
  var containsLower_0 = tmp_6.ofFloat(1.4E-45);
1625
- var tmp_7 = Companion_getInstance_11();
1626
- FloatCompanionObject_getInstance();
1535
+ var tmp_7 = Companion_getInstance_6();
1627
1536
  var containsUpper_0 = tmp_7.ofFloat(3.4028235E38);
1628
- var containsArg_0 = term.iz();
1537
+ var containsArg_0 = term.g11();
1629
1538
  if (0 <= compareTo(containsArg_0, containsLower_0) ? compareTo(containsArg_0, containsUpper_0) <= 0 : false) {
1630
- admissible_0 = plus(admissible_0, sequenceOf([PrimitiveClasses_getInstance().de()]));
1539
+ admissible_0 = plus(admissible_0, sequenceOf([PrimitiveClasses_getInstance().j7()]));
1631
1540
  }
1632
1541
  tmp = admissible_0;
1633
1542
  } else {
1634
- if (isInterface(tmp0_subject, Struct)) {
1543
+ if (isInterface(term, Struct)) {
1635
1544
  var tmp_8;
1636
- if (Companion_getInstance_2().matches(term, get_CAST_TEMPLATE())) {
1545
+ if (Companion_getInstance().matches(term, get_CAST_TEMPLATE())) {
1637
1546
  tmp_8 = sequenceOf([getType($this, term, term.get(1))]);
1638
- } else if (Companion_getInstance_2().matches(term, get_DEALIASING_TEMPLATE())) {
1639
- var ref = $this.y3o_1(term);
1547
+ } else if (Companion_getInstance().matches(term, get_DEALIASING_TEMPLATE())) {
1548
+ var ref = $this.b3q_1(term);
1640
1549
  var tmp_9;
1641
1550
  if (!(ref == null) ? isInterface(ref, ObjectRef) : false) {
1642
1551
  tmp_9 = admissibleTypesByPriority($this, ref);
@@ -1660,17 +1569,16 @@
1660
1569
  return tmp;
1661
1570
  }
1662
1571
  function TermToObjectConverterImpl(typeFactory, dealiaser) {
1663
- this.x3o_1 = typeFactory;
1664
- this.y3o_1 = dealiaser;
1572
+ this.a3q_1 = typeFactory;
1573
+ this.b3q_1 = dealiaser;
1665
1574
  }
1666
- protoOf(TermToObjectConverterImpl).c3o = function (type, term) {
1667
- var tmp0_subject = term;
1575
+ protoOf(TermToObjectConverterImpl).f3p = function (type, term) {
1668
1576
  var tmp;
1669
1577
  var tmp_0;
1670
- if (isInterface(tmp0_subject, NullRef)) {
1578
+ if (isInterface(term, NullRef)) {
1671
1579
  tmp_0 = true;
1672
1580
  } else {
1673
- tmp_0 = isInterface(tmp0_subject, Var);
1581
+ tmp_0 = isInterface(term, Var);
1674
1582
  }
1675
1583
  if (tmp_0) {
1676
1584
  var tmp_1;
@@ -1681,34 +1589,34 @@
1681
1589
  }
1682
1590
  tmp = tmp_1;
1683
1591
  } else {
1684
- if (isInterface(tmp0_subject, ObjectRef)) {
1592
+ if (isInterface(term, ObjectRef)) {
1685
1593
  var tmp_2;
1686
- if (isSubtypeOf(getKClassFromExpression(term.d3n()), type)) {
1687
- tmp_2 = term.d3n();
1594
+ if (isSubtypeOf(getKClassFromExpression(term.g3o()), type)) {
1595
+ tmp_2 = term.g3o();
1688
1596
  } else {
1689
1597
  throw new TermToObjectConversionException(term, type);
1690
1598
  }
1691
1599
  tmp = tmp_2;
1692
1600
  } else {
1693
- if (isInterface(tmp0_subject, Truth)) {
1601
+ if (isInterface(term, Truth)) {
1694
1602
  var tmp_3;
1695
- if (isSubtypeOf(PrimitiveClasses_getInstance().zd(), type)) {
1696
- tmp_3 = term.uv();
1697
- } else if (isSubtypeOf(PrimitiveClasses_getInstance().ge(), type)) {
1698
- tmp_3 = term.b1();
1603
+ if (isSubtypeOf(PrimitiveClasses_getInstance().f7(), type)) {
1604
+ tmp_3 = term.ow();
1605
+ } else if (isSubtypeOf(PrimitiveClasses_getInstance().m7(), type)) {
1606
+ tmp_3 = term.r2();
1699
1607
  } else {
1700
1608
  throw new TermToObjectConversionException(term, type);
1701
1609
  }
1702
1610
  tmp = tmp_3;
1703
1611
  } else {
1704
- if (isInterface(tmp0_subject, Atom)) {
1612
+ if (isInterface(term, Atom)) {
1705
1613
  var tmp_4;
1706
- if (isSubtypeOf(PrimitiveClasses_getInstance().ge(), type)) {
1707
- tmp_4 = term.b1();
1614
+ if (isSubtypeOf(PrimitiveClasses_getInstance().m7(), type)) {
1615
+ tmp_4 = term.r2();
1708
1616
  } else if (isSubtypeOf(getKClass(Char), type)) {
1709
1617
  var tmp_5;
1710
- if (term.b1().length === 1) {
1711
- tmp_5 = charSequenceGet(term.b1(), 0);
1618
+ if (term.r2().length === 1) {
1619
+ tmp_5 = charSequenceGet(term.r2(), 0);
1712
1620
  } else {
1713
1621
  throw new TermToObjectConversionException(term, type);
1714
1622
  }
@@ -1718,53 +1626,52 @@
1718
1626
  }
1719
1627
  tmp = tmp_4;
1720
1628
  } else {
1721
- if (isInterface(tmp0_subject, Real)) {
1629
+ if (isInterface(term, Real)) {
1722
1630
  var tmp_6;
1723
1631
  if (isSubtypeOf(getKClass(BigDecimal), type)) {
1724
- tmp_6 = term.iz();
1725
- } else if (isSubtypeOf(PrimitiveClasses_getInstance().ee(), type)) {
1726
- tmp_6 = term.iz().toDouble();
1727
- } else if (isSubtypeOf(PrimitiveClasses_getInstance().de(), type)) {
1728
- tmp_6 = term.iz().toFloat();
1632
+ tmp_6 = term.g11();
1633
+ } else if (isSubtypeOf(PrimitiveClasses_getInstance().k7(), type)) {
1634
+ tmp_6 = term.g11().toDouble();
1635
+ } else if (isSubtypeOf(PrimitiveClasses_getInstance().j7(), type)) {
1636
+ tmp_6 = term.g11().toFloat();
1729
1637
  } else {
1730
1638
  throw new TermToObjectConversionException(term, type);
1731
1639
  }
1732
1640
  tmp = tmp_6;
1733
1641
  } else {
1734
- if (isInterface(tmp0_subject, Integer)) {
1642
+ if (isInterface(term, Integer)) {
1735
1643
  var tmp_7;
1736
1644
  if (isSubtypeOf(getKClass(BigInteger), type)) {
1737
- tmp_7 = term.az();
1645
+ tmp_7 = term.y10();
1738
1646
  } else if (isSubtypeOf(getKClass(Long), type)) {
1739
- tmp_7 = term.az().toLongExact();
1740
- } else if (isSubtypeOf(PrimitiveClasses_getInstance().ce(), type)) {
1741
- tmp_7 = term.az().toIntExact();
1742
- } else if (isSubtypeOf(PrimitiveClasses_getInstance().be(), type)) {
1743
- tmp_7 = term.az().toShortExact();
1744
- } else if (isSubtypeOf(PrimitiveClasses_getInstance().ae(), type)) {
1745
- tmp_7 = term.az().toByteExact();
1647
+ tmp_7 = term.y10().toLongExact();
1648
+ } else if (isSubtypeOf(PrimitiveClasses_getInstance().i7(), type)) {
1649
+ tmp_7 = term.y10().toIntExact();
1650
+ } else if (isSubtypeOf(PrimitiveClasses_getInstance().h7(), type)) {
1651
+ tmp_7 = term.y10().toShortExact();
1652
+ } else if (isSubtypeOf(PrimitiveClasses_getInstance().g7(), type)) {
1653
+ tmp_7 = term.y10().toByteExact();
1746
1654
  } else if (isSubtypeOf(getKClass(BigDecimal), type)) {
1747
- tmp_7 = term.iz();
1748
- } else if (isSubtypeOf(PrimitiveClasses_getInstance().ee(), type)) {
1749
- tmp_7 = term.iz().toDouble();
1750
- } else if (isSubtypeOf(PrimitiveClasses_getInstance().de(), type)) {
1751
- tmp_7 = term.iz().toFloat();
1655
+ tmp_7 = term.g11();
1656
+ } else if (isSubtypeOf(PrimitiveClasses_getInstance().k7(), type)) {
1657
+ tmp_7 = term.g11().toDouble();
1658
+ } else if (isSubtypeOf(PrimitiveClasses_getInstance().j7(), type)) {
1659
+ tmp_7 = term.g11().toFloat();
1752
1660
  } else {
1753
1661
  throw new TermToObjectConversionException(term, type);
1754
1662
  }
1755
1663
  tmp = tmp_7;
1756
1664
  } else {
1757
- if (isInterface(tmp0_subject, Struct)) {
1758
- var tmp$ret$0;
1665
+ if (isInterface(term, Struct)) {
1759
1666
  // Inline function 'kotlin.also' call
1760
1667
  var tmp_8;
1761
- if (Companion_getInstance_2().matches(term, get_CAST_TEMPLATE())) {
1668
+ if (Companion_getInstance().matches(term, get_CAST_TEMPLATE())) {
1762
1669
  tmp_8 = explicitConversion(this, term, term.get(0), term.get(1));
1763
- } else if (Companion_getInstance_2().matches(term, get_DEALIASING_TEMPLATE())) {
1764
- var ref = this.y3o_1(term);
1670
+ } else if (Companion_getInstance().matches(term, get_DEALIASING_TEMPLATE())) {
1671
+ var ref = this.b3q_1(term);
1765
1672
  var tmp_9;
1766
1673
  if (!(ref == null) ? isInterface(ref, ObjectRef) : false) {
1767
- tmp_9 = this.c3o(type, ref);
1674
+ tmp_9 = this.f3p(type, ref);
1768
1675
  } else {
1769
1676
  throw TermToObjectConversionException_init_$Create$(term);
1770
1677
  }
@@ -1772,14 +1679,13 @@
1772
1679
  } else {
1773
1680
  throw TermToObjectConversionException_init_$Create$(term);
1774
1681
  }
1775
- var tmp0_also = tmp_8;
1682
+ var this_0 = tmp_8;
1776
1683
  // Inline function 'kotlin.contracts.contract' call
1777
1684
  // Inline function 'it.unibo.tuprolog.solve.libs.oop.impl.TermToObjectConverterImpl.convertInto.<anonymous>' call
1778
- if (!(tmp0_also == null) ? !isSubtypeOf(getKClassFromExpression(tmp0_also), type) : false) {
1685
+ if (!(this_0 == null) ? !isSubtypeOf(getKClassFromExpression(this_0), type) : false) {
1779
1686
  throw TermToObjectConversionException_init_$Create$(term);
1780
1687
  }
1781
- tmp$ret$0 = tmp0_also;
1782
- tmp = tmp$ret$0;
1688
+ tmp = this_0;
1783
1689
  } else {
1784
1690
  throw TermToObjectConversionException_init_$Create$(term);
1785
1691
  }
@@ -1791,420 +1697,419 @@
1791
1697
  }
1792
1698
  return tmp;
1793
1699
  };
1794
- protoOf(TermToObjectConverterImpl).e3o = function (term) {
1700
+ protoOf(TermToObjectConverterImpl).h3p = function (term) {
1795
1701
  return first(admissibleTypesByPriority(this, term));
1796
1702
  };
1797
- protoOf(TermToObjectConverterImpl).d3o = function (term) {
1703
+ protoOf(TermToObjectConverterImpl).g3p = function (term) {
1798
1704
  return toSet(admissibleTypesByPriority(this, term));
1799
1705
  };
1800
1706
  function TypeFactoryImpl() {
1801
1707
  }
1802
- protoOf(TypeFactoryImpl).h3o = function (typeName) {
1803
- return kClassFromName(typeName).b1();
1708
+ protoOf(TypeFactoryImpl).k3p = function (typeName) {
1709
+ return kClassFromName(typeName).r2();
1804
1710
  };
1805
1711
  function nameOf_0($this, type) {
1806
1712
  return '<type:' + get_fullName(type) + '>';
1807
1713
  }
1808
1714
  function Companion_6() {
1809
- Companion_instance_6 = this;
1810
1715
  }
1811
- var Companion_instance_6;
1812
- function Companion_getInstance_26() {
1813
- if (Companion_instance_6 == null)
1814
- new Companion_6();
1815
- return Companion_instance_6;
1716
+ var Companion_instance_14;
1717
+ function Companion_getInstance_18() {
1718
+ return Companion_instance_14;
1816
1719
  }
1817
1720
  function TypeRefImpl(type) {
1818
- Companion_getInstance_26();
1819
- this.z3o_1 = type;
1820
- this.a3p_1 = Companion_getInstance_5().of(nameOf_0(Companion_getInstance_26(), type));
1721
+ this.c3q_1 = type;
1722
+ this.d3q_1 = Companion_getInstance_0().of(nameOf_0(Companion_instance_14, type));
1821
1723
  }
1822
- protoOf(TypeRefImpl).q23 = function () {
1823
- return this.z3o_1;
1724
+ protoOf(TypeRefImpl).r24 = function () {
1725
+ return this.c3q_1;
1824
1726
  };
1825
- protoOf(TypeRefImpl).xv = function () {
1826
- return this.a3p_1.xv();
1727
+ protoOf(TypeRefImpl).rw = function () {
1728
+ return this.d3q_1.rw();
1827
1729
  };
1828
- protoOf(TypeRefImpl).jw = function () {
1829
- return this.a3p_1.jw();
1730
+ protoOf(TypeRefImpl).jx = function () {
1731
+ return this.d3q_1.jx();
1830
1732
  };
1831
- protoOf(TypeRefImpl).qv = function () {
1832
- return this.a3p_1.qv();
1733
+ protoOf(TypeRefImpl).kw = function () {
1734
+ return this.d3q_1.kw();
1833
1735
  };
1834
- protoOf(TypeRefImpl).wv = function () {
1835
- return this.a3p_1.wv();
1736
+ protoOf(TypeRefImpl).qw = function () {
1737
+ return this.d3q_1.qw();
1836
1738
  };
1837
- protoOf(TypeRefImpl).iw = function () {
1838
- return this.a3p_1.iw();
1739
+ protoOf(TypeRefImpl).ix = function () {
1740
+ return this.d3q_1.ix();
1839
1741
  };
1840
- protoOf(TypeRefImpl).rv = function () {
1841
- return this.a3p_1.rv();
1742
+ protoOf(TypeRefImpl).lw = function () {
1743
+ return this.d3q_1.lw();
1842
1744
  };
1843
- protoOf(TypeRefImpl).bw = function () {
1844
- return this.a3p_1.bw();
1745
+ protoOf(TypeRefImpl).xw = function () {
1746
+ return this.d3q_1.xw();
1845
1747
  };
1846
- protoOf(TypeRefImpl).fw = function () {
1847
- return this.a3p_1.fw();
1748
+ protoOf(TypeRefImpl).dx = function () {
1749
+ return this.d3q_1.dx();
1848
1750
  };
1849
- protoOf(TypeRefImpl).sv = function () {
1850
- return this.a3p_1.sv();
1751
+ protoOf(TypeRefImpl).mw = function () {
1752
+ return this.d3q_1.mw();
1851
1753
  };
1852
- protoOf(TypeRefImpl).tv = function () {
1853
- return this.a3p_1.tv();
1754
+ protoOf(TypeRefImpl).nw = function () {
1755
+ return this.d3q_1.nw();
1854
1756
  };
1855
- protoOf(TypeRefImpl).rw = function () {
1856
- return this.a3p_1.rw();
1757
+ protoOf(TypeRefImpl).hx = function () {
1758
+ return this.d3q_1.hx();
1857
1759
  };
1858
- protoOf(TypeRefImpl).gw = function () {
1859
- return this.a3p_1.gw();
1760
+ protoOf(TypeRefImpl).ux = function () {
1761
+ return this.d3q_1.ux();
1860
1762
  };
1861
- protoOf(TypeRefImpl).pw = function () {
1862
- return this.a3p_1.pw();
1763
+ protoOf(TypeRefImpl).fx = function () {
1764
+ return this.d3q_1.fx();
1863
1765
  };
1864
- protoOf(TypeRefImpl).ew = function () {
1865
- return this.a3p_1.ew();
1766
+ protoOf(TypeRefImpl).rx = function () {
1767
+ return this.d3q_1.rx();
1866
1768
  };
1867
- protoOf(TypeRefImpl).ow = function () {
1868
- return this.a3p_1.ow();
1769
+ protoOf(TypeRefImpl).cx = function () {
1770
+ return this.d3q_1.cx();
1869
1771
  };
1870
- protoOf(TypeRefImpl).qw = function () {
1871
- return this.a3p_1.qw();
1772
+ protoOf(TypeRefImpl).qx = function () {
1773
+ return this.d3q_1.qx();
1872
1774
  };
1873
- protoOf(TypeRefImpl).cw = function () {
1874
- return this.a3p_1.cw();
1775
+ protoOf(TypeRefImpl).sx = function () {
1776
+ return this.d3q_1.sx();
1875
1777
  };
1876
- protoOf(TypeRefImpl).aw = function () {
1877
- return this.a3p_1.aw();
1778
+ protoOf(TypeRefImpl).ox = function () {
1779
+ return this.d3q_1.ox();
1878
1780
  };
1879
- protoOf(TypeRefImpl).uv = function () {
1880
- return this.a3p_1.uv();
1781
+ protoOf(TypeRefImpl).yw = function () {
1782
+ return this.d3q_1.yw();
1881
1783
  };
1882
- protoOf(TypeRefImpl).nw = function () {
1883
- return this.a3p_1.nw();
1784
+ protoOf(TypeRefImpl).ww = function () {
1785
+ return this.d3q_1.ww();
1884
1786
  };
1885
- protoOf(TypeRefImpl).dw = function () {
1886
- return this.a3p_1.dw();
1787
+ protoOf(TypeRefImpl).ow = function () {
1788
+ return this.d3q_1.ow();
1887
1789
  };
1888
- protoOf(TypeRefImpl).mw = function () {
1889
- return this.a3p_1.mw();
1790
+ protoOf(TypeRefImpl).nx = function () {
1791
+ return this.d3q_1.nx();
1890
1792
  };
1891
- protoOf(TypeRefImpl).bt = function () {
1892
- return this.a3p_1.bt();
1793
+ protoOf(TypeRefImpl).bx = function () {
1794
+ return this.d3q_1.bx();
1893
1795
  };
1894
- protoOf(TypeRefImpl).b1 = function () {
1895
- return this.a3p_1.b1();
1796
+ protoOf(TypeRefImpl).mx = function () {
1797
+ return this.d3q_1.mx();
1896
1798
  };
1897
- protoOf(TypeRefImpl).yv = function () {
1898
- return this.a3p_1.yv();
1799
+ protoOf(TypeRefImpl).vt = function () {
1800
+ return this.d3q_1.vt();
1801
+ };
1802
+ protoOf(TypeRefImpl).r2 = function () {
1803
+ return this.d3q_1.r2();
1804
+ };
1805
+ protoOf(TypeRefImpl).sw = function () {
1806
+ return this.d3q_1.sw();
1899
1807
  };
1900
1808
  protoOf(TypeRefImpl).addFirst = function (argument) {
1901
- return this.a3p_1.addFirst(argument);
1809
+ return this.d3q_1.addFirst(argument);
1902
1810
  };
1903
1811
  protoOf(TypeRefImpl).addLast = function (argument) {
1904
- return this.a3p_1.addLast(argument);
1812
+ return this.d3q_1.addLast(argument);
1905
1813
  };
1906
1814
  protoOf(TypeRefImpl).append = function (argument) {
1907
- return this.a3p_1.append(argument);
1815
+ return this.d3q_1.append(argument);
1908
1816
  };
1909
- protoOf(TypeRefImpl).zv = function () {
1910
- return this.a3p_1.zv();
1817
+ protoOf(TypeRefImpl).vw = function () {
1818
+ return this.d3q_1.vw();
1911
1819
  };
1912
1820
  protoOf(TypeRefImpl).asAtom = function () {
1913
- return this.zv();
1821
+ return this.vw();
1914
1822
  };
1915
1823
  protoOf(TypeRefImpl).asBlock = function () {
1916
- return this.a3p_1.asBlock();
1824
+ return this.d3q_1.asBlock();
1917
1825
  };
1918
1826
  protoOf(TypeRefImpl).asClause = function () {
1919
- return this.a3p_1.asClause();
1827
+ return this.d3q_1.asClause();
1920
1828
  };
1921
1829
  protoOf(TypeRefImpl).asCons = function () {
1922
- return this.a3p_1.asCons();
1830
+ return this.d3q_1.asCons();
1923
1831
  };
1924
1832
  protoOf(TypeRefImpl).asDirective = function () {
1925
- return this.a3p_1.asDirective();
1833
+ return this.d3q_1.asDirective();
1926
1834
  };
1927
1835
  protoOf(TypeRefImpl).asEmptyBlock = function () {
1928
- return this.a3p_1.asEmptyBlock();
1836
+ return this.d3q_1.asEmptyBlock();
1929
1837
  };
1930
1838
  protoOf(TypeRefImpl).asEmptyList = function () {
1931
- return this.a3p_1.asEmptyList();
1839
+ return this.d3q_1.asEmptyList();
1932
1840
  };
1933
1841
  protoOf(TypeRefImpl).asFact = function () {
1934
- return this.a3p_1.asFact();
1842
+ return this.d3q_1.asFact();
1935
1843
  };
1936
1844
  protoOf(TypeRefImpl).asIndicator = function () {
1937
- return this.a3p_1.asIndicator();
1845
+ return this.d3q_1.asIndicator();
1938
1846
  };
1939
1847
  protoOf(TypeRefImpl).asInteger = function () {
1940
- return this.a3p_1.asInteger();
1848
+ return this.d3q_1.asInteger();
1941
1849
  };
1942
1850
  protoOf(TypeRefImpl).asList = function () {
1943
- return this.a3p_1.asList();
1851
+ return this.d3q_1.asList();
1944
1852
  };
1945
1853
  protoOf(TypeRefImpl).asNumeric = function () {
1946
- return this.a3p_1.asNumeric();
1854
+ return this.d3q_1.asNumeric();
1947
1855
  };
1948
1856
  protoOf(TypeRefImpl).asReal = function () {
1949
- return this.a3p_1.asReal();
1857
+ return this.d3q_1.asReal();
1950
1858
  };
1951
1859
  protoOf(TypeRefImpl).asRecursive = function () {
1952
- return this.a3p_1.asRecursive();
1860
+ return this.d3q_1.asRecursive();
1953
1861
  };
1954
1862
  protoOf(TypeRefImpl).asRule = function () {
1955
- return this.a3p_1.asRule();
1863
+ return this.d3q_1.asRule();
1956
1864
  };
1957
- protoOf(TypeRefImpl).hw = function () {
1958
- return this.a3p_1.hw();
1865
+ protoOf(TypeRefImpl).gx = function () {
1866
+ return this.d3q_1.gx();
1959
1867
  };
1960
1868
  protoOf(TypeRefImpl).asStruct = function () {
1961
- return this.hw();
1869
+ return this.gx();
1962
1870
  };
1963
1871
  protoOf(TypeRefImpl).asTerm = function () {
1964
- return this.a3p_1.asTerm();
1872
+ return this.d3q_1.asTerm();
1965
1873
  };
1966
1874
  protoOf(TypeRefImpl).asTruth = function () {
1967
- return this.a3p_1.asTruth();
1875
+ return this.d3q_1.asTruth();
1968
1876
  };
1969
1877
  protoOf(TypeRefImpl).asTuple = function () {
1970
- return this.a3p_1.asTuple();
1878
+ return this.d3q_1.asTuple();
1971
1879
  };
1972
1880
  protoOf(TypeRefImpl).asVar = function () {
1973
- return this.a3p_1.asVar();
1881
+ return this.d3q_1.asVar();
1974
1882
  };
1975
1883
  protoOf(TypeRefImpl).castToAtom = function () {
1976
- return this.a3p_1.castToAtom();
1884
+ return this.d3q_1.castToAtom();
1977
1885
  };
1978
1886
  protoOf(TypeRefImpl).castToBlock = function () {
1979
- return this.a3p_1.castToBlock();
1887
+ return this.d3q_1.castToBlock();
1980
1888
  };
1981
1889
  protoOf(TypeRefImpl).castToClause = function () {
1982
- return this.a3p_1.castToClause();
1890
+ return this.d3q_1.castToClause();
1983
1891
  };
1984
1892
  protoOf(TypeRefImpl).castToCons = function () {
1985
- return this.a3p_1.castToCons();
1893
+ return this.d3q_1.castToCons();
1986
1894
  };
1987
1895
  protoOf(TypeRefImpl).castToConstant = function () {
1988
- return this.a3p_1.castToConstant();
1896
+ return this.d3q_1.castToConstant();
1989
1897
  };
1990
1898
  protoOf(TypeRefImpl).castToDirective = function () {
1991
- return this.a3p_1.castToDirective();
1899
+ return this.d3q_1.castToDirective();
1992
1900
  };
1993
1901
  protoOf(TypeRefImpl).castToEmptyBlock = function () {
1994
- return this.a3p_1.castToEmptyBlock();
1902
+ return this.d3q_1.castToEmptyBlock();
1995
1903
  };
1996
1904
  protoOf(TypeRefImpl).castToEmptyList = function () {
1997
- return this.a3p_1.castToEmptyList();
1905
+ return this.d3q_1.castToEmptyList();
1998
1906
  };
1999
1907
  protoOf(TypeRefImpl).castToFact = function () {
2000
- return this.a3p_1.castToFact();
1908
+ return this.d3q_1.castToFact();
2001
1909
  };
2002
1910
  protoOf(TypeRefImpl).castToIndicator = function () {
2003
- return this.a3p_1.castToIndicator();
1911
+ return this.d3q_1.castToIndicator();
2004
1912
  };
2005
1913
  protoOf(TypeRefImpl).castToInteger = function () {
2006
- return this.a3p_1.castToInteger();
1914
+ return this.d3q_1.castToInteger();
2007
1915
  };
2008
1916
  protoOf(TypeRefImpl).castToList = function () {
2009
- return this.a3p_1.castToList();
1917
+ return this.d3q_1.castToList();
2010
1918
  };
2011
1919
  protoOf(TypeRefImpl).castToNumeric = function () {
2012
- return this.a3p_1.castToNumeric();
1920
+ return this.d3q_1.castToNumeric();
2013
1921
  };
2014
1922
  protoOf(TypeRefImpl).castToReal = function () {
2015
- return this.a3p_1.castToReal();
1923
+ return this.d3q_1.castToReal();
2016
1924
  };
2017
1925
  protoOf(TypeRefImpl).castToRecursive = function () {
2018
- return this.a3p_1.castToRecursive();
1926
+ return this.d3q_1.castToRecursive();
2019
1927
  };
2020
1928
  protoOf(TypeRefImpl).castToRule = function () {
2021
- return this.a3p_1.castToRule();
1929
+ return this.d3q_1.castToRule();
2022
1930
  };
2023
1931
  protoOf(TypeRefImpl).castToStruct = function () {
2024
- return this.a3p_1.castToStruct();
1932
+ return this.d3q_1.castToStruct();
2025
1933
  };
2026
1934
  protoOf(TypeRefImpl).castToTerm = function () {
2027
- return this.a3p_1.castToTerm();
1935
+ return this.d3q_1.castToTerm();
2028
1936
  };
2029
1937
  protoOf(TypeRefImpl).castToTruth = function () {
2030
- return this.a3p_1.castToTruth();
1938
+ return this.d3q_1.castToTruth();
2031
1939
  };
2032
1940
  protoOf(TypeRefImpl).castToTuple = function () {
2033
- return this.a3p_1.castToTuple();
1941
+ return this.d3q_1.castToTuple();
2034
1942
  };
2035
1943
  protoOf(TypeRefImpl).castToVar = function () {
2036
- return this.a3p_1.castToVar();
1944
+ return this.d3q_1.castToVar();
2037
1945
  };
2038
- protoOf(TypeRefImpl).lw = function (other) {
2039
- return this.a3p_1.lw(other);
1946
+ protoOf(TypeRefImpl).lx = function (other) {
1947
+ return this.d3q_1.lx(other);
2040
1948
  };
2041
- protoOf(TypeRefImpl).fa = function (other) {
2042
- return this.lw((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
1949
+ protoOf(TypeRefImpl).d = function (other) {
1950
+ return this.lx((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
2043
1951
  };
2044
1952
  protoOf(TypeRefImpl).containsTag = function (name) {
2045
- return this.a3p_1.containsTag(name);
1953
+ return this.d3q_1.containsTag(name);
2046
1954
  };
2047
1955
  protoOf(TypeRefImpl).equalsUsingVarCompleteNames = function (other, useVarCompleteName) {
2048
- return this.a3p_1.equalsUsingVarCompleteNames(other, useVarCompleteName);
1956
+ return this.d3q_1.equalsUsingVarCompleteNames(other, useVarCompleteName);
2049
1957
  };
2050
1958
  protoOf(TypeRefImpl).equals = function (other) {
2051
- return this.a3p_1.equals(other);
1959
+ return this.d3q_1.equals(other);
2052
1960
  };
2053
1961
  protoOf(TypeRefImpl).get = function (index) {
2054
- return this.a3p_1.get(index);
1962
+ return this.d3q_1.get(index);
2055
1963
  };
2056
1964
  protoOf(TypeRefImpl).getArgAt = function (index) {
2057
- return this.a3p_1.getArgAt(index);
1965
+ return this.d3q_1.getArgAt(index);
2058
1966
  };
2059
1967
  protoOf(TypeRefImpl).getTag = function (name) {
2060
- return this.a3p_1.getTag(name);
1968
+ return this.d3q_1.getTag(name);
2061
1969
  };
2062
1970
  protoOf(TypeRefImpl).hashCode = function () {
2063
- return this.a3p_1.hashCode();
1971
+ return this.d3q_1.hashCode();
2064
1972
  };
2065
1973
  protoOf(TypeRefImpl).insertAt = function (index, argument) {
2066
- return this.a3p_1.insertAt(index, argument);
1974
+ return this.d3q_1.insertAt(index, argument);
2067
1975
  };
2068
1976
  protoOf(TypeRefImpl).resetTags = function (tags) {
2069
- return this.a3p_1.resetTags(tags);
1977
+ return this.d3q_1.resetTags(tags);
2070
1978
  };
2071
1979
  protoOf(TypeRefImpl).setArgs = function (args) {
2072
- return this.a3p_1.setArgs(args);
1980
+ return this.d3q_1.setArgs(args);
2073
1981
  };
2074
1982
  protoOf(TypeRefImpl).setArgsIterable = function (args) {
2075
- return this.a3p_1.setArgsIterable(args);
1983
+ return this.d3q_1.setArgsIterable(args);
2076
1984
  };
2077
1985
  protoOf(TypeRefImpl).setArgsSequence = function (args) {
2078
- return this.a3p_1.setArgsSequence(args);
1986
+ return this.d3q_1.setArgsSequence(args);
2079
1987
  };
2080
1988
  protoOf(TypeRefImpl).setFunctor = function (functor) {
2081
- return this.a3p_1.setFunctor(functor);
1989
+ return this.d3q_1.setFunctor(functor);
2082
1990
  };
2083
1991
  protoOf(TypeRefImpl).structurallyEquals = function (other) {
2084
- return this.a3p_1.structurallyEquals(other);
1992
+ return this.d3q_1.structurallyEquals(other);
2085
1993
  };
2086
1994
  protoOf(TypeRefImpl).toString = function () {
2087
- return this.a3p_1.toString();
1995
+ return this.d3q_1.toString();
2088
1996
  };
2089
- protoOf(TypeRefImpl).k3o = function (objectConverter, arguments_0) {
2090
- return create_0(this.z3o_1, objectConverter, arguments_0);
1997
+ protoOf(TypeRefImpl).n3p = function (objectConverter, arguments_0) {
1998
+ return create_0(this.c3q_1, objectConverter, arguments_0);
2091
1999
  };
2092
- protoOf(TypeRefImpl).e3n = function (objectConverter, methodName, arguments_0) {
2093
- var companionObjectRef = get_companionObjectRef(this.z3o_1);
2000
+ protoOf(TypeRefImpl).h3o = function (objectConverter, methodName, arguments_0) {
2001
+ var companionObjectRef = get_companionObjectRef(this.c3q_1);
2094
2002
  var tmp;
2095
2003
  if (companionObjectRef instanceof Some) {
2096
- tmp = invoke_0(companionObjectRef.aq_1, objectConverter, methodName, arguments_0);
2004
+ tmp = invoke_0(companionObjectRef.uq_1, objectConverter, methodName, arguments_0);
2097
2005
  } else {
2098
- tmp = invoke_1(this.z3o_1, objectConverter, methodName, arguments_0, null);
2006
+ tmp = invoke_1(this.c3q_1, objectConverter, methodName, arguments_0, null);
2099
2007
  }
2100
2008
  return tmp;
2101
2009
  };
2102
- protoOf(TypeRefImpl).ky = function () {
2010
+ protoOf(TypeRefImpl).px = function () {
2103
2011
  return true;
2104
2012
  };
2105
- protoOf(TypeRefImpl).ly = function () {
2013
+ protoOf(TypeRefImpl).tx = function () {
2106
2014
  return this;
2107
2015
  };
2108
2016
  protoOf(TypeRefImpl).asConstant = function () {
2109
- return this.ly();
2017
+ return this.tx();
2110
2018
  };
2111
- protoOf(TypeRefImpl).fy = function () {
2019
+ protoOf(TypeRefImpl).tw = function () {
2112
2020
  return this;
2113
2021
  };
2114
2022
  protoOf(TypeRefImpl).freshCopy = function () {
2115
- return this.fy();
2023
+ return this.tw();
2116
2024
  };
2117
- protoOf(TypeRefImpl).i14 = function (scope) {
2025
+ protoOf(TypeRefImpl).uw = function (scope) {
2118
2026
  return this;
2119
2027
  };
2120
2028
  protoOf(TypeRefImpl).freshCopyFromScope = function (scope) {
2121
- return this.i14(scope);
2029
+ return this.uw(scope);
2122
2030
  };
2123
- protoOf(TypeRefImpl).kw = function () {
2031
+ protoOf(TypeRefImpl).kx = function () {
2124
2032
  return isInterface(this, Term) ? this : THROW_CCE();
2125
2033
  };
2126
- protoOf(TypeRefImpl).hq = function () {
2127
- return this.kw();
2034
+ protoOf(TypeRefImpl).br = function () {
2035
+ return this.kx();
2128
2036
  };
2129
- protoOf(TypeRefImpl).e15 = function (substitution) {
2037
+ protoOf(TypeRefImpl).w16 = function (substitution) {
2130
2038
  return this;
2131
2039
  };
2132
2040
  protoOf(TypeRefImpl).applySubstitution = function (substitution) {
2133
- return this.e15(substitution);
2041
+ return this.w16(substitution);
2134
2042
  };
2135
- protoOf(TypeRefImpl).z2m = function (substitution, substitutions) {
2043
+ protoOf(TypeRefImpl).b2o = function (substitution, substitutions) {
2136
2044
  return this;
2137
2045
  };
2138
2046
  protoOf(TypeRefImpl).apply = function (substitution, substitutions) {
2139
- return this.z2m(substitution, substitutions);
2047
+ return this.b2o(substitution, substitutions);
2140
2048
  };
2141
- protoOf(TypeRefImpl).y2m = function (substitution, substitutions) {
2049
+ protoOf(TypeRefImpl).a2o = function (substitution, substitutions) {
2142
2050
  return this;
2143
2051
  };
2144
2052
  protoOf(TypeRefImpl).getSubstituted = function (substitution, substitutions) {
2145
- return this.y2m(substitution, substitutions);
2053
+ return this.a2o(substitution, substitutions);
2146
2054
  };
2147
- protoOf(TypeRefImpl).k14 = function (visitor) {
2055
+ protoOf(TypeRefImpl).c16 = function (visitor) {
2148
2056
  return visitor.visitAtom(this);
2149
2057
  };
2150
2058
  protoOf(TypeRefImpl).accept = function (visitor) {
2151
- return this.k14(visitor);
2059
+ return this.c16(visitor);
2152
2060
  };
2153
- protoOf(TypeRefImpl).f3n = function (objectConverter, propertyName, value) {
2154
- var companionObjectRef = get_companionObjectRef(this.z3o_1);
2061
+ protoOf(TypeRefImpl).i3o = function (objectConverter, propertyName, value) {
2062
+ var companionObjectRef = get_companionObjectRef(this.c3q_1);
2155
2063
  if (companionObjectRef instanceof Some) {
2156
- assign_0(companionObjectRef.aq_1, objectConverter, propertyName, value);
2064
+ assign_0(companionObjectRef.uq_1, objectConverter, propertyName, value);
2157
2065
  } else {
2158
- assign_1(this.z3o_1, objectConverter, propertyName, value, null);
2066
+ assign_1(this.c3q_1, objectConverter, propertyName, value, null);
2159
2067
  }
2160
2068
  return true;
2161
2069
  };
2162
2070
  function actuallyInvoke(_this__u8e3s4, $this, ref, method, resultTerm) {
2163
- var result = ref.e3n(get_termToObjectConverter(_this__u8e3s4), method.wv(), method.xv());
2071
+ var result = ref.h3o(get_termToObjectConverter(_this__u8e3s4), method.qw(), method.rw());
2164
2072
  var tmp;
2165
2073
  if (result instanceof Value) {
2166
- tmp = Companion_getInstance_13().d2f(_this__u8e3s4, resultTerm, $this.c3p(result));
2074
+ tmp = Companion_getInstance_8().f2g(_this__u8e3s4, resultTerm, $this.f3q(result));
2167
2075
  } else {
2168
- tmp = Companion_getInstance_12().failed();
2076
+ tmp = Companion_getInstance_7().failed();
2169
2077
  }
2170
2078
  return tmp;
2171
2079
  }
2172
2080
  function AbstractInvoke(suffix) {
2173
2081
  Functional.call(this, 'invoke_' + suffix);
2174
2082
  }
2175
- protoOf(AbstractInvoke).h2o = function (_this__u8e3s4, first, second, third) {
2176
- Companion_getInstance_13().n2f(_this__u8e3s4, 0);
2177
- Companion_getInstance_13().n2f(_this__u8e3s4, 1);
2083
+ protoOf(AbstractInvoke).j2p = function (_this__u8e3s4, first, second, third) {
2084
+ Companion_getInstance_8().p2g(_this__u8e3s4, 0);
2085
+ Companion_getInstance_8().p2g(_this__u8e3s4, 1);
2178
2086
  var method = isInterface(second, Struct) ? second : THROW_CCE();
2179
2087
  var tmp$ret$1;
2180
2088
  $l$block: {
2181
2089
  // Inline function 'it.unibo.tuprolog.solve.libs.oop.primitives.catchingOopExceptions' call
2182
2090
  try {
2183
- var tmp$ret$0;
2184
2091
  // Inline function 'it.unibo.tuprolog.solve.libs.oop.primitives.AbstractInvoke.computeOneSubstitution.<anonymous>' call
2185
- var tmp0_subject = first;
2186
2092
  var tmp;
2187
- if (isInterface(tmp0_subject, Ref)) {
2093
+ if (isInterface(first, Ref)) {
2188
2094
  tmp = actuallyInvoke(_this__u8e3s4, this, first, method, third);
2189
2095
  } else {
2190
- if (isInterface(tmp0_subject, Struct)) {
2096
+ if (isInterface(first, Struct)) {
2191
2097
  var ref = findRefFromAlias(_this__u8e3s4, first);
2192
2098
  tmp = actuallyInvoke(_this__u8e3s4, this, ref, method, third);
2193
2099
  } else {
2194
- tmp = Companion_getInstance_12().failed();
2100
+ tmp = Companion_getInstance_7().failed();
2195
2101
  }
2196
2102
  }
2197
- tmp$ret$0 = tmp;
2198
- tmp$ret$1 = tmp$ret$0;
2103
+ tmp$ret$1 = tmp;
2199
2104
  break $l$block;
2200
2105
  } catch ($p) {
2201
2106
  if ($p instanceof OopException) {
2202
2107
  var e = $p;
2203
- throw e.p3o(_this__u8e3s4.context, _this__u8e3s4.signature);
2108
+ throw e.s3p(_this__u8e3s4.context, _this__u8e3s4.signature);
2204
2109
  } else {
2205
2110
  if ($p instanceof Error) {
2206
2111
  var e_0 = $p;
2207
- throw Companion_getInstance_14().forUncaughtKtException(_this__u8e3s4.context, e_0);
2112
+ throw Companion_instance_4.forUncaughtKtException(_this__u8e3s4.context, e_0);
2208
2113
  } else {
2209
2114
  throw $p;
2210
2115
  }
@@ -2213,22 +2118,22 @@
2213
2118
  }
2214
2119
  return tmp$ret$1;
2215
2120
  };
2216
- protoOf(AbstractInvoke).q2h = function (_this__u8e3s4, first, second, third) {
2217
- return this.h2o(_this__u8e3s4, first, second, third);
2121
+ protoOf(AbstractInvoke).s2i = function (_this__u8e3s4, first, second, third) {
2122
+ return this.j2p(_this__u8e3s4, first, second, third);
2218
2123
  };
2219
2124
  function AbstractIterableItems$computeOneSubstitution$lambda($converter) {
2220
2125
  return function (it) {
2221
- return $converter.f3o(it);
2126
+ return $converter.i3p(it);
2222
2127
  };
2223
2128
  }
2224
2129
  function AbstractIterableItems$computeOneSubstitution$lambda_0(it) {
2225
- return Companion_getInstance_20().r3n_1.w3n(it);
2130
+ return Companion_getInstance_12().u3o_1.z3o(it);
2226
2131
  }
2227
2132
  function AbstractIterableItems(iterable, target) {
2228
2133
  Functional_0.call(this, iterable + '_items');
2229
- this.e3p_1 = target;
2134
+ this.h3q_1 = target;
2230
2135
  }
2231
- protoOf(AbstractIterableItems).e2o = function (_this__u8e3s4, first, second) {
2136
+ protoOf(AbstractIterableItems).g2p = function (_this__u8e3s4, first, second) {
2232
2137
  var tmp;
2233
2138
  var tmp_0;
2234
2139
  if (isInterface(first, Var)) {
@@ -2237,63 +2142,57 @@
2237
2142
  tmp_0 = false;
2238
2143
  }
2239
2144
  if (tmp_0) {
2240
- var tmp$ret$1;
2241
2145
  // Inline function 'kotlin.let' call
2242
- var tmp0_let = Companion_getInstance_13().d2e(_this__u8e3s4);
2243
2146
  // Inline function 'kotlin.contracts.contract' call
2244
- var tmp$ret$0;
2245
2147
  // Inline function 'it.unibo.tuprolog.solve.libs.oop.primitives.AbstractIterableItems.computeOneSubstitution.<anonymous>' call
2246
- tmp$ret$0 = Companion_getInstance_12().failed();
2247
- tmp$ret$1 = tmp$ret$0;
2248
- tmp = tmp$ret$1;
2148
+ Companion_getInstance_8().f2f(_this__u8e3s4);
2149
+ tmp = Companion_getInstance_7().failed();
2249
2150
  } else {
2250
2151
  if (isInterface(second, List_0)) {
2251
2152
  var converter = get_termToObjectConverter(_this__u8e3s4);
2252
- var tmp_1 = second.au();
2253
- var items = this.f3p(map(tmp_1, AbstractIterableItems$computeOneSubstitution$lambda(converter)));
2254
- var objectRef = Companion_getInstance_19().q3n(items);
2255
- tmp = Companion_getInstance_13().d2f(_this__u8e3s4, first, objectRef);
2153
+ var tmp_1 = second.uu();
2154
+ var items = this.i3q(map(tmp_1, AbstractIterableItems$computeOneSubstitution$lambda(converter)));
2155
+ var objectRef = Companion_getInstance_11().t3o(items);
2156
+ tmp = Companion_getInstance_8().f2g(_this__u8e3s4, first, objectRef);
2256
2157
  } else {
2257
2158
  if (isInterface(first, ObjectRef)) {
2258
- var obj = first.d3n();
2159
+ var obj = first.g3o();
2259
2160
  var tmp_2;
2260
- if (this.g3p(obj)) {
2261
- var tmp_3 = this.h3p(isObject(obj) ? obj : THROW_CCE());
2161
+ if (this.j3q(obj)) {
2162
+ var tmp_3 = this.k3q(!(obj == null) ? obj : THROW_CCE());
2262
2163
  var items_0 = map(tmp_3, AbstractIterableItems$computeOneSubstitution$lambda_0);
2263
- tmp_2 = Companion_getInstance_13().d2f(_this__u8e3s4, second, Companion_getInstance_15().ofSequence(items_0));
2164
+ tmp_2 = Companion_getInstance_8().f2g(_this__u8e3s4, second, Companion_instance_5.ofSequence(items_0));
2264
2165
  } else {
2265
- tmp_2 = Companion_getInstance_12().failed();
2166
+ tmp_2 = Companion_getInstance_7().failed();
2266
2167
  }
2267
2168
  tmp = tmp_2;
2268
2169
  } else {
2269
- throw Companion_getInstance_1().d24(_this__u8e3s4.context, _this__u8e3s4.signature, Expected_OBJECT_REFERENCE_getInstance(), first, 0);
2170
+ throw Companion_instance_1.d28(_this__u8e3s4.context, _this__u8e3s4.signature, Expected_OBJECT_REFERENCE_getInstance(), first, 0);
2270
2171
  }
2271
2172
  }
2272
2173
  }
2273
2174
  return tmp;
2274
2175
  };
2275
- protoOf(AbstractIterableItems).o2e = function (_this__u8e3s4, first, second) {
2276
- return this.e2o(_this__u8e3s4, first, second);
2176
+ protoOf(AbstractIterableItems).q2f = function (_this__u8e3s4, first, second) {
2177
+ return this.g2p(_this__u8e3s4, first, second);
2277
2178
  };
2278
2179
  function ArrayItems() {
2279
2180
  ArrayItems_instance = this;
2280
- AbstractIterableItems.call(this, 'array', PrimitiveClasses_getInstance().fe());
2181
+ AbstractIterableItems.call(this, 'array', PrimitiveClasses_getInstance().l7());
2281
2182
  }
2282
- protoOf(ArrayItems).f3p = function (_this__u8e3s4) {
2283
- var tmp$ret$0;
2183
+ protoOf(ArrayItems).i3q = function (_this__u8e3s4) {
2284
2184
  // Inline function 'kotlin.collections.toTypedArray' call
2285
- var tmp0_toTypedArray = toList(_this__u8e3s4);
2286
- tmp$ret$0 = copyToArray(tmp0_toTypedArray);
2287
- return tmp$ret$0;
2185
+ var this_0 = toList(_this__u8e3s4);
2186
+ return copyToArray(this_0);
2288
2187
  };
2289
- protoOf(ArrayItems).g3p = function (_this__u8e3s4) {
2188
+ protoOf(ArrayItems).j3q = function (_this__u8e3s4) {
2290
2189
  return !(_this__u8e3s4 == null) ? isArray(_this__u8e3s4) : false;
2291
2190
  };
2292
- protoOf(ArrayItems).k3p = function (_this__u8e3s4) {
2191
+ protoOf(ArrayItems).n3q = function (_this__u8e3s4) {
2293
2192
  return asSequence(_this__u8e3s4);
2294
2193
  };
2295
- protoOf(ArrayItems).h3p = function (_this__u8e3s4) {
2296
- return this.k3p(isArray(_this__u8e3s4) ? _this__u8e3s4 : THROW_CCE());
2194
+ protoOf(ArrayItems).k3q = function (_this__u8e3s4) {
2195
+ return this.n3q(isArray(_this__u8e3s4) ? _this__u8e3s4 : THROW_CCE());
2297
2196
  };
2298
2197
  var ArrayItems_instance;
2299
2198
  function ArrayItems_getInstance() {
@@ -2305,42 +2204,39 @@
2305
2204
  Assign_instance = this;
2306
2205
  Predicative.call(this, 'assign');
2307
2206
  }
2308
- protoOf(Assign).m3p = function (_this__u8e3s4, first, second, third) {
2309
- Companion_getInstance_13().s2f(_this__u8e3s4, 0);
2310
- Companion_getInstance_13().s2f(_this__u8e3s4, 1);
2207
+ protoOf(Assign).p3q = function (_this__u8e3s4, first, second, third) {
2208
+ Companion_getInstance_8().u2g(_this__u8e3s4, 0);
2209
+ Companion_getInstance_8().u2g(_this__u8e3s4, 1);
2311
2210
  var tmp$ret$1;
2312
2211
  $l$block: {
2313
2212
  // Inline function 'it.unibo.tuprolog.solve.libs.oop.primitives.catchingOopExceptions' call
2314
2213
  try {
2315
- var tmp$ret$0;
2316
2214
  // Inline function 'it.unibo.tuprolog.solve.libs.oop.primitives.Assign.compute.<anonymous>' call
2317
- var tmp0_subject = first;
2318
2215
  var tmp;
2319
- if (isInterface(tmp0_subject, Ref)) {
2216
+ if (isInterface(first, Ref)) {
2320
2217
  tmp = first;
2321
2218
  } else {
2322
2219
  tmp = findRefFromAlias(_this__u8e3s4, isInterface(first, Atom) ? first : THROW_CCE());
2323
2220
  }
2324
2221
  var ref = tmp;
2325
2222
  var tmp_0;
2326
- if (Companion_getInstance_13().e2f(_this__u8e3s4, third, get_DEALIASING_TEMPLATE())) {
2223
+ if (Companion_getInstance_8().g2g(_this__u8e3s4, third, get_DEALIASING_TEMPLATE())) {
2327
2224
  tmp_0 = findRefFromAlias(_this__u8e3s4, isInterface(third, Struct) ? third : THROW_CCE());
2328
2225
  } else {
2329
2226
  tmp_0 = third;
2330
2227
  }
2331
2228
  var value = tmp_0;
2332
2229
  var tmp_1 = get_termToObjectConverter(_this__u8e3s4);
2333
- tmp$ret$0 = ref.f3n(tmp_1, (isInterface(second, Atom) ? second : THROW_CCE()).b1(), value);
2334
- tmp$ret$1 = tmp$ret$0;
2230
+ tmp$ret$1 = ref.i3o(tmp_1, (isInterface(second, Atom) ? second : THROW_CCE()).r2(), value);
2335
2231
  break $l$block;
2336
2232
  } catch ($p) {
2337
2233
  if ($p instanceof OopException) {
2338
2234
  var e = $p;
2339
- throw e.p3o(_this__u8e3s4.context, _this__u8e3s4.signature);
2235
+ throw e.s3p(_this__u8e3s4.context, _this__u8e3s4.signature);
2340
2236
  } else {
2341
2237
  if ($p instanceof Error) {
2342
2238
  var e_0 = $p;
2343
- throw Companion_getInstance_14().forUncaughtKtException(_this__u8e3s4.context, e_0);
2239
+ throw Companion_instance_4.forUncaughtKtException(_this__u8e3s4.context, e_0);
2344
2240
  } else {
2345
2241
  throw $p;
2346
2242
  }
@@ -2349,8 +2245,8 @@
2349
2245
  }
2350
2246
  return tmp$ret$1;
2351
2247
  };
2352
- protoOf(Assign).s2h = function (_this__u8e3s4, first, second, third) {
2353
- return this.m3p(_this__u8e3s4, first, second, third);
2248
+ protoOf(Assign).u2i = function (_this__u8e3s4, first, second, third) {
2249
+ return this.p3q(_this__u8e3s4, first, second, third);
2354
2250
  };
2355
2251
  var Assign_instance;
2356
2252
  function Assign_getInstance() {
@@ -2361,47 +2257,44 @@
2361
2257
  function cast(_this__u8e3s4, $this, term, type, result) {
2362
2258
  var tmp;
2363
2259
  if (type == null) {
2364
- tmp = Companion_getInstance_12().failed();
2260
+ tmp = Companion_getInstance_7().failed();
2365
2261
  } else {
2366
- var casted = get_termToObjectConverter(_this__u8e3s4).c3o(type, term);
2367
- tmp = Companion_getInstance_13().d2f(_this__u8e3s4, result, Companion_getInstance_19().q3n(casted));
2262
+ var casted = get_termToObjectConverter(_this__u8e3s4).f3p(type, term);
2263
+ tmp = Companion_getInstance_8().f2g(_this__u8e3s4, result, Companion_getInstance_11().t3o(casted));
2368
2264
  }
2369
2265
  return tmp;
2370
2266
  }
2371
2267
  function Cast$computeAll$lambda(it) {
2372
2268
  return allSupertypes(it, false);
2373
2269
  }
2374
- function Cast$computeAll$lambda_0($this_computeAll, $first, $third, $second) {
2270
+ function Cast$computeAll$lambda_0($$this$catchingOopExceptions, $first, $third, $second) {
2375
2271
  return function (it) {
2376
- return cast($this_computeAll, Cast_getInstance(), $first, it, $third).plus(Companion_getInstance_13().d2f($this_computeAll, $second, Companion_getInstance_24().g3o(it)));
2272
+ return cast($$this$catchingOopExceptions, Cast_getInstance(), $first, it, $third).plus(Companion_getInstance_8().f2g($$this$catchingOopExceptions, $second, Companion_instance_12.j3p(it)));
2377
2273
  };
2378
2274
  }
2379
- function Cast$computeAll$lambda_1($this_computeAll) {
2275
+ function Cast$computeAll$lambda_1($$this$catchingOopExceptions) {
2380
2276
  return function (it) {
2381
- return $this_computeAll.replyWith(it, VOID, []);
2277
+ return $$this$catchingOopExceptions.replyWith(it, VOID, []);
2382
2278
  };
2383
2279
  }
2384
2280
  function Cast() {
2385
2281
  Cast_instance = this;
2386
2282
  TernaryRelation.call(this, 'cast');
2387
2283
  }
2388
- protoOf(Cast).o3p = function (_this__u8e3s4, first, second, third) {
2284
+ protoOf(Cast).r3q = function (_this__u8e3s4, first, second, third) {
2389
2285
  var tmp$ret$1;
2390
2286
  $l$block: {
2391
2287
  // Inline function 'it.unibo.tuprolog.solve.libs.oop.primitives.catchingOopExceptions' call
2392
2288
  try {
2393
- var tmp$ret$0;
2394
2289
  // Inline function 'it.unibo.tuprolog.solve.libs.oop.primitives.Cast.computeAll.<anonymous>' call
2395
- var tmp0_subject = second;
2396
2290
  var tmp;
2397
- if (isInterface(tmp0_subject, Struct)) {
2291
+ if (isInterface(second, Struct)) {
2398
2292
  ensuringArgumentIsTypeRef(_this__u8e3s4, 1);
2399
2293
  var type = getArgumentAsTypeRef(_this__u8e3s4, 1);
2400
2294
  var tmp_0;
2401
2295
  try {
2402
2296
  var tmp_1 = Cast_getInstance();
2403
- var tmp1_safe_receiver = type;
2404
- tmp_0 = sequenceOf([_this__u8e3s4.replyWith(cast(_this__u8e3s4, tmp_1, first, tmp1_safe_receiver == null ? null : tmp1_safe_receiver.q23(), third), VOID, [])]);
2297
+ tmp_0 = sequenceOf([_this__u8e3s4.replyWith(cast(_this__u8e3s4, tmp_1, first, type == null ? null : type.r24(), third), VOID, [])]);
2405
2298
  } catch ($p) {
2406
2299
  var tmp_2;
2407
2300
  if ($p instanceof TermToObjectConversionException) {
@@ -2414,8 +2307,8 @@
2414
2307
  }
2415
2308
  tmp = tmp_0;
2416
2309
  } else {
2417
- if (isInterface(tmp0_subject, Var)) {
2418
- var tmp_3 = asSequence_0(get_termToObjectConverter(_this__u8e3s4).d3o(first));
2310
+ if (isInterface(second, Var)) {
2311
+ var tmp_3 = asSequence_0(get_termToObjectConverter(_this__u8e3s4).g3p(first));
2419
2312
  var tmp_4 = distinct(flatMap(tmp_3, Cast$computeAll$lambda));
2420
2313
  var tmp_5 = map(tmp_4, Cast$computeAll$lambda_0(_this__u8e3s4, first, third, second));
2421
2314
  tmp = map(tmp_5, Cast$computeAll$lambda_1(_this__u8e3s4));
@@ -2424,17 +2317,16 @@
2424
2317
  tmp = sequenceOf([_this__u8e3s4.replyFail(VOID, [])]);
2425
2318
  }
2426
2319
  }
2427
- tmp$ret$0 = tmp;
2428
- tmp$ret$1 = tmp$ret$0;
2320
+ tmp$ret$1 = tmp;
2429
2321
  break $l$block;
2430
2322
  } catch ($p) {
2431
2323
  if ($p instanceof OopException) {
2432
2324
  var e = $p;
2433
- throw e.p3o(_this__u8e3s4.context, _this__u8e3s4.signature);
2325
+ throw e.s3p(_this__u8e3s4.context, _this__u8e3s4.signature);
2434
2326
  } else {
2435
2327
  if ($p instanceof Error) {
2436
2328
  var e_0 = $p;
2437
- throw Companion_getInstance_14().forUncaughtKtException(_this__u8e3s4.context, e_0);
2329
+ throw Companion_instance_4.forUncaughtKtException(_this__u8e3s4.context, e_0);
2438
2330
  } else {
2439
2331
  throw $p;
2440
2332
  }
@@ -2443,8 +2335,8 @@
2443
2335
  }
2444
2336
  return tmp$ret$1;
2445
2337
  };
2446
- protoOf(Cast).l2h = function (_this__u8e3s4, first, second, third) {
2447
- return this.o3p(_this__u8e3s4, first, second, third);
2338
+ protoOf(Cast).n2i = function (_this__u8e3s4, first, second, third) {
2339
+ return this.r3q(_this__u8e3s4, first, second, third);
2448
2340
  };
2449
2341
  var Cast_instance;
2450
2342
  function Cast_getInstance() {
@@ -2456,8 +2348,8 @@
2456
2348
  InvokeMethod_instance = this;
2457
2349
  AbstractInvoke.call(this, 'method');
2458
2350
  }
2459
- protoOf(InvokeMethod).c3p = function (_this__u8e3s4) {
2460
- return _this__u8e3s4.u1h();
2351
+ protoOf(InvokeMethod).f3q = function (_this__u8e3s4) {
2352
+ return _this__u8e3s4.t1i();
2461
2353
  };
2462
2354
  var InvokeMethod_instance;
2463
2355
  function InvokeMethod_getInstance() {
@@ -2469,8 +2361,8 @@
2469
2361
  InvokeStrict_instance = this;
2470
2362
  AbstractInvoke.call(this, 'strict');
2471
2363
  }
2472
- protoOf(InvokeStrict).c3p = function (_this__u8e3s4) {
2473
- return _this__u8e3s4.x3n();
2364
+ protoOf(InvokeStrict).f3q = function (_this__u8e3s4) {
2365
+ return _this__u8e3s4.a3p();
2474
2366
  };
2475
2367
  var InvokeStrict_instance;
2476
2368
  function InvokeStrict_getInstance() {
@@ -2482,17 +2374,17 @@
2482
2374
  ListItems_instance = this;
2483
2375
  AbstractIterableItems.call(this, 'list', getKClass(List));
2484
2376
  }
2485
- protoOf(ListItems).f3p = function (_this__u8e3s4) {
2377
+ protoOf(ListItems).i3q = function (_this__u8e3s4) {
2486
2378
  return toList(_this__u8e3s4);
2487
2379
  };
2488
- protoOf(ListItems).g3p = function (_this__u8e3s4) {
2380
+ protoOf(ListItems).j3q = function (_this__u8e3s4) {
2489
2381
  return !(_this__u8e3s4 == null) ? isInterface(_this__u8e3s4, List) : false;
2490
2382
  };
2491
- protoOf(ListItems).t3p = function (_this__u8e3s4) {
2383
+ protoOf(ListItems).w3q = function (_this__u8e3s4) {
2492
2384
  return asSequence_0(_this__u8e3s4);
2493
2385
  };
2494
- protoOf(ListItems).h3p = function (_this__u8e3s4) {
2495
- return this.t3p(isInterface(_this__u8e3s4, List) ? _this__u8e3s4 : THROW_CCE());
2386
+ protoOf(ListItems).k3q = function (_this__u8e3s4) {
2387
+ return this.w3q(isInterface(_this__u8e3s4, List) ? _this__u8e3s4 : THROW_CCE());
2496
2388
  };
2497
2389
  var ListItems_instance;
2498
2390
  function ListItems_getInstance() {
@@ -2504,46 +2396,38 @@
2504
2396
  NewObject3_instance = this;
2505
2397
  Functional.call(this, 'new_object');
2506
2398
  }
2507
- protoOf(NewObject3).h2o = function (_this__u8e3s4, first, second, third) {
2508
- Companion_getInstance_13().n2f(_this__u8e3s4, 0);
2509
- Companion_getInstance_13().x2f(_this__u8e3s4, 1);
2399
+ protoOf(NewObject3).j2p = function (_this__u8e3s4, first, second, third) {
2400
+ Companion_getInstance_8().p2g(_this__u8e3s4, 0);
2401
+ Companion_getInstance_8().z2g(_this__u8e3s4, 1);
2510
2402
  var tmp$ret$3;
2511
2403
  $l$block: {
2512
2404
  // Inline function 'it.unibo.tuprolog.solve.libs.oop.primitives.catchingOopExceptions' call
2513
2405
  try {
2514
- var tmp$ret$2;
2515
2406
  // Inline function 'it.unibo.tuprolog.solve.libs.oop.primitives.NewObject3.computeOneSubstitution.<anonymous>' call
2516
2407
  var type = getArgumentAsTypeRef(_this__u8e3s4, 0);
2517
2408
  var arguments_0 = (isInterface(second, List_0) ? second : THROW_CCE()).toArray();
2518
- var tmp0_safe_receiver = type;
2519
- var tmp1_safe_receiver = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.j3o(get_termToObjectConverter(_this__u8e3s4), arguments_0.slice());
2520
- var objectReference = tmp1_safe_receiver == null ? null : tmp1_safe_receiver.x3n();
2521
- var tmp2_safe_receiver = objectReference;
2409
+ var tmp1_safe_receiver = type == null ? null : type.m3p(get_termToObjectConverter(_this__u8e3s4), arguments_0.slice());
2410
+ var objectReference = tmp1_safe_receiver == null ? null : tmp1_safe_receiver.a3p();
2522
2411
  var tmp;
2523
- if (tmp2_safe_receiver == null) {
2412
+ if (objectReference == null) {
2524
2413
  tmp = null;
2525
2414
  } else {
2526
- var tmp$ret$1;
2527
2415
  // Inline function 'kotlin.let' call
2528
2416
  // Inline function 'kotlin.contracts.contract' call
2529
- var tmp$ret$0;
2530
2417
  // Inline function 'it.unibo.tuprolog.solve.libs.oop.primitives.NewObject3.computeOneSubstitution.<anonymous>.<anonymous>' call
2531
- tmp$ret$0 = Companion_getInstance_13().d2f(_this__u8e3s4, tmp2_safe_receiver, third);
2532
- tmp$ret$1 = tmp$ret$0;
2533
- tmp = tmp$ret$1;
2418
+ tmp = Companion_getInstance_8().f2g(_this__u8e3s4, objectReference, third);
2534
2419
  }
2535
2420
  var tmp3_elvis_lhs = tmp;
2536
- tmp$ret$2 = tmp3_elvis_lhs == null ? Companion_getInstance_12().failed() : tmp3_elvis_lhs;
2537
- tmp$ret$3 = tmp$ret$2;
2421
+ tmp$ret$3 = tmp3_elvis_lhs == null ? Companion_getInstance_7().failed() : tmp3_elvis_lhs;
2538
2422
  break $l$block;
2539
2423
  } catch ($p) {
2540
2424
  if ($p instanceof OopException) {
2541
2425
  var e = $p;
2542
- throw e.p3o(_this__u8e3s4.context, _this__u8e3s4.signature);
2426
+ throw e.s3p(_this__u8e3s4.context, _this__u8e3s4.signature);
2543
2427
  } else {
2544
2428
  if ($p instanceof Error) {
2545
2429
  var e_0 = $p;
2546
- throw Companion_getInstance_14().forUncaughtKtException(_this__u8e3s4.context, e_0);
2430
+ throw Companion_instance_4.forUncaughtKtException(_this__u8e3s4.context, e_0);
2547
2431
  } else {
2548
2432
  throw $p;
2549
2433
  }
@@ -2552,8 +2436,8 @@
2552
2436
  }
2553
2437
  return tmp$ret$3;
2554
2438
  };
2555
- protoOf(NewObject3).q2h = function (_this__u8e3s4, first, second, third) {
2556
- return this.h2o(_this__u8e3s4, first, second, third);
2439
+ protoOf(NewObject3).s2i = function (_this__u8e3s4, first, second, third) {
2440
+ return this.j2p(_this__u8e3s4, first, second, third);
2557
2441
  };
2558
2442
  var NewObject3_instance;
2559
2443
  function NewObject3_getInstance() {
@@ -2565,7 +2449,7 @@
2565
2449
  NullRef_instance = this;
2566
2450
  TypeTester.call(this, 'null_ref');
2567
2451
  }
2568
- protoOf(NullRef_0).c2i = function (term) {
2452
+ protoOf(NullRef_0).e2j = function (term) {
2569
2453
  return isInterface(term, NullRef);
2570
2454
  };
2571
2455
  var NullRef_instance;
@@ -2578,7 +2462,7 @@
2578
2462
  ObjectRef_instance = this;
2579
2463
  TypeTester.call(this, 'object_ref');
2580
2464
  }
2581
- protoOf(ObjectRef_0).c2i = function (term) {
2465
+ protoOf(ObjectRef_0).e2j = function (term) {
2582
2466
  return isInterface(term, ObjectRef);
2583
2467
  };
2584
2468
  var ObjectRef_instance;
@@ -2610,12 +2494,12 @@
2610
2494
  }
2611
2495
  function get_termToObjectConverter(_this__u8e3s4) {
2612
2496
  _init_properties_PrimitiveExtensions_kt__hfa11z();
2613
- var tmp = Companion_getInstance_22();
2614
- return tmp.z3n(VOID, _get_termToObjectConverter_$lambda_4bacq4(_this__u8e3s4));
2497
+ var tmp = Companion_getInstance_14();
2498
+ return tmp.c3p(VOID, _get_termToObjectConverter_$lambda_4bacq4(_this__u8e3s4));
2615
2499
  }
2616
2500
  function ensuringArgumentIsTypeRef(_this__u8e3s4, index) {
2617
2501
  _init_properties_PrimitiveExtensions_kt__hfa11z();
2618
- var arg = _this__u8e3s4.arguments.o(index);
2502
+ var arg = _this__u8e3s4.arguments.c1(index);
2619
2503
  var tmp;
2620
2504
  var tmp_0;
2621
2505
  if (matchesDealiasingTemplate(_this__u8e3s4, arg)) {
@@ -2628,7 +2512,7 @@
2628
2512
  tmp = _this__u8e3s4;
2629
2513
  } else {
2630
2514
  if (!isInterface(arg, TypeRef)) {
2631
- throw Companion_getInstance_1().d24(_this__u8e3s4.context, _this__u8e3s4.signature, Expected_TYPE_REFERENCE_getInstance(), arg, index);
2515
+ throw Companion_instance_1.d28(_this__u8e3s4.context, _this__u8e3s4.signature, Expected_TYPE_REFERENCE_getInstance(), arg, index);
2632
2516
  } else {
2633
2517
  tmp = _this__u8e3s4;
2634
2518
  }
@@ -2637,14 +2521,14 @@
2637
2521
  }
2638
2522
  function getArgumentAsTypeRef(_this__u8e3s4, index) {
2639
2523
  _init_properties_PrimitiveExtensions_kt__hfa11z();
2640
- Companion_getInstance_13().n2f(_this__u8e3s4, index);
2641
- var arg = _this__u8e3s4.arguments.o(index);
2524
+ Companion_getInstance_8().p2g(_this__u8e3s4, index);
2525
+ var arg = _this__u8e3s4.arguments.c1(index);
2642
2526
  var tmp;
2643
2527
  if (isInterface(arg, TypeRef)) {
2644
2528
  tmp = arg;
2645
2529
  } else {
2646
2530
  if (isInterface(arg, Atom)) {
2647
- tmp = Companion_getInstance_23().b3o_1.i3o(arg.b1());
2531
+ tmp = Companion_getInstance_15().e3p_1.l3p(arg.r2());
2648
2532
  } else {
2649
2533
  if (isDealiasingExpression(_this__u8e3s4, arg)) {
2650
2534
  var tmp_0 = findRefFromAlias(_this__u8e3s4, arg.castToStruct());
@@ -2659,13 +2543,13 @@
2659
2543
  }
2660
2544
  function ensuringArgumentIsRef(_this__u8e3s4, index) {
2661
2545
  _init_properties_PrimitiveExtensions_kt__hfa11z();
2662
- var arg = _this__u8e3s4.arguments.o(index);
2546
+ var arg = _this__u8e3s4.arguments.c1(index);
2663
2547
  var tmp;
2664
2548
  if (matchesDealiasingTemplate(_this__u8e3s4, arg) ? ensureAliasIsRegistered(_this__u8e3s4, arg.castToStruct()) : false) {
2665
2549
  tmp = _this__u8e3s4;
2666
2550
  } else {
2667
2551
  if (!isInterface(arg, Ref)) {
2668
- throw Companion_getInstance_1().d24(_this__u8e3s4.context, _this__u8e3s4.signature, Expected_REFERENCE_getInstance(), arg, index);
2552
+ throw Companion_instance_1.d28(_this__u8e3s4.context, _this__u8e3s4.signature, Expected_REFERENCE_getInstance(), arg, index);
2669
2553
  } else {
2670
2554
  tmp = _this__u8e3s4;
2671
2555
  }
@@ -2682,24 +2566,22 @@
2682
2566
  throw new MalformedAliasException(alias);
2683
2567
  }
2684
2568
  var actualAlias = tmp;
2685
- var ActualRef = Companion_getInstance_16().of('ActualRef');
2686
- var tmp$ret$0;
2569
+ var ActualRef = Companion_getInstance_9().of('ActualRef');
2687
2570
  // Inline function 'kotlin.sequences.filterIsInstance' call
2688
- var tmp_1 = Companion_getInstance_17();
2689
- Companion_getInstance_27();
2690
- var tmp0_filterIsInstance = _this__u8e3s4.solve(tmp_1.of('alias', [actualAlias, ActualRef]));
2691
- var tmp_2 = filter(tmp0_filterIsInstance, findRefFromAliasOrNull$lambda);
2692
- tmp$ret$0 = isInterface(tmp_2, Sequence) ? tmp_2 : THROW_CCE();
2571
+ var tmp_1 = Companion_getInstance_10();
2572
+ var this_0 = _this__u8e3s4.solve(tmp_1.of('alias', [actualAlias, ActualRef]));
2573
+ var tmp_2 = filter(this_0, findRefFromAliasOrNull$lambda);
2574
+ var tmp$ret$0 = isInterface(tmp_2, Sequence) ? tmp_2 : THROW_CCE();
2693
2575
  var tmp0_safe_receiver = firstOrNull(tmp$ret$0);
2694
- var tmp1_safe_receiver = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.t1u();
2576
+ var tmp1_safe_receiver = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.s1v();
2695
2577
  var tmp2_safe_receiver = tmp1_safe_receiver == null ? null : tmp1_safe_receiver.get(1);
2696
- return tmp2_safe_receiver == null ? null : tmp2_safe_receiver.kw();
2578
+ return tmp2_safe_receiver == null ? null : tmp2_safe_receiver.kx();
2697
2579
  }
2698
2580
  function matchesDealiasingTemplate(_this__u8e3s4, term) {
2699
2581
  _init_properties_PrimitiveExtensions_kt__hfa11z();
2700
2582
  var tmp;
2701
2583
  if (isInterface(term, Struct)) {
2702
- tmp = Companion_getInstance_13().e2f(_this__u8e3s4, term, get_DEALIASING_TEMPLATE());
2584
+ tmp = Companion_getInstance_8().g2g(_this__u8e3s4, term, get_DEALIASING_TEMPLATE());
2703
2585
  } else {
2704
2586
  tmp = false;
2705
2587
  }
@@ -2710,12 +2592,12 @@
2710
2592
  var tmp;
2711
2593
  var tmp_0;
2712
2594
  if (isInterface(term, Struct)) {
2713
- tmp_0 = Companion_getInstance_13().e2f(_this__u8e3s4, term, get_DEALIASING_TEMPLATE());
2595
+ tmp_0 = Companion_getInstance_8().g2g(_this__u8e3s4, term, get_DEALIASING_TEMPLATE());
2714
2596
  } else {
2715
2597
  tmp_0 = false;
2716
2598
  }
2717
2599
  if (tmp_0) {
2718
- var tmp_1 = term.xv().o(0);
2600
+ var tmp_1 = term.rw().c1(0);
2719
2601
  tmp = isInterface(tmp_1, Atom);
2720
2602
  } else {
2721
2603
  tmp = false;
@@ -2747,14 +2629,11 @@
2747
2629
  }
2748
2630
  var properties_initialized_PrimitiveExtensions_kt_xhw6ad;
2749
2631
  function _init_properties_PrimitiveExtensions_kt__hfa11z() {
2750
- if (properties_initialized_PrimitiveExtensions_kt_xhw6ad) {
2751
- } else {
2632
+ if (!properties_initialized_PrimitiveExtensions_kt_xhw6ad) {
2752
2633
  properties_initialized_PrimitiveExtensions_kt_xhw6ad = true;
2753
- var tmp = Companion_getInstance_17();
2754
- OOP_getInstance();
2755
- DEALIASING_TEMPLATE = tmp.of('$', [Companion_getInstance_16().of('Alias')]);
2756
- var tmp_0 = Companion_getInstance_17();
2757
- OOP_getInstance();
2634
+ var tmp = Companion_getInstance_10();
2635
+ DEALIASING_TEMPLATE = tmp.of('$', [Companion_getInstance_9().of('Alias')]);
2636
+ var tmp_0 = Companion_getInstance_10();
2758
2637
  CAST_TEMPLATE = tmp_0.template('as', 2);
2759
2638
  }
2760
2639
  }
@@ -2762,7 +2641,7 @@
2762
2641
  Ref_instance = this;
2763
2642
  TypeTester.call(this, 'ref');
2764
2643
  }
2765
- protoOf(Ref_0).c2i = function (term) {
2644
+ protoOf(Ref_0).e2j = function (term) {
2766
2645
  return isInterface(term, Ref);
2767
2646
  };
2768
2647
  var Ref_instance;
@@ -2773,27 +2652,27 @@
2773
2652
  }
2774
2653
  function Register$computeOne$lambda($second, $first) {
2775
2654
  return function ($this$replySuccess) {
2776
- var tmp = Companion_getInstance_27();
2655
+ var tmp = Companion_instance_15;
2777
2656
  var tmp_0 = isInterface($second, Struct) ? $second : THROW_CCE();
2778
- $this$replySuccess.s2k([tmp.y3p(tmp_0, isInterface($first, Ref) ? $first : THROW_CCE()).j1t()]);
2779
- return Unit_getInstance();
2657
+ $this$replySuccess.u2l([tmp.b3r(tmp_0, isInterface($first, Ref) ? $first : THROW_CCE()).i1u()]);
2658
+ return Unit_instance;
2780
2659
  };
2781
2660
  }
2782
2661
  function Register() {
2783
2662
  Register_instance = this;
2784
2663
  NonBacktrackable.call(this, 'register');
2785
2664
  }
2786
- protoOf(Register).u2n = function (_this__u8e3s4, first_0, second) {
2787
- Companion_getInstance_13().d2e(_this__u8e3s4);
2665
+ protoOf(Register).w2o = function (_this__u8e3s4, first_0, second) {
2666
+ Companion_getInstance_8().f2f(_this__u8e3s4);
2788
2667
  ensuringArgumentIsRef(_this__u8e3s4, 0);
2789
- Companion_getInstance_13().n2f(_this__u8e3s4, 1);
2790
- if (!second.rw()) {
2791
- throw Companion_getInstance_18().g25(_this__u8e3s4.context, _this__u8e3s4.signature, first(second.yv()), 0);
2668
+ Companion_getInstance_8().p2g(_this__u8e3s4, 1);
2669
+ if (!second.ux()) {
2670
+ throw Companion_instance_6.h26(_this__u8e3s4.context, _this__u8e3s4.signature, first(second.sw()), 0);
2792
2671
  }
2793
2672
  return _this__u8e3s4.replySuccessBuildingSideEffects(VOID, VOID, Register$computeOne$lambda(second, first_0));
2794
2673
  };
2795
- protoOf(Register).f2e = function (_this__u8e3s4, first, second) {
2796
- return this.u2n(_this__u8e3s4, first, second);
2674
+ protoOf(Register).h2f = function (_this__u8e3s4, first, second) {
2675
+ return this.w2o(_this__u8e3s4, first, second);
2797
2676
  };
2798
2677
  var Register_instance;
2799
2678
  function Register_getInstance() {
@@ -2805,17 +2684,17 @@
2805
2684
  SetItems_instance = this;
2806
2685
  AbstractIterableItems.call(this, 'set', getKClass(Set));
2807
2686
  }
2808
- protoOf(SetItems).f3p = function (_this__u8e3s4) {
2687
+ protoOf(SetItems).i3q = function (_this__u8e3s4) {
2809
2688
  return toSet(_this__u8e3s4);
2810
2689
  };
2811
- protoOf(SetItems).g3p = function (_this__u8e3s4) {
2690
+ protoOf(SetItems).j3q = function (_this__u8e3s4) {
2812
2691
  return !(_this__u8e3s4 == null) ? isInterface(_this__u8e3s4, Set) : false;
2813
2692
  };
2814
- protoOf(SetItems).c3q = function (_this__u8e3s4) {
2693
+ protoOf(SetItems).f3r = function (_this__u8e3s4) {
2815
2694
  return asSequence_0(_this__u8e3s4);
2816
2695
  };
2817
- protoOf(SetItems).h3p = function (_this__u8e3s4) {
2818
- return this.c3q(isInterface(_this__u8e3s4, Set) ? _this__u8e3s4 : THROW_CCE());
2696
+ protoOf(SetItems).k3q = function (_this__u8e3s4) {
2697
+ return this.f3r(isInterface(_this__u8e3s4, Set) ? _this__u8e3s4 : THROW_CCE());
2819
2698
  };
2820
2699
  var SetItems_instance;
2821
2700
  function SetItems_getInstance() {
@@ -2826,14 +2705,13 @@
2826
2705
  function Type() {
2827
2706
  Type_instance = this;
2828
2707
  Functional_0.call(this, 'type');
2829
- this.e3q_1 = Companion_getInstance_23().b3o_1;
2708
+ this.h3r_1 = Companion_getInstance_15().e3p_1;
2830
2709
  }
2831
- protoOf(Type).e2o = function (_this__u8e3s4, first, second) {
2710
+ protoOf(Type).g2p = function (_this__u8e3s4, first, second) {
2832
2711
  var tmp$ret$3;
2833
2712
  $l$block: {
2834
2713
  // Inline function 'it.unibo.tuprolog.solve.libs.oop.primitives.catchingOopExceptions' call
2835
2714
  try {
2836
- var tmp$ret$2;
2837
2715
  // Inline function 'it.unibo.tuprolog.solve.libs.oop.primitives.Type.computeOneSubstitution.<anonymous>' call
2838
2716
  var tmp;
2839
2717
  var tmp_0;
@@ -2843,52 +2721,47 @@
2843
2721
  tmp_0 = false;
2844
2722
  }
2845
2723
  if (tmp_0) {
2846
- Companion_getInstance_13().j2f(_this__u8e3s4, 0);
2847
- tmp = Companion_getInstance_12().failed();
2724
+ Companion_getInstance_8().l2g(_this__u8e3s4, 0);
2725
+ tmp = Companion_getInstance_7().failed();
2848
2726
  } else {
2849
2727
  if (isInterface(first, Var)) {
2850
- Companion_getInstance_13().s2f(_this__u8e3s4, 1);
2728
+ Companion_getInstance_8().u2g(_this__u8e3s4, 1);
2851
2729
  ensuringArgumentIsTypeRef(_this__u8e3s4, 1);
2852
- var tmp_1 = Companion_getInstance_13();
2853
- var tmp_2 = Companion_getInstance_5();
2854
- tmp = tmp_1.d2f(_this__u8e3s4, first, tmp_2.of(get_name((isInterface(second, TypeRef) ? second : THROW_CCE()).q23())));
2730
+ var tmp_1 = Companion_getInstance_8();
2731
+ var tmp_2 = Companion_getInstance_0();
2732
+ tmp = tmp_1.f2g(_this__u8e3s4, first, tmp_2.of(get_name((isInterface(second, TypeRef) ? second : THROW_CCE()).r24())));
2855
2733
  } else {
2856
2734
  if (isInterface(second, Var)) {
2857
- Companion_getInstance_13().s2f(_this__u8e3s4, 0);
2858
- var tmp_3 = Type_getInstance().e3q_1;
2859
- var tmp0_safe_receiver = tmp_3.i3o((isInterface(first, Atom) ? first : THROW_CCE()).b1());
2735
+ Companion_getInstance_8().u2g(_this__u8e3s4, 0);
2736
+ var tmp_3 = Type_getInstance().h3r_1;
2737
+ var tmp0_safe_receiver = tmp_3.l3p((isInterface(first, Atom) ? first : THROW_CCE()).r2());
2860
2738
  var tmp_4;
2861
2739
  if (tmp0_safe_receiver == null) {
2862
2740
  tmp_4 = null;
2863
2741
  } else {
2864
- var tmp$ret$1;
2865
2742
  // Inline function 'kotlin.let' call
2866
2743
  // Inline function 'kotlin.contracts.contract' call
2867
- var tmp$ret$0;
2868
2744
  // Inline function 'it.unibo.tuprolog.solve.libs.oop.primitives.Type.computeOneSubstitution.<anonymous>.<anonymous>' call
2869
- tmp$ret$0 = Companion_getInstance_13().d2f(_this__u8e3s4, tmp0_safe_receiver, second);
2870
- tmp$ret$1 = tmp$ret$0;
2871
- tmp_4 = tmp$ret$1;
2745
+ tmp_4 = Companion_getInstance_8().f2g(_this__u8e3s4, tmp0_safe_receiver, second);
2872
2746
  }
2873
2747
  var tmp1_elvis_lhs = tmp_4;
2874
- tmp = tmp1_elvis_lhs == null ? Companion_getInstance_12().failed() : tmp1_elvis_lhs;
2748
+ tmp = tmp1_elvis_lhs == null ? Companion_getInstance_7().failed() : tmp1_elvis_lhs;
2875
2749
  } else {
2876
- Companion_getInstance_13().s2f(_this__u8e3s4, 0);
2877
- tmp = Companion_getInstance_12().failed();
2750
+ Companion_getInstance_8().u2g(_this__u8e3s4, 0);
2751
+ tmp = Companion_getInstance_7().failed();
2878
2752
  }
2879
2753
  }
2880
2754
  }
2881
- tmp$ret$2 = tmp;
2882
- tmp$ret$3 = tmp$ret$2;
2755
+ tmp$ret$3 = tmp;
2883
2756
  break $l$block;
2884
2757
  } catch ($p) {
2885
2758
  if ($p instanceof OopException) {
2886
2759
  var e = $p;
2887
- throw e.p3o(_this__u8e3s4.context, _this__u8e3s4.signature);
2760
+ throw e.s3p(_this__u8e3s4.context, _this__u8e3s4.signature);
2888
2761
  } else {
2889
2762
  if ($p instanceof Error) {
2890
2763
  var e_0 = $p;
2891
- throw Companion_getInstance_14().forUncaughtKtException(_this__u8e3s4.context, e_0);
2764
+ throw Companion_instance_4.forUncaughtKtException(_this__u8e3s4.context, e_0);
2892
2765
  } else {
2893
2766
  throw $p;
2894
2767
  }
@@ -2897,8 +2770,8 @@
2897
2770
  }
2898
2771
  return tmp$ret$3;
2899
2772
  };
2900
- protoOf(Type).o2e = function (_this__u8e3s4, first, second) {
2901
- return this.e2o(_this__u8e3s4, first, second);
2773
+ protoOf(Type).q2f = function (_this__u8e3s4, first, second) {
2774
+ return this.g2p(_this__u8e3s4, first, second);
2902
2775
  };
2903
2776
  var Type_instance;
2904
2777
  function Type_getInstance() {
@@ -2910,7 +2783,7 @@
2910
2783
  TypeRef_instance = this;
2911
2784
  TypeTester.call(this, 'type_ref');
2912
2785
  }
2913
- protoOf(TypeRef_0).c2i = function (term) {
2786
+ protoOf(TypeRef_0).e2j = function (term) {
2914
2787
  return isInterface(term, TypeRef);
2915
2788
  };
2916
2789
  var TypeRef_instance;
@@ -2921,39 +2794,38 @@
2921
2794
  }
2922
2795
  function Unregister$computeOne$lambda($first) {
2923
2796
  return function (it) {
2924
- return it.sx().get(0).equals($first);
2797
+ return it.wy().get(0).equals($first);
2925
2798
  };
2926
2799
  }
2927
2800
  function Unregister$computeOne$lambda_0($toBeRemoved) {
2928
2801
  return function ($this$replySuccess) {
2929
- $this$replySuccess.t2k($toBeRemoved);
2930
- return Unit_getInstance();
2802
+ $this$replySuccess.v2l($toBeRemoved);
2803
+ return Unit_instance;
2931
2804
  };
2932
2805
  }
2933
2806
  function Unregister() {
2934
2807
  Unregister_instance = this;
2935
2808
  NonBacktrackable_0.call(this, 'unregister');
2936
2809
  }
2937
- protoOf(Unregister).d2n = function (_this__u8e3s4, first_0) {
2938
- Companion_getInstance_13().n2f(_this__u8e3s4, 0);
2939
- if (!first_0.rw()) {
2940
- throw Companion_getInstance_18().g25(_this__u8e3s4.context, _this__u8e3s4.signature, first(first_0.yv()), 0);
2810
+ protoOf(Unregister).f2o = function (_this__u8e3s4, first_0) {
2811
+ Companion_getInstance_8().p2g(_this__u8e3s4, 0);
2812
+ if (!first_0.ux()) {
2813
+ throw Companion_instance_6.h26(_this__u8e3s4.context, _this__u8e3s4.signature, first(first_0.sw()), 0);
2941
2814
  }
2942
- var tmp = Companion_getInstance_17();
2943
- Companion_getInstance_27();
2944
- var pattern = tmp.of('alias', [first_0, Companion_getInstance_16().anonymous()]);
2945
- var tmp_0 = _this__u8e3s4.context.x1t().getByHead(pattern);
2815
+ var tmp = Companion_getInstance_10();
2816
+ var pattern = tmp.of('alias', [first_0, Companion_getInstance_9().anonymous()]);
2817
+ var tmp_0 = _this__u8e3s4.context.w1u().getByHead(pattern);
2946
2818
  var toBeRemoved = toList(filter(tmp_0, Unregister$computeOne$lambda(first_0)));
2947
2819
  var tmp_1;
2948
- if (toBeRemoved.d()) {
2820
+ if (toBeRemoved.y()) {
2949
2821
  tmp_1 = _this__u8e3s4.replyFail(VOID, []);
2950
2822
  } else {
2951
2823
  tmp_1 = _this__u8e3s4.replySuccessBuildingSideEffects(VOID, VOID, Unregister$computeOne$lambda_0(toBeRemoved));
2952
2824
  }
2953
2825
  return tmp_1;
2954
2826
  };
2955
- protoOf(Unregister).x2h = function (_this__u8e3s4, first) {
2956
- return this.d2n(_this__u8e3s4, first);
2827
+ protoOf(Unregister).z2i = function (_this__u8e3s4, first) {
2828
+ return this.f2o(_this__u8e3s4, first);
2957
2829
  };
2958
2830
  var Unregister_instance;
2959
2831
  function Unregister_getInstance() {
@@ -2962,97 +2834,83 @@
2962
2834
  return Unregister_instance;
2963
2835
  }
2964
2836
  function Companion_7() {
2965
- Companion_instance_7 = this;
2966
- this.m3n_1 = 'alias';
2837
+ this.p3o_1 = 'alias';
2967
2838
  }
2968
- protoOf(Companion_7).n3n = function (alias, type) {
2969
- return new Alias(Companion_getInstance_5().of(alias), Companion_getInstance_24().g3o(type));
2839
+ protoOf(Companion_7).q3o = function (alias, type) {
2840
+ return new Alias(Companion_getInstance_0().of(alias), Companion_instance_12.j3p(type));
2970
2841
  };
2971
- protoOf(Companion_7).y3p = function (alias, ref) {
2842
+ protoOf(Companion_7).b3r = function (alias, ref) {
2972
2843
  return new Alias(alias, ref);
2973
2844
  };
2974
- var Companion_instance_7;
2975
- function Companion_getInstance_27() {
2976
- if (Companion_instance_7 == null)
2977
- new Companion_7();
2978
- return Companion_instance_7;
2845
+ var Companion_instance_15;
2846
+ function Companion_getInstance_19() {
2847
+ return Companion_instance_15;
2979
2848
  }
2980
2849
  function Alias(alias, ref) {
2981
- Companion_getInstance_27();
2982
- Companion_getInstance_27();
2983
2850
  RuleWrapper_init_$Init$('alias', 2, VOID, this);
2984
- this.k3q_1 = alias;
2985
- this.l3q_1 = ref;
2851
+ this.n3r_1 = alias;
2852
+ this.o3r_1 = ref;
2986
2853
  // Inline function 'kotlin.require' call
2987
- var tmp0_require = this.k3q_1.rw();
2988
2854
  // Inline function 'kotlin.contracts.contract' call
2989
- if (!tmp0_require) {
2990
- var tmp$ret$0;
2855
+ if (!this.n3r_1.ux()) {
2991
2856
  // Inline function 'it.unibo.tuprolog.solve.libs.oop.rules.Alias.<anonymous>' call
2992
- tmp$ret$0 = 'Alias must be a ground term, got: ' + this.k3q_1;
2993
- var message = tmp$ret$0;
2857
+ var message = 'Alias must be a ground term, got: ' + this.n3r_1;
2994
2858
  throw IllegalArgumentException_init_$Create$(toString_0(message));
2995
2859
  }
2996
2860
  }
2997
- protoOf(Alias).d2i = function (_this__u8e3s4) {
2998
- return toList(sequenceOf([this.k3q_1, this.l3q_1]));
2861
+ protoOf(Alias).f2j = function (_this__u8e3s4) {
2862
+ return toList(sequenceOf([this.n3r_1, this.o3r_1]));
2999
2863
  };
3000
2864
  function _get_R__7mlo3j($this) {
3001
- return $this.p3q_1.n1h($this, R$factory());
2865
+ return $this.s3r_1.m1i($this, R$factory());
3002
2866
  }
3003
2867
  function _get_X__7mlo8p($this) {
3004
- return $this.q3q_1.n1h($this, X$factory());
2868
+ return $this.t3r_1.m1i($this, X$factory());
3005
2869
  }
3006
2870
  function _get_Y__7mlo9k($this) {
3007
- return $this.r3q_1.n1h($this, Y$factory());
2871
+ return $this.u3r_1.m1i($this, Y$factory());
3008
2872
  }
3009
2873
  function _get_T__7mlo59($this) {
3010
- return $this.s3q_1.n1h($this, T$factory());
2874
+ return $this.v3r_1.m1i($this, T$factory());
3011
2875
  }
3012
2876
  function _get_R__7mlo3j_0($this) {
3013
- return $this.w3q_1.n1h($this, R$factory_0());
2877
+ return $this.z3r_1.m1i($this, R$factory_0());
3014
2878
  }
3015
2879
  function _get_M__7mlnz8($this) {
3016
- return $this.x3q_1.n1h($this, M$factory());
2880
+ return $this.a3s_1.m1i($this, M$factory());
3017
2881
  }
3018
2882
  function _get_C__7mlnqm($this) {
3019
- return $this.b3r_1.n1h($this, C$factory());
2883
+ return $this.e3s_1.m1i($this, C$factory());
3020
2884
  }
3021
2885
  function _get_P__7mlo1t($this) {
3022
- return $this.c3r_1.n1h($this, P$factory());
2886
+ return $this.f3s_1.m1i($this, P$factory());
3023
2887
  }
3024
2888
  function _get_R__7mlo3j_1($this) {
3025
- return $this.d3r_1.n1h($this, R$factory_1());
2889
+ return $this.g3s_1.m1i($this, R$factory_1());
3026
2890
  }
3027
2891
  function _get_V__7mlo6z($this) {
3028
- return $this.e3r_1.n1h($this, V$factory());
2892
+ return $this.h3s_1.m1i($this, V$factory());
3029
2893
  }
3030
2894
  function Cast_0() {
3031
2895
  Cast_instance_0 = this;
3032
2896
  ColonEquals.call(this);
3033
- this.p3q_1 = this.r1x_1;
3034
- this.q3q_1 = this.r1x_1;
3035
- this.r3q_1 = this.r1x_1;
3036
- this.s3q_1 = this.r1x_1;
2897
+ this.s3r_1 = this.s1y_1;
2898
+ this.t3r_1 = this.s1y_1;
2899
+ this.u3r_1 = this.s1y_1;
2900
+ this.v3r_1 = this.s1y_1;
3037
2901
  }
3038
- protoOf(Cast_0).d2i = function (_this__u8e3s4) {
2902
+ protoOf(Cast_0).f2j = function (_this__u8e3s4) {
3039
2903
  var tmp = _get_R__7mlo3j(this);
3040
- OOP_getInstance();
3041
2904
  return _this__u8e3s4.ktListOf([tmp, _this__u8e3s4.structOf('as', [_get_X__7mlo8p(this), _get_T__7mlo59(this)])]);
3042
2905
  };
3043
- protoOf(Cast_0).e2i = function (_this__u8e3s4) {
3044
- var tmp$ret$0;
2906
+ protoOf(Cast_0).g2j = function (_this__u8e3s4) {
3045
2907
  // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
3046
- var tmp0__get_functor__thl4dk = Var_getInstance();
3047
- tmp$ret$0 = tmp0__get_functor__thl4dk.signature.name;
2908
+ var tmp$ret$0 = Var_getInstance().signature.name;
3048
2909
  var tmp = _this__u8e3s4.structOf(tmp$ret$0, [_get_R__7mlo3j(this)]);
3049
2910
  var tmp_0 = _this__u8e3s4.atomOf('!');
3050
- Companion_getInstance_28();
3051
2911
  var tmp_1 = _this__u8e3s4.structOf('fluent_reduce', [_get_X__7mlo8p(this), _get_Y__7mlo9k(this)]);
3052
- var tmp$ret$1;
3053
2912
  // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
3054
- var tmp1__get_functor__4k11yf = Cast_getInstance();
3055
- tmp$ret$1 = tmp1__get_functor__4k11yf.signature.name;
2913
+ var tmp$ret$1 = Cast_getInstance().signature.name;
3056
2914
  return _this__u8e3s4.tupleOf([tmp, tmp_0, tmp_1, _this__u8e3s4.structOf(tmp$ret$1, [_get_Y__7mlo9k(this), _get_T__7mlo59(this), _get_R__7mlo3j(this)])]);
3057
2915
  };
3058
2916
  var Cast_instance_0;
@@ -3064,20 +2922,17 @@
3064
2922
  function Invocation() {
3065
2923
  Invocation_instance = this;
3066
2924
  ColonEquals.call(this);
3067
- this.w3q_1 = this.r1x_1;
3068
- this.x3q_1 = this.r1x_1;
2925
+ this.z3r_1 = this.s1y_1;
2926
+ this.a3s_1 = this.s1y_1;
3069
2927
  }
3070
- protoOf(Invocation).d2i = function (_this__u8e3s4) {
2928
+ protoOf(Invocation).f2j = function (_this__u8e3s4) {
3071
2929
  return listOf([_get_R__7mlo3j_0(this), _get_M__7mlnz8(this)]);
3072
2930
  };
3073
- protoOf(Invocation).e2i = function (_this__u8e3s4) {
3074
- var tmp$ret$0;
2931
+ protoOf(Invocation).g2j = function (_this__u8e3s4) {
3075
2932
  // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
3076
- var tmp0__get_functor__thl4dk = Var_getInstance();
3077
- tmp$ret$0 = tmp0__get_functor__thl4dk.signature.name;
2933
+ var tmp$ret$0 = Var_getInstance().signature.name;
3078
2934
  var tmp = _this__u8e3s4.structOf(tmp$ret$0, [_get_R__7mlo3j_0(this)]);
3079
2935
  var tmp_0 = _this__u8e3s4.atomOf('!');
3080
- Companion_getInstance_28();
3081
2936
  return _this__u8e3s4.tupleOf([tmp, tmp_0, _this__u8e3s4.structOf('fluent_reduce', [_get_M__7mlnz8(this), _get_R__7mlo3j_0(this)])]);
3082
2937
  };
3083
2938
  var Invocation_instance;
@@ -3089,21 +2944,18 @@
3089
2944
  function Assignment() {
3090
2945
  Assignment_instance = this;
3091
2946
  ColonEquals.call(this);
3092
- this.b3r_1 = this.r1x_1;
3093
- this.c3r_1 = this.r1x_1;
3094
- this.d3r_1 = this.r1x_1;
3095
- this.e3r_1 = this.r1x_1;
2947
+ this.e3s_1 = this.s1y_1;
2948
+ this.f3s_1 = this.s1y_1;
2949
+ this.g3s_1 = this.s1y_1;
2950
+ this.h3s_1 = this.s1y_1;
3096
2951
  }
3097
- protoOf(Assignment).d2i = function (_this__u8e3s4) {
2952
+ protoOf(Assignment).f2j = function (_this__u8e3s4) {
3098
2953
  return listOf([_get_C__7mlnqm(this), _get_V__7mlo6z(this)]);
3099
2954
  };
3100
- protoOf(Assignment).e2i = function (_this__u8e3s4) {
3101
- Companion_getInstance_29();
2955
+ protoOf(Assignment).g2j = function (_this__u8e3s4) {
3102
2956
  var tmp = _this__u8e3s4.structOf('property_reduce', [_get_C__7mlnqm(this), _get_R__7mlo3j_1(this), _get_P__7mlo1t(this)]);
3103
- var tmp$ret$0;
3104
2957
  // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
3105
- var tmp0__get_functor__thl4dk = Assign_getInstance();
3106
- tmp$ret$0 = tmp0__get_functor__thl4dk.signature.name;
2958
+ var tmp$ret$0 = Assign_getInstance().signature.name;
3107
2959
  return _this__u8e3s4.tupleOf([tmp, _this__u8e3s4.structOf(tmp$ret$0, [_get_R__7mlo3j_1(this), _get_P__7mlo1t(this), _get_V__7mlo6z(this)])]);
3108
2960
  };
3109
2961
  var Assignment_instance;
@@ -3113,7 +2965,6 @@
3113
2965
  return Assignment_instance;
3114
2966
  }
3115
2967
  function ColonEquals() {
3116
- OOP_getInstance();
3117
2968
  RuleWrapper_init_$Init$(':=', 2, VOID, this);
3118
2969
  }
3119
2970
  function R$factory() {
@@ -3167,24 +3018,22 @@
3167
3018
  }, null);
3168
3019
  }
3169
3020
  function _get_Method__a3idyi($this) {
3170
- return $this.i3r_1.n1h($this, Method$factory());
3021
+ return $this.l3s_1.m1i($this, Method$factory());
3171
3022
  }
3172
3023
  function _get_Ref__e5vi4e($this) {
3173
- return $this.j3r_1.n1h($this, Ref$factory());
3024
+ return $this.m3s_1.m1i($this, Ref$factory());
3174
3025
  }
3175
3026
  function Dot() {
3176
3027
  Dot_instance = this;
3177
- OOP_getInstance();
3178
3028
  RuleWrapper_init_$Init$('.', 2, VOID, this);
3179
- this.i3r_1 = this.r1x_1;
3180
- this.j3r_1 = this.r1x_1;
3029
+ this.l3s_1 = this.s1y_1;
3030
+ this.m3s_1 = this.s1y_1;
3181
3031
  }
3182
- protoOf(Dot).d2i = function (_this__u8e3s4) {
3032
+ protoOf(Dot).f2j = function (_this__u8e3s4) {
3183
3033
  return listOf([_get_Ref__e5vi4e(this), _get_Method__a3idyi(this)]);
3184
3034
  };
3185
- protoOf(Dot).e2i = function (_this__u8e3s4) {
3186
- Companion_getInstance_28();
3187
- return _this__u8e3s4.structOf('fluent_reduce', [_this__u8e3s4.consOf(_get_Ref__e5vi4e(this), _get_Method__a3idyi(this)), _this__u8e3s4.m10()]);
3035
+ protoOf(Dot).g2j = function (_this__u8e3s4) {
3036
+ return _this__u8e3s4.structOf('fluent_reduce', [_this__u8e3s4.consOf(_get_Ref__e5vi4e(this), _get_Method__a3idyi(this)), _this__u8e3s4.f12()]);
3188
3037
  };
3189
3038
  var Dot_instance;
3190
3039
  function Dot_getInstance() {
@@ -3203,54 +3052,47 @@
3203
3052
  }, null);
3204
3053
  }
3205
3054
  function _get_P__7mlo1t_0($this) {
3206
- return $this.o3r_1.n1h($this, P$factory_0());
3055
+ return $this.r3s_1.m1i($this, P$factory_0());
3207
3056
  }
3208
3057
  function _get_M__7mlnz8_0($this) {
3209
- return $this.p3r_1.n1h($this, M$factory_0());
3058
+ return $this.s3s_1.m1i($this, M$factory_0());
3210
3059
  }
3211
3060
  function _get_P1__ndbjd6($this) {
3212
- return $this.q3r_1.n1h($this, P1$factory());
3061
+ return $this.t3s_1.m1i($this, P1$factory());
3213
3062
  }
3214
3063
  function _get_X__7mlo8p_0($this) {
3215
- return $this.r3r_1.n1h($this, X$factory_0());
3064
+ return $this.u3s_1.m1i($this, X$factory_0());
3216
3065
  }
3217
3066
  function _get_P__7mlo1t_1($this) {
3218
- return $this.w3r_1.n1h($this, P$factory_1());
3067
+ return $this.z3s_1.m1i($this, P$factory_1());
3219
3068
  }
3220
3069
  function _get_M__7mlnz8_1($this) {
3221
- return $this.x3r_1.n1h($this, M$factory_1());
3070
+ return $this.a3t_1.m1i($this, M$factory_1());
3222
3071
  }
3223
3072
  function Companion_8() {
3224
- Companion_instance_8 = this;
3225
- this.y3r_1 = 'fluent_reduce';
3226
- this.z3r_1 = 2;
3073
+ this.b3t_1 = 'fluent_reduce';
3074
+ this.c3t_1 = 2;
3227
3075
  }
3228
- var Companion_instance_8;
3229
- function Companion_getInstance_28() {
3230
- if (Companion_instance_8 == null)
3231
- new Companion_8();
3232
- return Companion_instance_8;
3076
+ var Companion_instance_16;
3077
+ function Companion_getInstance_20() {
3078
+ return Companion_instance_16;
3233
3079
  }
3234
3080
  function Recursive() {
3235
3081
  Recursive_instance = this;
3236
3082
  FluentReduce.call(this);
3237
- this.o3r_1 = this.r1x_1;
3238
- this.p3r_1 = this.r1x_1;
3239
- this.q3r_1 = this.r1x_1;
3240
- this.r3r_1 = this.r1x_1;
3083
+ this.r3s_1 = this.s1y_1;
3084
+ this.s3s_1 = this.s1y_1;
3085
+ this.t3s_1 = this.s1y_1;
3086
+ this.u3s_1 = this.s1y_1;
3241
3087
  }
3242
- protoOf(Recursive).d2i = function (_this__u8e3s4) {
3243
- return listOf([_this__u8e3s4.n10([_get_P__7mlo1t_0(this), _get_M__7mlnz8_0(this)], _get_X__7mlo8p_0(this)), this.e3s()]);
3088
+ protoOf(Recursive).f2j = function (_this__u8e3s4) {
3089
+ return listOf([_this__u8e3s4.g12([_get_P__7mlo1t_0(this), _get_M__7mlnz8_0(this)], _get_X__7mlo8p_0(this)), this.h3t()]);
3244
3090
  };
3245
- protoOf(Recursive).e2i = function (_this__u8e3s4) {
3091
+ protoOf(Recursive).g2j = function (_this__u8e3s4) {
3246
3092
  var tmp = _this__u8e3s4.atomOf('!');
3247
- var tmp$ret$0;
3248
3093
  // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
3249
- var tmp0__get_functor__thl4dk = InvokeMethod_getInstance();
3250
- tmp$ret$0 = tmp0__get_functor__thl4dk.signature.name;
3251
- var tmp_0 = _this__u8e3s4.structOf(tmp$ret$0, [_get_P__7mlo1t_0(this), _get_M__7mlnz8_0(this), _get_P1__ndbjd6(this)]);
3252
- Companion_getInstance_28();
3253
- return _this__u8e3s4.tupleOf([tmp, tmp_0, _this__u8e3s4.structOf('fluent_reduce', [_this__u8e3s4.consOf(_get_P1__ndbjd6(this), _get_X__7mlo8p_0(this)), this.e3s()])]);
3094
+ var tmp$ret$0 = InvokeMethod_getInstance().signature.name;
3095
+ return _this__u8e3s4.tupleOf([tmp, _this__u8e3s4.structOf(tmp$ret$0, [_get_P__7mlo1t_0(this), _get_M__7mlnz8_0(this), _get_P1__ndbjd6(this)]), _this__u8e3s4.structOf('fluent_reduce', [_this__u8e3s4.consOf(_get_P1__ndbjd6(this), _get_X__7mlo8p_0(this)), this.h3t()])]);
3254
3096
  };
3255
3097
  var Recursive_instance;
3256
3098
  function Recursive_getInstance() {
@@ -3261,19 +3103,17 @@
3261
3103
  function Couple() {
3262
3104
  Couple_instance = this;
3263
3105
  FluentReduce.call(this);
3264
- this.w3r_1 = this.r1x_1;
3265
- this.x3r_1 = this.r1x_1;
3106
+ this.z3s_1 = this.s1y_1;
3107
+ this.a3t_1 = this.s1y_1;
3266
3108
  }
3267
- protoOf(Couple).d2i = function (_this__u8e3s4) {
3268
- return listOf([_this__u8e3s4.consOf(_get_P__7mlo1t_1(this), _get_M__7mlnz8_1(this)), this.e3s()]);
3109
+ protoOf(Couple).f2j = function (_this__u8e3s4) {
3110
+ return listOf([_this__u8e3s4.consOf(_get_P__7mlo1t_1(this), _get_M__7mlnz8_1(this)), this.h3t()]);
3269
3111
  };
3270
- protoOf(Couple).e2i = function (_this__u8e3s4) {
3112
+ protoOf(Couple).g2j = function (_this__u8e3s4) {
3271
3113
  var tmp = _this__u8e3s4.atomOf('!');
3272
- var tmp$ret$0;
3273
3114
  // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
3274
- var tmp0__get_functor__thl4dk = InvokeMethod_getInstance();
3275
- tmp$ret$0 = tmp0__get_functor__thl4dk.signature.name;
3276
- return _this__u8e3s4.tupleOf([tmp, _this__u8e3s4.structOf(tmp$ret$0, [_get_P__7mlo1t_1(this), _get_M__7mlnz8_1(this), this.e3s()])]);
3115
+ var tmp$ret$0 = InvokeMethod_getInstance().signature.name;
3116
+ return _this__u8e3s4.tupleOf([tmp, _this__u8e3s4.structOf(tmp$ret$0, [_get_P__7mlo1t_1(this), _get_M__7mlnz8_1(this), this.h3t()])]);
3277
3117
  };
3278
3118
  var Couple_instance;
3279
3119
  function Couple_getInstance() {
@@ -3285,8 +3125,8 @@
3285
3125
  Trivial_instance = this;
3286
3126
  FluentReduce.call(this);
3287
3127
  }
3288
- protoOf(Trivial).d2i = function (_this__u8e3s4) {
3289
- return listOf([this.e3s(), this.e3s()]);
3128
+ protoOf(Trivial).f2j = function (_this__u8e3s4) {
3129
+ return listOf([this.h3t(), this.h3t()]);
3290
3130
  };
3291
3131
  var Trivial_instance;
3292
3132
  function Trivial_getInstance() {
@@ -3295,21 +3135,18 @@
3295
3135
  return Trivial_instance;
3296
3136
  }
3297
3137
  function FluentReduce() {
3298
- Companion_getInstance_28();
3299
- Companion_getInstance_28();
3300
- Companion_getInstance_28();
3301
3138
  RuleWrapper_init_$Init$('fluent_reduce', 2, VOID, this);
3302
- this.d3s_1 = this.r1x_1;
3139
+ this.g3t_1 = this.s1y_1;
3303
3140
  }
3304
- protoOf(FluentReduce).e3s = function () {
3305
- return this.d3s_1.n1h(this, R$factory_2());
3141
+ protoOf(FluentReduce).h3t = function () {
3142
+ return this.g3t_1.m1i(this, R$factory_2());
3306
3143
  };
3307
- protoOf(FluentReduce).e2i = function (_this__u8e3s4) {
3144
+ protoOf(FluentReduce).g2j = function (_this__u8e3s4) {
3308
3145
  return _this__u8e3s4.atomOf('!');
3309
3146
  };
3310
3147
  function R$factory_2() {
3311
3148
  return getPropertyCallableRef('R', 1, KProperty1, function (receiver) {
3312
- return receiver.e3s();
3149
+ return receiver.h3t();
3313
3150
  }, null);
3314
3151
  }
3315
3152
  function P$factory_0() {
@@ -3343,30 +3180,26 @@
3343
3180
  }, null);
3344
3181
  }
3345
3182
  function _get_Type__cwwv8x($this) {
3346
- return $this.m3s_1.n1h($this, Type$factory());
3183
+ return $this.p3t_1.m1i($this, Type$factory());
3347
3184
  }
3348
3185
  function _get_Instance__cwfjuy($this) {
3349
- return $this.n3s_1.n1h($this, Instance$factory());
3186
+ return $this.q3t_1.m1i($this, Instance$factory());
3350
3187
  }
3351
3188
  function NewObject2() {
3352
3189
  NewObject2_instance = this;
3353
- var tmp$ret$0;
3354
3190
  // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
3355
- var tmp0__get_functor__thl4dk = NewObject3_getInstance();
3356
- tmp$ret$0 = tmp0__get_functor__thl4dk.signature.name;
3191
+ var tmp$ret$0 = NewObject3_getInstance().signature.name;
3357
3192
  RuleWrapper_init_$Init$(tmp$ret$0, 2, VOID, this);
3358
- this.m3s_1 = this.r1x_1;
3359
- this.n3s_1 = this.r1x_1;
3193
+ this.p3t_1 = this.s1y_1;
3194
+ this.q3t_1 = this.s1y_1;
3360
3195
  }
3361
- protoOf(NewObject2).d2i = function (_this__u8e3s4) {
3196
+ protoOf(NewObject2).f2j = function (_this__u8e3s4) {
3362
3197
  return listOf([_get_Type__cwwv8x(this), _get_Instance__cwfjuy(this)]);
3363
3198
  };
3364
- protoOf(NewObject2).e2i = function (_this__u8e3s4) {
3365
- var tmp$ret$0;
3199
+ protoOf(NewObject2).g2j = function (_this__u8e3s4) {
3366
3200
  // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
3367
- var tmp0__get_functor__thl4dk = NewObject3_getInstance();
3368
- tmp$ret$0 = tmp0__get_functor__thl4dk.signature.name;
3369
- return _this__u8e3s4.structOf(tmp$ret$0, [_get_Type__cwwv8x(this), _this__u8e3s4.l10(), _get_Instance__cwfjuy(this)]);
3201
+ var tmp$ret$0 = NewObject3_getInstance().signature.name;
3202
+ return _this__u8e3s4.structOf(tmp$ret$0, [_get_Type__cwwv8x(this), _this__u8e3s4.e12(), _get_Instance__cwfjuy(this)]);
3370
3203
  };
3371
3204
  var NewObject2_instance;
3372
3205
  function NewObject2_getInstance() {
@@ -3385,48 +3218,41 @@
3385
3218
  }, null);
3386
3219
  }
3387
3220
  function _get_B1__ndb8zg($this) {
3388
- return $this.t3s_1.n1h($this, B1$factory());
3221
+ return $this.w3t_1.m1i($this, B1$factory());
3389
3222
  }
3390
3223
  function _get_C__7mlnqm_0($this) {
3391
- return $this.u3s_1.n1h($this, C$factory_0());
3224
+ return $this.x3t_1.m1i($this, C$factory_0());
3392
3225
  }
3393
3226
  function _get_O__7mlo0y($this) {
3394
- return $this.v3s_1.n1h($this, O$factory());
3227
+ return $this.y3t_1.m1i($this, O$factory());
3395
3228
  }
3396
3229
  function _get_P__7mlo1t_2($this) {
3397
- return $this.w3s_1.n1h($this, P$factory_2());
3230
+ return $this.z3t_1.m1i($this, P$factory_2());
3398
3231
  }
3399
3232
  function Companion_9() {
3400
- Companion_instance_9 = this;
3401
- this.x3s_1 = 'property_reduce';
3402
- this.y3s_1 = 3;
3233
+ this.a3u_1 = 'property_reduce';
3234
+ this.b3u_1 = 3;
3403
3235
  }
3404
- var Companion_instance_9;
3405
- function Companion_getInstance_29() {
3406
- if (Companion_instance_9 == null)
3407
- new Companion_9();
3408
- return Companion_instance_9;
3236
+ var Companion_instance_17;
3237
+ function Companion_getInstance_21() {
3238
+ return Companion_instance_17;
3409
3239
  }
3410
3240
  function Recursive_0() {
3411
3241
  Recursive_instance_0 = this;
3412
3242
  PropertyReduce.call(this);
3413
- this.t3s_1 = this.r1x_1;
3414
- this.u3s_1 = this.r1x_1;
3415
- this.v3s_1 = this.r1x_1;
3416
- this.w3s_1 = this.r1x_1;
3243
+ this.w3t_1 = this.s1y_1;
3244
+ this.x3t_1 = this.s1y_1;
3245
+ this.y3t_1 = this.s1y_1;
3246
+ this.z3t_1 = this.s1y_1;
3417
3247
  }
3418
- protoOf(Recursive_0).d2i = function (_this__u8e3s4) {
3419
- return listOf([_this__u8e3s4.n10([this.e3t(), this.f3t()], _get_C__7mlnqm_0(this)), _get_O__7mlo0y(this), _get_P__7mlo1t_2(this)]);
3248
+ protoOf(Recursive_0).f2j = function (_this__u8e3s4) {
3249
+ return listOf([_this__u8e3s4.g12([this.h3u(), this.i3u()], _get_C__7mlnqm_0(this)), _get_O__7mlo0y(this), _get_P__7mlo1t_2(this)]);
3420
3250
  };
3421
- protoOf(Recursive_0).e2i = function (_this__u8e3s4) {
3251
+ protoOf(Recursive_0).g2j = function (_this__u8e3s4) {
3422
3252
  var tmp = _this__u8e3s4.atomOf('!');
3423
- var tmp$ret$0;
3424
3253
  // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
3425
- var tmp0__get_functor__thl4dk = InvokeMethod_getInstance();
3426
- tmp$ret$0 = tmp0__get_functor__thl4dk.signature.name;
3427
- var tmp_0 = _this__u8e3s4.structOf(tmp$ret$0, [this.e3t(), this.f3t(), _get_B1__ndb8zg(this)]);
3428
- Companion_getInstance_29();
3429
- return _this__u8e3s4.tupleOf([tmp, tmp_0, _this__u8e3s4.structOf('property_reduce', [_this__u8e3s4.consOf(_get_B1__ndb8zg(this), _get_C__7mlnqm_0(this)), _get_O__7mlo0y(this), _get_P__7mlo1t_2(this)])]);
3254
+ var tmp$ret$0 = InvokeMethod_getInstance().signature.name;
3255
+ return _this__u8e3s4.tupleOf([tmp, _this__u8e3s4.structOf(tmp$ret$0, [this.h3u(), this.i3u(), _get_B1__ndb8zg(this)]), _this__u8e3s4.structOf('property_reduce', [_this__u8e3s4.consOf(_get_B1__ndb8zg(this), _get_C__7mlnqm_0(this)), _get_O__7mlo0y(this), _get_P__7mlo1t_2(this)])]);
3430
3256
  };
3431
3257
  var Recursive_instance_0;
3432
3258
  function Recursive_getInstance_0() {
@@ -3438,8 +3264,8 @@
3438
3264
  Base_instance = this;
3439
3265
  PropertyReduce.call(this);
3440
3266
  }
3441
- protoOf(Base).d2i = function (_this__u8e3s4) {
3442
- return listOf([_this__u8e3s4.consOf(this.e3t(), this.f3t()), this.e3t(), this.f3t()]);
3267
+ protoOf(Base).f2j = function (_this__u8e3s4) {
3268
+ return listOf([_this__u8e3s4.consOf(this.h3u(), this.i3u()), this.h3u(), this.i3u()]);
3443
3269
  };
3444
3270
  var Base_instance;
3445
3271
  function Base_getInstance() {
@@ -3448,30 +3274,27 @@
3448
3274
  return Base_instance;
3449
3275
  }
3450
3276
  function PropertyReduce() {
3451
- Companion_getInstance_29();
3452
- Companion_getInstance_29();
3453
- Companion_getInstance_29();
3454
3277
  RuleWrapper_init_$Init$('property_reduce', 3, VOID, this);
3455
- this.c3t_1 = this.r1x_1;
3456
- this.d3t_1 = this.r1x_1;
3278
+ this.f3u_1 = this.s1y_1;
3279
+ this.g3u_1 = this.s1y_1;
3457
3280
  }
3458
- protoOf(PropertyReduce).e3t = function () {
3459
- return this.c3t_1.n1h(this, A$factory());
3281
+ protoOf(PropertyReduce).h3u = function () {
3282
+ return this.f3u_1.m1i(this, A$factory());
3460
3283
  };
3461
- protoOf(PropertyReduce).f3t = function () {
3462
- return this.d3t_1.n1h(this, B$factory());
3284
+ protoOf(PropertyReduce).i3u = function () {
3285
+ return this.g3u_1.m1i(this, B$factory());
3463
3286
  };
3464
- protoOf(PropertyReduce).e2i = function (_this__u8e3s4) {
3287
+ protoOf(PropertyReduce).g2j = function (_this__u8e3s4) {
3465
3288
  return _this__u8e3s4.atomOf('!');
3466
3289
  };
3467
3290
  function A$factory() {
3468
3291
  return getPropertyCallableRef('A', 1, KProperty1, function (receiver) {
3469
- return receiver.e3t();
3292
+ return receiver.h3u();
3470
3293
  }, null);
3471
3294
  }
3472
3295
  function B$factory() {
3473
3296
  return getPropertyCallableRef('B', 1, KProperty1, function (receiver) {
3474
- return receiver.f3t();
3297
+ return receiver.i3u();
3475
3298
  }, null);
3476
3299
  }
3477
3300
  function B1$factory() {
@@ -3495,10 +3318,8 @@
3495
3318
  }, null);
3496
3319
  }
3497
3320
  function get_platformSpecificAliases() {
3498
- var tmp$ret$0;
3499
3321
  // Inline function 'kotlin.emptyArray' call
3500
- tmp$ret$0 = [];
3501
- return tmp$ret$0;
3322
+ return [];
3502
3323
  }
3503
3324
  function get_TODO_EXCEPTION() {
3504
3325
  _init_properties_TypeUtilsJs_kt__53l6dq();
@@ -3528,42 +3349,35 @@
3528
3349
  }
3529
3350
  function get_companionObjectRef(_this__u8e3s4) {
3530
3351
  _init_properties_TypeUtilsJs_kt__53l6dq();
3531
- return Companion_getInstance().fq();
3352
+ return Companion_instance.zq();
3532
3353
  }
3533
3354
  function kClassFromName(qualifiedName) {
3534
3355
  _init_properties_TypeUtilsJs_kt__53l6dq();
3535
- var match = get_CLASS_NAME_PATTERN().lf(qualifiedName);
3356
+ var match = get_CLASS_NAME_PATTERN().t8(qualifiedName);
3536
3357
  // Inline function 'kotlin.require' call
3537
- var tmp0_require = !(match == null);
3538
3358
  // Inline function 'kotlin.contracts.contract' call
3539
- if (!tmp0_require) {
3540
- var tmp$ret$0;
3359
+ if (!!(match == null)) {
3541
3360
  // Inline function 'it.unibo.tuprolog.solve.libs.oop.kClassFromName.<anonymous>' call
3542
- tmp$ret$0 = '`' + qualifiedName + '` should match ' + get_CLASS_NAME_PATTERN().ve_1 + ", while is doesn't";
3543
- var message = tmp$ret$0;
3361
+ var message = '`' + qualifiedName + '` should match ' + get_CLASS_NAME_PATTERN().d8_1 + ", while is doesn't";
3544
3362
  throw IllegalArgumentException_init_$Create$(toString_0(message));
3545
3363
  }
3546
- var module_0 = ensureNotNull(match.q9().o(1)).sf_1;
3547
- var packageSteps = split(ensureNotNull(match.q9().o(2)).sf_1, charArrayOf([_Char___init__impl__6a9atx(46)]));
3364
+ var module_0 = ensureNotNull(match.j9().c1(1)).k9_1;
3365
+ var packageSteps = split(ensureNotNull(match.j9().c1(2)).k9_1, charArrayOf([_Char___init__impl__6a9atx(46)]));
3548
3366
  var kClass = require(module_0);
3549
- var tmp$ret$1;
3550
3367
  // Inline function 'kotlin.let' call
3551
- var tmp1_let = packageSteps.j();
3552
3368
  // Inline function 'kotlin.contracts.contract' call
3553
- while ((tmp1_let.m() ? kClass != null : false) ? kClass != undefined : false) {
3554
- kClass = kClass[tmp1_let.n()];
3369
+ var it = packageSteps.r();
3370
+ while ((it.s() ? kClass != null : false) ? kClass != undefined : false) {
3371
+ kClass = kClass[it.u()];
3555
3372
  }
3556
- tmp$ret$1 = Unit_getInstance();
3557
3373
  var tmp;
3558
3374
  if (kClass != null ? kClass != undefined : false) {
3559
- var tmp_0 = Companion_getInstance();
3560
- var tmp$ret$2;
3375
+ var tmp_0 = Companion_instance;
3561
3376
  // Inline function 'kotlin.js.unsafeCast' call
3562
- var tmp2_unsafeCast = kClass;
3563
- tmp$ret$2 = tmp2_unsafeCast;
3564
- tmp = tmp_0.ws(get_kotlin(tmp$ret$2));
3377
+ var tmp$ret$2 = kClass;
3378
+ tmp = tmp_0.qt(get_kotlin(tmp$ret$2));
3565
3379
  } else {
3566
- tmp = Companion_getInstance().fq();
3380
+ tmp = Companion_instance.zq();
3567
3381
  }
3568
3382
  return tmp;
3569
3383
  }
@@ -3593,33 +3407,32 @@
3593
3407
  }
3594
3408
  var properties_initialized_TypeUtilsJs_kt_h8iecw;
3595
3409
  function _init_properties_TypeUtilsJs_kt__53l6dq() {
3596
- if (properties_initialized_TypeUtilsJs_kt_h8iecw) {
3597
- } else {
3410
+ if (!properties_initialized_TypeUtilsJs_kt_h8iecw) {
3598
3411
  properties_initialized_TypeUtilsJs_kt_h8iecw = true;
3599
3412
  TODO_EXCEPTION = new NotImplementedError('OOP-Prolog integration is still not supported on JS');
3600
- var tmp$ret$0;
3601
3413
  // Inline function 'kotlin.text.toRegex' call
3602
- var tmp0_toRegex = '^(' + get_id() + '):(' + get_id() + '(\\.' + get_id() + ')*)$';
3603
- tmp$ret$0 = Regex_init_$Create$(tmp0_toRegex);
3604
- classNamePattern = tmp$ret$0;
3414
+ var this_0 = '^(' + get_ID() + '):(' + get_ID() + '(\\.' + get_ID() + ')*)$';
3415
+ classNamePattern = Regex_init_$Create$(this_0);
3605
3416
  }
3606
3417
  }
3607
3418
  //region block: post-declaration
3608
- protoOf(OOPLib).containsSignature = containsSignature;
3609
- protoOf(OOPLib).containsOperator = containsOperator;
3610
- protoOf(OOPLib).hasPrimitive = hasPrimitive;
3611
- protoOf(OOPLib).hasFunction = hasFunction;
3612
- protoOf(OOPLib).r2c = get_ruleSignatures;
3613
- protoOf(OOPLib).hasProtected = hasProtected;
3614
- protoOf(NullRefImpl).d3n = get_object;
3615
- protoOf(NullRefImpl).e3n = invoke;
3616
- protoOf(NullRefImpl).f3n = assign;
3617
- protoOf(TermToObjectConverterImpl).f3o = convert;
3618
- protoOf(TypeFactoryImpl).i3o = typeRefFromName;
3619
- protoOf(TypeRefImpl).j3o = create;
3419
+ protoOf(NullRefImpl).g3o = get_object;
3420
+ protoOf(NullRefImpl).h3o = invoke;
3421
+ protoOf(NullRefImpl).i3o = assign;
3422
+ protoOf(TermToObjectConverterImpl).i3p = convert;
3423
+ protoOf(TypeFactoryImpl).l3p = typeRefFromName;
3424
+ protoOf(TypeRefImpl).m3p = create;
3620
3425
  //endregion
3621
3426
  //region block: init
3622
- id = '[a-zA-Z_][a-zA-Z0-9_]*';
3427
+ OOP_instance = new OOP();
3428
+ Companion_instance_9 = new Companion_1();
3429
+ Companion_instance_12 = new Companion_4();
3430
+ ID = '[a-zA-Z_][a-zA-Z0-9_]*';
3431
+ Companion_instance_13 = new Companion_5();
3432
+ Companion_instance_14 = new Companion_6();
3433
+ Companion_instance_15 = new Companion_7();
3434
+ Companion_instance_16 = new Companion_8();
3435
+ Companion_instance_17 = new Companion_9();
3623
3436
  //endregion
3624
3437
  //region block: exports
3625
3438
  _.$_$ = _.$_$ || {};