@tuprolog/2p-full 3.0.6 → 3.0.8

package/2p-oop-lib.js

@@ -28,28 +28,28 @@
   'use strict';
   //region block: imports
   var NullPointerException_init_$Create$ = kotlin_kotlin.$_$.t1;
-  var protoOf = kotlin_kotlin.$_$.s8;
-  var initMetadataForInterface = kotlin_kotlin.$_$.e8;
+  var protoOf = kotlin_kotlin.$_$.u8;
+  var initMetadataForInterface = kotlin_kotlin.$_$.g8;
   var VOID = kotlin_kotlin.$_$.b;
   var PrimitiveClasses_getInstance = kotlin_kotlin.$_$.o;
   var KtList = kotlin_kotlin.$_$.e2;
-  var getKClass = kotlin_kotlin.$_$.q9;
+  var getKClass = kotlin_kotlin.$_$.s9;
   var ArrayList = kotlin_kotlin.$_$.a2;
   var KtMap = kotlin_kotlin.$_$.f2;
   var LinkedHashMap = kotlin_kotlin.$_$.c2;
-  var Char = kotlin_kotlin.$_$.rd;
-  var BigInteger = kotlin_io_github_gciatto_kt_math.$_$.g;
-  var BigDecimal = kotlin_io_github_gciatto_kt_math.$_$.f;
+  var Char = kotlin_kotlin.$_$.td;
+  var BigInteger = kotlin_io_github_gciatto_kt_math.$_$.h;
+  var BigDecimal = kotlin_io_github_gciatto_kt_math.$_$.g;
   var arrayConcat = kotlin_kotlin.$_$.a;
-  var listOf = kotlin_kotlin.$_$.h4;
+  var listOf = kotlin_kotlin.$_$.i4;
   var Signature = kotlin_it_unibo_tuprolog_solve.$_$.l4;
-  var to = kotlin_kotlin.$_$.we;
-  var mapOf = kotlin_kotlin.$_$.k4;
+  var to = kotlin_kotlin.$_$.ye;
+  var mapOf = kotlin_kotlin.$_$.l4;
   var AbstractLibrary = kotlin_it_unibo_tuprolog_solve.$_$.w2;
   var collectionSizeOrDefault = kotlin_kotlin.$_$.w2;
-  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.t;
+  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.u;
   var Unit_instance = kotlin_kotlin.$_$.r;
-  var toMap = kotlin_kotlin.$_$.y5;
+  var toMap = kotlin_kotlin.$_$.a6;
   var Specifier_XFY_getInstance = kotlin_it_unibo_tuprolog_core.$_$.c;
   var Operator = kotlin_it_unibo_tuprolog_core.$_$.n1;
   var Specifier_XFX_getInstance = kotlin_it_unibo_tuprolog_core.$_$.b;
@@ -58,69 +58,69 @@
   var asSequence = kotlin_kotlin.$_$.r2;
   var documentationOf = kotlin_it_unibo_tuprolog_solve.$_$.y2;
   var mergeDocumentation = kotlin_it_unibo_tuprolog_solve.$_$.z2;
-  var initMetadataForObject = kotlin_kotlin.$_$.g8;
-  var getKClassFromExpression = kotlin_kotlin.$_$.p9;
-  var initMetadataForCompanion = kotlin_kotlin.$_$.c8;
+  var initMetadataForObject = kotlin_kotlin.$_$.i8;
+  var getKClassFromExpression = kotlin_kotlin.$_$.r9;
+  var initMetadataForCompanion = kotlin_kotlin.$_$.e8;
   var Atom = kotlin_it_unibo_tuprolog_core.$_$.o1;
-  var KProperty1 = kotlin_kotlin.$_$.t9;
-  var getPropertyCallableRef = kotlin_kotlin.$_$.y7;
-  var constructCallableReference = kotlin_kotlin.$_$.r7;
-  var isInterface = kotlin_kotlin.$_$.k8;
-  var lazy = kotlin_kotlin.$_$.pe;
-  var toString = kotlin_kotlin.$_$.ve;
-  var hashCode = kotlin_kotlin.$_$.a8;
-  var equals = kotlin_kotlin.$_$.t7;
-  var initMetadataForClass = kotlin_kotlin.$_$.b8;
+  var KProperty1 = kotlin_kotlin.$_$.v9;
+  var getPropertyCallableRef = kotlin_kotlin.$_$.a8;
+  var constructCallableReference = kotlin_kotlin.$_$.t7;
+  var isInterface = kotlin_kotlin.$_$.m8;
+  var lazy = kotlin_kotlin.$_$.re;
+  var toString = kotlin_kotlin.$_$.xe;
+  var hashCode = kotlin_kotlin.$_$.c8;
+  var equals = kotlin_kotlin.$_$.v7;
+  var initMetadataForClass = kotlin_kotlin.$_$.d8;
   var Companion_instance = kotlin_it_unibo_tuprolog_utils.$_$.e;
   var contains = kotlin_kotlin.$_$.x2;
-  var listOf_0 = kotlin_kotlin.$_$.g4;
+  var listOf_0 = kotlin_kotlin.$_$.h4;
   var checkIndexOverflow = kotlin_kotlin.$_$.v2;
   var copyToArray = kotlin_kotlin.$_$.g3;
-  var toString_0 = kotlin_kotlin.$_$.v8;
-  var trimMargin = kotlin_kotlin.$_$.nd;
+  var toString_0 = kotlin_kotlin.$_$.x8;
+  var trimMargin = kotlin_kotlin.$_$.pd;
   var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.j1;
-  var setOf = kotlin_kotlin.$_$.g5;
+  var setOf = kotlin_kotlin.$_$.h5;
   var Companion_instance_0 = kotlin_it_unibo_tuprolog_core.$_$.z;
-  var format = kotlin_it_unibo_tuprolog_core.$_$.c3;
-  var captureStack = kotlin_kotlin.$_$.j7;
+  var format = kotlin_it_unibo_tuprolog_core.$_$.b3;
+  var captureStack = kotlin_kotlin.$_$.l7;
   var Companion_instance_1 = kotlin_it_unibo_tuprolog_solve.$_$.e1;
   var Expected_DEALIASING_EXPRESSION_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.m;
-  var charSequenceLength = kotlin_kotlin.$_$.o7;
-  var charCodeAt = kotlin_kotlin.$_$.m7;
+  var charSequenceLength = kotlin_kotlin.$_$.q7;
+  var charCodeAt = kotlin_kotlin.$_$.o7;
   var toString_1 = kotlin_kotlin.$_$.h;
-  var substring = kotlin_kotlin.$_$.ad;
+  var substring = kotlin_kotlin.$_$.dd;
   var Companion_getInstance = kotlin_it_unibo_tuprolog_unify.$_$.a;
   var Struct = kotlin_it_unibo_tuprolog_core.$_$.z1;
   var Companion_instance_2 = kotlin_it_unibo_tuprolog_solve.$_$.y;
   var ObjectType_OOP_ALIAS_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.h;
   var TuPrologException_init_$Init$ = kotlin_it_unibo_tuprolog_core.$_$.i1;
   var TuPrologException = kotlin_it_unibo_tuprolog_core.$_$.l1;
-  var objectCreate = kotlin_kotlin.$_$.r8;
+  var objectCreate = kotlin_kotlin.$_$.t8;
   var Companion_instance_3 = kotlin_it_unibo_tuprolog_solve.$_$.b1;
   var Limit_OOP_OBJECT_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.k;
   var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_core.$_$.m;
-  var THROW_CCE = kotlin_kotlin.$_$.fe;
+  var THROW_CCE = kotlin_kotlin.$_$.he;
   var Term = kotlin_it_unibo_tuprolog_core.$_$.y2;
   var NumberTypeTester = kotlin_it_unibo_tuprolog_utils.$_$.l;
   var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_core.$_$.a1;
-  var charArrayOf = kotlin_kotlin.$_$.k7;
-  var concatToString = kotlin_kotlin.$_$.rb;
+  var charArrayOf = kotlin_kotlin.$_$.m7;
+  var concatToString = kotlin_kotlin.$_$.ub;
   var Companion_getInstance_2 = kotlin_it_unibo_tuprolog_core.$_$.u;
   var Companion_getInstance_3 = kotlin_it_unibo_tuprolog_core.$_$.r;
-  var isNumber = kotlin_kotlin.$_$.l8;
-  var Exception = kotlin_kotlin.$_$.wd;
-  var Var = kotlin_it_unibo_tuprolog_core.$_$.b3;
-  var sequenceOf = kotlin_kotlin.$_$.ab;
-  var plus = kotlin_kotlin.$_$.ya;
-  var Companion_getInstance_4 = kotlin_io_github_gciatto_kt_math.$_$.e;
-  var Companion_getInstance_5 = kotlin_io_github_gciatto_kt_math.$_$.d;
-  var compareTo = kotlin_kotlin.$_$.q7;
+  var isNumber = kotlin_kotlin.$_$.n8;
+  var Exception = kotlin_kotlin.$_$.yd;
+  var Var = kotlin_it_unibo_tuprolog_core.$_$.a3;
+  var sequenceOf = kotlin_kotlin.$_$.db;
+  var plus = kotlin_kotlin.$_$.bb;
+  var Companion_getInstance_4 = kotlin_io_github_gciatto_kt_math.$_$.f;
+  var Companion_getInstance_5 = kotlin_io_github_gciatto_kt_math.$_$.e;
+  var compareTo = kotlin_kotlin.$_$.s7;
   var Integer = kotlin_it_unibo_tuprolog_core.$_$.u1;
-  var sequenceOf_0 = kotlin_kotlin.$_$.za;
+  var sequenceOf_0 = kotlin_kotlin.$_$.cb;
   var Real = kotlin_it_unibo_tuprolog_core.$_$.x1;
   var Truth = kotlin_it_unibo_tuprolog_core.$_$.z2;
-  var first = kotlin_kotlin.$_$.ia;
-  var toSet = kotlin_kotlin.$_$.jb;
+  var first = kotlin_kotlin.$_$.ka;
+  var toSet = kotlin_kotlin.$_$.mb;
   var Some = kotlin_it_unibo_tuprolog_utils.$_$.m;
   var Companion_getInstance_6 = kotlin_it_unibo_tuprolog_core.$_$.y;
   var Companion_getInstance_7 = kotlin_it_unibo_tuprolog_solve.$_$.n1;
@@ -129,24 +129,24 @@
   var ResolutionException = kotlin_it_unibo_tuprolog_solve.$_$.t2;
   var Functional_0 = kotlin_it_unibo_tuprolog_solve.$_$.a3;
   var Expected_OBJECT_REFERENCE_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.o;
-  var map = kotlin_kotlin.$_$.ta;
+  var map = kotlin_kotlin.$_$.wa;
   var Companion_instance_5 = kotlin_it_unibo_tuprolog_core.$_$.s;
   var List = kotlin_it_unibo_tuprolog_core.$_$.v1;
-  var toList = kotlin_kotlin.$_$.hb;
-  var isArray = kotlin_kotlin.$_$.h8;
+  var toList = kotlin_kotlin.$_$.kb;
+  var isArray = kotlin_kotlin.$_$.j8;
   var asSequence_0 = kotlin_kotlin.$_$.s2;
   var Predicative = kotlin_it_unibo_tuprolog_solve.$_$.k3;
   var TernaryRelation = kotlin_it_unibo_tuprolog_solve.$_$.m3;
-  var flatMap = kotlin_kotlin.$_$.ja;
-  var distinct = kotlin_kotlin.$_$.ba;
+  var flatMap = kotlin_kotlin.$_$.la;
+  var distinct = kotlin_kotlin.$_$.da;
   var TypeTester = kotlin_it_unibo_tuprolog_solve.$_$.n3;
   var Expected_TYPE_REFERENCE_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.q;
   var Expected_REFERENCE_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.p;
   var Companion_getInstance_8 = kotlin_it_unibo_tuprolog_core.$_$.c1;
   var Companion_getInstance_9 = kotlin_it_unibo_tuprolog_core.$_$.x;
-  var filter = kotlin_kotlin.$_$.ga;
-  var Sequence = kotlin_kotlin.$_$.v9;
-  var firstOrNull = kotlin_kotlin.$_$.ha;
+  var filter = kotlin_kotlin.$_$.ia;
+  var Sequence = kotlin_kotlin.$_$.x9;
+  var firstOrNull = kotlin_kotlin.$_$.ja;
   var Yes = kotlin_it_unibo_tuprolog_solve.$_$.o4;
   var NonBacktrackable = kotlin_it_unibo_tuprolog_solve.$_$.b3;
   var Companion_instance_6 = kotlin_it_unibo_tuprolog_solve.$_$.z;
@@ -155,13 +155,13 @@
   var RuleWrapper = kotlin_it_unibo_tuprolog_solve.$_$.r3;
   var RuleWrapper_init_$Init$ = kotlin_it_unibo_tuprolog_solve.$_$.k2;
   var Var_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.q1;
-  var getStringHashCode = kotlin_kotlin.$_$.z7;
-  var toString_2 = kotlin_kotlin.$_$.kd;
-  var ensureNotNull = kotlin_kotlin.$_$.le;
+  var getStringHashCode = kotlin_kotlin.$_$.b8;
+  var toString_2 = kotlin_kotlin.$_$.md;
+  var ensureNotNull = kotlin_kotlin.$_$.ne;
   var _Char___init__impl__6a9atx = kotlin_kotlin.$_$.c;
-  var split = kotlin_kotlin.$_$.tc;
-  var get_kotlin = kotlin_kotlin.$_$.m8;
-  var NotImplementedError = kotlin_kotlin.$_$.ae;
+  var split = kotlin_kotlin.$_$.wc;
+  var get_kotlin = kotlin_kotlin.$_$.o8;
+  var NotImplementedError = kotlin_kotlin.$_$.ce;
   var Regex_init_$Create$ = kotlin_kotlin.$_$.z;
   //endregion
   //region block: pre-declaration
@@ -185,18 +185,18 @@
   initMetadataForClass(Value, 'Value', VOID, Result);
   initMetadataForCompanion(Companion_2);
   function convert(term) {
-    return this.w51(this.y51(term), term);
+    return this.h52(this.j52(term), term);
   }
   initMetadataForInterface(TermToObjectConverter, 'TermToObjectConverter');
   initMetadataForCompanion(Companion_3);
   function typeRefFromName(typeName) {
-    var tmp = Companion_instance.nr(this.b52(typeName));
-    return tmp.au(TypeFactory$typeRefFromName$lambda).f1();
+    var tmp = Companion_instance.lr(this.m52(typeName));
+    return tmp.zt(TypeFactory$typeRefFromName$lambda).f1();
   }
   initMetadataForInterface(TypeFactory, 'TypeFactory');
   initMetadataForCompanion(Companion_4);
   function create(objectConverter, arguments_0) {
-    return this.e52(objectConverter, listOf(arguments_0.slice()));
+    return this.p52(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.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()]));
+    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.q51('string', PrimitiveClasses_getInstance().ia()), Companion_instance_15.q51('array', PrimitiveClasses_getInstance().ha()), Companion_instance_15.q51('list', getKClass(KtList)), Companion_instance_15.q51('arraylist', getKClass(ArrayList)), Companion_instance_15.q51('map', getKClass(KtMap)), Companion_instance_15.q51('hashmap', getKClass(LinkedHashMap)), Companion_instance_15.q51('int', PrimitiveClasses_getInstance().da()), Companion_instance_15.q51('integer', PrimitiveClasses_getInstance().da()), Companion_instance_15.q51('double', PrimitiveClasses_getInstance().ga()), Companion_instance_15.q51('float', PrimitiveClasses_getInstance().fa()), Companion_instance_15.q51('long', PrimitiveClasses_getInstance().ea()), Companion_instance_15.q51('short', PrimitiveClasses_getInstance().ca()), Companion_instance_15.q51('byte', PrimitiveClasses_getInstance().ba()), Companion_instance_15.q51('char', getKClass(Char)), Companion_instance_15.q51('bool', PrimitiveClasses_getInstance().aa()), Companion_instance_15.q51('boolean', PrimitiveClasses_getInstance().aa()), Companion_instance_15.q51('any', PrimitiveClasses_getInstance().x9()), Companion_instance_15.q51('nothing', PrimitiveClasses_getInstance().z9()), Companion_instance_15.q51('big_integer', getKClass(BigInteger)), Companion_instance_15.q51('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,15 +257,15 @@
   function OOPLib() {
     OOPLib_instance = this;
     AbstractLibrary.call(this);
-    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.";
+    this.s51_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).w2i = function () {
+  protoOf(OOPLib).e2j = function () {
     return 'prolog.oop';
   };
   protoOf(OOPLib).i1x = function () {
-    return this.h51_1;
+    return this.s51_1;
   };
-  protoOf(OOPLib).r2i = function () {
+  protoOf(OOPLib).z2i = 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
@@ -295,8 +295,8 @@
   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).x2i = function () {
-    return mergeDocumentation([protoOf(AbstractLibrary).x2i.call(this), documentationOf(asSequence(_get_ruleWrappers__mybpf3(this))), _get_operatorDocumentation__vy55az(this)]);
+  protoOf(OOPLib).f2j = function () {
+    return mergeDocumentation([protoOf(AbstractLibrary).f2j.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.i51_1 = NullRefImpl_getInstance();
+    this.t51_1 = NullRefImpl_getInstance();
   }
-  protoOf(Companion).j51 = function (any) {
+  protoOf(Companion).u51 = function (any) {
     return any == null ? nameOf(this, PrimitiveClasses_getInstance().z9(), 'null') : nameOf(this, getKClassFromExpression(any), get_identifier(any));
   };
-  protoOf(Companion).k51 = function (any) {
-    return any == null ? this.i51_1 : new ObjectRefImpl(any);
+  protoOf(Companion).v51 = function (any) {
+    return any == null ? this.t51_1 : new ObjectRefImpl(any);
   };
   var Companion_instance_7;
   function Companion_getInstance_10() {
@@ -327,7 +327,7 @@
   }
   function Companion_0() {
     Companion_instance_8 = this;
-    this.l51_1 = new ObjectToTermConverterImpl();
+    this.w51_1 = new ObjectToTermConverterImpl();
   }
   var Companion_instance_8;
   function Companion_getInstance_11() {
@@ -337,7 +337,7 @@
   }
   function Companion_1() {
   }
-  protoOf(Companion_1).m51 = function (type, termToObjectConverter) {
+  protoOf(Companion_1).x51 = function (type, termToObjectConverter) {
     return overloadSelector(type, termToObjectConverter);
   };
   var Companion_instance_9;
@@ -347,14 +347,14 @@
   function Ref() {
   }
   function _get_termValue__ikgccs($this) {
-    var tmp0 = $this.o51_1;
+    var tmp0 = $this.z51_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     getPropertyCallableRef('termValue', 1, tmp, Result$Value$_get_termValue_$ref_u3cirl(), null);
     return tmp0.f1();
   }
   function _get_objectRef__3zhern($this) {
-    var tmp0 = $this.p51_1;
+    var tmp0 = $this.a52_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     getPropertyCallableRef('objectRef', 1, tmp, Result$Value$_get_objectRef_$ref_8a6ozy(), null);
@@ -362,13 +362,13 @@
   }
   function Result$Value$termValue$delegate$lambda(this$0) {
     return function () {
-      return Companion_getInstance_11().l51_1.q51(this$0.n51_1);
+      return Companion_getInstance_11().w51_1.b52(this$0.y51_1);
     };
   }
   function Result$Value$_get_termValue_$ref_u3cirl() {
     return constructCallableReference(function (p0) {
       return _get_termValue__ikgccs(p0);
-    }, 1, 0, 130);
+    }, 1, 0, 131);
   }
   function Result$Value$objectRef$delegate$lambda(this$0) {
     return function () {
@@ -378,7 +378,7 @@
       if (isInterface(it, ObjectRef)) {
         tmp = it;
       } else {
-        tmp = Companion_getInstance_10().k51(this$0.n51_1);
+        tmp = Companion_getInstance_10().v51(this$0.y51_1);
       }
       return tmp;
     };
@@ -386,15 +386,15 @@
   function Result$Value$_get_objectRef_$ref_8a6ozy() {
     return constructCallableReference(function (p0) {
       return _get_objectRef__3zhern(p0);
-    }, 1, 0, 131);
+    }, 1, 0, 132);
   }
   function Value(value) {
     Result.call(this);
-    this.n51_1 = value;
+    this.y51_1 = value;
     var tmp = this;
-    tmp.o51_1 = lazy(Result$Value$termValue$delegate$lambda(this));
+    tmp.z51_1 = lazy(Result$Value$termValue$delegate$lambda(this));
     var tmp_0 = this;
-    tmp_0.p51_1 = lazy(Result$Value$objectRef$delegate$lambda(this));
+    tmp_0.a52_1 = lazy(Result$Value$objectRef$delegate$lambda(this));
   }
   protoOf(Value).t1j = function () {
     return _get_termValue__ikgccs(this);
@@ -402,21 +402,21 @@
   protoOf(Value).toTerm = function () {
     return this.t1j();
   };
-  protoOf(Value).r51 = function () {
+  protoOf(Value).c52 = function () {
     return _get_objectRef__3zhern(this);
   };
   protoOf(Value).toString = function () {
-    return 'Value(value=' + toString(this.n51_1) + ')';
+    return 'Value(value=' + toString(this.y51_1) + ')';
   };
   protoOf(Value).hashCode = function () {
-    return this.n51_1 == null ? 0 : hashCode(this.n51_1);
+    return this.y51_1 == null ? 0 : hashCode(this.y51_1);
   };
   protoOf(Value).equals = function (other) {
     if (this === other)
       return true;
     if (!(other instanceof Value))
       return false;
-    if (!equals(this.n51_1, other.n51_1))
+    if (!equals(this.y51_1, other.y51_1))
       return false;
     return true;
   };
@@ -427,13 +427,13 @@
   }
   function Companion_2() {
     Companion_instance_10 = this;
-    this.s51_1 = this.t51();
+    this.d52_1 = this.e52();
   }
-  protoOf(Companion_2).u51 = function (typeFactory, dealiaser) {
+  protoOf(Companion_2).f52 = function (typeFactory, dealiaser) {
     return new TermToObjectConverterImpl(typeFactory, dealiaser);
   };
-  protoOf(Companion_2).t51 = function (typeFactory, dealiaser, $super) {
-    typeFactory = typeFactory === VOID ? Companion_getInstance_14().v51_1 : typeFactory;
+  protoOf(Companion_2).e52 = function (typeFactory, dealiaser, $super) {
+    typeFactory = typeFactory === VOID ? Companion_getInstance_14().g52_1 : typeFactory;
     var tmp;
     if (dealiaser === VOID) {
       tmp = TermToObjectConverter$Companion$of$lambda;
@@ -441,7 +441,7 @@
       tmp = dealiaser;
     }
     dealiaser = tmp;
-    return $super === VOID ? this.u51(typeFactory, dealiaser) : $super.u51.call(this, typeFactory, dealiaser);
+    return $super === VOID ? this.f52(typeFactory, dealiaser) : $super.f52.call(this, typeFactory, dealiaser);
   };
   var Companion_instance_10;
   function Companion_getInstance_13() {
@@ -453,7 +453,7 @@
   }
   function Companion_3() {
     Companion_instance_11 = this;
-    this.v51_1 = new TypeFactoryImpl();
+    this.g52_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.a52(it);
+    return Companion_instance_12.l52(it);
   }
   function TypeFactory() {
   }
   function Companion_4() {
   }
-  protoOf(Companion_4).a52 = function (type) {
+  protoOf(Companion_4).l52 = 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.m51(_this__u8e3s4, objectConverter).f52(arguments_0);
+    var constructorRef = Companion_instance_9.x51(_this__u8e3s4, objectConverter).q52(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.m51(_this__u8e3s4, objectConverter).g52(methodName, arguments_0);
+    var methodRef = Companion_instance_9.x51(_this__u8e3s4, objectConverter).r52(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.m51(_this__u8e3s4, objectConverter).h52(propertyName, value));
+    var setterRef = get_setterMethod(Companion_instance_9.x51(_this__u8e3s4, objectConverter).s52(propertyName, value));
     return callWithPrologArguments(setterRef, objectConverter, listOf_0(value), instance);
   }
   function isSubtypeOf_0(_this__u8e3s4, other, strict) {
@@ -531,7 +531,7 @@
       var _unary__edvuaz = index;
       index = _unary__edvuaz + 1 | 0;
       var i = checkIndexOverflow(_unary__edvuaz);
-      var tmp$ret$2 = converter.w51(formalArgumentsTypes.x(i), item);
+      var tmp$ret$2 = converter.h52(formalArgumentsTypes.t(i), item);
       destination.l(tmp$ret$2);
     }
     // Inline function 'kotlin.collections.toTypedArray' call
@@ -593,12 +593,12 @@
   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.i52_1 = dealiasingExpression;
+    this.t52_1 = dealiasingExpression;
   }
-  protoOf(MalformedAliasException).j52 = function (context, signature) {
+  protoOf(MalformedAliasException).u52 = function (context, signature) {
     var tmp = Companion_instance_1;
     var tmp_0 = Expected_DEALIASING_EXPRESSION_getInstance();
-    var tmp_1 = this.r28();
+    var tmp_1 = this.t28();
     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).r28 = function () {
-    return this.i52_1;
+  protoOf(MalformedAliasException).t28 = function () {
+    return this.t52_1;
   };
   function NoSuchAnAliasException(dealiasingExpression) {
     OopException_init_$Init$('There exists no reference whose alias is `' + dealiasingExpression.get(0).toString() + '`', VOID, this);
     captureStack(this, NoSuchAnAliasException);
-    this.k52_1 = dealiasingExpression;
+    this.v52_1 = dealiasingExpression;
     // Inline function 'kotlin.require' call
     // Inline function 'kotlin.require' call
-    if (!Companion_getInstance().matches(this.k52_1, get_DEALIASING_TEMPLATE())) {
+    if (!Companion_getInstance().matches(this.v52_1, get_DEALIASING_TEMPLATE())) {
       var message = 'Failed requirement.';
       throw IllegalArgumentException_init_$Create$(toString_0(message));
     }
-    var tmp = this.k52_1.get(0);
+    var tmp = this.v52_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).j52 = function (context, signature) {
+  protoOf(NoSuchAnAliasException).u52 = function (context, signature) {
     var tmp = Companion_instance_2;
     var tmp_0 = ObjectType_OOP_ALIAS_getInstance();
-    var tmp_1 = this.r28();
+    var tmp_1 = this.t28();
     var tmp0_elvis_lhs = this.message;
     return tmp.of(context, tmp_0, tmp_1, tmp0_elvis_lhs == null ? '' : tmp0_elvis_lhs);
   };
-  protoOf(NoSuchAnAliasException).r28 = function () {
-    return this.k52_1;
+  protoOf(NoSuchAnAliasException).t28 = function () {
+    return this.v52_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.l52_1 = term;
-    this.m52_1 = targetType;
+    this.w52_1 = term;
+    this.x52_1 = targetType;
   }
-  protoOf(TermToObjectConversionException).j52 = function (context, signature) {
-    return Companion_instance_3.n2a(context, signature, Limit_OOP_OBJECT_getInstance(), this);
+  protoOf(TermToObjectConversionException).u52 = function (context, signature) {
+    return Companion_instance_3.p2a(context, signature, Limit_OOP_OBJECT_getInstance(), this);
   };
   function NullRefImpl() {
     NullRefImpl_instance = this;
-    this.n52_1 = Companion_getInstance_0().of(Companion_getInstance_10().j51(null));
+    this.y52_1 = Companion_getInstance_0().of(Companion_getInstance_10().u51(null));
   }
-  protoOf(NullRefImpl).xx = function () {
+  protoOf(NullRefImpl).wx = function () {
     return true;
   };
-  protoOf(NullRefImpl).by = function () {
+  protoOf(NullRefImpl).ay = function () {
     return this;
   };
   protoOf(NullRefImpl).asConstant = function () {
-    return this.by();
+    return this.ay();
   };
-  protoOf(NullRefImpl).bx = function () {
+  protoOf(NullRefImpl).ax = function () {
     return this;
   };
   protoOf(NullRefImpl).freshCopy = function () {
-    return this.bx();
+    return this.ax();
   };
-  protoOf(NullRefImpl).cx = function (scope) {
+  protoOf(NullRefImpl).bx = function (scope) {
     return this;
   };
   protoOf(NullRefImpl).freshCopyFromScope = function (scope) {
-    return this.cx(scope);
+    return this.bx(scope);
   };
-  protoOf(NullRefImpl).sx = function () {
+  protoOf(NullRefImpl).rx = function () {
     return isInterface(this, Term) ? this : THROW_CCE();
   };
-  protoOf(NullRefImpl).pr = function () {
-    return this.sx();
+  protoOf(NullRefImpl).mr = function () {
+    return this.rx();
   };
-  protoOf(NullRefImpl).r17 = function (substitution) {
+  protoOf(NullRefImpl).q17 = function (substitution) {
     return this;
   };
   protoOf(NullRefImpl).applySubstitution = function (substitution) {
-    return this.r17(substitution);
+    return this.q17(substitution);
   };
-  protoOf(NullRefImpl).g2u = function (substitution, substitutions) {
+  protoOf(NullRefImpl).q2u = function (substitution, substitutions) {
     return this;
   };
   protoOf(NullRefImpl).apply = function (substitution, substitutions) {
-    return this.g2u(substitution, substitutions);
+    return this.q2u(substitution, substitutions);
   };
-  protoOf(NullRefImpl).f2u = function (substitution, substitutions) {
+  protoOf(NullRefImpl).p2u = function (substitution, substitutions) {
     return this;
   };
   protoOf(NullRefImpl).getSubstituted = function (substitution, substitutions) {
-    return this.f2u(substitution, substitutions);
+    return this.p2u(substitution, substitutions);
   };
-  protoOf(NullRefImpl).x16 = function (visitor) {
+  protoOf(NullRefImpl).w16 = function (visitor) {
     return visitor.visitAtom(this);
   };
   protoOf(NullRefImpl).accept = function (visitor) {
-    return this.x16(visitor);
+    return this.w16(visitor);
   };
-  protoOf(NullRefImpl).dx = function () {
-    return this.n52_1.dx();
+  protoOf(NullRefImpl).cx = function () {
+    return this.y52_1.cx();
   };
   protoOf(NullRefImpl).asAtom = function () {
-    return this.dx();
+    return this.cx();
+  };
+  protoOf(NullRefImpl).rw = function () {
+    return this.y52_1.rw();
   };
   protoOf(NullRefImpl).sw = function () {
-    return this.n52_1.sw();
+    return this.y52_1.sw();
   };
   protoOf(NullRefImpl).tw = function () {
-    return this.n52_1.tw();
+    return this.y52_1.tw();
   };
   protoOf(NullRefImpl).uw = function () {
-    return this.n52_1.uw();
+    return this.y52_1.uw();
   };
   protoOf(NullRefImpl).vw = function () {
-    return this.n52_1.vw();
-  };
-  protoOf(NullRefImpl).ww = function () {
-    return this.n52_1.ww();
+    return this.y52_1.vw();
   };
   protoOf(NullRefImpl).f1 = function () {
-    return this.n52_1.f1();
+    return this.y52_1.f1();
   };
-  protoOf(NullRefImpl).zw = function () {
-    return this.n52_1.zw();
+  protoOf(NullRefImpl).yw = function () {
+    return this.y52_1.yw();
   };
-  protoOf(NullRefImpl).ax = function () {
-    return this.n52_1.ax();
+  protoOf(NullRefImpl).zw = function () {
+    return this.y52_1.zw();
   };
-  protoOf(NullRefImpl).ox = function () {
-    return this.n52_1.ox();
+  protoOf(NullRefImpl).nx = function () {
+    return this.y52_1.nx();
   };
   protoOf(NullRefImpl).asStruct = function () {
-    return this.ox();
+    return this.nx();
   };
   protoOf(NullRefImpl).append = function (argument) {
-    return this.n52_1.append(argument);
+    return this.y52_1.append(argument);
   };
   protoOf(NullRefImpl).addLast = function (argument) {
-    return this.n52_1.addLast(argument);
+    return this.y52_1.addLast(argument);
   };
   protoOf(NullRefImpl).addFirst = function (argument) {
-    return this.n52_1.addFirst(argument);
+    return this.y52_1.addFirst(argument);
   };
   protoOf(NullRefImpl).insertAt = function (index, argument) {
-    return this.n52_1.insertAt(index, argument);
+    return this.y52_1.insertAt(index, argument);
   };
   protoOf(NullRefImpl).setFunctor = function (functor) {
-    return this.n52_1.setFunctor(functor);
+    return this.y52_1.setFunctor(functor);
   };
   protoOf(NullRefImpl).getArgAt = function (index) {
-    return this.n52_1.getArgAt(index);
+    return this.y52_1.getArgAt(index);
   };
   protoOf(NullRefImpl).setArgs = function (args) {
-    return this.n52_1.setArgs(args);
+    return this.y52_1.setArgs(args);
   };
   protoOf(NullRefImpl).setArgsIterable = function (args) {
-    return this.n52_1.setArgsIterable(args);
+    return this.y52_1.setArgsIterable(args);
   };
   protoOf(NullRefImpl).setArgsSequence = function (args) {
-    return this.n52_1.setArgsSequence(args);
+    return this.y52_1.setArgsSequence(args);
   };
   protoOf(NullRefImpl).get = function (index) {
-    return this.n52_1.get(index);
+    return this.y52_1.get(index);
+  };
+  protoOf(NullRefImpl).dx = function () {
+    return this.y52_1.dx();
   };
   protoOf(NullRefImpl).ex = function () {
-    return this.n52_1.ex();
+    return this.y52_1.ex();
   };
   protoOf(NullRefImpl).fx = function () {
-    return this.n52_1.fx();
+    return this.y52_1.fx();
   };
-  protoOf(NullRefImpl).gx = function () {
-    return this.n52_1.gx();
+  protoOf(NullRefImpl).ix = function () {
+    return this.y52_1.ix();
   };
   protoOf(NullRefImpl).jx = function () {
-    return this.n52_1.jx();
+    return this.y52_1.jx();
   };
   protoOf(NullRefImpl).kx = function () {
-    return this.n52_1.kx();
+    return this.y52_1.kx();
   };
-  protoOf(NullRefImpl).lx = function () {
-    return this.n52_1.lx();
+  protoOf(NullRefImpl).mx = function () {
+    return this.y52_1.mx();
   };
-  protoOf(NullRefImpl).nx = function () {
-    return this.n52_1.nx();
+  protoOf(NullRefImpl).xw = function () {
+    return this.y52_1.xw();
   };
-  protoOf(NullRefImpl).yw = function () {
-    return this.n52_1.yw();
+  protoOf(NullRefImpl).ox = function () {
+    return this.y52_1.ox();
   };
   protoOf(NullRefImpl).px = function () {
-    return this.n52_1.px();
+    return this.y52_1.px();
   };
   protoOf(NullRefImpl).qx = function () {
-    return this.n52_1.qx();
-  };
-  protoOf(NullRefImpl).rx = function () {
-    return this.n52_1.rx();
+    return this.y52_1.qx();
   };
-  protoOf(NullRefImpl).tx = function (other) {
-    return this.n52_1.tx(other);
+  protoOf(NullRefImpl).sx = function (other) {
+    return this.y52_1.sx(other);
   };
   protoOf(NullRefImpl).d = function (other) {
-    return this.tx((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+    return this.sx((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
   };
   protoOf(NullRefImpl).equalsUsingVarCompleteNames = function (other, useVarCompleteName) {
-    return this.n52_1.equalsUsingVarCompleteNames(other, useVarCompleteName);
+    return this.y52_1.equalsUsingVarCompleteNames(other, useVarCompleteName);
   };
   protoOf(NullRefImpl).equals = function (other) {
-    return this.n52_1.equals(other);
+    return this.y52_1.equals(other);
   };
   protoOf(NullRefImpl).structurallyEquals = function (other) {
-    return this.n52_1.structurallyEquals(other);
+    return this.y52_1.structurallyEquals(other);
   };
   protoOf(NullRefImpl).castToAtom = function () {
-    return this.n52_1.castToAtom();
+    return this.y52_1.castToAtom();
   };
   protoOf(NullRefImpl).castToClause = function () {
-    return this.n52_1.castToClause();
+    return this.y52_1.castToClause();
   };
   protoOf(NullRefImpl).castToCons = function () {
-    return this.n52_1.castToCons();
+    return this.y52_1.castToCons();
   };
   protoOf(NullRefImpl).castToConstant = function () {
-    return this.n52_1.castToConstant();
+    return this.y52_1.castToConstant();
   };
   protoOf(NullRefImpl).castToDirective = function () {
-    return this.n52_1.castToDirective();
+    return this.y52_1.castToDirective();
   };
   protoOf(NullRefImpl).castToEmptyList = function () {
-    return this.n52_1.castToEmptyList();
+    return this.y52_1.castToEmptyList();
   };
   protoOf(NullRefImpl).castToEmptyBlock = function () {
-    return this.n52_1.castToEmptyBlock();
+    return this.y52_1.castToEmptyBlock();
   };
   protoOf(NullRefImpl).castToFact = function () {
-    return this.n52_1.castToFact();
+    return this.y52_1.castToFact();
   };
   protoOf(NullRefImpl).castToIndicator = function () {
-    return this.n52_1.castToIndicator();
+    return this.y52_1.castToIndicator();
   };
   protoOf(NullRefImpl).castToInteger = function () {
-    return this.n52_1.castToInteger();
+    return this.y52_1.castToInteger();
   };
   protoOf(NullRefImpl).castToList = function () {
-    return this.n52_1.castToList();
+    return this.y52_1.castToList();
   };
   protoOf(NullRefImpl).castToNumeric = function () {
-    return this.n52_1.castToNumeric();
+    return this.y52_1.castToNumeric();
   };
   protoOf(NullRefImpl).castToReal = function () {
-    return this.n52_1.castToReal();
+    return this.y52_1.castToReal();
   };
   protoOf(NullRefImpl).castToRule = function () {
-    return this.n52_1.castToRule();
+    return this.y52_1.castToRule();
   };
   protoOf(NullRefImpl).castToBlock = function () {
-    return this.n52_1.castToBlock();
+    return this.y52_1.castToBlock();
   };
   protoOf(NullRefImpl).castToStruct = function () {
-    return this.n52_1.castToStruct();
+    return this.y52_1.castToStruct();
   };
   protoOf(NullRefImpl).castToRecursive = function () {
-    return this.n52_1.castToRecursive();
+    return this.y52_1.castToRecursive();
   };
   protoOf(NullRefImpl).castToTerm = function () {
-    return this.n52_1.castToTerm();
+    return this.y52_1.castToTerm();
   };
   protoOf(NullRefImpl).castToTruth = function () {
-    return this.n52_1.castToTruth();
+    return this.y52_1.castToTruth();
   };
   protoOf(NullRefImpl).castToTuple = function () {
-    return this.n52_1.castToTuple();
+    return this.y52_1.castToTuple();
   };
   protoOf(NullRefImpl).castToVar = function () {
-    return this.n52_1.castToVar();
+    return this.y52_1.castToVar();
   };
   protoOf(NullRefImpl).asClause = function () {
-    return this.n52_1.asClause();
+    return this.y52_1.asClause();
   };
   protoOf(NullRefImpl).asCons = function () {
-    return this.n52_1.asCons();
+    return this.y52_1.asCons();
   };
   protoOf(NullRefImpl).asDirective = function () {
-    return this.n52_1.asDirective();
+    return this.y52_1.asDirective();
   };
   protoOf(NullRefImpl).asEmptyList = function () {
-    return this.n52_1.asEmptyList();
+    return this.y52_1.asEmptyList();
   };
   protoOf(NullRefImpl).asEmptyBlock = function () {
-    return this.n52_1.asEmptyBlock();
+    return this.y52_1.asEmptyBlock();
   };
   protoOf(NullRefImpl).asFact = function () {
-    return this.n52_1.asFact();
+    return this.y52_1.asFact();
   };
   protoOf(NullRefImpl).asIndicator = function () {
-    return this.n52_1.asIndicator();
+    return this.y52_1.asIndicator();
   };
   protoOf(NullRefImpl).asInteger = function () {
-    return this.n52_1.asInteger();
+    return this.y52_1.asInteger();
   };
   protoOf(NullRefImpl).asList = function () {
-    return this.n52_1.asList();
+    return this.y52_1.asList();
   };
   protoOf(NullRefImpl).asNumeric = function () {
-    return this.n52_1.asNumeric();
+    return this.y52_1.asNumeric();
   };
   protoOf(NullRefImpl).asReal = function () {
-    return this.n52_1.asReal();
+    return this.y52_1.asReal();
   };
   protoOf(NullRefImpl).asRule = function () {
-    return this.n52_1.asRule();
+    return this.y52_1.asRule();
   };
   protoOf(NullRefImpl).asBlock = function () {
-    return this.n52_1.asBlock();
+    return this.y52_1.asBlock();
   };
   protoOf(NullRefImpl).asRecursive = function () {
-    return this.n52_1.asRecursive();
+    return this.y52_1.asRecursive();
   };
   protoOf(NullRefImpl).asTerm = function () {
-    return this.n52_1.asTerm();
+    return this.y52_1.asTerm();
   };
   protoOf(NullRefImpl).asTruth = function () {
-    return this.n52_1.asTruth();
+    return this.y52_1.asTruth();
   };
   protoOf(NullRefImpl).asTuple = function () {
-    return this.n52_1.asTuple();
+    return this.y52_1.asTuple();
   };
   protoOf(NullRefImpl).asVar = function () {
-    return this.n52_1.asVar();
+    return this.y52_1.asVar();
   };
   protoOf(NullRefImpl).hashCode = function () {
-    return this.n52_1.hashCode();
+    return this.y52_1.hashCode();
   };
   protoOf(NullRefImpl).toString = function () {
-    return this.n52_1.toString();
+    return this.y52_1.toString();
+  };
+  protoOf(NullRefImpl).tx = function () {
+    return this.y52_1.tx();
   };
   protoOf(NullRefImpl).ux = function () {
-    return this.n52_1.ux();
+    return this.y52_1.ux();
   };
   protoOf(NullRefImpl).vx = function () {
-    return this.n52_1.vx();
+    return this.y52_1.vx();
   };
-  protoOf(NullRefImpl).wx = function () {
-    return this.n52_1.wx();
+  protoOf(NullRefImpl).xx = function () {
+    return this.y52_1.xx();
   };
   protoOf(NullRefImpl).yx = function () {
-    return this.n52_1.yx();
+    return this.y52_1.yx();
   };
   protoOf(NullRefImpl).zx = function () {
-    return this.n52_1.zx();
-  };
-  protoOf(NullRefImpl).ay = function () {
-    return this.n52_1.ay();
+    return this.y52_1.zx();
   };
   protoOf(NullRefImpl).getTag = function (name) {
-    return this.n52_1.getTag(name);
+    return this.y52_1.getTag(name);
   };
   protoOf(NullRefImpl).resetTags = function (tags) {
-    return this.n52_1.resetTags(tags);
+    return this.y52_1.resetTags(tags);
   };
   protoOf(NullRefImpl).containsTag = function (name) {
-    return this.n52_1.containsTag(name);
+    return this.y52_1.containsTag(name);
   };
-  protoOf(NullRefImpl).du = function () {
-    return this.n52_1.du();
+  protoOf(NullRefImpl).cu = function () {
+    return this.y52_1.cu();
   };
-  protoOf(NullRefImpl).cy = function () {
-    return this.n52_1.cy();
+  protoOf(NullRefImpl).by = function () {
+    return this.y52_1.by();
   };
   var NullRefImpl_instance;
   function NullRefImpl_getInstance() {
@@ -1028,349 +1028,349 @@
     return NullRefImpl_instance;
   }
   function ObjectRefImpl(object) {
-    this.o52_1 = Companion_getInstance_0().of(Companion_getInstance_10().j51(object));
-    this.p52_1 = object;
+    this.z52_1 = Companion_getInstance_0().of(Companion_getInstance_10().u51(object));
+    this.a53_1 = object;
   }
-  protoOf(ObjectRefImpl).b51 = function () {
-    return this.p52_1;
+  protoOf(ObjectRefImpl).m51 = function () {
+    return this.a53_1;
   };
-  protoOf(ObjectRefImpl).xx = function () {
+  protoOf(ObjectRefImpl).wx = function () {
     return true;
   };
-  protoOf(ObjectRefImpl).by = function () {
+  protoOf(ObjectRefImpl).ay = function () {
     return this;
   };
   protoOf(ObjectRefImpl).asConstant = function () {
-    return this.by();
+    return this.ay();
   };
-  protoOf(ObjectRefImpl).c51 = function (objectConverter, methodName, arguments_0) {
-    return invoke_0(this.p52_1, objectConverter, methodName, arguments_0);
+  protoOf(ObjectRefImpl).n51 = function (objectConverter, methodName, arguments_0) {
+    return invoke_0(this.a53_1, objectConverter, methodName, arguments_0);
   };
-  protoOf(ObjectRefImpl).d51 = function (objectConverter, propertyName, value) {
-    assign_0(this.p52_1, objectConverter, propertyName, value);
+  protoOf(ObjectRefImpl).o51 = function (objectConverter, propertyName, value) {
+    assign_0(this.a53_1, objectConverter, propertyName, value);
     return true;
   };
-  protoOf(ObjectRefImpl).bx = function () {
+  protoOf(ObjectRefImpl).ax = function () {
     return this;
   };
   protoOf(ObjectRefImpl).freshCopy = function () {
-    return this.bx();
+    return this.ax();
   };
-  protoOf(ObjectRefImpl).cx = function (scope) {
+  protoOf(ObjectRefImpl).bx = function (scope) {
     return this;
   };
   protoOf(ObjectRefImpl).freshCopyFromScope = function (scope) {
-    return this.cx(scope);
+    return this.bx(scope);
   };
-  protoOf(ObjectRefImpl).sx = function () {
+  protoOf(ObjectRefImpl).rx = function () {
     return isInterface(this, Term) ? this : THROW_CCE();
   };
-  protoOf(ObjectRefImpl).pr = function () {
-    return this.sx();
+  protoOf(ObjectRefImpl).mr = function () {
+    return this.rx();
   };
-  protoOf(ObjectRefImpl).r17 = function (substitution) {
+  protoOf(ObjectRefImpl).q17 = function (substitution) {
     return this;
   };
   protoOf(ObjectRefImpl).applySubstitution = function (substitution) {
-    return this.r17(substitution);
+    return this.q17(substitution);
   };
-  protoOf(ObjectRefImpl).g2u = function (substitution, substitutions) {
+  protoOf(ObjectRefImpl).q2u = function (substitution, substitutions) {
     return this;
   };
   protoOf(ObjectRefImpl).apply = function (substitution, substitutions) {
-    return this.g2u(substitution, substitutions);
+    return this.q2u(substitution, substitutions);
   };
-  protoOf(ObjectRefImpl).f2u = function (substitution, substitutions) {
+  protoOf(ObjectRefImpl).p2u = function (substitution, substitutions) {
     return this;
   };
   protoOf(ObjectRefImpl).getSubstituted = function (substitution, substitutions) {
-    return this.f2u(substitution, substitutions);
+    return this.p2u(substitution, substitutions);
   };
-  protoOf(ObjectRefImpl).x16 = function (visitor) {
+  protoOf(ObjectRefImpl).w16 = function (visitor) {
     return visitor.visitAtom(this);
   };
   protoOf(ObjectRefImpl).accept = function (visitor) {
-    return this.x16(visitor);
+    return this.w16(visitor);
   };
-  protoOf(ObjectRefImpl).dx = function () {
-    return this.o52_1.dx();
+  protoOf(ObjectRefImpl).cx = function () {
+    return this.z52_1.cx();
   };
   protoOf(ObjectRefImpl).asAtom = function () {
-    return this.dx();
+    return this.cx();
+  };
+  protoOf(ObjectRefImpl).rw = function () {
+    return this.z52_1.rw();
   };
   protoOf(ObjectRefImpl).sw = function () {
-    return this.o52_1.sw();
+    return this.z52_1.sw();
   };
   protoOf(ObjectRefImpl).tw = function () {
-    return this.o52_1.tw();
+    return this.z52_1.tw();
   };
   protoOf(ObjectRefImpl).uw = function () {
-    return this.o52_1.uw();
+    return this.z52_1.uw();
   };
   protoOf(ObjectRefImpl).vw = function () {
-    return this.o52_1.vw();
-  };
-  protoOf(ObjectRefImpl).ww = function () {
-    return this.o52_1.ww();
+    return this.z52_1.vw();
   };
   protoOf(ObjectRefImpl).f1 = function () {
-    return this.o52_1.f1();
+    return this.z52_1.f1();
   };
-  protoOf(ObjectRefImpl).zw = function () {
-    return this.o52_1.zw();
+  protoOf(ObjectRefImpl).yw = function () {
+    return this.z52_1.yw();
   };
-  protoOf(ObjectRefImpl).ax = function () {
-    return this.o52_1.ax();
+  protoOf(ObjectRefImpl).zw = function () {
+    return this.z52_1.zw();
   };
-  protoOf(ObjectRefImpl).ox = function () {
-    return this.o52_1.ox();
+  protoOf(ObjectRefImpl).nx = function () {
+    return this.z52_1.nx();
   };
   protoOf(ObjectRefImpl).asStruct = function () {
-    return this.ox();
+    return this.nx();
   };
   protoOf(ObjectRefImpl).append = function (argument) {
-    return this.o52_1.append(argument);
+    return this.z52_1.append(argument);
   };
   protoOf(ObjectRefImpl).addLast = function (argument) {
-    return this.o52_1.addLast(argument);
+    return this.z52_1.addLast(argument);
   };
   protoOf(ObjectRefImpl).addFirst = function (argument) {
-    return this.o52_1.addFirst(argument);
+    return this.z52_1.addFirst(argument);
   };
   protoOf(ObjectRefImpl).insertAt = function (index, argument) {
-    return this.o52_1.insertAt(index, argument);
+    return this.z52_1.insertAt(index, argument);
   };
   protoOf(ObjectRefImpl).setFunctor = function (functor) {
-    return this.o52_1.setFunctor(functor);
+    return this.z52_1.setFunctor(functor);
   };
   protoOf(ObjectRefImpl).getArgAt = function (index) {
-    return this.o52_1.getArgAt(index);
+    return this.z52_1.getArgAt(index);
   };
   protoOf(ObjectRefImpl).setArgs = function (args) {
-    return this.o52_1.setArgs(args);
+    return this.z52_1.setArgs(args);
   };
   protoOf(ObjectRefImpl).setArgsIterable = function (args) {
-    return this.o52_1.setArgsIterable(args);
+    return this.z52_1.setArgsIterable(args);
   };
   protoOf(ObjectRefImpl).setArgsSequence = function (args) {
-    return this.o52_1.setArgsSequence(args);
+    return this.z52_1.setArgsSequence(args);
   };
   protoOf(ObjectRefImpl).get = function (index) {
-    return this.o52_1.get(index);
+    return this.z52_1.get(index);
+  };
+  protoOf(ObjectRefImpl).dx = function () {
+    return this.z52_1.dx();
   };
   protoOf(ObjectRefImpl).ex = function () {
-    return this.o52_1.ex();
+    return this.z52_1.ex();
   };
   protoOf(ObjectRefImpl).fx = function () {
-    return this.o52_1.fx();
+    return this.z52_1.fx();
   };
-  protoOf(ObjectRefImpl).gx = function () {
-    return this.o52_1.gx();
+  protoOf(ObjectRefImpl).ix = function () {
+    return this.z52_1.ix();
   };
   protoOf(ObjectRefImpl).jx = function () {
-    return this.o52_1.jx();
+    return this.z52_1.jx();
   };
   protoOf(ObjectRefImpl).kx = function () {
-    return this.o52_1.kx();
+    return this.z52_1.kx();
   };
-  protoOf(ObjectRefImpl).lx = function () {
-    return this.o52_1.lx();
+  protoOf(ObjectRefImpl).mx = function () {
+    return this.z52_1.mx();
   };
-  protoOf(ObjectRefImpl).nx = function () {
-    return this.o52_1.nx();
+  protoOf(ObjectRefImpl).xw = function () {
+    return this.z52_1.xw();
   };
-  protoOf(ObjectRefImpl).yw = function () {
-    return this.o52_1.yw();
+  protoOf(ObjectRefImpl).ox = function () {
+    return this.z52_1.ox();
   };
   protoOf(ObjectRefImpl).px = function () {
-    return this.o52_1.px();
+    return this.z52_1.px();
   };
   protoOf(ObjectRefImpl).qx = function () {
-    return this.o52_1.qx();
-  };
-  protoOf(ObjectRefImpl).rx = function () {
-    return this.o52_1.rx();
+    return this.z52_1.qx();
   };
-  protoOf(ObjectRefImpl).tx = function (other) {
-    return this.o52_1.tx(other);
+  protoOf(ObjectRefImpl).sx = function (other) {
+    return this.z52_1.sx(other);
   };
   protoOf(ObjectRefImpl).d = function (other) {
-    return this.tx((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+    return this.sx((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
   };
   protoOf(ObjectRefImpl).equalsUsingVarCompleteNames = function (other, useVarCompleteName) {
-    return this.o52_1.equalsUsingVarCompleteNames(other, useVarCompleteName);
+    return this.z52_1.equalsUsingVarCompleteNames(other, useVarCompleteName);
   };
   protoOf(ObjectRefImpl).equals = function (other) {
-    return this.o52_1.equals(other);
+    return this.z52_1.equals(other);
   };
   protoOf(ObjectRefImpl).structurallyEquals = function (other) {
-    return this.o52_1.structurallyEquals(other);
+    return this.z52_1.structurallyEquals(other);
   };
   protoOf(ObjectRefImpl).castToAtom = function () {
-    return this.o52_1.castToAtom();
+    return this.z52_1.castToAtom();
   };
   protoOf(ObjectRefImpl).castToClause = function () {
-    return this.o52_1.castToClause();
+    return this.z52_1.castToClause();
   };
   protoOf(ObjectRefImpl).castToCons = function () {
-    return this.o52_1.castToCons();
+    return this.z52_1.castToCons();
   };
   protoOf(ObjectRefImpl).castToConstant = function () {
-    return this.o52_1.castToConstant();
+    return this.z52_1.castToConstant();
   };
   protoOf(ObjectRefImpl).castToDirective = function () {
-    return this.o52_1.castToDirective();
+    return this.z52_1.castToDirective();
   };
   protoOf(ObjectRefImpl).castToEmptyList = function () {
-    return this.o52_1.castToEmptyList();
+    return this.z52_1.castToEmptyList();
   };
   protoOf(ObjectRefImpl).castToEmptyBlock = function () {
-    return this.o52_1.castToEmptyBlock();
+    return this.z52_1.castToEmptyBlock();
   };
   protoOf(ObjectRefImpl).castToFact = function () {
-    return this.o52_1.castToFact();
+    return this.z52_1.castToFact();
   };
   protoOf(ObjectRefImpl).castToIndicator = function () {
-    return this.o52_1.castToIndicator();
+    return this.z52_1.castToIndicator();
   };
   protoOf(ObjectRefImpl).castToInteger = function () {
-    return this.o52_1.castToInteger();
+    return this.z52_1.castToInteger();
   };
   protoOf(ObjectRefImpl).castToList = function () {
-    return this.o52_1.castToList();
+    return this.z52_1.castToList();
   };
   protoOf(ObjectRefImpl).castToNumeric = function () {
-    return this.o52_1.castToNumeric();
+    return this.z52_1.castToNumeric();
   };
   protoOf(ObjectRefImpl).castToReal = function () {
-    return this.o52_1.castToReal();
+    return this.z52_1.castToReal();
   };
   protoOf(ObjectRefImpl).castToRule = function () {
-    return this.o52_1.castToRule();
+    return this.z52_1.castToRule();
   };
   protoOf(ObjectRefImpl).castToBlock = function () {
-    return this.o52_1.castToBlock();
+    return this.z52_1.castToBlock();
   };
   protoOf(ObjectRefImpl).castToStruct = function () {
-    return this.o52_1.castToStruct();
+    return this.z52_1.castToStruct();
   };
   protoOf(ObjectRefImpl).castToRecursive = function () {
-    return this.o52_1.castToRecursive();
+    return this.z52_1.castToRecursive();
   };
   protoOf(ObjectRefImpl).castToTerm = function () {
-    return this.o52_1.castToTerm();
+    return this.z52_1.castToTerm();
   };
   protoOf(ObjectRefImpl).castToTruth = function () {
-    return this.o52_1.castToTruth();
+    return this.z52_1.castToTruth();
   };
   protoOf(ObjectRefImpl).castToTuple = function () {
-    return this.o52_1.castToTuple();
+    return this.z52_1.castToTuple();
   };
   protoOf(ObjectRefImpl).castToVar = function () {
-    return this.o52_1.castToVar();
+    return this.z52_1.castToVar();
   };
   protoOf(ObjectRefImpl).asClause = function () {
-    return this.o52_1.asClause();
+    return this.z52_1.asClause();
   };
   protoOf(ObjectRefImpl).asCons = function () {
-    return this.o52_1.asCons();
+    return this.z52_1.asCons();
   };
   protoOf(ObjectRefImpl).asDirective = function () {
-    return this.o52_1.asDirective();
+    return this.z52_1.asDirective();
   };
   protoOf(ObjectRefImpl).asEmptyList = function () {
-    return this.o52_1.asEmptyList();
+    return this.z52_1.asEmptyList();
   };
   protoOf(ObjectRefImpl).asEmptyBlock = function () {
-    return this.o52_1.asEmptyBlock();
+    return this.z52_1.asEmptyBlock();
   };
   protoOf(ObjectRefImpl).asFact = function () {
-    return this.o52_1.asFact();
+    return this.z52_1.asFact();
   };
   protoOf(ObjectRefImpl).asIndicator = function () {
-    return this.o52_1.asIndicator();
+    return this.z52_1.asIndicator();
   };
   protoOf(ObjectRefImpl).asInteger = function () {
-    return this.o52_1.asInteger();
+    return this.z52_1.asInteger();
   };
   protoOf(ObjectRefImpl).asList = function () {
-    return this.o52_1.asList();
+    return this.z52_1.asList();
   };
   protoOf(ObjectRefImpl).asNumeric = function () {
-    return this.o52_1.asNumeric();
+    return this.z52_1.asNumeric();
   };
   protoOf(ObjectRefImpl).asReal = function () {
-    return this.o52_1.asReal();
+    return this.z52_1.asReal();
   };
   protoOf(ObjectRefImpl).asRule = function () {
-    return this.o52_1.asRule();
+    return this.z52_1.asRule();
   };
   protoOf(ObjectRefImpl).asBlock = function () {
-    return this.o52_1.asBlock();
+    return this.z52_1.asBlock();
   };
   protoOf(ObjectRefImpl).asRecursive = function () {
-    return this.o52_1.asRecursive();
+    return this.z52_1.asRecursive();
   };
   protoOf(ObjectRefImpl).asTerm = function () {
-    return this.o52_1.asTerm();
+    return this.z52_1.asTerm();
   };
   protoOf(ObjectRefImpl).asTruth = function () {
-    return this.o52_1.asTruth();
+    return this.z52_1.asTruth();
   };
   protoOf(ObjectRefImpl).asTuple = function () {
-    return this.o52_1.asTuple();
+    return this.z52_1.asTuple();
   };
   protoOf(ObjectRefImpl).asVar = function () {
-    return this.o52_1.asVar();
+    return this.z52_1.asVar();
   };
   protoOf(ObjectRefImpl).hashCode = function () {
-    return this.o52_1.hashCode();
+    return this.z52_1.hashCode();
   };
   protoOf(ObjectRefImpl).toString = function () {
-    return this.o52_1.toString();
+    return this.z52_1.toString();
+  };
+  protoOf(ObjectRefImpl).tx = function () {
+    return this.z52_1.tx();
   };
   protoOf(ObjectRefImpl).ux = function () {
-    return this.o52_1.ux();
+    return this.z52_1.ux();
   };
   protoOf(ObjectRefImpl).vx = function () {
-    return this.o52_1.vx();
+    return this.z52_1.vx();
   };
-  protoOf(ObjectRefImpl).wx = function () {
-    return this.o52_1.wx();
+  protoOf(ObjectRefImpl).xx = function () {
+    return this.z52_1.xx();
   };
   protoOf(ObjectRefImpl).yx = function () {
-    return this.o52_1.yx();
+    return this.z52_1.yx();
   };
   protoOf(ObjectRefImpl).zx = function () {
-    return this.o52_1.zx();
-  };
-  protoOf(ObjectRefImpl).ay = function () {
-    return this.o52_1.ay();
+    return this.z52_1.zx();
   };
   protoOf(ObjectRefImpl).getTag = function (name) {
-    return this.o52_1.getTag(name);
+    return this.z52_1.getTag(name);
   };
   protoOf(ObjectRefImpl).resetTags = function (tags) {
-    return this.o52_1.resetTags(tags);
+    return this.z52_1.resetTags(tags);
   };
   protoOf(ObjectRefImpl).containsTag = function (name) {
-    return this.o52_1.containsTag(name);
+    return this.z52_1.containsTag(name);
   };
-  protoOf(ObjectRefImpl).du = function () {
-    return this.o52_1.du();
+  protoOf(ObjectRefImpl).cu = function () {
+    return this.z52_1.cu();
   };
-  protoOf(ObjectRefImpl).cy = function () {
-    return this.o52_1.cy();
+  protoOf(ObjectRefImpl).by = function () {
+    return this.z52_1.by();
   };
   function ObjectToTermConverterImpl() {
-    this.q52_1 = new NumberTypeTester();
+    this.b53_1 = new NumberTypeTester();
   }
-  protoOf(ObjectToTermConverterImpl).q51 = function (source) {
+  protoOf(ObjectToTermConverterImpl).b52 = function (source) {
     // Inline function 'kotlin.with' call
-    var $this$with = this.q52_1;
+    var $this$with = this.b53_1;
     var tmp;
     if (source == null) {
-      tmp = Companion_getInstance_10().i51_1;
+      tmp = Companion_getInstance_10().t51_1;
     } else {
       if (typeof source === 'string') {
         tmp = Companion_getInstance_0().of(source);
@@ -1382,7 +1382,7 @@
             tmp = Companion_getInstance_2().ofBigDecimal(source);
           } else {
             if (isNumber(source)) {
-              tmp = $this$with.vt(source) ? Companion_getInstance_3().ofBigInteger($this$with.wt(source)) : Companion_getInstance_2().ofBigDecimal($this$with.xt(source));
+              tmp = $this$with.ut(source) ? Companion_getInstance_3().ofBigInteger($this$with.vt(source)) : Companion_getInstance_2().ofBigDecimal($this$with.wt(source));
             } else {
               if (source instanceof Char) {
                 var tmp_0 = Companion_getInstance_0();
@@ -1393,7 +1393,7 @@
                 if (typeof source === 'boolean') {
                   tmp = Companion_getInstance_1().of(source);
                 } else {
-                  tmp = Companion_getInstance_10().k51(source);
+                  tmp = Companion_getInstance_10().v51(source);
                 }
               }
             }
@@ -1406,7 +1406,7 @@
   function explicitConversion($this, castExpression, term, type) {
     var targetType = getType($this, castExpression, type);
     try {
-      return $this.w51(targetType, term);
+      return $this.h52(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.u27();
+      tmp = typeTerm.w27();
     } else {
       if (isInterface(typeTerm, Atom)) {
-        var tmp1_elvis_lhs = $this.r52_1.b52(typeTerm.f1());
+        var tmp1_elvis_lhs = $this.c53_1.m52(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.s52_1(typeTerm);
+            var ref = $this.d53_1(typeTerm);
             var tmp_2;
             if (!(ref == null) ? isInterface(ref, TypeRef) : false) {
-              tmp_2 = ref.u27();
+              tmp_2 = ref.w27();
             } else {
               throw TermToObjectConversionException_init_$Create$(castExpression);
             }
@@ -1470,7 +1470,7 @@
       tmp = sequenceOf(PrimitiveClasses_getInstance().z9());
     } else {
       if (isInterface(term, ObjectRef)) {
-        tmp = sequenceOf(getKClassFromExpression(term.b51()));
+        tmp = sequenceOf(getKClassFromExpression(term.m51()));
       } else {
         if (isInterface(term, Truth)) {
           tmp = sequenceOf_0([PrimitiveClasses_getInstance().aa(), PrimitiveClasses_getInstance().ia()]);
@@ -1487,28 +1487,28 @@
             } else {
               if (isInterface(term, Integer)) {
                 var admissible_0 = sequenceOf(getKClass(BigInteger));
-                if (Companion_getInstance_4().ofLong(-9223372036854775808n).rangeTo(Companion_getInstance_4().ofLong(9223372036854775807n)).i1(term.g11())) {
+                if (Companion_getInstance_4().ofLong(-9223372036854775808n).rangeTo(Companion_getInstance_4().ofLong(9223372036854775807n)).i1(term.f11())) {
                   admissible_0 = plus(admissible_0, sequenceOf(PrimitiveClasses_getInstance().ea()));
                 }
-                if (Companion_getInstance_4().of(-2147483648).rangeTo(Companion_getInstance_4().of(2147483647)).i1(term.g11())) {
+                if (Companion_getInstance_4().of(-2147483648).rangeTo(Companion_getInstance_4().of(2147483647)).i1(term.f11())) {
                   admissible_0 = plus(admissible_0, sequenceOf(PrimitiveClasses_getInstance().da()));
                 }
-                if (Companion_getInstance_4().of(-32768).rangeTo(Companion_getInstance_4().of(32767)).i1(term.g11())) {
+                if (Companion_getInstance_4().of(-32768).rangeTo(Companion_getInstance_4().of(32767)).i1(term.f11())) {
                   admissible_0 = plus(admissible_0, sequenceOf(PrimitiveClasses_getInstance().ca()));
                 }
-                if (Companion_getInstance_4().of(-128).rangeTo(Companion_getInstance_4().of(127)).i1(term.g11())) {
+                if (Companion_getInstance_4().of(-128).rangeTo(Companion_getInstance_4().of(127)).i1(term.f11())) {
                   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.o11();
+                var containsArg = term.n11();
                 if (0 <= compareTo(containsArg, containsLower) ? compareTo(containsArg, containsUpper) <= 0 : false) {
                   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.o11();
+                var containsArg_0 = term.n11();
                 if (0 <= compareTo(containsArg_0, containsLower_0) ? compareTo(containsArg_0, containsUpper_0) <= 0 : false) {
                   admissible_0 = plus(admissible_0, sequenceOf(PrimitiveClasses_getInstance().fa()));
                 }
@@ -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.s52_1(term);
+                    var ref = $this.d53_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.r52_1 = typeFactory;
-    this.s52_1 = dealiaser;
+    this.c53_1 = typeFactory;
+    this.d53_1 = dealiaser;
   }
-  protoOf(TermToObjectConverterImpl).w51 = function (type, term) {
+  protoOf(TermToObjectConverterImpl).h52 = 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.b51()), type)) {
-          tmp_2 = term.b51();
+        if (isSubtypeOf(getKClassFromExpression(term.m51()), type)) {
+          tmp_2 = term.m51();
         } else {
           throw new TermToObjectConversionException(term, type);
         }
@@ -1575,7 +1575,7 @@
         if (isInterface(term, Truth)) {
           var tmp_3;
           if (isSubtypeOf(PrimitiveClasses_getInstance().aa(), type)) {
-            tmp_3 = term.ww();
+            tmp_3 = term.vw();
           } else if (isSubtypeOf(PrimitiveClasses_getInstance().ia(), type)) {
             tmp_3 = term.f1();
           } else {
@@ -1603,11 +1603,11 @@
             if (isInterface(term, Real)) {
               var tmp_6;
               if (isSubtypeOf(getKClass(BigDecimal), type)) {
-                tmp_6 = term.o11();
+                tmp_6 = term.n11();
               } else if (isSubtypeOf(PrimitiveClasses_getInstance().ga(), type)) {
-                tmp_6 = term.o11().toDouble();
+                tmp_6 = term.n11().toDouble();
               } else if (isSubtypeOf(PrimitiveClasses_getInstance().fa(), type)) {
-                tmp_6 = term.o11().toFloat();
+                tmp_6 = term.n11().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.g11();
+                  tmp_7 = term.f11();
                 } else if (isSubtypeOf(PrimitiveClasses_getInstance().ea(), type)) {
-                  tmp_7 = term.g11().toLongExact();
+                  tmp_7 = term.f11().toLongExact();
                 } else if (isSubtypeOf(PrimitiveClasses_getInstance().da(), type)) {
-                  tmp_7 = term.g11().toIntExact();
+                  tmp_7 = term.f11().toIntExact();
                 } else if (isSubtypeOf(PrimitiveClasses_getInstance().ca(), type)) {
-                  tmp_7 = term.g11().toShortExact();
+                  tmp_7 = term.f11().toShortExact();
                 } else if (isSubtypeOf(PrimitiveClasses_getInstance().ba(), type)) {
-                  tmp_7 = term.g11().toByteExact();
+                  tmp_7 = term.f11().toByteExact();
                 } else if (isSubtypeOf(getKClass(BigDecimal), type)) {
-                  tmp_7 = term.o11();
+                  tmp_7 = term.n11();
                 } else if (isSubtypeOf(PrimitiveClasses_getInstance().ga(), type)) {
-                  tmp_7 = term.o11().toDouble();
+                  tmp_7 = term.n11().toDouble();
                 } else if (isSubtypeOf(PrimitiveClasses_getInstance().fa(), type)) {
-                  tmp_7 = term.o11().toFloat();
+                  tmp_7 = term.n11().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.s52_1(term);
+                    var ref = this.d53_1(term);
                     var tmp_9;
                     if (!(ref == null) ? isInterface(ref, ObjectRef) : false) {
-                      tmp_9 = this.w51(type, ref);
+                      tmp_9 = this.h52(type, ref);
                     } else {
                       throw TermToObjectConversionException_init_$Create$(term);
                     }
@@ -1669,15 +1669,15 @@
     }
     return tmp;
   };
-  protoOf(TermToObjectConverterImpl).y51 = function (term) {
+  protoOf(TermToObjectConverterImpl).j52 = function (term) {
     return first(admissibleTypesByPriority(this, term));
   };
-  protoOf(TermToObjectConverterImpl).x51 = function (term) {
+  protoOf(TermToObjectConverterImpl).i52 = function (term) {
     return toSet(admissibleTypesByPriority(this, term));
   };
   function TypeFactoryImpl() {
   }
-  protoOf(TypeFactoryImpl).b52 = function (typeName) {
+  protoOf(TypeFactoryImpl).m52 = function (typeName) {
     return kClassFromName(typeName).f1();
   };
   function nameOf_0($this, type) {
@@ -1690,360 +1690,360 @@
     return Companion_instance_14;
   }
   function TypeRefImpl(type) {
-    this.t52_1 = Companion_getInstance_0().of(nameOf_0(Companion_instance_14, type));
-    this.u52_1 = type;
+    this.e53_1 = Companion_getInstance_0().of(nameOf_0(Companion_instance_14, type));
+    this.f53_1 = type;
   }
-  protoOf(TypeRefImpl).u27 = function () {
-    return this.u52_1;
+  protoOf(TypeRefImpl).w27 = function () {
+    return this.f53_1;
   };
-  protoOf(TypeRefImpl).e52 = function (objectConverter, arguments_0) {
-    return create_0(this.u52_1, objectConverter, arguments_0);
+  protoOf(TypeRefImpl).p52 = function (objectConverter, arguments_0) {
+    return create_0(this.f53_1, objectConverter, arguments_0);
   };
-  protoOf(TypeRefImpl).c51 = function (objectConverter, methodName, arguments_0) {
-    var companionObjectRef = get_companionObjectRef(this.u52_1);
+  protoOf(TypeRefImpl).n51 = function (objectConverter, methodName, arguments_0) {
+    var companionObjectRef = get_companionObjectRef(this.f53_1);
     var tmp;
     if (companionObjectRef instanceof Some) {
-      tmp = invoke_0(companionObjectRef.hr_1, objectConverter, methodName, arguments_0);
+      tmp = invoke_0(companionObjectRef.fr_1, objectConverter, methodName, arguments_0);
     } else {
-      tmp = invoke_1(this.u52_1, objectConverter, methodName, arguments_0, null);
+      tmp = invoke_1(this.f53_1, objectConverter, methodName, arguments_0, null);
     }
     return tmp;
   };
-  protoOf(TypeRefImpl).xx = function () {
+  protoOf(TypeRefImpl).wx = function () {
     return true;
   };
-  protoOf(TypeRefImpl).by = function () {
+  protoOf(TypeRefImpl).ay = function () {
     return this;
   };
   protoOf(TypeRefImpl).asConstant = function () {
-    return this.by();
+    return this.ay();
   };
-  protoOf(TypeRefImpl).bx = function () {
+  protoOf(TypeRefImpl).ax = function () {
     return this;
   };
   protoOf(TypeRefImpl).freshCopy = function () {
-    return this.bx();
+    return this.ax();
   };
-  protoOf(TypeRefImpl).cx = function (scope) {
+  protoOf(TypeRefImpl).bx = function (scope) {
     return this;
   };
   protoOf(TypeRefImpl).freshCopyFromScope = function (scope) {
-    return this.cx(scope);
+    return this.bx(scope);
   };
-  protoOf(TypeRefImpl).sx = function () {
+  protoOf(TypeRefImpl).rx = function () {
     return isInterface(this, Term) ? this : THROW_CCE();
   };
-  protoOf(TypeRefImpl).pr = function () {
-    return this.sx();
+  protoOf(TypeRefImpl).mr = function () {
+    return this.rx();
   };
-  protoOf(TypeRefImpl).r17 = function (substitution) {
+  protoOf(TypeRefImpl).q17 = function (substitution) {
     return this;
   };
   protoOf(TypeRefImpl).applySubstitution = function (substitution) {
-    return this.r17(substitution);
+    return this.q17(substitution);
   };
-  protoOf(TypeRefImpl).g2u = function (substitution, substitutions) {
+  protoOf(TypeRefImpl).q2u = function (substitution, substitutions) {
     return this;
   };
   protoOf(TypeRefImpl).apply = function (substitution, substitutions) {
-    return this.g2u(substitution, substitutions);
+    return this.q2u(substitution, substitutions);
   };
-  protoOf(TypeRefImpl).f2u = function (substitution, substitutions) {
+  protoOf(TypeRefImpl).p2u = function (substitution, substitutions) {
     return this;
   };
   protoOf(TypeRefImpl).getSubstituted = function (substitution, substitutions) {
-    return this.f2u(substitution, substitutions);
+    return this.p2u(substitution, substitutions);
   };
-  protoOf(TypeRefImpl).x16 = function (visitor) {
+  protoOf(TypeRefImpl).w16 = function (visitor) {
     return visitor.visitAtom(this);
   };
   protoOf(TypeRefImpl).accept = function (visitor) {
-    return this.x16(visitor);
+    return this.w16(visitor);
   };
-  protoOf(TypeRefImpl).d51 = function (objectConverter, propertyName, value) {
-    var companionObjectRef = get_companionObjectRef(this.u52_1);
+  protoOf(TypeRefImpl).o51 = function (objectConverter, propertyName, value) {
+    var companionObjectRef = get_companionObjectRef(this.f53_1);
     if (companionObjectRef instanceof Some)
-      assign_0(companionObjectRef.hr_1, objectConverter, propertyName, value);
+      assign_0(companionObjectRef.fr_1, objectConverter, propertyName, value);
     else {
-      assign_1(this.u52_1, objectConverter, propertyName, value, null);
+      assign_1(this.f53_1, objectConverter, propertyName, value, null);
     }
     return true;
   };
-  protoOf(TypeRefImpl).dx = function () {
-    return this.t52_1.dx();
+  protoOf(TypeRefImpl).cx = function () {
+    return this.e53_1.cx();
   };
   protoOf(TypeRefImpl).asAtom = function () {
-    return this.dx();
+    return this.cx();
+  };
+  protoOf(TypeRefImpl).rw = function () {
+    return this.e53_1.rw();
   };
   protoOf(TypeRefImpl).sw = function () {
-    return this.t52_1.sw();
+    return this.e53_1.sw();
   };
   protoOf(TypeRefImpl).tw = function () {
-    return this.t52_1.tw();
+    return this.e53_1.tw();
   };
   protoOf(TypeRefImpl).uw = function () {
-    return this.t52_1.uw();
+    return this.e53_1.uw();
   };
   protoOf(TypeRefImpl).vw = function () {
-    return this.t52_1.vw();
-  };
-  protoOf(TypeRefImpl).ww = function () {
-    return this.t52_1.ww();
+    return this.e53_1.vw();
   };
   protoOf(TypeRefImpl).f1 = function () {
-    return this.t52_1.f1();
+    return this.e53_1.f1();
   };
-  protoOf(TypeRefImpl).zw = function () {
-    return this.t52_1.zw();
+  protoOf(TypeRefImpl).yw = function () {
+    return this.e53_1.yw();
   };
-  protoOf(TypeRefImpl).ax = function () {
-    return this.t52_1.ax();
+  protoOf(TypeRefImpl).zw = function () {
+    return this.e53_1.zw();
   };
-  protoOf(TypeRefImpl).ox = function () {
-    return this.t52_1.ox();
+  protoOf(TypeRefImpl).nx = function () {
+    return this.e53_1.nx();
   };
   protoOf(TypeRefImpl).asStruct = function () {
-    return this.ox();
+    return this.nx();
   };
   protoOf(TypeRefImpl).append = function (argument) {
-    return this.t52_1.append(argument);
+    return this.e53_1.append(argument);
   };
   protoOf(TypeRefImpl).addLast = function (argument) {
-    return this.t52_1.addLast(argument);
+    return this.e53_1.addLast(argument);
   };
   protoOf(TypeRefImpl).addFirst = function (argument) {
-    return this.t52_1.addFirst(argument);
+    return this.e53_1.addFirst(argument);
   };
   protoOf(TypeRefImpl).insertAt = function (index, argument) {
-    return this.t52_1.insertAt(index, argument);
+    return this.e53_1.insertAt(index, argument);
   };
   protoOf(TypeRefImpl).setFunctor = function (functor) {
-    return this.t52_1.setFunctor(functor);
+    return this.e53_1.setFunctor(functor);
   };
   protoOf(TypeRefImpl).getArgAt = function (index) {
-    return this.t52_1.getArgAt(index);
+    return this.e53_1.getArgAt(index);
   };
   protoOf(TypeRefImpl).setArgs = function (args) {
-    return this.t52_1.setArgs(args);
+    return this.e53_1.setArgs(args);
   };
   protoOf(TypeRefImpl).setArgsIterable = function (args) {
-    return this.t52_1.setArgsIterable(args);
+    return this.e53_1.setArgsIterable(args);
   };
   protoOf(TypeRefImpl).setArgsSequence = function (args) {
-    return this.t52_1.setArgsSequence(args);
+    return this.e53_1.setArgsSequence(args);
   };
   protoOf(TypeRefImpl).get = function (index) {
-    return this.t52_1.get(index);
+    return this.e53_1.get(index);
+  };
+  protoOf(TypeRefImpl).dx = function () {
+    return this.e53_1.dx();
   };
   protoOf(TypeRefImpl).ex = function () {
-    return this.t52_1.ex();
+    return this.e53_1.ex();
   };
   protoOf(TypeRefImpl).fx = function () {
-    return this.t52_1.fx();
+    return this.e53_1.fx();
   };
-  protoOf(TypeRefImpl).gx = function () {
-    return this.t52_1.gx();
+  protoOf(TypeRefImpl).ix = function () {
+    return this.e53_1.ix();
   };
   protoOf(TypeRefImpl).jx = function () {
-    return this.t52_1.jx();
+    return this.e53_1.jx();
   };
   protoOf(TypeRefImpl).kx = function () {
-    return this.t52_1.kx();
+    return this.e53_1.kx();
   };
-  protoOf(TypeRefImpl).lx = function () {
-    return this.t52_1.lx();
+  protoOf(TypeRefImpl).mx = function () {
+    return this.e53_1.mx();
   };
-  protoOf(TypeRefImpl).nx = function () {
-    return this.t52_1.nx();
+  protoOf(TypeRefImpl).xw = function () {
+    return this.e53_1.xw();
   };
-  protoOf(TypeRefImpl).yw = function () {
-    return this.t52_1.yw();
+  protoOf(TypeRefImpl).ox = function () {
+    return this.e53_1.ox();
   };
   protoOf(TypeRefImpl).px = function () {
-    return this.t52_1.px();
+    return this.e53_1.px();
   };
   protoOf(TypeRefImpl).qx = function () {
-    return this.t52_1.qx();
+    return this.e53_1.qx();
   };
-  protoOf(TypeRefImpl).rx = function () {
-    return this.t52_1.rx();
-  };
-  protoOf(TypeRefImpl).tx = function (other) {
-    return this.t52_1.tx(other);
+  protoOf(TypeRefImpl).sx = function (other) {
+    return this.e53_1.sx(other);
   };
   protoOf(TypeRefImpl).d = function (other) {
-    return this.tx((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+    return this.sx((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
   };
   protoOf(TypeRefImpl).equalsUsingVarCompleteNames = function (other, useVarCompleteName) {
-    return this.t52_1.equalsUsingVarCompleteNames(other, useVarCompleteName);
+    return this.e53_1.equalsUsingVarCompleteNames(other, useVarCompleteName);
   };
   protoOf(TypeRefImpl).equals = function (other) {
-    return this.t52_1.equals(other);
+    return this.e53_1.equals(other);
   };
   protoOf(TypeRefImpl).structurallyEquals = function (other) {
-    return this.t52_1.structurallyEquals(other);
+    return this.e53_1.structurallyEquals(other);
   };
   protoOf(TypeRefImpl).castToAtom = function () {
-    return this.t52_1.castToAtom();
+    return this.e53_1.castToAtom();
   };
   protoOf(TypeRefImpl).castToClause = function () {
-    return this.t52_1.castToClause();
+    return this.e53_1.castToClause();
   };
   protoOf(TypeRefImpl).castToCons = function () {
-    return this.t52_1.castToCons();
+    return this.e53_1.castToCons();
   };
   protoOf(TypeRefImpl).castToConstant = function () {
-    return this.t52_1.castToConstant();
+    return this.e53_1.castToConstant();
   };
   protoOf(TypeRefImpl).castToDirective = function () {
-    return this.t52_1.castToDirective();
+    return this.e53_1.castToDirective();
   };
   protoOf(TypeRefImpl).castToEmptyList = function () {
-    return this.t52_1.castToEmptyList();
+    return this.e53_1.castToEmptyList();
   };
   protoOf(TypeRefImpl).castToEmptyBlock = function () {
-    return this.t52_1.castToEmptyBlock();
+    return this.e53_1.castToEmptyBlock();
   };
   protoOf(TypeRefImpl).castToFact = function () {
-    return this.t52_1.castToFact();
+    return this.e53_1.castToFact();
   };
   protoOf(TypeRefImpl).castToIndicator = function () {
-    return this.t52_1.castToIndicator();
+    return this.e53_1.castToIndicator();
   };
   protoOf(TypeRefImpl).castToInteger = function () {
-    return this.t52_1.castToInteger();
+    return this.e53_1.castToInteger();
   };
   protoOf(TypeRefImpl).castToList = function () {
-    return this.t52_1.castToList();
+    return this.e53_1.castToList();
   };
   protoOf(TypeRefImpl).castToNumeric = function () {
-    return this.t52_1.castToNumeric();
+    return this.e53_1.castToNumeric();
   };
   protoOf(TypeRefImpl).castToReal = function () {
-    return this.t52_1.castToReal();
+    return this.e53_1.castToReal();
   };
   protoOf(TypeRefImpl).castToRule = function () {
-    return this.t52_1.castToRule();
+    return this.e53_1.castToRule();
   };
   protoOf(TypeRefImpl).castToBlock = function () {
-    return this.t52_1.castToBlock();
+    return this.e53_1.castToBlock();
   };
   protoOf(TypeRefImpl).castToStruct = function () {
-    return this.t52_1.castToStruct();
+    return this.e53_1.castToStruct();
   };
   protoOf(TypeRefImpl).castToRecursive = function () {
-    return this.t52_1.castToRecursive();
+    return this.e53_1.castToRecursive();
   };
   protoOf(TypeRefImpl).castToTerm = function () {
-    return this.t52_1.castToTerm();
+    return this.e53_1.castToTerm();
   };
   protoOf(TypeRefImpl).castToTruth = function () {
-    return this.t52_1.castToTruth();
+    return this.e53_1.castToTruth();
   };
   protoOf(TypeRefImpl).castToTuple = function () {
-    return this.t52_1.castToTuple();
+    return this.e53_1.castToTuple();
   };
   protoOf(TypeRefImpl).castToVar = function () {
-    return this.t52_1.castToVar();
+    return this.e53_1.castToVar();
   };
   protoOf(TypeRefImpl).asClause = function () {
-    return this.t52_1.asClause();
+    return this.e53_1.asClause();
   };
   protoOf(TypeRefImpl).asCons = function () {
-    return this.t52_1.asCons();
+    return this.e53_1.asCons();
   };
   protoOf(TypeRefImpl).asDirective = function () {
-    return this.t52_1.asDirective();
+    return this.e53_1.asDirective();
   };
   protoOf(TypeRefImpl).asEmptyList = function () {
-    return this.t52_1.asEmptyList();
+    return this.e53_1.asEmptyList();
   };
   protoOf(TypeRefImpl).asEmptyBlock = function () {
-    return this.t52_1.asEmptyBlock();
+    return this.e53_1.asEmptyBlock();
   };
   protoOf(TypeRefImpl).asFact = function () {
-    return this.t52_1.asFact();
+    return this.e53_1.asFact();
   };
   protoOf(TypeRefImpl).asIndicator = function () {
-    return this.t52_1.asIndicator();
+    return this.e53_1.asIndicator();
   };
   protoOf(TypeRefImpl).asInteger = function () {
-    return this.t52_1.asInteger();
+    return this.e53_1.asInteger();
   };
   protoOf(TypeRefImpl).asList = function () {
-    return this.t52_1.asList();
+    return this.e53_1.asList();
   };
   protoOf(TypeRefImpl).asNumeric = function () {
-    return this.t52_1.asNumeric();
+    return this.e53_1.asNumeric();
   };
   protoOf(TypeRefImpl).asReal = function () {
-    return this.t52_1.asReal();
+    return this.e53_1.asReal();
   };
   protoOf(TypeRefImpl).asRule = function () {
-    return this.t52_1.asRule();
+    return this.e53_1.asRule();
   };
   protoOf(TypeRefImpl).asBlock = function () {
-    return this.t52_1.asBlock();
+    return this.e53_1.asBlock();
   };
   protoOf(TypeRefImpl).asRecursive = function () {
-    return this.t52_1.asRecursive();
+    return this.e53_1.asRecursive();
   };
   protoOf(TypeRefImpl).asTerm = function () {
-    return this.t52_1.asTerm();
+    return this.e53_1.asTerm();
   };
   protoOf(TypeRefImpl).asTruth = function () {
-    return this.t52_1.asTruth();
+    return this.e53_1.asTruth();
   };
   protoOf(TypeRefImpl).asTuple = function () {
-    return this.t52_1.asTuple();
+    return this.e53_1.asTuple();
   };
   protoOf(TypeRefImpl).asVar = function () {
-    return this.t52_1.asVar();
+    return this.e53_1.asVar();
   };
   protoOf(TypeRefImpl).hashCode = function () {
-    return this.t52_1.hashCode();
+    return this.e53_1.hashCode();
   };
   protoOf(TypeRefImpl).toString = function () {
-    return this.t52_1.toString();
+    return this.e53_1.toString();
+  };
+  protoOf(TypeRefImpl).tx = function () {
+    return this.e53_1.tx();
   };
   protoOf(TypeRefImpl).ux = function () {
-    return this.t52_1.ux();
+    return this.e53_1.ux();
   };
   protoOf(TypeRefImpl).vx = function () {
-    return this.t52_1.vx();
+    return this.e53_1.vx();
   };
-  protoOf(TypeRefImpl).wx = function () {
-    return this.t52_1.wx();
+  protoOf(TypeRefImpl).xx = function () {
+    return this.e53_1.xx();
   };
   protoOf(TypeRefImpl).yx = function () {
-    return this.t52_1.yx();
+    return this.e53_1.yx();
   };
   protoOf(TypeRefImpl).zx = function () {
-    return this.t52_1.zx();
-  };
-  protoOf(TypeRefImpl).ay = function () {
-    return this.t52_1.ay();
+    return this.e53_1.zx();
   };
   protoOf(TypeRefImpl).getTag = function (name) {
-    return this.t52_1.getTag(name);
+    return this.e53_1.getTag(name);
   };
   protoOf(TypeRefImpl).resetTags = function (tags) {
-    return this.t52_1.resetTags(tags);
+    return this.e53_1.resetTags(tags);
   };
   protoOf(TypeRefImpl).containsTag = function (name) {
-    return this.t52_1.containsTag(name);
+    return this.e53_1.containsTag(name);
   };
-  protoOf(TypeRefImpl).du = function () {
-    return this.t52_1.du();
+  protoOf(TypeRefImpl).cu = function () {
+    return this.e53_1.cu();
   };
-  protoOf(TypeRefImpl).cy = function () {
-    return this.t52_1.cy();
+  protoOf(TypeRefImpl).by = function () {
+    return this.e53_1.by();
   };
   function actuallyInvoke($this, $receiver, ref, method, resultTerm) {
-    var result = ref.c51(get_termToObjectConverter($receiver), method.yw(), method.zw());
+    var result = ref.n51(get_termToObjectConverter($receiver), method.xw(), method.yw());
     var tmp;
     if (result instanceof Value) {
-      tmp = Companion_getInstance_7().i2l($receiver, resultTerm, $this.w52(result));
+      tmp = Companion_getInstance_7().q2l($receiver, resultTerm, $this.h53(result));
     } else {
       tmp = Companion_getInstance_6().failed();
     }
@@ -2052,9 +2052,9 @@
   function AbstractInvoke(suffix) {
     Functional.call(this, 'invoke_' + suffix);
   }
-  protoOf(AbstractInvoke).j2w = function (_this__u8e3s4, first, second, third) {
-    Companion_getInstance_7().s2l(_this__u8e3s4, 0);
-    Companion_getInstance_7().s2l(_this__u8e3s4, 1);
+  protoOf(AbstractInvoke).m2v = function (_this__u8e3s4, first, second, third) {
+    Companion_getInstance_7().a2m(_this__u8e3s4, 0);
+    Companion_getInstance_7().a2m(_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.j52(_this__u8e3s4.context, _this__u8e3s4.signature);
+          throw e.u52(_this__u8e3s4.context, _this__u8e3s4.signature);
         } else {
           if ($p instanceof ResolutionException) {
             var e_0 = $p;
@@ -2094,22 +2094,21 @@
     }
     return tmp$ret$0;
   };
-  protoOf(AbstractInvoke).t2n = function (_this__u8e3s4, first, second, third) {
-    return this.j2w(_this__u8e3s4, first, second, third);
+  protoOf(AbstractInvoke).b2o = function (_this__u8e3s4, first, second, third) {
+    return this.m2v(_this__u8e3s4, first, second, third);
   };
   function AbstractIterableItems$computeOneSubstitution$lambda($converter) {
     return function (it) {
-      return $converter.z51(it);
+      return $converter.k52(it);
     };
   }
   function AbstractIterableItems$computeOneSubstitution$lambda_0(it) {
-    return Companion_getInstance_11().l51_1.q51(it);
+    return Companion_getInstance_11().w51_1.b52(it);
   }
-  function AbstractIterableItems(iterable, target) {
+  function AbstractIterableItems(iterable) {
     Functional_0.call(this, iterable + '_items');
-    this.y52_1 = target;
   }
-  protoOf(AbstractIterableItems).e2w = function (_this__u8e3s4, first, second) {
+  protoOf(AbstractIterableItems).o2w = function (_this__u8e3s4, first, second) {
     var tmp;
     var tmp_0;
     if (isInterface(first, Var)) {
@@ -2119,58 +2118,58 @@
     }
     if (tmp_0) {
       // Inline function 'kotlin.let' call
-      Companion_getInstance_7().l2k(_this__u8e3s4);
+      Companion_getInstance_7().t2k(_this__u8e3s4);
       tmp = Companion_getInstance_6().failed();
     } else {
       if (isInterface(second, List)) {
         var converter = get_termToObjectConverter(_this__u8e3s4);
-        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);
+        var tmp_1 = second.bv();
+        var items = this.j53(map(tmp_1, AbstractIterableItems$computeOneSubstitution$lambda(converter)));
+        var objectRef = Companion_getInstance_10().v51(items);
+        tmp = Companion_getInstance_7().q2l(_this__u8e3s4, first, objectRef);
       } else {
         if (isInterface(first, ObjectRef)) {
-          var obj = first.b51();
+          var obj = first.m51();
           var tmp_2;
-          if (this.a53(obj)) {
-            var tmp_3 = this.b53(!(obj == null) ? obj : THROW_CCE());
+          if (this.k53(obj)) {
+            var tmp_3 = this.l53(!(obj == null) ? obj : THROW_CCE());
             var items_0 = map(tmp_3, AbstractIterableItems$computeOneSubstitution$lambda_0);
-            tmp_2 = Companion_getInstance_7().i2l(_this__u8e3s4, second, Companion_instance_5.ofSequence(items_0));
+            tmp_2 = Companion_getInstance_7().q2l(_this__u8e3s4, second, Companion_instance_5.ofSequence(items_0));
           } else {
             tmp_2 = Companion_getInstance_6().failed();
           }
           tmp = tmp_2;
         } else {
-          throw Companion_instance_1.g2b(_this__u8e3s4.context, _this__u8e3s4.signature, Expected_OBJECT_REFERENCE_getInstance(), first, 0);
+          throw Companion_instance_1.j2b(_this__u8e3s4.context, _this__u8e3s4.signature, Expected_OBJECT_REFERENCE_getInstance(), first, 0);
         }
       }
     }
     return tmp;
   };
-  protoOf(AbstractIterableItems).w2k = function (_this__u8e3s4, first, second) {
-    return this.e2w(_this__u8e3s4, first, second);
+  protoOf(AbstractIterableItems).e2l = function (_this__u8e3s4, first, second) {
+    return this.o2w(_this__u8e3s4, first, second);
   };
   function ArrayItems() {
     ArrayItems_instance = this;
-    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```";
+    AbstractIterableItems.call(this, 'array');
+    this.n53_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).i1x = function () {
-    return this.e53_1;
+    return this.n53_1;
   };
-  protoOf(ArrayItems).z52 = function (_this__u8e3s4) {
+  protoOf(ArrayItems).j53 = function (_this__u8e3s4) {
     // Inline function 'kotlin.collections.toTypedArray' call
     var this_0 = toList(_this__u8e3s4);
     return copyToArray(this_0);
   };
-  protoOf(ArrayItems).a53 = function (_this__u8e3s4) {
+  protoOf(ArrayItems).k53 = function (_this__u8e3s4) {
     return !(_this__u8e3s4 == null) ? isArray(_this__u8e3s4) : false;
   };
-  protoOf(ArrayItems).f53 = function (_this__u8e3s4) {
+  protoOf(ArrayItems).o53 = function (_this__u8e3s4) {
     return asSequence_0(_this__u8e3s4);
   };
-  protoOf(ArrayItems).b53 = function (_this__u8e3s4) {
-    return this.f53(isArray(_this__u8e3s4) ? _this__u8e3s4 : THROW_CCE());
+  protoOf(ArrayItems).l53 = function (_this__u8e3s4) {
+    return this.o53(isArray(_this__u8e3s4) ? _this__u8e3s4 : THROW_CCE());
   };
   var ArrayItems_instance;
   function ArrayItems_getInstance() {
@@ -2181,14 +2180,14 @@
   function Assign() {
     Assign_instance = this;
     Predicative.call(this, 'assign');
-    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```";
+    this.q53_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).i1x = function () {
-    return this.h53_1;
+    return this.q53_1;
   };
-  protoOf(Assign).i53 = function (_this__u8e3s4, first, second, third) {
-    Companion_getInstance_7().x2l(_this__u8e3s4, 0);
-    Companion_getInstance_7().x2l(_this__u8e3s4, 1);
+  protoOf(Assign).r53 = function (_this__u8e3s4, first, second, third) {
+    Companion_getInstance_7().f2m(_this__u8e3s4, 0);
+    Companion_getInstance_7().f2m(_this__u8e3s4, 1);
     var tmp$ret$0;
     $l$block: {
       // Inline function 'it.unibo.tuprolog.solve.libs.oop.primitives.catchingOopExceptions' call
@@ -2201,19 +2200,19 @@
         }
         var ref = tmp;
         var tmp_0;
-        if (Companion_getInstance_7().j2l(_this__u8e3s4, third, get_DEALIASING_TEMPLATE())) {
+        if (Companion_getInstance_7().r2l(_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.d51(tmp_1, (isInterface(second, Atom) ? second : THROW_CCE()).f1(), value);
+        tmp$ret$0 = ref.o51(tmp_1, (isInterface(second, Atom) ? second : THROW_CCE()).f1(), value);
         break $l$block;
       } catch ($p) {
         if ($p instanceof OopException) {
           var e = $p;
-          throw e.j52(_this__u8e3s4.context, _this__u8e3s4.signature);
+          throw e.u52(_this__u8e3s4.context, _this__u8e3s4.signature);
         } else {
           if ($p instanceof ResolutionException) {
             var e_0 = $p;
@@ -2231,8 +2230,8 @@
     }
     return tmp$ret$0;
   };
-  protoOf(Assign).v2n = function (_this__u8e3s4, first, second, third) {
-    return this.i53(_this__u8e3s4, first, second, third);
+  protoOf(Assign).d2o = function (_this__u8e3s4, first, second, third) {
+    return this.r53(_this__u8e3s4, first, second, third);
   };
   var Assign_instance;
   function Assign_getInstance() {
@@ -2245,8 +2244,8 @@
     if (type == null) {
       tmp = Companion_getInstance_6().failed();
     } else {
-      var casted = get_termToObjectConverter($receiver).w51(type, term);
-      tmp = Companion_getInstance_7().i2l($receiver, result, Companion_getInstance_10().k51(casted));
+      var casted = get_termToObjectConverter($receiver).h52(type, term);
+      tmp = Companion_getInstance_7().q2l($receiver, result, Companion_getInstance_10().v51(casted));
     }
     return tmp;
   }
@@ -2255,7 +2254,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().i2l($$this$catchingOopExceptions, $second, Companion_instance_12.a52(it)));
+      return cast(Cast_getInstance(), $$this$catchingOopExceptions, $first, it, $third).plus(Companion_getInstance_7().q2l($$this$catchingOopExceptions, $second, Companion_instance_12.l52(it)));
     };
   }
   function Cast$computeAll$lambda_1($$this$catchingOopExceptions) {
@@ -2266,24 +2265,23 @@
   function Cast() {
     Cast_instance = this;
     TernaryRelation.call(this, 'cast');
-    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```';
+    this.t53_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, an atom holding a fully qualified type name (e.g. `'java.lang.Long'`), 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 the type name names no type, or 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(1, 'java.lang.Long', R), object_ref(R).\nyes.\n\n?- cast(abc, $int, R).\nno.\n```";
   }
   protoOf(Cast).i1x = function () {
-    return this.k53_1;
+    return this.t53_1;
   };
-  protoOf(Cast).l53 = function (_this__u8e3s4, first, second, third) {
+  protoOf(Cast).u53 = function (_this__u8e3s4, first, second, third) {
     var tmp$ret$0;
     $l$block: {
       // Inline function 'it.unibo.tuprolog.solve.libs.oop.primitives.catchingOopExceptions' call
       try {
         var tmp;
         if (isInterface(second, Struct)) {
-          ensuringArgumentIsTypeRef(_this__u8e3s4, 1);
           var type = getArgumentAsTypeRef(_this__u8e3s4, 1);
           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.u27(), third), VOID, []));
+            tmp_0 = sequenceOf(_this__u8e3s4.replyWith(cast(tmp_1, _this__u8e3s4, first, type == null ? null : type.w27(), third), VOID, []));
           } catch ($p) {
             var tmp_2;
             if ($p instanceof TermToObjectConversionException) {
@@ -2297,7 +2295,7 @@
           tmp = tmp_0;
         } else {
           if (isInterface(second, Var)) {
-            var tmp_3 = asSequence(get_termToObjectConverter(_this__u8e3s4).x51(first));
+            var tmp_3 = asSequence(get_termToObjectConverter(_this__u8e3s4).i52(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 +2309,7 @@
       } catch ($p_0) {
         if ($p_0 instanceof OopException) {
           var e = $p_0;
-          throw e.j52(_this__u8e3s4.context, _this__u8e3s4.signature);
+          throw e.u52(_this__u8e3s4.context, _this__u8e3s4.signature);
         } else {
           if ($p_0 instanceof ResolutionException) {
             var e_0 = $p_0;
@@ -2329,8 +2327,8 @@
     }
     return tmp$ret$0;
   };
-  protoOf(Cast).o2n = function (_this__u8e3s4, first, second, third) {
-    return this.l53(_this__u8e3s4, first, second, third);
+  protoOf(Cast).w2n = function (_this__u8e3s4, first, second, third) {
+    return this.u53(_this__u8e3s4, first, second, third);
   };
   var Cast_instance;
   function Cast_getInstance() {
@@ -2341,12 +2339,12 @@
   function InvokeMethod() {
     InvokeMethod_instance = this;
     AbstractInvoke.call(this, 'method');
-    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```";
+    this.w53_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).i1x = function () {
-    return this.n53_1;
+    return this.w53_1;
   };
-  protoOf(InvokeMethod).w52 = function (_this__u8e3s4) {
+  protoOf(InvokeMethod).h53 = function (_this__u8e3s4) {
     return _this__u8e3s4.t1j();
   };
   var InvokeMethod_instance;
@@ -2358,13 +2356,13 @@
   function InvokeStrict() {
     InvokeStrict_instance = this;
     AbstractInvoke.call(this, 'strict');
-    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```";
+    this.y53_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).i1x = function () {
-    return this.p53_1;
+    return this.y53_1;
   };
-  protoOf(InvokeStrict).w52 = function (_this__u8e3s4) {
-    return _this__u8e3s4.r51();
+  protoOf(InvokeStrict).h53 = function (_this__u8e3s4) {
+    return _this__u8e3s4.c52();
   };
   var InvokeStrict_instance;
   function InvokeStrict_getInstance() {
@@ -2374,23 +2372,23 @@
   }
   function ListItems() {
     ListItems_instance = this;
-    AbstractIterableItems.call(this, 'list', getKClass(KtList));
-    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```";
+    AbstractIterableItems.call(this, 'list');
+    this.a54_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).i1x = function () {
-    return this.s53_1;
+    return this.a54_1;
   };
-  protoOf(ListItems).z52 = function (_this__u8e3s4) {
+  protoOf(ListItems).j53 = function (_this__u8e3s4) {
     return toList(_this__u8e3s4);
   };
-  protoOf(ListItems).a53 = function (_this__u8e3s4) {
+  protoOf(ListItems).k53 = function (_this__u8e3s4) {
     return !(_this__u8e3s4 == null) ? isInterface(_this__u8e3s4, KtList) : false;
   };
-  protoOf(ListItems).t53 = function (_this__u8e3s4) {
+  protoOf(ListItems).b54 = function (_this__u8e3s4) {
     return asSequence(_this__u8e3s4);
   };
-  protoOf(ListItems).b53 = function (_this__u8e3s4) {
-    return this.t53(isInterface(_this__u8e3s4, KtList) ? _this__u8e3s4 : THROW_CCE());
+  protoOf(ListItems).l53 = function (_this__u8e3s4) {
+    return this.b54(isInterface(_this__u8e3s4, KtList) ? _this__u8e3s4 : THROW_CCE());
   };
   var ListItems_instance;
   function ListItems_getInstance() {
@@ -2401,28 +2399,28 @@
   function NewObject3() {
     NewObject3_instance = this;
     Functional.call(this, 'new_object');
-    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```";
+    this.d54_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).i1x = function () {
-    return this.v53_1;
+    return this.d54_1;
   };
-  protoOf(NewObject3).j2w = function (_this__u8e3s4, first, second, third) {
-    Companion_getInstance_7().s2l(_this__u8e3s4, 0);
-    Companion_getInstance_7().c2m(_this__u8e3s4, 1);
+  protoOf(NewObject3).m2v = function (_this__u8e3s4, first, second, third) {
+    Companion_getInstance_7().a2m(_this__u8e3s4, 0);
+    Companion_getInstance_7().k2m(_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.d52(get_termToObjectConverter(_this__u8e3s4), arguments_0.slice());
-        var objectReference = tmp1_safe_receiver == null ? null : tmp1_safe_receiver.r51();
+        var tmp1_safe_receiver = type == null ? null : type.o52(get_termToObjectConverter(_this__u8e3s4), arguments_0.slice());
+        var objectReference = tmp1_safe_receiver == null ? null : tmp1_safe_receiver.c52();
         var tmp;
         if (objectReference == null) {
           tmp = null;
         } else {
           // Inline function 'kotlin.let' call
-          tmp = Companion_getInstance_7().i2l(_this__u8e3s4, third, objectReference);
+          tmp = Companion_getInstance_7().q2l(_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 +2428,7 @@
       } catch ($p) {
         if ($p instanceof OopException) {
           var e = $p;
-          throw e.j52(_this__u8e3s4.context, _this__u8e3s4.signature);
+          throw e.u52(_this__u8e3s4.context, _this__u8e3s4.signature);
         } else {
           if ($p instanceof ResolutionException) {
             var e_0 = $p;
@@ -2448,8 +2446,8 @@
     }
     return tmp$ret$0;
   };
-  protoOf(NewObject3).t2n = function (_this__u8e3s4, first, second, third) {
-    return this.j2w(_this__u8e3s4, first, second, third);
+  protoOf(NewObject3).b2o = function (_this__u8e3s4, first, second, third) {
+    return this.m2v(_this__u8e3s4, first, second, third);
   };
   var NewObject3_instance;
   function NewObject3_getInstance() {
@@ -2460,12 +2458,12 @@
   function NullRef_0() {
     NullRef_instance = this;
     TypeTester.call(this, 'null_ref');
-    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```";
+    this.f54_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).i1x = function () {
-    return this.x53_1;
+    return this.f54_1;
   };
-  protoOf(NullRef_0).f2o = function (term) {
+  protoOf(NullRef_0).n2o = function (term) {
     return isInterface(term, NullRef);
   };
   var NullRef_instance;
@@ -2477,12 +2475,12 @@
   function ObjectRef_0() {
     ObjectRef_instance = this;
     TypeTester.call(this, 'object_ref');
-    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```";
+    this.h54_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).i1x = function () {
-    return this.z53_1;
+    return this.h54_1;
   };
-  protoOf(ObjectRef_0).f2o = function (term) {
+  protoOf(ObjectRef_0).n2o = function (term) {
     return isInterface(term, ObjectRef);
   };
   var ObjectRef_instance;
@@ -2515,11 +2513,33 @@
   function get_termToObjectConverter(_this__u8e3s4) {
     _init_properties_PrimitiveExtensions_kt__hfa11z();
     var tmp = Companion_getInstance_13();
-    return tmp.t51(VOID, _get_termToObjectConverter_$lambda_4bacq4(_this__u8e3s4));
+    return tmp.e52(VOID, _get_termToObjectConverter_$lambda_4bacq4(_this__u8e3s4));
+  }
+  function getArgumentAsTypeRef(_this__u8e3s4, index) {
+    _init_properties_PrimitiveExtensions_kt__hfa11z();
+    Companion_getInstance_7().a2m(_this__u8e3s4, index);
+    var arg = _this__u8e3s4.arguments.t(index);
+    var tmp;
+    if (isInterface(arg, TypeRef)) {
+      tmp = arg;
+    } else {
+      if (isInterface(arg, Atom)) {
+        tmp = Companion_getInstance_14().g52_1.n52(arg.f1());
+      } else {
+        if (isDealiasingExpression(_this__u8e3s4, arg)) {
+          var tmp_0 = findRefFromAlias(_this__u8e3s4, arg.castToStruct());
+          tmp = isInterface(tmp_0, TypeRef) ? tmp_0 : null;
+        } else {
+          ensuringArgumentIsTypeRef(_this__u8e3s4, index);
+          tmp = null;
+        }
+      }
+    }
+    return tmp;
   }
   function ensuringArgumentIsTypeRef(_this__u8e3s4, index) {
     _init_properties_PrimitiveExtensions_kt__hfa11z();
-    var arg = _this__u8e3s4.arguments.x(index);
+    var arg = _this__u8e3s4.arguments.t(index);
     var tmp;
     var tmp_0;
     if (matchesDealiasingTemplate(_this__u8e3s4, arg)) {
@@ -2532,44 +2552,22 @@
       tmp = _this__u8e3s4;
     } else {
       if (!isInterface(arg, TypeRef)) {
-        throw Companion_instance_1.g2b(_this__u8e3s4.context, _this__u8e3s4.signature, Expected_TYPE_REFERENCE_getInstance(), arg, index);
+        throw Companion_instance_1.j2b(_this__u8e3s4.context, _this__u8e3s4.signature, Expected_TYPE_REFERENCE_getInstance(), arg, index);
       } else {
         tmp = _this__u8e3s4;
       }
     }
     return tmp;
   }
-  function getArgumentAsTypeRef(_this__u8e3s4, index) {
-    _init_properties_PrimitiveExtensions_kt__hfa11z();
-    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().v51_1.c52(arg.f1());
-      } else {
-        if (isDealiasingExpression(_this__u8e3s4, arg)) {
-          var tmp_0 = findRefFromAlias(_this__u8e3s4, arg.castToStruct());
-          tmp = isInterface(tmp_0, TypeRef) ? tmp_0 : null;
-        } else {
-          ensuringArgumentIsTypeRef(_this__u8e3s4, 1);
-          tmp = null;
-        }
-      }
-    }
-    return tmp;
-  }
   function ensuringArgumentIsRef(_this__u8e3s4, index) {
     _init_properties_PrimitiveExtensions_kt__hfa11z();
-    var arg = _this__u8e3s4.arguments.x(index);
+    var arg = _this__u8e3s4.arguments.t(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.g2b(_this__u8e3s4.context, _this__u8e3s4.signature, Expected_REFERENCE_getInstance(), arg, index);
+        throw Companion_instance_1.j2b(_this__u8e3s4.context, _this__u8e3s4.signature, Expected_REFERENCE_getInstance(), arg, index);
       } else {
         tmp = _this__u8e3s4;
       }
@@ -2594,30 +2592,30 @@
     var tmp0_safe_receiver = firstOrNull(tmp$ret$0);
     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.sx();
+    return tmp2_safe_receiver == null ? null : tmp2_safe_receiver.rx();
   }
-  function matchesDealiasingTemplate(_this__u8e3s4, term) {
+  function isDealiasingExpression(_this__u8e3s4, term) {
     _init_properties_PrimitiveExtensions_kt__hfa11z();
     var tmp;
+    var tmp_0;
     if (isInterface(term, Struct)) {
-      tmp = Companion_getInstance_7().j2l(_this__u8e3s4, term, get_DEALIASING_TEMPLATE());
+      tmp_0 = Companion_getInstance_7().r2l(_this__u8e3s4, term, get_DEALIASING_TEMPLATE());
+    } else {
+      tmp_0 = false;
+    }
+    if (tmp_0) {
+      var tmp_1 = term.yw().t(0);
+      tmp = isInterface(tmp_1, Atom);
     } else {
       tmp = false;
     }
     return tmp;
   }
-  function isDealiasingExpression(_this__u8e3s4, term) {
+  function matchesDealiasingTemplate(_this__u8e3s4, term) {
     _init_properties_PrimitiveExtensions_kt__hfa11z();
     var tmp;
-    var tmp_0;
     if (isInterface(term, Struct)) {
-      tmp_0 = Companion_getInstance_7().j2l(_this__u8e3s4, term, get_DEALIASING_TEMPLATE());
-    } else {
-      tmp_0 = false;
-    }
-    if (tmp_0) {
-      var tmp_1 = term.zw().x(0);
-      tmp = isInterface(tmp_1, Atom);
+      tmp = Companion_getInstance_7().r2l(_this__u8e3s4, term, get_DEALIASING_TEMPLATE());
     } else {
       tmp = false;
     }
@@ -2657,12 +2655,12 @@
   function Ref_0() {
     Ref_instance = this;
     TypeTester.call(this, 'ref');
-    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```";
+    this.j54_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).i1x = function () {
-    return this.b54_1;
+    return this.j54_1;
   };
-  protoOf(Ref_0).f2o = function (term) {
+  protoOf(Ref_0).n2o = function (term) {
     return isInterface(term, Ref);
   };
   var Ref_instance;
@@ -2675,29 +2673,29 @@
     return function ($this$replySuccess) {
       var tmp = Companion_instance_15;
       var tmp_0 = isInterface($second, Struct) ? $second : THROW_CCE();
-      $this$replySuccess.v2q([tmp.c54(tmp_0, isInterface($first, Ref) ? $first : THROW_CCE()).g1x()]);
+      $this$replySuccess.d2r([tmp.k54(tmp_0, isInterface($first, Ref) ? $first : THROW_CCE()).g1x()]);
       return Unit_instance;
     };
   }
   function Register() {
     Register_instance = this;
     NonBacktrackable.call(this, 'register');
-    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```";
+    this.m54_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).i1x = function () {
-    return this.e54_1;
+    return this.m54_1;
   };
-  protoOf(Register).c2v = function (_this__u8e3s4, first_0, second) {
-    Companion_getInstance_7().l2k(_this__u8e3s4);
+  protoOf(Register).j2v = function (_this__u8e3s4, first_0, second) {
+    Companion_getInstance_7().t2k(_this__u8e3s4);
     ensuringArgumentIsRef(_this__u8e3s4, 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);
+    Companion_getInstance_7().a2m(_this__u8e3s4, 1);
+    if (!second.by()) {
+      throw Companion_instance_6.m29(_this__u8e3s4.context, _this__u8e3s4.signature, first(second.zw()), 0);
     }
     return _this__u8e3s4.replySuccessBuildingSideEffects(VOID, VOID, Register$computeOne$lambda(second, first_0));
   };
-  protoOf(Register).n2k = function (_this__u8e3s4, first, second) {
-    return this.c2v(_this__u8e3s4, first, second);
+  protoOf(Register).v2k = function (_this__u8e3s4, first, second) {
+    return this.j2v(_this__u8e3s4, first, second);
   };
   var Register_instance;
   function Register_getInstance() {
@@ -2707,23 +2705,23 @@
   }
   function SetItems() {
     SetItems_instance = this;
-    AbstractIterableItems.call(this, 'set', getKClass(KtSet));
-    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```';
+    AbstractIterableItems.call(this, 'set');
+    this.o54_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).i1x = function () {
-    return this.h54_1;
+    return this.o54_1;
   };
-  protoOf(SetItems).z52 = function (_this__u8e3s4) {
+  protoOf(SetItems).j53 = function (_this__u8e3s4) {
     return toSet(_this__u8e3s4);
   };
-  protoOf(SetItems).a53 = function (_this__u8e3s4) {
+  protoOf(SetItems).k53 = function (_this__u8e3s4) {
     return !(_this__u8e3s4 == null) ? isInterface(_this__u8e3s4, KtSet) : false;
   };
-  protoOf(SetItems).i54 = function (_this__u8e3s4) {
+  protoOf(SetItems).p54 = function (_this__u8e3s4) {
     return asSequence(_this__u8e3s4);
   };
-  protoOf(SetItems).b53 = function (_this__u8e3s4) {
-    return this.i54(isInterface(_this__u8e3s4, KtSet) ? _this__u8e3s4 : THROW_CCE());
+  protoOf(SetItems).l53 = function (_this__u8e3s4) {
+    return this.p54(isInterface(_this__u8e3s4, KtSet) ? _this__u8e3s4 : THROW_CCE());
   };
   var SetItems_instance;
   function SetItems_getInstance() {
@@ -2734,13 +2732,13 @@
   function Type() {
     Type_instance = this;
     Functional_0.call(this, 'type');
-    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;
+    this.r54_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 fully qualified name of its class, so that the two directions round-trip. 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 = 'java.util.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.s54_1 = Companion_getInstance_14().g52_1;
   }
   protoOf(Type).i1x = function () {
-    return this.k54_1;
+    return this.r54_1;
   };
-  protoOf(Type).e2w = function (_this__u8e3s4, first, second) {
+  protoOf(Type).o2w = function (_this__u8e3s4, first, second) {
     var tmp$ret$0;
     $l$block: {
       // Inline function 'it.unibo.tuprolog.solve.libs.oop.primitives.catchingOopExceptions' call
@@ -2753,31 +2751,31 @@
           tmp_0 = false;
         }
         if (tmp_0) {
-          Companion_getInstance_7().o2l(_this__u8e3s4, 0);
+          Companion_getInstance_7().w2l(_this__u8e3s4, 0);
           tmp = Companion_getInstance_6().failed();
         } else {
           if (isInterface(first, Var)) {
-            Companion_getInstance_7().x2l(_this__u8e3s4, 1);
+            Companion_getInstance_7().f2m(_this__u8e3s4, 1);
             ensuringArgumentIsTypeRef(_this__u8e3s4, 1);
             var tmp_1 = Companion_getInstance_7();
             var tmp_2 = Companion_getInstance_0();
-            tmp = tmp_1.i2l(_this__u8e3s4, first, tmp_2.of(get_name((isInterface(second, TypeRef) ? second : THROW_CCE()).u27())));
+            tmp = tmp_1.q2l(_this__u8e3s4, first, tmp_2.of(get_fullName((isInterface(second, TypeRef) ? second : THROW_CCE()).w27())));
           } else {
             if (isInterface(second, Var)) {
-              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());
+              Companion_getInstance_7().f2m(_this__u8e3s4, 0);
+              var tmp_3 = Type_getInstance().s54_1;
+              var tmp0_safe_receiver = tmp_3.n52((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().i2l(_this__u8e3s4, second, tmp0_safe_receiver);
+                tmp_4 = Companion_getInstance_7().q2l(_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().x2l(_this__u8e3s4, 0);
+              Companion_getInstance_7().f2m(_this__u8e3s4, 0);
               tmp = Companion_getInstance_6().failed();
             }
           }
@@ -2787,7 +2785,7 @@
       } catch ($p) {
         if ($p instanceof OopException) {
           var e = $p;
-          throw e.j52(_this__u8e3s4.context, _this__u8e3s4.signature);
+          throw e.u52(_this__u8e3s4.context, _this__u8e3s4.signature);
         } else {
           if ($p instanceof ResolutionException) {
             var e_0 = $p;
@@ -2805,8 +2803,8 @@
     }
     return tmp$ret$0;
   };
-  protoOf(Type).w2k = function (_this__u8e3s4, first, second) {
-    return this.e2w(_this__u8e3s4, first, second);
+  protoOf(Type).e2l = function (_this__u8e3s4, first, second) {
+    return this.o2w(_this__u8e3s4, first, second);
   };
   var Type_instance;
   function Type_getInstance() {
@@ -2817,12 +2815,12 @@
   function TypeRef_0() {
     TypeRef_instance = this;
     TypeTester.call(this, 'type_ref');
-    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```";
+    this.u54_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).i1x = function () {
-    return this.n54_1;
+    return this.u54_1;
   };
-  protoOf(TypeRef_0).f2o = function (term) {
+  protoOf(TypeRef_0).n2o = function (term) {
     return isInterface(term, TypeRef);
   };
   var TypeRef_instance;
@@ -2833,27 +2831,27 @@
   }
   function Unregister$computeOne$lambda($first) {
     return function (it) {
-      return it.ez().get(0).equals($first);
+      return it.dz().get(0).equals($first);
     };
   }
   function Unregister$computeOne$lambda_0($toBeRemoved) {
     return function ($this$replySuccess) {
-      $this$replySuccess.w2q($toBeRemoved);
+      $this$replySuccess.e2r($toBeRemoved);
       return Unit_instance;
     };
   }
   function Unregister() {
     Unregister_instance = this;
     NonBacktrackable_0.call(this, 'unregister');
-    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```";
+    this.w54_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).i1x = function () {
-    return this.p54_1;
+    return this.w54_1;
   };
-  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);
+  protoOf(Unregister).v2u = function (_this__u8e3s4, first_0) {
+    Companion_getInstance_7().a2m(_this__u8e3s4, 0);
+    if (!first_0.by()) {
+      throw Companion_instance_6.m29(_this__u8e3s4.context, _this__u8e3s4.signature, first(first_0.zw()), 0);
     }
     var pattern = Companion_getInstance_9().of('alias', [first_0, Companion_getInstance_8().anonymous()]);
     var tmp = _this__u8e3s4.context.v1x().getByHead(pattern);
@@ -2866,8 +2864,8 @@
     }
     return tmp_0;
   };
-  protoOf(Unregister).a2o = function (_this__u8e3s4, first) {
-    return this.l2u(_this__u8e3s4, first);
+  protoOf(Unregister).i2o = function (_this__u8e3s4, first) {
+    return this.v2u(_this__u8e3s4, first);
   };
   var Unregister_instance;
   function Unregister_getInstance() {
@@ -2876,12 +2874,12 @@
     return Unregister_instance;
   }
   function Companion_7() {
-    this.e51_1 = 'alias';
+    this.p51_1 = 'alias';
   }
-  protoOf(Companion_7).f51 = function (alias, type) {
-    return new Alias(Companion_getInstance_0().of(alias), Companion_instance_12.a52(type));
+  protoOf(Companion_7).q51 = function (alias, type) {
+    return new Alias(Companion_getInstance_0().of(alias), Companion_instance_12.l52(type));
   };
-  protoOf(Companion_7).c54 = function (alias, ref) {
+  protoOf(Companion_7).k54 = function (alias, ref) {
     return new Alias(alias, ref);
   };
   var Companion_instance_15;
@@ -2890,123 +2888,123 @@
   }
   function Alias(alias, ref) {
     RuleWrapper_init_$Init$('alias', 2, VOID, this);
-    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```";
+    this.a55_1 = alias;
+    this.b55_1 = ref;
+    this.c55_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 = 'kotlin.String'.\n\n?- alias(nope, R).\nno.\n```";
     // Inline function 'kotlin.require' call
-    if (!this.t54_1.cy()) {
-      var message = 'Alias must be a ground term, got: ' + this.t54_1.toString();
+    if (!this.a55_1.by()) {
+      var message = 'Alias must be a ground term, got: ' + this.a55_1.toString();
       throw IllegalArgumentException_init_$Create$(toString_0(message));
     }
   }
   protoOf(Alias).i1x = function () {
-    return this.v54_1;
+    return this.c55_1;
   };
-  protoOf(Alias).g2o = function (_this__u8e3s4) {
-    return toList(sequenceOf_0([this.t54_1, this.u54_1]));
+  protoOf(Alias).o2o = function (_this__u8e3s4) {
+    return toList(sequenceOf_0([this.a55_1, this.b55_1]));
   };
   function _get_R__7mlo3j($this) {
     var tmp = KProperty1;
-    return $this.a55_1.getValue($this, getPropertyCallableRef('R', 1, tmp, ColonEquals$Cast$_get_R_$ref_879xch(), null));
+    return $this.h55_1.getValue($this, getPropertyCallableRef('R', 1, tmp, ColonEquals$Cast$_get_R_$ref_879xch(), null));
   }
   function _get_X__7mlo8p($this) {
     var tmp = KProperty1;
-    return $this.b55_1.getValue($this, getPropertyCallableRef('X', 1, tmp, ColonEquals$Cast$_get_X_$ref_5d06zb(), null));
+    return $this.i55_1.getValue($this, getPropertyCallableRef('X', 1, tmp, ColonEquals$Cast$_get_X_$ref_5d06zb(), null));
   }
   function _get_Y__7mlo9k($this) {
     var tmp = KProperty1;
-    return $this.c55_1.getValue($this, getPropertyCallableRef('Y', 1, tmp, ColonEquals$Cast$_get_Y_$ref_4vykl4(), null));
+    return $this.j55_1.getValue($this, getPropertyCallableRef('Y', 1, tmp, ColonEquals$Cast$_get_Y_$ref_4vykl4(), null));
   }
   function _get_T__7mlo59($this) {
     var tmp = KProperty1;
-    return $this.d55_1.getValue($this, getPropertyCallableRef('T', 1, tmp, ColonEquals$Cast$_get_T_$ref_796ok3(), null));
+    return $this.k55_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) {
       return _get_R__7mlo3j(p0);
-    }, 1, 0, 132);
+    }, 1, 0, 133);
   }
   function ColonEquals$Cast$_get_X_$ref_5d06zb() {
     return constructCallableReference(function (p0) {
       return _get_X__7mlo8p(p0);
-    }, 1, 0, 133);
+    }, 1, 0, 134);
   }
   function ColonEquals$Cast$_get_Y_$ref_4vykl4() {
     return constructCallableReference(function (p0) {
       return _get_Y__7mlo9k(p0);
-    }, 1, 0, 134);
+    }, 1, 0, 135);
   }
   function ColonEquals$Cast$_get_T_$ref_796ok3() {
     return constructCallableReference(function (p0) {
       return _get_T__7mlo59(p0);
-    }, 1, 0, 135);
+    }, 1, 0, 136);
   }
   function _get_R__7mlo3j_0($this) {
     var tmp = KProperty1;
-    return $this.i55_1.getValue($this, getPropertyCallableRef('R', 1, tmp, ColonEquals$Invocation$_get_R_$ref_tlu5kw(), null));
+    return $this.p55_1.getValue($this, getPropertyCallableRef('R', 1, tmp, ColonEquals$Invocation$_get_R_$ref_tlu5kw(), null));
   }
   function _get_M__7mlnz8($this) {
     var tmp = KProperty1;
-    return $this.j55_1.getValue($this, getPropertyCallableRef('M', 1, tmp, ColonEquals$Invocation$_get_M_$ref_vz29jv(), null));
+    return $this.q55_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) {
       return _get_R__7mlo3j_0(p0);
-    }, 1, 0, 136);
+    }, 1, 0, 137);
   }
   function ColonEquals$Invocation$_get_M_$ref_vz29jv() {
     return constructCallableReference(function (p0) {
       return _get_M__7mlnz8(p0);
-    }, 1, 0, 137);
+    }, 1, 0, 138);
   }
   function _get_C__7mlnqm($this) {
     var tmp = KProperty1;
-    return $this.o55_1.getValue($this, getPropertyCallableRef('C', 1, tmp, ColonEquals$Assignment$_get_C_$ref_kw9fvw(), null));
+    return $this.v55_1.getValue($this, getPropertyCallableRef('C', 1, tmp, ColonEquals$Assignment$_get_C_$ref_kw9fvw(), null));
   }
   function _get_P__7mlo1t($this) {
     var tmp = KProperty1;
-    return $this.p55_1.getValue($this, getPropertyCallableRef('P', 1, tmp, ColonEquals$Assignment$_get_P_$ref_r1uj0f(), null));
+    return $this.w55_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.q55_1.getValue($this, getPropertyCallableRef('R', 1, tmp, ColonEquals$Assignment$_get_R_$ref_rzxrst(), null));
+    return $this.x55_1.getValue($this, getPropertyCallableRef('R', 1, tmp, ColonEquals$Assignment$_get_R_$ref_rzxrst(), null));
   }
   function _get_V__7mlo6z($this) {
     var tmp = KProperty1;
-    return $this.r55_1.getValue($this, getPropertyCallableRef('V', 1, tmp, ColonEquals$Assignment$_get_V_$ref_tw49dl(), null));
+    return $this.y55_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) {
       return _get_C__7mlnqm(p0);
-    }, 1, 0, 138);
+    }, 1, 0, 139);
   }
   function ColonEquals$Assignment$_get_P_$ref_r1uj0f() {
     return constructCallableReference(function (p0) {
       return _get_P__7mlo1t(p0);
-    }, 1, 0, 139);
+    }, 1, 0, 140);
   }
   function ColonEquals$Assignment$_get_R_$ref_rzxrst() {
     return constructCallableReference(function (p0) {
       return _get_R__7mlo3j_1(p0);
-    }, 1, 0, 140);
+    }, 1, 0, 141);
   }
   function ColonEquals$Assignment$_get_V_$ref_tw49dl() {
     return constructCallableReference(function (p0) {
       return _get_V__7mlo6z(p0);
-    }, 1, 0, 141);
+    }, 1, 0, 142);
   }
   function Cast_0() {
     Cast_instance_0 = this;
     ColonEquals.call(this);
-    this.a55_1 = this.y21_1;
-    this.b55_1 = this.y21_1;
-    this.c55_1 = this.y21_1;
-    this.d55_1 = this.y21_1;
+    this.h55_1 = this.z21_1;
+    this.i55_1 = this.z21_1;
+    this.j55_1 = this.z21_1;
+    this.k55_1 = this.z21_1;
   }
-  protoOf(Cast_0).g2o = function (_this__u8e3s4) {
+  protoOf(Cast_0).o2o = function (_this__u8e3s4) {
     return listOf([_get_R__7mlo3j(this), _this__u8e3s4.structOf('as', [_get_X__7mlo8p(this), _get_T__7mlo59(this)])]);
   };
-  protoOf(Cast_0).h2o = function (_this__u8e3s4) {
+  protoOf(Cast_0).p2o = 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 +3023,13 @@
   function Invocation() {
     Invocation_instance = this;
     ColonEquals.call(this);
-    this.i55_1 = this.y21_1;
-    this.j55_1 = this.y21_1;
+    this.p55_1 = this.z21_1;
+    this.q55_1 = this.z21_1;
   }
-  protoOf(Invocation).g2o = function (_this__u8e3s4) {
+  protoOf(Invocation).o2o = function (_this__u8e3s4) {
     return listOf([_get_R__7mlo3j_0(this), _get_M__7mlnz8(this)]);
   };
-  protoOf(Invocation).h2o = function (_this__u8e3s4) {
+  protoOf(Invocation).p2o = 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 +3043,15 @@
   function Assignment() {
     Assignment_instance = this;
     ColonEquals.call(this);
-    this.o55_1 = this.y21_1;
-    this.p55_1 = this.y21_1;
-    this.q55_1 = this.y21_1;
-    this.r55_1 = this.y21_1;
+    this.v55_1 = this.z21_1;
+    this.w55_1 = this.z21_1;
+    this.x55_1 = this.z21_1;
+    this.y55_1 = this.z21_1;
   }
-  protoOf(Assignment).g2o = function (_this__u8e3s4) {
+  protoOf(Assignment).o2o = function (_this__u8e3s4) {
     return listOf([_get_C__7mlnqm(this), _get_V__7mlo6z(this)]);
   };
-  protoOf(Assignment).h2o = function (_this__u8e3s4) {
+  protoOf(Assignment).p2o = 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,44 +3065,44 @@
   }
   function ColonEquals() {
     RuleWrapper_init_$Init$(':=', 2, VOID, this);
-    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```";
+    this.c56_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, a fully qualified type name such as `'java.lang.Long'`, 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).i1x = function () {
-    return this.v55_1;
+    return this.c56_1;
   };
   function _get_Method__a3idyi($this) {
     var tmp = KProperty1;
-    return $this.a56_1.getValue($this, getPropertyCallableRef('Method', 1, tmp, Dot$_get_Method_$ref_b7a4zw(), null));
+    return $this.h56_1.getValue($this, getPropertyCallableRef('Method', 1, tmp, Dot$_get_Method_$ref_b7a4zw(), null));
   }
   function _get_Ref__e5vi4e($this) {
     var tmp = KProperty1;
-    return $this.b56_1.getValue($this, getPropertyCallableRef('Ref', 1, tmp, Dot$_get_Ref_$ref_33uzaq(), null));
+    return $this.i56_1.getValue($this, getPropertyCallableRef('Ref', 1, tmp, Dot$_get_Ref_$ref_33uzaq(), null));
   }
   function Dot$_get_Method_$ref_b7a4zw() {
     return constructCallableReference(function (p0) {
       return _get_Method__a3idyi(p0);
-    }, 1, 0, 142);
+    }, 1, 0, 143);
   }
   function Dot$_get_Ref_$ref_33uzaq() {
     return constructCallableReference(function (p0) {
       return _get_Ref__e5vi4e(p0);
-    }, 1, 0, 143);
+    }, 1, 0, 144);
   }
   function Dot() {
     Dot_instance = this;
     RuleWrapper_init_$Init$('.', 2, VOID, this);
-    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;
+    this.g56_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.h56_1 = this.z21_1;
+    this.i56_1 = this.z21_1;
   }
   protoOf(Dot).i1x = function () {
-    return this.z55_1;
+    return this.g56_1;
   };
-  protoOf(Dot).g2o = function (_this__u8e3s4) {
+  protoOf(Dot).o2o = function (_this__u8e3s4) {
     return listOf([_get_Ref__e5vi4e(this), _get_Method__a3idyi(this)]);
   };
-  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()]);
+  protoOf(Dot).p2o = function (_this__u8e3s4) {
+    return _this__u8e3s4.structOf('fluent_reduce', [_this__u8e3s4.consOf(_get_Ref__e5vi4e(this), _get_Method__a3idyi(this)), _this__u8e3s4.m12()]);
   };
   var Dot_instance;
   function Dot_getInstance() {
@@ -3114,61 +3112,61 @@
   }
   function _get_P__7mlo1t_0($this) {
     var tmp = KProperty1;
-    return $this.h56_1.getValue($this, getPropertyCallableRef('P', 1, tmp, FluentReduce$Recursive$_get_P_$ref_qmyw78(), null));
+    return $this.o56_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.i56_1.getValue($this, getPropertyCallableRef('M', 1, tmp, FluentReduce$Recursive$_get_M_$ref_s23rdt(), null));
+    return $this.p56_1.getValue($this, getPropertyCallableRef('M', 1, tmp, FluentReduce$Recursive$_get_M_$ref_s23rdt(), null));
   }
   function _get_P1__ndbjd6($this) {
     var tmp = KProperty1;
-    return $this.j56_1.getValue($this, getPropertyCallableRef('P1', 1, tmp, FluentReduce$Recursive$_get_P1_$ref_ksmyi5(), null));
+    return $this.q56_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.k56_1.getValue($this, getPropertyCallableRef('X', 1, tmp, FluentReduce$Recursive$_get_X_$ref_mulx1o(), null));
+    return $this.r56_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) {
       return _get_P__7mlo1t_0(p0);
-    }, 1, 0, 144);
+    }, 1, 0, 145);
   }
   function FluentReduce$Recursive$_get_M_$ref_s23rdt() {
     return constructCallableReference(function (p0) {
       return _get_M__7mlnz8_0(p0);
-    }, 1, 0, 145);
+    }, 1, 0, 146);
   }
   function FluentReduce$Recursive$_get_P1_$ref_ksmyi5() {
     return constructCallableReference(function (p0) {
       return _get_P1__ndbjd6(p0);
-    }, 1, 0, 146);
+    }, 1, 0, 147);
   }
   function FluentReduce$Recursive$_get_X_$ref_mulx1o() {
     return constructCallableReference(function (p0) {
       return _get_X__7mlo8p_0(p0);
-    }, 1, 0, 147);
+    }, 1, 0, 148);
   }
   function _get_P__7mlo1t_1($this) {
     var tmp = KProperty1;
-    return $this.q56_1.getValue($this, getPropertyCallableRef('P', 1, tmp, FluentReduce$Couple$_get_P_$ref_o7vzn6(), null));
+    return $this.x56_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.r56_1.getValue($this, getPropertyCallableRef('M', 1, tmp, FluentReduce$Couple$_get_M_$ref_pn0utr(), null));
+    return $this.y56_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) {
       return _get_P__7mlo1t_1(p0);
-    }, 1, 0, 148);
+    }, 1, 0, 149);
   }
   function FluentReduce$Couple$_get_M_$ref_pn0utr() {
     return constructCallableReference(function (p0) {
       return _get_M__7mlnz8_1(p0);
-    }, 1, 0, 149);
+    }, 1, 0, 150);
   }
   function Companion_8() {
-    this.s56_1 = 'fluent_reduce';
-    this.t56_1 = 2;
+    this.z56_1 = 'fluent_reduce';
+    this.a57_1 = 2;
   }
   var Companion_instance_16;
   function Companion_getInstance_19() {
@@ -3177,19 +3175,19 @@
   function Recursive() {
     Recursive_instance = this;
     FluentReduce.call(this);
-    this.h56_1 = this.y21_1;
-    this.i56_1 = this.y21_1;
-    this.j56_1 = this.y21_1;
-    this.k56_1 = this.y21_1;
+    this.o56_1 = this.z21_1;
+    this.p56_1 = this.z21_1;
+    this.q56_1 = this.z21_1;
+    this.r56_1 = this.z21_1;
   }
-  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).o2o = function (_this__u8e3s4) {
+    return listOf([_this__u8e3s4.n12([_get_P__7mlo1t_0(this), _get_M__7mlnz8_0(this)], _get_X__7mlo8p_0(this)), this.g57()]);
   };
-  protoOf(Recursive).h2o = function (_this__u8e3s4) {
+  protoOf(Recursive).p2o = 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.z56()])]);
+    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.g57()])]);
   };
   var Recursive_instance;
   function Recursive_getInstance() {
@@ -3200,17 +3198,17 @@
   function Couple() {
     Couple_instance = this;
     FluentReduce.call(this);
-    this.q56_1 = this.y21_1;
-    this.r56_1 = this.y21_1;
+    this.x56_1 = this.z21_1;
+    this.y56_1 = this.z21_1;
   }
-  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).o2o = function (_this__u8e3s4) {
+    return listOf([_this__u8e3s4.consOf(_get_P__7mlo1t_1(this), _get_M__7mlnz8_1(this)), this.g57()]);
   };
-  protoOf(Couple).h2o = function (_this__u8e3s4) {
+  protoOf(Couple).p2o = 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.z56()])]);
+    return _this__u8e3s4.tupleOf([tmp, _this__u8e3s4.structOf(tmp$ret$0, [_get_P__7mlo1t_1(this), _get_M__7mlnz8_1(this), this.g57()])]);
   };
   var Couple_instance;
   function Couple_getInstance() {
@@ -3222,8 +3220,8 @@
     Trivial_instance = this;
     FluentReduce.call(this);
   }
-  protoOf(Trivial).g2o = function (_this__u8e3s4) {
-    return listOf([this.z56(), this.z56()]);
+  protoOf(Trivial).o2o = function (_this__u8e3s4) {
+    return listOf([this.g57(), this.g57()]);
   };
   var Trivial_instance;
   function Trivial_getInstance() {
@@ -3233,61 +3231,61 @@
   }
   function FluentReduce$_get_R_$ref_ypb4y4() {
     return constructCallableReference(function (p0) {
-      return p0.z56();
-    }, 1, 0, 150);
+      return p0.g57();
+    }, 1, 0, 151);
   }
   function FluentReduce() {
     RuleWrapper_init_$Init$('fluent_reduce', 2, VOID, this);
-    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;
+    this.e57_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.f57_1 = this.z21_1;
   }
   protoOf(FluentReduce).i1x = function () {
-    return this.x56_1;
+    return this.e57_1;
   };
-  protoOf(FluentReduce).z56 = function () {
+  protoOf(FluentReduce).g57 = function () {
     var tmp = KProperty1;
-    return this.y56_1.getValue(this, getPropertyCallableRef('R', 1, tmp, FluentReduce$_get_R_$ref_ypb4y4(), null));
+    return this.f57_1.getValue(this, getPropertyCallableRef('R', 1, tmp, FluentReduce$_get_R_$ref_ypb4y4(), null));
   };
-  protoOf(FluentReduce).h2o = function (_this__u8e3s4) {
+  protoOf(FluentReduce).p2o = function (_this__u8e3s4) {
     return _this__u8e3s4.atomOf('!');
   };
   function _get_Type__cwwv8x($this) {
     var tmp = KProperty1;
-    return $this.j57_1.getValue($this, getPropertyCallableRef('Type', 1, tmp, NewObject2$_get_Type_$ref_gxw6of(), null));
+    return $this.q57_1.getValue($this, getPropertyCallableRef('Type', 1, tmp, NewObject2$_get_Type_$ref_gxw6of(), null));
   }
   function _get_Instance__cwfjuy($this) {
     var tmp = KProperty1;
-    return $this.k57_1.getValue($this, getPropertyCallableRef('Instance', 1, tmp, NewObject2$_get_Instance_$ref_jt2xca(), null));
+    return $this.r57_1.getValue($this, getPropertyCallableRef('Instance', 1, tmp, NewObject2$_get_Instance_$ref_jt2xca(), null));
   }
   function NewObject2$_get_Type_$ref_gxw6of() {
     return constructCallableReference(function (p0) {
       return _get_Type__cwwv8x(p0);
-    }, 1, 0, 151);
+    }, 1, 0, 152);
   }
   function NewObject2$_get_Instance_$ref_jt2xca() {
     return constructCallableReference(function (p0) {
       return _get_Instance__cwfjuy(p0);
-    }, 1, 0, 152);
+    }, 1, 0, 153);
   }
   function NewObject2() {
     NewObject2_instance = this;
     // 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.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;
+    this.p57_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.q57_1 = this.z21_1;
+    this.r57_1 = this.z21_1;
   }
   protoOf(NewObject2).i1x = function () {
-    return this.i57_1;
+    return this.p57_1;
   };
-  protoOf(NewObject2).g2o = function (_this__u8e3s4) {
+  protoOf(NewObject2).o2o = function (_this__u8e3s4) {
     return listOf([_get_Type__cwwv8x(this), _get_Instance__cwfjuy(this)]);
   };
-  protoOf(NewObject2).h2o = function (_this__u8e3s4) {
+  protoOf(NewObject2).p2o = 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.m12(), _get_Instance__cwfjuy(this)]);
+    return _this__u8e3s4.structOf(tmp$ret$0, [_get_Type__cwwv8x(this), _this__u8e3s4.l12(), _get_Instance__cwfjuy(this)]);
   };
   var NewObject2_instance;
   function NewObject2_getInstance() {
@@ -3297,43 +3295,43 @@
   }
   function _get_B1__ndb8zg($this) {
     var tmp = KProperty1;
-    return $this.r57_1.getValue($this, getPropertyCallableRef('B1', 1, tmp, PropertyReduce$Recursive$_get_B1_$ref_kiryiu(), null));
+    return $this.y57_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.s57_1.getValue($this, getPropertyCallableRef('C', 1, tmp, PropertyReduce$Recursive$_get_C_$ref_epsz1a(), null));
+    return $this.z57_1.getValue($this, getPropertyCallableRef('C', 1, tmp, PropertyReduce$Recursive$_get_C_$ref_epsz1a(), null));
   }
   function _get_O__7mlo0y($this) {
     var tmp = KProperty1;
-    return $this.t57_1.getValue($this, getPropertyCallableRef('O', 1, tmp, PropertyReduce$Recursive$_get_O_$ref_919iay(), null));
+    return $this.a58_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.u57_1.getValue($this, getPropertyCallableRef('P', 1, tmp, PropertyReduce$Recursive$_get_P_$ref_8k7vwr(), null));
+    return $this.b58_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) {
       return _get_B1__ndb8zg(p0);
-    }, 1, 0, 153);
+    }, 1, 0, 154);
   }
   function PropertyReduce$Recursive$_get_C_$ref_epsz1a() {
     return constructCallableReference(function (p0) {
       return _get_C__7mlnqm_0(p0);
-    }, 1, 0, 154);
+    }, 1, 0, 155);
   }
   function PropertyReduce$Recursive$_get_O_$ref_919iay() {
     return constructCallableReference(function (p0) {
       return _get_O__7mlo0y(p0);
-    }, 1, 0, 155);
+    }, 1, 0, 156);
   }
   function PropertyReduce$Recursive$_get_P_$ref_8k7vwr() {
     return constructCallableReference(function (p0) {
       return _get_P__7mlo1t_2(p0);
-    }, 1, 0, 156);
+    }, 1, 0, 157);
   }
   function Companion_9() {
-    this.v57_1 = 'property_reduce';
-    this.w57_1 = 3;
+    this.c58_1 = 'property_reduce';
+    this.d58_1 = 3;
   }
   var Companion_instance_17;
   function Companion_getInstance_20() {
@@ -3342,19 +3340,19 @@
   function Recursive_0() {
     Recursive_instance_0 = this;
     PropertyReduce.call(this);
-    this.r57_1 = this.y21_1;
-    this.s57_1 = this.y21_1;
-    this.t57_1 = this.y21_1;
-    this.u57_1 = this.y21_1;
+    this.y57_1 = this.z21_1;
+    this.z57_1 = this.z21_1;
+    this.a58_1 = this.z21_1;
+    this.b58_1 = this.z21_1;
   }
-  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).o2o = function (_this__u8e3s4) {
+    return listOf([_this__u8e3s4.n12([this.k58(), this.l58()], _get_C__7mlnqm_0(this)), _get_O__7mlo0y(this), _get_P__7mlo1t_2(this)]);
   };
-  protoOf(Recursive_0).h2o = function (_this__u8e3s4) {
+  protoOf(Recursive_0).p2o = 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.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)])]);
+    return _this__u8e3s4.tupleOf([tmp, _this__u8e3s4.structOf(tmp$ret$0, [this.k58(), this.l58(), _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 +3364,8 @@
     Base_instance = this;
     PropertyReduce.call(this);
   }
-  protoOf(Base).g2o = function (_this__u8e3s4) {
-    return listOf([_this__u8e3s4.consOf(this.d58(), this.e58()), this.d58(), this.e58()]);
+  protoOf(Base).o2o = function (_this__u8e3s4) {
+    return listOf([_this__u8e3s4.consOf(this.k58(), this.l58()), this.k58(), this.l58()]);
   };
   var Base_instance;
   function Base_getInstance() {
@@ -3377,32 +3375,32 @@
   }
   function PropertyReduce$_get_A_$ref_14cvqu() {
     return constructCallableReference(function (p0) {
-      return p0.d58();
-    }, 1, 0, 157);
+      return p0.k58();
+    }, 1, 0, 158);
   }
   function PropertyReduce$_get_B_$ref_1lei51() {
     return constructCallableReference(function (p0) {
-      return p0.e58();
-    }, 1, 0, 158);
+      return p0.l58();
+    }, 1, 0, 159);
   }
   function PropertyReduce() {
     RuleWrapper_init_$Init$('property_reduce', 3, VOID, this);
-    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;
+    this.h58_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.i58_1 = this.z21_1;
+    this.j58_1 = this.z21_1;
   }
   protoOf(PropertyReduce).i1x = function () {
-    return this.a58_1;
+    return this.h58_1;
   };
-  protoOf(PropertyReduce).d58 = function () {
+  protoOf(PropertyReduce).k58 = function () {
     var tmp = KProperty1;
-    return this.b58_1.getValue(this, getPropertyCallableRef('A', 1, tmp, PropertyReduce$_get_A_$ref_14cvqu(), null));
+    return this.i58_1.getValue(this, getPropertyCallableRef('A', 1, tmp, PropertyReduce$_get_A_$ref_14cvqu(), null));
   };
-  protoOf(PropertyReduce).e58 = function () {
+  protoOf(PropertyReduce).l58 = function () {
     var tmp = KProperty1;
-    return this.c58_1.getValue(this, getPropertyCallableRef('B', 1, tmp, PropertyReduce$_get_B_$ref_1lei51(), null));
+    return this.j58_1.getValue(this, getPropertyCallableRef('B', 1, tmp, PropertyReduce$_get_B_$ref_1lei51(), null));
   };
-  protoOf(PropertyReduce).h2o = function (_this__u8e3s4) {
+  protoOf(PropertyReduce).p2o = function (_this__u8e3s4) {
     return _this__u8e3s4.atomOf('!');
   };
   function get_platformSpecificAliases() {
@@ -3423,11 +3421,11 @@
     _init_properties_TypeUtilsJs_kt__53l6dq();
     throw get_TODO_EXCEPTION();
   }
-  function get_name(_this__u8e3s4) {
+  function get_fullName(_this__u8e3s4) {
     _init_properties_TypeUtilsJs_kt__53l6dq();
     throw get_TODO_EXCEPTION();
   }
-  function get_fullName(_this__u8e3s4) {
+  function get_name(_this__u8e3s4) {
     _init_properties_TypeUtilsJs_kt__53l6dq();
     throw get_TODO_EXCEPTION();
   }
@@ -3437,7 +3435,7 @@
   }
   function get_companionObjectRef(_this__u8e3s4) {
     _init_properties_TypeUtilsJs_kt__53l6dq();
-    return Companion_instance.mr();
+    return Companion_instance.kr();
   }
   function kClassFromName(qualifiedName) {
     _init_properties_TypeUtilsJs_kt__53l6dq();
@@ -3447,8 +3445,8 @@
       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.yb().x(1)).xb_1;
-    var packageSteps = split(ensureNotNull(match.yb().x(2)).xb_1, charArrayOf([_Char___init__impl__6a9atx(46)]));
+    var module_0 = ensureNotNull(match.yb().t(1)).xb_1;
+    var packageSteps = split(ensureNotNull(match.yb().t(2)).xb_1, charArrayOf([_Char___init__impl__6a9atx(46)]));
     var kClass = require(module_0);
     // Inline function 'kotlin.let' call
     var it = packageSteps.n();
@@ -3460,9 +3458,9 @@
       var tmp_0 = Companion_instance;
       // Inline function 'kotlin.js.unsafeCast' call
       var tmp$ret$4 = kClass;
-      tmp = tmp_0.yt(get_kotlin(tmp$ret$4));
+      tmp = tmp_0.xt(get_kotlin(tmp$ret$4));
     } else {
-      tmp = Companion_instance.mr();
+      tmp = Companion_instance.kr();
     }
     return tmp;
   }
@@ -3501,12 +3499,12 @@
     }
   }
   //region block: post-declaration
-  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;
+  protoOf(NullRefImpl).m51 = get_object;
+  protoOf(NullRefImpl).n51 = invoke;
+  protoOf(NullRefImpl).o51 = assign;
+  protoOf(TermToObjectConverterImpl).k52 = convert;
+  protoOf(TypeFactoryImpl).n52 = typeRefFromName;
+  protoOf(TypeRefImpl).o52 = create;
   //endregion
   //region block: init
   Companion_instance_9 = new Companion_1();