@tuprolog/2p-full 3.0.0 → 3.0.2

package/2p-oop-lib.js

@@ -185,18 +185,18 @@
   initMetadataForClass(Value, 'Value', VOID, Result);
   initMetadataForCompanion(Companion_2);
   function convert(term) {
-    return this.convertInto_62bmhg_k$(this.mostAdequateType_bmnk7m_k$(term), term);
+    return this.w51(this.y51(term), term);
   }
   initMetadataForInterface(TermToObjectConverter, 'TermToObjectConverter');
   initMetadataForCompanion(Companion_3);
   function typeRefFromName(typeName) {
-    var tmp = Companion_instance.of_f8fyqr_k$(this.typeFromName_xpqoph_k$(typeName));
-    return tmp.map_nscup_k$(TypeFactory$typeRefFromName$lambda).get_value_j01efc_k$();
+    var tmp = Companion_instance.nr(this.b52(typeName));
+    return tmp.au(TypeFactory$typeRefFromName$lambda).f1();
   }
   initMetadataForInterface(TypeFactory, 'TypeFactory');
   initMetadataForCompanion(Companion_4);
   function create(objectConverter, arguments_0) {
-    return this.create_1rher4_k$(objectConverter, listOf(arguments_0.slice()));
+    return this.e52(objectConverter, listOf(arguments_0.slice()));
   }
   initMetadataForInterface(TypeRef, 'TypeRef', VOID, VOID, [Ref]);
   initMetadataForClass(OopException, 'OopException', VOID, TuPrologException);
@@ -249,7 +249,7 @@
   function NullRef() {
   }
   function _get_ruleWrappers__mybpf3($this) {
-    return listOf(arrayConcat([[Cast_getInstance_0(), Invocation_getInstance(), Assignment_getInstance(), Dot_getInstance(), Recursive_getInstance(), Couple_getInstance(), Trivial_getInstance(), NewObject2_getInstance(), Recursive_getInstance_0(), Base_getInstance(), Companion_instance_15.forType_lwe2s5_k$('string', PrimitiveClasses_getInstance().get_stringClass_bik2gy_k$()), Companion_instance_15.forType_lwe2s5_k$('array', PrimitiveClasses_getInstance().get_arrayClass_udg0fc_k$()), Companion_instance_15.forType_lwe2s5_k$('list', getKClass(KtList)), Companion_instance_15.forType_lwe2s5_k$('arraylist', getKClass(ArrayList)), Companion_instance_15.forType_lwe2s5_k$('map', getKClass(KtMap)), Companion_instance_15.forType_lwe2s5_k$('hashmap', getKClass(LinkedHashMap)), Companion_instance_15.forType_lwe2s5_k$('int', PrimitiveClasses_getInstance().get_intClass_mw4y9a_k$()), Companion_instance_15.forType_lwe2s5_k$('integer', PrimitiveClasses_getInstance().get_intClass_mw4y9a_k$()), Companion_instance_15.forType_lwe2s5_k$('double', PrimitiveClasses_getInstance().get_doubleClass_dahzcy_k$()), Companion_instance_15.forType_lwe2s5_k$('float', PrimitiveClasses_getInstance().get_floatClass_xlwq2t_k$()), Companion_instance_15.forType_lwe2s5_k$('long', PrimitiveClasses_getInstance().get_longClass_a79cj7_k$()), Companion_instance_15.forType_lwe2s5_k$('short', PrimitiveClasses_getInstance().get_shortClass_5ajsv9_k$()), Companion_instance_15.forType_lwe2s5_k$('byte', PrimitiveClasses_getInstance().get_byteClass_pu7s61_k$()), Companion_instance_15.forType_lwe2s5_k$('char', getKClass(Char)), Companion_instance_15.forType_lwe2s5_k$('bool', PrimitiveClasses_getInstance().get_booleanClass_d285fr_k$()), Companion_instance_15.forType_lwe2s5_k$('boolean', PrimitiveClasses_getInstance().get_booleanClass_d285fr_k$()), Companion_instance_15.forType_lwe2s5_k$('any', PrimitiveClasses_getInstance().get_anyClass_x0jl4l_k$()), Companion_instance_15.forType_lwe2s5_k$('nothing', PrimitiveClasses_getInstance().get_nothingClass_7ivpcc_k$()), Companion_instance_15.forType_lwe2s5_k$('big_integer', getKClass(BigInteger)), Companion_instance_15.forType_lwe2s5_k$('big_decimal', getKClass(BigDecimal))], get_platformSpecificAliases()]));
+    return listOf(arrayConcat([[Cast_getInstance_0(), Invocation_getInstance(), Assignment_getInstance(), Dot_getInstance(), Recursive_getInstance(), Couple_getInstance(), Trivial_getInstance(), NewObject2_getInstance(), Recursive_getInstance_0(), Base_getInstance(), Companion_instance_15.f51('string', PrimitiveClasses_getInstance().ia()), Companion_instance_15.f51('array', PrimitiveClasses_getInstance().ha()), Companion_instance_15.f51('list', getKClass(KtList)), Companion_instance_15.f51('arraylist', getKClass(ArrayList)), Companion_instance_15.f51('map', getKClass(KtMap)), Companion_instance_15.f51('hashmap', getKClass(LinkedHashMap)), Companion_instance_15.f51('int', PrimitiveClasses_getInstance().da()), Companion_instance_15.f51('integer', PrimitiveClasses_getInstance().da()), Companion_instance_15.f51('double', PrimitiveClasses_getInstance().ga()), Companion_instance_15.f51('float', PrimitiveClasses_getInstance().fa()), Companion_instance_15.f51('long', PrimitiveClasses_getInstance().ea()), Companion_instance_15.f51('short', PrimitiveClasses_getInstance().ca()), Companion_instance_15.f51('byte', PrimitiveClasses_getInstance().ba()), Companion_instance_15.f51('char', getKClass(Char)), Companion_instance_15.f51('bool', PrimitiveClasses_getInstance().aa()), Companion_instance_15.f51('boolean', PrimitiveClasses_getInstance().aa()), Companion_instance_15.f51('any', PrimitiveClasses_getInstance().x9()), Companion_instance_15.f51('nothing', PrimitiveClasses_getInstance().z9()), Companion_instance_15.f51('big_integer', getKClass(BigInteger)), Companion_instance_15.f51('big_decimal', getKClass(BigDecimal))], get_platformSpecificAliases()]));
   }
   function _get_operatorDocumentation__vy55az($this) {
     return mapOf([to(new Signature('$', 1), "`$+Alias`\n\nAlias reference, with no predicate behind it: `$Alias` stands for the object or type reference registered under the atom `Alias` by an `alias/2` fact, i.e. one of the library's default aliases (`string`, `int`, `arraylist`, `stdout`, ...) or one added via `register/2`. It is resolved by the library wherever a reference is expected: as the receiver of `invoke_method/3`, `invoke_strict/3`, `./2` and `:=/2`, as the type of `new_object/2,3` and `cast/3`, as the value of `assign/3`, as the type in `as/2` casts, and inside method or constructor arguments (where it must denote an object). An unregistered alias raises an existence error.\n\n**Examples**\n\n```prolog\n?- $stdout.println(hello).\n% prints: hello\nyes.\n\n?- new_object($arraylist, L), L.add(a), N := L.size.\nN = 1.\n\n?- invoke_method($nope, toString, R).\nthrows error(existence_error(_, _), _).\n```"), to(new Signature('as', 2), "`+Term as +Type`\n\nExplicit conversion, with no predicate behind it. Inside method or constructor arguments (of `invoke_method/3`, `invoke_strict/3`, `new_object/3`, `./2` chains, `*_items/2` lists and `assign/3` values), `Term as Type` converts `Term` into exactly `Type` instead of the automatically inferred type, which also steers overload selection. There `Type` is an atom holding a fully qualified type name (e.g. `'java.lang.Long'`), a type reference, or a `$Alias` reference to a type; if `Term` cannot be represented as `Type`, an error is raised. On the right of `:=/2`, `Result := Term as Type` instead calls `cast/3`, which requires a type reference or a `$Alias`. Since `as` binds tighter than `.`, parenthesise chains: `R := (Obj.size) as $long`.\n\n**Examples**\n\n```prolog\n?- X := $math.max(1 as 'java.lang.Double', 2).\nX = 2.0.\n\n?- new_object('java.util.ArrayList', [], L), L.add(1 as 'java.lang.Long'), A := L.contains(1 as 'java.lang.Long'), B := L.contains(1).\nA = true, B = false.\n\n?- new_object('java.util.ArrayList', [], L), L.add(abc as 'java.lang.Long').\nthrows error(representation_error(_), _).\n```")]);
@@ -257,46 +257,46 @@
   function OOPLib() {
     OOPLib_instance = this;
     AbstractLibrary.call(this);
-    this.help_1 = "`library('prolog.oop')`\n\nBridges Prolog with the JVM/Kotlin object world via reflection: Prolog code can create objects, call their (possibly overloaded) methods and constructors, read and write their properties, and convert values back and forth. Objects and classes are represented by opaque reference terms (see `object_ref/1`, `type_ref/1`, `null_ref/1`); Prolog atoms, numbers and booleans are converted automatically to and from strings, numbers and booleans.\n\nMain entry points are `new_object/2,3` (instantiation), `invoke_method/3` and `invoke_strict/3` (method calls), `assign/3` (property writes), `cast/3` and `type/2` (types and conversions), `array_items/2`, `list_items/2` and `set_items/2` (collections), and `register/2`/`unregister/1` (aliases, see `alias/2`).\n\nThe operators `./2` (method call or property read, chainable), `:=/2` (capture a result or assign a property), `as/2` (explicit conversion) and `$/1` (alias reference, e.g. `$stdout`) provide a fluent syntax on top of these predicates. Example: `new_object('java.util.ArrayList', [], L), L.add(1 as 'java.lang.Long'), N := L.size, $stdout.println(N)`. Reflective invocation is only available on the JVM.";
+    this.h51_1 = "`library('prolog.oop')`\n\nBridges Prolog with the JVM/Kotlin object world via reflection: Prolog code can create objects, call their (possibly overloaded) methods and constructors, read and write their properties, and convert values back and forth. Objects and classes are represented by opaque reference terms (see `object_ref/1`, `type_ref/1`, `null_ref/1`); Prolog atoms, numbers and booleans are converted automatically to and from strings, numbers and booleans.\n\nMain entry points are `new_object/2,3` (instantiation), `invoke_method/3` and `invoke_strict/3` (method calls), `assign/3` (property writes), `cast/3` and `type/2` (types and conversions), `array_items/2`, `list_items/2` and `set_items/2` (collections), and `register/2`/`unregister/1` (aliases, see `alias/2`).\n\nThe operators `./2` (method call or property read, chainable), `:=/2` (capture a result or assign a property), `as/2` (explicit conversion) and `$/1` (alias reference, e.g. `$stdout`) provide a fluent syntax on top of these predicates. Example: `new_object('java.util.ArrayList', [], L), L.add(1 as 'java.lang.Long'), N := L.size, $stdout.println(N)`. Reflective invocation is only available on the JVM.";
   }
-  protoOf(OOPLib).get_alias_iooo4n_k$ = function () {
+  protoOf(OOPLib).w2i = function () {
     return 'prolog.oop';
   };
-  protoOf(OOPLib).get_help_won7nu_k$ = function () {
-    return this.help_1;
+  protoOf(OOPLib).i1x = function () {
+    return this.h51_1;
   };
-  protoOf(OOPLib).get_primitives_xl08ol_k$ = function () {
+  protoOf(OOPLib).r2i = function () {
     // Inline function 'kotlin.collections.map' call
     var this_0 = listOf([ArrayItems_getInstance(), Assign_getInstance(), Cast_getInstance(), Type_getInstance(), InvokeMethod_getInstance(), InvokeStrict_getInstance(), ListItems_getInstance(), NewObject3_getInstance(), NullRef_getInstance(), ObjectRef_getInstance(), Ref_getInstance(), Register_getInstance(), SetItems_getInstance(), TypeRef_getInstance(), Unregister_getInstance()]);
     // Inline function 'kotlin.collections.mapTo' call
     var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
-    var _iterator__ex2g4s = this_0.iterator_jk1svi_k$();
-    while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
-      var item = _iterator__ex2g4s.next_20eer_k$();
+    var _iterator__ex2g4s = this_0.n();
+    while (_iterator__ex2g4s.q()) {
+      var item = _iterator__ex2g4s.r();
       // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.descriptionPair' call
-      var tmp$ret$2 = to(item.signature, item.get_wrappedImplementation_qo1fgy_k$());
-      destination.add_utx5q5_k$(tmp$ret$2);
+      var tmp$ret$2 = to(item.signature, item.g1x());
+      destination.l(tmp$ret$2);
     }
     return toMap(destination);
   };
-  protoOf(OOPLib).get_clauses_fdta0r_k$ = function () {
+  protoOf(OOPLib).f1o = function () {
     // Inline function 'kotlin.collections.map' call
     var this_0 = _get_ruleWrappers__mybpf3(this);
     // Inline function 'kotlin.collections.mapTo' call
     var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
-    var _iterator__ex2g4s = this_0.iterator_jk1svi_k$();
-    while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
-      var item = _iterator__ex2g4s.next_20eer_k$();
-      var tmp$ret$2 = item.get_wrappedImplementation_qo1fgy_k$();
-      destination.add_utx5q5_k$(tmp$ret$2);
+    var _iterator__ex2g4s = this_0.n();
+    while (_iterator__ex2g4s.q()) {
+      var item = _iterator__ex2g4s.r();
+      var tmp$ret$2 = item.g1x();
+      destination.l(tmp$ret$2);
     }
     return destination;
   };
-  protoOf(OOPLib).get_operators_z0nmfu_k$ = function () {
+  protoOf(OOPLib).c1y = function () {
     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)]);
   };
-  protoOf(OOPLib).get_documentation_p1cqdt_k$ = function () {
-    return mergeDocumentation([protoOf(AbstractLibrary).get_documentation_p1cqdt_k$.call(this), documentationOf(asSequence(_get_ruleWrappers__mybpf3(this))), _get_operatorDocumentation__vy55az(this)]);
+  protoOf(OOPLib).x2i = function () {
+    return mergeDocumentation([protoOf(AbstractLibrary).x2i.call(this), documentationOf(asSequence(_get_ruleWrappers__mybpf3(this))), _get_operatorDocumentation__vy55az(this)]);
   };
   var OOPLib_instance;
   function OOPLib_getInstance() {
@@ -309,13 +309,13 @@
   }
   function Companion() {
     Companion_instance_7 = this;
-    this.NULL_1 = NullRefImpl_getInstance();
+    this.i51_1 = NullRefImpl_getInstance();
   }
-  protoOf(Companion).nameOf_kdy799_k$ = function (any) {
-    return any == null ? nameOf(this, PrimitiveClasses_getInstance().get_nothingClass_7ivpcc_k$(), 'null') : nameOf(this, getKClassFromExpression(any), get_identifier(any));
+  protoOf(Companion).j51 = function (any) {
+    return any == null ? nameOf(this, PrimitiveClasses_getInstance().z9(), 'null') : nameOf(this, getKClassFromExpression(any), get_identifier(any));
   };
-  protoOf(Companion).of_u40ndk_k$ = function (any) {
-    return any == null ? this.NULL_1 : new ObjectRefImpl(any);
+  protoOf(Companion).k51 = function (any) {
+    return any == null ? this.i51_1 : new ObjectRefImpl(any);
   };
   var Companion_instance_7;
   function Companion_getInstance_10() {
@@ -327,7 +327,7 @@
   }
   function Companion_0() {
     Companion_instance_8 = this;
-    this.default_1 = new ObjectToTermConverterImpl();
+    this.l51_1 = new ObjectToTermConverterImpl();
   }
   var Companion_instance_8;
   function Companion_getInstance_11() {
@@ -337,7 +337,7 @@
   }
   function Companion_1() {
   }
-  protoOf(Companion_1).of_m6gyn8_k$ = function (type, termToObjectConverter) {
+  protoOf(Companion_1).m51 = function (type, termToObjectConverter) {
     return overloadSelector(type, termToObjectConverter);
   };
   var Companion_instance_9;
@@ -347,22 +347,22 @@
   function Ref() {
   }
   function _get_termValue__ikgccs($this) {
-    var tmp0 = $this.termValue$delegate_1;
+    var tmp0 = $this.o51_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     getPropertyCallableRef('termValue', 1, tmp, Result$Value$_get_termValue_$ref_u3cirl(), null);
-    return tmp0.get_value_j01efc_k$();
+    return tmp0.f1();
   }
   function _get_objectRef__3zhern($this) {
-    var tmp0 = $this.objectRef$delegate_1;
+    var tmp0 = $this.p51_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     getPropertyCallableRef('objectRef', 1, tmp, Result$Value$_get_objectRef_$ref_8a6ozy(), null);
-    return tmp0.get_value_j01efc_k$();
+    return tmp0.f1();
   }
   function Result$Value$termValue$delegate$lambda(this$0) {
     return function () {
-      return Companion_getInstance_11().default_1.convert_2fnsng_k$(this$0.value_1);
+      return Companion_getInstance_11().l51_1.q51(this$0.n51_1);
     };
   }
   function Result$Value$_get_termValue_$ref_u3cirl() {
@@ -378,7 +378,7 @@
       if (isInterface(it, ObjectRef)) {
         tmp = it;
       } else {
-        tmp = Companion_getInstance_10().of_u40ndk_k$(this$0.value_1);
+        tmp = Companion_getInstance_10().k51(this$0.n51_1);
       }
       return tmp;
     };
@@ -390,33 +390,33 @@
   }
   function Value(value) {
     Result.call(this);
-    this.value_1 = value;
+    this.n51_1 = value;
     var tmp = this;
-    tmp.termValue$delegate_1 = lazy(Result$Value$termValue$delegate$lambda(this));
+    tmp.o51_1 = lazy(Result$Value$termValue$delegate$lambda(this));
     var tmp_0 = this;
-    tmp_0.objectRef$delegate_1 = lazy(Result$Value$objectRef$delegate$lambda(this));
+    tmp_0.p51_1 = lazy(Result$Value$objectRef$delegate$lambda(this));
   }
-  protoOf(Value).toTerm_edaxrt_k$ = function () {
+  protoOf(Value).t1j = function () {
     return _get_termValue__ikgccs(this);
   };
   protoOf(Value).toTerm = function () {
-    return this.toTerm_edaxrt_k$();
+    return this.t1j();
   };
-  protoOf(Value).asObjectRef_ji97lu_k$ = function () {
+  protoOf(Value).r51 = function () {
     return _get_objectRef__3zhern(this);
   };
   protoOf(Value).toString = function () {
-    return 'Value(value=' + toString(this.value_1) + ')';
+    return 'Value(value=' + toString(this.n51_1) + ')';
   };
   protoOf(Value).hashCode = function () {
-    return this.value_1 == null ? 0 : hashCode(this.value_1);
+    return this.n51_1 == null ? 0 : hashCode(this.n51_1);
   };
   protoOf(Value).equals = function (other) {
     if (this === other)
       return true;
     if (!(other instanceof Value))
       return false;
-    if (!equals(this.value_1, other.value_1))
+    if (!equals(this.n51_1, other.n51_1))
       return false;
     return true;
   };
@@ -427,13 +427,13 @@
   }
   function Companion_2() {
     Companion_instance_10 = this;
-    this.default_1 = this.of$default_5ni81d_k$();
+    this.s51_1 = this.t51();
   }
-  protoOf(Companion_2).of_77qmvk_k$ = function (typeFactory, dealiaser) {
+  protoOf(Companion_2).u51 = function (typeFactory, dealiaser) {
     return new TermToObjectConverterImpl(typeFactory, dealiaser);
   };
-  protoOf(Companion_2).of$default_5ni81d_k$ = function (typeFactory, dealiaser, $super) {
-    typeFactory = typeFactory === VOID ? Companion_getInstance_14().default_1 : typeFactory;
+  protoOf(Companion_2).t51 = function (typeFactory, dealiaser, $super) {
+    typeFactory = typeFactory === VOID ? Companion_getInstance_14().v51_1 : typeFactory;
     var tmp;
     if (dealiaser === VOID) {
       tmp = TermToObjectConverter$Companion$of$lambda;
@@ -441,7 +441,7 @@
       tmp = dealiaser;
     }
     dealiaser = tmp;
-    return $super === VOID ? this.of_77qmvk_k$(typeFactory, dealiaser) : $super.of_77qmvk_k$.call(this, typeFactory, dealiaser);
+    return $super === VOID ? this.u51(typeFactory, dealiaser) : $super.u51.call(this, typeFactory, dealiaser);
   };
   var Companion_instance_10;
   function Companion_getInstance_13() {
@@ -453,7 +453,7 @@
   }
   function Companion_3() {
     Companion_instance_11 = this;
-    this.default_1 = new TypeFactoryImpl();
+    this.v51_1 = new TypeFactoryImpl();
   }
   var Companion_instance_11;
   function Companion_getInstance_14() {
@@ -462,13 +462,13 @@
     return Companion_instance_11;
   }
   function TypeFactory$typeRefFromName$lambda(it) {
-    return Companion_instance_12.of_7pw7zp_k$(it);
+    return Companion_instance_12.a52(it);
   }
   function TypeFactory() {
   }
   function Companion_4() {
   }
-  protoOf(Companion_4).of_7pw7zp_k$ = function (type) {
+  protoOf(Companion_4).a52 = function (type) {
     return new TypeRefImpl(type);
   };
   var Companion_instance_12;
@@ -492,7 +492,7 @@
   }
   function create_0(_this__u8e3s4, objectConverter, arguments_0) {
     _init_properties_TypeUtils_kt__wnsx0l();
-    var constructorRef = Companion_instance_9.of_m6gyn8_k$(_this__u8e3s4, objectConverter).findConstructor_3gpb1g_k$(arguments_0);
+    var constructorRef = Companion_instance_9.m51(_this__u8e3s4, objectConverter).f52(arguments_0);
     return callWithPrologArguments(constructorRef, objectConverter, arguments_0);
   }
   function invoke_0(_this__u8e3s4, objectConverter, methodName, arguments_0) {
@@ -501,7 +501,7 @@
   }
   function invoke_1(_this__u8e3s4, objectConverter, methodName, arguments_0, instance) {
     _init_properties_TypeUtils_kt__wnsx0l();
-    var methodRef = Companion_instance_9.of_m6gyn8_k$(_this__u8e3s4, objectConverter).findMethod_jqoe5h_k$(methodName, arguments_0);
+    var methodRef = Companion_instance_9.m51(_this__u8e3s4, objectConverter).g52(methodName, arguments_0);
     return callWithPrologArguments(methodRef, objectConverter, arguments_0, instance);
   }
   function assign_0(_this__u8e3s4, objectConverter, propertyName, value) {
@@ -510,7 +510,7 @@
   }
   function assign_1(_this__u8e3s4, objectConverter, propertyName, value, instance) {
     _init_properties_TypeUtils_kt__wnsx0l();
-    var setterRef = get_setterMethod(Companion_instance_9.of_m6gyn8_k$(_this__u8e3s4, objectConverter).findProperty_xjxstt_k$(propertyName, value));
+    var setterRef = get_setterMethod(Companion_instance_9.m51(_this__u8e3s4, objectConverter).h52(propertyName, value));
     return callWithPrologArguments(setterRef, objectConverter, listOf_0(value), instance);
   }
   function isSubtypeOf_0(_this__u8e3s4, other, strict) {
@@ -525,14 +525,14 @@
     // Inline function 'kotlin.collections.mapIndexedTo' call
     var destination = ArrayList_init_$Create$(collectionSizeOrDefault(arguments_0, 10));
     var index = 0;
-    var _iterator__ex2g4s = arguments_0.iterator_jk1svi_k$();
-    while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
-      var item = _iterator__ex2g4s.next_20eer_k$();
+    var _iterator__ex2g4s = arguments_0.n();
+    while (_iterator__ex2g4s.q()) {
+      var item = _iterator__ex2g4s.r();
       var _unary__edvuaz = index;
       index = _unary__edvuaz + 1 | 0;
       var i = checkIndexOverflow(_unary__edvuaz);
-      var tmp$ret$2 = converter.convertInto_62bmhg_k$(formalArgumentsTypes.get_c1px32_k$(i), item);
-      destination.add_utx5q5_k$(tmp$ret$2);
+      var tmp$ret$2 = converter.w51(formalArgumentsTypes.x(i), item);
+      destination.l(tmp$ret$2);
     }
     // Inline function 'kotlin.collections.toTypedArray' call
     var args = copyToArray(destination);
@@ -544,9 +544,9 @@
     var tmp$ret$0;
     $l$block: {
       // Inline function 'kotlin.sequences.any' call
-      var _iterator__ex2g4s = tmp0.iterator_jk1svi_k$();
-      while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
-        var element = _iterator__ex2g4s.next_20eer_k$();
+      var _iterator__ex2g4s = tmp0.n();
+      while (_iterator__ex2g4s.q()) {
+        var element = _iterator__ex2g4s.r();
         if (element.equals(_this__u8e3s4)) {
           tmp$ret$0 = true;
           break $l$block;
@@ -561,18 +561,18 @@
     // Inline function 'kotlin.also' call
     var this_0 = get_formalParameterTypes(_this__u8e3s4);
     // Inline function 'kotlin.require' call
-    if (!(get_formalParameterTypes(_this__u8e3s4).get_size_woubt6_k$() === actualArguments.get_size_woubt6_k$())) {
+    if (!(get_formalParameterTypes(_this__u8e3s4).s() === actualArguments.s())) {
       var tmp = _this__u8e3s4.callableName;
       // Inline function 'kotlin.collections.map' call
       // Inline function 'kotlin.collections.mapTo' call
       var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
-      var _iterator__ex2g4s = this_0.iterator_jk1svi_k$();
-      while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
-        var item = _iterator__ex2g4s.next_20eer_k$();
+      var _iterator__ex2g4s = this_0.n();
+      while (_iterator__ex2g4s.q()) {
+        var item = _iterator__ex2g4s.r();
         var tmp$ret$6 = get_name(item);
-        destination.add_utx5q5_k$(tmp$ret$6);
+        destination.l(tmp$ret$6);
       }
-      var message = trimMargin('\n            |\n            |Error while invoking ' + tmp + ' the expected argument types \n            |   ' + toString_0(destination) + ' \n            |are not as many as the as the actual parameters (' + this_0.get_size_woubt6_k$() + ' vs. ' + actualArguments.get_size_woubt6_k$() + '):\n            |   ' + toString_0(actualArguments) + '\n            |\n            ');
+      var message = trimMargin('\n            |\n            |Error while invoking ' + tmp + ' the expected argument types \n            |   ' + toString_0(destination) + ' \n            |are not as many as the as the actual parameters (' + this_0.s() + ' vs. ' + actualArguments.s() + '):\n            |   ' + toString_0(actualArguments) + '\n            |\n            ');
       throw IllegalArgumentException_init_$Create$(toString_0(message));
     }
     return this_0;
@@ -587,18 +587,18 @@
   function _init_properties_TypeUtils_kt__wnsx0l() {
     if (!properties_initialized_TypeUtils_kt_7pe6qv) {
       properties_initialized_TypeUtils_kt_7pe6qv = true;
-      PRIMITIVE_TYPES = setOf([PrimitiveClasses_getInstance().get_longClass_a79cj7_k$(), PrimitiveClasses_getInstance().get_intClass_mw4y9a_k$(), PrimitiveClasses_getInstance().get_shortClass_5ajsv9_k$(), PrimitiveClasses_getInstance().get_byteClass_pu7s61_k$(), getKClass(Char), PrimitiveClasses_getInstance().get_doubleClass_dahzcy_k$(), PrimitiveClasses_getInstance().get_floatClass_xlwq2t_k$()]);
+      PRIMITIVE_TYPES = setOf([PrimitiveClasses_getInstance().ea(), PrimitiveClasses_getInstance().da(), PrimitiveClasses_getInstance().ca(), PrimitiveClasses_getInstance().ba(), getKClass(Char), PrimitiveClasses_getInstance().ga(), PrimitiveClasses_getInstance().fa()]);
     }
   }
   function MalformedAliasException(dealiasingExpression) {
     OopException_init_$Init$('This is not a dealiasing expression `' + dealiasingExpression.toString() + '` in the form ' + format(get_DEALIASING_TEMPLATE(), Companion_instance_0.prettyExpressionsPrettyVariablesDefaultOperators()), VOID, this);
     captureStack(this, MalformedAliasException);
-    this.dealiasingExpression_1 = dealiasingExpression;
+    this.i52_1 = dealiasingExpression;
   }
-  protoOf(MalformedAliasException).toLogicError_fiiu4e_k$ = function (context, signature) {
+  protoOf(MalformedAliasException).j52 = function (context, signature) {
     var tmp = Companion_instance_1;
     var tmp_0 = Expected_DEALIASING_EXPRESSION_getInstance();
-    var tmp_1 = this.get_culprit_jt6eim_k$();
+    var tmp_1 = this.r28();
     var tmp_2 = signature.toIndicator().toString();
     var tmp0_safe_receiver = this.message;
     var tmp_3;
@@ -622,20 +622,20 @@
     }
     return tmp.of(context, tmp_0, tmp_1, 'Error in ' + tmp_2 + ': ' + tmp_3);
   };
-  protoOf(MalformedAliasException).get_culprit_jt6eim_k$ = function () {
-    return this.dealiasingExpression_1;
+  protoOf(MalformedAliasException).r28 = function () {
+    return this.i52_1;
   };
   function NoSuchAnAliasException(dealiasingExpression) {
     OopException_init_$Init$('There exists no reference whose alias is `' + dealiasingExpression.get(0).toString() + '`', VOID, this);
     captureStack(this, NoSuchAnAliasException);
-    this.dealiasingExpression_1 = dealiasingExpression;
+    this.k52_1 = dealiasingExpression;
     // Inline function 'kotlin.require' call
     // Inline function 'kotlin.require' call
-    if (!Companion_getInstance().matches(this.dealiasingExpression_1, get_DEALIASING_TEMPLATE())) {
+    if (!Companion_getInstance().matches(this.k52_1, get_DEALIASING_TEMPLATE())) {
       var message = 'Failed requirement.';
       throw IllegalArgumentException_init_$Create$(toString_0(message));
     }
-    var tmp = this.dealiasingExpression_1.get(0);
+    var tmp = this.k52_1.get(0);
     // Inline function 'kotlin.require' call
     // Inline function 'kotlin.require' call
     if (!isInterface(tmp, Struct)) {
@@ -643,15 +643,15 @@
       throw IllegalArgumentException_init_$Create$(toString_0(message_0));
     }
   }
-  protoOf(NoSuchAnAliasException).toLogicError_fiiu4e_k$ = function (context, signature) {
+  protoOf(NoSuchAnAliasException).j52 = function (context, signature) {
     var tmp = Companion_instance_2;
     var tmp_0 = ObjectType_OOP_ALIAS_getInstance();
-    var tmp_1 = this.get_culprit_jt6eim_k$();
+    var tmp_1 = this.r28();
     var tmp0_elvis_lhs = this.message;
     return tmp.of(context, tmp_0, tmp_1, tmp0_elvis_lhs == null ? '' : tmp0_elvis_lhs);
   };
-  protoOf(NoSuchAnAliasException).get_culprit_jt6eim_k$ = function () {
-    return this.dealiasingExpression_1;
+  protoOf(NoSuchAnAliasException).r28 = function () {
+    return this.k52_1;
   };
   function OopException_init_$Init$(message, cause, $this) {
     message = message === VOID ? null : message;
@@ -690,336 +690,336 @@
     var tmp1_elvis_lhs = tmp;
     OopException_init_$Init$(tmp1_elvis_lhs == null ? 'Term `' + term.toString() + '` cannot be converted into an object' : tmp1_elvis_lhs, VOID, this);
     captureStack(this, TermToObjectConversionException);
-    this.term_1 = term;
-    this.targetType_1 = targetType;
+    this.l52_1 = term;
+    this.m52_1 = targetType;
   }
-  protoOf(TermToObjectConversionException).toLogicError_fiiu4e_k$ = function (context, signature) {
-    return Companion_instance_3.of_nfh9rh_k$(context, signature, Limit_OOP_OBJECT_getInstance(), this);
+  protoOf(TermToObjectConversionException).j52 = function (context, signature) {
+    return Companion_instance_3.n2a(context, signature, Limit_OOP_OBJECT_getInstance(), this);
   };
   function NullRefImpl() {
     NullRefImpl_instance = this;
-    this.$$delegate_0__1 = Companion_getInstance_0().of(Companion_getInstance_10().nameOf_kdy799_k$(null));
+    this.n52_1 = Companion_getInstance_0().of(Companion_getInstance_10().j51(null));
   }
-  protoOf(NullRefImpl).get_isConstant_scia2f_k$ = function () {
+  protoOf(NullRefImpl).xx = function () {
     return true;
   };
-  protoOf(NullRefImpl).asConstant_3hn112_k$ = function () {
+  protoOf(NullRefImpl).by = function () {
     return this;
   };
   protoOf(NullRefImpl).asConstant = function () {
-    return this.asConstant_3hn112_k$();
+    return this.by();
   };
-  protoOf(NullRefImpl).freshCopy_fcm65_k$ = function () {
+  protoOf(NullRefImpl).bx = function () {
     return this;
   };
   protoOf(NullRefImpl).freshCopy = function () {
-    return this.freshCopy_fcm65_k$();
+    return this.bx();
   };
-  protoOf(NullRefImpl).freshCopyFromScope_tnhsyi_k$ = function (scope) {
+  protoOf(NullRefImpl).cx = function (scope) {
     return this;
   };
   protoOf(NullRefImpl).freshCopyFromScope = function (scope) {
-    return this.freshCopyFromScope_tnhsyi_k$(scope);
+    return this.cx(scope);
   };
-  protoOf(NullRefImpl).castTo_8vzplt_k$ = function () {
+  protoOf(NullRefImpl).sx = function () {
     return isInterface(this, Term) ? this : THROW_CCE();
   };
-  protoOf(NullRefImpl).castTo_mm7cm3_k$ = function () {
-    return this.castTo_8vzplt_k$();
+  protoOf(NullRefImpl).pr = function () {
+    return this.sx();
   };
-  protoOf(NullRefImpl).applySubstitution_t7osbf_k$ = function (substitution) {
+  protoOf(NullRefImpl).r17 = function (substitution) {
     return this;
   };
   protoOf(NullRefImpl).applySubstitution = function (substitution) {
-    return this.applySubstitution_t7osbf_k$(substitution);
+    return this.r17(substitution);
   };
-  protoOf(NullRefImpl).apply_jso7fw_k$ = function (substitution, substitutions) {
+  protoOf(NullRefImpl).g2u = function (substitution, substitutions) {
     return this;
   };
   protoOf(NullRefImpl).apply = function (substitution, substitutions) {
-    return this.apply_jso7fw_k$(substitution, substitutions);
+    return this.g2u(substitution, substitutions);
   };
-  protoOf(NullRefImpl).getSubstituted_8310r6_k$ = function (substitution, substitutions) {
+  protoOf(NullRefImpl).f2u = function (substitution, substitutions) {
     return this;
   };
   protoOf(NullRefImpl).getSubstituted = function (substitution, substitutions) {
-    return this.getSubstituted_8310r6_k$(substitution, substitutions);
+    return this.f2u(substitution, substitutions);
   };
-  protoOf(NullRefImpl).accept_bf9pe1_k$ = function (visitor) {
+  protoOf(NullRefImpl).x16 = function (visitor) {
     return visitor.visitAtom(this);
   };
   protoOf(NullRefImpl).accept = function (visitor) {
-    return this.accept_bf9pe1_k$(visitor);
+    return this.x16(visitor);
   };
-  protoOf(NullRefImpl).asAtom_nbael9_k$ = function () {
-    return this.$$delegate_0__1.asAtom_nbael9_k$();
+  protoOf(NullRefImpl).dx = function () {
+    return this.n52_1.dx();
   };
   protoOf(NullRefImpl).asAtom = function () {
-    return this.asAtom_nbael9_k$();
+    return this.dx();
   };
-  protoOf(NullRefImpl).get_arity_iosiic_k$ = function () {
-    return this.$$delegate_0__1.get_arity_iosiic_k$();
+  protoOf(NullRefImpl).sw = function () {
+    return this.n52_1.sw();
   };
-  protoOf(NullRefImpl).get_isAtom_evuq3o_k$ = function () {
-    return this.$$delegate_0__1.get_isAtom_evuq3o_k$();
+  protoOf(NullRefImpl).tw = function () {
+    return this.n52_1.tw();
   };
-  protoOf(NullRefImpl).get_isEmptyBlock_mhm4pf_k$ = function () {
-    return this.$$delegate_0__1.get_isEmptyBlock_mhm4pf_k$();
+  protoOf(NullRefImpl).uw = function () {
+    return this.n52_1.uw();
   };
-  protoOf(NullRefImpl).get_isEmptyList_9w8q3c_k$ = function () {
-    return this.$$delegate_0__1.get_isEmptyList_9w8q3c_k$();
+  protoOf(NullRefImpl).vw = function () {
+    return this.n52_1.vw();
   };
-  protoOf(NullRefImpl).get_isTrue_ew6ti9_k$ = function () {
-    return this.$$delegate_0__1.get_isTrue_ew6ti9_k$();
+  protoOf(NullRefImpl).ww = function () {
+    return this.n52_1.ww();
   };
-  protoOf(NullRefImpl).get_value_j01efc_k$ = function () {
-    return this.$$delegate_0__1.get_value_j01efc_k$();
+  protoOf(NullRefImpl).f1 = function () {
+    return this.n52_1.f1();
   };
-  protoOf(NullRefImpl).get_argsList_cw1bs4_k$ = function () {
-    return this.$$delegate_0__1.get_argsList_cw1bs4_k$();
+  protoOf(NullRefImpl).zw = function () {
+    return this.n52_1.zw();
   };
-  protoOf(NullRefImpl).get_variables_75f0zy_k$ = function () {
-    return this.$$delegate_0__1.get_variables_75f0zy_k$();
+  protoOf(NullRefImpl).ax = function () {
+    return this.n52_1.ax();
   };
-  protoOf(NullRefImpl).asStruct_l3eul5_k$ = function () {
-    return this.$$delegate_0__1.asStruct_l3eul5_k$();
+  protoOf(NullRefImpl).ox = function () {
+    return this.n52_1.ox();
   };
   protoOf(NullRefImpl).asStruct = function () {
-    return this.asStruct_l3eul5_k$();
+    return this.ox();
   };
   protoOf(NullRefImpl).append = function (argument) {
-    return this.$$delegate_0__1.append(argument);
+    return this.n52_1.append(argument);
   };
   protoOf(NullRefImpl).addLast = function (argument) {
-    return this.$$delegate_0__1.addLast(argument);
+    return this.n52_1.addLast(argument);
   };
   protoOf(NullRefImpl).addFirst = function (argument) {
-    return this.$$delegate_0__1.addFirst(argument);
+    return this.n52_1.addFirst(argument);
   };
   protoOf(NullRefImpl).insertAt = function (index, argument) {
-    return this.$$delegate_0__1.insertAt(index, argument);
+    return this.n52_1.insertAt(index, argument);
   };
   protoOf(NullRefImpl).setFunctor = function (functor) {
-    return this.$$delegate_0__1.setFunctor(functor);
+    return this.n52_1.setFunctor(functor);
   };
   protoOf(NullRefImpl).getArgAt = function (index) {
-    return this.$$delegate_0__1.getArgAt(index);
+    return this.n52_1.getArgAt(index);
   };
   protoOf(NullRefImpl).setArgs = function (args) {
-    return this.$$delegate_0__1.setArgs(args);
+    return this.n52_1.setArgs(args);
   };
   protoOf(NullRefImpl).setArgsIterable = function (args) {
-    return this.$$delegate_0__1.setArgsIterable(args);
+    return this.n52_1.setArgsIterable(args);
   };
   protoOf(NullRefImpl).setArgsSequence = function (args) {
-    return this.$$delegate_0__1.setArgsSequence(args);
+    return this.n52_1.setArgsSequence(args);
   };
   protoOf(NullRefImpl).get = function (index) {
-    return this.$$delegate_0__1.get(index);
+    return this.n52_1.get(index);
   };
-  protoOf(NullRefImpl).get_isStruct_zeoyoo_k$ = function () {
-    return this.$$delegate_0__1.get_isStruct_zeoyoo_k$();
+  protoOf(NullRefImpl).ex = function () {
+    return this.n52_1.ex();
   };
-  protoOf(NullRefImpl).get_isClause_rwzxtu_k$ = function () {
-    return this.$$delegate_0__1.get_isClause_rwzxtu_k$();
+  protoOf(NullRefImpl).fx = function () {
+    return this.n52_1.fx();
   };
-  protoOf(NullRefImpl).get_isRule_ew5ljj_k$ = function () {
-    return this.$$delegate_0__1.get_isRule_ew5ljj_k$();
+  protoOf(NullRefImpl).gx = function () {
+    return this.n52_1.gx();
   };
-  protoOf(NullRefImpl).get_isTuple_zhv5m3_k$ = function () {
-    return this.$$delegate_0__1.get_isTuple_zhv5m3_k$();
+  protoOf(NullRefImpl).jx = function () {
+    return this.n52_1.jx();
   };
-  protoOf(NullRefImpl).get_isList_ew1iwh_k$ = function () {
-    return this.$$delegate_0__1.get_isList_ew1iwh_k$();
+  protoOf(NullRefImpl).kx = function () {
+    return this.n52_1.kx();
   };
-  protoOf(NullRefImpl).get_isCons_evvwck_k$ = function () {
-    return this.$$delegate_0__1.get_isCons_evvwck_k$();
+  protoOf(NullRefImpl).lx = function () {
+    return this.n52_1.lx();
   };
-  protoOf(NullRefImpl).get_isIndicator_llw8m4_k$ = function () {
-    return this.$$delegate_0__1.get_isIndicator_llw8m4_k$();
+  protoOf(NullRefImpl).nx = function () {
+    return this.n52_1.nx();
   };
-  protoOf(NullRefImpl).get_functor_75vgt2_k$ = function () {
-    return this.$$delegate_0__1.get_functor_75vgt2_k$();
+  protoOf(NullRefImpl).yw = function () {
+    return this.n52_1.yw();
   };
-  protoOf(NullRefImpl).get_isFunctorWellFormed_fgwhjl_k$ = function () {
-    return this.$$delegate_0__1.get_isFunctorWellFormed_fgwhjl_k$();
+  protoOf(NullRefImpl).px = function () {
+    return this.n52_1.px();
   };
-  protoOf(NullRefImpl).get_indicator_39dti2_k$ = function () {
-    return this.$$delegate_0__1.get_indicator_39dti2_k$();
+  protoOf(NullRefImpl).qx = function () {
+    return this.n52_1.qx();
   };
-  protoOf(NullRefImpl).get_argsSequence_z7gge1_k$ = function () {
-    return this.$$delegate_0__1.get_argsSequence_z7gge1_k$();
+  protoOf(NullRefImpl).rx = function () {
+    return this.n52_1.rx();
   };
-  protoOf(NullRefImpl).compareTo_kfa5id_k$ = function (other) {
-    return this.$$delegate_0__1.compareTo_kfa5id_k$(other);
+  protoOf(NullRefImpl).tx = function (other) {
+    return this.n52_1.tx(other);
   };
-  protoOf(NullRefImpl).compareTo_hpufkf_k$ = function (other) {
-    return this.compareTo_kfa5id_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+  protoOf(NullRefImpl).d = function (other) {
+    return this.tx((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
   };
   protoOf(NullRefImpl).equalsUsingVarCompleteNames = function (other, useVarCompleteName) {
-    return this.$$delegate_0__1.equalsUsingVarCompleteNames(other, useVarCompleteName);
+    return this.n52_1.equalsUsingVarCompleteNames(other, useVarCompleteName);
   };
   protoOf(NullRefImpl).equals = function (other) {
-    return this.$$delegate_0__1.equals(other);
+    return this.n52_1.equals(other);
   };
   protoOf(NullRefImpl).structurallyEquals = function (other) {
-    return this.$$delegate_0__1.structurallyEquals(other);
+    return this.n52_1.structurallyEquals(other);
   };
   protoOf(NullRefImpl).castToAtom = function () {
-    return this.$$delegate_0__1.castToAtom();
+    return this.n52_1.castToAtom();
   };
   protoOf(NullRefImpl).castToClause = function () {
-    return this.$$delegate_0__1.castToClause();
+    return this.n52_1.castToClause();
   };
   protoOf(NullRefImpl).castToCons = function () {
-    return this.$$delegate_0__1.castToCons();
+    return this.n52_1.castToCons();
   };
   protoOf(NullRefImpl).castToConstant = function () {
-    return this.$$delegate_0__1.castToConstant();
+    return this.n52_1.castToConstant();
   };
   protoOf(NullRefImpl).castToDirective = function () {
-    return this.$$delegate_0__1.castToDirective();
+    return this.n52_1.castToDirective();
   };
   protoOf(NullRefImpl).castToEmptyList = function () {
-    return this.$$delegate_0__1.castToEmptyList();
+    return this.n52_1.castToEmptyList();
   };
   protoOf(NullRefImpl).castToEmptyBlock = function () {
-    return this.$$delegate_0__1.castToEmptyBlock();
+    return this.n52_1.castToEmptyBlock();
   };
   protoOf(NullRefImpl).castToFact = function () {
-    return this.$$delegate_0__1.castToFact();
+    return this.n52_1.castToFact();
   };
   protoOf(NullRefImpl).castToIndicator = function () {
-    return this.$$delegate_0__1.castToIndicator();
+    return this.n52_1.castToIndicator();
   };
   protoOf(NullRefImpl).castToInteger = function () {
-    return this.$$delegate_0__1.castToInteger();
+    return this.n52_1.castToInteger();
   };
   protoOf(NullRefImpl).castToList = function () {
-    return this.$$delegate_0__1.castToList();
+    return this.n52_1.castToList();
   };
   protoOf(NullRefImpl).castToNumeric = function () {
-    return this.$$delegate_0__1.castToNumeric();
+    return this.n52_1.castToNumeric();
   };
   protoOf(NullRefImpl).castToReal = function () {
-    return this.$$delegate_0__1.castToReal();
+    return this.n52_1.castToReal();
   };
   protoOf(NullRefImpl).castToRule = function () {
-    return this.$$delegate_0__1.castToRule();
+    return this.n52_1.castToRule();
   };
   protoOf(NullRefImpl).castToBlock = function () {
-    return this.$$delegate_0__1.castToBlock();
+    return this.n52_1.castToBlock();
   };
   protoOf(NullRefImpl).castToStruct = function () {
-    return this.$$delegate_0__1.castToStruct();
+    return this.n52_1.castToStruct();
   };
   protoOf(NullRefImpl).castToRecursive = function () {
-    return this.$$delegate_0__1.castToRecursive();
+    return this.n52_1.castToRecursive();
   };
   protoOf(NullRefImpl).castToTerm = function () {
-    return this.$$delegate_0__1.castToTerm();
+    return this.n52_1.castToTerm();
   };
   protoOf(NullRefImpl).castToTruth = function () {
-    return this.$$delegate_0__1.castToTruth();
+    return this.n52_1.castToTruth();
   };
   protoOf(NullRefImpl).castToTuple = function () {
-    return this.$$delegate_0__1.castToTuple();
+    return this.n52_1.castToTuple();
   };
   protoOf(NullRefImpl).castToVar = function () {
-    return this.$$delegate_0__1.castToVar();
+    return this.n52_1.castToVar();
   };
   protoOf(NullRefImpl).asClause = function () {
-    return this.$$delegate_0__1.asClause();
+    return this.n52_1.asClause();
   };
   protoOf(NullRefImpl).asCons = function () {
-    return this.$$delegate_0__1.asCons();
+    return this.n52_1.asCons();
   };
   protoOf(NullRefImpl).asDirective = function () {
-    return this.$$delegate_0__1.asDirective();
+    return this.n52_1.asDirective();
   };
   protoOf(NullRefImpl).asEmptyList = function () {
-    return this.$$delegate_0__1.asEmptyList();
+    return this.n52_1.asEmptyList();
   };
   protoOf(NullRefImpl).asEmptyBlock = function () {
-    return this.$$delegate_0__1.asEmptyBlock();
+    return this.n52_1.asEmptyBlock();
   };
   protoOf(NullRefImpl).asFact = function () {
-    return this.$$delegate_0__1.asFact();
+    return this.n52_1.asFact();
   };
   protoOf(NullRefImpl).asIndicator = function () {
-    return this.$$delegate_0__1.asIndicator();
+    return this.n52_1.asIndicator();
   };
   protoOf(NullRefImpl).asInteger = function () {
-    return this.$$delegate_0__1.asInteger();
+    return this.n52_1.asInteger();
   };
   protoOf(NullRefImpl).asList = function () {
-    return this.$$delegate_0__1.asList();
+    return this.n52_1.asList();
   };
   protoOf(NullRefImpl).asNumeric = function () {
-    return this.$$delegate_0__1.asNumeric();
+    return this.n52_1.asNumeric();
   };
   protoOf(NullRefImpl).asReal = function () {
-    return this.$$delegate_0__1.asReal();
+    return this.n52_1.asReal();
   };
   protoOf(NullRefImpl).asRule = function () {
-    return this.$$delegate_0__1.asRule();
+    return this.n52_1.asRule();
   };
   protoOf(NullRefImpl).asBlock = function () {
-    return this.$$delegate_0__1.asBlock();
+    return this.n52_1.asBlock();
   };
   protoOf(NullRefImpl).asRecursive = function () {
-    return this.$$delegate_0__1.asRecursive();
+    return this.n52_1.asRecursive();
   };
   protoOf(NullRefImpl).asTerm = function () {
-    return this.$$delegate_0__1.asTerm();
+    return this.n52_1.asTerm();
   };
   protoOf(NullRefImpl).asTruth = function () {
-    return this.$$delegate_0__1.asTruth();
+    return this.n52_1.asTruth();
   };
   protoOf(NullRefImpl).asTuple = function () {
-    return this.$$delegate_0__1.asTuple();
+    return this.n52_1.asTuple();
   };
   protoOf(NullRefImpl).asVar = function () {
-    return this.$$delegate_0__1.asVar();
+    return this.n52_1.asVar();
   };
   protoOf(NullRefImpl).hashCode = function () {
-    return this.$$delegate_0__1.hashCode();
+    return this.n52_1.hashCode();
   };
   protoOf(NullRefImpl).toString = function () {
-    return this.$$delegate_0__1.toString();
+    return this.n52_1.toString();
   };
-  protoOf(NullRefImpl).get_isVar_it73p0_k$ = function () {
-    return this.$$delegate_0__1.get_isVar_it73p0_k$();
+  protoOf(NullRefImpl).ux = function () {
+    return this.n52_1.ux();
   };
-  protoOf(NullRefImpl).get_isTruth_zhwyo8_k$ = function () {
-    return this.$$delegate_0__1.get_isTruth_zhwyo8_k$();
+  protoOf(NullRefImpl).vx = function () {
+    return this.n52_1.vx();
   };
-  protoOf(NullRefImpl).get_isRecursive_id8h1d_k$ = function () {
-    return this.$$delegate_0__1.get_isRecursive_id8h1d_k$();
+  protoOf(NullRefImpl).wx = function () {
+    return this.n52_1.wx();
   };
-  protoOf(NullRefImpl).get_isNumber_x9n6xo_k$ = function () {
-    return this.$$delegate_0__1.get_isNumber_x9n6xo_k$();
+  protoOf(NullRefImpl).yx = function () {
+    return this.n52_1.yx();
   };
-  protoOf(NullRefImpl).get_isInteger_vb3zt7_k$ = function () {
-    return this.$$delegate_0__1.get_isInteger_vb3zt7_k$();
+  protoOf(NullRefImpl).zx = function () {
+    return this.n52_1.zx();
   };
-  protoOf(NullRefImpl).get_isReal_ew59f5_k$ = function () {
-    return this.$$delegate_0__1.get_isReal_ew59f5_k$();
+  protoOf(NullRefImpl).ay = function () {
+    return this.n52_1.ay();
   };
   protoOf(NullRefImpl).getTag = function (name) {
-    return this.$$delegate_0__1.getTag(name);
+    return this.n52_1.getTag(name);
   };
   protoOf(NullRefImpl).resetTags = function (tags) {
-    return this.$$delegate_0__1.resetTags(tags);
+    return this.n52_1.resetTags(tags);
   };
   protoOf(NullRefImpl).containsTag = function (name) {
-    return this.$$delegate_0__1.containsTag(name);
+    return this.n52_1.containsTag(name);
   };
-  protoOf(NullRefImpl).get_tags_wousf6_k$ = function () {
-    return this.$$delegate_0__1.get_tags_wousf6_k$();
+  protoOf(NullRefImpl).du = function () {
+    return this.n52_1.du();
   };
-  protoOf(NullRefImpl).get_isGround_twq4nu_k$ = function () {
-    return this.$$delegate_0__1.get_isGround_twq4nu_k$();
+  protoOf(NullRefImpl).cy = function () {
+    return this.n52_1.cy();
   };
   var NullRefImpl_instance;
   function NullRefImpl_getInstance() {
@@ -1028,349 +1028,349 @@
     return NullRefImpl_instance;
   }
   function ObjectRefImpl(object) {
-    this.$$delegate_0__1 = Companion_getInstance_0().of(Companion_getInstance_10().nameOf_kdy799_k$(object));
-    this.object_1 = object;
+    this.o52_1 = Companion_getInstance_0().of(Companion_getInstance_10().j51(object));
+    this.p52_1 = object;
   }
-  protoOf(ObjectRefImpl).get_object_hhhtfs_k$ = function () {
-    return this.object_1;
+  protoOf(ObjectRefImpl).b51 = function () {
+    return this.p52_1;
   };
-  protoOf(ObjectRefImpl).get_isConstant_scia2f_k$ = function () {
+  protoOf(ObjectRefImpl).xx = function () {
     return true;
   };
-  protoOf(ObjectRefImpl).asConstant_3hn112_k$ = function () {
+  protoOf(ObjectRefImpl).by = function () {
     return this;
   };
   protoOf(ObjectRefImpl).asConstant = function () {
-    return this.asConstant_3hn112_k$();
+    return this.by();
   };
-  protoOf(ObjectRefImpl).invoke_yaglp8_k$ = function (objectConverter, methodName, arguments_0) {
-    return invoke_0(this.object_1, objectConverter, methodName, arguments_0);
+  protoOf(ObjectRefImpl).c51 = function (objectConverter, methodName, arguments_0) {
+    return invoke_0(this.p52_1, objectConverter, methodName, arguments_0);
   };
-  protoOf(ObjectRefImpl).assign_9qr39z_k$ = function (objectConverter, propertyName, value) {
-    assign_0(this.object_1, objectConverter, propertyName, value);
+  protoOf(ObjectRefImpl).d51 = function (objectConverter, propertyName, value) {
+    assign_0(this.p52_1, objectConverter, propertyName, value);
     return true;
   };
-  protoOf(ObjectRefImpl).freshCopy_fcm65_k$ = function () {
+  protoOf(ObjectRefImpl).bx = function () {
     return this;
   };
   protoOf(ObjectRefImpl).freshCopy = function () {
-    return this.freshCopy_fcm65_k$();
+    return this.bx();
   };
-  protoOf(ObjectRefImpl).freshCopyFromScope_tnhsyi_k$ = function (scope) {
+  protoOf(ObjectRefImpl).cx = function (scope) {
     return this;
   };
   protoOf(ObjectRefImpl).freshCopyFromScope = function (scope) {
-    return this.freshCopyFromScope_tnhsyi_k$(scope);
+    return this.cx(scope);
   };
-  protoOf(ObjectRefImpl).castTo_8vzplt_k$ = function () {
+  protoOf(ObjectRefImpl).sx = function () {
     return isInterface(this, Term) ? this : THROW_CCE();
   };
-  protoOf(ObjectRefImpl).castTo_mm7cm3_k$ = function () {
-    return this.castTo_8vzplt_k$();
+  protoOf(ObjectRefImpl).pr = function () {
+    return this.sx();
   };
-  protoOf(ObjectRefImpl).applySubstitution_t7osbf_k$ = function (substitution) {
+  protoOf(ObjectRefImpl).r17 = function (substitution) {
     return this;
   };
   protoOf(ObjectRefImpl).applySubstitution = function (substitution) {
-    return this.applySubstitution_t7osbf_k$(substitution);
+    return this.r17(substitution);
   };
-  protoOf(ObjectRefImpl).apply_jso7fw_k$ = function (substitution, substitutions) {
+  protoOf(ObjectRefImpl).g2u = function (substitution, substitutions) {
     return this;
   };
   protoOf(ObjectRefImpl).apply = function (substitution, substitutions) {
-    return this.apply_jso7fw_k$(substitution, substitutions);
+    return this.g2u(substitution, substitutions);
   };
-  protoOf(ObjectRefImpl).getSubstituted_8310r6_k$ = function (substitution, substitutions) {
+  protoOf(ObjectRefImpl).f2u = function (substitution, substitutions) {
     return this;
   };
   protoOf(ObjectRefImpl).getSubstituted = function (substitution, substitutions) {
-    return this.getSubstituted_8310r6_k$(substitution, substitutions);
+    return this.f2u(substitution, substitutions);
   };
-  protoOf(ObjectRefImpl).accept_bf9pe1_k$ = function (visitor) {
+  protoOf(ObjectRefImpl).x16 = function (visitor) {
     return visitor.visitAtom(this);
   };
   protoOf(ObjectRefImpl).accept = function (visitor) {
-    return this.accept_bf9pe1_k$(visitor);
+    return this.x16(visitor);
   };
-  protoOf(ObjectRefImpl).asAtom_nbael9_k$ = function () {
-    return this.$$delegate_0__1.asAtom_nbael9_k$();
+  protoOf(ObjectRefImpl).dx = function () {
+    return this.o52_1.dx();
   };
   protoOf(ObjectRefImpl).asAtom = function () {
-    return this.asAtom_nbael9_k$();
+    return this.dx();
   };
-  protoOf(ObjectRefImpl).get_arity_iosiic_k$ = function () {
-    return this.$$delegate_0__1.get_arity_iosiic_k$();
+  protoOf(ObjectRefImpl).sw = function () {
+    return this.o52_1.sw();
   };
-  protoOf(ObjectRefImpl).get_isAtom_evuq3o_k$ = function () {
-    return this.$$delegate_0__1.get_isAtom_evuq3o_k$();
+  protoOf(ObjectRefImpl).tw = function () {
+    return this.o52_1.tw();
   };
-  protoOf(ObjectRefImpl).get_isEmptyBlock_mhm4pf_k$ = function () {
-    return this.$$delegate_0__1.get_isEmptyBlock_mhm4pf_k$();
+  protoOf(ObjectRefImpl).uw = function () {
+    return this.o52_1.uw();
   };
-  protoOf(ObjectRefImpl).get_isEmptyList_9w8q3c_k$ = function () {
-    return this.$$delegate_0__1.get_isEmptyList_9w8q3c_k$();
+  protoOf(ObjectRefImpl).vw = function () {
+    return this.o52_1.vw();
   };
-  protoOf(ObjectRefImpl).get_isTrue_ew6ti9_k$ = function () {
-    return this.$$delegate_0__1.get_isTrue_ew6ti9_k$();
+  protoOf(ObjectRefImpl).ww = function () {
+    return this.o52_1.ww();
   };
-  protoOf(ObjectRefImpl).get_value_j01efc_k$ = function () {
-    return this.$$delegate_0__1.get_value_j01efc_k$();
+  protoOf(ObjectRefImpl).f1 = function () {
+    return this.o52_1.f1();
   };
-  protoOf(ObjectRefImpl).get_argsList_cw1bs4_k$ = function () {
-    return this.$$delegate_0__1.get_argsList_cw1bs4_k$();
+  protoOf(ObjectRefImpl).zw = function () {
+    return this.o52_1.zw();
   };
-  protoOf(ObjectRefImpl).get_variables_75f0zy_k$ = function () {
-    return this.$$delegate_0__1.get_variables_75f0zy_k$();
+  protoOf(ObjectRefImpl).ax = function () {
+    return this.o52_1.ax();
   };
-  protoOf(ObjectRefImpl).asStruct_l3eul5_k$ = function () {
-    return this.$$delegate_0__1.asStruct_l3eul5_k$();
+  protoOf(ObjectRefImpl).ox = function () {
+    return this.o52_1.ox();
   };
   protoOf(ObjectRefImpl).asStruct = function () {
-    return this.asStruct_l3eul5_k$();
+    return this.ox();
   };
   protoOf(ObjectRefImpl).append = function (argument) {
-    return this.$$delegate_0__1.append(argument);
+    return this.o52_1.append(argument);
   };
   protoOf(ObjectRefImpl).addLast = function (argument) {
-    return this.$$delegate_0__1.addLast(argument);
+    return this.o52_1.addLast(argument);
   };
   protoOf(ObjectRefImpl).addFirst = function (argument) {
-    return this.$$delegate_0__1.addFirst(argument);
+    return this.o52_1.addFirst(argument);
   };
   protoOf(ObjectRefImpl).insertAt = function (index, argument) {
-    return this.$$delegate_0__1.insertAt(index, argument);
+    return this.o52_1.insertAt(index, argument);
   };
   protoOf(ObjectRefImpl).setFunctor = function (functor) {
-    return this.$$delegate_0__1.setFunctor(functor);
+    return this.o52_1.setFunctor(functor);
   };
   protoOf(ObjectRefImpl).getArgAt = function (index) {
-    return this.$$delegate_0__1.getArgAt(index);
+    return this.o52_1.getArgAt(index);
   };
   protoOf(ObjectRefImpl).setArgs = function (args) {
-    return this.$$delegate_0__1.setArgs(args);
+    return this.o52_1.setArgs(args);
   };
   protoOf(ObjectRefImpl).setArgsIterable = function (args) {
-    return this.$$delegate_0__1.setArgsIterable(args);
+    return this.o52_1.setArgsIterable(args);
   };
   protoOf(ObjectRefImpl).setArgsSequence = function (args) {
-    return this.$$delegate_0__1.setArgsSequence(args);
+    return this.o52_1.setArgsSequence(args);
   };
   protoOf(ObjectRefImpl).get = function (index) {
-    return this.$$delegate_0__1.get(index);
+    return this.o52_1.get(index);
   };
-  protoOf(ObjectRefImpl).get_isStruct_zeoyoo_k$ = function () {
-    return this.$$delegate_0__1.get_isStruct_zeoyoo_k$();
+  protoOf(ObjectRefImpl).ex = function () {
+    return this.o52_1.ex();
   };
-  protoOf(ObjectRefImpl).get_isClause_rwzxtu_k$ = function () {
-    return this.$$delegate_0__1.get_isClause_rwzxtu_k$();
+  protoOf(ObjectRefImpl).fx = function () {
+    return this.o52_1.fx();
   };
-  protoOf(ObjectRefImpl).get_isRule_ew5ljj_k$ = function () {
-    return this.$$delegate_0__1.get_isRule_ew5ljj_k$();
+  protoOf(ObjectRefImpl).gx = function () {
+    return this.o52_1.gx();
   };
-  protoOf(ObjectRefImpl).get_isTuple_zhv5m3_k$ = function () {
-    return this.$$delegate_0__1.get_isTuple_zhv5m3_k$();
+  protoOf(ObjectRefImpl).jx = function () {
+    return this.o52_1.jx();
   };
-  protoOf(ObjectRefImpl).get_isList_ew1iwh_k$ = function () {
-    return this.$$delegate_0__1.get_isList_ew1iwh_k$();
+  protoOf(ObjectRefImpl).kx = function () {
+    return this.o52_1.kx();
   };
-  protoOf(ObjectRefImpl).get_isCons_evvwck_k$ = function () {
-    return this.$$delegate_0__1.get_isCons_evvwck_k$();
+  protoOf(ObjectRefImpl).lx = function () {
+    return this.o52_1.lx();
   };
-  protoOf(ObjectRefImpl).get_isIndicator_llw8m4_k$ = function () {
-    return this.$$delegate_0__1.get_isIndicator_llw8m4_k$();
+  protoOf(ObjectRefImpl).nx = function () {
+    return this.o52_1.nx();
   };
-  protoOf(ObjectRefImpl).get_functor_75vgt2_k$ = function () {
-    return this.$$delegate_0__1.get_functor_75vgt2_k$();
+  protoOf(ObjectRefImpl).yw = function () {
+    return this.o52_1.yw();
   };
-  protoOf(ObjectRefImpl).get_isFunctorWellFormed_fgwhjl_k$ = function () {
-    return this.$$delegate_0__1.get_isFunctorWellFormed_fgwhjl_k$();
+  protoOf(ObjectRefImpl).px = function () {
+    return this.o52_1.px();
   };
-  protoOf(ObjectRefImpl).get_indicator_39dti2_k$ = function () {
-    return this.$$delegate_0__1.get_indicator_39dti2_k$();
+  protoOf(ObjectRefImpl).qx = function () {
+    return this.o52_1.qx();
   };
-  protoOf(ObjectRefImpl).get_argsSequence_z7gge1_k$ = function () {
-    return this.$$delegate_0__1.get_argsSequence_z7gge1_k$();
+  protoOf(ObjectRefImpl).rx = function () {
+    return this.o52_1.rx();
   };
-  protoOf(ObjectRefImpl).compareTo_kfa5id_k$ = function (other) {
-    return this.$$delegate_0__1.compareTo_kfa5id_k$(other);
+  protoOf(ObjectRefImpl).tx = function (other) {
+    return this.o52_1.tx(other);
   };
-  protoOf(ObjectRefImpl).compareTo_hpufkf_k$ = function (other) {
-    return this.compareTo_kfa5id_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+  protoOf(ObjectRefImpl).d = function (other) {
+    return this.tx((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
   };
   protoOf(ObjectRefImpl).equalsUsingVarCompleteNames = function (other, useVarCompleteName) {
-    return this.$$delegate_0__1.equalsUsingVarCompleteNames(other, useVarCompleteName);
+    return this.o52_1.equalsUsingVarCompleteNames(other, useVarCompleteName);
   };
   protoOf(ObjectRefImpl).equals = function (other) {
-    return this.$$delegate_0__1.equals(other);
+    return this.o52_1.equals(other);
   };
   protoOf(ObjectRefImpl).structurallyEquals = function (other) {
-    return this.$$delegate_0__1.structurallyEquals(other);
+    return this.o52_1.structurallyEquals(other);
   };
   protoOf(ObjectRefImpl).castToAtom = function () {
-    return this.$$delegate_0__1.castToAtom();
+    return this.o52_1.castToAtom();
   };
   protoOf(ObjectRefImpl).castToClause = function () {
-    return this.$$delegate_0__1.castToClause();
+    return this.o52_1.castToClause();
   };
   protoOf(ObjectRefImpl).castToCons = function () {
-    return this.$$delegate_0__1.castToCons();
+    return this.o52_1.castToCons();
   };
   protoOf(ObjectRefImpl).castToConstant = function () {
-    return this.$$delegate_0__1.castToConstant();
+    return this.o52_1.castToConstant();
   };
   protoOf(ObjectRefImpl).castToDirective = function () {
-    return this.$$delegate_0__1.castToDirective();
+    return this.o52_1.castToDirective();
   };
   protoOf(ObjectRefImpl).castToEmptyList = function () {
-    return this.$$delegate_0__1.castToEmptyList();
+    return this.o52_1.castToEmptyList();
   };
   protoOf(ObjectRefImpl).castToEmptyBlock = function () {
-    return this.$$delegate_0__1.castToEmptyBlock();
+    return this.o52_1.castToEmptyBlock();
   };
   protoOf(ObjectRefImpl).castToFact = function () {
-    return this.$$delegate_0__1.castToFact();
+    return this.o52_1.castToFact();
   };
   protoOf(ObjectRefImpl).castToIndicator = function () {
-    return this.$$delegate_0__1.castToIndicator();
+    return this.o52_1.castToIndicator();
   };
   protoOf(ObjectRefImpl).castToInteger = function () {
-    return this.$$delegate_0__1.castToInteger();
+    return this.o52_1.castToInteger();
   };
   protoOf(ObjectRefImpl).castToList = function () {
-    return this.$$delegate_0__1.castToList();
+    return this.o52_1.castToList();
   };
   protoOf(ObjectRefImpl).castToNumeric = function () {
-    return this.$$delegate_0__1.castToNumeric();
+    return this.o52_1.castToNumeric();
   };
   protoOf(ObjectRefImpl).castToReal = function () {
-    return this.$$delegate_0__1.castToReal();
+    return this.o52_1.castToReal();
   };
   protoOf(ObjectRefImpl).castToRule = function () {
-    return this.$$delegate_0__1.castToRule();
+    return this.o52_1.castToRule();
   };
   protoOf(ObjectRefImpl).castToBlock = function () {
-    return this.$$delegate_0__1.castToBlock();
+    return this.o52_1.castToBlock();
   };
   protoOf(ObjectRefImpl).castToStruct = function () {
-    return this.$$delegate_0__1.castToStruct();
+    return this.o52_1.castToStruct();
   };
   protoOf(ObjectRefImpl).castToRecursive = function () {
-    return this.$$delegate_0__1.castToRecursive();
+    return this.o52_1.castToRecursive();
   };
   protoOf(ObjectRefImpl).castToTerm = function () {
-    return this.$$delegate_0__1.castToTerm();
+    return this.o52_1.castToTerm();
   };
   protoOf(ObjectRefImpl).castToTruth = function () {
-    return this.$$delegate_0__1.castToTruth();
+    return this.o52_1.castToTruth();
   };
   protoOf(ObjectRefImpl).castToTuple = function () {
-    return this.$$delegate_0__1.castToTuple();
+    return this.o52_1.castToTuple();
   };
   protoOf(ObjectRefImpl).castToVar = function () {
-    return this.$$delegate_0__1.castToVar();
+    return this.o52_1.castToVar();
   };
   protoOf(ObjectRefImpl).asClause = function () {
-    return this.$$delegate_0__1.asClause();
+    return this.o52_1.asClause();
   };
   protoOf(ObjectRefImpl).asCons = function () {
-    return this.$$delegate_0__1.asCons();
+    return this.o52_1.asCons();
   };
   protoOf(ObjectRefImpl).asDirective = function () {
-    return this.$$delegate_0__1.asDirective();
+    return this.o52_1.asDirective();
   };
   protoOf(ObjectRefImpl).asEmptyList = function () {
-    return this.$$delegate_0__1.asEmptyList();
+    return this.o52_1.asEmptyList();
   };
   protoOf(ObjectRefImpl).asEmptyBlock = function () {
-    return this.$$delegate_0__1.asEmptyBlock();
+    return this.o52_1.asEmptyBlock();
   };
   protoOf(ObjectRefImpl).asFact = function () {
-    return this.$$delegate_0__1.asFact();
+    return this.o52_1.asFact();
   };
   protoOf(ObjectRefImpl).asIndicator = function () {
-    return this.$$delegate_0__1.asIndicator();
+    return this.o52_1.asIndicator();
   };
   protoOf(ObjectRefImpl).asInteger = function () {
-    return this.$$delegate_0__1.asInteger();
+    return this.o52_1.asInteger();
   };
   protoOf(ObjectRefImpl).asList = function () {
-    return this.$$delegate_0__1.asList();
+    return this.o52_1.asList();
   };
   protoOf(ObjectRefImpl).asNumeric = function () {
-    return this.$$delegate_0__1.asNumeric();
+    return this.o52_1.asNumeric();
   };
   protoOf(ObjectRefImpl).asReal = function () {
-    return this.$$delegate_0__1.asReal();
+    return this.o52_1.asReal();
   };
   protoOf(ObjectRefImpl).asRule = function () {
-    return this.$$delegate_0__1.asRule();
+    return this.o52_1.asRule();
   };
   protoOf(ObjectRefImpl).asBlock = function () {
-    return this.$$delegate_0__1.asBlock();
+    return this.o52_1.asBlock();
   };
   protoOf(ObjectRefImpl).asRecursive = function () {
-    return this.$$delegate_0__1.asRecursive();
+    return this.o52_1.asRecursive();
   };
   protoOf(ObjectRefImpl).asTerm = function () {
-    return this.$$delegate_0__1.asTerm();
+    return this.o52_1.asTerm();
   };
   protoOf(ObjectRefImpl).asTruth = function () {
-    return this.$$delegate_0__1.asTruth();
+    return this.o52_1.asTruth();
   };
   protoOf(ObjectRefImpl).asTuple = function () {
-    return this.$$delegate_0__1.asTuple();
+    return this.o52_1.asTuple();
   };
   protoOf(ObjectRefImpl).asVar = function () {
-    return this.$$delegate_0__1.asVar();
+    return this.o52_1.asVar();
   };
   protoOf(ObjectRefImpl).hashCode = function () {
-    return this.$$delegate_0__1.hashCode();
+    return this.o52_1.hashCode();
   };
   protoOf(ObjectRefImpl).toString = function () {
-    return this.$$delegate_0__1.toString();
+    return this.o52_1.toString();
   };
-  protoOf(ObjectRefImpl).get_isVar_it73p0_k$ = function () {
-    return this.$$delegate_0__1.get_isVar_it73p0_k$();
+  protoOf(ObjectRefImpl).ux = function () {
+    return this.o52_1.ux();
   };
-  protoOf(ObjectRefImpl).get_isTruth_zhwyo8_k$ = function () {
-    return this.$$delegate_0__1.get_isTruth_zhwyo8_k$();
+  protoOf(ObjectRefImpl).vx = function () {
+    return this.o52_1.vx();
   };
-  protoOf(ObjectRefImpl).get_isRecursive_id8h1d_k$ = function () {
-    return this.$$delegate_0__1.get_isRecursive_id8h1d_k$();
+  protoOf(ObjectRefImpl).wx = function () {
+    return this.o52_1.wx();
   };
-  protoOf(ObjectRefImpl).get_isNumber_x9n6xo_k$ = function () {
-    return this.$$delegate_0__1.get_isNumber_x9n6xo_k$();
+  protoOf(ObjectRefImpl).yx = function () {
+    return this.o52_1.yx();
   };
-  protoOf(ObjectRefImpl).get_isInteger_vb3zt7_k$ = function () {
-    return this.$$delegate_0__1.get_isInteger_vb3zt7_k$();
+  protoOf(ObjectRefImpl).zx = function () {
+    return this.o52_1.zx();
   };
-  protoOf(ObjectRefImpl).get_isReal_ew59f5_k$ = function () {
-    return this.$$delegate_0__1.get_isReal_ew59f5_k$();
+  protoOf(ObjectRefImpl).ay = function () {
+    return this.o52_1.ay();
   };
   protoOf(ObjectRefImpl).getTag = function (name) {
-    return this.$$delegate_0__1.getTag(name);
+    return this.o52_1.getTag(name);
   };
   protoOf(ObjectRefImpl).resetTags = function (tags) {
-    return this.$$delegate_0__1.resetTags(tags);
+    return this.o52_1.resetTags(tags);
   };
   protoOf(ObjectRefImpl).containsTag = function (name) {
-    return this.$$delegate_0__1.containsTag(name);
+    return this.o52_1.containsTag(name);
   };
-  protoOf(ObjectRefImpl).get_tags_wousf6_k$ = function () {
-    return this.$$delegate_0__1.get_tags_wousf6_k$();
+  protoOf(ObjectRefImpl).du = function () {
+    return this.o52_1.du();
   };
-  protoOf(ObjectRefImpl).get_isGround_twq4nu_k$ = function () {
-    return this.$$delegate_0__1.get_isGround_twq4nu_k$();
+  protoOf(ObjectRefImpl).cy = function () {
+    return this.o52_1.cy();
   };
   function ObjectToTermConverterImpl() {
-    this.numberTypeTester_1 = new NumberTypeTester();
+    this.q52_1 = new NumberTypeTester();
   }
-  protoOf(ObjectToTermConverterImpl).convert_2fnsng_k$ = function (source) {
+  protoOf(ObjectToTermConverterImpl).q51 = function (source) {
     // Inline function 'kotlin.with' call
-    var $this$with = this.numberTypeTester_1;
+    var $this$with = this.q52_1;
     var tmp;
     if (source == null) {
-      tmp = Companion_getInstance_10().NULL_1;
+      tmp = Companion_getInstance_10().i51_1;
     } else {
       if (typeof source === 'string') {
         tmp = Companion_getInstance_0().of(source);
@@ -1382,18 +1382,18 @@
             tmp = Companion_getInstance_2().ofBigDecimal(source);
           } else {
             if (isNumber(source)) {
-              tmp = $this$with.get_isInteger_cpv3bm_k$(source) ? Companion_getInstance_3().ofBigInteger($this$with.toInteger_cr7ezq_k$(source)) : Companion_getInstance_2().ofBigDecimal($this$with.toDecimal_f0xy7b_k$(source));
+              tmp = $this$with.vt(source) ? Companion_getInstance_3().ofBigInteger($this$with.wt(source)) : Companion_getInstance_2().ofBigDecimal($this$with.xt(source));
             } else {
               if (source instanceof Char) {
                 var tmp_0 = Companion_getInstance_0();
                 // Inline function 'kotlin.charArrayOf' call
-                var tmp$ret$2 = charArrayOf([source.value_1]);
+                var tmp$ret$2 = charArrayOf([source.r1_1]);
                 tmp = tmp_0.of(concatToString(tmp$ret$2));
               } else {
                 if (typeof source === 'boolean') {
                   tmp = Companion_getInstance_1().of(source);
                 } else {
-                  tmp = Companion_getInstance_10().of_u40ndk_k$(source);
+                  tmp = Companion_getInstance_10().k51(source);
                 }
               }
             }
@@ -1406,7 +1406,7 @@
   function explicitConversion($this, castExpression, term, type) {
     var targetType = getType($this, castExpression, type);
     try {
-      return $this.convertInto_62bmhg_k$(targetType, term);
+      return $this.w51(targetType, term);
     } catch ($p) {
       if ($p instanceof TermToObjectConversionException) {
         var e = $p;
@@ -1424,10 +1424,10 @@
   function getType($this, castExpression, typeTerm) {
     var tmp;
     if (isInterface(typeTerm, TypeRef)) {
-      tmp = typeTerm.get_type_wovaf7_k$();
+      tmp = typeTerm.u27();
     } else {
       if (isInterface(typeTerm, Atom)) {
-        var tmp1_elvis_lhs = $this.typeFactory_1.typeFromName_xpqoph_k$(typeTerm.get_value_j01efc_k$());
+        var tmp1_elvis_lhs = $this.r52_1.b52(typeTerm.f1());
         var tmp_0;
         if (tmp1_elvis_lhs == null) {
           throw TermToObjectConversionException_init_$Create$(castExpression);
@@ -1439,10 +1439,10 @@
         if (isInterface(typeTerm, Struct)) {
           var tmp_1;
           if (Companion_getInstance().matches(typeTerm, get_DEALIASING_TEMPLATE())) {
-            var ref = $this.dealiaser_1(typeTerm);
+            var ref = $this.s52_1(typeTerm);
             var tmp_2;
             if (!(ref == null) ? isInterface(ref, TypeRef) : false) {
-              tmp_2 = ref.get_type_wovaf7_k$();
+              tmp_2 = ref.u27();
             } else {
               throw TermToObjectConversionException_init_$Create$(castExpression);
             }
@@ -1467,50 +1467,50 @@
       tmp_0 = isInterface(term, Var);
     }
     if (tmp_0) {
-      tmp = sequenceOf(PrimitiveClasses_getInstance().get_nothingClass_7ivpcc_k$());
+      tmp = sequenceOf(PrimitiveClasses_getInstance().z9());
     } else {
       if (isInterface(term, ObjectRef)) {
-        tmp = sequenceOf(getKClassFromExpression(term.get_object_hhhtfs_k$()));
+        tmp = sequenceOf(getKClassFromExpression(term.b51()));
       } else {
         if (isInterface(term, Truth)) {
-          tmp = sequenceOf_0([PrimitiveClasses_getInstance().get_booleanClass_d285fr_k$(), PrimitiveClasses_getInstance().get_stringClass_bik2gy_k$()]);
+          tmp = sequenceOf_0([PrimitiveClasses_getInstance().aa(), PrimitiveClasses_getInstance().ia()]);
         } else {
           if (isInterface(term, Atom)) {
-            var admissible = sequenceOf(PrimitiveClasses_getInstance().get_stringClass_bik2gy_k$());
-            if (term.get_value_j01efc_k$().length === 1) {
+            var admissible = sequenceOf(PrimitiveClasses_getInstance().ia());
+            if (term.f1().length === 1) {
               admissible = plus(admissible, sequenceOf(getKClass(Char)));
             }
             tmp = admissible;
           } else {
             if (isInterface(term, Real)) {
-              tmp = sequenceOf_0([getKClass(BigDecimal), PrimitiveClasses_getInstance().get_doubleClass_dahzcy_k$(), PrimitiveClasses_getInstance().get_floatClass_xlwq2t_k$()]);
+              tmp = sequenceOf_0([getKClass(BigDecimal), PrimitiveClasses_getInstance().ga(), PrimitiveClasses_getInstance().fa()]);
             } else {
               if (isInterface(term, Integer)) {
                 var admissible_0 = sequenceOf(getKClass(BigInteger));
-                if (Companion_getInstance_4().ofLong(-9223372036854775808n).rangeTo(Companion_getInstance_4().ofLong(9223372036854775807n)).contains_3tkdvy_k$(term.get_intValue_mlvnn9_k$())) {
-                  admissible_0 = plus(admissible_0, sequenceOf(PrimitiveClasses_getInstance().get_longClass_a79cj7_k$()));
+                if (Companion_getInstance_4().ofLong(-9223372036854775808n).rangeTo(Companion_getInstance_4().ofLong(9223372036854775807n)).i1(term.g11())) {
+                  admissible_0 = plus(admissible_0, sequenceOf(PrimitiveClasses_getInstance().ea()));
                 }
-                if (Companion_getInstance_4().of(-2147483648).rangeTo(Companion_getInstance_4().of(2147483647)).contains_3tkdvy_k$(term.get_intValue_mlvnn9_k$())) {
-                  admissible_0 = plus(admissible_0, sequenceOf(PrimitiveClasses_getInstance().get_intClass_mw4y9a_k$()));
+                if (Companion_getInstance_4().of(-2147483648).rangeTo(Companion_getInstance_4().of(2147483647)).i1(term.g11())) {
+                  admissible_0 = plus(admissible_0, sequenceOf(PrimitiveClasses_getInstance().da()));
                 }
-                if (Companion_getInstance_4().of(-32768).rangeTo(Companion_getInstance_4().of(32767)).contains_3tkdvy_k$(term.get_intValue_mlvnn9_k$())) {
-                  admissible_0 = plus(admissible_0, sequenceOf(PrimitiveClasses_getInstance().get_shortClass_5ajsv9_k$()));
+                if (Companion_getInstance_4().of(-32768).rangeTo(Companion_getInstance_4().of(32767)).i1(term.g11())) {
+                  admissible_0 = plus(admissible_0, sequenceOf(PrimitiveClasses_getInstance().ca()));
                 }
-                if (Companion_getInstance_4().of(-128).rangeTo(Companion_getInstance_4().of(127)).contains_3tkdvy_k$(term.get_intValue_mlvnn9_k$())) {
-                  admissible_0 = plus(admissible_0, sequenceOf(PrimitiveClasses_getInstance().get_byteClass_pu7s61_k$()));
+                if (Companion_getInstance_4().of(-128).rangeTo(Companion_getInstance_4().of(127)).i1(term.g11())) {
+                  admissible_0 = plus(admissible_0, sequenceOf(PrimitiveClasses_getInstance().ba()));
                 }
                 admissible_0 = plus(admissible_0, sequenceOf(getKClass(BigDecimal)));
                 var containsLower = Companion_getInstance_5().ofDouble(4.9E-324);
                 var containsUpper = Companion_getInstance_5().ofDouble(1.7976931348623157E308);
-                var containsArg = term.get_decimalValue_7pja3t_k$();
+                var containsArg = term.o11();
                 if (0 <= compareTo(containsArg, containsLower) ? compareTo(containsArg, containsUpper) <= 0 : false) {
-                  admissible_0 = plus(admissible_0, sequenceOf(PrimitiveClasses_getInstance().get_doubleClass_dahzcy_k$()));
+                  admissible_0 = plus(admissible_0, sequenceOf(PrimitiveClasses_getInstance().ga()));
                 }
                 var containsLower_0 = Companion_getInstance_5().ofFloat(1.4E-45);
                 var containsUpper_0 = Companion_getInstance_5().ofFloat(3.4028235E38);
-                var containsArg_0 = term.get_decimalValue_7pja3t_k$();
+                var containsArg_0 = term.o11();
                 if (0 <= compareTo(containsArg_0, containsLower_0) ? compareTo(containsArg_0, containsUpper_0) <= 0 : false) {
-                  admissible_0 = plus(admissible_0, sequenceOf(PrimitiveClasses_getInstance().get_floatClass_xlwq2t_k$()));
+                  admissible_0 = plus(admissible_0, sequenceOf(PrimitiveClasses_getInstance().fa()));
                 }
                 tmp = admissible_0;
               } else {
@@ -1519,7 +1519,7 @@
                   if (Companion_getInstance().matches(term, get_CAST_TEMPLATE())) {
                     tmp_1 = sequenceOf(getType($this, term, term.get(1)));
                   } else if (Companion_getInstance().matches(term, get_DEALIASING_TEMPLATE())) {
-                    var ref = $this.dealiaser_1(term);
+                    var ref = $this.s52_1(term);
                     var tmp_2;
                     if (!(ref == null) ? isInterface(ref, ObjectRef) : false) {
                       tmp_2 = admissibleTypesByPriority($this, ref);
@@ -1543,10 +1543,10 @@
     return tmp;
   }
   function TermToObjectConverterImpl(typeFactory, dealiaser) {
-    this.typeFactory_1 = typeFactory;
-    this.dealiaser_1 = dealiaser;
+    this.r52_1 = typeFactory;
+    this.s52_1 = dealiaser;
   }
-  protoOf(TermToObjectConverterImpl).convertInto_62bmhg_k$ = function (type, term) {
+  protoOf(TermToObjectConverterImpl).w51 = function (type, term) {
     var tmp;
     var tmp_0;
     if (isInterface(term, NullRef)) {
@@ -1565,8 +1565,8 @@
     } else {
       if (isInterface(term, ObjectRef)) {
         var tmp_2;
-        if (isSubtypeOf(getKClassFromExpression(term.get_object_hhhtfs_k$()), type)) {
-          tmp_2 = term.get_object_hhhtfs_k$();
+        if (isSubtypeOf(getKClassFromExpression(term.b51()), type)) {
+          tmp_2 = term.b51();
         } else {
           throw new TermToObjectConversionException(term, type);
         }
@@ -1574,10 +1574,10 @@
       } else {
         if (isInterface(term, Truth)) {
           var tmp_3;
-          if (isSubtypeOf(PrimitiveClasses_getInstance().get_booleanClass_d285fr_k$(), type)) {
-            tmp_3 = term.get_isTrue_ew6ti9_k$();
-          } else if (isSubtypeOf(PrimitiveClasses_getInstance().get_stringClass_bik2gy_k$(), type)) {
-            tmp_3 = term.get_value_j01efc_k$();
+          if (isSubtypeOf(PrimitiveClasses_getInstance().aa(), type)) {
+            tmp_3 = term.ww();
+          } else if (isSubtypeOf(PrimitiveClasses_getInstance().ia(), type)) {
+            tmp_3 = term.f1();
           } else {
             throw new TermToObjectConversionException(term, type);
           }
@@ -1585,12 +1585,12 @@
         } else {
           if (isInterface(term, Atom)) {
             var tmp_4;
-            if (isSubtypeOf(PrimitiveClasses_getInstance().get_stringClass_bik2gy_k$(), type)) {
-              tmp_4 = term.get_value_j01efc_k$();
+            if (isSubtypeOf(PrimitiveClasses_getInstance().ia(), type)) {
+              tmp_4 = term.f1();
             } else if (isSubtypeOf(getKClass(Char), type)) {
               var tmp_5;
-              if (term.get_value_j01efc_k$().length === 1) {
-                tmp_5 = charCodeAt(term.get_value_j01efc_k$(), 0);
+              if (term.f1().length === 1) {
+                tmp_5 = charCodeAt(term.f1(), 0);
               } else {
                 throw new TermToObjectConversionException(term, type);
               }
@@ -1603,11 +1603,11 @@
             if (isInterface(term, Real)) {
               var tmp_6;
               if (isSubtypeOf(getKClass(BigDecimal), type)) {
-                tmp_6 = term.get_decimalValue_7pja3t_k$();
-              } else if (isSubtypeOf(PrimitiveClasses_getInstance().get_doubleClass_dahzcy_k$(), type)) {
-                tmp_6 = term.get_decimalValue_7pja3t_k$().toDouble();
-              } else if (isSubtypeOf(PrimitiveClasses_getInstance().get_floatClass_xlwq2t_k$(), type)) {
-                tmp_6 = term.get_decimalValue_7pja3t_k$().toFloat();
+                tmp_6 = term.o11();
+              } else if (isSubtypeOf(PrimitiveClasses_getInstance().ga(), type)) {
+                tmp_6 = term.o11().toDouble();
+              } else if (isSubtypeOf(PrimitiveClasses_getInstance().fa(), type)) {
+                tmp_6 = term.o11().toFloat();
               } else {
                 throw new TermToObjectConversionException(term, type);
               }
@@ -1616,21 +1616,21 @@
               if (isInterface(term, Integer)) {
                 var tmp_7;
                 if (isSubtypeOf(getKClass(BigInteger), type)) {
-                  tmp_7 = term.get_intValue_mlvnn9_k$();
-                } else if (isSubtypeOf(PrimitiveClasses_getInstance().get_longClass_a79cj7_k$(), type)) {
-                  tmp_7 = term.get_intValue_mlvnn9_k$().toLongExact();
-                } else if (isSubtypeOf(PrimitiveClasses_getInstance().get_intClass_mw4y9a_k$(), type)) {
-                  tmp_7 = term.get_intValue_mlvnn9_k$().toIntExact();
-                } else if (isSubtypeOf(PrimitiveClasses_getInstance().get_shortClass_5ajsv9_k$(), type)) {
-                  tmp_7 = term.get_intValue_mlvnn9_k$().toShortExact();
-                } else if (isSubtypeOf(PrimitiveClasses_getInstance().get_byteClass_pu7s61_k$(), type)) {
-                  tmp_7 = term.get_intValue_mlvnn9_k$().toByteExact();
+                  tmp_7 = term.g11();
+                } else if (isSubtypeOf(PrimitiveClasses_getInstance().ea(), type)) {
+                  tmp_7 = term.g11().toLongExact();
+                } else if (isSubtypeOf(PrimitiveClasses_getInstance().da(), type)) {
+                  tmp_7 = term.g11().toIntExact();
+                } else if (isSubtypeOf(PrimitiveClasses_getInstance().ca(), type)) {
+                  tmp_7 = term.g11().toShortExact();
+                } else if (isSubtypeOf(PrimitiveClasses_getInstance().ba(), type)) {
+                  tmp_7 = term.g11().toByteExact();
                 } else if (isSubtypeOf(getKClass(BigDecimal), type)) {
-                  tmp_7 = term.get_decimalValue_7pja3t_k$();
-                } else if (isSubtypeOf(PrimitiveClasses_getInstance().get_doubleClass_dahzcy_k$(), type)) {
-                  tmp_7 = term.get_decimalValue_7pja3t_k$().toDouble();
-                } else if (isSubtypeOf(PrimitiveClasses_getInstance().get_floatClass_xlwq2t_k$(), type)) {
-                  tmp_7 = term.get_decimalValue_7pja3t_k$().toFloat();
+                  tmp_7 = term.o11();
+                } else if (isSubtypeOf(PrimitiveClasses_getInstance().ga(), type)) {
+                  tmp_7 = term.o11().toDouble();
+                } else if (isSubtypeOf(PrimitiveClasses_getInstance().fa(), type)) {
+                  tmp_7 = term.o11().toFloat();
                 } else {
                   throw new TermToObjectConversionException(term, type);
                 }
@@ -1641,10 +1641,10 @@
                   if (Companion_getInstance().matches(term, get_CAST_TEMPLATE())) {
                     tmp_8 = explicitConversion(this, term, term.get(0), term.get(1));
                   } else if (Companion_getInstance().matches(term, get_DEALIASING_TEMPLATE())) {
-                    var ref = this.dealiaser_1(term);
+                    var ref = this.s52_1(term);
                     var tmp_9;
                     if (!(ref == null) ? isInterface(ref, ObjectRef) : false) {
-                      tmp_9 = this.convertInto_62bmhg_k$(type, ref);
+                      tmp_9 = this.w51(type, ref);
                     } else {
                       throw TermToObjectConversionException_init_$Create$(term);
                     }
@@ -1669,16 +1669,16 @@
     }
     return tmp;
   };
-  protoOf(TermToObjectConverterImpl).mostAdequateType_bmnk7m_k$ = function (term) {
+  protoOf(TermToObjectConverterImpl).y51 = function (term) {
     return first(admissibleTypesByPriority(this, term));
   };
-  protoOf(TermToObjectConverterImpl).admissibleTypes_1kwmul_k$ = function (term) {
+  protoOf(TermToObjectConverterImpl).x51 = function (term) {
     return toSet(admissibleTypesByPriority(this, term));
   };
   function TypeFactoryImpl() {
   }
-  protoOf(TypeFactoryImpl).typeFromName_xpqoph_k$ = function (typeName) {
-    return kClassFromName(typeName).get_value_j01efc_k$();
+  protoOf(TypeFactoryImpl).b52 = function (typeName) {
+    return kClassFromName(typeName).f1();
   };
   function nameOf_0($this, type) {
     return '<type:' + get_fullName(type) + '>';
@@ -1690,360 +1690,360 @@
     return Companion_instance_14;
   }
   function TypeRefImpl(type) {
-    this.$$delegate_0__1 = Companion_getInstance_0().of(nameOf_0(Companion_instance_14, type));
-    this.type_1 = type;
+    this.t52_1 = Companion_getInstance_0().of(nameOf_0(Companion_instance_14, type));
+    this.u52_1 = type;
   }
-  protoOf(TypeRefImpl).get_type_wovaf7_k$ = function () {
-    return this.type_1;
+  protoOf(TypeRefImpl).u27 = function () {
+    return this.u52_1;
   };
-  protoOf(TypeRefImpl).create_1rher4_k$ = function (objectConverter, arguments_0) {
-    return create_0(this.type_1, objectConverter, arguments_0);
+  protoOf(TypeRefImpl).e52 = function (objectConverter, arguments_0) {
+    return create_0(this.u52_1, objectConverter, arguments_0);
   };
-  protoOf(TypeRefImpl).invoke_yaglp8_k$ = function (objectConverter, methodName, arguments_0) {
-    var companionObjectRef = get_companionObjectRef(this.type_1);
+  protoOf(TypeRefImpl).c51 = function (objectConverter, methodName, arguments_0) {
+    var companionObjectRef = get_companionObjectRef(this.u52_1);
     var tmp;
     if (companionObjectRef instanceof Some) {
-      tmp = invoke_0(companionObjectRef.value_1, objectConverter, methodName, arguments_0);
+      tmp = invoke_0(companionObjectRef.hr_1, objectConverter, methodName, arguments_0);
     } else {
-      tmp = invoke_1(this.type_1, objectConverter, methodName, arguments_0, null);
+      tmp = invoke_1(this.u52_1, objectConverter, methodName, arguments_0, null);
     }
     return tmp;
   };
-  protoOf(TypeRefImpl).get_isConstant_scia2f_k$ = function () {
+  protoOf(TypeRefImpl).xx = function () {
     return true;
   };
-  protoOf(TypeRefImpl).asConstant_3hn112_k$ = function () {
+  protoOf(TypeRefImpl).by = function () {
     return this;
   };
   protoOf(TypeRefImpl).asConstant = function () {
-    return this.asConstant_3hn112_k$();
+    return this.by();
   };
-  protoOf(TypeRefImpl).freshCopy_fcm65_k$ = function () {
+  protoOf(TypeRefImpl).bx = function () {
     return this;
   };
   protoOf(TypeRefImpl).freshCopy = function () {
-    return this.freshCopy_fcm65_k$();
+    return this.bx();
   };
-  protoOf(TypeRefImpl).freshCopyFromScope_tnhsyi_k$ = function (scope) {
+  protoOf(TypeRefImpl).cx = function (scope) {
     return this;
   };
   protoOf(TypeRefImpl).freshCopyFromScope = function (scope) {
-    return this.freshCopyFromScope_tnhsyi_k$(scope);
+    return this.cx(scope);
   };
-  protoOf(TypeRefImpl).castTo_8vzplt_k$ = function () {
+  protoOf(TypeRefImpl).sx = function () {
     return isInterface(this, Term) ? this : THROW_CCE();
   };
-  protoOf(TypeRefImpl).castTo_mm7cm3_k$ = function () {
-    return this.castTo_8vzplt_k$();
+  protoOf(TypeRefImpl).pr = function () {
+    return this.sx();
   };
-  protoOf(TypeRefImpl).applySubstitution_t7osbf_k$ = function (substitution) {
+  protoOf(TypeRefImpl).r17 = function (substitution) {
     return this;
   };
   protoOf(TypeRefImpl).applySubstitution = function (substitution) {
-    return this.applySubstitution_t7osbf_k$(substitution);
+    return this.r17(substitution);
   };
-  protoOf(TypeRefImpl).apply_jso7fw_k$ = function (substitution, substitutions) {
+  protoOf(TypeRefImpl).g2u = function (substitution, substitutions) {
     return this;
   };
   protoOf(TypeRefImpl).apply = function (substitution, substitutions) {
-    return this.apply_jso7fw_k$(substitution, substitutions);
+    return this.g2u(substitution, substitutions);
   };
-  protoOf(TypeRefImpl).getSubstituted_8310r6_k$ = function (substitution, substitutions) {
+  protoOf(TypeRefImpl).f2u = function (substitution, substitutions) {
     return this;
   };
   protoOf(TypeRefImpl).getSubstituted = function (substitution, substitutions) {
-    return this.getSubstituted_8310r6_k$(substitution, substitutions);
+    return this.f2u(substitution, substitutions);
   };
-  protoOf(TypeRefImpl).accept_bf9pe1_k$ = function (visitor) {
+  protoOf(TypeRefImpl).x16 = function (visitor) {
     return visitor.visitAtom(this);
   };
   protoOf(TypeRefImpl).accept = function (visitor) {
-    return this.accept_bf9pe1_k$(visitor);
+    return this.x16(visitor);
   };
-  protoOf(TypeRefImpl).assign_9qr39z_k$ = function (objectConverter, propertyName, value) {
-    var companionObjectRef = get_companionObjectRef(this.type_1);
+  protoOf(TypeRefImpl).d51 = function (objectConverter, propertyName, value) {
+    var companionObjectRef = get_companionObjectRef(this.u52_1);
     if (companionObjectRef instanceof Some)
-      assign_0(companionObjectRef.value_1, objectConverter, propertyName, value);
+      assign_0(companionObjectRef.hr_1, objectConverter, propertyName, value);
     else {
-      assign_1(this.type_1, objectConverter, propertyName, value, null);
+      assign_1(this.u52_1, objectConverter, propertyName, value, null);
     }
     return true;
   };
-  protoOf(TypeRefImpl).asAtom_nbael9_k$ = function () {
-    return this.$$delegate_0__1.asAtom_nbael9_k$();
+  protoOf(TypeRefImpl).dx = function () {
+    return this.t52_1.dx();
   };
   protoOf(TypeRefImpl).asAtom = function () {
-    return this.asAtom_nbael9_k$();
+    return this.dx();
   };
-  protoOf(TypeRefImpl).get_arity_iosiic_k$ = function () {
-    return this.$$delegate_0__1.get_arity_iosiic_k$();
+  protoOf(TypeRefImpl).sw = function () {
+    return this.t52_1.sw();
   };
-  protoOf(TypeRefImpl).get_isAtom_evuq3o_k$ = function () {
-    return this.$$delegate_0__1.get_isAtom_evuq3o_k$();
+  protoOf(TypeRefImpl).tw = function () {
+    return this.t52_1.tw();
   };
-  protoOf(TypeRefImpl).get_isEmptyBlock_mhm4pf_k$ = function () {
-    return this.$$delegate_0__1.get_isEmptyBlock_mhm4pf_k$();
+  protoOf(TypeRefImpl).uw = function () {
+    return this.t52_1.uw();
   };
-  protoOf(TypeRefImpl).get_isEmptyList_9w8q3c_k$ = function () {
-    return this.$$delegate_0__1.get_isEmptyList_9w8q3c_k$();
+  protoOf(TypeRefImpl).vw = function () {
+    return this.t52_1.vw();
   };
-  protoOf(TypeRefImpl).get_isTrue_ew6ti9_k$ = function () {
-    return this.$$delegate_0__1.get_isTrue_ew6ti9_k$();
+  protoOf(TypeRefImpl).ww = function () {
+    return this.t52_1.ww();
   };
-  protoOf(TypeRefImpl).get_value_j01efc_k$ = function () {
-    return this.$$delegate_0__1.get_value_j01efc_k$();
+  protoOf(TypeRefImpl).f1 = function () {
+    return this.t52_1.f1();
   };
-  protoOf(TypeRefImpl).get_argsList_cw1bs4_k$ = function () {
-    return this.$$delegate_0__1.get_argsList_cw1bs4_k$();
+  protoOf(TypeRefImpl).zw = function () {
+    return this.t52_1.zw();
   };
-  protoOf(TypeRefImpl).get_variables_75f0zy_k$ = function () {
-    return this.$$delegate_0__1.get_variables_75f0zy_k$();
+  protoOf(TypeRefImpl).ax = function () {
+    return this.t52_1.ax();
   };
-  protoOf(TypeRefImpl).asStruct_l3eul5_k$ = function () {
-    return this.$$delegate_0__1.asStruct_l3eul5_k$();
+  protoOf(TypeRefImpl).ox = function () {
+    return this.t52_1.ox();
   };
   protoOf(TypeRefImpl).asStruct = function () {
-    return this.asStruct_l3eul5_k$();
+    return this.ox();
   };
   protoOf(TypeRefImpl).append = function (argument) {
-    return this.$$delegate_0__1.append(argument);
+    return this.t52_1.append(argument);
   };
   protoOf(TypeRefImpl).addLast = function (argument) {
-    return this.$$delegate_0__1.addLast(argument);
+    return this.t52_1.addLast(argument);
   };
   protoOf(TypeRefImpl).addFirst = function (argument) {
-    return this.$$delegate_0__1.addFirst(argument);
+    return this.t52_1.addFirst(argument);
   };
   protoOf(TypeRefImpl).insertAt = function (index, argument) {
-    return this.$$delegate_0__1.insertAt(index, argument);
+    return this.t52_1.insertAt(index, argument);
   };
   protoOf(TypeRefImpl).setFunctor = function (functor) {
-    return this.$$delegate_0__1.setFunctor(functor);
+    return this.t52_1.setFunctor(functor);
   };
   protoOf(TypeRefImpl).getArgAt = function (index) {
-    return this.$$delegate_0__1.getArgAt(index);
+    return this.t52_1.getArgAt(index);
   };
   protoOf(TypeRefImpl).setArgs = function (args) {
-    return this.$$delegate_0__1.setArgs(args);
+    return this.t52_1.setArgs(args);
   };
   protoOf(TypeRefImpl).setArgsIterable = function (args) {
-    return this.$$delegate_0__1.setArgsIterable(args);
+    return this.t52_1.setArgsIterable(args);
   };
   protoOf(TypeRefImpl).setArgsSequence = function (args) {
-    return this.$$delegate_0__1.setArgsSequence(args);
+    return this.t52_1.setArgsSequence(args);
   };
   protoOf(TypeRefImpl).get = function (index) {
-    return this.$$delegate_0__1.get(index);
+    return this.t52_1.get(index);
   };
-  protoOf(TypeRefImpl).get_isStruct_zeoyoo_k$ = function () {
-    return this.$$delegate_0__1.get_isStruct_zeoyoo_k$();
+  protoOf(TypeRefImpl).ex = function () {
+    return this.t52_1.ex();
   };
-  protoOf(TypeRefImpl).get_isClause_rwzxtu_k$ = function () {
-    return this.$$delegate_0__1.get_isClause_rwzxtu_k$();
+  protoOf(TypeRefImpl).fx = function () {
+    return this.t52_1.fx();
   };
-  protoOf(TypeRefImpl).get_isRule_ew5ljj_k$ = function () {
-    return this.$$delegate_0__1.get_isRule_ew5ljj_k$();
+  protoOf(TypeRefImpl).gx = function () {
+    return this.t52_1.gx();
   };
-  protoOf(TypeRefImpl).get_isTuple_zhv5m3_k$ = function () {
-    return this.$$delegate_0__1.get_isTuple_zhv5m3_k$();
+  protoOf(TypeRefImpl).jx = function () {
+    return this.t52_1.jx();
   };
-  protoOf(TypeRefImpl).get_isList_ew1iwh_k$ = function () {
-    return this.$$delegate_0__1.get_isList_ew1iwh_k$();
+  protoOf(TypeRefImpl).kx = function () {
+    return this.t52_1.kx();
   };
-  protoOf(TypeRefImpl).get_isCons_evvwck_k$ = function () {
-    return this.$$delegate_0__1.get_isCons_evvwck_k$();
+  protoOf(TypeRefImpl).lx = function () {
+    return this.t52_1.lx();
   };
-  protoOf(TypeRefImpl).get_isIndicator_llw8m4_k$ = function () {
-    return this.$$delegate_0__1.get_isIndicator_llw8m4_k$();
+  protoOf(TypeRefImpl).nx = function () {
+    return this.t52_1.nx();
   };
-  protoOf(TypeRefImpl).get_functor_75vgt2_k$ = function () {
-    return this.$$delegate_0__1.get_functor_75vgt2_k$();
+  protoOf(TypeRefImpl).yw = function () {
+    return this.t52_1.yw();
   };
-  protoOf(TypeRefImpl).get_isFunctorWellFormed_fgwhjl_k$ = function () {
-    return this.$$delegate_0__1.get_isFunctorWellFormed_fgwhjl_k$();
+  protoOf(TypeRefImpl).px = function () {
+    return this.t52_1.px();
   };
-  protoOf(TypeRefImpl).get_indicator_39dti2_k$ = function () {
-    return this.$$delegate_0__1.get_indicator_39dti2_k$();
+  protoOf(TypeRefImpl).qx = function () {
+    return this.t52_1.qx();
   };
-  protoOf(TypeRefImpl).get_argsSequence_z7gge1_k$ = function () {
-    return this.$$delegate_0__1.get_argsSequence_z7gge1_k$();
+  protoOf(TypeRefImpl).rx = function () {
+    return this.t52_1.rx();
   };
-  protoOf(TypeRefImpl).compareTo_kfa5id_k$ = function (other) {
-    return this.$$delegate_0__1.compareTo_kfa5id_k$(other);
+  protoOf(TypeRefImpl).tx = function (other) {
+    return this.t52_1.tx(other);
   };
-  protoOf(TypeRefImpl).compareTo_hpufkf_k$ = function (other) {
-    return this.compareTo_kfa5id_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+  protoOf(TypeRefImpl).d = function (other) {
+    return this.tx((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
   };
   protoOf(TypeRefImpl).equalsUsingVarCompleteNames = function (other, useVarCompleteName) {
-    return this.$$delegate_0__1.equalsUsingVarCompleteNames(other, useVarCompleteName);
+    return this.t52_1.equalsUsingVarCompleteNames(other, useVarCompleteName);
   };
   protoOf(TypeRefImpl).equals = function (other) {
-    return this.$$delegate_0__1.equals(other);
+    return this.t52_1.equals(other);
   };
   protoOf(TypeRefImpl).structurallyEquals = function (other) {
-    return this.$$delegate_0__1.structurallyEquals(other);
+    return this.t52_1.structurallyEquals(other);
   };
   protoOf(TypeRefImpl).castToAtom = function () {
-    return this.$$delegate_0__1.castToAtom();
+    return this.t52_1.castToAtom();
   };
   protoOf(TypeRefImpl).castToClause = function () {
-    return this.$$delegate_0__1.castToClause();
+    return this.t52_1.castToClause();
   };
   protoOf(TypeRefImpl).castToCons = function () {
-    return this.$$delegate_0__1.castToCons();
+    return this.t52_1.castToCons();
   };
   protoOf(TypeRefImpl).castToConstant = function () {
-    return this.$$delegate_0__1.castToConstant();
+    return this.t52_1.castToConstant();
   };
   protoOf(TypeRefImpl).castToDirective = function () {
-    return this.$$delegate_0__1.castToDirective();
+    return this.t52_1.castToDirective();
   };
   protoOf(TypeRefImpl).castToEmptyList = function () {
-    return this.$$delegate_0__1.castToEmptyList();
+    return this.t52_1.castToEmptyList();
   };
   protoOf(TypeRefImpl).castToEmptyBlock = function () {
-    return this.$$delegate_0__1.castToEmptyBlock();
+    return this.t52_1.castToEmptyBlock();
   };
   protoOf(TypeRefImpl).castToFact = function () {
-    return this.$$delegate_0__1.castToFact();
+    return this.t52_1.castToFact();
   };
   protoOf(TypeRefImpl).castToIndicator = function () {
-    return this.$$delegate_0__1.castToIndicator();
+    return this.t52_1.castToIndicator();
   };
   protoOf(TypeRefImpl).castToInteger = function () {
-    return this.$$delegate_0__1.castToInteger();
+    return this.t52_1.castToInteger();
   };
   protoOf(TypeRefImpl).castToList = function () {
-    return this.$$delegate_0__1.castToList();
+    return this.t52_1.castToList();
   };
   protoOf(TypeRefImpl).castToNumeric = function () {
-    return this.$$delegate_0__1.castToNumeric();
+    return this.t52_1.castToNumeric();
   };
   protoOf(TypeRefImpl).castToReal = function () {
-    return this.$$delegate_0__1.castToReal();
+    return this.t52_1.castToReal();
   };
   protoOf(TypeRefImpl).castToRule = function () {
-    return this.$$delegate_0__1.castToRule();
+    return this.t52_1.castToRule();
   };
   protoOf(TypeRefImpl).castToBlock = function () {
-    return this.$$delegate_0__1.castToBlock();
+    return this.t52_1.castToBlock();
   };
   protoOf(TypeRefImpl).castToStruct = function () {
-    return this.$$delegate_0__1.castToStruct();
+    return this.t52_1.castToStruct();
   };
   protoOf(TypeRefImpl).castToRecursive = function () {
-    return this.$$delegate_0__1.castToRecursive();
+    return this.t52_1.castToRecursive();
   };
   protoOf(TypeRefImpl).castToTerm = function () {
-    return this.$$delegate_0__1.castToTerm();
+    return this.t52_1.castToTerm();
   };
   protoOf(TypeRefImpl).castToTruth = function () {
-    return this.$$delegate_0__1.castToTruth();
+    return this.t52_1.castToTruth();
   };
   protoOf(TypeRefImpl).castToTuple = function () {
-    return this.$$delegate_0__1.castToTuple();
+    return this.t52_1.castToTuple();
   };
   protoOf(TypeRefImpl).castToVar = function () {
-    return this.$$delegate_0__1.castToVar();
+    return this.t52_1.castToVar();
   };
   protoOf(TypeRefImpl).asClause = function () {
-    return this.$$delegate_0__1.asClause();
+    return this.t52_1.asClause();
   };
   protoOf(TypeRefImpl).asCons = function () {
-    return this.$$delegate_0__1.asCons();
+    return this.t52_1.asCons();
   };
   protoOf(TypeRefImpl).asDirective = function () {
-    return this.$$delegate_0__1.asDirective();
+    return this.t52_1.asDirective();
   };
   protoOf(TypeRefImpl).asEmptyList = function () {
-    return this.$$delegate_0__1.asEmptyList();
+    return this.t52_1.asEmptyList();
   };
   protoOf(TypeRefImpl).asEmptyBlock = function () {
-    return this.$$delegate_0__1.asEmptyBlock();
+    return this.t52_1.asEmptyBlock();
   };
   protoOf(TypeRefImpl).asFact = function () {
-    return this.$$delegate_0__1.asFact();
+    return this.t52_1.asFact();
   };
   protoOf(TypeRefImpl).asIndicator = function () {
-    return this.$$delegate_0__1.asIndicator();
+    return this.t52_1.asIndicator();
   };
   protoOf(TypeRefImpl).asInteger = function () {
-    return this.$$delegate_0__1.asInteger();
+    return this.t52_1.asInteger();
   };
   protoOf(TypeRefImpl).asList = function () {
-    return this.$$delegate_0__1.asList();
+    return this.t52_1.asList();
   };
   protoOf(TypeRefImpl).asNumeric = function () {
-    return this.$$delegate_0__1.asNumeric();
+    return this.t52_1.asNumeric();
   };
   protoOf(TypeRefImpl).asReal = function () {
-    return this.$$delegate_0__1.asReal();
+    return this.t52_1.asReal();
   };
   protoOf(TypeRefImpl).asRule = function () {
-    return this.$$delegate_0__1.asRule();
+    return this.t52_1.asRule();
   };
   protoOf(TypeRefImpl).asBlock = function () {
-    return this.$$delegate_0__1.asBlock();
+    return this.t52_1.asBlock();
   };
   protoOf(TypeRefImpl).asRecursive = function () {
-    return this.$$delegate_0__1.asRecursive();
+    return this.t52_1.asRecursive();
   };
   protoOf(TypeRefImpl).asTerm = function () {
-    return this.$$delegate_0__1.asTerm();
+    return this.t52_1.asTerm();
   };
   protoOf(TypeRefImpl).asTruth = function () {
-    return this.$$delegate_0__1.asTruth();
+    return this.t52_1.asTruth();
   };
   protoOf(TypeRefImpl).asTuple = function () {
-    return this.$$delegate_0__1.asTuple();
+    return this.t52_1.asTuple();
   };
   protoOf(TypeRefImpl).asVar = function () {
-    return this.$$delegate_0__1.asVar();
+    return this.t52_1.asVar();
   };
   protoOf(TypeRefImpl).hashCode = function () {
-    return this.$$delegate_0__1.hashCode();
+    return this.t52_1.hashCode();
   };
   protoOf(TypeRefImpl).toString = function () {
-    return this.$$delegate_0__1.toString();
+    return this.t52_1.toString();
   };
-  protoOf(TypeRefImpl).get_isVar_it73p0_k$ = function () {
-    return this.$$delegate_0__1.get_isVar_it73p0_k$();
+  protoOf(TypeRefImpl).ux = function () {
+    return this.t52_1.ux();
   };
-  protoOf(TypeRefImpl).get_isTruth_zhwyo8_k$ = function () {
-    return this.$$delegate_0__1.get_isTruth_zhwyo8_k$();
+  protoOf(TypeRefImpl).vx = function () {
+    return this.t52_1.vx();
   };
-  protoOf(TypeRefImpl).get_isRecursive_id8h1d_k$ = function () {
-    return this.$$delegate_0__1.get_isRecursive_id8h1d_k$();
+  protoOf(TypeRefImpl).wx = function () {
+    return this.t52_1.wx();
   };
-  protoOf(TypeRefImpl).get_isNumber_x9n6xo_k$ = function () {
-    return this.$$delegate_0__1.get_isNumber_x9n6xo_k$();
+  protoOf(TypeRefImpl).yx = function () {
+    return this.t52_1.yx();
   };
-  protoOf(TypeRefImpl).get_isInteger_vb3zt7_k$ = function () {
-    return this.$$delegate_0__1.get_isInteger_vb3zt7_k$();
+  protoOf(TypeRefImpl).zx = function () {
+    return this.t52_1.zx();
   };
-  protoOf(TypeRefImpl).get_isReal_ew59f5_k$ = function () {
-    return this.$$delegate_0__1.get_isReal_ew59f5_k$();
+  protoOf(TypeRefImpl).ay = function () {
+    return this.t52_1.ay();
   };
   protoOf(TypeRefImpl).getTag = function (name) {
-    return this.$$delegate_0__1.getTag(name);
+    return this.t52_1.getTag(name);
   };
   protoOf(TypeRefImpl).resetTags = function (tags) {
-    return this.$$delegate_0__1.resetTags(tags);
+    return this.t52_1.resetTags(tags);
   };
   protoOf(TypeRefImpl).containsTag = function (name) {
-    return this.$$delegate_0__1.containsTag(name);
+    return this.t52_1.containsTag(name);
   };
-  protoOf(TypeRefImpl).get_tags_wousf6_k$ = function () {
-    return this.$$delegate_0__1.get_tags_wousf6_k$();
+  protoOf(TypeRefImpl).du = function () {
+    return this.t52_1.du();
   };
-  protoOf(TypeRefImpl).get_isGround_twq4nu_k$ = function () {
-    return this.$$delegate_0__1.get_isGround_twq4nu_k$();
+  protoOf(TypeRefImpl).cy = function () {
+    return this.t52_1.cy();
   };
   function actuallyInvoke($this, $receiver, ref, method, resultTerm) {
-    var result = ref.invoke_yaglp8_k$(get_termToObjectConverter($receiver), method.get_functor_75vgt2_k$(), method.get_argsList_cw1bs4_k$());
+    var result = ref.c51(get_termToObjectConverter($receiver), method.yw(), method.zw());
     var tmp;
     if (result instanceof Value) {
-      tmp = Companion_getInstance_7().mgu_jyyt35_k$($receiver, resultTerm, $this.getInvocationResult_3mb3ft_k$(result));
+      tmp = Companion_getInstance_7().i2l($receiver, resultTerm, $this.w52(result));
     } else {
       tmp = Companion_getInstance_6().failed();
     }
@@ -2052,9 +2052,9 @@
   function AbstractInvoke(suffix) {
     Functional.call(this, 'invoke_' + suffix);
   }
-  protoOf(AbstractInvoke).computeOneSubstitution_omzw8j_k$ = function (_this__u8e3s4, first, second, third) {
-    Companion_getInstance_7().ensuringArgumentIsStruct_lk4yyp_k$(_this__u8e3s4, 0);
-    Companion_getInstance_7().ensuringArgumentIsStruct_lk4yyp_k$(_this__u8e3s4, 1);
+  protoOf(AbstractInvoke).j2w = function (_this__u8e3s4, first, second, third) {
+    Companion_getInstance_7().s2l(_this__u8e3s4, 0);
+    Companion_getInstance_7().s2l(_this__u8e3s4, 1);
     var method = isInterface(second, Struct) ? second : THROW_CCE();
     var tmp$ret$0;
     $l$block: {
@@ -2076,7 +2076,7 @@
       } catch ($p) {
         if ($p instanceof OopException) {
           var e = $p;
-          throw e.toLogicError_fiiu4e_k$(_this__u8e3s4.context, _this__u8e3s4.signature);
+          throw e.j52(_this__u8e3s4.context, _this__u8e3s4.signature);
         } else {
           if ($p instanceof ResolutionException) {
             var e_0 = $p;
@@ -2094,22 +2094,22 @@
     }
     return tmp$ret$0;
   };
-  protoOf(AbstractInvoke).computeOneSubstitution_c4wm0a_k$ = function (_this__u8e3s4, first, second, third) {
-    return this.computeOneSubstitution_omzw8j_k$(_this__u8e3s4, first, second, third);
+  protoOf(AbstractInvoke).t2n = function (_this__u8e3s4, first, second, third) {
+    return this.j2w(_this__u8e3s4, first, second, third);
   };
   function AbstractIterableItems$computeOneSubstitution$lambda($converter) {
     return function (it) {
-      return $converter.convert_i46eqg_k$(it);
+      return $converter.z51(it);
     };
   }
   function AbstractIterableItems$computeOneSubstitution$lambda_0(it) {
-    return Companion_getInstance_11().default_1.convert_2fnsng_k$(it);
+    return Companion_getInstance_11().l51_1.q51(it);
   }
   function AbstractIterableItems(iterable, target) {
     Functional_0.call(this, iterable + '_items');
-    this.target_1 = target;
+    this.y52_1 = target;
   }
-  protoOf(AbstractIterableItems).computeOneSubstitution_uplwem_k$ = function (_this__u8e3s4, first, second) {
+  protoOf(AbstractIterableItems).e2w = function (_this__u8e3s4, first, second) {
     var tmp;
     var tmp_0;
     if (isInterface(first, Var)) {
@@ -2119,58 +2119,58 @@
     }
     if (tmp_0) {
       // Inline function 'kotlin.let' call
-      Companion_getInstance_7().ensuringAllArgumentsAreInstantiated_60kzw2_k$(_this__u8e3s4);
+      Companion_getInstance_7().l2k(_this__u8e3s4);
       tmp = Companion_getInstance_6().failed();
     } else {
       if (isInterface(second, List)) {
         var converter = get_termToObjectConverter(_this__u8e3s4);
-        var tmp_1 = second.toSequence_lzjcyk_k$();
-        var items = this.toIterable_j8vuup_k$(map(tmp_1, AbstractIterableItems$computeOneSubstitution$lambda(converter)));
-        var objectRef = Companion_getInstance_10().of_u40ndk_k$(items);
-        tmp = Companion_getInstance_7().mgu_jyyt35_k$(_this__u8e3s4, first, objectRef);
+        var tmp_1 = second.cv();
+        var items = this.z52(map(tmp_1, AbstractIterableItems$computeOneSubstitution$lambda(converter)));
+        var objectRef = Companion_getInstance_10().k51(items);
+        tmp = Companion_getInstance_7().i2l(_this__u8e3s4, first, objectRef);
       } else {
         if (isInterface(first, ObjectRef)) {
-          var obj = first.get_object_hhhtfs_k$();
+          var obj = first.b51();
           var tmp_2;
-          if (this.get_isIterable_d32sbw_k$(obj)) {
-            var tmp_3 = this.get_items_ay3mtl_k$(!(obj == null) ? obj : THROW_CCE());
+          if (this.a53(obj)) {
+            var tmp_3 = this.b53(!(obj == null) ? obj : THROW_CCE());
             var items_0 = map(tmp_3, AbstractIterableItems$computeOneSubstitution$lambda_0);
-            tmp_2 = Companion_getInstance_7().mgu_jyyt35_k$(_this__u8e3s4, second, Companion_instance_5.ofSequence(items_0));
+            tmp_2 = Companion_getInstance_7().i2l(_this__u8e3s4, second, Companion_instance_5.ofSequence(items_0));
           } else {
             tmp_2 = Companion_getInstance_6().failed();
           }
           tmp = tmp_2;
         } else {
-          throw Companion_instance_1.forArgument_54essq_k$(_this__u8e3s4.context, _this__u8e3s4.signature, Expected_OBJECT_REFERENCE_getInstance(), first, 0);
+          throw Companion_instance_1.g2b(_this__u8e3s4.context, _this__u8e3s4.signature, Expected_OBJECT_REFERENCE_getInstance(), first, 0);
         }
       }
     }
     return tmp;
   };
-  protoOf(AbstractIterableItems).computeOneSubstitution_a2ny4b_k$ = function (_this__u8e3s4, first, second) {
-    return this.computeOneSubstitution_uplwem_k$(_this__u8e3s4, first, second);
+  protoOf(AbstractIterableItems).w2k = function (_this__u8e3s4, first, second) {
+    return this.e2w(_this__u8e3s4, first, second);
   };
   function ArrayItems() {
     ArrayItems_instance = this;
-    AbstractIterableItems.call(this, 'array', PrimitiveClasses_getInstance().get_arrayClass_udg0fc_k$());
-    this.help_1 = "`array_items(?ArrayRef, ?Items)`\n\nConverts between a Prolog list `Items` and an object reference `ArrayRef` wrapping a JVM/Kotlin array (`Object[]`) with the same elements. If `Items` is a list, each item is converted to an object (respecting `as` casts and `$Alias` references) and `ArrayRef` is unified with a reference to a fresh array; otherwise, if `ArrayRef` references an array, `Items` is unified with the list of its elements converted back to terms: strings become atoms, numbers become Prolog numbers, and other objects stay object references. Deterministic. Raises an instantiation error if both arguments are unbound, and a type error if `ArrayRef` is neither unbound nor an object reference; fails if it references something that is not an array.\n\n**Examples**\n\n```prolog\n?- array_items(A, [a, b, c]), array_items(A, L).\nL = [a, b, c].\n\n?- array_items(A, [1, 2.5]), array_items(A, L).\nL = [1, 2.5].\n\n?- new_object('java.util.ArrayList', [], L), array_items(L, Items).\nno.\n\n?- array_items(A, L).\nthrows error(instantiation_error, _).\n```";
+    AbstractIterableItems.call(this, 'array', PrimitiveClasses_getInstance().ha());
+    this.e53_1 = "`array_items(?ArrayRef, ?Items)`\n\nConverts between a Prolog list `Items` and an object reference `ArrayRef` wrapping a JVM/Kotlin array (`Object[]`) with the same elements. If `Items` is a list, each item is converted to an object (respecting `as` casts and `$Alias` references) and `ArrayRef` is unified with a reference to a fresh array; otherwise, if `ArrayRef` references an array, `Items` is unified with the list of its elements converted back to terms: strings become atoms, numbers become Prolog numbers, and other objects stay object references. Deterministic. Raises an instantiation error if both arguments are unbound, and a type error if `ArrayRef` is neither unbound nor an object reference; fails if it references something that is not an array.\n\n**Examples**\n\n```prolog\n?- array_items(A, [a, b, c]), array_items(A, L).\nL = [a, b, c].\n\n?- array_items(A, [1, 2.5]), array_items(A, L).\nL = [1, 2.5].\n\n?- new_object('java.util.ArrayList', [], L), array_items(L, Items).\nno.\n\n?- array_items(A, L).\nthrows error(instantiation_error, _).\n```";
   }
-  protoOf(ArrayItems).get_help_won7nu_k$ = function () {
-    return this.help_1;
+  protoOf(ArrayItems).i1x = function () {
+    return this.e53_1;
   };
-  protoOf(ArrayItems).toIterable_j8vuup_k$ = function (_this__u8e3s4) {
+  protoOf(ArrayItems).z52 = function (_this__u8e3s4) {
     // Inline function 'kotlin.collections.toTypedArray' call
     var this_0 = toList(_this__u8e3s4);
     return copyToArray(this_0);
   };
-  protoOf(ArrayItems).get_isIterable_d32sbw_k$ = function (_this__u8e3s4) {
+  protoOf(ArrayItems).a53 = function (_this__u8e3s4) {
     return !(_this__u8e3s4 == null) ? isArray(_this__u8e3s4) : false;
   };
-  protoOf(ArrayItems).get_items_dh9b15_k$ = function (_this__u8e3s4) {
+  protoOf(ArrayItems).f53 = function (_this__u8e3s4) {
     return asSequence_0(_this__u8e3s4);
   };
-  protoOf(ArrayItems).get_items_ay3mtl_k$ = function (_this__u8e3s4) {
-    return this.get_items_dh9b15_k$(isArray(_this__u8e3s4) ? _this__u8e3s4 : THROW_CCE());
+  protoOf(ArrayItems).b53 = function (_this__u8e3s4) {
+    return this.f53(isArray(_this__u8e3s4) ? _this__u8e3s4 : THROW_CCE());
   };
   var ArrayItems_instance;
   function ArrayItems_getInstance() {
@@ -2181,14 +2181,14 @@
   function Assign() {
     Assign_instance = this;
     Predicative.call(this, 'assign');
-    this.help_1 = "`assign(+Ref, +Property, +Value)`\n\nWrites `Value` into the public mutable property named `Property` of the object (or, for a type reference, the static/companion member) referenced by `Ref`. `Ref` must be an object or type reference (not a `$Alias` term); `Value` is converted to the property's type (it may use `as` casts or be a `$Alias` reference). If several properties share the name, the one whose type best fits `Value` is chosen. Succeeds once. Raises a type error if `Ref` is not a reference or `Property` is not an atom, an existence error if no suitable mutable property exists, and a representation error if `Value` cannot be converted. This is what `Obj.prop := Value` (see `:=/2`) lowers to.\n\n**Examples**\n\n```prolog\n?- new_object('java.awt.Point', [1, 2], P), assign(P, x, 5), X := P.x.\nX = 5.\n\n?- new_object('java.awt.Point', [1, 2], P), assign(P, nope, 5).\nthrows error(existence_error(_, _), _).\n\n?- assign(foo, x, 5).\nthrows error(type_error(_, foo), _).\n```";
+    this.h53_1 = "`assign(+Ref, +Property, +Value)`\n\nWrites `Value` into the public mutable property named `Property` of the object (or, for a type reference, the static/companion member) referenced by `Ref`. `Ref` must be an object or type reference (not a `$Alias` term); `Value` is converted to the property's type (it may use `as` casts or be a `$Alias` reference). If several properties share the name, the one whose type best fits `Value` is chosen. Succeeds once. Raises a type error if `Ref` is not a reference or `Property` is not an atom, an existence error if no suitable mutable property exists, and a representation error if `Value` cannot be converted. This is what `Obj.prop := Value` (see `:=/2`) lowers to.\n\n**Examples**\n\n```prolog\n?- new_object('java.awt.Point', [1, 2], P), assign(P, x, 5), X := P.x.\nX = 5.\n\n?- new_object('java.awt.Point', [1, 2], P), assign(P, nope, 5).\nthrows error(existence_error(_, _), _).\n\n?- assign(foo, x, 5).\nthrows error(type_error(_, foo), _).\n```";
   }
-  protoOf(Assign).get_help_won7nu_k$ = function () {
-    return this.help_1;
+  protoOf(Assign).i1x = function () {
+    return this.h53_1;
   };
-  protoOf(Assign).compute_ndmwim_k$ = function (_this__u8e3s4, first, second, third) {
-    Companion_getInstance_7().ensuringArgumentIsAtom_5kuj97_k$(_this__u8e3s4, 0);
-    Companion_getInstance_7().ensuringArgumentIsAtom_5kuj97_k$(_this__u8e3s4, 1);
+  protoOf(Assign).i53 = function (_this__u8e3s4, first, second, third) {
+    Companion_getInstance_7().x2l(_this__u8e3s4, 0);
+    Companion_getInstance_7().x2l(_this__u8e3s4, 1);
     var tmp$ret$0;
     $l$block: {
       // Inline function 'it.unibo.tuprolog.solve.libs.oop.primitives.catchingOopExceptions' call
@@ -2201,19 +2201,19 @@
         }
         var ref = tmp;
         var tmp_0;
-        if (Companion_getInstance_7().match_tf8j11_k$(_this__u8e3s4, third, get_DEALIASING_TEMPLATE())) {
+        if (Companion_getInstance_7().j2l(_this__u8e3s4, third, get_DEALIASING_TEMPLATE())) {
           tmp_0 = findRefFromAlias(_this__u8e3s4, isInterface(third, Struct) ? third : THROW_CCE());
         } else {
           tmp_0 = third;
         }
         var value = tmp_0;
         var tmp_1 = get_termToObjectConverter(_this__u8e3s4);
-        tmp$ret$0 = ref.assign_9qr39z_k$(tmp_1, (isInterface(second, Atom) ? second : THROW_CCE()).get_value_j01efc_k$(), value);
+        tmp$ret$0 = ref.d51(tmp_1, (isInterface(second, Atom) ? second : THROW_CCE()).f1(), value);
         break $l$block;
       } catch ($p) {
         if ($p instanceof OopException) {
           var e = $p;
-          throw e.toLogicError_fiiu4e_k$(_this__u8e3s4.context, _this__u8e3s4.signature);
+          throw e.j52(_this__u8e3s4.context, _this__u8e3s4.signature);
         } else {
           if ($p instanceof ResolutionException) {
             var e_0 = $p;
@@ -2231,8 +2231,8 @@
     }
     return tmp$ret$0;
   };
-  protoOf(Assign).compute_rgfli7_k$ = function (_this__u8e3s4, first, second, third) {
-    return this.compute_ndmwim_k$(_this__u8e3s4, first, second, third);
+  protoOf(Assign).v2n = function (_this__u8e3s4, first, second, third) {
+    return this.i53(_this__u8e3s4, first, second, third);
   };
   var Assign_instance;
   function Assign_getInstance() {
@@ -2245,8 +2245,8 @@
     if (type == null) {
       tmp = Companion_getInstance_6().failed();
     } else {
-      var casted = get_termToObjectConverter($receiver).convertInto_62bmhg_k$(type, term);
-      tmp = Companion_getInstance_7().mgu_jyyt35_k$($receiver, result, Companion_getInstance_10().of_u40ndk_k$(casted));
+      var casted = get_termToObjectConverter($receiver).w51(type, term);
+      tmp = Companion_getInstance_7().i2l($receiver, result, Companion_getInstance_10().k51(casted));
     }
     return tmp;
   }
@@ -2255,7 +2255,7 @@
   }
   function Cast$computeAll$lambda_0($$this$catchingOopExceptions, $first, $third, $second) {
     return function (it) {
-      return cast(Cast_getInstance(), $$this$catchingOopExceptions, $first, it, $third).plus(Companion_getInstance_7().mgu_jyyt35_k$($$this$catchingOopExceptions, $second, Companion_instance_12.of_7pw7zp_k$(it)));
+      return cast(Cast_getInstance(), $$this$catchingOopExceptions, $first, it, $third).plus(Companion_getInstance_7().i2l($$this$catchingOopExceptions, $second, Companion_instance_12.a52(it)));
     };
   }
   function Cast$computeAll$lambda_1($$this$catchingOopExceptions) {
@@ -2266,12 +2266,12 @@
   function Cast() {
     Cast_instance = this;
     TernaryRelation.call(this, 'cast');
-    this.help_1 = '`cast(+Term, ?Type, ?ObjectRef)`\n\nConverts `Term` into an instance of `Type` and unifies `ObjectRef` with a reference to the resulting object. `Type` must be a type reference or a `$Alias` reference to a type (e.g. `$long`); any other bound value raises a type error, and an unregistered alias raises an existence error. Fails if `Term` cannot be converted into `Type`. If `Type` is unbound, it enumerates on backtracking every type `Term` can be converted into (and all their supertypes), binding `Type` to a type reference each time. Use it to force a specific representation, e.g. `cast(1, $long, L)` yields a reference to a `Long` rather than an `Int`; inside method or constructor arguments, the `X as Type` notation (`as/2`) forces a conversion inline.\n\n**Examples**\n\n```prolog\n?- cast(1, $long, R), object_ref(R).\nyes.\n\n?- cast(abc, $int, R).\nno.\n```';
+    this.k53_1 = '`cast(+Term, ?Type, ?ObjectRef)`\n\nConverts `Term` into an instance of `Type` and unifies `ObjectRef` with a reference to the resulting object. `Type` must be a type reference or a `$Alias` reference to a type (e.g. `$long`); any other bound value raises a type error, and an unregistered alias raises an existence error. Fails if `Term` cannot be converted into `Type`. If `Type` is unbound, it enumerates on backtracking every type `Term` can be converted into (and all their supertypes), binding `Type` to a type reference each time. Use it to force a specific representation, e.g. `cast(1, $long, L)` yields a reference to a `Long` rather than an `Int`; inside method or constructor arguments, the `X as Type` notation (`as/2`) forces a conversion inline.\n\n**Examples**\n\n```prolog\n?- cast(1, $long, R), object_ref(R).\nyes.\n\n?- cast(abc, $int, R).\nno.\n```';
   }
-  protoOf(Cast).get_help_won7nu_k$ = function () {
-    return this.help_1;
+  protoOf(Cast).i1x = function () {
+    return this.k53_1;
   };
-  protoOf(Cast).computeAll_icj3zj_k$ = function (_this__u8e3s4, first, second, third) {
+  protoOf(Cast).l53 = function (_this__u8e3s4, first, second, third) {
     var tmp$ret$0;
     $l$block: {
       // Inline function 'it.unibo.tuprolog.solve.libs.oop.primitives.catchingOopExceptions' call
@@ -2283,7 +2283,7 @@
           var tmp_0;
           try {
             var tmp_1 = Cast_getInstance();
-            tmp_0 = sequenceOf(_this__u8e3s4.replyWith(cast(tmp_1, _this__u8e3s4, first, type == null ? null : type.get_type_wovaf7_k$(), third), VOID, []));
+            tmp_0 = sequenceOf(_this__u8e3s4.replyWith(cast(tmp_1, _this__u8e3s4, first, type == null ? null : type.u27(), third), VOID, []));
           } catch ($p) {
             var tmp_2;
             if ($p instanceof TermToObjectConversionException) {
@@ -2297,7 +2297,7 @@
           tmp = tmp_0;
         } else {
           if (isInterface(second, Var)) {
-            var tmp_3 = asSequence(get_termToObjectConverter(_this__u8e3s4).admissibleTypes_1kwmul_k$(first));
+            var tmp_3 = asSequence(get_termToObjectConverter(_this__u8e3s4).x51(first));
             var tmp_4 = distinct(flatMap(tmp_3, Cast$computeAll$lambda));
             var tmp_5 = map(tmp_4, Cast$computeAll$lambda_0(_this__u8e3s4, first, third, second));
             tmp = map(tmp_5, Cast$computeAll$lambda_1(_this__u8e3s4));
@@ -2311,7 +2311,7 @@
       } catch ($p_0) {
         if ($p_0 instanceof OopException) {
           var e = $p_0;
-          throw e.toLogicError_fiiu4e_k$(_this__u8e3s4.context, _this__u8e3s4.signature);
+          throw e.j52(_this__u8e3s4.context, _this__u8e3s4.signature);
         } else {
           if ($p_0 instanceof ResolutionException) {
             var e_0 = $p_0;
@@ -2329,8 +2329,8 @@
     }
     return tmp$ret$0;
   };
-  protoOf(Cast).computeAll_1dzsi4_k$ = function (_this__u8e3s4, first, second, third) {
-    return this.computeAll_icj3zj_k$(_this__u8e3s4, first, second, third);
+  protoOf(Cast).o2n = function (_this__u8e3s4, first, second, third) {
+    return this.l53(_this__u8e3s4, first, second, third);
   };
   var Cast_instance;
   function Cast_getInstance() {
@@ -2341,13 +2341,13 @@
   function InvokeMethod() {
     InvokeMethod_instance = this;
     AbstractInvoke.call(this, 'method');
-    this.help_1 = "`invoke_method(+Ref, +Method, ?Result)`\n\nInvokes a public member of the object referenced by `Ref` and unifies `Result` with the returned value, converted to a plain term when possible: strings and characters become atoms, numbers become numbers, booleans become `true`/`false`, `null` becomes the null reference, and any other object stays an object reference. `Ref` may be an object reference, a type reference (to call static or companion-object members) or a `$Alias` reference; `Method` is an atom (no arguments; also reads a property) or a compound `name(Arg1, ..., ArgN)`. Arguments are converted to objects and the best-matching overload is selected; use `as` casts to steer the choice. Succeeds once. Raises a type error if `Ref` is neither a reference nor a `$Alias` term, an existence error if the alias is not registered or no suitable method exists, a representation error if an argument cannot be converted, and a system error if the method itself throws. This is what `Obj.method(...)` (see `./2`) lowers to.\n\n**Examples**\n\n```prolog\n?- invoke_method($math, max(1, 2), M).\nM = 2.\n\n?- new_object('java.lang.StringBuilder', [abc], B), invoke_method(B, reverse, R), invoke_method(R, toString, S).\nS = cba.\n\n?- invoke_method($math, nope, M).\nthrows error(existence_error(_, _), _).\n\n?- invoke_method(foo, toString, R).\nthrows error(type_error(_, foo), _).\n```";
+    this.n53_1 = "`invoke_method(+Ref, +Method, ?Result)`\n\nInvokes a public member of the object referenced by `Ref` and unifies `Result` with the returned value, converted to a plain term when possible: strings and characters become atoms, numbers become numbers, booleans become `true`/`false`, `null` becomes the null reference, and any other object stays an object reference. `Ref` may be an object reference, a type reference (to call static or companion-object members) or a `$Alias` reference; `Method` is an atom (no arguments; also reads a property) or a compound `name(Arg1, ..., ArgN)`. Arguments are converted to objects and the best-matching overload is selected; use `as` casts to steer the choice. Succeeds once. Raises a type error if `Ref` is neither a reference nor a `$Alias` term, an existence error if the alias is not registered or no suitable method exists, a representation error if an argument cannot be converted, and a system error if the method itself throws. This is what `Obj.method(...)` (see `./2`) lowers to.\n\n**Examples**\n\n```prolog\n?- invoke_method($math, max(1, 2), M).\nM = 2.\n\n?- new_object('java.lang.StringBuilder', [abc], B), invoke_method(B, reverse, R), invoke_method(R, toString, S).\nS = cba.\n\n?- invoke_method($math, nope, M).\nthrows error(existence_error(_, _), _).\n\n?- invoke_method(foo, toString, R).\nthrows error(type_error(_, foo), _).\n```";
   }
-  protoOf(InvokeMethod).get_help_won7nu_k$ = function () {
-    return this.help_1;
+  protoOf(InvokeMethod).i1x = function () {
+    return this.n53_1;
   };
-  protoOf(InvokeMethod).getInvocationResult_3mb3ft_k$ = function (_this__u8e3s4) {
-    return _this__u8e3s4.toTerm_edaxrt_k$();
+  protoOf(InvokeMethod).w52 = function (_this__u8e3s4) {
+    return _this__u8e3s4.t1j();
   };
   var InvokeMethod_instance;
   function InvokeMethod_getInstance() {
@@ -2358,13 +2358,13 @@
   function InvokeStrict() {
     InvokeStrict_instance = this;
     AbstractInvoke.call(this, 'strict');
-    this.help_1 = "`invoke_strict(+Ref, +Method, ?Result)`\n\nLike `invoke_method/3`, but `Result` is always unified with an object reference wrapping the returned value, even when it could be converted to a plain term (e.g. a string or number stays a reference). Useful to keep calling methods on the result with its exact runtime type preserved, e.g. a `String` you want to keep manipulating as a JVM object. Accepts the same `Ref` and `Method` shapes, and raises the same errors, as `invoke_method/3`.\n\n**Examples**\n\n```prolog\n?- new_object('java.lang.StringBuilder', [abc], B), invoke_strict(B, toString, S), object_ref(S), N := S.length.\nN = 3.\n\n?- new_object('java.lang.StringBuilder', [abc], B), invoke_method(B, toString, S).\nS = abc.\n\n?- invoke_strict($math, nope, R).\nthrows error(existence_error(_, _), _).\n```";
+    this.p53_1 = "`invoke_strict(+Ref, +Method, ?Result)`\n\nLike `invoke_method/3`, but `Result` is always unified with an object reference wrapping the returned value, even when it could be converted to a plain term (e.g. a string or number stays a reference). Useful to keep calling methods on the result with its exact runtime type preserved, e.g. a `String` you want to keep manipulating as a JVM object. Accepts the same `Ref` and `Method` shapes, and raises the same errors, as `invoke_method/3`.\n\n**Examples**\n\n```prolog\n?- new_object('java.lang.StringBuilder', [abc], B), invoke_strict(B, toString, S), object_ref(S), N := S.length.\nN = 3.\n\n?- new_object('java.lang.StringBuilder', [abc], B), invoke_method(B, toString, S).\nS = abc.\n\n?- invoke_strict($math, nope, R).\nthrows error(existence_error(_, _), _).\n```";
   }
-  protoOf(InvokeStrict).get_help_won7nu_k$ = function () {
-    return this.help_1;
+  protoOf(InvokeStrict).i1x = function () {
+    return this.p53_1;
   };
-  protoOf(InvokeStrict).getInvocationResult_3mb3ft_k$ = function (_this__u8e3s4) {
-    return _this__u8e3s4.asObjectRef_ji97lu_k$();
+  protoOf(InvokeStrict).w52 = function (_this__u8e3s4) {
+    return _this__u8e3s4.r51();
   };
   var InvokeStrict_instance;
   function InvokeStrict_getInstance() {
@@ -2375,22 +2375,22 @@
   function ListItems() {
     ListItems_instance = this;
     AbstractIterableItems.call(this, 'list', getKClass(KtList));
-    this.help_1 = "`list_items(?ListRef, ?Items)`\n\nConverts between a Prolog list `Items` and an object reference `ListRef` wrapping a JVM/Kotlin `List` with the same elements. If `Items` is a list, each item is converted to an object (respecting `as` casts and `$Alias` references) and `ListRef` is unified with a reference to a fresh list; otherwise, if `ListRef` references a `List`, `Items` is unified with its elements converted back to terms. Deterministic. Raises an instantiation error if both arguments are unbound, and a type error if `ListRef` is neither unbound nor an object reference; fails if it references something that is not a `List`.\n\n**Examples**\n\n```prolog\n?- list_items(L, [a, b]), N := L.size.\nN = 2.\n\n?- list_items(L, [1, 2.5]), list_items(L, Items).\nItems = [1, 2.5].\n\n?- new_object('java.util.ArrayList', [], L), L.add(x), L.add(y), list_items(L, Items).\nItems = [x, y].\n\n?- list_items(L, Items).\nthrows error(instantiation_error, _).\n```";
+    this.s53_1 = "`list_items(?ListRef, ?Items)`\n\nConverts between a Prolog list `Items` and an object reference `ListRef` wrapping a JVM/Kotlin `List` with the same elements. If `Items` is a list, each item is converted to an object (respecting `as` casts and `$Alias` references) and `ListRef` is unified with a reference to a fresh list; otherwise, if `ListRef` references a `List`, `Items` is unified with its elements converted back to terms. Deterministic. Raises an instantiation error if both arguments are unbound, and a type error if `ListRef` is neither unbound nor an object reference; fails if it references something that is not a `List`.\n\n**Examples**\n\n```prolog\n?- list_items(L, [a, b]), N := L.size.\nN = 2.\n\n?- list_items(L, [1, 2.5]), list_items(L, Items).\nItems = [1, 2.5].\n\n?- new_object('java.util.ArrayList', [], L), L.add(x), L.add(y), list_items(L, Items).\nItems = [x, y].\n\n?- list_items(L, Items).\nthrows error(instantiation_error, _).\n```";
   }
-  protoOf(ListItems).get_help_won7nu_k$ = function () {
-    return this.help_1;
+  protoOf(ListItems).i1x = function () {
+    return this.s53_1;
   };
-  protoOf(ListItems).toIterable_j8vuup_k$ = function (_this__u8e3s4) {
+  protoOf(ListItems).z52 = function (_this__u8e3s4) {
     return toList(_this__u8e3s4);
   };
-  protoOf(ListItems).get_isIterable_d32sbw_k$ = function (_this__u8e3s4) {
+  protoOf(ListItems).a53 = function (_this__u8e3s4) {
     return !(_this__u8e3s4 == null) ? isInterface(_this__u8e3s4, KtList) : false;
   };
-  protoOf(ListItems).get_items_cgxsjz_k$ = function (_this__u8e3s4) {
+  protoOf(ListItems).t53 = function (_this__u8e3s4) {
     return asSequence(_this__u8e3s4);
   };
-  protoOf(ListItems).get_items_ay3mtl_k$ = function (_this__u8e3s4) {
-    return this.get_items_cgxsjz_k$(isInterface(_this__u8e3s4, KtList) ? _this__u8e3s4 : THROW_CCE());
+  protoOf(ListItems).b53 = function (_this__u8e3s4) {
+    return this.t53(isInterface(_this__u8e3s4, KtList) ? _this__u8e3s4 : THROW_CCE());
   };
   var ListItems_instance;
   function ListItems_getInstance() {
@@ -2401,28 +2401,28 @@
   function NewObject3() {
     NewObject3_instance = this;
     Functional.call(this, 'new_object');
-    this.help_1 = "`new_object(+Type, +Arguments, -ObjectRef)`\n\nInstantiates `Type` by calling its public constructor that best matches the list `Arguments`, and unifies `ObjectRef` with a reference to the new object. `Type` may be an atom holding a fully qualified type name (e.g. `'java.util.ArrayList'`), a type reference, or a `$Alias` reference to a type (e.g. `$arraylist`). Arguments are converted to objects as in `invoke_method/3`; use `as` casts to disambiguate overloaded constructors. Fails if the type name cannot be resolved. Raises a type error if `Type` is not callable or `Arguments` is not a list, an existence error if no constructor accepts the arguments, and a system error if the constructor throws.\n\n**Examples**\n\n```prolog\n?- new_object('java.util.ArrayList', [], L), L.add(a), N := L.size.\nN = 1.\n\n?- new_object($arraylist, [], L), list_items(L, Items).\nItems = [].\n\n?- new_object('no.such.Type', [], L).\nno.\n\n?- new_object('java.util.ArrayList', [a], L).\nthrows error(representation_error(_), _).\n\n?- new_object('java.util.ArrayList', [a, b, c], L).\nthrows error(existence_error(oop_constructor, _), _).\n```";
+    this.v53_1 = "`new_object(+Type, +Arguments, -ObjectRef)`\n\nInstantiates `Type` by calling its public constructor that best matches the list `Arguments`, and unifies `ObjectRef` with a reference to the new object. `Type` may be an atom holding a fully qualified type name (e.g. `'java.util.ArrayList'`), a type reference, or a `$Alias` reference to a type (e.g. `$arraylist`). Arguments are converted to objects as in `invoke_method/3`; use `as` casts to disambiguate overloaded constructors. Fails if the type name cannot be resolved. Raises a type error if `Type` is not callable or `Arguments` is not a list, an existence error if no constructor accepts the arguments, and a system error if the constructor throws.\n\n**Examples**\n\n```prolog\n?- new_object('java.util.ArrayList', [], L), L.add(a), N := L.size.\nN = 1.\n\n?- new_object($arraylist, [], L), list_items(L, Items).\nItems = [].\n\n?- new_object('no.such.Type', [], L).\nno.\n\n?- new_object('java.util.ArrayList', [a], L).\nthrows error(representation_error(_), _).\n\n?- new_object('java.util.ArrayList', [a, b, c], L).\nthrows error(existence_error(oop_constructor, _), _).\n```";
   }
-  protoOf(NewObject3).get_help_won7nu_k$ = function () {
-    return this.help_1;
+  protoOf(NewObject3).i1x = function () {
+    return this.v53_1;
   };
-  protoOf(NewObject3).computeOneSubstitution_omzw8j_k$ = function (_this__u8e3s4, first, second, third) {
-    Companion_getInstance_7().ensuringArgumentIsStruct_lk4yyp_k$(_this__u8e3s4, 0);
-    Companion_getInstance_7().ensuringArgumentIsList_n20mbc_k$(_this__u8e3s4, 1);
+  protoOf(NewObject3).j2w = function (_this__u8e3s4, first, second, third) {
+    Companion_getInstance_7().s2l(_this__u8e3s4, 0);
+    Companion_getInstance_7().c2m(_this__u8e3s4, 1);
     var tmp$ret$0;
     $l$block: {
       // Inline function 'it.unibo.tuprolog.solve.libs.oop.primitives.catchingOopExceptions' call
       try {
         var type = getArgumentAsTypeRef(_this__u8e3s4, 0);
         var arguments_0 = (isInterface(second, List) ? second : THROW_CCE()).toArray();
-        var tmp1_safe_receiver = type == null ? null : type.create_4i78so_k$(get_termToObjectConverter(_this__u8e3s4), arguments_0.slice());
-        var objectReference = tmp1_safe_receiver == null ? null : tmp1_safe_receiver.asObjectRef_ji97lu_k$();
+        var tmp1_safe_receiver = type == null ? null : type.d52(get_termToObjectConverter(_this__u8e3s4), arguments_0.slice());
+        var objectReference = tmp1_safe_receiver == null ? null : tmp1_safe_receiver.r51();
         var tmp;
         if (objectReference == null) {
           tmp = null;
         } else {
           // Inline function 'kotlin.let' call
-          tmp = Companion_getInstance_7().mgu_jyyt35_k$(_this__u8e3s4, third, objectReference);
+          tmp = Companion_getInstance_7().i2l(_this__u8e3s4, third, objectReference);
         }
         var tmp3_elvis_lhs = tmp;
         tmp$ret$0 = tmp3_elvis_lhs == null ? Companion_getInstance_6().failed() : tmp3_elvis_lhs;
@@ -2430,7 +2430,7 @@
       } catch ($p) {
         if ($p instanceof OopException) {
           var e = $p;
-          throw e.toLogicError_fiiu4e_k$(_this__u8e3s4.context, _this__u8e3s4.signature);
+          throw e.j52(_this__u8e3s4.context, _this__u8e3s4.signature);
         } else {
           if ($p instanceof ResolutionException) {
             var e_0 = $p;
@@ -2448,8 +2448,8 @@
     }
     return tmp$ret$0;
   };
-  protoOf(NewObject3).computeOneSubstitution_c4wm0a_k$ = function (_this__u8e3s4, first, second, third) {
-    return this.computeOneSubstitution_omzw8j_k$(_this__u8e3s4, first, second, third);
+  protoOf(NewObject3).t2n = function (_this__u8e3s4, first, second, third) {
+    return this.j2w(_this__u8e3s4, first, second, third);
   };
   var NewObject3_instance;
   function NewObject3_getInstance() {
@@ -2460,12 +2460,12 @@
   function NullRef_0() {
     NullRef_instance = this;
     TypeTester.call(this, 'null_ref');
-    this.help_1 = "`null_ref(@Term)`\n\nSucceeds if `Term` is the null reference, i.e. the term representing a JVM/Kotlin `null` value (as returned, for instance, by a method returning `null`). Fails otherwise, including when `Term` is unbound.\n\n**Examples**\n\n```prolog\n?- new_object('java.util.HashMap', [], M), invoke_method(M, get(k), V), null_ref(V).\nyes.\n\n?- null_ref(foo).\nno.\n\n?- null_ref(X).\nno.\n```";
+    this.x53_1 = "`null_ref(@Term)`\n\nSucceeds if `Term` is the null reference, i.e. the term representing a JVM/Kotlin `null` value (as returned, for instance, by a method returning `null`). Fails otherwise, including when `Term` is unbound.\n\n**Examples**\n\n```prolog\n?- new_object('java.util.HashMap', [], M), invoke_method(M, get(k), V), null_ref(V).\nyes.\n\n?- null_ref(foo).\nno.\n\n?- null_ref(X).\nno.\n```";
   }
-  protoOf(NullRef_0).get_help_won7nu_k$ = function () {
-    return this.help_1;
+  protoOf(NullRef_0).i1x = function () {
+    return this.x53_1;
   };
-  protoOf(NullRef_0).testType_81tyi7_k$ = function (term) {
+  protoOf(NullRef_0).f2o = function (term) {
     return isInterface(term, NullRef);
   };
   var NullRef_instance;
@@ -2477,12 +2477,12 @@
   function ObjectRef_0() {
     ObjectRef_instance = this;
     TypeTester.call(this, 'object_ref');
-    this.help_1 = "`object_ref(@Term)`\n\nSucceeds if `Term` is an object reference, i.e. a term wrapping a JVM/Kotlin object (rendered like `<object:java.util.ArrayList#123>`), as produced by `new_object/3`, `cast/3`, `invoke_strict/3` and friends. The null reference counts as an object reference. Fails otherwise, including when `Term` is unbound.\n\n**Examples**\n\n```prolog\n?- new_object('java.util.ArrayList', [], L), object_ref(L).\nyes.\n\n?- type('java.lang.String', T), object_ref(T).\nno.\n\n?- object_ref(X).\nno.\n```";
+    this.z53_1 = "`object_ref(@Term)`\n\nSucceeds if `Term` is an object reference, i.e. a term wrapping a JVM/Kotlin object (rendered like `<object:java.util.ArrayList#123>`), as produced by `new_object/3`, `cast/3`, `invoke_strict/3` and friends. The null reference counts as an object reference. Fails otherwise, including when `Term` is unbound.\n\n**Examples**\n\n```prolog\n?- new_object('java.util.ArrayList', [], L), object_ref(L).\nyes.\n\n?- type('java.lang.String', T), object_ref(T).\nno.\n\n?- object_ref(X).\nno.\n```";
   }
-  protoOf(ObjectRef_0).get_help_won7nu_k$ = function () {
-    return this.help_1;
+  protoOf(ObjectRef_0).i1x = function () {
+    return this.z53_1;
   };
-  protoOf(ObjectRef_0).testType_81tyi7_k$ = function (term) {
+  protoOf(ObjectRef_0).f2o = function (term) {
     return isInterface(term, ObjectRef);
   };
   var ObjectRef_instance;
@@ -2515,11 +2515,11 @@
   function get_termToObjectConverter(_this__u8e3s4) {
     _init_properties_PrimitiveExtensions_kt__hfa11z();
     var tmp = Companion_getInstance_13();
-    return tmp.of$default_5ni81d_k$(VOID, _get_termToObjectConverter_$lambda_4bacq4(_this__u8e3s4));
+    return tmp.t51(VOID, _get_termToObjectConverter_$lambda_4bacq4(_this__u8e3s4));
   }
   function ensuringArgumentIsTypeRef(_this__u8e3s4, index) {
     _init_properties_PrimitiveExtensions_kt__hfa11z();
-    var arg = _this__u8e3s4.arguments.get_c1px32_k$(index);
+    var arg = _this__u8e3s4.arguments.x(index);
     var tmp;
     var tmp_0;
     if (matchesDealiasingTemplate(_this__u8e3s4, arg)) {
@@ -2532,7 +2532,7 @@
       tmp = _this__u8e3s4;
     } else {
       if (!isInterface(arg, TypeRef)) {
-        throw Companion_instance_1.forArgument_54essq_k$(_this__u8e3s4.context, _this__u8e3s4.signature, Expected_TYPE_REFERENCE_getInstance(), arg, index);
+        throw Companion_instance_1.g2b(_this__u8e3s4.context, _this__u8e3s4.signature, Expected_TYPE_REFERENCE_getInstance(), arg, index);
       } else {
         tmp = _this__u8e3s4;
       }
@@ -2541,14 +2541,14 @@
   }
   function getArgumentAsTypeRef(_this__u8e3s4, index) {
     _init_properties_PrimitiveExtensions_kt__hfa11z();
-    Companion_getInstance_7().ensuringArgumentIsStruct_lk4yyp_k$(_this__u8e3s4, index);
-    var arg = _this__u8e3s4.arguments.get_c1px32_k$(index);
+    Companion_getInstance_7().s2l(_this__u8e3s4, index);
+    var arg = _this__u8e3s4.arguments.x(index);
     var tmp;
     if (isInterface(arg, TypeRef)) {
       tmp = arg;
     } else {
       if (isInterface(arg, Atom)) {
-        tmp = Companion_getInstance_14().default_1.typeRefFromName_8i9x2s_k$(arg.get_value_j01efc_k$());
+        tmp = Companion_getInstance_14().v51_1.c52(arg.f1());
       } else {
         if (isDealiasingExpression(_this__u8e3s4, arg)) {
           var tmp_0 = findRefFromAlias(_this__u8e3s4, arg.castToStruct());
@@ -2563,13 +2563,13 @@
   }
   function ensuringArgumentIsRef(_this__u8e3s4, index) {
     _init_properties_PrimitiveExtensions_kt__hfa11z();
-    var arg = _this__u8e3s4.arguments.get_c1px32_k$(index);
+    var arg = _this__u8e3s4.arguments.x(index);
     var tmp;
     if (matchesDealiasingTemplate(_this__u8e3s4, arg) && ensureAliasIsRegistered(_this__u8e3s4, arg.castToStruct())) {
       tmp = _this__u8e3s4;
     } else {
       if (!isInterface(arg, Ref)) {
-        throw Companion_instance_1.forArgument_54essq_k$(_this__u8e3s4.context, _this__u8e3s4.signature, Expected_REFERENCE_getInstance(), arg, index);
+        throw Companion_instance_1.g2b(_this__u8e3s4.context, _this__u8e3s4.signature, Expected_REFERENCE_getInstance(), arg, index);
       } else {
         tmp = _this__u8e3s4;
       }
@@ -2592,15 +2592,15 @@
     var tmp_1 = filter(this_0, findRefFromAliasOrNull$lambda);
     var tmp$ret$0 = isInterface(tmp_1, Sequence) ? tmp_1 : THROW_CCE();
     var tmp0_safe_receiver = firstOrNull(tmp$ret$0);
-    var tmp1_safe_receiver = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.get_solvedQuery_paqw6_k$();
+    var tmp1_safe_receiver = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.y1y();
     var tmp2_safe_receiver = tmp1_safe_receiver == null ? null : tmp1_safe_receiver.get(1);
-    return tmp2_safe_receiver == null ? null : tmp2_safe_receiver.castTo_8vzplt_k$();
+    return tmp2_safe_receiver == null ? null : tmp2_safe_receiver.sx();
   }
   function matchesDealiasingTemplate(_this__u8e3s4, term) {
     _init_properties_PrimitiveExtensions_kt__hfa11z();
     var tmp;
     if (isInterface(term, Struct)) {
-      tmp = Companion_getInstance_7().match_tf8j11_k$(_this__u8e3s4, term, get_DEALIASING_TEMPLATE());
+      tmp = Companion_getInstance_7().j2l(_this__u8e3s4, term, get_DEALIASING_TEMPLATE());
     } else {
       tmp = false;
     }
@@ -2611,12 +2611,12 @@
     var tmp;
     var tmp_0;
     if (isInterface(term, Struct)) {
-      tmp_0 = Companion_getInstance_7().match_tf8j11_k$(_this__u8e3s4, term, get_DEALIASING_TEMPLATE());
+      tmp_0 = Companion_getInstance_7().j2l(_this__u8e3s4, term, get_DEALIASING_TEMPLATE());
     } else {
       tmp_0 = false;
     }
     if (tmp_0) {
-      var tmp_1 = term.get_argsList_cw1bs4_k$().get_c1px32_k$(0);
+      var tmp_1 = term.zw().x(0);
       tmp = isInterface(tmp_1, Atom);
     } else {
       tmp = false;
@@ -2657,12 +2657,12 @@
   function Ref_0() {
     Ref_instance = this;
     TypeTester.call(this, 'ref');
-    this.help_1 = "`ref(@Term)`\n\nSucceeds if `Term` is a reference of any kind: either an object reference (see `object_ref/1`, including the null reference) or a type reference (see `type_ref/1`). Fails otherwise, including when `Term` is unbound. References are opaque atomic terms that can be passed around, unified, and used as receivers of method calls.\n\n**Examples**\n\n```prolog\n?- type('java.lang.String', T), ref(T).\nyes.\n\n?- new_object('java.util.ArrayList', [], L), ref(L).\nyes.\n\n?- ref(hello).\nno.\n```";
+    this.b54_1 = "`ref(@Term)`\n\nSucceeds if `Term` is a reference of any kind: either an object reference (see `object_ref/1`, including the null reference) or a type reference (see `type_ref/1`). Fails otherwise, including when `Term` is unbound. References are opaque atomic terms that can be passed around, unified, and used as receivers of method calls.\n\n**Examples**\n\n```prolog\n?- type('java.lang.String', T), ref(T).\nyes.\n\n?- new_object('java.util.ArrayList', [], L), ref(L).\nyes.\n\n?- ref(hello).\nno.\n```";
   }
-  protoOf(Ref_0).get_help_won7nu_k$ = function () {
-    return this.help_1;
+  protoOf(Ref_0).i1x = function () {
+    return this.b54_1;
   };
-  protoOf(Ref_0).testType_81tyi7_k$ = function (term) {
+  protoOf(Ref_0).f2o = function (term) {
     return isInterface(term, Ref);
   };
   var Ref_instance;
@@ -2675,29 +2675,29 @@
     return function ($this$replySuccess) {
       var tmp = Companion_instance_15;
       var tmp_0 = isInterface($second, Struct) ? $second : THROW_CCE();
-      $this$replySuccess.addStaticClauses$default_9uvwyb_k$([tmp.of_lt5e18_k$(tmp_0, isInterface($first, Ref) ? $first : THROW_CCE()).get_wrappedImplementation_qo1fgy_k$()]);
+      $this$replySuccess.v2q([tmp.c54(tmp_0, isInterface($first, Ref) ? $first : THROW_CCE()).g1x()]);
       return Unit_instance;
     };
   }
   function Register() {
     Register_instance = this;
     NonBacktrackable.call(this, 'register');
-    this.help_1 = "`register(+Ref, +Alias)`\n\nRegisters the object or type reference `Ref` under the ground term `Alias`, by adding an `alias(Alias, Ref)` fact to the static knowledge base. Afterwards `$Alias` can be used wherever a reference is expected, e.g. as the receiver of a method call. Registering an already-used alias adds another fact, so the earliest registration keeps taking precedence until removed with `unregister/1`. Raises an instantiation error if an argument is unbound or `Alias` is not ground, and a type error if `Ref` is not a reference or `Alias` is not callable.\n\n**Examples**\n\n```prolog\n?- new_object('java.util.ArrayList', [], L), register(L, my_list).\nyes.\n\n?- $my_list.add(a), N := $my_list.size.\nN = 1.\n\n?- register(X, my_alias).\nthrows error(instantiation_error, _).\n```";
+    this.e54_1 = "`register(+Ref, +Alias)`\n\nRegisters the object or type reference `Ref` under the ground term `Alias`, by adding an `alias(Alias, Ref)` fact to the static knowledge base. Afterwards `$Alias` can be used wherever a reference is expected, e.g. as the receiver of a method call. Registering an already-used alias adds another fact, so the earliest registration keeps taking precedence until removed with `unregister/1`. Raises an instantiation error if an argument is unbound or `Alias` is not ground, and a type error if `Ref` is not a reference or `Alias` is not callable.\n\n**Examples**\n\n```prolog\n?- new_object('java.util.ArrayList', [], L), register(L, my_list).\nyes.\n\n?- $my_list.add(a), N := $my_list.size.\nN = 1.\n\n?- register(X, my_alias).\nthrows error(instantiation_error, _).\n```";
   }
-  protoOf(Register).get_help_won7nu_k$ = function () {
-    return this.help_1;
+  protoOf(Register).i1x = function () {
+    return this.e54_1;
   };
-  protoOf(Register).computeOne_sdv9lb_k$ = function (_this__u8e3s4, first_0, second) {
-    Companion_getInstance_7().ensuringAllArgumentsAreInstantiated_60kzw2_k$(_this__u8e3s4);
+  protoOf(Register).c2v = function (_this__u8e3s4, first_0, second) {
+    Companion_getInstance_7().l2k(_this__u8e3s4);
     ensuringArgumentIsRef(_this__u8e3s4, 0);
-    Companion_getInstance_7().ensuringArgumentIsStruct_lk4yyp_k$(_this__u8e3s4, 1);
-    if (!second.get_isGround_twq4nu_k$()) {
-      throw Companion_instance_6.forArgument_7otpa_k$(_this__u8e3s4.context, _this__u8e3s4.signature, first(second.get_variables_75f0zy_k$()), 0);
+    Companion_getInstance_7().s2l(_this__u8e3s4, 1);
+    if (!second.cy()) {
+      throw Companion_instance_6.k29(_this__u8e3s4.context, _this__u8e3s4.signature, first(second.ax()), 0);
     }
     return _this__u8e3s4.replySuccessBuildingSideEffects(VOID, VOID, Register$computeOne$lambda(second, first_0));
   };
-  protoOf(Register).computeOne_d8jipq_k$ = function (_this__u8e3s4, first, second) {
-    return this.computeOne_sdv9lb_k$(_this__u8e3s4, first, second);
+  protoOf(Register).n2k = function (_this__u8e3s4, first, second) {
+    return this.c2v(_this__u8e3s4, first, second);
   };
   var Register_instance;
   function Register_getInstance() {
@@ -2708,22 +2708,22 @@
   function SetItems() {
     SetItems_instance = this;
     AbstractIterableItems.call(this, 'set', getKClass(KtSet));
-    this.help_1 = '`set_items(?SetRef, ?Items)`\n\nConverts between a Prolog list `Items` and an object reference `SetRef` wrapping a JVM/Kotlin `Set` with the same elements (duplicates are dropped, insertion order is kept). If `Items` is a list, each item is converted to an object (respecting `as` casts and `$Alias` references) and `SetRef` is unified with a reference to a fresh set; otherwise, if `SetRef` references a `Set`, `Items` is unified with its elements converted back to terms: strings become atoms, numbers become Prolog numbers, and other objects stay object references. Deterministic. Raises an instantiation error if both arguments are unbound, and a type error if `SetRef` is neither unbound nor an object reference; fails if it references something that is not a `Set`.\n\n**Examples**\n\n```prolog\n?- set_items(S, [a, b, b]), set_items(S, L).\nL = [a, b].\n\n?- set_items(S, [1, 1, 2.5]), set_items(S, L).\nL = [1, 2.5].\n\n?- set_items(S, [a, b]), N := S.size.\nN = 2.\n\n?- list_items(L, [a]), set_items(L, Items).\nno.\n```';
+    this.h54_1 = '`set_items(?SetRef, ?Items)`\n\nConverts between a Prolog list `Items` and an object reference `SetRef` wrapping a JVM/Kotlin `Set` with the same elements (duplicates are dropped, insertion order is kept). If `Items` is a list, each item is converted to an object (respecting `as` casts and `$Alias` references) and `SetRef` is unified with a reference to a fresh set; otherwise, if `SetRef` references a `Set`, `Items` is unified with its elements converted back to terms: strings become atoms, numbers become Prolog numbers, and other objects stay object references. Deterministic. Raises an instantiation error if both arguments are unbound, and a type error if `SetRef` is neither unbound nor an object reference; fails if it references something that is not a `Set`.\n\n**Examples**\n\n```prolog\n?- set_items(S, [a, b, b]), set_items(S, L).\nL = [a, b].\n\n?- set_items(S, [1, 1, 2.5]), set_items(S, L).\nL = [1, 2.5].\n\n?- set_items(S, [a, b]), N := S.size.\nN = 2.\n\n?- list_items(L, [a]), set_items(L, Items).\nno.\n```';
   }
-  protoOf(SetItems).get_help_won7nu_k$ = function () {
-    return this.help_1;
+  protoOf(SetItems).i1x = function () {
+    return this.h54_1;
   };
-  protoOf(SetItems).toIterable_j8vuup_k$ = function (_this__u8e3s4) {
+  protoOf(SetItems).z52 = function (_this__u8e3s4) {
     return toSet(_this__u8e3s4);
   };
-  protoOf(SetItems).get_isIterable_d32sbw_k$ = function (_this__u8e3s4) {
+  protoOf(SetItems).a53 = function (_this__u8e3s4) {
     return !(_this__u8e3s4 == null) ? isInterface(_this__u8e3s4, KtSet) : false;
   };
-  protoOf(SetItems).get_items_ma8yx5_k$ = function (_this__u8e3s4) {
+  protoOf(SetItems).i54 = function (_this__u8e3s4) {
     return asSequence(_this__u8e3s4);
   };
-  protoOf(SetItems).get_items_ay3mtl_k$ = function (_this__u8e3s4) {
-    return this.get_items_ma8yx5_k$(isInterface(_this__u8e3s4, KtSet) ? _this__u8e3s4 : THROW_CCE());
+  protoOf(SetItems).b53 = function (_this__u8e3s4) {
+    return this.i54(isInterface(_this__u8e3s4, KtSet) ? _this__u8e3s4 : THROW_CCE());
   };
   var SetItems_instance;
   function SetItems_getInstance() {
@@ -2734,13 +2734,13 @@
   function Type() {
     Type_instance = this;
     Functional_0.call(this, 'type');
-    this.help_1 = "`type(?TypeName, ?TypeRef)`\n\nConverts between an atom `TypeName` and a type reference `TypeRef` to the class it names. Given an atom holding a fully qualified type name (e.g. `'java.lang.String'`), unifies `TypeRef` with a reference to that class, failing if no such class exists; given a type reference, unifies `TypeName` with the name of its class. Deterministic. Raises an instantiation error if both arguments are unbound and a type error if the bound argument has the wrong shape.\n\n**Examples**\n\n```prolog\n?- type('java.util.ArrayList', T), new_object(T, [], L), N := L.size.\nN = 0.\n\n?- type('java.util.ArrayList', T), type(Name, T).\nName = 'ArrayList'.\n\n?- type('no.such.Type', T).\nno.\n\n?- type(Name, 'java.lang.String').\nthrows error(type_error(type_reference, 'java.lang.String'), _).\n```";
-    this.typeFactory_1 = Companion_getInstance_14().default_1;
+    this.k54_1 = "`type(?TypeName, ?TypeRef)`\n\nConverts between an atom `TypeName` and a type reference `TypeRef` to the class it names. Given an atom holding a fully qualified type name (e.g. `'java.lang.String'`), unifies `TypeRef` with a reference to that class, failing if no such class exists; given a type reference, unifies `TypeName` with the name of its class. Deterministic. Raises an instantiation error if both arguments are unbound and a type error if the bound argument has the wrong shape.\n\n**Examples**\n\n```prolog\n?- type('java.util.ArrayList', T), new_object(T, [], L), N := L.size.\nN = 0.\n\n?- type('java.util.ArrayList', T), type(Name, T).\nName = 'ArrayList'.\n\n?- type('no.such.Type', T).\nno.\n\n?- type(Name, 'java.lang.String').\nthrows error(type_error(type_reference, 'java.lang.String'), _).\n```";
+    this.l54_1 = Companion_getInstance_14().v51_1;
   }
-  protoOf(Type).get_help_won7nu_k$ = function () {
-    return this.help_1;
+  protoOf(Type).i1x = function () {
+    return this.k54_1;
   };
-  protoOf(Type).computeOneSubstitution_uplwem_k$ = function (_this__u8e3s4, first, second) {
+  protoOf(Type).e2w = function (_this__u8e3s4, first, second) {
     var tmp$ret$0;
     $l$block: {
       // Inline function 'it.unibo.tuprolog.solve.libs.oop.primitives.catchingOopExceptions' call
@@ -2753,31 +2753,31 @@
           tmp_0 = false;
         }
         if (tmp_0) {
-          Companion_getInstance_7().ensuringArgumentIsInstantiated_dpjvac_k$(_this__u8e3s4, 0);
+          Companion_getInstance_7().o2l(_this__u8e3s4, 0);
           tmp = Companion_getInstance_6().failed();
         } else {
           if (isInterface(first, Var)) {
-            Companion_getInstance_7().ensuringArgumentIsAtom_5kuj97_k$(_this__u8e3s4, 1);
+            Companion_getInstance_7().x2l(_this__u8e3s4, 1);
             ensuringArgumentIsTypeRef(_this__u8e3s4, 1);
             var tmp_1 = Companion_getInstance_7();
             var tmp_2 = Companion_getInstance_0();
-            tmp = tmp_1.mgu_jyyt35_k$(_this__u8e3s4, first, tmp_2.of(get_name((isInterface(second, TypeRef) ? second : THROW_CCE()).get_type_wovaf7_k$())));
+            tmp = tmp_1.i2l(_this__u8e3s4, first, tmp_2.of(get_name((isInterface(second, TypeRef) ? second : THROW_CCE()).u27())));
           } else {
             if (isInterface(second, Var)) {
-              Companion_getInstance_7().ensuringArgumentIsAtom_5kuj97_k$(_this__u8e3s4, 0);
-              var tmp_3 = Type_getInstance().typeFactory_1;
-              var tmp0_safe_receiver = tmp_3.typeRefFromName_8i9x2s_k$((isInterface(first, Atom) ? first : THROW_CCE()).get_value_j01efc_k$());
+              Companion_getInstance_7().x2l(_this__u8e3s4, 0);
+              var tmp_3 = Type_getInstance().l54_1;
+              var tmp0_safe_receiver = tmp_3.c52((isInterface(first, Atom) ? first : THROW_CCE()).f1());
               var tmp_4;
               if (tmp0_safe_receiver == null) {
                 tmp_4 = null;
               } else {
                 // Inline function 'kotlin.let' call
-                tmp_4 = Companion_getInstance_7().mgu_jyyt35_k$(_this__u8e3s4, second, tmp0_safe_receiver);
+                tmp_4 = Companion_getInstance_7().i2l(_this__u8e3s4, second, tmp0_safe_receiver);
               }
               var tmp1_elvis_lhs = tmp_4;
               tmp = tmp1_elvis_lhs == null ? Companion_getInstance_6().failed() : tmp1_elvis_lhs;
             } else {
-              Companion_getInstance_7().ensuringArgumentIsAtom_5kuj97_k$(_this__u8e3s4, 0);
+              Companion_getInstance_7().x2l(_this__u8e3s4, 0);
               tmp = Companion_getInstance_6().failed();
             }
           }
@@ -2787,7 +2787,7 @@
       } catch ($p) {
         if ($p instanceof OopException) {
           var e = $p;
-          throw e.toLogicError_fiiu4e_k$(_this__u8e3s4.context, _this__u8e3s4.signature);
+          throw e.j52(_this__u8e3s4.context, _this__u8e3s4.signature);
         } else {
           if ($p instanceof ResolutionException) {
             var e_0 = $p;
@@ -2805,8 +2805,8 @@
     }
     return tmp$ret$0;
   };
-  protoOf(Type).computeOneSubstitution_a2ny4b_k$ = function (_this__u8e3s4, first, second) {
-    return this.computeOneSubstitution_uplwem_k$(_this__u8e3s4, first, second);
+  protoOf(Type).w2k = function (_this__u8e3s4, first, second) {
+    return this.e2w(_this__u8e3s4, first, second);
   };
   var Type_instance;
   function Type_getInstance() {
@@ -2817,12 +2817,12 @@
   function TypeRef_0() {
     TypeRef_instance = this;
     TypeTester.call(this, 'type_ref');
-    this.help_1 = "`type_ref(@Term)`\n\nSucceeds if `Term` is a type reference, i.e. a term wrapping a JVM/Kotlin class (rendered like `<type:java.lang.String>`), as produced by `type/2` or by `$Alias` references to types such as `$string`. Type references can be used to instantiate a class (`new_object/3`) or to invoke its static members. Fails otherwise, including when `Term` is unbound.\n\n**Examples**\n\n```prolog\n?- alias(string, T), type_ref(T).\nyes.\n\n?- type_ref('java.lang.String').\nno.\n\n?- new_object('java.util.ArrayList', [], L), type_ref(L).\nno.\n```";
+    this.n54_1 = "`type_ref(@Term)`\n\nSucceeds if `Term` is a type reference, i.e. a term wrapping a JVM/Kotlin class (rendered like `<type:java.lang.String>`), as produced by `type/2` or by `$Alias` references to types such as `$string`. Type references can be used to instantiate a class (`new_object/3`) or to invoke its static members. Fails otherwise, including when `Term` is unbound.\n\n**Examples**\n\n```prolog\n?- alias(string, T), type_ref(T).\nyes.\n\n?- type_ref('java.lang.String').\nno.\n\n?- new_object('java.util.ArrayList', [], L), type_ref(L).\nno.\n```";
   }
-  protoOf(TypeRef_0).get_help_won7nu_k$ = function () {
-    return this.help_1;
+  protoOf(TypeRef_0).i1x = function () {
+    return this.n54_1;
   };
-  protoOf(TypeRef_0).testType_81tyi7_k$ = function (term) {
+  protoOf(TypeRef_0).f2o = function (term) {
     return isInterface(term, TypeRef);
   };
   var TypeRef_instance;
@@ -2833,41 +2833,41 @@
   }
   function Unregister$computeOne$lambda($first) {
     return function (it) {
-      return it.get_head_won7e1_k$().get(0).equals($first);
+      return it.ez().get(0).equals($first);
     };
   }
   function Unregister$computeOne$lambda_0($toBeRemoved) {
     return function ($this$replySuccess) {
-      $this$replySuccess.removeStaticClauses_rn03rg_k$($toBeRemoved);
+      $this$replySuccess.w2q($toBeRemoved);
       return Unit_instance;
     };
   }
   function Unregister() {
     Unregister_instance = this;
     NonBacktrackable_0.call(this, 'unregister');
-    this.help_1 = "`unregister(+Alias)`\n\nRemoves every `alias(Alias, _)` fact for the ground term `Alias` from the static knowledge base, undoing `register/2` (it can also remove the library's default aliases, such as `string` or `stdout`). Fails if no such alias is registered. Raises a type error if `Alias` is unbound or not callable, and an instantiation error if it is not ground.\n\n**Examples**\n\n```prolog\n?- new_object('java.util.ArrayList', [], L), register(L, my_list).\nyes.\n\n?- unregister(my_list).\nyes.\n\n?- alias(my_list, R).\nno.\n\n?- unregister(my_list).\nno.\n```";
+    this.p54_1 = "`unregister(+Alias)`\n\nRemoves every `alias(Alias, _)` fact for the ground term `Alias` from the static knowledge base, undoing `register/2` (it can also remove the library's default aliases, such as `string` or `stdout`). Fails if no such alias is registered. Raises a type error if `Alias` is unbound or not callable, and an instantiation error if it is not ground.\n\n**Examples**\n\n```prolog\n?- new_object('java.util.ArrayList', [], L), register(L, my_list).\nyes.\n\n?- unregister(my_list).\nyes.\n\n?- alias(my_list, R).\nno.\n\n?- unregister(my_list).\nno.\n```";
   }
-  protoOf(Unregister).get_help_won7nu_k$ = function () {
-    return this.help_1;
+  protoOf(Unregister).i1x = function () {
+    return this.p54_1;
   };
-  protoOf(Unregister).computeOne_6dkmes_k$ = function (_this__u8e3s4, first_0) {
-    Companion_getInstance_7().ensuringArgumentIsStruct_lk4yyp_k$(_this__u8e3s4, 0);
-    if (!first_0.get_isGround_twq4nu_k$()) {
-      throw Companion_instance_6.forArgument_7otpa_k$(_this__u8e3s4.context, _this__u8e3s4.signature, first(first_0.get_variables_75f0zy_k$()), 0);
+  protoOf(Unregister).l2u = function (_this__u8e3s4, first_0) {
+    Companion_getInstance_7().s2l(_this__u8e3s4, 0);
+    if (!first_0.cy()) {
+      throw Companion_instance_6.k29(_this__u8e3s4.context, _this__u8e3s4.signature, first(first_0.ax()), 0);
     }
     var pattern = Companion_getInstance_9().of('alias', [first_0, Companion_getInstance_8().anonymous()]);
-    var tmp = _this__u8e3s4.context.get_staticKb_a01l1u_k$().getByHead(pattern);
+    var tmp = _this__u8e3s4.context.v1x().getByHead(pattern);
     var toBeRemoved = toList(filter(tmp, Unregister$computeOne$lambda(first_0)));
     var tmp_0;
-    if (toBeRemoved.isEmpty_y1axqb_k$()) {
+    if (toBeRemoved.i()) {
       tmp_0 = _this__u8e3s4.replyFail(VOID, []);
     } else {
       tmp_0 = _this__u8e3s4.replySuccessBuildingSideEffects(VOID, VOID, Unregister$computeOne$lambda_0(toBeRemoved));
     }
     return tmp_0;
   };
-  protoOf(Unregister).computeOne_2tedul_k$ = function (_this__u8e3s4, first) {
-    return this.computeOne_6dkmes_k$(_this__u8e3s4, first);
+  protoOf(Unregister).a2o = function (_this__u8e3s4, first) {
+    return this.l2u(_this__u8e3s4, first);
   };
   var Unregister_instance;
   function Unregister_getInstance() {
@@ -2876,12 +2876,12 @@
     return Unregister_instance;
   }
   function Companion_7() {
-    this.FUNCTOR_1 = 'alias';
+    this.e51_1 = 'alias';
   }
-  protoOf(Companion_7).forType_lwe2s5_k$ = function (alias, type) {
-    return new Alias(Companion_getInstance_0().of(alias), Companion_instance_12.of_7pw7zp_k$(type));
+  protoOf(Companion_7).f51 = function (alias, type) {
+    return new Alias(Companion_getInstance_0().of(alias), Companion_instance_12.a52(type));
   };
-  protoOf(Companion_7).of_lt5e18_k$ = function (alias, ref) {
+  protoOf(Companion_7).c54 = function (alias, ref) {
     return new Alias(alias, ref);
   };
   var Companion_instance_15;
@@ -2890,36 +2890,36 @@
   }
   function Alias(alias, ref) {
     RuleWrapper_init_$Init$('alias', 2, VOID, this);
-    this.alias_1 = alias;
-    this.ref_1 = ref;
-    this.help_1 = "`alias(?Alias, ?Ref)`\n\nAssociates a ground term `Alias` with an object or type reference `Ref`, so that `$Alias` can stand for `Ref` wherever a reference is expected (as a method receiver, as a constructor or method argument, or as the type in `as` casts and `cast/3`). The library ships facts for common types (`string`, `array`, `list`, `arraylist`, `map`, `hashmap`, `int`, `integer`, `double`, `float`, `long`, `short`, `byte`, `char`, `bool`, `boolean`, `any`, `nothing`, `big_integer`, `big_decimal`) and, on the JVM, `system` and `math` (types) plus `stdout`, `stderr` and `stdin` (objects). Querying it enumerates the registered aliases on backtracking; add or remove aliases with `register/2` and `unregister/1`.\n\n**Examples**\n\n```prolog\n?- alias(A, _).\nA = string ; A = array ; A = list.\n\n?- alias(string, T), type(Name, T).\nName = 'String'.\n\n?- alias(nope, R).\nno.\n```";
+    this.t54_1 = alias;
+    this.u54_1 = ref;
+    this.v54_1 = "`alias(?Alias, ?Ref)`\n\nAssociates a ground term `Alias` with an object or type reference `Ref`, so that `$Alias` can stand for `Ref` wherever a reference is expected (as a method receiver, as a constructor or method argument, or as the type in `as` casts and `cast/3`). The library ships facts for common types (`string`, `array`, `list`, `arraylist`, `map`, `hashmap`, `int`, `integer`, `double`, `float`, `long`, `short`, `byte`, `char`, `bool`, `boolean`, `any`, `nothing`, `big_integer`, `big_decimal`) and, on the JVM, `system` and `math` (types) plus `stdout`, `stderr` and `stdin` (objects). Querying it enumerates the registered aliases on backtracking; add or remove aliases with `register/2` and `unregister/1`.\n\n**Examples**\n\n```prolog\n?- alias(A, _).\nA = string ; A = array ; A = list.\n\n?- alias(string, T), type(Name, T).\nName = 'String'.\n\n?- alias(nope, R).\nno.\n```";
     // Inline function 'kotlin.require' call
-    if (!this.alias_1.get_isGround_twq4nu_k$()) {
-      var message = 'Alias must be a ground term, got: ' + this.alias_1.toString();
+    if (!this.t54_1.cy()) {
+      var message = 'Alias must be a ground term, got: ' + this.t54_1.toString();
       throw IllegalArgumentException_init_$Create$(toString_0(message));
     }
   }
-  protoOf(Alias).get_help_won7nu_k$ = function () {
-    return this.help_1;
+  protoOf(Alias).i1x = function () {
+    return this.v54_1;
   };
-  protoOf(Alias).get_head_btpmqe_k$ = function (_this__u8e3s4) {
-    return toList(sequenceOf_0([this.alias_1, this.ref_1]));
+  protoOf(Alias).g2o = function (_this__u8e3s4) {
+    return toList(sequenceOf_0([this.t54_1, this.u54_1]));
   };
   function _get_R__7mlo3j($this) {
     var tmp = KProperty1;
-    return $this.R$delegate_1.getValue($this, getPropertyCallableRef('R', 1, tmp, ColonEquals$Cast$_get_R_$ref_879xch(), null));
+    return $this.a55_1.getValue($this, getPropertyCallableRef('R', 1, tmp, ColonEquals$Cast$_get_R_$ref_879xch(), null));
   }
   function _get_X__7mlo8p($this) {
     var tmp = KProperty1;
-    return $this.X$delegate_1.getValue($this, getPropertyCallableRef('X', 1, tmp, ColonEquals$Cast$_get_X_$ref_5d06zb(), null));
+    return $this.b55_1.getValue($this, getPropertyCallableRef('X', 1, tmp, ColonEquals$Cast$_get_X_$ref_5d06zb(), null));
   }
   function _get_Y__7mlo9k($this) {
     var tmp = KProperty1;
-    return $this.Y$delegate_1.getValue($this, getPropertyCallableRef('Y', 1, tmp, ColonEquals$Cast$_get_Y_$ref_4vykl4(), null));
+    return $this.c55_1.getValue($this, getPropertyCallableRef('Y', 1, tmp, ColonEquals$Cast$_get_Y_$ref_4vykl4(), null));
   }
   function _get_T__7mlo59($this) {
     var tmp = KProperty1;
-    return $this.T$delegate_1.getValue($this, getPropertyCallableRef('T', 1, tmp, ColonEquals$Cast$_get_T_$ref_796ok3(), null));
+    return $this.d55_1.getValue($this, getPropertyCallableRef('T', 1, tmp, ColonEquals$Cast$_get_T_$ref_796ok3(), null));
   }
   function ColonEquals$Cast$_get_R_$ref_879xch() {
     return constructCallableReference(function (p0) {
@@ -2943,11 +2943,11 @@
   }
   function _get_R__7mlo3j_0($this) {
     var tmp = KProperty1;
-    return $this.R$delegate_1.getValue($this, getPropertyCallableRef('R', 1, tmp, ColonEquals$Invocation$_get_R_$ref_tlu5kw(), null));
+    return $this.i55_1.getValue($this, getPropertyCallableRef('R', 1, tmp, ColonEquals$Invocation$_get_R_$ref_tlu5kw(), null));
   }
   function _get_M__7mlnz8($this) {
     var tmp = KProperty1;
-    return $this.M$delegate_1.getValue($this, getPropertyCallableRef('M', 1, tmp, ColonEquals$Invocation$_get_M_$ref_vz29jv(), null));
+    return $this.j55_1.getValue($this, getPropertyCallableRef('M', 1, tmp, ColonEquals$Invocation$_get_M_$ref_vz29jv(), null));
   }
   function ColonEquals$Invocation$_get_R_$ref_tlu5kw() {
     return constructCallableReference(function (p0) {
@@ -2961,19 +2961,19 @@
   }
   function _get_C__7mlnqm($this) {
     var tmp = KProperty1;
-    return $this.C$delegate_1.getValue($this, getPropertyCallableRef('C', 1, tmp, ColonEquals$Assignment$_get_C_$ref_kw9fvw(), null));
+    return $this.o55_1.getValue($this, getPropertyCallableRef('C', 1, tmp, ColonEquals$Assignment$_get_C_$ref_kw9fvw(), null));
   }
   function _get_P__7mlo1t($this) {
     var tmp = KProperty1;
-    return $this.P$delegate_1.getValue($this, getPropertyCallableRef('P', 1, tmp, ColonEquals$Assignment$_get_P_$ref_r1uj0f(), null));
+    return $this.p55_1.getValue($this, getPropertyCallableRef('P', 1, tmp, ColonEquals$Assignment$_get_P_$ref_r1uj0f(), null));
   }
   function _get_R__7mlo3j_1($this) {
     var tmp = KProperty1;
-    return $this.R$delegate_1.getValue($this, getPropertyCallableRef('R', 1, tmp, ColonEquals$Assignment$_get_R_$ref_rzxrst(), null));
+    return $this.q55_1.getValue($this, getPropertyCallableRef('R', 1, tmp, ColonEquals$Assignment$_get_R_$ref_rzxrst(), null));
   }
   function _get_V__7mlo6z($this) {
     var tmp = KProperty1;
-    return $this.V$delegate_1.getValue($this, getPropertyCallableRef('V', 1, tmp, ColonEquals$Assignment$_get_V_$ref_tw49dl(), null));
+    return $this.r55_1.getValue($this, getPropertyCallableRef('V', 1, tmp, ColonEquals$Assignment$_get_V_$ref_tw49dl(), null));
   }
   function ColonEquals$Assignment$_get_C_$ref_kw9fvw() {
     return constructCallableReference(function (p0) {
@@ -2998,15 +2998,15 @@
   function Cast_0() {
     Cast_instance_0 = this;
     ColonEquals.call(this);
-    this.R$delegate_1 = this.variables_1;
-    this.X$delegate_1 = this.variables_1;
-    this.Y$delegate_1 = this.variables_1;
-    this.T$delegate_1 = this.variables_1;
+    this.a55_1 = this.y21_1;
+    this.b55_1 = this.y21_1;
+    this.c55_1 = this.y21_1;
+    this.d55_1 = this.y21_1;
   }
-  protoOf(Cast_0).get_head_btpmqe_k$ = function (_this__u8e3s4) {
+  protoOf(Cast_0).g2o = function (_this__u8e3s4) {
     return listOf([_get_R__7mlo3j(this), _this__u8e3s4.structOf('as', [_get_X__7mlo8p(this), _get_T__7mlo59(this)])]);
   };
-  protoOf(Cast_0).get_body_3ji99k_k$ = function (_this__u8e3s4) {
+  protoOf(Cast_0).h2o = function (_this__u8e3s4) {
     // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
     var tmp$ret$0 = Var_getInstance().signature.name;
     var tmp = _this__u8e3s4.structOf(tmp$ret$0, [_get_R__7mlo3j(this)]);
@@ -3025,13 +3025,13 @@
   function Invocation() {
     Invocation_instance = this;
     ColonEquals.call(this);
-    this.R$delegate_1 = this.variables_1;
-    this.M$delegate_1 = this.variables_1;
+    this.i55_1 = this.y21_1;
+    this.j55_1 = this.y21_1;
   }
-  protoOf(Invocation).get_head_btpmqe_k$ = function (_this__u8e3s4) {
+  protoOf(Invocation).g2o = function (_this__u8e3s4) {
     return listOf([_get_R__7mlo3j_0(this), _get_M__7mlnz8(this)]);
   };
-  protoOf(Invocation).get_body_3ji99k_k$ = function (_this__u8e3s4) {
+  protoOf(Invocation).h2o = function (_this__u8e3s4) {
     // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
     var tmp$ret$0 = Var_getInstance().signature.name;
     return _this__u8e3s4.tupleOf([_this__u8e3s4.structOf(tmp$ret$0, [_get_R__7mlo3j_0(this)]), _this__u8e3s4.atomOf('!'), _this__u8e3s4.structOf('fluent_reduce', [_get_M__7mlnz8(this), _get_R__7mlo3j_0(this)])]);
@@ -3045,15 +3045,15 @@
   function Assignment() {
     Assignment_instance = this;
     ColonEquals.call(this);
-    this.C$delegate_1 = this.variables_1;
-    this.P$delegate_1 = this.variables_1;
-    this.R$delegate_1 = this.variables_1;
-    this.V$delegate_1 = this.variables_1;
+    this.o55_1 = this.y21_1;
+    this.p55_1 = this.y21_1;
+    this.q55_1 = this.y21_1;
+    this.r55_1 = this.y21_1;
   }
-  protoOf(Assignment).get_head_btpmqe_k$ = function (_this__u8e3s4) {
+  protoOf(Assignment).g2o = function (_this__u8e3s4) {
     return listOf([_get_C__7mlnqm(this), _get_V__7mlo6z(this)]);
   };
-  protoOf(Assignment).get_body_3ji99k_k$ = function (_this__u8e3s4) {
+  protoOf(Assignment).h2o = function (_this__u8e3s4) {
     var tmp = _this__u8e3s4.structOf('property_reduce', [_get_C__7mlnqm(this), _get_R__7mlo3j_1(this), _get_P__7mlo1t(this)]);
     // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
     var tmp$ret$0 = Assign_getInstance().signature.name;
@@ -3067,18 +3067,18 @@
   }
   function ColonEquals() {
     RuleWrapper_init_$Init$(':=', 2, VOID, this);
-    this.help_1 = "`?Target := +Expression`\n\nFluent evaluation and assignment. If `Target` is unbound, `Target := Receiver.m1(...).m2` evaluates the method/property chain on the right (see `./2`) and binds `Target` to the converted result of the last access; a right-hand side that is not a chain is just unified with `Target` (e.g. `X := 5`). `Target := Term as Type` additionally converts the (evaluated) `Term` via `cast/3`, binding `Target` to an object reference; here `Type` must be a type reference or a `$Alias` such as `$long`, and since `as` binds tighter than `.`, a chain must be parenthesised: `R := (Obj.size) as $long`. If `Target` is bound, it must be a chain `Receiver.Property` (possibly longer), and `:=` evaluates everything but the last access and then assigns `Expression` to `Property` via `assign/3`.\n\n**Examples**\n\n```prolog\n?- new_object('java.util.ArrayList', [], L), L.add(a), N := L.size.\nN = 1.\n\n?- X := 5.\nX = 5.\n\n?- new_object('java.util.ArrayList', [], L), R := (L.size) as $long, object_ref(R).\nyes.\n\n?- new_object('java.awt.Point', [1, 2], P), P.x := 7, X := P.x.\nX = 7.\n```";
+    this.v55_1 = "`?Target := +Expression`\n\nFluent evaluation and assignment. If `Target` is unbound, `Target := Receiver.m1(...).m2` evaluates the method/property chain on the right (see `./2`) and binds `Target` to the converted result of the last access; a right-hand side that is not a chain is just unified with `Target` (e.g. `X := 5`). `Target := Term as Type` additionally converts the (evaluated) `Term` via `cast/3`, binding `Target` to an object reference; here `Type` must be a type reference or a `$Alias` such as `$long`, and since `as` binds tighter than `.`, a chain must be parenthesised: `R := (Obj.size) as $long`. If `Target` is bound, it must be a chain `Receiver.Property` (possibly longer), and `:=` evaluates everything but the last access and then assigns `Expression` to `Property` via `assign/3`.\n\n**Examples**\n\n```prolog\n?- new_object('java.util.ArrayList', [], L), L.add(a), N := L.size.\nN = 1.\n\n?- X := 5.\nX = 5.\n\n?- new_object('java.util.ArrayList', [], L), R := (L.size) as $long, object_ref(R).\nyes.\n\n?- new_object('java.awt.Point', [1, 2], P), P.x := 7, X := P.x.\nX = 7.\n```";
   }
-  protoOf(ColonEquals).get_help_won7nu_k$ = function () {
-    return this.help_1;
+  protoOf(ColonEquals).i1x = function () {
+    return this.v55_1;
   };
   function _get_Method__a3idyi($this) {
     var tmp = KProperty1;
-    return $this.Method$delegate_1.getValue($this, getPropertyCallableRef('Method', 1, tmp, Dot$_get_Method_$ref_b7a4zw(), null));
+    return $this.a56_1.getValue($this, getPropertyCallableRef('Method', 1, tmp, Dot$_get_Method_$ref_b7a4zw(), null));
   }
   function _get_Ref__e5vi4e($this) {
     var tmp = KProperty1;
-    return $this.Ref$delegate_1.getValue($this, getPropertyCallableRef('Ref', 1, tmp, Dot$_get_Ref_$ref_33uzaq(), null));
+    return $this.b56_1.getValue($this, getPropertyCallableRef('Ref', 1, tmp, Dot$_get_Ref_$ref_33uzaq(), null));
   }
   function Dot$_get_Method_$ref_b7a4zw() {
     return constructCallableReference(function (p0) {
@@ -3093,18 +3093,18 @@
   function Dot() {
     Dot_instance = this;
     RuleWrapper_init_$Init$('.', 2, VOID, this);
-    this.help_1 = "`+Receiver.+Message`\n\nFluent member access: invokes `Message` on the object, type, or `$Alias` referenced by `Receiver`, discarding the result. `Message` is an atom (a no-argument method, or a property to read) or a compound `name(Arg1, ..., ArgN)`; arguments are converted to objects, with `as` casts to steer overload selection. Since `.` is right-associative, accesses can be chained: `Obj.foo(1).bar` calls `foo(1)` on `Obj`, then `bar` on its result, each step via `invoke_method/3`. Used as a goal, it runs the chain for its side effects; to capture the final result write `Result := Obj.foo(1).bar` (see `:=/2`). Errors are those of `invoke_method/3`.\n\n**Examples**\n\n```prolog\n?- $stdout.println(hello).\n% prints: hello\nyes.\n\n?- new_object('java.util.ArrayList', [], L), L.add(a), L.add(b), list_items(L, Items).\nItems = [a, b].\n\n?- new_object('java.util.ArrayList', [], L), L.nope.\nthrows error(existence_error(_, _), _).\n```";
-    this.Method$delegate_1 = this.variables_1;
-    this.Ref$delegate_1 = this.variables_1;
+    this.z55_1 = "`+Receiver.+Message`\n\nFluent member access: invokes `Message` on the object, type, or `$Alias` referenced by `Receiver`, discarding the result. `Message` is an atom (a no-argument method, or a property to read) or a compound `name(Arg1, ..., ArgN)`; arguments are converted to objects, with `as` casts to steer overload selection. Since `.` is right-associative, accesses can be chained: `Obj.foo(1).bar` calls `foo(1)` on `Obj`, then `bar` on its result, each step via `invoke_method/3`. Used as a goal, it runs the chain for its side effects; to capture the final result write `Result := Obj.foo(1).bar` (see `:=/2`). Errors are those of `invoke_method/3`.\n\n**Examples**\n\n```prolog\n?- $stdout.println(hello).\n% prints: hello\nyes.\n\n?- new_object('java.util.ArrayList', [], L), L.add(a), L.add(b), list_items(L, Items).\nItems = [a, b].\n\n?- new_object('java.util.ArrayList', [], L), L.nope.\nthrows error(existence_error(_, _), _).\n```";
+    this.a56_1 = this.y21_1;
+    this.b56_1 = this.y21_1;
   }
-  protoOf(Dot).get_help_won7nu_k$ = function () {
-    return this.help_1;
+  protoOf(Dot).i1x = function () {
+    return this.z55_1;
   };
-  protoOf(Dot).get_head_btpmqe_k$ = function (_this__u8e3s4) {
+  protoOf(Dot).g2o = function (_this__u8e3s4) {
     return listOf([_get_Ref__e5vi4e(this), _get_Method__a3idyi(this)]);
   };
-  protoOf(Dot).get_body_3ji99k_k$ = function (_this__u8e3s4) {
-    return _this__u8e3s4.structOf('fluent_reduce', [_this__u8e3s4.consOf(_get_Ref__e5vi4e(this), _get_Method__a3idyi(this)), _this__u8e3s4.get___1mhr5i_k$()]);
+  protoOf(Dot).h2o = function (_this__u8e3s4) {
+    return _this__u8e3s4.structOf('fluent_reduce', [_this__u8e3s4.consOf(_get_Ref__e5vi4e(this), _get_Method__a3idyi(this)), _this__u8e3s4.n12()]);
   };
   var Dot_instance;
   function Dot_getInstance() {
@@ -3114,19 +3114,19 @@
   }
   function _get_P__7mlo1t_0($this) {
     var tmp = KProperty1;
-    return $this.P$delegate_1.getValue($this, getPropertyCallableRef('P', 1, tmp, FluentReduce$Recursive$_get_P_$ref_qmyw78(), null));
+    return $this.h56_1.getValue($this, getPropertyCallableRef('P', 1, tmp, FluentReduce$Recursive$_get_P_$ref_qmyw78(), null));
   }
   function _get_M__7mlnz8_0($this) {
     var tmp = KProperty1;
-    return $this.M$delegate_1.getValue($this, getPropertyCallableRef('M', 1, tmp, FluentReduce$Recursive$_get_M_$ref_s23rdt(), null));
+    return $this.i56_1.getValue($this, getPropertyCallableRef('M', 1, tmp, FluentReduce$Recursive$_get_M_$ref_s23rdt(), null));
   }
   function _get_P1__ndbjd6($this) {
     var tmp = KProperty1;
-    return $this.P1$delegate_1.getValue($this, getPropertyCallableRef('P1', 1, tmp, FluentReduce$Recursive$_get_P1_$ref_ksmyi5(), null));
+    return $this.j56_1.getValue($this, getPropertyCallableRef('P1', 1, tmp, FluentReduce$Recursive$_get_P1_$ref_ksmyi5(), null));
   }
   function _get_X__7mlo8p_0($this) {
     var tmp = KProperty1;
-    return $this.X$delegate_1.getValue($this, getPropertyCallableRef('X', 1, tmp, FluentReduce$Recursive$_get_X_$ref_mulx1o(), null));
+    return $this.k56_1.getValue($this, getPropertyCallableRef('X', 1, tmp, FluentReduce$Recursive$_get_X_$ref_mulx1o(), null));
   }
   function FluentReduce$Recursive$_get_P_$ref_qmyw78() {
     return constructCallableReference(function (p0) {
@@ -3150,11 +3150,11 @@
   }
   function _get_P__7mlo1t_1($this) {
     var tmp = KProperty1;
-    return $this.P$delegate_1.getValue($this, getPropertyCallableRef('P', 1, tmp, FluentReduce$Couple$_get_P_$ref_o7vzn6(), null));
+    return $this.q56_1.getValue($this, getPropertyCallableRef('P', 1, tmp, FluentReduce$Couple$_get_P_$ref_o7vzn6(), null));
   }
   function _get_M__7mlnz8_1($this) {
     var tmp = KProperty1;
-    return $this.M$delegate_1.getValue($this, getPropertyCallableRef('M', 1, tmp, FluentReduce$Couple$_get_M_$ref_pn0utr(), null));
+    return $this.r56_1.getValue($this, getPropertyCallableRef('M', 1, tmp, FluentReduce$Couple$_get_M_$ref_pn0utr(), null));
   }
   function FluentReduce$Couple$_get_P_$ref_o7vzn6() {
     return constructCallableReference(function (p0) {
@@ -3167,8 +3167,8 @@
     }, 1, 0, 149);
   }
   function Companion_8() {
-    this.FUNCTOR_1 = 'fluent_reduce';
-    this.ARITY_1 = 2;
+    this.s56_1 = 'fluent_reduce';
+    this.t56_1 = 2;
   }
   var Companion_instance_16;
   function Companion_getInstance_19() {
@@ -3177,19 +3177,19 @@
   function Recursive() {
     Recursive_instance = this;
     FluentReduce.call(this);
-    this.P$delegate_1 = this.variables_1;
-    this.M$delegate_1 = this.variables_1;
-    this.P1$delegate_1 = this.variables_1;
-    this.X$delegate_1 = this.variables_1;
+    this.h56_1 = this.y21_1;
+    this.i56_1 = this.y21_1;
+    this.j56_1 = this.y21_1;
+    this.k56_1 = this.y21_1;
   }
-  protoOf(Recursive).get_head_btpmqe_k$ = function (_this__u8e3s4) {
-    return listOf([_this__u8e3s4.logicListFrom_pxemlx_k$([_get_P__7mlo1t_0(this), _get_M__7mlnz8_0(this)], _get_X__7mlo8p_0(this)), this.get_R_1mhr55_k$()]);
+  protoOf(Recursive).g2o = function (_this__u8e3s4) {
+    return listOf([_this__u8e3s4.o12([_get_P__7mlo1t_0(this), _get_M__7mlnz8_0(this)], _get_X__7mlo8p_0(this)), this.z56()]);
   };
-  protoOf(Recursive).get_body_3ji99k_k$ = function (_this__u8e3s4) {
+  protoOf(Recursive).h2o = function (_this__u8e3s4) {
     var tmp = _this__u8e3s4.atomOf('!');
     // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
     var tmp$ret$0 = InvokeMethod_getInstance().signature.name;
-    return _this__u8e3s4.tupleOf([tmp, _this__u8e3s4.structOf(tmp$ret$0, [_get_P__7mlo1t_0(this), _get_M__7mlnz8_0(this), _get_P1__ndbjd6(this)]), _this__u8e3s4.structOf('fluent_reduce', [_this__u8e3s4.consOf(_get_P1__ndbjd6(this), _get_X__7mlo8p_0(this)), this.get_R_1mhr55_k$()])]);
+    return _this__u8e3s4.tupleOf([tmp, _this__u8e3s4.structOf(tmp$ret$0, [_get_P__7mlo1t_0(this), _get_M__7mlnz8_0(this), _get_P1__ndbjd6(this)]), _this__u8e3s4.structOf('fluent_reduce', [_this__u8e3s4.consOf(_get_P1__ndbjd6(this), _get_X__7mlo8p_0(this)), this.z56()])]);
   };
   var Recursive_instance;
   function Recursive_getInstance() {
@@ -3200,17 +3200,17 @@
   function Couple() {
     Couple_instance = this;
     FluentReduce.call(this);
-    this.P$delegate_1 = this.variables_1;
-    this.M$delegate_1 = this.variables_1;
+    this.q56_1 = this.y21_1;
+    this.r56_1 = this.y21_1;
   }
-  protoOf(Couple).get_head_btpmqe_k$ = function (_this__u8e3s4) {
-    return listOf([_this__u8e3s4.consOf(_get_P__7mlo1t_1(this), _get_M__7mlnz8_1(this)), this.get_R_1mhr55_k$()]);
+  protoOf(Couple).g2o = function (_this__u8e3s4) {
+    return listOf([_this__u8e3s4.consOf(_get_P__7mlo1t_1(this), _get_M__7mlnz8_1(this)), this.z56()]);
   };
-  protoOf(Couple).get_body_3ji99k_k$ = function (_this__u8e3s4) {
+  protoOf(Couple).h2o = function (_this__u8e3s4) {
     var tmp = _this__u8e3s4.atomOf('!');
     // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
     var tmp$ret$0 = InvokeMethod_getInstance().signature.name;
-    return _this__u8e3s4.tupleOf([tmp, _this__u8e3s4.structOf(tmp$ret$0, [_get_P__7mlo1t_1(this), _get_M__7mlnz8_1(this), this.get_R_1mhr55_k$()])]);
+    return _this__u8e3s4.tupleOf([tmp, _this__u8e3s4.structOf(tmp$ret$0, [_get_P__7mlo1t_1(this), _get_M__7mlnz8_1(this), this.z56()])]);
   };
   var Couple_instance;
   function Couple_getInstance() {
@@ -3222,8 +3222,8 @@
     Trivial_instance = this;
     FluentReduce.call(this);
   }
-  protoOf(Trivial).get_head_btpmqe_k$ = function (_this__u8e3s4) {
-    return listOf([this.get_R_1mhr55_k$(), this.get_R_1mhr55_k$()]);
+  protoOf(Trivial).g2o = function (_this__u8e3s4) {
+    return listOf([this.z56(), this.z56()]);
   };
   var Trivial_instance;
   function Trivial_getInstance() {
@@ -3233,31 +3233,31 @@
   }
   function FluentReduce$_get_R_$ref_ypb4y4() {
     return constructCallableReference(function (p0) {
-      return p0.get_R_1mhr55_k$();
+      return p0.z56();
     }, 1, 0, 150);
   }
   function FluentReduce() {
     RuleWrapper_init_$Init$('fluent_reduce', 2, VOID, this);
-    this.help_1 = "`fluent_reduce(+Expression, ?Result)`\n\nHelper behind `./2` and `:=/2`: evaluates a chain of member accesses `Receiver.M1.M2...` (which, as `.` is the list constructor, is the same term as the improper list `[Receiver, M1 | M2]`) by invoking `M1` on `Receiver` via `invoke_method/3`, then `M2` on that result, and so on, unifying `Result` with the last result. A term that is not a chain is unified with `Result` unchanged. Deterministic (each clause cuts). Errors are those of `invoke_method/3`.\n\n**Examples**\n\n```prolog\n?- fluent_reduce($math.max(1, 2), M).\nM = 2.\n\n?- new_object('java.lang.StringBuilder', [abc], B), fluent_reduce(B.reverse.toString, S).\nS = cba.\n\n?- fluent_reduce(foo, R).\nR = foo.\n```";
-    this.R$delegate_1 = this.variables_1;
+    this.x56_1 = "`fluent_reduce(+Expression, ?Result)`\n\nHelper behind `./2` and `:=/2`: evaluates a chain of member accesses `Receiver.M1.M2...` (which, as `.` is the list constructor, is the same term as the improper list `[Receiver, M1 | M2]`) by invoking `M1` on `Receiver` via `invoke_method/3`, then `M2` on that result, and so on, unifying `Result` with the last result. A term that is not a chain is unified with `Result` unchanged. Deterministic (each clause cuts). Errors are those of `invoke_method/3`.\n\n**Examples**\n\n```prolog\n?- fluent_reduce($math.max(1, 2), M).\nM = 2.\n\n?- new_object('java.lang.StringBuilder', [abc], B), fluent_reduce(B.reverse.toString, S).\nS = cba.\n\n?- fluent_reduce(foo, R).\nR = foo.\n```";
+    this.y56_1 = this.y21_1;
   }
-  protoOf(FluentReduce).get_help_won7nu_k$ = function () {
-    return this.help_1;
+  protoOf(FluentReduce).i1x = function () {
+    return this.x56_1;
   };
-  protoOf(FluentReduce).get_R_1mhr55_k$ = function () {
+  protoOf(FluentReduce).z56 = function () {
     var tmp = KProperty1;
-    return this.R$delegate_1.getValue(this, getPropertyCallableRef('R', 1, tmp, FluentReduce$_get_R_$ref_ypb4y4(), null));
+    return this.y56_1.getValue(this, getPropertyCallableRef('R', 1, tmp, FluentReduce$_get_R_$ref_ypb4y4(), null));
   };
-  protoOf(FluentReduce).get_body_3ji99k_k$ = function (_this__u8e3s4) {
+  protoOf(FluentReduce).h2o = function (_this__u8e3s4) {
     return _this__u8e3s4.atomOf('!');
   };
   function _get_Type__cwwv8x($this) {
     var tmp = KProperty1;
-    return $this.Type$delegate_1.getValue($this, getPropertyCallableRef('Type', 1, tmp, NewObject2$_get_Type_$ref_gxw6of(), null));
+    return $this.j57_1.getValue($this, getPropertyCallableRef('Type', 1, tmp, NewObject2$_get_Type_$ref_gxw6of(), null));
   }
   function _get_Instance__cwfjuy($this) {
     var tmp = KProperty1;
-    return $this.Instance$delegate_1.getValue($this, getPropertyCallableRef('Instance', 1, tmp, NewObject2$_get_Instance_$ref_jt2xca(), null));
+    return $this.k57_1.getValue($this, getPropertyCallableRef('Instance', 1, tmp, NewObject2$_get_Instance_$ref_jt2xca(), null));
   }
   function NewObject2$_get_Type_$ref_gxw6of() {
     return constructCallableReference(function (p0) {
@@ -3274,20 +3274,20 @@
     // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
     var tmp$ret$0 = NewObject3_getInstance().signature.name;
     RuleWrapper_init_$Init$(tmp$ret$0, 2, VOID, this);
-    this.help_1 = "`new_object(+Type, -ObjectRef)`\n\nInstantiates `Type` through its public no-argument constructor and unifies `ObjectRef` with a reference to the new object; shorthand for `new_object(Type, [], ObjectRef)`. `Type` may be an atom holding a fully qualified type name, a type reference, or a `$Alias` reference to a type. Errors are those of `new_object/3`.\n\n**Examples**\n\n```prolog\n?- new_object('java.util.ArrayList', L), N := L.size.\nN = 0.\n\n?- new_object($hashmap, M), M.put(k, v), V := M.get(k).\nV = v.\n\n?- new_object('java.lang.Integer', I).\nthrows error(existence_error(_, _), _).\n```";
-    this.Type$delegate_1 = this.variables_1;
-    this.Instance$delegate_1 = this.variables_1;
+    this.i57_1 = "`new_object(+Type, -ObjectRef)`\n\nInstantiates `Type` through its public no-argument constructor and unifies `ObjectRef` with a reference to the new object; shorthand for `new_object(Type, [], ObjectRef)`. `Type` may be an atom holding a fully qualified type name, a type reference, or a `$Alias` reference to a type. Errors are those of `new_object/3`.\n\n**Examples**\n\n```prolog\n?- new_object('java.util.ArrayList', L), N := L.size.\nN = 0.\n\n?- new_object($hashmap, M), M.put(k, v), V := M.get(k).\nV = v.\n\n?- new_object('java.lang.Integer', I).\nthrows error(existence_error(_, _), _).\n```";
+    this.j57_1 = this.y21_1;
+    this.k57_1 = this.y21_1;
   }
-  protoOf(NewObject2).get_help_won7nu_k$ = function () {
-    return this.help_1;
+  protoOf(NewObject2).i1x = function () {
+    return this.i57_1;
   };
-  protoOf(NewObject2).get_head_btpmqe_k$ = function (_this__u8e3s4) {
+  protoOf(NewObject2).g2o = function (_this__u8e3s4) {
     return listOf([_get_Type__cwwv8x(this), _get_Instance__cwfjuy(this)]);
   };
-  protoOf(NewObject2).get_body_3ji99k_k$ = function (_this__u8e3s4) {
+  protoOf(NewObject2).h2o = function (_this__u8e3s4) {
     // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
     var tmp$ret$0 = NewObject3_getInstance().signature.name;
-    return _this__u8e3s4.structOf(tmp$ret$0, [_get_Type__cwwv8x(this), _this__u8e3s4.get_emptyLogicList_z7wjmg_k$(), _get_Instance__cwfjuy(this)]);
+    return _this__u8e3s4.structOf(tmp$ret$0, [_get_Type__cwwv8x(this), _this__u8e3s4.m12(), _get_Instance__cwfjuy(this)]);
   };
   var NewObject2_instance;
   function NewObject2_getInstance() {
@@ -3297,19 +3297,19 @@
   }
   function _get_B1__ndb8zg($this) {
     var tmp = KProperty1;
-    return $this.B1$delegate_1.getValue($this, getPropertyCallableRef('B1', 1, tmp, PropertyReduce$Recursive$_get_B1_$ref_kiryiu(), null));
+    return $this.r57_1.getValue($this, getPropertyCallableRef('B1', 1, tmp, PropertyReduce$Recursive$_get_B1_$ref_kiryiu(), null));
   }
   function _get_C__7mlnqm_0($this) {
     var tmp = KProperty1;
-    return $this.C$delegate_1.getValue($this, getPropertyCallableRef('C', 1, tmp, PropertyReduce$Recursive$_get_C_$ref_epsz1a(), null));
+    return $this.s57_1.getValue($this, getPropertyCallableRef('C', 1, tmp, PropertyReduce$Recursive$_get_C_$ref_epsz1a(), null));
   }
   function _get_O__7mlo0y($this) {
     var tmp = KProperty1;
-    return $this.O$delegate_1.getValue($this, getPropertyCallableRef('O', 1, tmp, PropertyReduce$Recursive$_get_O_$ref_919iay(), null));
+    return $this.t57_1.getValue($this, getPropertyCallableRef('O', 1, tmp, PropertyReduce$Recursive$_get_O_$ref_919iay(), null));
   }
   function _get_P__7mlo1t_2($this) {
     var tmp = KProperty1;
-    return $this.P$delegate_1.getValue($this, getPropertyCallableRef('P', 1, tmp, PropertyReduce$Recursive$_get_P_$ref_8k7vwr(), null));
+    return $this.u57_1.getValue($this, getPropertyCallableRef('P', 1, tmp, PropertyReduce$Recursive$_get_P_$ref_8k7vwr(), null));
   }
   function PropertyReduce$Recursive$_get_B1_$ref_kiryiu() {
     return constructCallableReference(function (p0) {
@@ -3332,8 +3332,8 @@
     }, 1, 0, 156);
   }
   function Companion_9() {
-    this.FUNCTOR_1 = 'property_reduce';
-    this.ARITY_1 = 3;
+    this.v57_1 = 'property_reduce';
+    this.w57_1 = 3;
   }
   var Companion_instance_17;
   function Companion_getInstance_20() {
@@ -3342,19 +3342,19 @@
   function Recursive_0() {
     Recursive_instance_0 = this;
     PropertyReduce.call(this);
-    this.B1$delegate_1 = this.variables_1;
-    this.C$delegate_1 = this.variables_1;
-    this.O$delegate_1 = this.variables_1;
-    this.P$delegate_1 = this.variables_1;
+    this.r57_1 = this.y21_1;
+    this.s57_1 = this.y21_1;
+    this.t57_1 = this.y21_1;
+    this.u57_1 = this.y21_1;
   }
-  protoOf(Recursive_0).get_head_btpmqe_k$ = function (_this__u8e3s4) {
-    return listOf([_this__u8e3s4.logicListFrom_pxemlx_k$([this.get_A_1mhr4o_k$(), this.get_B_1mhr4p_k$()], _get_C__7mlnqm_0(this)), _get_O__7mlo0y(this), _get_P__7mlo1t_2(this)]);
+  protoOf(Recursive_0).g2o = function (_this__u8e3s4) {
+    return listOf([_this__u8e3s4.o12([this.d58(), this.e58()], _get_C__7mlnqm_0(this)), _get_O__7mlo0y(this), _get_P__7mlo1t_2(this)]);
   };
-  protoOf(Recursive_0).get_body_3ji99k_k$ = function (_this__u8e3s4) {
+  protoOf(Recursive_0).h2o = function (_this__u8e3s4) {
     var tmp = _this__u8e3s4.atomOf('!');
     // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
     var tmp$ret$0 = InvokeMethod_getInstance().signature.name;
-    return _this__u8e3s4.tupleOf([tmp, _this__u8e3s4.structOf(tmp$ret$0, [this.get_A_1mhr4o_k$(), this.get_B_1mhr4p_k$(), _get_B1__ndb8zg(this)]), _this__u8e3s4.structOf('property_reduce', [_this__u8e3s4.consOf(_get_B1__ndb8zg(this), _get_C__7mlnqm_0(this)), _get_O__7mlo0y(this), _get_P__7mlo1t_2(this)])]);
+    return _this__u8e3s4.tupleOf([tmp, _this__u8e3s4.structOf(tmp$ret$0, [this.d58(), this.e58(), _get_B1__ndb8zg(this)]), _this__u8e3s4.structOf('property_reduce', [_this__u8e3s4.consOf(_get_B1__ndb8zg(this), _get_C__7mlnqm_0(this)), _get_O__7mlo0y(this), _get_P__7mlo1t_2(this)])]);
   };
   var Recursive_instance_0;
   function Recursive_getInstance_0() {
@@ -3366,8 +3366,8 @@
     Base_instance = this;
     PropertyReduce.call(this);
   }
-  protoOf(Base).get_head_btpmqe_k$ = function (_this__u8e3s4) {
-    return listOf([_this__u8e3s4.consOf(this.get_A_1mhr4o_k$(), this.get_B_1mhr4p_k$()), this.get_A_1mhr4o_k$(), this.get_B_1mhr4p_k$()]);
+  protoOf(Base).g2o = function (_this__u8e3s4) {
+    return listOf([_this__u8e3s4.consOf(this.d58(), this.e58()), this.d58(), this.e58()]);
   };
   var Base_instance;
   function Base_getInstance() {
@@ -3377,32 +3377,32 @@
   }
   function PropertyReduce$_get_A_$ref_14cvqu() {
     return constructCallableReference(function (p0) {
-      return p0.get_A_1mhr4o_k$();
+      return p0.d58();
     }, 1, 0, 157);
   }
   function PropertyReduce$_get_B_$ref_1lei51() {
     return constructCallableReference(function (p0) {
-      return p0.get_B_1mhr4p_k$();
+      return p0.e58();
     }, 1, 0, 158);
   }
   function PropertyReduce() {
     RuleWrapper_init_$Init$('property_reduce', 3, VOID, this);
-    this.help_1 = "`property_reduce(+Expression, ?Ref, ?Property)`\n\nHelper behind the assignment form of `:=/2`: given a chain of member accesses `Receiver.M1....Mn.Property`, evaluates every access but the last one (as `fluent_reduce/2` does, via `invoke_method/3`), unifying `Ref` with the reference reached that way and `Property` with the final access. Deterministic (each clause cuts); fails if `Expression` is not a chain.\n\n**Examples**\n\n```prolog\n?- new_object('java.lang.StringBuilder', [abc], B), property_reduce(B.reverse.length, R, P), S := R.toString.\nP = length, S = cba.\n\n?- property_reduce(foo, R, P).\nno.\n```";
-    this.A$delegate_1 = this.variables_1;
-    this.B$delegate_1 = this.variables_1;
+    this.a58_1 = "`property_reduce(+Expression, ?Ref, ?Property)`\n\nHelper behind the assignment form of `:=/2`: given a chain of member accesses `Receiver.M1....Mn.Property`, evaluates every access but the last one (as `fluent_reduce/2` does, via `invoke_method/3`), unifying `Ref` with the reference reached that way and `Property` with the final access. Deterministic (each clause cuts); fails if `Expression` is not a chain.\n\n**Examples**\n\n```prolog\n?- new_object('java.lang.StringBuilder', [abc], B), property_reduce(B.reverse.length, R, P), S := R.toString.\nP = length, S = cba.\n\n?- property_reduce(foo, R, P).\nno.\n```";
+    this.b58_1 = this.y21_1;
+    this.c58_1 = this.y21_1;
   }
-  protoOf(PropertyReduce).get_help_won7nu_k$ = function () {
-    return this.help_1;
+  protoOf(PropertyReduce).i1x = function () {
+    return this.a58_1;
   };
-  protoOf(PropertyReduce).get_A_1mhr4o_k$ = function () {
+  protoOf(PropertyReduce).d58 = function () {
     var tmp = KProperty1;
-    return this.A$delegate_1.getValue(this, getPropertyCallableRef('A', 1, tmp, PropertyReduce$_get_A_$ref_14cvqu(), null));
+    return this.b58_1.getValue(this, getPropertyCallableRef('A', 1, tmp, PropertyReduce$_get_A_$ref_14cvqu(), null));
   };
-  protoOf(PropertyReduce).get_B_1mhr4p_k$ = function () {
+  protoOf(PropertyReduce).e58 = function () {
     var tmp = KProperty1;
-    return this.B$delegate_1.getValue(this, getPropertyCallableRef('B', 1, tmp, PropertyReduce$_get_B_$ref_1lei51(), null));
+    return this.c58_1.getValue(this, getPropertyCallableRef('B', 1, tmp, PropertyReduce$_get_B_$ref_1lei51(), null));
   };
-  protoOf(PropertyReduce).get_body_3ji99k_k$ = function (_this__u8e3s4) {
+  protoOf(PropertyReduce).h2o = function (_this__u8e3s4) {
     return _this__u8e3s4.atomOf('!');
   };
   function get_platformSpecificAliases() {
@@ -3437,32 +3437,32 @@
   }
   function get_companionObjectRef(_this__u8e3s4) {
     _init_properties_TypeUtilsJs_kt__53l6dq();
-    return Companion_instance.none_6mb3x4_k$();
+    return Companion_instance.mr();
   }
   function kClassFromName(qualifiedName) {
     _init_properties_TypeUtilsJs_kt__53l6dq();
-    var match = get_CLASS_NAME_PATTERN().matchEntire_6100vb_k$(qualifiedName);
+    var match = get_CLASS_NAME_PATTERN().sb(qualifiedName);
     // Inline function 'kotlin.require' call
     if (!!(match == null)) {
-      var message = '`' + qualifiedName + '` should match ' + get_CLASS_NAME_PATTERN().pattern_1 + ", while is doesn't";
+      var message = '`' + qualifiedName + '` should match ' + get_CLASS_NAME_PATTERN().cb_1 + ", while is doesn't";
       throw IllegalArgumentException_init_$Create$(toString_0(message));
     }
-    var module_0 = ensureNotNull(match.get_groups_dy12vx_k$().get_c1px32_k$(1)).value_1;
-    var packageSteps = split(ensureNotNull(match.get_groups_dy12vx_k$().get_c1px32_k$(2)).value_1, charArrayOf([_Char___init__impl__6a9atx(46)]));
+    var module_0 = ensureNotNull(match.yb().x(1)).xb_1;
+    var packageSteps = split(ensureNotNull(match.yb().x(2)).xb_1, charArrayOf([_Char___init__impl__6a9atx(46)]));
     var kClass = require(module_0);
     // Inline function 'kotlin.let' call
-    var it = packageSteps.iterator_jk1svi_k$();
-    while (it.hasNext_bitz1p_k$() && kClass != null && kClass != undefined) {
-      kClass = kClass[it.next_20eer_k$()];
+    var it = packageSteps.n();
+    while (it.q() && kClass != null && kClass != undefined) {
+      kClass = kClass[it.r()];
     }
     var tmp;
     if (kClass != null && kClass != undefined) {
       var tmp_0 = Companion_instance;
       // Inline function 'kotlin.js.unsafeCast' call
       var tmp$ret$4 = kClass;
-      tmp = tmp_0.some_qfcpk3_k$(get_kotlin(tmp$ret$4));
+      tmp = tmp_0.yt(get_kotlin(tmp$ret$4));
     } else {
-      tmp = Companion_instance.none_6mb3x4_k$();
+      tmp = Companion_instance.mr();
     }
     return tmp;
   }
@@ -3501,12 +3501,12 @@
     }
   }
   //region block: post-declaration
-  protoOf(NullRefImpl).get_object_hhhtfs_k$ = get_object;
-  protoOf(NullRefImpl).invoke_yaglp8_k$ = invoke;
-  protoOf(NullRefImpl).assign_9qr39z_k$ = assign;
-  protoOf(TermToObjectConverterImpl).convert_i46eqg_k$ = convert;
-  protoOf(TypeFactoryImpl).typeRefFromName_8i9x2s_k$ = typeRefFromName;
-  protoOf(TypeRefImpl).create_4i78so_k$ = create;
+  protoOf(NullRefImpl).b51 = get_object;
+  protoOf(NullRefImpl).c51 = invoke;
+  protoOf(NullRefImpl).d51 = assign;
+  protoOf(TermToObjectConverterImpl).z51 = convert;
+  protoOf(TypeFactoryImpl).c52 = typeRefFromName;
+  protoOf(TypeRefImpl).d52 = create;
   //endregion
   //region block: init
   Companion_instance_9 = new Companion_1();