@tuprolog/2p-full 2.0.5 → 3.0.0

package/2p-oop-lib.js

@@ -1,13 +1,3525 @@
 (function (factory) {
   if (typeof define === 'function' && define.amd)
-    define(['exports'], factory);
+    define(['exports', './kotlin-kotlin-stdlib.js', './kt-math.js', './2p-solve.js', './2p-core.js', './2p-utils.js', './2p-unify.js'], factory);
   else if (typeof exports === 'object')
-    factory(module.exports);
-  else
-    globalThis['2p-oop-lib'] = factory(typeof globalThis['2p-oop-lib'] === 'undefined' ? {} : globalThis['2p-oop-lib']);
-}(function (_) {
+    factory(module.exports, require('./kotlin-kotlin-stdlib.js'), require('./kt-math.js'), require('./2p-solve.js'), require('./2p-core.js'), require('./2p-utils.js'), require('./2p-unify.js'));
+  else {
+    if (typeof globalThis['kotlin-kotlin-stdlib'] === 'undefined') {
+      throw new Error("Error loading module '2p-oop-lib'. Its dependency 'kotlin-kotlin-stdlib' was not found. Please, check whether 'kotlin-kotlin-stdlib' is loaded prior to '2p-oop-lib'.");
+    }
+    if (typeof globalThis['kt-math'] === 'undefined') {
+      throw new Error("Error loading module '2p-oop-lib'. Its dependency 'kt-math' was not found. Please, check whether 'kt-math' is loaded prior to '2p-oop-lib'.");
+    }
+    if (typeof globalThis['2p-solve'] === 'undefined') {
+      throw new Error("Error loading module '2p-oop-lib'. Its dependency '2p-solve' was not found. Please, check whether '2p-solve' is loaded prior to '2p-oop-lib'.");
+    }
+    if (typeof globalThis['2p-core'] === 'undefined') {
+      throw new Error("Error loading module '2p-oop-lib'. Its dependency '2p-core' was not found. Please, check whether '2p-core' is loaded prior to '2p-oop-lib'.");
+    }
+    if (typeof globalThis['2p-utils'] === 'undefined') {
+      throw new Error("Error loading module '2p-oop-lib'. Its dependency '2p-utils' was not found. Please, check whether '2p-utils' is loaded prior to '2p-oop-lib'.");
+    }
+    if (typeof globalThis['2p-unify'] === 'undefined') {
+      throw new Error("Error loading module '2p-oop-lib'. Its dependency '2p-unify' was not found. Please, check whether '2p-unify' is loaded prior to '2p-oop-lib'.");
+    }
+    globalThis['2p-oop-lib'] = factory(typeof globalThis['2p-oop-lib'] === 'undefined' ? {} : globalThis['2p-oop-lib'], globalThis['kotlin-kotlin-stdlib'], globalThis['kt-math'], globalThis['2p-solve'], globalThis['2p-core'], globalThis['2p-utils'], globalThis['2p-unify']);
+  }
+}(function (_, kotlin_kotlin, kotlin_io_github_gciatto_kt_math, kotlin_it_unibo_tuprolog_solve, kotlin_it_unibo_tuprolog_core, kotlin_it_unibo_tuprolog_utils, kotlin_it_unibo_tuprolog_unify) {
   'use strict';
+  //region block: imports
+  var NullPointerException_init_$Create$ = kotlin_kotlin.$_$.t1;
+  var protoOf = kotlin_kotlin.$_$.s8;
+  var initMetadataForInterface = kotlin_kotlin.$_$.e8;
+  var VOID = kotlin_kotlin.$_$.b;
+  var PrimitiveClasses_getInstance = kotlin_kotlin.$_$.o;
+  var KtList = kotlin_kotlin.$_$.e2;
+  var getKClass = kotlin_kotlin.$_$.q9;
+  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 arrayConcat = kotlin_kotlin.$_$.a;
+  var listOf = kotlin_kotlin.$_$.h4;
+  var Signature = kotlin_it_unibo_tuprolog_solve.$_$.l4;
+  var to = kotlin_kotlin.$_$.we;
+  var mapOf = kotlin_kotlin.$_$.k4;
+  var AbstractLibrary = kotlin_it_unibo_tuprolog_solve.$_$.w2;
+  var collectionSizeOrDefault = kotlin_kotlin.$_$.w2;
+  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.t;
+  var Unit_instance = kotlin_kotlin.$_$.r;
+  var toMap = kotlin_kotlin.$_$.y5;
+  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;
+  var Specifier_FX_getInstance = kotlin_it_unibo_tuprolog_core.$_$.a;
+  var OperatorSet_init_$Create$ = kotlin_it_unibo_tuprolog_core.$_$.j1;
+  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 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 Companion_instance = kotlin_it_unibo_tuprolog_utils.$_$.e;
+  var contains = kotlin_kotlin.$_$.x2;
+  var listOf_0 = kotlin_kotlin.$_$.g4;
+  var checkIndexOverflow = kotlin_kotlin.$_$.v2;
+  var copyToArray = kotlin_kotlin.$_$.g3;
+  var toString_0 = kotlin_kotlin.$_$.v8;
+  var trimMargin = kotlin_kotlin.$_$.nd;
+  var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.j1;
+  var setOf = kotlin_kotlin.$_$.g5;
+  var Companion_instance_0 = kotlin_it_unibo_tuprolog_core.$_$.z;
+  var format = kotlin_it_unibo_tuprolog_core.$_$.c3;
+  var captureStack = kotlin_kotlin.$_$.j7;
+  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 toString_1 = kotlin_kotlin.$_$.h;
+  var substring = kotlin_kotlin.$_$.ad;
+  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 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 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 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 Integer = kotlin_it_unibo_tuprolog_core.$_$.u1;
+  var sequenceOf_0 = kotlin_kotlin.$_$.za;
+  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 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;
+  var Functional = kotlin_it_unibo_tuprolog_solve.$_$.i3;
+  var Companion_instance_4 = kotlin_it_unibo_tuprolog_solve.$_$.d1;
+  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 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 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 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 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;
+  var KtSet = kotlin_kotlin.$_$.g2;
+  var NonBacktrackable_0 = kotlin_it_unibo_tuprolog_solve.$_$.o3;
+  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 _Char___init__impl__6a9atx = kotlin_kotlin.$_$.c;
+  var split = kotlin_kotlin.$_$.tc;
+  var get_kotlin = kotlin_kotlin.$_$.m8;
+  var NotImplementedError = kotlin_kotlin.$_$.ae;
+  var Regex_init_$Create$ = kotlin_kotlin.$_$.z;
+  //endregion
   //region block: pre-declaration
+  initMetadataForInterface(Ref, 'Ref', VOID, VOID, [Atom]);
+  initMetadataForInterface(ObjectRef, 'ObjectRef', VOID, VOID, [Ref]);
+  function get_object() {
+    throw NullPointerException_init_$Create$();
+  }
+  function invoke(objectConverter, methodName, arguments_0) {
+    throw NullPointerException_init_$Create$();
+  }
+  function assign(objectConverter, propertyName, value) {
+    throw NullPointerException_init_$Create$();
+  }
+  initMetadataForInterface(NullRef, 'NullRef', VOID, VOID, [ObjectRef]);
+  initMetadataForObject(OOPLib, 'OOPLib', VOID, AbstractLibrary);
+  initMetadataForCompanion(Companion);
+  initMetadataForCompanion(Companion_0);
+  initMetadataForCompanion(Companion_1);
+  initMetadataForClass(Result, 'Result');
+  initMetadataForClass(Value, 'Value', VOID, Result);
+  initMetadataForCompanion(Companion_2);
+  function convert(term) {
+    return this.convertInto_62bmhg_k$(this.mostAdequateType_bmnk7m_k$(term), term);
+  }
+  initMetadataForInterface(TermToObjectConverter, 'TermToObjectConverter');
+  initMetadataForCompanion(Companion_3);
+  function typeRefFromName(typeName) {
+    var tmp = Companion_instance.of_f8fyqr_k$(this.typeFromName_xpqoph_k$(typeName));
+    return tmp.map_nscup_k$(TypeFactory$typeRefFromName$lambda).get_value_j01efc_k$();
+  }
+  initMetadataForInterface(TypeFactory, 'TypeFactory');
+  initMetadataForCompanion(Companion_4);
+  function create(objectConverter, arguments_0) {
+    return this.create_1rher4_k$(objectConverter, listOf(arguments_0.slice()));
+  }
+  initMetadataForInterface(TypeRef, 'TypeRef', VOID, VOID, [Ref]);
+  initMetadataForClass(OopException, 'OopException', VOID, TuPrologException);
+  initMetadataForClass(MalformedAliasException, 'MalformedAliasException', VOID, OopException);
+  initMetadataForClass(NoSuchAnAliasException, 'NoSuchAnAliasException', VOID, OopException);
+  initMetadataForCompanion(Companion_5);
+  initMetadataForClass(TermToObjectConversionException, 'TermToObjectConversionException', VOID, OopException);
+  initMetadataForObject(NullRefImpl, 'NullRefImpl', VOID, VOID, [NullRef, Atom]);
+  initMetadataForClass(ObjectRefImpl, 'ObjectRefImpl', VOID, VOID, [ObjectRef, Atom]);
+  initMetadataForClass(ObjectToTermConverterImpl, 'ObjectToTermConverterImpl', ObjectToTermConverterImpl);
+  initMetadataForClass(TermToObjectConverterImpl, 'TermToObjectConverterImpl', VOID, VOID, [TermToObjectConverter]);
+  initMetadataForClass(TypeFactoryImpl, 'TypeFactoryImpl', TypeFactoryImpl, VOID, [TypeFactory]);
+  initMetadataForCompanion(Companion_6);
+  initMetadataForClass(TypeRefImpl, 'TypeRefImpl', VOID, VOID, [TypeRef, Atom]);
+  initMetadataForClass(AbstractInvoke, 'AbstractInvoke', VOID, Functional);
+  initMetadataForClass(AbstractIterableItems, 'AbstractIterableItems', VOID, Functional_0);
+  initMetadataForObject(ArrayItems, 'ArrayItems', VOID, AbstractIterableItems);
+  initMetadataForObject(Assign, 'Assign', VOID, Predicative);
+  initMetadataForObject(Cast, 'Cast', VOID, TernaryRelation);
+  initMetadataForObject(InvokeMethod, 'InvokeMethod', VOID, AbstractInvoke);
+  initMetadataForObject(InvokeStrict, 'InvokeStrict', VOID, AbstractInvoke);
+  initMetadataForObject(ListItems, 'ListItems', VOID, AbstractIterableItems);
+  initMetadataForObject(NewObject3, 'NewObject3', VOID, Functional);
+  initMetadataForObject(NullRef_0, 'NullRef', VOID, TypeTester);
+  initMetadataForObject(ObjectRef_0, 'ObjectRef', VOID, TypeTester);
+  initMetadataForObject(Ref_0, 'Ref', VOID, TypeTester);
+  initMetadataForObject(Register, 'Register', VOID, NonBacktrackable);
+  initMetadataForObject(SetItems, 'SetItems', VOID, AbstractIterableItems);
+  initMetadataForObject(Type, 'Type', VOID, Functional_0);
+  initMetadataForObject(TypeRef_0, 'TypeRef', VOID, TypeTester);
+  initMetadataForObject(Unregister, 'Unregister', VOID, NonBacktrackable_0);
+  initMetadataForCompanion(Companion_7);
+  initMetadataForClass(Alias, 'Alias', VOID, RuleWrapper);
+  initMetadataForClass(ColonEquals, 'ColonEquals', VOID, RuleWrapper);
+  initMetadataForObject(Cast_0, 'Cast', VOID, ColonEquals);
+  initMetadataForObject(Invocation, 'Invocation', VOID, ColonEquals);
+  initMetadataForObject(Assignment, 'Assignment', VOID, ColonEquals);
+  initMetadataForObject(Dot, 'Dot', VOID, RuleWrapper);
+  initMetadataForCompanion(Companion_8);
+  initMetadataForClass(FluentReduce, 'FluentReduce', VOID, RuleWrapper);
+  initMetadataForObject(Recursive, 'Recursive', VOID, FluentReduce);
+  initMetadataForObject(Couple, 'Couple', VOID, FluentReduce);
+  initMetadataForObject(Trivial, 'Trivial', VOID, FluentReduce);
+  initMetadataForObject(NewObject2, 'NewObject2', VOID, RuleWrapper);
+  initMetadataForCompanion(Companion_9);
+  initMetadataForClass(PropertyReduce, 'PropertyReduce', VOID, RuleWrapper);
+  initMetadataForObject(Recursive_0, 'Recursive', VOID, PropertyReduce);
+  initMetadataForObject(Base, 'Base', VOID, PropertyReduce);
+  //endregion
+  function NullRef() {
+  }
+  function _get_ruleWrappers__mybpf3($this) {
+    return listOf(arrayConcat([[Cast_getInstance_0(), Invocation_getInstance(), Assignment_getInstance(), Dot_getInstance(), Recursive_getInstance(), Couple_getInstance(), Trivial_getInstance(), NewObject2_getInstance(), Recursive_getInstance_0(), Base_getInstance(), Companion_instance_15.forType_lwe2s5_k$('string', PrimitiveClasses_getInstance().get_stringClass_bik2gy_k$()), Companion_instance_15.forType_lwe2s5_k$('array', PrimitiveClasses_getInstance().get_arrayClass_udg0fc_k$()), Companion_instance_15.forType_lwe2s5_k$('list', getKClass(KtList)), Companion_instance_15.forType_lwe2s5_k$('arraylist', getKClass(ArrayList)), Companion_instance_15.forType_lwe2s5_k$('map', getKClass(KtMap)), Companion_instance_15.forType_lwe2s5_k$('hashmap', getKClass(LinkedHashMap)), Companion_instance_15.forType_lwe2s5_k$('int', PrimitiveClasses_getInstance().get_intClass_mw4y9a_k$()), Companion_instance_15.forType_lwe2s5_k$('integer', PrimitiveClasses_getInstance().get_intClass_mw4y9a_k$()), Companion_instance_15.forType_lwe2s5_k$('double', PrimitiveClasses_getInstance().get_doubleClass_dahzcy_k$()), Companion_instance_15.forType_lwe2s5_k$('float', PrimitiveClasses_getInstance().get_floatClass_xlwq2t_k$()), Companion_instance_15.forType_lwe2s5_k$('long', PrimitiveClasses_getInstance().get_longClass_a79cj7_k$()), Companion_instance_15.forType_lwe2s5_k$('short', PrimitiveClasses_getInstance().get_shortClass_5ajsv9_k$()), Companion_instance_15.forType_lwe2s5_k$('byte', PrimitiveClasses_getInstance().get_byteClass_pu7s61_k$()), Companion_instance_15.forType_lwe2s5_k$('char', getKClass(Char)), Companion_instance_15.forType_lwe2s5_k$('bool', PrimitiveClasses_getInstance().get_booleanClass_d285fr_k$()), Companion_instance_15.forType_lwe2s5_k$('boolean', PrimitiveClasses_getInstance().get_booleanClass_d285fr_k$()), Companion_instance_15.forType_lwe2s5_k$('any', PrimitiveClasses_getInstance().get_anyClass_x0jl4l_k$()), Companion_instance_15.forType_lwe2s5_k$('nothing', PrimitiveClasses_getInstance().get_nothingClass_7ivpcc_k$()), Companion_instance_15.forType_lwe2s5_k$('big_integer', getKClass(BigInteger)), Companion_instance_15.forType_lwe2s5_k$('big_decimal', getKClass(BigDecimal))], get_platformSpecificAliases()]));
+  }
+  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```")]);
+  }
+  function OOPLib() {
+    OOPLib_instance = this;
+    AbstractLibrary.call(this);
+    this.help_1 = "`library('prolog.oop')`\n\nBridges Prolog with the JVM/Kotlin object world via reflection: Prolog code can create objects, call their (possibly overloaded) methods and constructors, read and write their properties, and convert values back and forth. Objects and classes are represented by opaque reference terms (see `object_ref/1`, `type_ref/1`, `null_ref/1`); Prolog atoms, numbers and booleans are converted automatically to and from strings, numbers and booleans.\n\nMain entry points are `new_object/2,3` (instantiation), `invoke_method/3` and `invoke_strict/3` (method calls), `assign/3` (property writes), `cast/3` and `type/2` (types and conversions), `array_items/2`, `list_items/2` and `set_items/2` (collections), and `register/2`/`unregister/1` (aliases, see `alias/2`).\n\nThe operators `./2` (method call or property read, chainable), `:=/2` (capture a result or assign a property), `as/2` (explicit conversion) and `$/1` (alias reference, e.g. `$stdout`) provide a fluent syntax on top of these predicates. Example: `new_object('java.util.ArrayList', [], L), L.add(1 as 'java.lang.Long'), N := L.size, $stdout.println(N)`. Reflective invocation is only available on the JVM.";
+  }
+  protoOf(OOPLib).get_alias_iooo4n_k$ = function () {
+    return 'prolog.oop';
+  };
+  protoOf(OOPLib).get_help_won7nu_k$ = function () {
+    return this.help_1;
+  };
+  protoOf(OOPLib).get_primitives_xl08ol_k$ = function () {
+    // Inline function 'kotlin.collections.map' call
+    var this_0 = listOf([ArrayItems_getInstance(), Assign_getInstance(), Cast_getInstance(), Type_getInstance(), InvokeMethod_getInstance(), InvokeStrict_getInstance(), ListItems_getInstance(), NewObject3_getInstance(), NullRef_getInstance(), ObjectRef_getInstance(), Ref_getInstance(), Register_getInstance(), SetItems_getInstance(), TypeRef_getInstance(), Unregister_getInstance()]);
+    // Inline function 'kotlin.collections.mapTo' call
+    var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
+    var _iterator__ex2g4s = this_0.iterator_jk1svi_k$();
+    while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
+      var item = _iterator__ex2g4s.next_20eer_k$();
+      // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.descriptionPair' call
+      var tmp$ret$2 = to(item.signature, item.get_wrappedImplementation_qo1fgy_k$());
+      destination.add_utx5q5_k$(tmp$ret$2);
+    }
+    return toMap(destination);
+  };
+  protoOf(OOPLib).get_clauses_fdta0r_k$ = function () {
+    // Inline function 'kotlin.collections.map' call
+    var this_0 = _get_ruleWrappers__mybpf3(this);
+    // Inline function 'kotlin.collections.mapTo' call
+    var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
+    var _iterator__ex2g4s = this_0.iterator_jk1svi_k$();
+    while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
+      var item = _iterator__ex2g4s.next_20eer_k$();
+      var tmp$ret$2 = item.get_wrappedImplementation_qo1fgy_k$();
+      destination.add_utx5q5_k$(tmp$ret$2);
+    }
+    return destination;
+  };
+  protoOf(OOPLib).get_operators_z0nmfu_k$ = function () {
+    return OperatorSet_init_$Create$([new Operator('.', Specifier_XFY_getInstance(), 800), new Operator(':=', Specifier_XFX_getInstance(), 850), new Operator('as', Specifier_XFX_getInstance(), 200), new Operator('$', Specifier_FX_getInstance(), 100)]);
+  };
+  protoOf(OOPLib).get_documentation_p1cqdt_k$ = function () {
+    return mergeDocumentation([protoOf(AbstractLibrary).get_documentation_p1cqdt_k$.call(this), documentationOf(asSequence(_get_ruleWrappers__mybpf3(this))), _get_operatorDocumentation__vy55az(this)]);
+  };
+  var OOPLib_instance;
+  function OOPLib_getInstance() {
+    if (OOPLib_instance == null)
+      new OOPLib();
+    return OOPLib_instance;
+  }
+  function nameOf($this, type, identifier) {
+    return '<object:' + get_fullName(type) + '#' + identifier + '>';
+  }
+  function Companion() {
+    Companion_instance_7 = this;
+    this.NULL_1 = NullRefImpl_getInstance();
+  }
+  protoOf(Companion).nameOf_kdy799_k$ = function (any) {
+    return any == null ? nameOf(this, PrimitiveClasses_getInstance().get_nothingClass_7ivpcc_k$(), 'null') : nameOf(this, getKClassFromExpression(any), get_identifier(any));
+  };
+  protoOf(Companion).of_u40ndk_k$ = function (any) {
+    return any == null ? this.NULL_1 : new ObjectRefImpl(any);
+  };
+  var Companion_instance_7;
+  function Companion_getInstance_10() {
+    if (Companion_instance_7 == null)
+      new Companion();
+    return Companion_instance_7;
+  }
+  function ObjectRef() {
+  }
+  function Companion_0() {
+    Companion_instance_8 = this;
+    this.default_1 = new ObjectToTermConverterImpl();
+  }
+  var Companion_instance_8;
+  function Companion_getInstance_11() {
+    if (Companion_instance_8 == null)
+      new Companion_0();
+    return Companion_instance_8;
+  }
+  function Companion_1() {
+  }
+  protoOf(Companion_1).of_m6gyn8_k$ = function (type, termToObjectConverter) {
+    return overloadSelector(type, termToObjectConverter);
+  };
+  var Companion_instance_9;
+  function Companion_getInstance_12() {
+    return Companion_instance_9;
+  }
+  function Ref() {
+  }
+  function _get_termValue__ikgccs($this) {
+    var tmp0 = $this.termValue$delegate_1;
+    var tmp = KProperty1;
+    // Inline function 'kotlin.getValue' call
+    getPropertyCallableRef('termValue', 1, tmp, Result$Value$_get_termValue_$ref_u3cirl(), null);
+    return tmp0.get_value_j01efc_k$();
+  }
+  function _get_objectRef__3zhern($this) {
+    var tmp0 = $this.objectRef$delegate_1;
+    var tmp = KProperty1;
+    // Inline function 'kotlin.getValue' call
+    getPropertyCallableRef('objectRef', 1, tmp, Result$Value$_get_objectRef_$ref_8a6ozy(), null);
+    return tmp0.get_value_j01efc_k$();
+  }
+  function Result$Value$termValue$delegate$lambda(this$0) {
+    return function () {
+      return Companion_getInstance_11().default_1.convert_2fnsng_k$(this$0.value_1);
+    };
+  }
+  function Result$Value$_get_termValue_$ref_u3cirl() {
+    return constructCallableReference(function (p0) {
+      return _get_termValue__ikgccs(p0);
+    }, 1, 0, 130);
+  }
+  function Result$Value$objectRef$delegate$lambda(this$0) {
+    return function () {
+      // Inline function 'kotlin.let' call
+      var it = _get_termValue__ikgccs(this$0);
+      var tmp;
+      if (isInterface(it, ObjectRef)) {
+        tmp = it;
+      } else {
+        tmp = Companion_getInstance_10().of_u40ndk_k$(this$0.value_1);
+      }
+      return tmp;
+    };
+  }
+  function Result$Value$_get_objectRef_$ref_8a6ozy() {
+    return constructCallableReference(function (p0) {
+      return _get_objectRef__3zhern(p0);
+    }, 1, 0, 131);
+  }
+  function Value(value) {
+    Result.call(this);
+    this.value_1 = value;
+    var tmp = this;
+    tmp.termValue$delegate_1 = lazy(Result$Value$termValue$delegate$lambda(this));
+    var tmp_0 = this;
+    tmp_0.objectRef$delegate_1 = lazy(Result$Value$objectRef$delegate$lambda(this));
+  }
+  protoOf(Value).toTerm_edaxrt_k$ = function () {
+    return _get_termValue__ikgccs(this);
+  };
+  protoOf(Value).toTerm = function () {
+    return this.toTerm_edaxrt_k$();
+  };
+  protoOf(Value).asObjectRef_ji97lu_k$ = function () {
+    return _get_objectRef__3zhern(this);
+  };
+  protoOf(Value).toString = function () {
+    return 'Value(value=' + toString(this.value_1) + ')';
+  };
+  protoOf(Value).hashCode = function () {
+    return this.value_1 == null ? 0 : hashCode(this.value_1);
+  };
+  protoOf(Value).equals = function (other) {
+    if (this === other)
+      return true;
+    if (!(other instanceof Value))
+      return false;
+    if (!equals(this.value_1, other.value_1))
+      return false;
+    return true;
+  };
+  function Result() {
+  }
+  function TermToObjectConverter$Companion$of$lambda(it) {
+    return null;
+  }
+  function Companion_2() {
+    Companion_instance_10 = this;
+    this.default_1 = this.of$default_5ni81d_k$();
+  }
+  protoOf(Companion_2).of_77qmvk_k$ = function (typeFactory, dealiaser) {
+    return new TermToObjectConverterImpl(typeFactory, dealiaser);
+  };
+  protoOf(Companion_2).of$default_5ni81d_k$ = function (typeFactory, dealiaser, $super) {
+    typeFactory = typeFactory === VOID ? Companion_getInstance_14().default_1 : typeFactory;
+    var tmp;
+    if (dealiaser === VOID) {
+      tmp = TermToObjectConverter$Companion$of$lambda;
+    } else {
+      tmp = dealiaser;
+    }
+    dealiaser = tmp;
+    return $super === VOID ? this.of_77qmvk_k$(typeFactory, dealiaser) : $super.of_77qmvk_k$.call(this, typeFactory, dealiaser);
+  };
+  var Companion_instance_10;
+  function Companion_getInstance_13() {
+    if (Companion_instance_10 == null)
+      new Companion_2();
+    return Companion_instance_10;
+  }
+  function TermToObjectConverter() {
+  }
+  function Companion_3() {
+    Companion_instance_11 = this;
+    this.default_1 = new TypeFactoryImpl();
+  }
+  var Companion_instance_11;
+  function Companion_getInstance_14() {
+    if (Companion_instance_11 == null)
+      new Companion_3();
+    return Companion_instance_11;
+  }
+  function TypeFactory$typeRefFromName$lambda(it) {
+    return Companion_instance_12.of_7pw7zp_k$(it);
+  }
+  function TypeFactory() {
+  }
+  function Companion_4() {
+  }
+  protoOf(Companion_4).of_7pw7zp_k$ = function (type) {
+    return new TypeRefImpl(type);
+  };
+  var Companion_instance_12;
+  function Companion_getInstance_15() {
+    return Companion_instance_12;
+  }
+  function TypeRef() {
+  }
+  function get_PRIMITIVE_TYPES() {
+    _init_properties_TypeUtils_kt__wnsx0l();
+    return PRIMITIVE_TYPES;
+  }
+  var PRIMITIVE_TYPES;
+  function get_isPrimitiveType(_this__u8e3s4) {
+    _init_properties_TypeUtils_kt__wnsx0l();
+    return contains(get_PRIMITIVE_TYPES(), _this__u8e3s4);
+  }
+  function isSubtypeOf(_this__u8e3s4, other) {
+    _init_properties_TypeUtils_kt__wnsx0l();
+    return isSubtypeOf_0(_this__u8e3s4, other, false);
+  }
+  function create_0(_this__u8e3s4, objectConverter, arguments_0) {
+    _init_properties_TypeUtils_kt__wnsx0l();
+    var constructorRef = Companion_instance_9.of_m6gyn8_k$(_this__u8e3s4, objectConverter).findConstructor_3gpb1g_k$(arguments_0);
+    return callWithPrologArguments(constructorRef, objectConverter, arguments_0);
+  }
+  function invoke_0(_this__u8e3s4, objectConverter, methodName, arguments_0) {
+    _init_properties_TypeUtils_kt__wnsx0l();
+    return invoke_1(getKClassFromExpression(_this__u8e3s4), objectConverter, methodName, arguments_0, _this__u8e3s4);
+  }
+  function invoke_1(_this__u8e3s4, objectConverter, methodName, arguments_0, instance) {
+    _init_properties_TypeUtils_kt__wnsx0l();
+    var methodRef = Companion_instance_9.of_m6gyn8_k$(_this__u8e3s4, objectConverter).findMethod_jqoe5h_k$(methodName, arguments_0);
+    return callWithPrologArguments(methodRef, objectConverter, arguments_0, instance);
+  }
+  function assign_0(_this__u8e3s4, objectConverter, propertyName, value) {
+    _init_properties_TypeUtils_kt__wnsx0l();
+    return assign_1(getKClassFromExpression(_this__u8e3s4), objectConverter, propertyName, value, _this__u8e3s4);
+  }
+  function assign_1(_this__u8e3s4, objectConverter, propertyName, value, instance) {
+    _init_properties_TypeUtils_kt__wnsx0l();
+    var setterRef = get_setterMethod(Companion_instance_9.of_m6gyn8_k$(_this__u8e3s4, objectConverter).findProperty_xjxstt_k$(propertyName, value));
+    return callWithPrologArguments(setterRef, objectConverter, listOf_0(value), instance);
+  }
+  function isSubtypeOf_0(_this__u8e3s4, other, strict) {
+    _init_properties_TypeUtils_kt__wnsx0l();
+    return isSupertypeOf(other, _this__u8e3s4, strict);
+  }
+  function callWithPrologArguments(_this__u8e3s4, converter, arguments_0, instance) {
+    instance = instance === VOID ? null : instance;
+    _init_properties_TypeUtils_kt__wnsx0l();
+    var formalArgumentsTypes = ensureArgumentsListIsOfSize(_this__u8e3s4, arguments_0);
+    // Inline function 'kotlin.collections.mapIndexed' call
+    // Inline function 'kotlin.collections.mapIndexedTo' call
+    var destination = ArrayList_init_$Create$(collectionSizeOrDefault(arguments_0, 10));
+    var index = 0;
+    var _iterator__ex2g4s = arguments_0.iterator_jk1svi_k$();
+    while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
+      var item = _iterator__ex2g4s.next_20eer_k$();
+      var _unary__edvuaz = index;
+      index = _unary__edvuaz + 1 | 0;
+      var i = checkIndexOverflow(_unary__edvuaz);
+      var tmp$ret$2 = converter.convertInto_62bmhg_k$(formalArgumentsTypes.get_c1px32_k$(i), item);
+      destination.add_utx5q5_k$(tmp$ret$2);
+    }
+    // Inline function 'kotlin.collections.toTypedArray' call
+    var args = copyToArray(destination);
+    return catchingPlatformSpecificException(_this__u8e3s4, instance, callWithPrologArguments$lambda(_this__u8e3s4, instance, args));
+  }
+  function isSupertypeOf(_this__u8e3s4, other, strict) {
+    _init_properties_TypeUtils_kt__wnsx0l();
+    var tmp0 = allSupertypes(other, strict);
+    var tmp$ret$0;
+    $l$block: {
+      // Inline function 'kotlin.sequences.any' call
+      var _iterator__ex2g4s = tmp0.iterator_jk1svi_k$();
+      while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
+        var element = _iterator__ex2g4s.next_20eer_k$();
+        if (element.equals(_this__u8e3s4)) {
+          tmp$ret$0 = true;
+          break $l$block;
+        }
+      }
+      tmp$ret$0 = false;
+    }
+    return tmp$ret$0;
+  }
+  function ensureArgumentsListIsOfSize(_this__u8e3s4, actualArguments) {
+    _init_properties_TypeUtils_kt__wnsx0l();
+    // Inline function 'kotlin.also' call
+    var this_0 = get_formalParameterTypes(_this__u8e3s4);
+    // Inline function 'kotlin.require' call
+    if (!(get_formalParameterTypes(_this__u8e3s4).get_size_woubt6_k$() === actualArguments.get_size_woubt6_k$())) {
+      var tmp = _this__u8e3s4.callableName;
+      // Inline function 'kotlin.collections.map' call
+      // Inline function 'kotlin.collections.mapTo' call
+      var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
+      var _iterator__ex2g4s = this_0.iterator_jk1svi_k$();
+      while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
+        var item = _iterator__ex2g4s.next_20eer_k$();
+        var tmp$ret$6 = get_name(item);
+        destination.add_utx5q5_k$(tmp$ret$6);
+      }
+      var message = trimMargin('\n            |\n            |Error while invoking ' + tmp + ' the expected argument types \n            |   ' + toString_0(destination) + ' \n            |are not as many as the as the actual parameters (' + this_0.get_size_woubt6_k$() + ' vs. ' + actualArguments.get_size_woubt6_k$() + '):\n            |   ' + toString_0(actualArguments) + '\n            |\n            ');
+      throw IllegalArgumentException_init_$Create$(toString_0(message));
+    }
+    return this_0;
+  }
+  function callWithPrologArguments$lambda($this_callWithPrologArguments, $instance, $args) {
+    return function () {
+      var result = invoke_2($this_callWithPrologArguments, $instance, $args.slice());
+      return new Value(result);
+    };
+  }
+  var properties_initialized_TypeUtils_kt_7pe6qv;
+  function _init_properties_TypeUtils_kt__wnsx0l() {
+    if (!properties_initialized_TypeUtils_kt_7pe6qv) {
+      properties_initialized_TypeUtils_kt_7pe6qv = true;
+      PRIMITIVE_TYPES = setOf([PrimitiveClasses_getInstance().get_longClass_a79cj7_k$(), PrimitiveClasses_getInstance().get_intClass_mw4y9a_k$(), PrimitiveClasses_getInstance().get_shortClass_5ajsv9_k$(), PrimitiveClasses_getInstance().get_byteClass_pu7s61_k$(), getKClass(Char), PrimitiveClasses_getInstance().get_doubleClass_dahzcy_k$(), PrimitiveClasses_getInstance().get_floatClass_xlwq2t_k$()]);
+    }
+  }
+  function MalformedAliasException(dealiasingExpression) {
+    OopException_init_$Init$('This is not a dealiasing expression `' + dealiasingExpression.toString() + '` in the form ' + format(get_DEALIASING_TEMPLATE(), Companion_instance_0.prettyExpressionsPrettyVariablesDefaultOperators()), VOID, this);
+    captureStack(this, MalformedAliasException);
+    this.dealiasingExpression_1 = dealiasingExpression;
+  }
+  protoOf(MalformedAliasException).toLogicError_fiiu4e_k$ = function (context, signature) {
+    var tmp = Companion_instance_1;
+    var tmp_0 = Expected_DEALIASING_EXPRESSION_getInstance();
+    var tmp_1 = this.get_culprit_jt6eim_k$();
+    var tmp_2 = signature.toIndicator().toString();
+    var tmp0_safe_receiver = this.message;
+    var tmp_3;
+    if (tmp0_safe_receiver == null) {
+      tmp_3 = null;
+    } else {
+      // Inline function 'kotlin.text.replaceFirstChar' call
+      var tmp_4;
+      // Inline function 'kotlin.text.isNotEmpty' call
+      if (charSequenceLength(tmp0_safe_receiver) > 0) {
+        // Inline function 'kotlin.text.lowercase' call
+        var this_0 = charCodeAt(tmp0_safe_receiver, 0);
+        // Inline function 'kotlin.js.asDynamic' call
+        // Inline function 'kotlin.js.unsafeCast' call
+        var tmp$ret$2 = toString_1(this_0).toLowerCase();
+        tmp_4 = toString_0(tmp$ret$2) + substring(tmp0_safe_receiver, 1);
+      } else {
+        tmp_4 = tmp0_safe_receiver;
+      }
+      tmp_3 = tmp_4;
+    }
+    return tmp.of(context, tmp_0, tmp_1, 'Error in ' + tmp_2 + ': ' + tmp_3);
+  };
+  protoOf(MalformedAliasException).get_culprit_jt6eim_k$ = function () {
+    return this.dealiasingExpression_1;
+  };
+  function NoSuchAnAliasException(dealiasingExpression) {
+    OopException_init_$Init$('There exists no reference whose alias is `' + dealiasingExpression.get(0).toString() + '`', VOID, this);
+    captureStack(this, NoSuchAnAliasException);
+    this.dealiasingExpression_1 = dealiasingExpression;
+    // Inline function 'kotlin.require' call
+    // Inline function 'kotlin.require' call
+    if (!Companion_getInstance().matches(this.dealiasingExpression_1, get_DEALIASING_TEMPLATE())) {
+      var message = 'Failed requirement.';
+      throw IllegalArgumentException_init_$Create$(toString_0(message));
+    }
+    var tmp = this.dealiasingExpression_1.get(0);
+    // Inline function 'kotlin.require' call
+    // Inline function 'kotlin.require' call
+    if (!isInterface(tmp, Struct)) {
+      var message_0 = 'Failed requirement.';
+      throw IllegalArgumentException_init_$Create$(toString_0(message_0));
+    }
+  }
+  protoOf(NoSuchAnAliasException).toLogicError_fiiu4e_k$ = function (context, signature) {
+    var tmp = Companion_instance_2;
+    var tmp_0 = ObjectType_OOP_ALIAS_getInstance();
+    var tmp_1 = this.get_culprit_jt6eim_k$();
+    var tmp0_elvis_lhs = this.message;
+    return tmp.of(context, tmp_0, tmp_1, tmp0_elvis_lhs == null ? '' : tmp0_elvis_lhs);
+  };
+  protoOf(NoSuchAnAliasException).get_culprit_jt6eim_k$ = function () {
+    return this.dealiasingExpression_1;
+  };
+  function OopException_init_$Init$(message, cause, $this) {
+    message = message === VOID ? null : message;
+    cause = cause === VOID ? null : cause;
+    TuPrologException_init_$Init$(message, cause, $this);
+    OopException.call($this);
+    return $this;
+  }
+  function Companion_5() {
+  }
+  var Companion_instance_13;
+  function Companion_getInstance_16() {
+    return Companion_instance_13;
+  }
+  function OopException() {
+    captureStack(this, OopException);
+  }
+  function TermToObjectConversionException_init_$Init$(term, $this) {
+    TermToObjectConversionException.call($this, term, null);
+    return $this;
+  }
+  function TermToObjectConversionException_init_$Create$(term) {
+    var tmp = TermToObjectConversionException_init_$Init$(term, objectCreate(protoOf(TermToObjectConversionException)));
+    captureStack(tmp, TermToObjectConversionException_init_$Create$);
+    return tmp;
+  }
+  function TermToObjectConversionException(term, targetType) {
+    targetType = targetType === VOID ? null : targetType;
+    var tmp;
+    if (targetType == null) {
+      tmp = null;
+    } else {
+      // Inline function 'kotlin.let' call
+      tmp = 'Term `' + term.toString() + '` cannot be converted into an object of type ' + get_fullName(targetType);
+    }
+    var tmp1_elvis_lhs = tmp;
+    OopException_init_$Init$(tmp1_elvis_lhs == null ? 'Term `' + term.toString() + '` cannot be converted into an object' : tmp1_elvis_lhs, VOID, this);
+    captureStack(this, TermToObjectConversionException);
+    this.term_1 = term;
+    this.targetType_1 = targetType;
+  }
+  protoOf(TermToObjectConversionException).toLogicError_fiiu4e_k$ = function (context, signature) {
+    return Companion_instance_3.of_nfh9rh_k$(context, signature, Limit_OOP_OBJECT_getInstance(), this);
+  };
+  function NullRefImpl() {
+    NullRefImpl_instance = this;
+    this.$$delegate_0__1 = Companion_getInstance_0().of(Companion_getInstance_10().nameOf_kdy799_k$(null));
+  }
+  protoOf(NullRefImpl).get_isConstant_scia2f_k$ = function () {
+    return true;
+  };
+  protoOf(NullRefImpl).asConstant_3hn112_k$ = function () {
+    return this;
+  };
+  protoOf(NullRefImpl).asConstant = function () {
+    return this.asConstant_3hn112_k$();
+  };
+  protoOf(NullRefImpl).freshCopy_fcm65_k$ = function () {
+    return this;
+  };
+  protoOf(NullRefImpl).freshCopy = function () {
+    return this.freshCopy_fcm65_k$();
+  };
+  protoOf(NullRefImpl).freshCopyFromScope_tnhsyi_k$ = function (scope) {
+    return this;
+  };
+  protoOf(NullRefImpl).freshCopyFromScope = function (scope) {
+    return this.freshCopyFromScope_tnhsyi_k$(scope);
+  };
+  protoOf(NullRefImpl).castTo_8vzplt_k$ = function () {
+    return isInterface(this, Term) ? this : THROW_CCE();
+  };
+  protoOf(NullRefImpl).castTo_mm7cm3_k$ = function () {
+    return this.castTo_8vzplt_k$();
+  };
+  protoOf(NullRefImpl).applySubstitution_t7osbf_k$ = function (substitution) {
+    return this;
+  };
+  protoOf(NullRefImpl).applySubstitution = function (substitution) {
+    return this.applySubstitution_t7osbf_k$(substitution);
+  };
+  protoOf(NullRefImpl).apply_jso7fw_k$ = function (substitution, substitutions) {
+    return this;
+  };
+  protoOf(NullRefImpl).apply = function (substitution, substitutions) {
+    return this.apply_jso7fw_k$(substitution, substitutions);
+  };
+  protoOf(NullRefImpl).getSubstituted_8310r6_k$ = function (substitution, substitutions) {
+    return this;
+  };
+  protoOf(NullRefImpl).getSubstituted = function (substitution, substitutions) {
+    return this.getSubstituted_8310r6_k$(substitution, substitutions);
+  };
+  protoOf(NullRefImpl).accept_bf9pe1_k$ = function (visitor) {
+    return visitor.visitAtom(this);
+  };
+  protoOf(NullRefImpl).accept = function (visitor) {
+    return this.accept_bf9pe1_k$(visitor);
+  };
+  protoOf(NullRefImpl).asAtom_nbael9_k$ = function () {
+    return this.$$delegate_0__1.asAtom_nbael9_k$();
+  };
+  protoOf(NullRefImpl).asAtom = function () {
+    return this.asAtom_nbael9_k$();
+  };
+  protoOf(NullRefImpl).get_arity_iosiic_k$ = function () {
+    return this.$$delegate_0__1.get_arity_iosiic_k$();
+  };
+  protoOf(NullRefImpl).get_isAtom_evuq3o_k$ = function () {
+    return this.$$delegate_0__1.get_isAtom_evuq3o_k$();
+  };
+  protoOf(NullRefImpl).get_isEmptyBlock_mhm4pf_k$ = function () {
+    return this.$$delegate_0__1.get_isEmptyBlock_mhm4pf_k$();
+  };
+  protoOf(NullRefImpl).get_isEmptyList_9w8q3c_k$ = function () {
+    return this.$$delegate_0__1.get_isEmptyList_9w8q3c_k$();
+  };
+  protoOf(NullRefImpl).get_isTrue_ew6ti9_k$ = function () {
+    return this.$$delegate_0__1.get_isTrue_ew6ti9_k$();
+  };
+  protoOf(NullRefImpl).get_value_j01efc_k$ = function () {
+    return this.$$delegate_0__1.get_value_j01efc_k$();
+  };
+  protoOf(NullRefImpl).get_argsList_cw1bs4_k$ = function () {
+    return this.$$delegate_0__1.get_argsList_cw1bs4_k$();
+  };
+  protoOf(NullRefImpl).get_variables_75f0zy_k$ = function () {
+    return this.$$delegate_0__1.get_variables_75f0zy_k$();
+  };
+  protoOf(NullRefImpl).asStruct_l3eul5_k$ = function () {
+    return this.$$delegate_0__1.asStruct_l3eul5_k$();
+  };
+  protoOf(NullRefImpl).asStruct = function () {
+    return this.asStruct_l3eul5_k$();
+  };
+  protoOf(NullRefImpl).append = function (argument) {
+    return this.$$delegate_0__1.append(argument);
+  };
+  protoOf(NullRefImpl).addLast = function (argument) {
+    return this.$$delegate_0__1.addLast(argument);
+  };
+  protoOf(NullRefImpl).addFirst = function (argument) {
+    return this.$$delegate_0__1.addFirst(argument);
+  };
+  protoOf(NullRefImpl).insertAt = function (index, argument) {
+    return this.$$delegate_0__1.insertAt(index, argument);
+  };
+  protoOf(NullRefImpl).setFunctor = function (functor) {
+    return this.$$delegate_0__1.setFunctor(functor);
+  };
+  protoOf(NullRefImpl).getArgAt = function (index) {
+    return this.$$delegate_0__1.getArgAt(index);
+  };
+  protoOf(NullRefImpl).setArgs = function (args) {
+    return this.$$delegate_0__1.setArgs(args);
+  };
+  protoOf(NullRefImpl).setArgsIterable = function (args) {
+    return this.$$delegate_0__1.setArgsIterable(args);
+  };
+  protoOf(NullRefImpl).setArgsSequence = function (args) {
+    return this.$$delegate_0__1.setArgsSequence(args);
+  };
+  protoOf(NullRefImpl).get = function (index) {
+    return this.$$delegate_0__1.get(index);
+  };
+  protoOf(NullRefImpl).get_isStruct_zeoyoo_k$ = function () {
+    return this.$$delegate_0__1.get_isStruct_zeoyoo_k$();
+  };
+  protoOf(NullRefImpl).get_isClause_rwzxtu_k$ = function () {
+    return this.$$delegate_0__1.get_isClause_rwzxtu_k$();
+  };
+  protoOf(NullRefImpl).get_isRule_ew5ljj_k$ = function () {
+    return this.$$delegate_0__1.get_isRule_ew5ljj_k$();
+  };
+  protoOf(NullRefImpl).get_isTuple_zhv5m3_k$ = function () {
+    return this.$$delegate_0__1.get_isTuple_zhv5m3_k$();
+  };
+  protoOf(NullRefImpl).get_isList_ew1iwh_k$ = function () {
+    return this.$$delegate_0__1.get_isList_ew1iwh_k$();
+  };
+  protoOf(NullRefImpl).get_isCons_evvwck_k$ = function () {
+    return this.$$delegate_0__1.get_isCons_evvwck_k$();
+  };
+  protoOf(NullRefImpl).get_isIndicator_llw8m4_k$ = function () {
+    return this.$$delegate_0__1.get_isIndicator_llw8m4_k$();
+  };
+  protoOf(NullRefImpl).get_functor_75vgt2_k$ = function () {
+    return this.$$delegate_0__1.get_functor_75vgt2_k$();
+  };
+  protoOf(NullRefImpl).get_isFunctorWellFormed_fgwhjl_k$ = function () {
+    return this.$$delegate_0__1.get_isFunctorWellFormed_fgwhjl_k$();
+  };
+  protoOf(NullRefImpl).get_indicator_39dti2_k$ = function () {
+    return this.$$delegate_0__1.get_indicator_39dti2_k$();
+  };
+  protoOf(NullRefImpl).get_argsSequence_z7gge1_k$ = function () {
+    return this.$$delegate_0__1.get_argsSequence_z7gge1_k$();
+  };
+  protoOf(NullRefImpl).compareTo_kfa5id_k$ = function (other) {
+    return this.$$delegate_0__1.compareTo_kfa5id_k$(other);
+  };
+  protoOf(NullRefImpl).compareTo_hpufkf_k$ = function (other) {
+    return this.compareTo_kfa5id_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+  };
+  protoOf(NullRefImpl).equalsUsingVarCompleteNames = function (other, useVarCompleteName) {
+    return this.$$delegate_0__1.equalsUsingVarCompleteNames(other, useVarCompleteName);
+  };
+  protoOf(NullRefImpl).equals = function (other) {
+    return this.$$delegate_0__1.equals(other);
+  };
+  protoOf(NullRefImpl).structurallyEquals = function (other) {
+    return this.$$delegate_0__1.structurallyEquals(other);
+  };
+  protoOf(NullRefImpl).castToAtom = function () {
+    return this.$$delegate_0__1.castToAtom();
+  };
+  protoOf(NullRefImpl).castToClause = function () {
+    return this.$$delegate_0__1.castToClause();
+  };
+  protoOf(NullRefImpl).castToCons = function () {
+    return this.$$delegate_0__1.castToCons();
+  };
+  protoOf(NullRefImpl).castToConstant = function () {
+    return this.$$delegate_0__1.castToConstant();
+  };
+  protoOf(NullRefImpl).castToDirective = function () {
+    return this.$$delegate_0__1.castToDirective();
+  };
+  protoOf(NullRefImpl).castToEmptyList = function () {
+    return this.$$delegate_0__1.castToEmptyList();
+  };
+  protoOf(NullRefImpl).castToEmptyBlock = function () {
+    return this.$$delegate_0__1.castToEmptyBlock();
+  };
+  protoOf(NullRefImpl).castToFact = function () {
+    return this.$$delegate_0__1.castToFact();
+  };
+  protoOf(NullRefImpl).castToIndicator = function () {
+    return this.$$delegate_0__1.castToIndicator();
+  };
+  protoOf(NullRefImpl).castToInteger = function () {
+    return this.$$delegate_0__1.castToInteger();
+  };
+  protoOf(NullRefImpl).castToList = function () {
+    return this.$$delegate_0__1.castToList();
+  };
+  protoOf(NullRefImpl).castToNumeric = function () {
+    return this.$$delegate_0__1.castToNumeric();
+  };
+  protoOf(NullRefImpl).castToReal = function () {
+    return this.$$delegate_0__1.castToReal();
+  };
+  protoOf(NullRefImpl).castToRule = function () {
+    return this.$$delegate_0__1.castToRule();
+  };
+  protoOf(NullRefImpl).castToBlock = function () {
+    return this.$$delegate_0__1.castToBlock();
+  };
+  protoOf(NullRefImpl).castToStruct = function () {
+    return this.$$delegate_0__1.castToStruct();
+  };
+  protoOf(NullRefImpl).castToRecursive = function () {
+    return this.$$delegate_0__1.castToRecursive();
+  };
+  protoOf(NullRefImpl).castToTerm = function () {
+    return this.$$delegate_0__1.castToTerm();
+  };
+  protoOf(NullRefImpl).castToTruth = function () {
+    return this.$$delegate_0__1.castToTruth();
+  };
+  protoOf(NullRefImpl).castToTuple = function () {
+    return this.$$delegate_0__1.castToTuple();
+  };
+  protoOf(NullRefImpl).castToVar = function () {
+    return this.$$delegate_0__1.castToVar();
+  };
+  protoOf(NullRefImpl).asClause = function () {
+    return this.$$delegate_0__1.asClause();
+  };
+  protoOf(NullRefImpl).asCons = function () {
+    return this.$$delegate_0__1.asCons();
+  };
+  protoOf(NullRefImpl).asDirective = function () {
+    return this.$$delegate_0__1.asDirective();
+  };
+  protoOf(NullRefImpl).asEmptyList = function () {
+    return this.$$delegate_0__1.asEmptyList();
+  };
+  protoOf(NullRefImpl).asEmptyBlock = function () {
+    return this.$$delegate_0__1.asEmptyBlock();
+  };
+  protoOf(NullRefImpl).asFact = function () {
+    return this.$$delegate_0__1.asFact();
+  };
+  protoOf(NullRefImpl).asIndicator = function () {
+    return this.$$delegate_0__1.asIndicator();
+  };
+  protoOf(NullRefImpl).asInteger = function () {
+    return this.$$delegate_0__1.asInteger();
+  };
+  protoOf(NullRefImpl).asList = function () {
+    return this.$$delegate_0__1.asList();
+  };
+  protoOf(NullRefImpl).asNumeric = function () {
+    return this.$$delegate_0__1.asNumeric();
+  };
+  protoOf(NullRefImpl).asReal = function () {
+    return this.$$delegate_0__1.asReal();
+  };
+  protoOf(NullRefImpl).asRule = function () {
+    return this.$$delegate_0__1.asRule();
+  };
+  protoOf(NullRefImpl).asBlock = function () {
+    return this.$$delegate_0__1.asBlock();
+  };
+  protoOf(NullRefImpl).asRecursive = function () {
+    return this.$$delegate_0__1.asRecursive();
+  };
+  protoOf(NullRefImpl).asTerm = function () {
+    return this.$$delegate_0__1.asTerm();
+  };
+  protoOf(NullRefImpl).asTruth = function () {
+    return this.$$delegate_0__1.asTruth();
+  };
+  protoOf(NullRefImpl).asTuple = function () {
+    return this.$$delegate_0__1.asTuple();
+  };
+  protoOf(NullRefImpl).asVar = function () {
+    return this.$$delegate_0__1.asVar();
+  };
+  protoOf(NullRefImpl).hashCode = function () {
+    return this.$$delegate_0__1.hashCode();
+  };
+  protoOf(NullRefImpl).toString = function () {
+    return this.$$delegate_0__1.toString();
+  };
+  protoOf(NullRefImpl).get_isVar_it73p0_k$ = function () {
+    return this.$$delegate_0__1.get_isVar_it73p0_k$();
+  };
+  protoOf(NullRefImpl).get_isTruth_zhwyo8_k$ = function () {
+    return this.$$delegate_0__1.get_isTruth_zhwyo8_k$();
+  };
+  protoOf(NullRefImpl).get_isRecursive_id8h1d_k$ = function () {
+    return this.$$delegate_0__1.get_isRecursive_id8h1d_k$();
+  };
+  protoOf(NullRefImpl).get_isNumber_x9n6xo_k$ = function () {
+    return this.$$delegate_0__1.get_isNumber_x9n6xo_k$();
+  };
+  protoOf(NullRefImpl).get_isInteger_vb3zt7_k$ = function () {
+    return this.$$delegate_0__1.get_isInteger_vb3zt7_k$();
+  };
+  protoOf(NullRefImpl).get_isReal_ew59f5_k$ = function () {
+    return this.$$delegate_0__1.get_isReal_ew59f5_k$();
+  };
+  protoOf(NullRefImpl).getTag = function (name) {
+    return this.$$delegate_0__1.getTag(name);
+  };
+  protoOf(NullRefImpl).resetTags = function (tags) {
+    return this.$$delegate_0__1.resetTags(tags);
+  };
+  protoOf(NullRefImpl).containsTag = function (name) {
+    return this.$$delegate_0__1.containsTag(name);
+  };
+  protoOf(NullRefImpl).get_tags_wousf6_k$ = function () {
+    return this.$$delegate_0__1.get_tags_wousf6_k$();
+  };
+  protoOf(NullRefImpl).get_isGround_twq4nu_k$ = function () {
+    return this.$$delegate_0__1.get_isGround_twq4nu_k$();
+  };
+  var NullRefImpl_instance;
+  function NullRefImpl_getInstance() {
+    if (NullRefImpl_instance == null)
+      new NullRefImpl();
+    return NullRefImpl_instance;
+  }
+  function ObjectRefImpl(object) {
+    this.$$delegate_0__1 = Companion_getInstance_0().of(Companion_getInstance_10().nameOf_kdy799_k$(object));
+    this.object_1 = object;
+  }
+  protoOf(ObjectRefImpl).get_object_hhhtfs_k$ = function () {
+    return this.object_1;
+  };
+  protoOf(ObjectRefImpl).get_isConstant_scia2f_k$ = function () {
+    return true;
+  };
+  protoOf(ObjectRefImpl).asConstant_3hn112_k$ = function () {
+    return this;
+  };
+  protoOf(ObjectRefImpl).asConstant = function () {
+    return this.asConstant_3hn112_k$();
+  };
+  protoOf(ObjectRefImpl).invoke_yaglp8_k$ = function (objectConverter, methodName, arguments_0) {
+    return invoke_0(this.object_1, objectConverter, methodName, arguments_0);
+  };
+  protoOf(ObjectRefImpl).assign_9qr39z_k$ = function (objectConverter, propertyName, value) {
+    assign_0(this.object_1, objectConverter, propertyName, value);
+    return true;
+  };
+  protoOf(ObjectRefImpl).freshCopy_fcm65_k$ = function () {
+    return this;
+  };
+  protoOf(ObjectRefImpl).freshCopy = function () {
+    return this.freshCopy_fcm65_k$();
+  };
+  protoOf(ObjectRefImpl).freshCopyFromScope_tnhsyi_k$ = function (scope) {
+    return this;
+  };
+  protoOf(ObjectRefImpl).freshCopyFromScope = function (scope) {
+    return this.freshCopyFromScope_tnhsyi_k$(scope);
+  };
+  protoOf(ObjectRefImpl).castTo_8vzplt_k$ = function () {
+    return isInterface(this, Term) ? this : THROW_CCE();
+  };
+  protoOf(ObjectRefImpl).castTo_mm7cm3_k$ = function () {
+    return this.castTo_8vzplt_k$();
+  };
+  protoOf(ObjectRefImpl).applySubstitution_t7osbf_k$ = function (substitution) {
+    return this;
+  };
+  protoOf(ObjectRefImpl).applySubstitution = function (substitution) {
+    return this.applySubstitution_t7osbf_k$(substitution);
+  };
+  protoOf(ObjectRefImpl).apply_jso7fw_k$ = function (substitution, substitutions) {
+    return this;
+  };
+  protoOf(ObjectRefImpl).apply = function (substitution, substitutions) {
+    return this.apply_jso7fw_k$(substitution, substitutions);
+  };
+  protoOf(ObjectRefImpl).getSubstituted_8310r6_k$ = function (substitution, substitutions) {
+    return this;
+  };
+  protoOf(ObjectRefImpl).getSubstituted = function (substitution, substitutions) {
+    return this.getSubstituted_8310r6_k$(substitution, substitutions);
+  };
+  protoOf(ObjectRefImpl).accept_bf9pe1_k$ = function (visitor) {
+    return visitor.visitAtom(this);
+  };
+  protoOf(ObjectRefImpl).accept = function (visitor) {
+    return this.accept_bf9pe1_k$(visitor);
+  };
+  protoOf(ObjectRefImpl).asAtom_nbael9_k$ = function () {
+    return this.$$delegate_0__1.asAtom_nbael9_k$();
+  };
+  protoOf(ObjectRefImpl).asAtom = function () {
+    return this.asAtom_nbael9_k$();
+  };
+  protoOf(ObjectRefImpl).get_arity_iosiic_k$ = function () {
+    return this.$$delegate_0__1.get_arity_iosiic_k$();
+  };
+  protoOf(ObjectRefImpl).get_isAtom_evuq3o_k$ = function () {
+    return this.$$delegate_0__1.get_isAtom_evuq3o_k$();
+  };
+  protoOf(ObjectRefImpl).get_isEmptyBlock_mhm4pf_k$ = function () {
+    return this.$$delegate_0__1.get_isEmptyBlock_mhm4pf_k$();
+  };
+  protoOf(ObjectRefImpl).get_isEmptyList_9w8q3c_k$ = function () {
+    return this.$$delegate_0__1.get_isEmptyList_9w8q3c_k$();
+  };
+  protoOf(ObjectRefImpl).get_isTrue_ew6ti9_k$ = function () {
+    return this.$$delegate_0__1.get_isTrue_ew6ti9_k$();
+  };
+  protoOf(ObjectRefImpl).get_value_j01efc_k$ = function () {
+    return this.$$delegate_0__1.get_value_j01efc_k$();
+  };
+  protoOf(ObjectRefImpl).get_argsList_cw1bs4_k$ = function () {
+    return this.$$delegate_0__1.get_argsList_cw1bs4_k$();
+  };
+  protoOf(ObjectRefImpl).get_variables_75f0zy_k$ = function () {
+    return this.$$delegate_0__1.get_variables_75f0zy_k$();
+  };
+  protoOf(ObjectRefImpl).asStruct_l3eul5_k$ = function () {
+    return this.$$delegate_0__1.asStruct_l3eul5_k$();
+  };
+  protoOf(ObjectRefImpl).asStruct = function () {
+    return this.asStruct_l3eul5_k$();
+  };
+  protoOf(ObjectRefImpl).append = function (argument) {
+    return this.$$delegate_0__1.append(argument);
+  };
+  protoOf(ObjectRefImpl).addLast = function (argument) {
+    return this.$$delegate_0__1.addLast(argument);
+  };
+  protoOf(ObjectRefImpl).addFirst = function (argument) {
+    return this.$$delegate_0__1.addFirst(argument);
+  };
+  protoOf(ObjectRefImpl).insertAt = function (index, argument) {
+    return this.$$delegate_0__1.insertAt(index, argument);
+  };
+  protoOf(ObjectRefImpl).setFunctor = function (functor) {
+    return this.$$delegate_0__1.setFunctor(functor);
+  };
+  protoOf(ObjectRefImpl).getArgAt = function (index) {
+    return this.$$delegate_0__1.getArgAt(index);
+  };
+  protoOf(ObjectRefImpl).setArgs = function (args) {
+    return this.$$delegate_0__1.setArgs(args);
+  };
+  protoOf(ObjectRefImpl).setArgsIterable = function (args) {
+    return this.$$delegate_0__1.setArgsIterable(args);
+  };
+  protoOf(ObjectRefImpl).setArgsSequence = function (args) {
+    return this.$$delegate_0__1.setArgsSequence(args);
+  };
+  protoOf(ObjectRefImpl).get = function (index) {
+    return this.$$delegate_0__1.get(index);
+  };
+  protoOf(ObjectRefImpl).get_isStruct_zeoyoo_k$ = function () {
+    return this.$$delegate_0__1.get_isStruct_zeoyoo_k$();
+  };
+  protoOf(ObjectRefImpl).get_isClause_rwzxtu_k$ = function () {
+    return this.$$delegate_0__1.get_isClause_rwzxtu_k$();
+  };
+  protoOf(ObjectRefImpl).get_isRule_ew5ljj_k$ = function () {
+    return this.$$delegate_0__1.get_isRule_ew5ljj_k$();
+  };
+  protoOf(ObjectRefImpl).get_isTuple_zhv5m3_k$ = function () {
+    return this.$$delegate_0__1.get_isTuple_zhv5m3_k$();
+  };
+  protoOf(ObjectRefImpl).get_isList_ew1iwh_k$ = function () {
+    return this.$$delegate_0__1.get_isList_ew1iwh_k$();
+  };
+  protoOf(ObjectRefImpl).get_isCons_evvwck_k$ = function () {
+    return this.$$delegate_0__1.get_isCons_evvwck_k$();
+  };
+  protoOf(ObjectRefImpl).get_isIndicator_llw8m4_k$ = function () {
+    return this.$$delegate_0__1.get_isIndicator_llw8m4_k$();
+  };
+  protoOf(ObjectRefImpl).get_functor_75vgt2_k$ = function () {
+    return this.$$delegate_0__1.get_functor_75vgt2_k$();
+  };
+  protoOf(ObjectRefImpl).get_isFunctorWellFormed_fgwhjl_k$ = function () {
+    return this.$$delegate_0__1.get_isFunctorWellFormed_fgwhjl_k$();
+  };
+  protoOf(ObjectRefImpl).get_indicator_39dti2_k$ = function () {
+    return this.$$delegate_0__1.get_indicator_39dti2_k$();
+  };
+  protoOf(ObjectRefImpl).get_argsSequence_z7gge1_k$ = function () {
+    return this.$$delegate_0__1.get_argsSequence_z7gge1_k$();
+  };
+  protoOf(ObjectRefImpl).compareTo_kfa5id_k$ = function (other) {
+    return this.$$delegate_0__1.compareTo_kfa5id_k$(other);
+  };
+  protoOf(ObjectRefImpl).compareTo_hpufkf_k$ = function (other) {
+    return this.compareTo_kfa5id_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+  };
+  protoOf(ObjectRefImpl).equalsUsingVarCompleteNames = function (other, useVarCompleteName) {
+    return this.$$delegate_0__1.equalsUsingVarCompleteNames(other, useVarCompleteName);
+  };
+  protoOf(ObjectRefImpl).equals = function (other) {
+    return this.$$delegate_0__1.equals(other);
+  };
+  protoOf(ObjectRefImpl).structurallyEquals = function (other) {
+    return this.$$delegate_0__1.structurallyEquals(other);
+  };
+  protoOf(ObjectRefImpl).castToAtom = function () {
+    return this.$$delegate_0__1.castToAtom();
+  };
+  protoOf(ObjectRefImpl).castToClause = function () {
+    return this.$$delegate_0__1.castToClause();
+  };
+  protoOf(ObjectRefImpl).castToCons = function () {
+    return this.$$delegate_0__1.castToCons();
+  };
+  protoOf(ObjectRefImpl).castToConstant = function () {
+    return this.$$delegate_0__1.castToConstant();
+  };
+  protoOf(ObjectRefImpl).castToDirective = function () {
+    return this.$$delegate_0__1.castToDirective();
+  };
+  protoOf(ObjectRefImpl).castToEmptyList = function () {
+    return this.$$delegate_0__1.castToEmptyList();
+  };
+  protoOf(ObjectRefImpl).castToEmptyBlock = function () {
+    return this.$$delegate_0__1.castToEmptyBlock();
+  };
+  protoOf(ObjectRefImpl).castToFact = function () {
+    return this.$$delegate_0__1.castToFact();
+  };
+  protoOf(ObjectRefImpl).castToIndicator = function () {
+    return this.$$delegate_0__1.castToIndicator();
+  };
+  protoOf(ObjectRefImpl).castToInteger = function () {
+    return this.$$delegate_0__1.castToInteger();
+  };
+  protoOf(ObjectRefImpl).castToList = function () {
+    return this.$$delegate_0__1.castToList();
+  };
+  protoOf(ObjectRefImpl).castToNumeric = function () {
+    return this.$$delegate_0__1.castToNumeric();
+  };
+  protoOf(ObjectRefImpl).castToReal = function () {
+    return this.$$delegate_0__1.castToReal();
+  };
+  protoOf(ObjectRefImpl).castToRule = function () {
+    return this.$$delegate_0__1.castToRule();
+  };
+  protoOf(ObjectRefImpl).castToBlock = function () {
+    return this.$$delegate_0__1.castToBlock();
+  };
+  protoOf(ObjectRefImpl).castToStruct = function () {
+    return this.$$delegate_0__1.castToStruct();
+  };
+  protoOf(ObjectRefImpl).castToRecursive = function () {
+    return this.$$delegate_0__1.castToRecursive();
+  };
+  protoOf(ObjectRefImpl).castToTerm = function () {
+    return this.$$delegate_0__1.castToTerm();
+  };
+  protoOf(ObjectRefImpl).castToTruth = function () {
+    return this.$$delegate_0__1.castToTruth();
+  };
+  protoOf(ObjectRefImpl).castToTuple = function () {
+    return this.$$delegate_0__1.castToTuple();
+  };
+  protoOf(ObjectRefImpl).castToVar = function () {
+    return this.$$delegate_0__1.castToVar();
+  };
+  protoOf(ObjectRefImpl).asClause = function () {
+    return this.$$delegate_0__1.asClause();
+  };
+  protoOf(ObjectRefImpl).asCons = function () {
+    return this.$$delegate_0__1.asCons();
+  };
+  protoOf(ObjectRefImpl).asDirective = function () {
+    return this.$$delegate_0__1.asDirective();
+  };
+  protoOf(ObjectRefImpl).asEmptyList = function () {
+    return this.$$delegate_0__1.asEmptyList();
+  };
+  protoOf(ObjectRefImpl).asEmptyBlock = function () {
+    return this.$$delegate_0__1.asEmptyBlock();
+  };
+  protoOf(ObjectRefImpl).asFact = function () {
+    return this.$$delegate_0__1.asFact();
+  };
+  protoOf(ObjectRefImpl).asIndicator = function () {
+    return this.$$delegate_0__1.asIndicator();
+  };
+  protoOf(ObjectRefImpl).asInteger = function () {
+    return this.$$delegate_0__1.asInteger();
+  };
+  protoOf(ObjectRefImpl).asList = function () {
+    return this.$$delegate_0__1.asList();
+  };
+  protoOf(ObjectRefImpl).asNumeric = function () {
+    return this.$$delegate_0__1.asNumeric();
+  };
+  protoOf(ObjectRefImpl).asReal = function () {
+    return this.$$delegate_0__1.asReal();
+  };
+  protoOf(ObjectRefImpl).asRule = function () {
+    return this.$$delegate_0__1.asRule();
+  };
+  protoOf(ObjectRefImpl).asBlock = function () {
+    return this.$$delegate_0__1.asBlock();
+  };
+  protoOf(ObjectRefImpl).asRecursive = function () {
+    return this.$$delegate_0__1.asRecursive();
+  };
+  protoOf(ObjectRefImpl).asTerm = function () {
+    return this.$$delegate_0__1.asTerm();
+  };
+  protoOf(ObjectRefImpl).asTruth = function () {
+    return this.$$delegate_0__1.asTruth();
+  };
+  protoOf(ObjectRefImpl).asTuple = function () {
+    return this.$$delegate_0__1.asTuple();
+  };
+  protoOf(ObjectRefImpl).asVar = function () {
+    return this.$$delegate_0__1.asVar();
+  };
+  protoOf(ObjectRefImpl).hashCode = function () {
+    return this.$$delegate_0__1.hashCode();
+  };
+  protoOf(ObjectRefImpl).toString = function () {
+    return this.$$delegate_0__1.toString();
+  };
+  protoOf(ObjectRefImpl).get_isVar_it73p0_k$ = function () {
+    return this.$$delegate_0__1.get_isVar_it73p0_k$();
+  };
+  protoOf(ObjectRefImpl).get_isTruth_zhwyo8_k$ = function () {
+    return this.$$delegate_0__1.get_isTruth_zhwyo8_k$();
+  };
+  protoOf(ObjectRefImpl).get_isRecursive_id8h1d_k$ = function () {
+    return this.$$delegate_0__1.get_isRecursive_id8h1d_k$();
+  };
+  protoOf(ObjectRefImpl).get_isNumber_x9n6xo_k$ = function () {
+    return this.$$delegate_0__1.get_isNumber_x9n6xo_k$();
+  };
+  protoOf(ObjectRefImpl).get_isInteger_vb3zt7_k$ = function () {
+    return this.$$delegate_0__1.get_isInteger_vb3zt7_k$();
+  };
+  protoOf(ObjectRefImpl).get_isReal_ew59f5_k$ = function () {
+    return this.$$delegate_0__1.get_isReal_ew59f5_k$();
+  };
+  protoOf(ObjectRefImpl).getTag = function (name) {
+    return this.$$delegate_0__1.getTag(name);
+  };
+  protoOf(ObjectRefImpl).resetTags = function (tags) {
+    return this.$$delegate_0__1.resetTags(tags);
+  };
+  protoOf(ObjectRefImpl).containsTag = function (name) {
+    return this.$$delegate_0__1.containsTag(name);
+  };
+  protoOf(ObjectRefImpl).get_tags_wousf6_k$ = function () {
+    return this.$$delegate_0__1.get_tags_wousf6_k$();
+  };
+  protoOf(ObjectRefImpl).get_isGround_twq4nu_k$ = function () {
+    return this.$$delegate_0__1.get_isGround_twq4nu_k$();
+  };
+  function ObjectToTermConverterImpl() {
+    this.numberTypeTester_1 = new NumberTypeTester();
+  }
+  protoOf(ObjectToTermConverterImpl).convert_2fnsng_k$ = function (source) {
+    // Inline function 'kotlin.with' call
+    var $this$with = this.numberTypeTester_1;
+    var tmp;
+    if (source == null) {
+      tmp = Companion_getInstance_10().NULL_1;
+    } else {
+      if (typeof source === 'string') {
+        tmp = Companion_getInstance_0().of(source);
+      } else {
+        if (isInterface(source, BigInteger)) {
+          tmp = Companion_getInstance_3().ofBigInteger(source);
+        } else {
+          if (isInterface(source, BigDecimal)) {
+            tmp = Companion_getInstance_2().ofBigDecimal(source);
+          } else {
+            if (isNumber(source)) {
+              tmp = $this$with.get_isInteger_cpv3bm_k$(source) ? Companion_getInstance_3().ofBigInteger($this$with.toInteger_cr7ezq_k$(source)) : Companion_getInstance_2().ofBigDecimal($this$with.toDecimal_f0xy7b_k$(source));
+            } else {
+              if (source instanceof Char) {
+                var tmp_0 = Companion_getInstance_0();
+                // Inline function 'kotlin.charArrayOf' call
+                var tmp$ret$2 = charArrayOf([source.value_1]);
+                tmp = tmp_0.of(concatToString(tmp$ret$2));
+              } else {
+                if (typeof source === 'boolean') {
+                  tmp = Companion_getInstance_1().of(source);
+                } else {
+                  tmp = Companion_getInstance_10().of_u40ndk_k$(source);
+                }
+              }
+            }
+          }
+        }
+      }
+    }
+    return tmp;
+  };
+  function explicitConversion($this, castExpression, term, type) {
+    var targetType = getType($this, castExpression, type);
+    try {
+      return $this.convertInto_62bmhg_k$(targetType, term);
+    } catch ($p) {
+      if ($p instanceof TermToObjectConversionException) {
+        var e = $p;
+        throw e;
+      } else {
+        if ($p instanceof Exception) {
+          var _unused_var__etf5q3 = $p;
+          throw new TermToObjectConversionException(term, targetType);
+        } else {
+          throw $p;
+        }
+      }
+    }
+  }
+  function getType($this, castExpression, typeTerm) {
+    var tmp;
+    if (isInterface(typeTerm, TypeRef)) {
+      tmp = typeTerm.get_type_wovaf7_k$();
+    } else {
+      if (isInterface(typeTerm, Atom)) {
+        var tmp1_elvis_lhs = $this.typeFactory_1.typeFromName_xpqoph_k$(typeTerm.get_value_j01efc_k$());
+        var tmp_0;
+        if (tmp1_elvis_lhs == null) {
+          throw TermToObjectConversionException_init_$Create$(castExpression);
+        } else {
+          tmp_0 = tmp1_elvis_lhs;
+        }
+        tmp = tmp_0;
+      } else {
+        if (isInterface(typeTerm, Struct)) {
+          var tmp_1;
+          if (Companion_getInstance().matches(typeTerm, get_DEALIASING_TEMPLATE())) {
+            var ref = $this.dealiaser_1(typeTerm);
+            var tmp_2;
+            if (!(ref == null) ? isInterface(ref, TypeRef) : false) {
+              tmp_2 = ref.get_type_wovaf7_k$();
+            } else {
+              throw TermToObjectConversionException_init_$Create$(castExpression);
+            }
+            tmp_1 = tmp_2;
+          } else {
+            throw TermToObjectConversionException_init_$Create$(castExpression);
+          }
+          tmp = tmp_1;
+        } else {
+          throw TermToObjectConversionException_init_$Create$(castExpression);
+        }
+      }
+    }
+    return tmp;
+  }
+  function admissibleTypesByPriority($this, term) {
+    var tmp;
+    var tmp_0;
+    if (isInterface(term, NullRef)) {
+      tmp_0 = true;
+    } else {
+      tmp_0 = isInterface(term, Var);
+    }
+    if (tmp_0) {
+      tmp = sequenceOf(PrimitiveClasses_getInstance().get_nothingClass_7ivpcc_k$());
+    } else {
+      if (isInterface(term, ObjectRef)) {
+        tmp = sequenceOf(getKClassFromExpression(term.get_object_hhhtfs_k$()));
+      } else {
+        if (isInterface(term, Truth)) {
+          tmp = sequenceOf_0([PrimitiveClasses_getInstance().get_booleanClass_d285fr_k$(), PrimitiveClasses_getInstance().get_stringClass_bik2gy_k$()]);
+        } else {
+          if (isInterface(term, Atom)) {
+            var admissible = sequenceOf(PrimitiveClasses_getInstance().get_stringClass_bik2gy_k$());
+            if (term.get_value_j01efc_k$().length === 1) {
+              admissible = plus(admissible, sequenceOf(getKClass(Char)));
+            }
+            tmp = admissible;
+          } else {
+            if (isInterface(term, Real)) {
+              tmp = sequenceOf_0([getKClass(BigDecimal), PrimitiveClasses_getInstance().get_doubleClass_dahzcy_k$(), PrimitiveClasses_getInstance().get_floatClass_xlwq2t_k$()]);
+            } else {
+              if (isInterface(term, Integer)) {
+                var admissible_0 = sequenceOf(getKClass(BigInteger));
+                if (Companion_getInstance_4().ofLong(-9223372036854775808n).rangeTo(Companion_getInstance_4().ofLong(9223372036854775807n)).contains_3tkdvy_k$(term.get_intValue_mlvnn9_k$())) {
+                  admissible_0 = plus(admissible_0, sequenceOf(PrimitiveClasses_getInstance().get_longClass_a79cj7_k$()));
+                }
+                if (Companion_getInstance_4().of(-2147483648).rangeTo(Companion_getInstance_4().of(2147483647)).contains_3tkdvy_k$(term.get_intValue_mlvnn9_k$())) {
+                  admissible_0 = plus(admissible_0, sequenceOf(PrimitiveClasses_getInstance().get_intClass_mw4y9a_k$()));
+                }
+                if (Companion_getInstance_4().of(-32768).rangeTo(Companion_getInstance_4().of(32767)).contains_3tkdvy_k$(term.get_intValue_mlvnn9_k$())) {
+                  admissible_0 = plus(admissible_0, sequenceOf(PrimitiveClasses_getInstance().get_shortClass_5ajsv9_k$()));
+                }
+                if (Companion_getInstance_4().of(-128).rangeTo(Companion_getInstance_4().of(127)).contains_3tkdvy_k$(term.get_intValue_mlvnn9_k$())) {
+                  admissible_0 = plus(admissible_0, sequenceOf(PrimitiveClasses_getInstance().get_byteClass_pu7s61_k$()));
+                }
+                admissible_0 = plus(admissible_0, sequenceOf(getKClass(BigDecimal)));
+                var containsLower = Companion_getInstance_5().ofDouble(4.9E-324);
+                var containsUpper = Companion_getInstance_5().ofDouble(1.7976931348623157E308);
+                var containsArg = term.get_decimalValue_7pja3t_k$();
+                if (0 <= compareTo(containsArg, containsLower) ? compareTo(containsArg, containsUpper) <= 0 : false) {
+                  admissible_0 = plus(admissible_0, sequenceOf(PrimitiveClasses_getInstance().get_doubleClass_dahzcy_k$()));
+                }
+                var containsLower_0 = Companion_getInstance_5().ofFloat(1.4E-45);
+                var containsUpper_0 = Companion_getInstance_5().ofFloat(3.4028235E38);
+                var containsArg_0 = term.get_decimalValue_7pja3t_k$();
+                if (0 <= compareTo(containsArg_0, containsLower_0) ? compareTo(containsArg_0, containsUpper_0) <= 0 : false) {
+                  admissible_0 = plus(admissible_0, sequenceOf(PrimitiveClasses_getInstance().get_floatClass_xlwq2t_k$()));
+                }
+                tmp = admissible_0;
+              } else {
+                if (isInterface(term, Struct)) {
+                  var tmp_1;
+                  if (Companion_getInstance().matches(term, get_CAST_TEMPLATE())) {
+                    tmp_1 = sequenceOf(getType($this, term, term.get(1)));
+                  } else if (Companion_getInstance().matches(term, get_DEALIASING_TEMPLATE())) {
+                    var ref = $this.dealiaser_1(term);
+                    var tmp_2;
+                    if (!(ref == null) ? isInterface(ref, ObjectRef) : false) {
+                      tmp_2 = admissibleTypesByPriority($this, ref);
+                    } else {
+                      throw TermToObjectConversionException_init_$Create$(term);
+                    }
+                    tmp_1 = tmp_2;
+                  } else {
+                    throw TermToObjectConversionException_init_$Create$(term);
+                  }
+                  tmp = tmp_1;
+                } else {
+                  throw TermToObjectConversionException_init_$Create$(term);
+                }
+              }
+            }
+          }
+        }
+      }
+    }
+    return tmp;
+  }
+  function TermToObjectConverterImpl(typeFactory, dealiaser) {
+    this.typeFactory_1 = typeFactory;
+    this.dealiaser_1 = dealiaser;
+  }
+  protoOf(TermToObjectConverterImpl).convertInto_62bmhg_k$ = function (type, term) {
+    var tmp;
+    var tmp_0;
+    if (isInterface(term, NullRef)) {
+      tmp_0 = true;
+    } else {
+      tmp_0 = isInterface(term, Var);
+    }
+    if (tmp_0) {
+      var tmp_1;
+      if (get_isPrimitiveType(type)) {
+        throw new TermToObjectConversionException(term, type);
+      } else {
+        tmp_1 = null;
+      }
+      tmp = tmp_1;
+    } else {
+      if (isInterface(term, ObjectRef)) {
+        var tmp_2;
+        if (isSubtypeOf(getKClassFromExpression(term.get_object_hhhtfs_k$()), type)) {
+          tmp_2 = term.get_object_hhhtfs_k$();
+        } else {
+          throw new TermToObjectConversionException(term, type);
+        }
+        tmp = tmp_2;
+      } else {
+        if (isInterface(term, Truth)) {
+          var tmp_3;
+          if (isSubtypeOf(PrimitiveClasses_getInstance().get_booleanClass_d285fr_k$(), type)) {
+            tmp_3 = term.get_isTrue_ew6ti9_k$();
+          } else if (isSubtypeOf(PrimitiveClasses_getInstance().get_stringClass_bik2gy_k$(), type)) {
+            tmp_3 = term.get_value_j01efc_k$();
+          } else {
+            throw new TermToObjectConversionException(term, type);
+          }
+          tmp = tmp_3;
+        } else {
+          if (isInterface(term, Atom)) {
+            var tmp_4;
+            if (isSubtypeOf(PrimitiveClasses_getInstance().get_stringClass_bik2gy_k$(), type)) {
+              tmp_4 = term.get_value_j01efc_k$();
+            } else if (isSubtypeOf(getKClass(Char), type)) {
+              var tmp_5;
+              if (term.get_value_j01efc_k$().length === 1) {
+                tmp_5 = charCodeAt(term.get_value_j01efc_k$(), 0);
+              } else {
+                throw new TermToObjectConversionException(term, type);
+              }
+              tmp_4 = new Char(tmp_5);
+            } else {
+              throw new TermToObjectConversionException(term, type);
+            }
+            tmp = tmp_4;
+          } else {
+            if (isInterface(term, Real)) {
+              var tmp_6;
+              if (isSubtypeOf(getKClass(BigDecimal), type)) {
+                tmp_6 = term.get_decimalValue_7pja3t_k$();
+              } else if (isSubtypeOf(PrimitiveClasses_getInstance().get_doubleClass_dahzcy_k$(), type)) {
+                tmp_6 = term.get_decimalValue_7pja3t_k$().toDouble();
+              } else if (isSubtypeOf(PrimitiveClasses_getInstance().get_floatClass_xlwq2t_k$(), type)) {
+                tmp_6 = term.get_decimalValue_7pja3t_k$().toFloat();
+              } else {
+                throw new TermToObjectConversionException(term, type);
+              }
+              tmp = tmp_6;
+            } else {
+              if (isInterface(term, Integer)) {
+                var tmp_7;
+                if (isSubtypeOf(getKClass(BigInteger), type)) {
+                  tmp_7 = term.get_intValue_mlvnn9_k$();
+                } else if (isSubtypeOf(PrimitiveClasses_getInstance().get_longClass_a79cj7_k$(), type)) {
+                  tmp_7 = term.get_intValue_mlvnn9_k$().toLongExact();
+                } else if (isSubtypeOf(PrimitiveClasses_getInstance().get_intClass_mw4y9a_k$(), type)) {
+                  tmp_7 = term.get_intValue_mlvnn9_k$().toIntExact();
+                } else if (isSubtypeOf(PrimitiveClasses_getInstance().get_shortClass_5ajsv9_k$(), type)) {
+                  tmp_7 = term.get_intValue_mlvnn9_k$().toShortExact();
+                } else if (isSubtypeOf(PrimitiveClasses_getInstance().get_byteClass_pu7s61_k$(), type)) {
+                  tmp_7 = term.get_intValue_mlvnn9_k$().toByteExact();
+                } else if (isSubtypeOf(getKClass(BigDecimal), type)) {
+                  tmp_7 = term.get_decimalValue_7pja3t_k$();
+                } else if (isSubtypeOf(PrimitiveClasses_getInstance().get_doubleClass_dahzcy_k$(), type)) {
+                  tmp_7 = term.get_decimalValue_7pja3t_k$().toDouble();
+                } else if (isSubtypeOf(PrimitiveClasses_getInstance().get_floatClass_xlwq2t_k$(), type)) {
+                  tmp_7 = term.get_decimalValue_7pja3t_k$().toFloat();
+                } else {
+                  throw new TermToObjectConversionException(term, type);
+                }
+                tmp = tmp_7;
+              } else {
+                if (isInterface(term, Struct)) {
+                  var tmp_8;
+                  if (Companion_getInstance().matches(term, get_CAST_TEMPLATE())) {
+                    tmp_8 = explicitConversion(this, term, term.get(0), term.get(1));
+                  } else if (Companion_getInstance().matches(term, get_DEALIASING_TEMPLATE())) {
+                    var ref = this.dealiaser_1(term);
+                    var tmp_9;
+                    if (!(ref == null) ? isInterface(ref, ObjectRef) : false) {
+                      tmp_9 = this.convertInto_62bmhg_k$(type, ref);
+                    } else {
+                      throw TermToObjectConversionException_init_$Create$(term);
+                    }
+                    tmp_8 = tmp_9;
+                  } else {
+                    throw TermToObjectConversionException_init_$Create$(term);
+                  }
+                  // Inline function 'kotlin.also' call
+                  var this_0 = tmp_8;
+                  if (!(this_0 == null) && !isSubtypeOf(getKClassFromExpression(this_0), type)) {
+                    throw TermToObjectConversionException_init_$Create$(term);
+                  }
+                  tmp = this_0;
+                } else {
+                  throw TermToObjectConversionException_init_$Create$(term);
+                }
+              }
+            }
+          }
+        }
+      }
+    }
+    return tmp;
+  };
+  protoOf(TermToObjectConverterImpl).mostAdequateType_bmnk7m_k$ = function (term) {
+    return first(admissibleTypesByPriority(this, term));
+  };
+  protoOf(TermToObjectConverterImpl).admissibleTypes_1kwmul_k$ = function (term) {
+    return toSet(admissibleTypesByPriority(this, term));
+  };
+  function TypeFactoryImpl() {
+  }
+  protoOf(TypeFactoryImpl).typeFromName_xpqoph_k$ = function (typeName) {
+    return kClassFromName(typeName).get_value_j01efc_k$();
+  };
+  function nameOf_0($this, type) {
+    return '<type:' + get_fullName(type) + '>';
+  }
+  function Companion_6() {
+  }
+  var Companion_instance_14;
+  function Companion_getInstance_17() {
+    return Companion_instance_14;
+  }
+  function TypeRefImpl(type) {
+    this.$$delegate_0__1 = Companion_getInstance_0().of(nameOf_0(Companion_instance_14, type));
+    this.type_1 = type;
+  }
+  protoOf(TypeRefImpl).get_type_wovaf7_k$ = function () {
+    return this.type_1;
+  };
+  protoOf(TypeRefImpl).create_1rher4_k$ = function (objectConverter, arguments_0) {
+    return create_0(this.type_1, objectConverter, arguments_0);
+  };
+  protoOf(TypeRefImpl).invoke_yaglp8_k$ = function (objectConverter, methodName, arguments_0) {
+    var companionObjectRef = get_companionObjectRef(this.type_1);
+    var tmp;
+    if (companionObjectRef instanceof Some) {
+      tmp = invoke_0(companionObjectRef.value_1, objectConverter, methodName, arguments_0);
+    } else {
+      tmp = invoke_1(this.type_1, objectConverter, methodName, arguments_0, null);
+    }
+    return tmp;
+  };
+  protoOf(TypeRefImpl).get_isConstant_scia2f_k$ = function () {
+    return true;
+  };
+  protoOf(TypeRefImpl).asConstant_3hn112_k$ = function () {
+    return this;
+  };
+  protoOf(TypeRefImpl).asConstant = function () {
+    return this.asConstant_3hn112_k$();
+  };
+  protoOf(TypeRefImpl).freshCopy_fcm65_k$ = function () {
+    return this;
+  };
+  protoOf(TypeRefImpl).freshCopy = function () {
+    return this.freshCopy_fcm65_k$();
+  };
+  protoOf(TypeRefImpl).freshCopyFromScope_tnhsyi_k$ = function (scope) {
+    return this;
+  };
+  protoOf(TypeRefImpl).freshCopyFromScope = function (scope) {
+    return this.freshCopyFromScope_tnhsyi_k$(scope);
+  };
+  protoOf(TypeRefImpl).castTo_8vzplt_k$ = function () {
+    return isInterface(this, Term) ? this : THROW_CCE();
+  };
+  protoOf(TypeRefImpl).castTo_mm7cm3_k$ = function () {
+    return this.castTo_8vzplt_k$();
+  };
+  protoOf(TypeRefImpl).applySubstitution_t7osbf_k$ = function (substitution) {
+    return this;
+  };
+  protoOf(TypeRefImpl).applySubstitution = function (substitution) {
+    return this.applySubstitution_t7osbf_k$(substitution);
+  };
+  protoOf(TypeRefImpl).apply_jso7fw_k$ = function (substitution, substitutions) {
+    return this;
+  };
+  protoOf(TypeRefImpl).apply = function (substitution, substitutions) {
+    return this.apply_jso7fw_k$(substitution, substitutions);
+  };
+  protoOf(TypeRefImpl).getSubstituted_8310r6_k$ = function (substitution, substitutions) {
+    return this;
+  };
+  protoOf(TypeRefImpl).getSubstituted = function (substitution, substitutions) {
+    return this.getSubstituted_8310r6_k$(substitution, substitutions);
+  };
+  protoOf(TypeRefImpl).accept_bf9pe1_k$ = function (visitor) {
+    return visitor.visitAtom(this);
+  };
+  protoOf(TypeRefImpl).accept = function (visitor) {
+    return this.accept_bf9pe1_k$(visitor);
+  };
+  protoOf(TypeRefImpl).assign_9qr39z_k$ = function (objectConverter, propertyName, value) {
+    var companionObjectRef = get_companionObjectRef(this.type_1);
+    if (companionObjectRef instanceof Some)
+      assign_0(companionObjectRef.value_1, objectConverter, propertyName, value);
+    else {
+      assign_1(this.type_1, objectConverter, propertyName, value, null);
+    }
+    return true;
+  };
+  protoOf(TypeRefImpl).asAtom_nbael9_k$ = function () {
+    return this.$$delegate_0__1.asAtom_nbael9_k$();
+  };
+  protoOf(TypeRefImpl).asAtom = function () {
+    return this.asAtom_nbael9_k$();
+  };
+  protoOf(TypeRefImpl).get_arity_iosiic_k$ = function () {
+    return this.$$delegate_0__1.get_arity_iosiic_k$();
+  };
+  protoOf(TypeRefImpl).get_isAtom_evuq3o_k$ = function () {
+    return this.$$delegate_0__1.get_isAtom_evuq3o_k$();
+  };
+  protoOf(TypeRefImpl).get_isEmptyBlock_mhm4pf_k$ = function () {
+    return this.$$delegate_0__1.get_isEmptyBlock_mhm4pf_k$();
+  };
+  protoOf(TypeRefImpl).get_isEmptyList_9w8q3c_k$ = function () {
+    return this.$$delegate_0__1.get_isEmptyList_9w8q3c_k$();
+  };
+  protoOf(TypeRefImpl).get_isTrue_ew6ti9_k$ = function () {
+    return this.$$delegate_0__1.get_isTrue_ew6ti9_k$();
+  };
+  protoOf(TypeRefImpl).get_value_j01efc_k$ = function () {
+    return this.$$delegate_0__1.get_value_j01efc_k$();
+  };
+  protoOf(TypeRefImpl).get_argsList_cw1bs4_k$ = function () {
+    return this.$$delegate_0__1.get_argsList_cw1bs4_k$();
+  };
+  protoOf(TypeRefImpl).get_variables_75f0zy_k$ = function () {
+    return this.$$delegate_0__1.get_variables_75f0zy_k$();
+  };
+  protoOf(TypeRefImpl).asStruct_l3eul5_k$ = function () {
+    return this.$$delegate_0__1.asStruct_l3eul5_k$();
+  };
+  protoOf(TypeRefImpl).asStruct = function () {
+    return this.asStruct_l3eul5_k$();
+  };
+  protoOf(TypeRefImpl).append = function (argument) {
+    return this.$$delegate_0__1.append(argument);
+  };
+  protoOf(TypeRefImpl).addLast = function (argument) {
+    return this.$$delegate_0__1.addLast(argument);
+  };
+  protoOf(TypeRefImpl).addFirst = function (argument) {
+    return this.$$delegate_0__1.addFirst(argument);
+  };
+  protoOf(TypeRefImpl).insertAt = function (index, argument) {
+    return this.$$delegate_0__1.insertAt(index, argument);
+  };
+  protoOf(TypeRefImpl).setFunctor = function (functor) {
+    return this.$$delegate_0__1.setFunctor(functor);
+  };
+  protoOf(TypeRefImpl).getArgAt = function (index) {
+    return this.$$delegate_0__1.getArgAt(index);
+  };
+  protoOf(TypeRefImpl).setArgs = function (args) {
+    return this.$$delegate_0__1.setArgs(args);
+  };
+  protoOf(TypeRefImpl).setArgsIterable = function (args) {
+    return this.$$delegate_0__1.setArgsIterable(args);
+  };
+  protoOf(TypeRefImpl).setArgsSequence = function (args) {
+    return this.$$delegate_0__1.setArgsSequence(args);
+  };
+  protoOf(TypeRefImpl).get = function (index) {
+    return this.$$delegate_0__1.get(index);
+  };
+  protoOf(TypeRefImpl).get_isStruct_zeoyoo_k$ = function () {
+    return this.$$delegate_0__1.get_isStruct_zeoyoo_k$();
+  };
+  protoOf(TypeRefImpl).get_isClause_rwzxtu_k$ = function () {
+    return this.$$delegate_0__1.get_isClause_rwzxtu_k$();
+  };
+  protoOf(TypeRefImpl).get_isRule_ew5ljj_k$ = function () {
+    return this.$$delegate_0__1.get_isRule_ew5ljj_k$();
+  };
+  protoOf(TypeRefImpl).get_isTuple_zhv5m3_k$ = function () {
+    return this.$$delegate_0__1.get_isTuple_zhv5m3_k$();
+  };
+  protoOf(TypeRefImpl).get_isList_ew1iwh_k$ = function () {
+    return this.$$delegate_0__1.get_isList_ew1iwh_k$();
+  };
+  protoOf(TypeRefImpl).get_isCons_evvwck_k$ = function () {
+    return this.$$delegate_0__1.get_isCons_evvwck_k$();
+  };
+  protoOf(TypeRefImpl).get_isIndicator_llw8m4_k$ = function () {
+    return this.$$delegate_0__1.get_isIndicator_llw8m4_k$();
+  };
+  protoOf(TypeRefImpl).get_functor_75vgt2_k$ = function () {
+    return this.$$delegate_0__1.get_functor_75vgt2_k$();
+  };
+  protoOf(TypeRefImpl).get_isFunctorWellFormed_fgwhjl_k$ = function () {
+    return this.$$delegate_0__1.get_isFunctorWellFormed_fgwhjl_k$();
+  };
+  protoOf(TypeRefImpl).get_indicator_39dti2_k$ = function () {
+    return this.$$delegate_0__1.get_indicator_39dti2_k$();
+  };
+  protoOf(TypeRefImpl).get_argsSequence_z7gge1_k$ = function () {
+    return this.$$delegate_0__1.get_argsSequence_z7gge1_k$();
+  };
+  protoOf(TypeRefImpl).compareTo_kfa5id_k$ = function (other) {
+    return this.$$delegate_0__1.compareTo_kfa5id_k$(other);
+  };
+  protoOf(TypeRefImpl).compareTo_hpufkf_k$ = function (other) {
+    return this.compareTo_kfa5id_k$((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+  };
+  protoOf(TypeRefImpl).equalsUsingVarCompleteNames = function (other, useVarCompleteName) {
+    return this.$$delegate_0__1.equalsUsingVarCompleteNames(other, useVarCompleteName);
+  };
+  protoOf(TypeRefImpl).equals = function (other) {
+    return this.$$delegate_0__1.equals(other);
+  };
+  protoOf(TypeRefImpl).structurallyEquals = function (other) {
+    return this.$$delegate_0__1.structurallyEquals(other);
+  };
+  protoOf(TypeRefImpl).castToAtom = function () {
+    return this.$$delegate_0__1.castToAtom();
+  };
+  protoOf(TypeRefImpl).castToClause = function () {
+    return this.$$delegate_0__1.castToClause();
+  };
+  protoOf(TypeRefImpl).castToCons = function () {
+    return this.$$delegate_0__1.castToCons();
+  };
+  protoOf(TypeRefImpl).castToConstant = function () {
+    return this.$$delegate_0__1.castToConstant();
+  };
+  protoOf(TypeRefImpl).castToDirective = function () {
+    return this.$$delegate_0__1.castToDirective();
+  };
+  protoOf(TypeRefImpl).castToEmptyList = function () {
+    return this.$$delegate_0__1.castToEmptyList();
+  };
+  protoOf(TypeRefImpl).castToEmptyBlock = function () {
+    return this.$$delegate_0__1.castToEmptyBlock();
+  };
+  protoOf(TypeRefImpl).castToFact = function () {
+    return this.$$delegate_0__1.castToFact();
+  };
+  protoOf(TypeRefImpl).castToIndicator = function () {
+    return this.$$delegate_0__1.castToIndicator();
+  };
+  protoOf(TypeRefImpl).castToInteger = function () {
+    return this.$$delegate_0__1.castToInteger();
+  };
+  protoOf(TypeRefImpl).castToList = function () {
+    return this.$$delegate_0__1.castToList();
+  };
+  protoOf(TypeRefImpl).castToNumeric = function () {
+    return this.$$delegate_0__1.castToNumeric();
+  };
+  protoOf(TypeRefImpl).castToReal = function () {
+    return this.$$delegate_0__1.castToReal();
+  };
+  protoOf(TypeRefImpl).castToRule = function () {
+    return this.$$delegate_0__1.castToRule();
+  };
+  protoOf(TypeRefImpl).castToBlock = function () {
+    return this.$$delegate_0__1.castToBlock();
+  };
+  protoOf(TypeRefImpl).castToStruct = function () {
+    return this.$$delegate_0__1.castToStruct();
+  };
+  protoOf(TypeRefImpl).castToRecursive = function () {
+    return this.$$delegate_0__1.castToRecursive();
+  };
+  protoOf(TypeRefImpl).castToTerm = function () {
+    return this.$$delegate_0__1.castToTerm();
+  };
+  protoOf(TypeRefImpl).castToTruth = function () {
+    return this.$$delegate_0__1.castToTruth();
+  };
+  protoOf(TypeRefImpl).castToTuple = function () {
+    return this.$$delegate_0__1.castToTuple();
+  };
+  protoOf(TypeRefImpl).castToVar = function () {
+    return this.$$delegate_0__1.castToVar();
+  };
+  protoOf(TypeRefImpl).asClause = function () {
+    return this.$$delegate_0__1.asClause();
+  };
+  protoOf(TypeRefImpl).asCons = function () {
+    return this.$$delegate_0__1.asCons();
+  };
+  protoOf(TypeRefImpl).asDirective = function () {
+    return this.$$delegate_0__1.asDirective();
+  };
+  protoOf(TypeRefImpl).asEmptyList = function () {
+    return this.$$delegate_0__1.asEmptyList();
+  };
+  protoOf(TypeRefImpl).asEmptyBlock = function () {
+    return this.$$delegate_0__1.asEmptyBlock();
+  };
+  protoOf(TypeRefImpl).asFact = function () {
+    return this.$$delegate_0__1.asFact();
+  };
+  protoOf(TypeRefImpl).asIndicator = function () {
+    return this.$$delegate_0__1.asIndicator();
+  };
+  protoOf(TypeRefImpl).asInteger = function () {
+    return this.$$delegate_0__1.asInteger();
+  };
+  protoOf(TypeRefImpl).asList = function () {
+    return this.$$delegate_0__1.asList();
+  };
+  protoOf(TypeRefImpl).asNumeric = function () {
+    return this.$$delegate_0__1.asNumeric();
+  };
+  protoOf(TypeRefImpl).asReal = function () {
+    return this.$$delegate_0__1.asReal();
+  };
+  protoOf(TypeRefImpl).asRule = function () {
+    return this.$$delegate_0__1.asRule();
+  };
+  protoOf(TypeRefImpl).asBlock = function () {
+    return this.$$delegate_0__1.asBlock();
+  };
+  protoOf(TypeRefImpl).asRecursive = function () {
+    return this.$$delegate_0__1.asRecursive();
+  };
+  protoOf(TypeRefImpl).asTerm = function () {
+    return this.$$delegate_0__1.asTerm();
+  };
+  protoOf(TypeRefImpl).asTruth = function () {
+    return this.$$delegate_0__1.asTruth();
+  };
+  protoOf(TypeRefImpl).asTuple = function () {
+    return this.$$delegate_0__1.asTuple();
+  };
+  protoOf(TypeRefImpl).asVar = function () {
+    return this.$$delegate_0__1.asVar();
+  };
+  protoOf(TypeRefImpl).hashCode = function () {
+    return this.$$delegate_0__1.hashCode();
+  };
+  protoOf(TypeRefImpl).toString = function () {
+    return this.$$delegate_0__1.toString();
+  };
+  protoOf(TypeRefImpl).get_isVar_it73p0_k$ = function () {
+    return this.$$delegate_0__1.get_isVar_it73p0_k$();
+  };
+  protoOf(TypeRefImpl).get_isTruth_zhwyo8_k$ = function () {
+    return this.$$delegate_0__1.get_isTruth_zhwyo8_k$();
+  };
+  protoOf(TypeRefImpl).get_isRecursive_id8h1d_k$ = function () {
+    return this.$$delegate_0__1.get_isRecursive_id8h1d_k$();
+  };
+  protoOf(TypeRefImpl).get_isNumber_x9n6xo_k$ = function () {
+    return this.$$delegate_0__1.get_isNumber_x9n6xo_k$();
+  };
+  protoOf(TypeRefImpl).get_isInteger_vb3zt7_k$ = function () {
+    return this.$$delegate_0__1.get_isInteger_vb3zt7_k$();
+  };
+  protoOf(TypeRefImpl).get_isReal_ew59f5_k$ = function () {
+    return this.$$delegate_0__1.get_isReal_ew59f5_k$();
+  };
+  protoOf(TypeRefImpl).getTag = function (name) {
+    return this.$$delegate_0__1.getTag(name);
+  };
+  protoOf(TypeRefImpl).resetTags = function (tags) {
+    return this.$$delegate_0__1.resetTags(tags);
+  };
+  protoOf(TypeRefImpl).containsTag = function (name) {
+    return this.$$delegate_0__1.containsTag(name);
+  };
+  protoOf(TypeRefImpl).get_tags_wousf6_k$ = function () {
+    return this.$$delegate_0__1.get_tags_wousf6_k$();
+  };
+  protoOf(TypeRefImpl).get_isGround_twq4nu_k$ = function () {
+    return this.$$delegate_0__1.get_isGround_twq4nu_k$();
+  };
+  function actuallyInvoke($this, $receiver, ref, method, resultTerm) {
+    var result = ref.invoke_yaglp8_k$(get_termToObjectConverter($receiver), method.get_functor_75vgt2_k$(), method.get_argsList_cw1bs4_k$());
+    var tmp;
+    if (result instanceof Value) {
+      tmp = Companion_getInstance_7().mgu_jyyt35_k$($receiver, resultTerm, $this.getInvocationResult_3mb3ft_k$(result));
+    } else {
+      tmp = Companion_getInstance_6().failed();
+    }
+    return tmp;
+  }
+  function AbstractInvoke(suffix) {
+    Functional.call(this, 'invoke_' + suffix);
+  }
+  protoOf(AbstractInvoke).computeOneSubstitution_omzw8j_k$ = function (_this__u8e3s4, first, second, third) {
+    Companion_getInstance_7().ensuringArgumentIsStruct_lk4yyp_k$(_this__u8e3s4, 0);
+    Companion_getInstance_7().ensuringArgumentIsStruct_lk4yyp_k$(_this__u8e3s4, 1);
+    var method = isInterface(second, Struct) ? second : THROW_CCE();
+    var tmp$ret$0;
+    $l$block: {
+      // Inline function 'it.unibo.tuprolog.solve.libs.oop.primitives.catchingOopExceptions' call
+      try {
+        var tmp;
+        if (isInterface(first, Ref)) {
+          tmp = actuallyInvoke(this, _this__u8e3s4, first, method, third);
+        } else {
+          if (isInterface(first, Struct)) {
+            var ref = findRefFromAlias(_this__u8e3s4, first);
+            tmp = actuallyInvoke(this, _this__u8e3s4, ref, method, third);
+          } else {
+            tmp = Companion_getInstance_6().failed();
+          }
+        }
+        tmp$ret$0 = tmp;
+        break $l$block;
+      } catch ($p) {
+        if ($p instanceof OopException) {
+          var e = $p;
+          throw e.toLogicError_fiiu4e_k$(_this__u8e3s4.context, _this__u8e3s4.signature);
+        } else {
+          if ($p instanceof ResolutionException) {
+            var e_0 = $p;
+            throw e_0;
+          } else {
+            if ($p instanceof Error) {
+              var e_1 = $p;
+              throw Companion_instance_4.forUncaughtKtException(_this__u8e3s4.context, e_1);
+            } else {
+              throw $p;
+            }
+          }
+        }
+      }
+    }
+    return tmp$ret$0;
+  };
+  protoOf(AbstractInvoke).computeOneSubstitution_c4wm0a_k$ = function (_this__u8e3s4, first, second, third) {
+    return this.computeOneSubstitution_omzw8j_k$(_this__u8e3s4, first, second, third);
+  };
+  function AbstractIterableItems$computeOneSubstitution$lambda($converter) {
+    return function (it) {
+      return $converter.convert_i46eqg_k$(it);
+    };
+  }
+  function AbstractIterableItems$computeOneSubstitution$lambda_0(it) {
+    return Companion_getInstance_11().default_1.convert_2fnsng_k$(it);
+  }
+  function AbstractIterableItems(iterable, target) {
+    Functional_0.call(this, iterable + '_items');
+    this.target_1 = target;
+  }
+  protoOf(AbstractIterableItems).computeOneSubstitution_uplwem_k$ = function (_this__u8e3s4, first, second) {
+    var tmp;
+    var tmp_0;
+    if (isInterface(first, Var)) {
+      tmp_0 = isInterface(second, Var);
+    } else {
+      tmp_0 = false;
+    }
+    if (tmp_0) {
+      // Inline function 'kotlin.let' call
+      Companion_getInstance_7().ensuringAllArgumentsAreInstantiated_60kzw2_k$(_this__u8e3s4);
+      tmp = Companion_getInstance_6().failed();
+    } else {
+      if (isInterface(second, List)) {
+        var converter = get_termToObjectConverter(_this__u8e3s4);
+        var tmp_1 = second.toSequence_lzjcyk_k$();
+        var items = this.toIterable_j8vuup_k$(map(tmp_1, AbstractIterableItems$computeOneSubstitution$lambda(converter)));
+        var objectRef = Companion_getInstance_10().of_u40ndk_k$(items);
+        tmp = Companion_getInstance_7().mgu_jyyt35_k$(_this__u8e3s4, first, objectRef);
+      } else {
+        if (isInterface(first, ObjectRef)) {
+          var obj = first.get_object_hhhtfs_k$();
+          var tmp_2;
+          if (this.get_isIterable_d32sbw_k$(obj)) {
+            var tmp_3 = this.get_items_ay3mtl_k$(!(obj == null) ? obj : THROW_CCE());
+            var items_0 = map(tmp_3, AbstractIterableItems$computeOneSubstitution$lambda_0);
+            tmp_2 = Companion_getInstance_7().mgu_jyyt35_k$(_this__u8e3s4, second, Companion_instance_5.ofSequence(items_0));
+          } else {
+            tmp_2 = Companion_getInstance_6().failed();
+          }
+          tmp = tmp_2;
+        } else {
+          throw Companion_instance_1.forArgument_54essq_k$(_this__u8e3s4.context, _this__u8e3s4.signature, Expected_OBJECT_REFERENCE_getInstance(), first, 0);
+        }
+      }
+    }
+    return tmp;
+  };
+  protoOf(AbstractIterableItems).computeOneSubstitution_a2ny4b_k$ = function (_this__u8e3s4, first, second) {
+    return this.computeOneSubstitution_uplwem_k$(_this__u8e3s4, first, second);
+  };
+  function ArrayItems() {
+    ArrayItems_instance = this;
+    AbstractIterableItems.call(this, 'array', PrimitiveClasses_getInstance().get_arrayClass_udg0fc_k$());
+    this.help_1 = "`array_items(?ArrayRef, ?Items)`\n\nConverts between a Prolog list `Items` and an object reference `ArrayRef` wrapping a JVM/Kotlin array (`Object[]`) with the same elements. If `Items` is a list, each item is converted to an object (respecting `as` casts and `$Alias` references) and `ArrayRef` is unified with a reference to a fresh array; otherwise, if `ArrayRef` references an array, `Items` is unified with the list of its elements converted back to terms: strings become atoms, numbers become Prolog numbers, and other objects stay object references. Deterministic. Raises an instantiation error if both arguments are unbound, and a type error if `ArrayRef` is neither unbound nor an object reference; fails if it references something that is not an array.\n\n**Examples**\n\n```prolog\n?- array_items(A, [a, b, c]), array_items(A, L).\nL = [a, b, c].\n\n?- array_items(A, [1, 2.5]), array_items(A, L).\nL = [1, 2.5].\n\n?- new_object('java.util.ArrayList', [], L), array_items(L, Items).\nno.\n\n?- array_items(A, L).\nthrows error(instantiation_error, _).\n```";
+  }
+  protoOf(ArrayItems).get_help_won7nu_k$ = function () {
+    return this.help_1;
+  };
+  protoOf(ArrayItems).toIterable_j8vuup_k$ = function (_this__u8e3s4) {
+    // Inline function 'kotlin.collections.toTypedArray' call
+    var this_0 = toList(_this__u8e3s4);
+    return copyToArray(this_0);
+  };
+  protoOf(ArrayItems).get_isIterable_d32sbw_k$ = function (_this__u8e3s4) {
+    return !(_this__u8e3s4 == null) ? isArray(_this__u8e3s4) : false;
+  };
+  protoOf(ArrayItems).get_items_dh9b15_k$ = function (_this__u8e3s4) {
+    return asSequence_0(_this__u8e3s4);
+  };
+  protoOf(ArrayItems).get_items_ay3mtl_k$ = function (_this__u8e3s4) {
+    return this.get_items_dh9b15_k$(isArray(_this__u8e3s4) ? _this__u8e3s4 : THROW_CCE());
+  };
+  var ArrayItems_instance;
+  function ArrayItems_getInstance() {
+    if (ArrayItems_instance == null)
+      new ArrayItems();
+    return ArrayItems_instance;
+  }
+  function Assign() {
+    Assign_instance = this;
+    Predicative.call(this, 'assign');
+    this.help_1 = "`assign(+Ref, +Property, +Value)`\n\nWrites `Value` into the public mutable property named `Property` of the object (or, for a type reference, the static/companion member) referenced by `Ref`. `Ref` must be an object or type reference (not a `$Alias` term); `Value` is converted to the property's type (it may use `as` casts or be a `$Alias` reference). If several properties share the name, the one whose type best fits `Value` is chosen. Succeeds once. Raises a type error if `Ref` is not a reference or `Property` is not an atom, an existence error if no suitable mutable property exists, and a representation error if `Value` cannot be converted. This is what `Obj.prop := Value` (see `:=/2`) lowers to.\n\n**Examples**\n\n```prolog\n?- new_object('java.awt.Point', [1, 2], P), assign(P, x, 5), X := P.x.\nX = 5.\n\n?- new_object('java.awt.Point', [1, 2], P), assign(P, nope, 5).\nthrows error(existence_error(_, _), _).\n\n?- assign(foo, x, 5).\nthrows error(type_error(_, foo), _).\n```";
+  }
+  protoOf(Assign).get_help_won7nu_k$ = function () {
+    return this.help_1;
+  };
+  protoOf(Assign).compute_ndmwim_k$ = function (_this__u8e3s4, first, second, third) {
+    Companion_getInstance_7().ensuringArgumentIsAtom_5kuj97_k$(_this__u8e3s4, 0);
+    Companion_getInstance_7().ensuringArgumentIsAtom_5kuj97_k$(_this__u8e3s4, 1);
+    var tmp$ret$0;
+    $l$block: {
+      // Inline function 'it.unibo.tuprolog.solve.libs.oop.primitives.catchingOopExceptions' call
+      try {
+        var tmp;
+        if (isInterface(first, Ref)) {
+          tmp = first;
+        } else {
+          tmp = findRefFromAlias(_this__u8e3s4, isInterface(first, Atom) ? first : THROW_CCE());
+        }
+        var ref = tmp;
+        var tmp_0;
+        if (Companion_getInstance_7().match_tf8j11_k$(_this__u8e3s4, third, get_DEALIASING_TEMPLATE())) {
+          tmp_0 = findRefFromAlias(_this__u8e3s4, isInterface(third, Struct) ? third : THROW_CCE());
+        } else {
+          tmp_0 = third;
+        }
+        var value = tmp_0;
+        var tmp_1 = get_termToObjectConverter(_this__u8e3s4);
+        tmp$ret$0 = ref.assign_9qr39z_k$(tmp_1, (isInterface(second, Atom) ? second : THROW_CCE()).get_value_j01efc_k$(), value);
+        break $l$block;
+      } catch ($p) {
+        if ($p instanceof OopException) {
+          var e = $p;
+          throw e.toLogicError_fiiu4e_k$(_this__u8e3s4.context, _this__u8e3s4.signature);
+        } else {
+          if ($p instanceof ResolutionException) {
+            var e_0 = $p;
+            throw e_0;
+          } else {
+            if ($p instanceof Error) {
+              var e_1 = $p;
+              throw Companion_instance_4.forUncaughtKtException(_this__u8e3s4.context, e_1);
+            } else {
+              throw $p;
+            }
+          }
+        }
+      }
+    }
+    return tmp$ret$0;
+  };
+  protoOf(Assign).compute_rgfli7_k$ = function (_this__u8e3s4, first, second, third) {
+    return this.compute_ndmwim_k$(_this__u8e3s4, first, second, third);
+  };
+  var Assign_instance;
+  function Assign_getInstance() {
+    if (Assign_instance == null)
+      new Assign();
+    return Assign_instance;
+  }
+  function cast($this, $receiver, term, type, result) {
+    var tmp;
+    if (type == null) {
+      tmp = Companion_getInstance_6().failed();
+    } else {
+      var casted = get_termToObjectConverter($receiver).convertInto_62bmhg_k$(type, term);
+      tmp = Companion_getInstance_7().mgu_jyyt35_k$($receiver, result, Companion_getInstance_10().of_u40ndk_k$(casted));
+    }
+    return tmp;
+  }
+  function Cast$computeAll$lambda(it) {
+    return allSupertypes(it, false);
+  }
+  function Cast$computeAll$lambda_0($$this$catchingOopExceptions, $first, $third, $second) {
+    return function (it) {
+      return cast(Cast_getInstance(), $$this$catchingOopExceptions, $first, it, $third).plus(Companion_getInstance_7().mgu_jyyt35_k$($$this$catchingOopExceptions, $second, Companion_instance_12.of_7pw7zp_k$(it)));
+    };
+  }
+  function Cast$computeAll$lambda_1($$this$catchingOopExceptions) {
+    return function (it) {
+      return $$this$catchingOopExceptions.replyWith(it, VOID, []);
+    };
+  }
+  function Cast() {
+    Cast_instance = this;
+    TernaryRelation.call(this, 'cast');
+    this.help_1 = '`cast(+Term, ?Type, ?ObjectRef)`\n\nConverts `Term` into an instance of `Type` and unifies `ObjectRef` with a reference to the resulting object. `Type` must be a type reference or a `$Alias` reference to a type (e.g. `$long`); any other bound value raises a type error, and an unregistered alias raises an existence error. Fails if `Term` cannot be converted into `Type`. If `Type` is unbound, it enumerates on backtracking every type `Term` can be converted into (and all their supertypes), binding `Type` to a type reference each time. Use it to force a specific representation, e.g. `cast(1, $long, L)` yields a reference to a `Long` rather than an `Int`; inside method or constructor arguments, the `X as Type` notation (`as/2`) forces a conversion inline.\n\n**Examples**\n\n```prolog\n?- cast(1, $long, R), object_ref(R).\nyes.\n\n?- cast(abc, $int, R).\nno.\n```';
+  }
+  protoOf(Cast).get_help_won7nu_k$ = function () {
+    return this.help_1;
+  };
+  protoOf(Cast).computeAll_icj3zj_k$ = 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.get_type_wovaf7_k$(), third), VOID, []));
+          } catch ($p) {
+            var tmp_2;
+            if ($p instanceof TermToObjectConversionException) {
+              var _unused_var__etf5q3 = $p;
+              tmp_2 = sequenceOf(_this__u8e3s4.replyFail(VOID, []));
+            } else {
+              throw $p;
+            }
+            tmp_0 = tmp_2;
+          }
+          tmp = tmp_0;
+        } else {
+          if (isInterface(second, Var)) {
+            var tmp_3 = asSequence(get_termToObjectConverter(_this__u8e3s4).admissibleTypes_1kwmul_k$(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));
+          } else {
+            ensuringArgumentIsTypeRef(_this__u8e3s4, 1);
+            tmp = sequenceOf(_this__u8e3s4.replyFail(VOID, []));
+          }
+        }
+        tmp$ret$0 = tmp;
+        break $l$block;
+      } catch ($p_0) {
+        if ($p_0 instanceof OopException) {
+          var e = $p_0;
+          throw e.toLogicError_fiiu4e_k$(_this__u8e3s4.context, _this__u8e3s4.signature);
+        } else {
+          if ($p_0 instanceof ResolutionException) {
+            var e_0 = $p_0;
+            throw e_0;
+          } else {
+            if ($p_0 instanceof Error) {
+              var e_1 = $p_0;
+              throw Companion_instance_4.forUncaughtKtException(_this__u8e3s4.context, e_1);
+            } else {
+              throw $p_0;
+            }
+          }
+        }
+      }
+    }
+    return tmp$ret$0;
+  };
+  protoOf(Cast).computeAll_1dzsi4_k$ = function (_this__u8e3s4, first, second, third) {
+    return this.computeAll_icj3zj_k$(_this__u8e3s4, first, second, third);
+  };
+  var Cast_instance;
+  function Cast_getInstance() {
+    if (Cast_instance == null)
+      new Cast();
+    return Cast_instance;
+  }
+  function InvokeMethod() {
+    InvokeMethod_instance = this;
+    AbstractInvoke.call(this, 'method');
+    this.help_1 = "`invoke_method(+Ref, +Method, ?Result)`\n\nInvokes a public member of the object referenced by `Ref` and unifies `Result` with the returned value, converted to a plain term when possible: strings and characters become atoms, numbers become numbers, booleans become `true`/`false`, `null` becomes the null reference, and any other object stays an object reference. `Ref` may be an object reference, a type reference (to call static or companion-object members) or a `$Alias` reference; `Method` is an atom (no arguments; also reads a property) or a compound `name(Arg1, ..., ArgN)`. Arguments are converted to objects and the best-matching overload is selected; use `as` casts to steer the choice. Succeeds once. Raises a type error if `Ref` is neither a reference nor a `$Alias` term, an existence error if the alias is not registered or no suitable method exists, a representation error if an argument cannot be converted, and a system error if the method itself throws. This is what `Obj.method(...)` (see `./2`) lowers to.\n\n**Examples**\n\n```prolog\n?- invoke_method($math, max(1, 2), M).\nM = 2.\n\n?- new_object('java.lang.StringBuilder', [abc], B), invoke_method(B, reverse, R), invoke_method(R, toString, S).\nS = cba.\n\n?- invoke_method($math, nope, M).\nthrows error(existence_error(_, _), _).\n\n?- invoke_method(foo, toString, R).\nthrows error(type_error(_, foo), _).\n```";
+  }
+  protoOf(InvokeMethod).get_help_won7nu_k$ = function () {
+    return this.help_1;
+  };
+  protoOf(InvokeMethod).getInvocationResult_3mb3ft_k$ = function (_this__u8e3s4) {
+    return _this__u8e3s4.toTerm_edaxrt_k$();
+  };
+  var InvokeMethod_instance;
+  function InvokeMethod_getInstance() {
+    if (InvokeMethod_instance == null)
+      new InvokeMethod();
+    return InvokeMethod_instance;
+  }
+  function InvokeStrict() {
+    InvokeStrict_instance = this;
+    AbstractInvoke.call(this, 'strict');
+    this.help_1 = "`invoke_strict(+Ref, +Method, ?Result)`\n\nLike `invoke_method/3`, but `Result` is always unified with an object reference wrapping the returned value, even when it could be converted to a plain term (e.g. a string or number stays a reference). Useful to keep calling methods on the result with its exact runtime type preserved, e.g. a `String` you want to keep manipulating as a JVM object. Accepts the same `Ref` and `Method` shapes, and raises the same errors, as `invoke_method/3`.\n\n**Examples**\n\n```prolog\n?- new_object('java.lang.StringBuilder', [abc], B), invoke_strict(B, toString, S), object_ref(S), N := S.length.\nN = 3.\n\n?- new_object('java.lang.StringBuilder', [abc], B), invoke_method(B, toString, S).\nS = abc.\n\n?- invoke_strict($math, nope, R).\nthrows error(existence_error(_, _), _).\n```";
+  }
+  protoOf(InvokeStrict).get_help_won7nu_k$ = function () {
+    return this.help_1;
+  };
+  protoOf(InvokeStrict).getInvocationResult_3mb3ft_k$ = function (_this__u8e3s4) {
+    return _this__u8e3s4.asObjectRef_ji97lu_k$();
+  };
+  var InvokeStrict_instance;
+  function InvokeStrict_getInstance() {
+    if (InvokeStrict_instance == null)
+      new InvokeStrict();
+    return InvokeStrict_instance;
+  }
+  function ListItems() {
+    ListItems_instance = this;
+    AbstractIterableItems.call(this, 'list', getKClass(KtList));
+    this.help_1 = "`list_items(?ListRef, ?Items)`\n\nConverts between a Prolog list `Items` and an object reference `ListRef` wrapping a JVM/Kotlin `List` with the same elements. If `Items` is a list, each item is converted to an object (respecting `as` casts and `$Alias` references) and `ListRef` is unified with a reference to a fresh list; otherwise, if `ListRef` references a `List`, `Items` is unified with its elements converted back to terms. Deterministic. Raises an instantiation error if both arguments are unbound, and a type error if `ListRef` is neither unbound nor an object reference; fails if it references something that is not a `List`.\n\n**Examples**\n\n```prolog\n?- list_items(L, [a, b]), N := L.size.\nN = 2.\n\n?- list_items(L, [1, 2.5]), list_items(L, Items).\nItems = [1, 2.5].\n\n?- new_object('java.util.ArrayList', [], L), L.add(x), L.add(y), list_items(L, Items).\nItems = [x, y].\n\n?- list_items(L, Items).\nthrows error(instantiation_error, _).\n```";
+  }
+  protoOf(ListItems).get_help_won7nu_k$ = function () {
+    return this.help_1;
+  };
+  protoOf(ListItems).toIterable_j8vuup_k$ = function (_this__u8e3s4) {
+    return toList(_this__u8e3s4);
+  };
+  protoOf(ListItems).get_isIterable_d32sbw_k$ = function (_this__u8e3s4) {
+    return !(_this__u8e3s4 == null) ? isInterface(_this__u8e3s4, KtList) : false;
+  };
+  protoOf(ListItems).get_items_cgxsjz_k$ = function (_this__u8e3s4) {
+    return asSequence(_this__u8e3s4);
+  };
+  protoOf(ListItems).get_items_ay3mtl_k$ = function (_this__u8e3s4) {
+    return this.get_items_cgxsjz_k$(isInterface(_this__u8e3s4, KtList) ? _this__u8e3s4 : THROW_CCE());
+  };
+  var ListItems_instance;
+  function ListItems_getInstance() {
+    if (ListItems_instance == null)
+      new ListItems();
+    return ListItems_instance;
+  }
+  function NewObject3() {
+    NewObject3_instance = this;
+    Functional.call(this, 'new_object');
+    this.help_1 = "`new_object(+Type, +Arguments, -ObjectRef)`\n\nInstantiates `Type` by calling its public constructor that best matches the list `Arguments`, and unifies `ObjectRef` with a reference to the new object. `Type` may be an atom holding a fully qualified type name (e.g. `'java.util.ArrayList'`), a type reference, or a `$Alias` reference to a type (e.g. `$arraylist`). Arguments are converted to objects as in `invoke_method/3`; use `as` casts to disambiguate overloaded constructors. Fails if the type name cannot be resolved. Raises a type error if `Type` is not callable or `Arguments` is not a list, an existence error if no constructor accepts the arguments, and a system error if the constructor throws.\n\n**Examples**\n\n```prolog\n?- new_object('java.util.ArrayList', [], L), L.add(a), N := L.size.\nN = 1.\n\n?- new_object($arraylist, [], L), list_items(L, Items).\nItems = [].\n\n?- new_object('no.such.Type', [], L).\nno.\n\n?- new_object('java.util.ArrayList', [a], L).\nthrows error(representation_error(_), _).\n\n?- new_object('java.util.ArrayList', [a, b, c], L).\nthrows error(existence_error(oop_constructor, _), _).\n```";
+  }
+  protoOf(NewObject3).get_help_won7nu_k$ = function () {
+    return this.help_1;
+  };
+  protoOf(NewObject3).computeOneSubstitution_omzw8j_k$ = function (_this__u8e3s4, first, second, third) {
+    Companion_getInstance_7().ensuringArgumentIsStruct_lk4yyp_k$(_this__u8e3s4, 0);
+    Companion_getInstance_7().ensuringArgumentIsList_n20mbc_k$(_this__u8e3s4, 1);
+    var tmp$ret$0;
+    $l$block: {
+      // Inline function 'it.unibo.tuprolog.solve.libs.oop.primitives.catchingOopExceptions' call
+      try {
+        var type = getArgumentAsTypeRef(_this__u8e3s4, 0);
+        var arguments_0 = (isInterface(second, List) ? second : THROW_CCE()).toArray();
+        var tmp1_safe_receiver = type == null ? null : type.create_4i78so_k$(get_termToObjectConverter(_this__u8e3s4), arguments_0.slice());
+        var objectReference = tmp1_safe_receiver == null ? null : tmp1_safe_receiver.asObjectRef_ji97lu_k$();
+        var tmp;
+        if (objectReference == null) {
+          tmp = null;
+        } else {
+          // Inline function 'kotlin.let' call
+          tmp = Companion_getInstance_7().mgu_jyyt35_k$(_this__u8e3s4, third, objectReference);
+        }
+        var tmp3_elvis_lhs = tmp;
+        tmp$ret$0 = tmp3_elvis_lhs == null ? Companion_getInstance_6().failed() : tmp3_elvis_lhs;
+        break $l$block;
+      } catch ($p) {
+        if ($p instanceof OopException) {
+          var e = $p;
+          throw e.toLogicError_fiiu4e_k$(_this__u8e3s4.context, _this__u8e3s4.signature);
+        } else {
+          if ($p instanceof ResolutionException) {
+            var e_0 = $p;
+            throw e_0;
+          } else {
+            if ($p instanceof Error) {
+              var e_1 = $p;
+              throw Companion_instance_4.forUncaughtKtException(_this__u8e3s4.context, e_1);
+            } else {
+              throw $p;
+            }
+          }
+        }
+      }
+    }
+    return tmp$ret$0;
+  };
+  protoOf(NewObject3).computeOneSubstitution_c4wm0a_k$ = function (_this__u8e3s4, first, second, third) {
+    return this.computeOneSubstitution_omzw8j_k$(_this__u8e3s4, first, second, third);
+  };
+  var NewObject3_instance;
+  function NewObject3_getInstance() {
+    if (NewObject3_instance == null)
+      new NewObject3();
+    return NewObject3_instance;
+  }
+  function NullRef_0() {
+    NullRef_instance = this;
+    TypeTester.call(this, 'null_ref');
+    this.help_1 = "`null_ref(@Term)`\n\nSucceeds if `Term` is the null reference, i.e. the term representing a JVM/Kotlin `null` value (as returned, for instance, by a method returning `null`). Fails otherwise, including when `Term` is unbound.\n\n**Examples**\n\n```prolog\n?- new_object('java.util.HashMap', [], M), invoke_method(M, get(k), V), null_ref(V).\nyes.\n\n?- null_ref(foo).\nno.\n\n?- null_ref(X).\nno.\n```";
+  }
+  protoOf(NullRef_0).get_help_won7nu_k$ = function () {
+    return this.help_1;
+  };
+  protoOf(NullRef_0).testType_81tyi7_k$ = function (term) {
+    return isInterface(term, NullRef);
+  };
+  var NullRef_instance;
+  function NullRef_getInstance() {
+    if (NullRef_instance == null)
+      new NullRef_0();
+    return NullRef_instance;
+  }
+  function ObjectRef_0() {
+    ObjectRef_instance = this;
+    TypeTester.call(this, 'object_ref');
+    this.help_1 = "`object_ref(@Term)`\n\nSucceeds if `Term` is an object reference, i.e. a term wrapping a JVM/Kotlin object (rendered like `<object:java.util.ArrayList#123>`), as produced by `new_object/3`, `cast/3`, `invoke_strict/3` and friends. The null reference counts as an object reference. Fails otherwise, including when `Term` is unbound.\n\n**Examples**\n\n```prolog\n?- new_object('java.util.ArrayList', [], L), object_ref(L).\nyes.\n\n?- type('java.lang.String', T), object_ref(T).\nno.\n\n?- object_ref(X).\nno.\n```";
+  }
+  protoOf(ObjectRef_0).get_help_won7nu_k$ = function () {
+    return this.help_1;
+  };
+  protoOf(ObjectRef_0).testType_81tyi7_k$ = function (term) {
+    return isInterface(term, ObjectRef);
+  };
+  var ObjectRef_instance;
+  function ObjectRef_getInstance() {
+    if (ObjectRef_instance == null)
+      new ObjectRef_0();
+    return ObjectRef_instance;
+  }
+  function get_DEALIASING_TEMPLATE() {
+    _init_properties_PrimitiveExtensions_kt__hfa11z();
+    return DEALIASING_TEMPLATE;
+  }
+  var DEALIASING_TEMPLATE;
+  function get_CAST_TEMPLATE() {
+    _init_properties_PrimitiveExtensions_kt__hfa11z();
+    return CAST_TEMPLATE;
+  }
+  var CAST_TEMPLATE;
+  function findRefFromAlias(_this__u8e3s4, alias) {
+    _init_properties_PrimitiveExtensions_kt__hfa11z();
+    var tmp0_elvis_lhs = findRefFromAliasOrNull(_this__u8e3s4, alias);
+    var tmp;
+    if (tmp0_elvis_lhs == null) {
+      throw new NoSuchAnAliasException(alias);
+    } else {
+      tmp = tmp0_elvis_lhs;
+    }
+    return tmp;
+  }
+  function get_termToObjectConverter(_this__u8e3s4) {
+    _init_properties_PrimitiveExtensions_kt__hfa11z();
+    var tmp = Companion_getInstance_13();
+    return tmp.of$default_5ni81d_k$(VOID, _get_termToObjectConverter_$lambda_4bacq4(_this__u8e3s4));
+  }
+  function ensuringArgumentIsTypeRef(_this__u8e3s4, index) {
+    _init_properties_PrimitiveExtensions_kt__hfa11z();
+    var arg = _this__u8e3s4.arguments.get_c1px32_k$(index);
+    var tmp;
+    var tmp_0;
+    if (matchesDealiasingTemplate(_this__u8e3s4, arg)) {
+      var tmp_1 = findRefFromAlias(_this__u8e3s4, arg.castToStruct());
+      tmp_0 = isInterface(tmp_1, TypeRef);
+    } else {
+      tmp_0 = false;
+    }
+    if (tmp_0) {
+      tmp = _this__u8e3s4;
+    } else {
+      if (!isInterface(arg, TypeRef)) {
+        throw Companion_instance_1.forArgument_54essq_k$(_this__u8e3s4.context, _this__u8e3s4.signature, Expected_TYPE_REFERENCE_getInstance(), arg, index);
+      } else {
+        tmp = _this__u8e3s4;
+      }
+    }
+    return tmp;
+  }
+  function getArgumentAsTypeRef(_this__u8e3s4, index) {
+    _init_properties_PrimitiveExtensions_kt__hfa11z();
+    Companion_getInstance_7().ensuringArgumentIsStruct_lk4yyp_k$(_this__u8e3s4, index);
+    var arg = _this__u8e3s4.arguments.get_c1px32_k$(index);
+    var tmp;
+    if (isInterface(arg, TypeRef)) {
+      tmp = arg;
+    } else {
+      if (isInterface(arg, Atom)) {
+        tmp = Companion_getInstance_14().default_1.typeRefFromName_8i9x2s_k$(arg.get_value_j01efc_k$());
+      } 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.get_c1px32_k$(index);
+    var tmp;
+    if (matchesDealiasingTemplate(_this__u8e3s4, arg) && ensureAliasIsRegistered(_this__u8e3s4, arg.castToStruct())) {
+      tmp = _this__u8e3s4;
+    } else {
+      if (!isInterface(arg, Ref)) {
+        throw Companion_instance_1.forArgument_54essq_k$(_this__u8e3s4.context, _this__u8e3s4.signature, Expected_REFERENCE_getInstance(), arg, index);
+      } else {
+        tmp = _this__u8e3s4;
+      }
+    }
+    return tmp;
+  }
+  function findRefFromAliasOrNull(_this__u8e3s4, alias) {
+    _init_properties_PrimitiveExtensions_kt__hfa11z();
+    var tmp;
+    if (isDealiasingExpression(_this__u8e3s4, alias)) {
+      var tmp_0 = alias.get(0);
+      tmp = isInterface(tmp_0, Struct) ? tmp_0 : THROW_CCE();
+    } else {
+      throw new MalformedAliasException(alias);
+    }
+    var actualAlias = tmp;
+    var ActualRef = Companion_getInstance_8().of('ActualRef');
+    // Inline function 'kotlin.sequences.filterIsInstance' call
+    var this_0 = _this__u8e3s4.solve(Companion_getInstance_9().of('alias', [actualAlias, ActualRef]));
+    var tmp_1 = filter(this_0, findRefFromAliasOrNull$lambda);
+    var tmp$ret$0 = isInterface(tmp_1, Sequence) ? tmp_1 : THROW_CCE();
+    var tmp0_safe_receiver = firstOrNull(tmp$ret$0);
+    var tmp1_safe_receiver = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.get_solvedQuery_paqw6_k$();
+    var tmp2_safe_receiver = tmp1_safe_receiver == null ? null : tmp1_safe_receiver.get(1);
+    return tmp2_safe_receiver == null ? null : tmp2_safe_receiver.castTo_8vzplt_k$();
+  }
+  function matchesDealiasingTemplate(_this__u8e3s4, term) {
+    _init_properties_PrimitiveExtensions_kt__hfa11z();
+    var tmp;
+    if (isInterface(term, Struct)) {
+      tmp = Companion_getInstance_7().match_tf8j11_k$(_this__u8e3s4, term, get_DEALIASING_TEMPLATE());
+    } else {
+      tmp = false;
+    }
+    return tmp;
+  }
+  function isDealiasingExpression(_this__u8e3s4, term) {
+    _init_properties_PrimitiveExtensions_kt__hfa11z();
+    var tmp;
+    var tmp_0;
+    if (isInterface(term, Struct)) {
+      tmp_0 = Companion_getInstance_7().match_tf8j11_k$(_this__u8e3s4, term, get_DEALIASING_TEMPLATE());
+    } else {
+      tmp_0 = false;
+    }
+    if (tmp_0) {
+      var tmp_1 = term.get_argsList_cw1bs4_k$().get_c1px32_k$(0);
+      tmp = isInterface(tmp_1, Atom);
+    } else {
+      tmp = false;
+    }
+    return tmp;
+  }
+  function ensureAliasIsRegistered(_this__u8e3s4, alias) {
+    _init_properties_PrimitiveExtensions_kt__hfa11z();
+    var tmp;
+    if (isAliasRegistered(_this__u8e3s4, alias)) {
+      tmp = true;
+    } else {
+      throw new NoSuchAnAliasException(alias);
+    }
+    return tmp;
+  }
+  function isAliasRegistered(_this__u8e3s4, alias) {
+    _init_properties_PrimitiveExtensions_kt__hfa11z();
+    return !(findRefFromAliasOrNull(_this__u8e3s4, alias) == null);
+  }
+  function _get_termToObjectConverter_$lambda_4bacq4($this_termToObjectConverter) {
+    return function (it) {
+      return findRefFromAliasOrNull($this_termToObjectConverter, it);
+    };
+  }
+  function findRefFromAliasOrNull$lambda(it) {
+    _init_properties_PrimitiveExtensions_kt__hfa11z();
+    return !(it == null) ? isInterface(it, Yes) : false;
+  }
+  var properties_initialized_PrimitiveExtensions_kt_xhw6ad;
+  function _init_properties_PrimitiveExtensions_kt__hfa11z() {
+    if (!properties_initialized_PrimitiveExtensions_kt_xhw6ad) {
+      properties_initialized_PrimitiveExtensions_kt_xhw6ad = true;
+      DEALIASING_TEMPLATE = Companion_getInstance_9().of('$', [Companion_getInstance_8().of('Alias')]);
+      CAST_TEMPLATE = Companion_getInstance_9().template('as', 2);
+    }
+  }
+  function Ref_0() {
+    Ref_instance = this;
+    TypeTester.call(this, 'ref');
+    this.help_1 = "`ref(@Term)`\n\nSucceeds if `Term` is a reference of any kind: either an object reference (see `object_ref/1`, including the null reference) or a type reference (see `type_ref/1`). Fails otherwise, including when `Term` is unbound. References are opaque atomic terms that can be passed around, unified, and used as receivers of method calls.\n\n**Examples**\n\n```prolog\n?- type('java.lang.String', T), ref(T).\nyes.\n\n?- new_object('java.util.ArrayList', [], L), ref(L).\nyes.\n\n?- ref(hello).\nno.\n```";
+  }
+  protoOf(Ref_0).get_help_won7nu_k$ = function () {
+    return this.help_1;
+  };
+  protoOf(Ref_0).testType_81tyi7_k$ = function (term) {
+    return isInterface(term, Ref);
+  };
+  var Ref_instance;
+  function Ref_getInstance() {
+    if (Ref_instance == null)
+      new Ref_0();
+    return Ref_instance;
+  }
+  function Register$computeOne$lambda($second, $first) {
+    return function ($this$replySuccess) {
+      var tmp = Companion_instance_15;
+      var tmp_0 = isInterface($second, Struct) ? $second : THROW_CCE();
+      $this$replySuccess.addStaticClauses$default_9uvwyb_k$([tmp.of_lt5e18_k$(tmp_0, isInterface($first, Ref) ? $first : THROW_CCE()).get_wrappedImplementation_qo1fgy_k$()]);
+      return Unit_instance;
+    };
+  }
+  function Register() {
+    Register_instance = this;
+    NonBacktrackable.call(this, 'register');
+    this.help_1 = "`register(+Ref, +Alias)`\n\nRegisters the object or type reference `Ref` under the ground term `Alias`, by adding an `alias(Alias, Ref)` fact to the static knowledge base. Afterwards `$Alias` can be used wherever a reference is expected, e.g. as the receiver of a method call. Registering an already-used alias adds another fact, so the earliest registration keeps taking precedence until removed with `unregister/1`. Raises an instantiation error if an argument is unbound or `Alias` is not ground, and a type error if `Ref` is not a reference or `Alias` is not callable.\n\n**Examples**\n\n```prolog\n?- new_object('java.util.ArrayList', [], L), register(L, my_list).\nyes.\n\n?- $my_list.add(a), N := $my_list.size.\nN = 1.\n\n?- register(X, my_alias).\nthrows error(instantiation_error, _).\n```";
+  }
+  protoOf(Register).get_help_won7nu_k$ = function () {
+    return this.help_1;
+  };
+  protoOf(Register).computeOne_sdv9lb_k$ = function (_this__u8e3s4, first_0, second) {
+    Companion_getInstance_7().ensuringAllArgumentsAreInstantiated_60kzw2_k$(_this__u8e3s4);
+    ensuringArgumentIsRef(_this__u8e3s4, 0);
+    Companion_getInstance_7().ensuringArgumentIsStruct_lk4yyp_k$(_this__u8e3s4, 1);
+    if (!second.get_isGround_twq4nu_k$()) {
+      throw Companion_instance_6.forArgument_7otpa_k$(_this__u8e3s4.context, _this__u8e3s4.signature, first(second.get_variables_75f0zy_k$()), 0);
+    }
+    return _this__u8e3s4.replySuccessBuildingSideEffects(VOID, VOID, Register$computeOne$lambda(second, first_0));
+  };
+  protoOf(Register).computeOne_d8jipq_k$ = function (_this__u8e3s4, first, second) {
+    return this.computeOne_sdv9lb_k$(_this__u8e3s4, first, second);
+  };
+  var Register_instance;
+  function Register_getInstance() {
+    if (Register_instance == null)
+      new Register();
+    return Register_instance;
+  }
+  function SetItems() {
+    SetItems_instance = this;
+    AbstractIterableItems.call(this, 'set', getKClass(KtSet));
+    this.help_1 = '`set_items(?SetRef, ?Items)`\n\nConverts between a Prolog list `Items` and an object reference `SetRef` wrapping a JVM/Kotlin `Set` with the same elements (duplicates are dropped, insertion order is kept). If `Items` is a list, each item is converted to an object (respecting `as` casts and `$Alias` references) and `SetRef` is unified with a reference to a fresh set; otherwise, if `SetRef` references a `Set`, `Items` is unified with its elements converted back to terms: strings become atoms, numbers become Prolog numbers, and other objects stay object references. Deterministic. Raises an instantiation error if both arguments are unbound, and a type error if `SetRef` is neither unbound nor an object reference; fails if it references something that is not a `Set`.\n\n**Examples**\n\n```prolog\n?- set_items(S, [a, b, b]), set_items(S, L).\nL = [a, b].\n\n?- set_items(S, [1, 1, 2.5]), set_items(S, L).\nL = [1, 2.5].\n\n?- set_items(S, [a, b]), N := S.size.\nN = 2.\n\n?- list_items(L, [a]), set_items(L, Items).\nno.\n```';
+  }
+  protoOf(SetItems).get_help_won7nu_k$ = function () {
+    return this.help_1;
+  };
+  protoOf(SetItems).toIterable_j8vuup_k$ = function (_this__u8e3s4) {
+    return toSet(_this__u8e3s4);
+  };
+  protoOf(SetItems).get_isIterable_d32sbw_k$ = function (_this__u8e3s4) {
+    return !(_this__u8e3s4 == null) ? isInterface(_this__u8e3s4, KtSet) : false;
+  };
+  protoOf(SetItems).get_items_ma8yx5_k$ = function (_this__u8e3s4) {
+    return asSequence(_this__u8e3s4);
+  };
+  protoOf(SetItems).get_items_ay3mtl_k$ = function (_this__u8e3s4) {
+    return this.get_items_ma8yx5_k$(isInterface(_this__u8e3s4, KtSet) ? _this__u8e3s4 : THROW_CCE());
+  };
+  var SetItems_instance;
+  function SetItems_getInstance() {
+    if (SetItems_instance == null)
+      new SetItems();
+    return SetItems_instance;
+  }
+  function Type() {
+    Type_instance = this;
+    Functional_0.call(this, 'type');
+    this.help_1 = "`type(?TypeName, ?TypeRef)`\n\nConverts between an atom `TypeName` and a type reference `TypeRef` to the class it names. Given an atom holding a fully qualified type name (e.g. `'java.lang.String'`), unifies `TypeRef` with a reference to that class, failing if no such class exists; given a type reference, unifies `TypeName` with the name of its class. Deterministic. Raises an instantiation error if both arguments are unbound and a type error if the bound argument has the wrong shape.\n\n**Examples**\n\n```prolog\n?- type('java.util.ArrayList', T), new_object(T, [], L), N := L.size.\nN = 0.\n\n?- type('java.util.ArrayList', T), type(Name, T).\nName = 'ArrayList'.\n\n?- type('no.such.Type', T).\nno.\n\n?- type(Name, 'java.lang.String').\nthrows error(type_error(type_reference, 'java.lang.String'), _).\n```";
+    this.typeFactory_1 = Companion_getInstance_14().default_1;
+  }
+  protoOf(Type).get_help_won7nu_k$ = function () {
+    return this.help_1;
+  };
+  protoOf(Type).computeOneSubstitution_uplwem_k$ = function (_this__u8e3s4, first, second) {
+    var tmp$ret$0;
+    $l$block: {
+      // Inline function 'it.unibo.tuprolog.solve.libs.oop.primitives.catchingOopExceptions' call
+      try {
+        var tmp;
+        var tmp_0;
+        if (isInterface(first, Var)) {
+          tmp_0 = isInterface(second, Var);
+        } else {
+          tmp_0 = false;
+        }
+        if (tmp_0) {
+          Companion_getInstance_7().ensuringArgumentIsInstantiated_dpjvac_k$(_this__u8e3s4, 0);
+          tmp = Companion_getInstance_6().failed();
+        } else {
+          if (isInterface(first, Var)) {
+            Companion_getInstance_7().ensuringArgumentIsAtom_5kuj97_k$(_this__u8e3s4, 1);
+            ensuringArgumentIsTypeRef(_this__u8e3s4, 1);
+            var tmp_1 = Companion_getInstance_7();
+            var tmp_2 = Companion_getInstance_0();
+            tmp = tmp_1.mgu_jyyt35_k$(_this__u8e3s4, first, tmp_2.of(get_name((isInterface(second, TypeRef) ? second : THROW_CCE()).get_type_wovaf7_k$())));
+          } else {
+            if (isInterface(second, Var)) {
+              Companion_getInstance_7().ensuringArgumentIsAtom_5kuj97_k$(_this__u8e3s4, 0);
+              var tmp_3 = Type_getInstance().typeFactory_1;
+              var tmp0_safe_receiver = tmp_3.typeRefFromName_8i9x2s_k$((isInterface(first, Atom) ? first : THROW_CCE()).get_value_j01efc_k$());
+              var tmp_4;
+              if (tmp0_safe_receiver == null) {
+                tmp_4 = null;
+              } else {
+                // Inline function 'kotlin.let' call
+                tmp_4 = Companion_getInstance_7().mgu_jyyt35_k$(_this__u8e3s4, second, tmp0_safe_receiver);
+              }
+              var tmp1_elvis_lhs = tmp_4;
+              tmp = tmp1_elvis_lhs == null ? Companion_getInstance_6().failed() : tmp1_elvis_lhs;
+            } else {
+              Companion_getInstance_7().ensuringArgumentIsAtom_5kuj97_k$(_this__u8e3s4, 0);
+              tmp = Companion_getInstance_6().failed();
+            }
+          }
+        }
+        tmp$ret$0 = tmp;
+        break $l$block;
+      } catch ($p) {
+        if ($p instanceof OopException) {
+          var e = $p;
+          throw e.toLogicError_fiiu4e_k$(_this__u8e3s4.context, _this__u8e3s4.signature);
+        } else {
+          if ($p instanceof ResolutionException) {
+            var e_0 = $p;
+            throw e_0;
+          } else {
+            if ($p instanceof Error) {
+              var e_1 = $p;
+              throw Companion_instance_4.forUncaughtKtException(_this__u8e3s4.context, e_1);
+            } else {
+              throw $p;
+            }
+          }
+        }
+      }
+    }
+    return tmp$ret$0;
+  };
+  protoOf(Type).computeOneSubstitution_a2ny4b_k$ = function (_this__u8e3s4, first, second) {
+    return this.computeOneSubstitution_uplwem_k$(_this__u8e3s4, first, second);
+  };
+  var Type_instance;
+  function Type_getInstance() {
+    if (Type_instance == null)
+      new Type();
+    return Type_instance;
+  }
+  function TypeRef_0() {
+    TypeRef_instance = this;
+    TypeTester.call(this, 'type_ref');
+    this.help_1 = "`type_ref(@Term)`\n\nSucceeds if `Term` is a type reference, i.e. a term wrapping a JVM/Kotlin class (rendered like `<type:java.lang.String>`), as produced by `type/2` or by `$Alias` references to types such as `$string`. Type references can be used to instantiate a class (`new_object/3`) or to invoke its static members. Fails otherwise, including when `Term` is unbound.\n\n**Examples**\n\n```prolog\n?- alias(string, T), type_ref(T).\nyes.\n\n?- type_ref('java.lang.String').\nno.\n\n?- new_object('java.util.ArrayList', [], L), type_ref(L).\nno.\n```";
+  }
+  protoOf(TypeRef_0).get_help_won7nu_k$ = function () {
+    return this.help_1;
+  };
+  protoOf(TypeRef_0).testType_81tyi7_k$ = function (term) {
+    return isInterface(term, TypeRef);
+  };
+  var TypeRef_instance;
+  function TypeRef_getInstance() {
+    if (TypeRef_instance == null)
+      new TypeRef_0();
+    return TypeRef_instance;
+  }
+  function Unregister$computeOne$lambda($first) {
+    return function (it) {
+      return it.get_head_won7e1_k$().get(0).equals($first);
+    };
+  }
+  function Unregister$computeOne$lambda_0($toBeRemoved) {
+    return function ($this$replySuccess) {
+      $this$replySuccess.removeStaticClauses_rn03rg_k$($toBeRemoved);
+      return Unit_instance;
+    };
+  }
+  function Unregister() {
+    Unregister_instance = this;
+    NonBacktrackable_0.call(this, 'unregister');
+    this.help_1 = "`unregister(+Alias)`\n\nRemoves every `alias(Alias, _)` fact for the ground term `Alias` from the static knowledge base, undoing `register/2` (it can also remove the library's default aliases, such as `string` or `stdout`). Fails if no such alias is registered. Raises a type error if `Alias` is unbound or not callable, and an instantiation error if it is not ground.\n\n**Examples**\n\n```prolog\n?- new_object('java.util.ArrayList', [], L), register(L, my_list).\nyes.\n\n?- unregister(my_list).\nyes.\n\n?- alias(my_list, R).\nno.\n\n?- unregister(my_list).\nno.\n```";
+  }
+  protoOf(Unregister).get_help_won7nu_k$ = function () {
+    return this.help_1;
+  };
+  protoOf(Unregister).computeOne_6dkmes_k$ = function (_this__u8e3s4, first_0) {
+    Companion_getInstance_7().ensuringArgumentIsStruct_lk4yyp_k$(_this__u8e3s4, 0);
+    if (!first_0.get_isGround_twq4nu_k$()) {
+      throw Companion_instance_6.forArgument_7otpa_k$(_this__u8e3s4.context, _this__u8e3s4.signature, first(first_0.get_variables_75f0zy_k$()), 0);
+    }
+    var pattern = Companion_getInstance_9().of('alias', [first_0, Companion_getInstance_8().anonymous()]);
+    var tmp = _this__u8e3s4.context.get_staticKb_a01l1u_k$().getByHead(pattern);
+    var toBeRemoved = toList(filter(tmp, Unregister$computeOne$lambda(first_0)));
+    var tmp_0;
+    if (toBeRemoved.isEmpty_y1axqb_k$()) {
+      tmp_0 = _this__u8e3s4.replyFail(VOID, []);
+    } else {
+      tmp_0 = _this__u8e3s4.replySuccessBuildingSideEffects(VOID, VOID, Unregister$computeOne$lambda_0(toBeRemoved));
+    }
+    return tmp_0;
+  };
+  protoOf(Unregister).computeOne_2tedul_k$ = function (_this__u8e3s4, first) {
+    return this.computeOne_6dkmes_k$(_this__u8e3s4, first);
+  };
+  var Unregister_instance;
+  function Unregister_getInstance() {
+    if (Unregister_instance == null)
+      new Unregister();
+    return Unregister_instance;
+  }
+  function Companion_7() {
+    this.FUNCTOR_1 = 'alias';
+  }
+  protoOf(Companion_7).forType_lwe2s5_k$ = function (alias, type) {
+    return new Alias(Companion_getInstance_0().of(alias), Companion_instance_12.of_7pw7zp_k$(type));
+  };
+  protoOf(Companion_7).of_lt5e18_k$ = function (alias, ref) {
+    return new Alias(alias, ref);
+  };
+  var Companion_instance_15;
+  function Companion_getInstance_18() {
+    return Companion_instance_15;
+  }
+  function Alias(alias, ref) {
+    RuleWrapper_init_$Init$('alias', 2, VOID, this);
+    this.alias_1 = alias;
+    this.ref_1 = ref;
+    this.help_1 = "`alias(?Alias, ?Ref)`\n\nAssociates a ground term `Alias` with an object or type reference `Ref`, so that `$Alias` can stand for `Ref` wherever a reference is expected (as a method receiver, as a constructor or method argument, or as the type in `as` casts and `cast/3`). The library ships facts for common types (`string`, `array`, `list`, `arraylist`, `map`, `hashmap`, `int`, `integer`, `double`, `float`, `long`, `short`, `byte`, `char`, `bool`, `boolean`, `any`, `nothing`, `big_integer`, `big_decimal`) and, on the JVM, `system` and `math` (types) plus `stdout`, `stderr` and `stdin` (objects). Querying it enumerates the registered aliases on backtracking; add or remove aliases with `register/2` and `unregister/1`.\n\n**Examples**\n\n```prolog\n?- alias(A, _).\nA = string ; A = array ; A = list.\n\n?- alias(string, T), type(Name, T).\nName = 'String'.\n\n?- alias(nope, R).\nno.\n```";
+    // Inline function 'kotlin.require' call
+    if (!this.alias_1.get_isGround_twq4nu_k$()) {
+      var message = 'Alias must be a ground term, got: ' + this.alias_1.toString();
+      throw IllegalArgumentException_init_$Create$(toString_0(message));
+    }
+  }
+  protoOf(Alias).get_help_won7nu_k$ = function () {
+    return this.help_1;
+  };
+  protoOf(Alias).get_head_btpmqe_k$ = function (_this__u8e3s4) {
+    return toList(sequenceOf_0([this.alias_1, this.ref_1]));
+  };
+  function _get_R__7mlo3j($this) {
+    var tmp = KProperty1;
+    return $this.R$delegate_1.getValue($this, getPropertyCallableRef('R', 1, tmp, ColonEquals$Cast$_get_R_$ref_879xch(), null));
+  }
+  function _get_X__7mlo8p($this) {
+    var tmp = KProperty1;
+    return $this.X$delegate_1.getValue($this, getPropertyCallableRef('X', 1, tmp, ColonEquals$Cast$_get_X_$ref_5d06zb(), null));
+  }
+  function _get_Y__7mlo9k($this) {
+    var tmp = KProperty1;
+    return $this.Y$delegate_1.getValue($this, getPropertyCallableRef('Y', 1, tmp, ColonEquals$Cast$_get_Y_$ref_4vykl4(), null));
+  }
+  function _get_T__7mlo59($this) {
+    var tmp = KProperty1;
+    return $this.T$delegate_1.getValue($this, getPropertyCallableRef('T', 1, tmp, ColonEquals$Cast$_get_T_$ref_796ok3(), null));
+  }
+  function ColonEquals$Cast$_get_R_$ref_879xch() {
+    return constructCallableReference(function (p0) {
+      return _get_R__7mlo3j(p0);
+    }, 1, 0, 132);
+  }
+  function ColonEquals$Cast$_get_X_$ref_5d06zb() {
+    return constructCallableReference(function (p0) {
+      return _get_X__7mlo8p(p0);
+    }, 1, 0, 133);
+  }
+  function ColonEquals$Cast$_get_Y_$ref_4vykl4() {
+    return constructCallableReference(function (p0) {
+      return _get_Y__7mlo9k(p0);
+    }, 1, 0, 134);
+  }
+  function ColonEquals$Cast$_get_T_$ref_796ok3() {
+    return constructCallableReference(function (p0) {
+      return _get_T__7mlo59(p0);
+    }, 1, 0, 135);
+  }
+  function _get_R__7mlo3j_0($this) {
+    var tmp = KProperty1;
+    return $this.R$delegate_1.getValue($this, getPropertyCallableRef('R', 1, tmp, ColonEquals$Invocation$_get_R_$ref_tlu5kw(), null));
+  }
+  function _get_M__7mlnz8($this) {
+    var tmp = KProperty1;
+    return $this.M$delegate_1.getValue($this, getPropertyCallableRef('M', 1, tmp, ColonEquals$Invocation$_get_M_$ref_vz29jv(), null));
+  }
+  function ColonEquals$Invocation$_get_R_$ref_tlu5kw() {
+    return constructCallableReference(function (p0) {
+      return _get_R__7mlo3j_0(p0);
+    }, 1, 0, 136);
+  }
+  function ColonEquals$Invocation$_get_M_$ref_vz29jv() {
+    return constructCallableReference(function (p0) {
+      return _get_M__7mlnz8(p0);
+    }, 1, 0, 137);
+  }
+  function _get_C__7mlnqm($this) {
+    var tmp = KProperty1;
+    return $this.C$delegate_1.getValue($this, getPropertyCallableRef('C', 1, tmp, ColonEquals$Assignment$_get_C_$ref_kw9fvw(), null));
+  }
+  function _get_P__7mlo1t($this) {
+    var tmp = KProperty1;
+    return $this.P$delegate_1.getValue($this, getPropertyCallableRef('P', 1, tmp, ColonEquals$Assignment$_get_P_$ref_r1uj0f(), null));
+  }
+  function _get_R__7mlo3j_1($this) {
+    var tmp = KProperty1;
+    return $this.R$delegate_1.getValue($this, getPropertyCallableRef('R', 1, tmp, ColonEquals$Assignment$_get_R_$ref_rzxrst(), null));
+  }
+  function _get_V__7mlo6z($this) {
+    var tmp = KProperty1;
+    return $this.V$delegate_1.getValue($this, getPropertyCallableRef('V', 1, tmp, ColonEquals$Assignment$_get_V_$ref_tw49dl(), null));
+  }
+  function ColonEquals$Assignment$_get_C_$ref_kw9fvw() {
+    return constructCallableReference(function (p0) {
+      return _get_C__7mlnqm(p0);
+    }, 1, 0, 138);
+  }
+  function ColonEquals$Assignment$_get_P_$ref_r1uj0f() {
+    return constructCallableReference(function (p0) {
+      return _get_P__7mlo1t(p0);
+    }, 1, 0, 139);
+  }
+  function ColonEquals$Assignment$_get_R_$ref_rzxrst() {
+    return constructCallableReference(function (p0) {
+      return _get_R__7mlo3j_1(p0);
+    }, 1, 0, 140);
+  }
+  function ColonEquals$Assignment$_get_V_$ref_tw49dl() {
+    return constructCallableReference(function (p0) {
+      return _get_V__7mlo6z(p0);
+    }, 1, 0, 141);
+  }
+  function Cast_0() {
+    Cast_instance_0 = this;
+    ColonEquals.call(this);
+    this.R$delegate_1 = this.variables_1;
+    this.X$delegate_1 = this.variables_1;
+    this.Y$delegate_1 = this.variables_1;
+    this.T$delegate_1 = this.variables_1;
+  }
+  protoOf(Cast_0).get_head_btpmqe_k$ = function (_this__u8e3s4) {
+    return listOf([_get_R__7mlo3j(this), _this__u8e3s4.structOf('as', [_get_X__7mlo8p(this), _get_T__7mlo59(this)])]);
+  };
+  protoOf(Cast_0).get_body_3ji99k_k$ = function (_this__u8e3s4) {
+    // 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)]);
+    var tmp_0 = _this__u8e3s4.atomOf('!');
+    var tmp_1 = _this__u8e3s4.structOf('fluent_reduce', [_get_X__7mlo8p(this), _get_Y__7mlo9k(this)]);
+    // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
+    var tmp$ret$1 = Cast_getInstance().signature.name;
+    return _this__u8e3s4.tupleOf([tmp, tmp_0, tmp_1, _this__u8e3s4.structOf(tmp$ret$1, [_get_Y__7mlo9k(this), _get_T__7mlo59(this), _get_R__7mlo3j(this)])]);
+  };
+  var Cast_instance_0;
+  function Cast_getInstance_0() {
+    if (Cast_instance_0 == null)
+      new Cast_0();
+    return Cast_instance_0;
+  }
+  function Invocation() {
+    Invocation_instance = this;
+    ColonEquals.call(this);
+    this.R$delegate_1 = this.variables_1;
+    this.M$delegate_1 = this.variables_1;
+  }
+  protoOf(Invocation).get_head_btpmqe_k$ = function (_this__u8e3s4) {
+    return listOf([_get_R__7mlo3j_0(this), _get_M__7mlnz8(this)]);
+  };
+  protoOf(Invocation).get_body_3ji99k_k$ = 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)])]);
+  };
+  var Invocation_instance;
+  function Invocation_getInstance() {
+    if (Invocation_instance == null)
+      new Invocation();
+    return Invocation_instance;
+  }
+  function Assignment() {
+    Assignment_instance = this;
+    ColonEquals.call(this);
+    this.C$delegate_1 = this.variables_1;
+    this.P$delegate_1 = this.variables_1;
+    this.R$delegate_1 = this.variables_1;
+    this.V$delegate_1 = this.variables_1;
+  }
+  protoOf(Assignment).get_head_btpmqe_k$ = function (_this__u8e3s4) {
+    return listOf([_get_C__7mlnqm(this), _get_V__7mlo6z(this)]);
+  };
+  protoOf(Assignment).get_body_3ji99k_k$ = 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;
+    return _this__u8e3s4.tupleOf([tmp, _this__u8e3s4.structOf(tmp$ret$0, [_get_R__7mlo3j_1(this), _get_P__7mlo1t(this), _get_V__7mlo6z(this)])]);
+  };
+  var Assignment_instance;
+  function Assignment_getInstance() {
+    if (Assignment_instance == null)
+      new Assignment();
+    return Assignment_instance;
+  }
+  function ColonEquals() {
+    RuleWrapper_init_$Init$(':=', 2, VOID, this);
+    this.help_1 = "`?Target := +Expression`\n\nFluent evaluation and assignment. If `Target` is unbound, `Target := Receiver.m1(...).m2` evaluates the method/property chain on the right (see `./2`) and binds `Target` to the converted result of the last access; a right-hand side that is not a chain is just unified with `Target` (e.g. `X := 5`). `Target := Term as Type` additionally converts the (evaluated) `Term` via `cast/3`, binding `Target` to an object reference; here `Type` must be a type reference or a `$Alias` such as `$long`, and since `as` binds tighter than `.`, a chain must be parenthesised: `R := (Obj.size) as $long`. If `Target` is bound, it must be a chain `Receiver.Property` (possibly longer), and `:=` evaluates everything but the last access and then assigns `Expression` to `Property` via `assign/3`.\n\n**Examples**\n\n```prolog\n?- new_object('java.util.ArrayList', [], L), L.add(a), N := L.size.\nN = 1.\n\n?- X := 5.\nX = 5.\n\n?- new_object('java.util.ArrayList', [], L), R := (L.size) as $long, object_ref(R).\nyes.\n\n?- new_object('java.awt.Point', [1, 2], P), P.x := 7, X := P.x.\nX = 7.\n```";
+  }
+  protoOf(ColonEquals).get_help_won7nu_k$ = function () {
+    return this.help_1;
+  };
+  function _get_Method__a3idyi($this) {
+    var tmp = KProperty1;
+    return $this.Method$delegate_1.getValue($this, getPropertyCallableRef('Method', 1, tmp, Dot$_get_Method_$ref_b7a4zw(), null));
+  }
+  function _get_Ref__e5vi4e($this) {
+    var tmp = KProperty1;
+    return $this.Ref$delegate_1.getValue($this, getPropertyCallableRef('Ref', 1, tmp, Dot$_get_Ref_$ref_33uzaq(), null));
+  }
+  function Dot$_get_Method_$ref_b7a4zw() {
+    return constructCallableReference(function (p0) {
+      return _get_Method__a3idyi(p0);
+    }, 1, 0, 142);
+  }
+  function Dot$_get_Ref_$ref_33uzaq() {
+    return constructCallableReference(function (p0) {
+      return _get_Ref__e5vi4e(p0);
+    }, 1, 0, 143);
+  }
+  function Dot() {
+    Dot_instance = this;
+    RuleWrapper_init_$Init$('.', 2, VOID, this);
+    this.help_1 = "`+Receiver.+Message`\n\nFluent member access: invokes `Message` on the object, type, or `$Alias` referenced by `Receiver`, discarding the result. `Message` is an atom (a no-argument method, or a property to read) or a compound `name(Arg1, ..., ArgN)`; arguments are converted to objects, with `as` casts to steer overload selection. Since `.` is right-associative, accesses can be chained: `Obj.foo(1).bar` calls `foo(1)` on `Obj`, then `bar` on its result, each step via `invoke_method/3`. Used as a goal, it runs the chain for its side effects; to capture the final result write `Result := Obj.foo(1).bar` (see `:=/2`). Errors are those of `invoke_method/3`.\n\n**Examples**\n\n```prolog\n?- $stdout.println(hello).\n% prints: hello\nyes.\n\n?- new_object('java.util.ArrayList', [], L), L.add(a), L.add(b), list_items(L, Items).\nItems = [a, b].\n\n?- new_object('java.util.ArrayList', [], L), L.nope.\nthrows error(existence_error(_, _), _).\n```";
+    this.Method$delegate_1 = this.variables_1;
+    this.Ref$delegate_1 = this.variables_1;
+  }
+  protoOf(Dot).get_help_won7nu_k$ = function () {
+    return this.help_1;
+  };
+  protoOf(Dot).get_head_btpmqe_k$ = function (_this__u8e3s4) {
+    return listOf([_get_Ref__e5vi4e(this), _get_Method__a3idyi(this)]);
+  };
+  protoOf(Dot).get_body_3ji99k_k$ = function (_this__u8e3s4) {
+    return _this__u8e3s4.structOf('fluent_reduce', [_this__u8e3s4.consOf(_get_Ref__e5vi4e(this), _get_Method__a3idyi(this)), _this__u8e3s4.get___1mhr5i_k$()]);
+  };
+  var Dot_instance;
+  function Dot_getInstance() {
+    if (Dot_instance == null)
+      new Dot();
+    return Dot_instance;
+  }
+  function _get_P__7mlo1t_0($this) {
+    var tmp = KProperty1;
+    return $this.P$delegate_1.getValue($this, getPropertyCallableRef('P', 1, tmp, FluentReduce$Recursive$_get_P_$ref_qmyw78(), null));
+  }
+  function _get_M__7mlnz8_0($this) {
+    var tmp = KProperty1;
+    return $this.M$delegate_1.getValue($this, getPropertyCallableRef('M', 1, tmp, FluentReduce$Recursive$_get_M_$ref_s23rdt(), null));
+  }
+  function _get_P1__ndbjd6($this) {
+    var tmp = KProperty1;
+    return $this.P1$delegate_1.getValue($this, getPropertyCallableRef('P1', 1, tmp, FluentReduce$Recursive$_get_P1_$ref_ksmyi5(), null));
+  }
+  function _get_X__7mlo8p_0($this) {
+    var tmp = KProperty1;
+    return $this.X$delegate_1.getValue($this, getPropertyCallableRef('X', 1, tmp, FluentReduce$Recursive$_get_X_$ref_mulx1o(), null));
+  }
+  function FluentReduce$Recursive$_get_P_$ref_qmyw78() {
+    return constructCallableReference(function (p0) {
+      return _get_P__7mlo1t_0(p0);
+    }, 1, 0, 144);
+  }
+  function FluentReduce$Recursive$_get_M_$ref_s23rdt() {
+    return constructCallableReference(function (p0) {
+      return _get_M__7mlnz8_0(p0);
+    }, 1, 0, 145);
+  }
+  function FluentReduce$Recursive$_get_P1_$ref_ksmyi5() {
+    return constructCallableReference(function (p0) {
+      return _get_P1__ndbjd6(p0);
+    }, 1, 0, 146);
+  }
+  function FluentReduce$Recursive$_get_X_$ref_mulx1o() {
+    return constructCallableReference(function (p0) {
+      return _get_X__7mlo8p_0(p0);
+    }, 1, 0, 147);
+  }
+  function _get_P__7mlo1t_1($this) {
+    var tmp = KProperty1;
+    return $this.P$delegate_1.getValue($this, getPropertyCallableRef('P', 1, tmp, FluentReduce$Couple$_get_P_$ref_o7vzn6(), null));
+  }
+  function _get_M__7mlnz8_1($this) {
+    var tmp = KProperty1;
+    return $this.M$delegate_1.getValue($this, getPropertyCallableRef('M', 1, tmp, FluentReduce$Couple$_get_M_$ref_pn0utr(), null));
+  }
+  function FluentReduce$Couple$_get_P_$ref_o7vzn6() {
+    return constructCallableReference(function (p0) {
+      return _get_P__7mlo1t_1(p0);
+    }, 1, 0, 148);
+  }
+  function FluentReduce$Couple$_get_M_$ref_pn0utr() {
+    return constructCallableReference(function (p0) {
+      return _get_M__7mlnz8_1(p0);
+    }, 1, 0, 149);
+  }
+  function Companion_8() {
+    this.FUNCTOR_1 = 'fluent_reduce';
+    this.ARITY_1 = 2;
+  }
+  var Companion_instance_16;
+  function Companion_getInstance_19() {
+    return Companion_instance_16;
+  }
+  function Recursive() {
+    Recursive_instance = this;
+    FluentReduce.call(this);
+    this.P$delegate_1 = this.variables_1;
+    this.M$delegate_1 = this.variables_1;
+    this.P1$delegate_1 = this.variables_1;
+    this.X$delegate_1 = this.variables_1;
+  }
+  protoOf(Recursive).get_head_btpmqe_k$ = function (_this__u8e3s4) {
+    return listOf([_this__u8e3s4.logicListFrom_pxemlx_k$([_get_P__7mlo1t_0(this), _get_M__7mlnz8_0(this)], _get_X__7mlo8p_0(this)), this.get_R_1mhr55_k$()]);
+  };
+  protoOf(Recursive).get_body_3ji99k_k$ = function (_this__u8e3s4) {
+    var tmp = _this__u8e3s4.atomOf('!');
+    // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
+    var tmp$ret$0 = InvokeMethod_getInstance().signature.name;
+    return _this__u8e3s4.tupleOf([tmp, _this__u8e3s4.structOf(tmp$ret$0, [_get_P__7mlo1t_0(this), _get_M__7mlnz8_0(this), _get_P1__ndbjd6(this)]), _this__u8e3s4.structOf('fluent_reduce', [_this__u8e3s4.consOf(_get_P1__ndbjd6(this), _get_X__7mlo8p_0(this)), this.get_R_1mhr55_k$()])]);
+  };
+  var Recursive_instance;
+  function Recursive_getInstance() {
+    if (Recursive_instance == null)
+      new Recursive();
+    return Recursive_instance;
+  }
+  function Couple() {
+    Couple_instance = this;
+    FluentReduce.call(this);
+    this.P$delegate_1 = this.variables_1;
+    this.M$delegate_1 = this.variables_1;
+  }
+  protoOf(Couple).get_head_btpmqe_k$ = function (_this__u8e3s4) {
+    return listOf([_this__u8e3s4.consOf(_get_P__7mlo1t_1(this), _get_M__7mlnz8_1(this)), this.get_R_1mhr55_k$()]);
+  };
+  protoOf(Couple).get_body_3ji99k_k$ = function (_this__u8e3s4) {
+    var tmp = _this__u8e3s4.atomOf('!');
+    // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
+    var tmp$ret$0 = InvokeMethod_getInstance().signature.name;
+    return _this__u8e3s4.tupleOf([tmp, _this__u8e3s4.structOf(tmp$ret$0, [_get_P__7mlo1t_1(this), _get_M__7mlnz8_1(this), this.get_R_1mhr55_k$()])]);
+  };
+  var Couple_instance;
+  function Couple_getInstance() {
+    if (Couple_instance == null)
+      new Couple();
+    return Couple_instance;
+  }
+  function Trivial() {
+    Trivial_instance = this;
+    FluentReduce.call(this);
+  }
+  protoOf(Trivial).get_head_btpmqe_k$ = function (_this__u8e3s4) {
+    return listOf([this.get_R_1mhr55_k$(), this.get_R_1mhr55_k$()]);
+  };
+  var Trivial_instance;
+  function Trivial_getInstance() {
+    if (Trivial_instance == null)
+      new Trivial();
+    return Trivial_instance;
+  }
+  function FluentReduce$_get_R_$ref_ypb4y4() {
+    return constructCallableReference(function (p0) {
+      return p0.get_R_1mhr55_k$();
+    }, 1, 0, 150);
+  }
+  function FluentReduce() {
+    RuleWrapper_init_$Init$('fluent_reduce', 2, VOID, this);
+    this.help_1 = "`fluent_reduce(+Expression, ?Result)`\n\nHelper behind `./2` and `:=/2`: evaluates a chain of member accesses `Receiver.M1.M2...` (which, as `.` is the list constructor, is the same term as the improper list `[Receiver, M1 | M2]`) by invoking `M1` on `Receiver` via `invoke_method/3`, then `M2` on that result, and so on, unifying `Result` with the last result. A term that is not a chain is unified with `Result` unchanged. Deterministic (each clause cuts). Errors are those of `invoke_method/3`.\n\n**Examples**\n\n```prolog\n?- fluent_reduce($math.max(1, 2), M).\nM = 2.\n\n?- new_object('java.lang.StringBuilder', [abc], B), fluent_reduce(B.reverse.toString, S).\nS = cba.\n\n?- fluent_reduce(foo, R).\nR = foo.\n```";
+    this.R$delegate_1 = this.variables_1;
+  }
+  protoOf(FluentReduce).get_help_won7nu_k$ = function () {
+    return this.help_1;
+  };
+  protoOf(FluentReduce).get_R_1mhr55_k$ = function () {
+    var tmp = KProperty1;
+    return this.R$delegate_1.getValue(this, getPropertyCallableRef('R', 1, tmp, FluentReduce$_get_R_$ref_ypb4y4(), null));
+  };
+  protoOf(FluentReduce).get_body_3ji99k_k$ = function (_this__u8e3s4) {
+    return _this__u8e3s4.atomOf('!');
+  };
+  function _get_Type__cwwv8x($this) {
+    var tmp = KProperty1;
+    return $this.Type$delegate_1.getValue($this, getPropertyCallableRef('Type', 1, tmp, NewObject2$_get_Type_$ref_gxw6of(), null));
+  }
+  function _get_Instance__cwfjuy($this) {
+    var tmp = KProperty1;
+    return $this.Instance$delegate_1.getValue($this, getPropertyCallableRef('Instance', 1, tmp, NewObject2$_get_Instance_$ref_jt2xca(), null));
+  }
+  function NewObject2$_get_Type_$ref_gxw6of() {
+    return constructCallableReference(function (p0) {
+      return _get_Type__cwwv8x(p0);
+    }, 1, 0, 151);
+  }
+  function NewObject2$_get_Instance_$ref_jt2xca() {
+    return constructCallableReference(function (p0) {
+      return _get_Instance__cwfjuy(p0);
+    }, 1, 0, 152);
+  }
+  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.help_1 = "`new_object(+Type, -ObjectRef)`\n\nInstantiates `Type` through its public no-argument constructor and unifies `ObjectRef` with a reference to the new object; shorthand for `new_object(Type, [], ObjectRef)`. `Type` may be an atom holding a fully qualified type name, a type reference, or a `$Alias` reference to a type. Errors are those of `new_object/3`.\n\n**Examples**\n\n```prolog\n?- new_object('java.util.ArrayList', L), N := L.size.\nN = 0.\n\n?- new_object($hashmap, M), M.put(k, v), V := M.get(k).\nV = v.\n\n?- new_object('java.lang.Integer', I).\nthrows error(existence_error(_, _), _).\n```";
+    this.Type$delegate_1 = this.variables_1;
+    this.Instance$delegate_1 = this.variables_1;
+  }
+  protoOf(NewObject2).get_help_won7nu_k$ = function () {
+    return this.help_1;
+  };
+  protoOf(NewObject2).get_head_btpmqe_k$ = function (_this__u8e3s4) {
+    return listOf([_get_Type__cwwv8x(this), _get_Instance__cwfjuy(this)]);
+  };
+  protoOf(NewObject2).get_body_3ji99k_k$ = function (_this__u8e3s4) {
+    // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
+    var tmp$ret$0 = NewObject3_getInstance().signature.name;
+    return _this__u8e3s4.structOf(tmp$ret$0, [_get_Type__cwwv8x(this), _this__u8e3s4.get_emptyLogicList_z7wjmg_k$(), _get_Instance__cwfjuy(this)]);
+  };
+  var NewObject2_instance;
+  function NewObject2_getInstance() {
+    if (NewObject2_instance == null)
+      new NewObject2();
+    return NewObject2_instance;
+  }
+  function _get_B1__ndb8zg($this) {
+    var tmp = KProperty1;
+    return $this.B1$delegate_1.getValue($this, getPropertyCallableRef('B1', 1, tmp, PropertyReduce$Recursive$_get_B1_$ref_kiryiu(), null));
+  }
+  function _get_C__7mlnqm_0($this) {
+    var tmp = KProperty1;
+    return $this.C$delegate_1.getValue($this, getPropertyCallableRef('C', 1, tmp, PropertyReduce$Recursive$_get_C_$ref_epsz1a(), null));
+  }
+  function _get_O__7mlo0y($this) {
+    var tmp = KProperty1;
+    return $this.O$delegate_1.getValue($this, getPropertyCallableRef('O', 1, tmp, PropertyReduce$Recursive$_get_O_$ref_919iay(), null));
+  }
+  function _get_P__7mlo1t_2($this) {
+    var tmp = KProperty1;
+    return $this.P$delegate_1.getValue($this, getPropertyCallableRef('P', 1, tmp, PropertyReduce$Recursive$_get_P_$ref_8k7vwr(), null));
+  }
+  function PropertyReduce$Recursive$_get_B1_$ref_kiryiu() {
+    return constructCallableReference(function (p0) {
+      return _get_B1__ndb8zg(p0);
+    }, 1, 0, 153);
+  }
+  function PropertyReduce$Recursive$_get_C_$ref_epsz1a() {
+    return constructCallableReference(function (p0) {
+      return _get_C__7mlnqm_0(p0);
+    }, 1, 0, 154);
+  }
+  function PropertyReduce$Recursive$_get_O_$ref_919iay() {
+    return constructCallableReference(function (p0) {
+      return _get_O__7mlo0y(p0);
+    }, 1, 0, 155);
+  }
+  function PropertyReduce$Recursive$_get_P_$ref_8k7vwr() {
+    return constructCallableReference(function (p0) {
+      return _get_P__7mlo1t_2(p0);
+    }, 1, 0, 156);
+  }
+  function Companion_9() {
+    this.FUNCTOR_1 = 'property_reduce';
+    this.ARITY_1 = 3;
+  }
+  var Companion_instance_17;
+  function Companion_getInstance_20() {
+    return Companion_instance_17;
+  }
+  function Recursive_0() {
+    Recursive_instance_0 = this;
+    PropertyReduce.call(this);
+    this.B1$delegate_1 = this.variables_1;
+    this.C$delegate_1 = this.variables_1;
+    this.O$delegate_1 = this.variables_1;
+    this.P$delegate_1 = this.variables_1;
+  }
+  protoOf(Recursive_0).get_head_btpmqe_k$ = function (_this__u8e3s4) {
+    return listOf([_this__u8e3s4.logicListFrom_pxemlx_k$([this.get_A_1mhr4o_k$(), this.get_B_1mhr4p_k$()], _get_C__7mlnqm_0(this)), _get_O__7mlo0y(this), _get_P__7mlo1t_2(this)]);
+  };
+  protoOf(Recursive_0).get_body_3ji99k_k$ = function (_this__u8e3s4) {
+    var tmp = _this__u8e3s4.atomOf('!');
+    // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
+    var tmp$ret$0 = InvokeMethod_getInstance().signature.name;
+    return _this__u8e3s4.tupleOf([tmp, _this__u8e3s4.structOf(tmp$ret$0, [this.get_A_1mhr4o_k$(), this.get_B_1mhr4p_k$(), _get_B1__ndb8zg(this)]), _this__u8e3s4.structOf('property_reduce', [_this__u8e3s4.consOf(_get_B1__ndb8zg(this), _get_C__7mlnqm_0(this)), _get_O__7mlo0y(this), _get_P__7mlo1t_2(this)])]);
+  };
+  var Recursive_instance_0;
+  function Recursive_getInstance_0() {
+    if (Recursive_instance_0 == null)
+      new Recursive_0();
+    return Recursive_instance_0;
+  }
+  function Base() {
+    Base_instance = this;
+    PropertyReduce.call(this);
+  }
+  protoOf(Base).get_head_btpmqe_k$ = function (_this__u8e3s4) {
+    return listOf([_this__u8e3s4.consOf(this.get_A_1mhr4o_k$(), this.get_B_1mhr4p_k$()), this.get_A_1mhr4o_k$(), this.get_B_1mhr4p_k$()]);
+  };
+  var Base_instance;
+  function Base_getInstance() {
+    if (Base_instance == null)
+      new Base();
+    return Base_instance;
+  }
+  function PropertyReduce$_get_A_$ref_14cvqu() {
+    return constructCallableReference(function (p0) {
+      return p0.get_A_1mhr4o_k$();
+    }, 1, 0, 157);
+  }
+  function PropertyReduce$_get_B_$ref_1lei51() {
+    return constructCallableReference(function (p0) {
+      return p0.get_B_1mhr4p_k$();
+    }, 1, 0, 158);
+  }
+  function PropertyReduce() {
+    RuleWrapper_init_$Init$('property_reduce', 3, VOID, this);
+    this.help_1 = "`property_reduce(+Expression, ?Ref, ?Property)`\n\nHelper behind the assignment form of `:=/2`: given a chain of member accesses `Receiver.M1....Mn.Property`, evaluates every access but the last one (as `fluent_reduce/2` does, via `invoke_method/3`), unifying `Ref` with the reference reached that way and `Property` with the final access. Deterministic (each clause cuts); fails if `Expression` is not a chain.\n\n**Examples**\n\n```prolog\n?- new_object('java.lang.StringBuilder', [abc], B), property_reduce(B.reverse.length, R, P), S := R.toString.\nP = length, S = cba.\n\n?- property_reduce(foo, R, P).\nno.\n```";
+    this.A$delegate_1 = this.variables_1;
+    this.B$delegate_1 = this.variables_1;
+  }
+  protoOf(PropertyReduce).get_help_won7nu_k$ = function () {
+    return this.help_1;
+  };
+  protoOf(PropertyReduce).get_A_1mhr4o_k$ = function () {
+    var tmp = KProperty1;
+    return this.A$delegate_1.getValue(this, getPropertyCallableRef('A', 1, tmp, PropertyReduce$_get_A_$ref_14cvqu(), null));
+  };
+  protoOf(PropertyReduce).get_B_1mhr4p_k$ = function () {
+    var tmp = KProperty1;
+    return this.B$delegate_1.getValue(this, getPropertyCallableRef('B', 1, tmp, PropertyReduce$_get_B_$ref_1lei51(), null));
+  };
+  protoOf(PropertyReduce).get_body_3ji99k_k$ = function (_this__u8e3s4) {
+    return _this__u8e3s4.atomOf('!');
+  };
+  function get_platformSpecificAliases() {
+    // Inline function 'kotlin.emptyArray' call
+    return [];
+  }
+  function get_TODO_EXCEPTION() {
+    _init_properties_TypeUtilsJs_kt__53l6dq();
+    return TODO_EXCEPTION;
+  }
+  var TODO_EXCEPTION;
+  function get_classNamePattern() {
+    _init_properties_TypeUtilsJs_kt__53l6dq();
+    return classNamePattern;
+  }
+  var classNamePattern;
+  function allSupertypes(_this__u8e3s4, strict) {
+    _init_properties_TypeUtilsJs_kt__53l6dq();
+    throw get_TODO_EXCEPTION();
+  }
+  function get_name(_this__u8e3s4) {
+    _init_properties_TypeUtilsJs_kt__53l6dq();
+    throw get_TODO_EXCEPTION();
+  }
+  function get_fullName(_this__u8e3s4) {
+    _init_properties_TypeUtilsJs_kt__53l6dq();
+    throw get_TODO_EXCEPTION();
+  }
+  function get_identifier(_this__u8e3s4) {
+    _init_properties_TypeUtilsJs_kt__53l6dq();
+    return toString_2(getStringHashCode(get_identifier(_this__u8e3s4)), 16);
+  }
+  function get_companionObjectRef(_this__u8e3s4) {
+    _init_properties_TypeUtilsJs_kt__53l6dq();
+    return Companion_instance.none_6mb3x4_k$();
+  }
+  function kClassFromName(qualifiedName) {
+    _init_properties_TypeUtilsJs_kt__53l6dq();
+    var match = get_CLASS_NAME_PATTERN().matchEntire_6100vb_k$(qualifiedName);
+    // Inline function 'kotlin.require' call
+    if (!!(match == null)) {
+      var message = '`' + qualifiedName + '` should match ' + get_CLASS_NAME_PATTERN().pattern_1 + ", while is doesn't";
+      throw IllegalArgumentException_init_$Create$(toString_0(message));
+    }
+    var module_0 = ensureNotNull(match.get_groups_dy12vx_k$().get_c1px32_k$(1)).value_1;
+    var packageSteps = split(ensureNotNull(match.get_groups_dy12vx_k$().get_c1px32_k$(2)).value_1, charArrayOf([_Char___init__impl__6a9atx(46)]));
+    var kClass = require(module_0);
+    // Inline function 'kotlin.let' call
+    var it = packageSteps.iterator_jk1svi_k$();
+    while (it.hasNext_bitz1p_k$() && kClass != null && kClass != undefined) {
+      kClass = kClass[it.next_20eer_k$()];
+    }
+    var tmp;
+    if (kClass != null && kClass != undefined) {
+      var tmp_0 = Companion_instance;
+      // Inline function 'kotlin.js.unsafeCast' call
+      var tmp$ret$4 = kClass;
+      tmp = tmp_0.some_qfcpk3_k$(get_kotlin(tmp$ret$4));
+    } else {
+      tmp = Companion_instance.none_6mb3x4_k$();
+    }
+    return tmp;
+  }
+  function get_setterMethod(_this__u8e3s4) {
+    _init_properties_TypeUtilsJs_kt__53l6dq();
+    throw get_TODO_EXCEPTION();
+  }
+  function catchingPlatformSpecificException(_this__u8e3s4, instance, action) {
+    _init_properties_TypeUtilsJs_kt__53l6dq();
+    return action();
+  }
+  function invoke_2(_this__u8e3s4, instance, args) {
+    _init_properties_TypeUtilsJs_kt__53l6dq();
+    throw get_TODO_EXCEPTION();
+  }
+  function get_formalParameterTypes(_this__u8e3s4) {
+    _init_properties_TypeUtilsJs_kt__53l6dq();
+    throw get_TODO_EXCEPTION();
+  }
+  function get_CLASS_NAME_PATTERN() {
+    _init_properties_TypeUtilsJs_kt__53l6dq();
+    return get_classNamePattern();
+  }
+  function overloadSelector(type, termToObjectConverter) {
+    _init_properties_TypeUtilsJs_kt__53l6dq();
+    throw get_TODO_EXCEPTION();
+  }
+  var properties_initialized_TypeUtilsJs_kt_h8iecw;
+  function _init_properties_TypeUtilsJs_kt__53l6dq() {
+    if (!properties_initialized_TypeUtilsJs_kt_h8iecw) {
+      properties_initialized_TypeUtilsJs_kt_h8iecw = true;
+      TODO_EXCEPTION = new NotImplementedError('OOP-Prolog integration is still not supported on JS');
+      // Inline function 'kotlin.text.toRegex' call
+      var this_0 = '^([a-zA-Z_][a-zA-Z0-9_]*):([a-zA-Z_][a-zA-Z0-9_]*(\\.[a-zA-Z_][a-zA-Z0-9_]*)*)$';
+      classNamePattern = Regex_init_$Create$(this_0);
+    }
+  }
+  //region block: post-declaration
+  protoOf(NullRefImpl).get_object_hhhtfs_k$ = get_object;
+  protoOf(NullRefImpl).invoke_yaglp8_k$ = invoke;
+  protoOf(NullRefImpl).assign_9qr39z_k$ = assign;
+  protoOf(TermToObjectConverterImpl).convert_i46eqg_k$ = convert;
+  protoOf(TypeFactoryImpl).typeRefFromName_8i9x2s_k$ = typeRefFromName;
+  protoOf(TypeRefImpl).create_4i78so_k$ = create;
+  //endregion
+  //region block: init
+  Companion_instance_9 = new Companion_1();
+  Companion_instance_12 = new Companion_4();
+  Companion_instance_13 = new Companion_5();
+  Companion_instance_14 = new Companion_6();
+  Companion_instance_15 = new Companion_7();
+  Companion_instance_16 = new Companion_8();
+  Companion_instance_17 = new Companion_9();
+  //endregion
+  //region block: exports
+  _.$_$ = _.$_$ || {};
+  _.$_$.a = OOPLib_getInstance;
   //endregion
   return _;
 }));