@tuprolog/2p-full 0.31.5-dev0f → 0.31.5-dev0n

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