@tuprolog/2p-full 0.30.5-dev01 → 0.31.1

package/2p-oop-lib.js

@@ -0,0 +1,3660 @@
+(function (_, kotlin_kotlin, kotlin_it_unibo_tuprolog_solve, kotlin_kt_math, kotlin_it_unibo_tuprolog_core, kotlin_it_unibo_tuprolog_utils, kotlin_it_unibo_tuprolog_unify) {
+  'use strict';
+  //region block: imports
+  var NullPointerException_init_$Create$ = kotlin_kotlin.$_$.x1;
+  var interfaceMeta = kotlin_kotlin.$_$.u6;
+  var setMetadataFor = kotlin_kotlin.$_$.j7;
+  var objectMeta = kotlin_kotlin.$_$.i7;
+  var AbstractLibrary = kotlin_it_unibo_tuprolog_solve.$_$.y2;
+  var listOf = kotlin_kotlin.$_$.i4;
+  var collectionSizeOrDefault = kotlin_kotlin.$_$.j3;
+  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.b1;
+  var to = kotlin_kotlin.$_$.ec;
+  var Unit_getInstance = kotlin_kotlin.$_$.r2;
+  var toMap = kotlin_kotlin.$_$.s5;
+  var PrimitiveClasses_getInstance = kotlin_kotlin.$_$.o2;
+  var List = kotlin_kotlin.$_$.v2;
+  var getKClass = kotlin_kotlin.$_$.c;
+  var ArrayList = kotlin_kotlin.$_$.s2;
+  var Map = kotlin_kotlin.$_$.w2;
+  var LinkedHashMap = kotlin_kotlin.$_$.u2;
+  var Long = kotlin_kotlin.$_$.mb;
+  var Char = kotlin_kotlin.$_$.eb;
+  var BigInteger = kotlin_kt_math.$_$.h;
+  var BigDecimal = kotlin_kt_math.$_$.g;
+  var arrayConcat = kotlin_kotlin.$_$.a;
+  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.$_$.n;
+  var containsSignature = kotlin_it_unibo_tuprolog_solve.$_$.b3;
+  var containsOperator = kotlin_it_unibo_tuprolog_solve.$_$.a3;
+  var hasPrimitive = kotlin_it_unibo_tuprolog_solve.$_$.d3;
+  var hasFunction = kotlin_it_unibo_tuprolog_solve.$_$.c3;
+  var get_ruleSignatures = kotlin_it_unibo_tuprolog_solve.$_$.f3;
+  var hasProtected = kotlin_it_unibo_tuprolog_solve.$_$.e3;
+  var getKClassFromExpression = kotlin_kotlin.$_$.b;
+  var Atom = kotlin_it_unibo_tuprolog_core.$_$.o1;
+  var isInterface = kotlin_kotlin.$_$.y6;
+  var lazy = kotlin_kotlin.$_$.xb;
+  var toString = kotlin_kotlin.$_$.dc;
+  var hashCode = kotlin_kotlin.$_$.t6;
+  var THROW_CCE = kotlin_kotlin.$_$.sb;
+  var equals = kotlin_kotlin.$_$.o6;
+  var classMeta = kotlin_kotlin.$_$.m6;
+  var KProperty1 = kotlin_kotlin.$_$.d8;
+  var getPropertyCallableRef = kotlin_kotlin.$_$.r6;
+  var Companion_getInstance = kotlin_it_unibo_tuprolog_utils.$_$.e;
+  var contains = kotlin_kotlin.$_$.k3;
+  var listOf_0 = kotlin_kotlin.$_$.h4;
+  var checkIndexOverflow = kotlin_kotlin.$_$.i3;
+  var copyToArray = kotlin_kotlin.$_$.p3;
+  var trimMargin$default = kotlin_kotlin.$_$.a1;
+  var toString_0 = kotlin_kotlin.$_$.n7;
+  var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.p1;
+  var setOf = kotlin_kotlin.$_$.e5;
+  var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_core.$_$.f1;
+  var format = kotlin_it_unibo_tuprolog_core.$_$.c3;
+  var captureStack = kotlin_kotlin.$_$.h6;
+  var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_solve.$_$.y1;
+  var Expected_DEALIASING_EXPRESSION_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.l;
+  var charSequenceLength = kotlin_kotlin.$_$.l6;
+  var charSequenceGet = kotlin_kotlin.$_$.k6;
+  var toString_1 = kotlin_kotlin.$_$.h2;
+  var Companion_getInstance_2 = kotlin_it_unibo_tuprolog_unify.$_$.a;
+  var Struct = kotlin_it_unibo_tuprolog_core.$_$.z1;
+  var Companion_getInstance_3 = kotlin_it_unibo_tuprolog_solve.$_$.s1;
+  var ObjectType_OOP_ALIAS_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.h;
+  var TuPrologException_init_$Init$ = kotlin_it_unibo_tuprolog_core.$_$.m;
+  var TuPrologException = kotlin_it_unibo_tuprolog_core.$_$.l1;
+  var Companion_getInstance_4 = kotlin_it_unibo_tuprolog_solve.$_$.v1;
+  var Limit_OOP_OBJECT_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.j;
+  var Companion_getInstance_5 = kotlin_it_unibo_tuprolog_core.$_$.s;
+  var Term = kotlin_it_unibo_tuprolog_core.$_$.y2;
+  var NumberTypeTester = kotlin_it_unibo_tuprolog_utils.$_$.j;
+  var Companion_getInstance_6 = kotlin_it_unibo_tuprolog_core.$_$.g1;
+  var charArrayOf = kotlin_kotlin.$_$.i6;
+  var concatToString = kotlin_kotlin.$_$.w9;
+  var Companion_getInstance_7 = kotlin_it_unibo_tuprolog_core.$_$.a1;
+  var Companion_getInstance_8 = kotlin_it_unibo_tuprolog_core.$_$.x;
+  var isNumber = kotlin_kotlin.$_$.z6;
+  var Exception = kotlin_kotlin.$_$.ib;
+  var Var = kotlin_it_unibo_tuprolog_core.$_$.b3;
+  var sequenceOf = kotlin_kotlin.$_$.i9;
+  var Companion_getInstance_9 = kotlin_kt_math.$_$.f;
+  var Companion_getInstance_10 = kotlin_kotlin.$_$.q2;
+  var plus = kotlin_kotlin.$_$.g9;
+  var IntCompanionObject_getInstance = kotlin_kotlin.$_$.l2;
+  var ShortCompanionObject_getInstance = kotlin_kotlin.$_$.m2;
+  var ByteCompanionObject_getInstance = kotlin_kotlin.$_$.i2;
+  var Companion_getInstance_11 = kotlin_kt_math.$_$.e;
+  var DoubleCompanionObject_getInstance = kotlin_kotlin.$_$.j2;
+  var compareTo = kotlin_kotlin.$_$.n6;
+  var FloatCompanionObject_getInstance = kotlin_kotlin.$_$.k2;
+  var Integer = kotlin_it_unibo_tuprolog_core.$_$.u1;
+  var Real = kotlin_it_unibo_tuprolog_core.$_$.x1;
+  var Truth = kotlin_it_unibo_tuprolog_core.$_$.z2;
+  var first = kotlin_kotlin.$_$.t8;
+  var toSet = kotlin_kotlin.$_$.r9;
+  var Some = kotlin_it_unibo_tuprolog_utils.$_$.k;
+  var Companion_getInstance_12 = kotlin_it_unibo_tuprolog_core.$_$.e1;
+  var Companion_getInstance_13 = kotlin_it_unibo_tuprolog_solve.$_$.g2;
+  var Functional = kotlin_it_unibo_tuprolog_solve.$_$.o3;
+  var Companion_getInstance_14 = kotlin_it_unibo_tuprolog_solve.$_$.x1;
+  var Functional_0 = kotlin_it_unibo_tuprolog_solve.$_$.g3;
+  var Expected_OBJECT_REFERENCE_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.n;
+  var isObject = kotlin_kotlin.$_$.a7;
+  var map = kotlin_kotlin.$_$.c9;
+  var Companion_getInstance_15 = kotlin_it_unibo_tuprolog_core.$_$.y;
+  var List_0 = kotlin_it_unibo_tuprolog_core.$_$.v1;
+  var toList = kotlin_kotlin.$_$.p9;
+  var isArray = kotlin_kotlin.$_$.v6;
+  var asSequence = kotlin_kotlin.$_$.h3;
+  var Predicative = kotlin_it_unibo_tuprolog_solve.$_$.q3;
+  var TernaryRelation = kotlin_it_unibo_tuprolog_solve.$_$.s3;
+  var asSequence_0 = kotlin_kotlin.$_$.g3;
+  var flatMap = kotlin_kotlin.$_$.u8;
+  var distinct = kotlin_kotlin.$_$.l8;
+  var TypeTester = kotlin_it_unibo_tuprolog_solve.$_$.t3;
+  var Expected_TYPE_REFERENCE_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.p;
+  var Expected_REFERENCE_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.o;
+  var Companion_getInstance_16 = kotlin_it_unibo_tuprolog_core.$_$.i1;
+  var Companion_getInstance_17 = kotlin_it_unibo_tuprolog_core.$_$.d1;
+  var filter = kotlin_kotlin.$_$.r8;
+  var Sequence = kotlin_kotlin.$_$.f8;
+  var firstOrNull = kotlin_kotlin.$_$.s8;
+  var Yes = kotlin_it_unibo_tuprolog_solve.$_$.t4;
+  var NonBacktrackable = kotlin_it_unibo_tuprolog_solve.$_$.h3;
+  var Companion_getInstance_18 = kotlin_it_unibo_tuprolog_solve.$_$.t1;
+  var Set = kotlin_kotlin.$_$.x2;
+  var NonBacktrackable_0 = kotlin_it_unibo_tuprolog_solve.$_$.u3;
+  var RuleWrapper = kotlin_it_unibo_tuprolog_solve.$_$.x3;
+  var RuleWrapper_init_$Init$ = kotlin_it_unibo_tuprolog_solve.$_$.g1;
+  var Var_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.j2;
+  var getStringHashCode = kotlin_kotlin.$_$.s6;
+  var toString_2 = kotlin_kotlin.$_$.xa;
+  var ensureNotNull = kotlin_kotlin.$_$.vb;
+  var _Char___init__impl__6a9atx = kotlin_kotlin.$_$.d2;
+  var split$default = kotlin_kotlin.$_$.t;
+  var get_kotlin = kotlin_kotlin.$_$.b7;
+  var NotImplementedError = kotlin_kotlin.$_$.nb;
+  var Regex_init_$Create$ = kotlin_kotlin.$_$.h1;
+  //endregion
+  //region block: pre-declaration
+  setMetadataFor(Ref, 'Ref', interfaceMeta, undefined, [Atom], undefined, undefined, []);
+  setMetadataFor(ObjectRef, 'ObjectRef', interfaceMeta, undefined, [Ref], undefined, undefined, []);
+  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$();
+  }
+  setMetadataFor(NullRef, 'NullRef', interfaceMeta, undefined, [ObjectRef], undefined, undefined, []);
+  setMetadataFor(OOP, 'OOP', objectMeta, undefined, undefined, undefined, undefined, []);
+  setMetadataFor(OOPLib, 'OOPLib', objectMeta, AbstractLibrary, undefined, undefined, undefined, []);
+  setMetadataFor(Companion, 'Companion', objectMeta, undefined, undefined, undefined, undefined, []);
+  setMetadataFor(Companion_0, 'Companion', objectMeta, undefined, undefined, undefined, undefined, []);
+  setMetadataFor(Companion_1, 'Companion', objectMeta, undefined, undefined, undefined, undefined, []);
+  setMetadataFor(Result, 'Result', classMeta, undefined, undefined, undefined, undefined, []);
+  setMetadataFor(Value, 'Value', classMeta, Result, undefined, undefined, undefined, []);
+  setMetadataFor(Companion_2, 'Companion', objectMeta, undefined, undefined, undefined, undefined, []);
+  function convert(term) {
+    return this.h3q(this.j3q(term), term);
+  }
+  setMetadataFor(TermToObjectConverter, 'TermToObjectConverter', interfaceMeta, undefined, undefined, undefined, undefined, []);
+  setMetadataFor(Companion_3, 'Companion', objectMeta, undefined, undefined, undefined, undefined, []);
+  function typeRefFromName(typeName) {
+    var tmp = Companion_getInstance().pq(this.m3q(typeName));
+    return tmp.ht(TypeFactory$typeRefFromName$lambda).b1();
+  }
+  setMetadataFor(TypeFactory, 'TypeFactory', interfaceMeta, undefined, undefined, undefined, undefined, []);
+  setMetadataFor(Companion_4, 'Companion', objectMeta, undefined, undefined, undefined, undefined, []);
+  function create(objectConverter, arguments_0) {
+    return this.p3q(objectConverter, listOf(arguments_0.slice()));
+  }
+  setMetadataFor(TypeRef, 'TypeRef', interfaceMeta, undefined, [Ref], undefined, undefined, []);
+  setMetadataFor(OopException, 'OopException', classMeta, TuPrologException, undefined, undefined, undefined, []);
+  setMetadataFor(MalformedAliasException, 'MalformedAliasException', classMeta, OopException, undefined, undefined, undefined, []);
+  setMetadataFor(NoSuchAnAliasException, 'NoSuchAnAliasException', classMeta, OopException, undefined, undefined, undefined, []);
+  setMetadataFor(Companion_5, 'Companion', objectMeta, undefined, undefined, undefined, undefined, []);
+  setMetadataFor(TermToObjectConversionException, 'TermToObjectConversionException', classMeta, OopException, undefined, undefined, undefined, []);
+  setMetadataFor(NullRefImpl, 'NullRefImpl', objectMeta, undefined, [NullRef, Atom], undefined, undefined, []);
+  setMetadataFor(ObjectRefImpl, 'ObjectRefImpl', classMeta, undefined, [ObjectRef, Atom], undefined, undefined, []);
+  setMetadataFor(ObjectToTermConverterImpl, 'ObjectToTermConverterImpl', classMeta, undefined, undefined, undefined, undefined, []);
+  setMetadataFor(TermToObjectConverterImpl, 'TermToObjectConverterImpl', classMeta, undefined, [TermToObjectConverter], undefined, undefined, []);
+  setMetadataFor(TypeFactoryImpl, 'TypeFactoryImpl', classMeta, undefined, [TypeFactory], undefined, undefined, []);
+  setMetadataFor(Companion_6, 'Companion', objectMeta, undefined, undefined, undefined, undefined, []);
+  setMetadataFor(TypeRefImpl, 'TypeRefImpl', classMeta, undefined, [TypeRef, Atom], undefined, undefined, []);
+  setMetadataFor(AbstractInvoke, 'AbstractInvoke', classMeta, Functional, undefined, undefined, undefined, []);
+  setMetadataFor(AbstractIterableItems, 'AbstractIterableItems', classMeta, Functional_0, undefined, undefined, undefined, []);
+  setMetadataFor(ArrayItems, 'ArrayItems', objectMeta, AbstractIterableItems, undefined, undefined, undefined, []);
+  setMetadataFor(Assign, 'Assign', objectMeta, Predicative, undefined, undefined, undefined, []);
+  setMetadataFor(Cast, 'Cast', objectMeta, TernaryRelation, undefined, undefined, undefined, []);
+  setMetadataFor(InvokeMethod, 'InvokeMethod', objectMeta, AbstractInvoke, undefined, undefined, undefined, []);
+  setMetadataFor(InvokeStrict, 'InvokeStrict', objectMeta, AbstractInvoke, undefined, undefined, undefined, []);
+  setMetadataFor(ListItems, 'ListItems', objectMeta, AbstractIterableItems, undefined, undefined, undefined, []);
+  setMetadataFor(NewObject3, 'NewObject3', objectMeta, Functional, undefined, undefined, undefined, []);
+  setMetadataFor(NullRef_0, 'NullRef', objectMeta, TypeTester, undefined, undefined, undefined, []);
+  setMetadataFor(ObjectRef_0, 'ObjectRef', objectMeta, TypeTester, undefined, undefined, undefined, []);
+  setMetadataFor(Ref_0, 'Ref', objectMeta, TypeTester, undefined, undefined, undefined, []);
+  setMetadataFor(Register, 'Register', objectMeta, NonBacktrackable, undefined, undefined, undefined, []);
+  setMetadataFor(SetItems, 'SetItems', objectMeta, AbstractIterableItems, undefined, undefined, undefined, []);
+  setMetadataFor(Type, 'Type', objectMeta, Functional_0, undefined, undefined, undefined, []);
+  setMetadataFor(TypeRef_0, 'TypeRef', objectMeta, TypeTester, undefined, undefined, undefined, []);
+  setMetadataFor(Unregister, 'Unregister', objectMeta, NonBacktrackable_0, undefined, undefined, undefined, []);
+  setMetadataFor(Companion_7, 'Companion', objectMeta, undefined, undefined, undefined, undefined, []);
+  setMetadataFor(Alias, 'Alias', classMeta, RuleWrapper, undefined, undefined, undefined, []);
+  setMetadataFor(ColonEquals, 'ColonEquals', classMeta, RuleWrapper, undefined, undefined, undefined, []);
+  setMetadataFor(Cast_0, 'Cast', objectMeta, ColonEquals, undefined, undefined, undefined, []);
+  setMetadataFor(Invocation, 'Invocation', objectMeta, ColonEquals, undefined, undefined, undefined, []);
+  setMetadataFor(Assignment, 'Assignment', objectMeta, ColonEquals, undefined, undefined, undefined, []);
+  setMetadataFor(Dot, 'Dot', objectMeta, RuleWrapper, undefined, undefined, undefined, []);
+  setMetadataFor(Companion_8, 'Companion', objectMeta, undefined, undefined, undefined, undefined, []);
+  setMetadataFor(FluentReduce, 'FluentReduce', classMeta, RuleWrapper, undefined, undefined, undefined, []);
+  setMetadataFor(Recursive, 'Recursive', objectMeta, FluentReduce, undefined, undefined, undefined, []);
+  setMetadataFor(Couple, 'Couple', objectMeta, FluentReduce, undefined, undefined, undefined, []);
+  setMetadataFor(Trivial, 'Trivial', objectMeta, FluentReduce, undefined, undefined, undefined, []);
+  setMetadataFor(NewObject2, 'NewObject2', objectMeta, RuleWrapper, undefined, undefined, undefined, []);
+  setMetadataFor(Companion_9, 'Companion', objectMeta, undefined, undefined, undefined, undefined, []);
+  setMetadataFor(PropertyReduce, 'PropertyReduce', classMeta, RuleWrapper, undefined, undefined, undefined, []);
+  setMetadataFor(Recursive_0, 'Recursive', objectMeta, PropertyReduce, undefined, undefined, undefined, []);
+  setMetadataFor(Base, 'Base', objectMeta, PropertyReduce, undefined, undefined, undefined, []);
+  //endregion
+  function NullRef() {
+  }
+  function OOP() {
+    OOP_instance = this;
+    this.l3p_1 = '.';
+    this.m3p_1 = ':=';
+    this.n3p_1 = '$';
+    this.o3p_1 = 'as';
+    this.p3p_1 = 'alias';
+  }
+  var OOP_instance;
+  function OOP_getInstance() {
+    if (OOP_instance == null)
+      new OOP();
+    return OOP_instance;
+  }
+  function OOPLib() {
+    OOPLib_instance = this;
+    AbstractLibrary.call(this);
+  }
+  OOPLib.prototype.i2e = function () {
+    return 'prolog.oop';
+  };
+  OOPLib.prototype.h2e = function () {
+    var tmp$ret$3;
+    // Inline function 'kotlin.collections.map' call
+    var tmp0_map = listOf([ArrayItems_getInstance(), Assign_getInstance(), Cast_getInstance(), Type_getInstance(), InvokeMethod_getInstance(), InvokeStrict_getInstance(), ListItems_getInstance(), NewObject3_getInstance(), NullRef_getInstance(), ObjectRef_getInstance(), Ref_getInstance(), Register_getInstance(), SetItems_getInstance(), TypeRef_getInstance(), Unregister_getInstance()]);
+    var tmp$ret$2;
+    // Inline function 'kotlin.collections.mapTo' call
+    var tmp0_mapTo = ArrayList_init_$Create$(collectionSizeOrDefault(tmp0_map, 10));
+    var tmp0_iterator = tmp0_map.j();
+    while (tmp0_iterator.m()) {
+      var item = tmp0_iterator.p();
+      var tmp$ret$1;
+      // Inline function 'it.unibo.tuprolog.solve.libs.oop.OOPLib.<get-primitives>.<anonymous>' call
+      var tmp$ret$0;
+      // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.descriptionPair' call
+      tmp$ret$0 = to(item.signature, item.j1u());
+      tmp$ret$1 = tmp$ret$0;
+      tmp0_mapTo.g(tmp$ret$1);
+    }
+    tmp$ret$2 = tmp0_mapTo;
+    tmp$ret$3 = tmp$ret$2;
+    return toMap(tmp$ret$3);
+  };
+  OOPLib.prototype.t1l = function () {
+    var tmp$ret$2;
+    // Inline function 'kotlin.collections.map' call
+    var tmp0_map = listOf(arrayConcat([[Cast_getInstance_0(), Invocation_getInstance(), Assignment_getInstance(), Dot_getInstance(), Recursive_getInstance(), Couple_getInstance(), Trivial_getInstance(), NewObject2_getInstance(), Recursive_getInstance_0(), Base_getInstance(), Companion_getInstance_27().s3p('string', PrimitiveClasses_getInstance().ee()), Companion_getInstance_27().s3p('array', PrimitiveClasses_getInstance().de()), Companion_getInstance_27().s3p('list', getKClass(List)), Companion_getInstance_27().s3p('arraylist', getKClass(ArrayList)), Companion_getInstance_27().s3p('map', getKClass(Map)), Companion_getInstance_27().s3p('hashmap', getKClass(LinkedHashMap)), Companion_getInstance_27().s3p('int', PrimitiveClasses_getInstance().ae()), Companion_getInstance_27().s3p('integer', PrimitiveClasses_getInstance().ae()), Companion_getInstance_27().s3p('double', PrimitiveClasses_getInstance().ce()), Companion_getInstance_27().s3p('float', PrimitiveClasses_getInstance().be()), Companion_getInstance_27().s3p('long', getKClass(Long)), Companion_getInstance_27().s3p('short', PrimitiveClasses_getInstance().zd()), Companion_getInstance_27().s3p('byte', PrimitiveClasses_getInstance().yd()), Companion_getInstance_27().s3p('char', getKClass(Char)), Companion_getInstance_27().s3p('bool', PrimitiveClasses_getInstance().xd()), Companion_getInstance_27().s3p('boolean', PrimitiveClasses_getInstance().xd()), Companion_getInstance_27().s3p('any', PrimitiveClasses_getInstance().ud()), Companion_getInstance_27().s3p('nothing', PrimitiveClasses_getInstance().wd()), Companion_getInstance_27().s3p('big_integer', getKClass(BigInteger)), Companion_getInstance_27().s3p('big_decimal', getKClass(BigDecimal))], get_platformSpecificAliases()]));
+    var tmp$ret$1;
+    // Inline function 'kotlin.collections.mapTo' call
+    var tmp0_mapTo = ArrayList_init_$Create$(collectionSizeOrDefault(tmp0_map, 10));
+    var tmp0_iterator = tmp0_map.j();
+    while (tmp0_iterator.m()) {
+      var item = tmp0_iterator.p();
+      var tmp$ret$0;
+      // Inline function 'it.unibo.tuprolog.solve.libs.oop.OOPLib.<get-clauses>.<anonymous>' call
+      tmp$ret$0 = item.j1u();
+      tmp0_mapTo.g(tmp$ret$0);
+    }
+    tmp$ret$1 = tmp0_mapTo;
+    tmp$ret$2 = tmp$ret$1;
+    return tmp$ret$2;
+  };
+  OOPLib.prototype.h1v = 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)]);
+  };
+  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 = this;
+    this.t3p_1 = NullRefImpl_getInstance();
+  }
+  Companion.prototype.u3p = function (any) {
+    var tmp0_subject = any;
+    return tmp0_subject == null ? nameOf(this, PrimitiveClasses_getInstance().wd(), 'null') : nameOf(this, getKClassFromExpression(any), get_identifier(any));
+  };
+  Companion.prototype.v3p = function (any) {
+    var tmp0_subject = any;
+    return tmp0_subject == null ? this.t3p_1 : new ObjectRefImpl(any);
+  };
+  var Companion_instance;
+  function Companion_getInstance_19() {
+    if (Companion_instance == null)
+      new Companion();
+    return Companion_instance;
+  }
+  function ObjectRef() {
+  }
+  function Companion_0() {
+    Companion_instance_0 = this;
+    this.w3p_1 = new ObjectToTermConverterImpl();
+  }
+  var Companion_instance_0;
+  function Companion_getInstance_20() {
+    if (Companion_instance_0 == null)
+      new Companion_0();
+    return Companion_instance_0;
+  }
+  function Companion_1() {
+    Companion_instance_1 = this;
+  }
+  Companion_1.prototype.x3p = function (type, termToObjectConverter) {
+    return overloadSelector(type, termToObjectConverter);
+  };
+  var Companion_instance_1;
+  function Companion_getInstance_21() {
+    if (Companion_instance_1 == null)
+      new Companion_1();
+    return Companion_instance_1;
+  }
+  function Ref() {
+  }
+  function _get_termValue__ikgccs($this) {
+    var tmp$ret$0;
+    // Inline function 'kotlin.getValue' call
+    var tmp0_getValue = termValue$factory();
+    tmp$ret$0 = $this.z3p_1.b1();
+    return tmp$ret$0;
+  }
+  function _get_objectRef__3zhern($this) {
+    var tmp$ret$0;
+    // Inline function 'kotlin.getValue' call
+    var tmp0_getValue = objectRef$factory();
+    tmp$ret$0 = $this.a3q_1.b1();
+    return tmp$ret$0;
+  }
+  function Result$Value$termValue$delegate$lambda(this$0) {
+    return function () {
+      return Companion_getInstance_20().w3p_1.b3q(this$0.y3p_1);
+    };
+  }
+  function Result$Value$objectRef$delegate$lambda(this$0) {
+    return function () {
+      var tmp$ret$1;
+      // Inline function 'kotlin.let' call
+      var tmp0_let = _get_termValue__ikgccs(this$0);
+      // Inline function 'kotlin.contracts.contract' call
+      var tmp$ret$0;
+      // Inline function 'it.unibo.tuprolog.solve.libs.oop.Value.objectRef$delegate.<anonymous>.<anonymous>' call
+      var tmp;
+      if (isInterface(tmp0_let, ObjectRef)) {
+        tmp = tmp0_let;
+      } else {
+        tmp = Companion_getInstance_19().v3p(this$0.y3p_1);
+      }
+      tmp$ret$0 = tmp;
+      tmp$ret$1 = tmp$ret$0;
+      return tmp$ret$1;
+    };
+  }
+  function Value(value) {
+    Result.call(this);
+    this.y3p_1 = value;
+    var tmp = this;
+    tmp.z3p_1 = lazy(Result$Value$termValue$delegate$lambda(this));
+    var tmp_0 = this;
+    tmp_0.a3q_1 = lazy(Result$Value$objectRef$delegate$lambda(this));
+  }
+  Value.prototype.r1i = function () {
+    return _get_termValue__ikgccs(this);
+  };
+  Value.prototype.toTerm = function () {
+    return this.r1i();
+  };
+  Value.prototype.c3q = function () {
+    return _get_objectRef__3zhern(this);
+  };
+  Value.prototype.toString = function () {
+    return 'Value(value=' + toString(this.y3p_1) + ')';
+  };
+  Value.prototype.hashCode = function () {
+    return this.y3p_1 == null ? 0 : hashCode(this.y3p_1);
+  };
+  Value.prototype.equals = function (other) {
+    if (this === other)
+      return true;
+    if (!(other instanceof Value))
+      return false;
+    var tmp0_other_with_cast = other instanceof Value ? other : THROW_CCE();
+    if (!equals(this.y3p_1, tmp0_other_with_cast.y3p_1))
+      return false;
+    return true;
+  };
+  function Result() {
+  }
+  function termValue$factory() {
+    return getPropertyCallableRef('termValue', 1, KProperty1, function (receiver) {
+      return _get_termValue__ikgccs(receiver);
+    }, null);
+  }
+  function objectRef$factory() {
+    return getPropertyCallableRef('objectRef', 1, KProperty1, function (receiver) {
+      return _get_objectRef__3zhern(receiver);
+    }, null);
+  }
+  function TermToObjectConverter$Companion$of$lambda(it) {
+    return null;
+  }
+  function Companion_2() {
+    Companion_instance_2 = this;
+    var tmp = this;
+    tmp.d3q_1 = this.e3q(null, null, 3, null);
+  }
+  Companion_2.prototype.f3q = function (typeFactory, dealiaser) {
+    return new TermToObjectConverterImpl(typeFactory, dealiaser);
+  };
+  Companion_2.prototype.e3q = function (typeFactory, dealiaser, $mask0, $handler) {
+    if (!(($mask0 & 1) === 0))
+      typeFactory = Companion_getInstance_23().g3q_1;
+    if (!(($mask0 & 2) === 0)) {
+      dealiaser = TermToObjectConverter$Companion$of$lambda;
+    }
+    return this.f3q(typeFactory, dealiaser);
+  };
+  var Companion_instance_2;
+  function Companion_getInstance_22() {
+    if (Companion_instance_2 == null)
+      new Companion_2();
+    return Companion_instance_2;
+  }
+  function TermToObjectConverter() {
+  }
+  function Companion_3() {
+    Companion_instance_3 = this;
+    this.g3q_1 = new TypeFactoryImpl();
+  }
+  var Companion_instance_3;
+  function Companion_getInstance_23() {
+    if (Companion_instance_3 == null)
+      new Companion_3();
+    return Companion_instance_3;
+  }
+  function TypeFactory$typeRefFromName$lambda(it) {
+    return Companion_getInstance_24().l3q(it);
+  }
+  function TypeFactory() {
+  }
+  function Companion_4() {
+    Companion_instance_4 = this;
+  }
+  Companion_4.prototype.l3q = function (type) {
+    return new TypeRefImpl(type);
+  };
+  var Companion_instance_4;
+  function Companion_getInstance_24() {
+    if (Companion_instance_4 == null)
+      new Companion_4();
+    return Companion_instance_4;
+  }
+  function TypeRef() {
+  }
+  function get_PRIMITIVE_TYPES() {
+    init_properties_TypeUtils_kt_oih1j7();
+    return PRIMITIVE_TYPES;
+  }
+  var PRIMITIVE_TYPES;
+  function get_id() {
+    return id;
+  }
+  var id;
+  function get_isPrimitiveType(_this__u8e3s4) {
+    init_properties_TypeUtils_kt_oih1j7();
+    return contains(get_PRIMITIVE_TYPES(), _this__u8e3s4);
+  }
+  function isSubtypeOf(_this__u8e3s4, other) {
+    init_properties_TypeUtils_kt_oih1j7();
+    return isSubtypeOf_0(_this__u8e3s4, other, false);
+  }
+  function create_0(_this__u8e3s4, objectConverter, arguments_0) {
+    init_properties_TypeUtils_kt_oih1j7();
+    var constructorRef = Companion_getInstance_21().x3p(_this__u8e3s4, objectConverter).q3q(arguments_0);
+    return callWithPrologArguments$default(constructorRef, objectConverter, arguments_0, null, 4, null);
+  }
+  function invoke_0(_this__u8e3s4, objectConverter, methodName, arguments_0) {
+    init_properties_TypeUtils_kt_oih1j7();
+    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_oih1j7();
+    var methodRef = Companion_getInstance_21().x3p(_this__u8e3s4, objectConverter).r3q(methodName, arguments_0);
+    return callWithPrologArguments(methodRef, objectConverter, arguments_0, instance);
+  }
+  function assign_0(_this__u8e3s4, objectConverter, propertyName, value) {
+    init_properties_TypeUtils_kt_oih1j7();
+    return assign_1(getKClassFromExpression(_this__u8e3s4), objectConverter, propertyName, value, _this__u8e3s4);
+  }
+  function assign_1(_this__u8e3s4, objectConverter, propertyName, value, instance) {
+    init_properties_TypeUtils_kt_oih1j7();
+    var setterRef = get_setterMethod(Companion_getInstance_21().x3p(_this__u8e3s4, objectConverter).s3q(propertyName, value));
+    return callWithPrologArguments(setterRef, objectConverter, listOf_0(value), instance);
+  }
+  function isSubtypeOf_0(_this__u8e3s4, other, strict) {
+    init_properties_TypeUtils_kt_oih1j7();
+    return isSupertypeOf(other, _this__u8e3s4, strict);
+  }
+  function callWithPrologArguments(_this__u8e3s4, converter, arguments_0, instance) {
+    init_properties_TypeUtils_kt_oih1j7();
+    var formalArgumentsTypes = ensureArgumentsListIsOfSize(_this__u8e3s4, arguments_0);
+    var tmp$ret$3;
+    // Inline function 'kotlin.collections.toTypedArray' call
+    var tmp$ret$2;
+    // Inline function 'kotlin.collections.mapIndexed' call
+    var tmp$ret$1;
+    // Inline function 'kotlin.collections.mapIndexedTo' call
+    var tmp0_mapIndexedTo = ArrayList_init_$Create$(collectionSizeOrDefault(arguments_0, 10));
+    var index = 0;
+    var tmp0_iterator = arguments_0.j();
+    while (tmp0_iterator.m()) {
+      var item = tmp0_iterator.p();
+      var tmp$ret$0;
+      // Inline function 'it.unibo.tuprolog.solve.libs.oop.callWithPrologArguments.<anonymous>' call
+      var tmp1 = index;
+      index = tmp1 + 1 | 0;
+      var tmp0__anonymous__q1qw7t = checkIndexOverflow(tmp1);
+      tmp$ret$0 = converter.h3q(formalArgumentsTypes.n(tmp0__anonymous__q1qw7t), item);
+      tmp0_mapIndexedTo.g(tmp$ret$0);
+    }
+    tmp$ret$1 = tmp0_mapIndexedTo;
+    tmp$ret$2 = tmp$ret$1;
+    var tmp1_toTypedArray = tmp$ret$2;
+    tmp$ret$3 = copyToArray(tmp1_toTypedArray);
+    var args = tmp$ret$3;
+    return catchingPlatformSpecificException(_this__u8e3s4, instance, callWithPrologArguments$lambda(_this__u8e3s4, instance, args));
+  }
+  function callWithPrologArguments$default(_this__u8e3s4, converter, arguments_0, instance, $mask0, $handler) {
+    if (!(($mask0 & 4) === 0))
+      instance = null;
+    return callWithPrologArguments(_this__u8e3s4, converter, arguments_0, instance);
+  }
+  function isSupertypeOf(_this__u8e3s4, other, strict) {
+    init_properties_TypeUtils_kt_oih1j7();
+    var tmp$ret$1;
+    $l$block: {
+      // Inline function 'kotlin.sequences.any' call
+      var tmp0_any = allSupertypes(other, strict);
+      var tmp0_iterator = tmp0_any.j();
+      while (tmp0_iterator.m()) {
+        var element = tmp0_iterator.p();
+        var tmp$ret$0;
+        // Inline function 'it.unibo.tuprolog.solve.libs.oop.isSupertypeOf.<anonymous>' call
+        tmp$ret$0 = element.equals(_this__u8e3s4);
+        if (tmp$ret$0) {
+          tmp$ret$1 = true;
+          break $l$block;
+        }
+      }
+      tmp$ret$1 = false;
+    }
+    return tmp$ret$1;
+  }
+  function ensureArgumentsListIsOfSize(_this__u8e3s4, actualArguments) {
+    init_properties_TypeUtils_kt_oih1j7();
+    var tmp$ret$4;
+    // Inline function 'kotlin.also' call
+    var tmp0_also = get_formalParameterTypes(_this__u8e3s4);
+    // Inline function 'kotlin.contracts.contract' call
+    // Inline function 'it.unibo.tuprolog.solve.libs.oop.ensureArgumentsListIsOfSize.<anonymous>' call
+    // Inline function 'kotlin.require' call
+    var tmp0_require = get_formalParameterTypes(_this__u8e3s4).o() === actualArguments.o();
+    // Inline function 'kotlin.contracts.contract' call
+    if (!tmp0_require) {
+      var tmp$ret$3;
+      // Inline function 'it.unibo.tuprolog.solve.libs.oop.ensureArgumentsListIsOfSize.<anonymous>.<anonymous>' call
+      var tmp = _this__u8e3s4.callableName;
+      var tmp$ret$2;
+      // Inline function 'kotlin.collections.map' call
+      var tmp$ret$1;
+      // Inline function 'kotlin.collections.mapTo' call
+      var tmp0_mapTo = ArrayList_init_$Create$(collectionSizeOrDefault(tmp0_also, 10));
+      var tmp0_iterator = tmp0_also.j();
+      while (tmp0_iterator.m()) {
+        var item = tmp0_iterator.p();
+        var tmp$ret$0;
+        // Inline function 'it.unibo.tuprolog.solve.libs.oop.ensureArgumentsListIsOfSize.<anonymous>.<anonymous>.<anonymous>' call
+        tmp$ret$0 = get_name(item);
+        tmp0_mapTo.g(tmp$ret$0);
+      }
+      tmp$ret$1 = tmp0_mapTo;
+      tmp$ret$2 = tmp$ret$1;
+      var tmp_0 = '\n            |\n            |Error while invoking ' + tmp + ' the expected argument types \n            |   ' + tmp$ret$2 + ' \n            |are not as many as the as the actual parameters (' + tmp0_also.o() + ' vs. ' + actualArguments.o() + '):\n            |   ' + actualArguments + '\n            |\n            ';
+      tmp$ret$3 = trimMargin$default(tmp_0, null, 1, null);
+      var message = tmp$ret$3;
+      throw IllegalArgumentException_init_$Create$(toString_0(message));
+    }
+    tmp$ret$4 = tmp0_also;
+    return tmp$ret$4;
+  }
+  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_oih1j7() {
+    if (properties_initialized_TypeUtils_kt_7pe6qv) {
+    } else {
+      properties_initialized_TypeUtils_kt_7pe6qv = true;
+      PRIMITIVE_TYPES = setOf([getKClass(Long), PrimitiveClasses_getInstance().ae(), PrimitiveClasses_getInstance().zd(), PrimitiveClasses_getInstance().yd(), getKClass(Char), PrimitiveClasses_getInstance().ce(), PrimitiveClasses_getInstance().be()]);
+    }
+  }
+  function MalformedAliasException(dealiasingExpression) {
+    var tmp = 'This is not a dealiasing expression `' + dealiasingExpression + '` in the form ' + format(get_DEALIASING_TEMPLATE(), Companion_getInstance_0().prettyExpressionsPrettyVariablesDefaultOperators());
+    OopException_init_$Init$_0(tmp, null, 2, null, this);
+    this.t3q_1 = dealiasingExpression;
+    captureStack(this, MalformedAliasException);
+  }
+  MalformedAliasException.prototype.u3q = function (context, signature) {
+    var tmp = Companion_getInstance_1();
+    var tmp_0 = Expected_DEALIASING_EXPRESSION_getInstance();
+    var tmp_1 = this.a26();
+    var tmp_2 = signature.toIndicator();
+    var tmp0_safe_receiver = this.message;
+    var tmp_3;
+    if (tmp0_safe_receiver == null) {
+      tmp_3 = null;
+    } else {
+      var tmp$ret$7;
+      // Inline function 'kotlin.text.replaceFirstChar' call
+      var tmp_4;
+      var tmp$ret$0;
+      // Inline function 'kotlin.text.isNotEmpty' call
+      tmp$ret$0 = charSequenceLength(tmp0_safe_receiver) > 0;
+      if (tmp$ret$0) {
+        var tmp$ret$4;
+        // Inline function 'it.unibo.tuprolog.solve.libs.oop.exceptions.MalformedAliasException.toLogicError.<anonymous>' call
+        var tmp0__anonymous__q1qw7t = charSequenceGet(tmp0_safe_receiver, 0);
+        var tmp$ret$3;
+        // Inline function 'kotlin.text.lowercase' call
+        var tmp$ret$2;
+        // Inline function 'kotlin.js.unsafeCast' call
+        var tmp$ret$1;
+        // Inline function 'kotlin.js.asDynamic' call
+        var tmp0_asDynamic = toString_1(tmp0__anonymous__q1qw7t);
+        tmp$ret$1 = tmp0_asDynamic;
+        var tmp1_unsafeCast = tmp$ret$1.toLowerCase();
+        tmp$ret$2 = tmp1_unsafeCast;
+        tmp$ret$3 = tmp$ret$2;
+        tmp$ret$4 = tmp$ret$3;
+        var tmp_5 = toString_0(tmp$ret$4);
+        var tmp$ret$6;
+        // Inline function 'kotlin.text.substring' call
+        var tmp$ret$5;
+        // Inline function 'kotlin.js.asDynamic' call
+        tmp$ret$5 = tmp0_safe_receiver;
+        tmp$ret$6 = tmp$ret$5.substring(1);
+        tmp_4 = tmp_5 + tmp$ret$6;
+      } else {
+        tmp_4 = tmp0_safe_receiver;
+      }
+      tmp$ret$7 = tmp_4;
+      tmp_3 = tmp$ret$7;
+    }
+    return tmp.of(context, tmp_0, tmp_1, 'Error in ' + tmp_2 + ': ' + tmp_3);
+  };
+  MalformedAliasException.prototype.a26 = function () {
+    return this.t3q_1;
+  };
+  function NoSuchAnAliasException(dealiasingExpression) {
+    var tmp = 'There exists no reference whose alias is `' + dealiasingExpression.get(0) + '`';
+    OopException_init_$Init$_0(tmp, null, 2, null, this);
+    this.v3q_1 = dealiasingExpression;
+    // Inline function 'kotlin.require' call
+    var tmp0_require = Companion_getInstance_2().matches(this.v3q_1, get_DEALIASING_TEMPLATE());
+    // Inline function 'kotlin.contracts.contract' call
+    // Inline function 'kotlin.require' call
+    // Inline function 'kotlin.contracts.contract' call
+    if (!tmp0_require) {
+      var tmp$ret$0;
+      // Inline function 'kotlin.require.<anonymous>' call
+      tmp$ret$0 = 'Failed requirement.';
+      var message = tmp$ret$0;
+      throw IllegalArgumentException_init_$Create$(toString_0(message));
+    }
+    // Inline function 'kotlin.require' call
+    var tmp_0 = this.v3q_1.get(0);
+    var tmp1_require = isInterface(tmp_0, Struct);
+    // Inline function 'kotlin.contracts.contract' call
+    // Inline function 'kotlin.require' call
+    // Inline function 'kotlin.contracts.contract' call
+    if (!tmp1_require) {
+      var tmp$ret$1;
+      // Inline function 'kotlin.require.<anonymous>' call
+      tmp$ret$1 = 'Failed requirement.';
+      var message_0 = tmp$ret$1;
+      throw IllegalArgumentException_init_$Create$(toString_0(message_0));
+    }
+    captureStack(this, NoSuchAnAliasException);
+  }
+  NoSuchAnAliasException.prototype.u3q = function (context, signature) {
+    var tmp = Companion_getInstance_3();
+    var tmp_0 = ObjectType_OOP_ALIAS_getInstance();
+    var tmp_1 = this.a26();
+    var tmp0_elvis_lhs = this.message;
+    return tmp.of(context, tmp_0, tmp_1, tmp0_elvis_lhs == null ? '' : tmp0_elvis_lhs);
+  };
+  NoSuchAnAliasException.prototype.a26 = function () {
+    return this.v3q_1;
+  };
+  function OopException_init_$Init$(message, cause, $this) {
+    TuPrologException_init_$Init$(message, cause, $this);
+    OopException.call($this);
+    return $this;
+  }
+  function OopException_init_$Init$_0(message, cause, $mask0, $marker, $this) {
+    if (!(($mask0 & 1) === 0))
+      message = null;
+    if (!(($mask0 & 2) === 0))
+      cause = null;
+    OopException_init_$Init$(message, cause, $this);
+    return $this;
+  }
+  function Companion_5() {
+    Companion_instance_5 = this;
+  }
+  var Companion_instance_5;
+  function Companion_getInstance_25() {
+    if (Companion_instance_5 == null)
+      new Companion_5();
+    return Companion_instance_5;
+  }
+  function OopException() {
+    Companion_getInstance_25();
+    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, Object.create(TermToObjectConversionException.prototype));
+    captureStack(tmp, TermToObjectConversionException_init_$Create$);
+    return tmp;
+  }
+  function TermToObjectConversionException(term, targetType) {
+    var tmp0_safe_receiver = targetType;
+    var tmp;
+    if (tmp0_safe_receiver == null) {
+      tmp = null;
+    } else {
+      var tmp$ret$1;
+      // Inline function 'kotlin.let' call
+      // Inline function 'kotlin.contracts.contract' call
+      var tmp$ret$0;
+      // Inline function 'it.unibo.tuprolog.solve.libs.oop.exceptions.TermToObjectConversionException.<init>.<anonymous>' call
+      tmp$ret$0 = 'Term `' + term + '` cannot be converted into an object of type ' + get_fullName(targetType);
+      tmp$ret$1 = tmp$ret$0;
+      tmp = tmp$ret$1;
+    }
+    var tmp1_elvis_lhs = tmp;
+    var tmp_0 = tmp1_elvis_lhs == null ? 'Term `' + term + '` cannot be converted into an object' : tmp1_elvis_lhs;
+    OopException_init_$Init$_0(tmp_0, null, 2, null, this);
+    this.w3q_1 = term;
+    this.x3q_1 = targetType;
+    captureStack(this, TermToObjectConversionException);
+  }
+  TermToObjectConversionException.prototype.u3q = function (context, signature) {
+    return Companion_getInstance_4().t27(context, signature, Limit_OOP_OBJECT_getInstance(), this);
+  };
+  function NullRefImpl() {
+    NullRefImpl_instance = this;
+    this.y3q_1 = Companion_getInstance_5().of(Companion_getInstance_19().u3p(null));
+  }
+  NullRefImpl.prototype.gw = function () {
+    return this.y3q_1.gw();
+  };
+  NullRefImpl.prototype.yw = function () {
+    return this.y3q_1.yw();
+  };
+  NullRefImpl.prototype.zv = function () {
+    return this.y3q_1.zv();
+  };
+  NullRefImpl.prototype.fw = function () {
+    return this.y3q_1.fw();
+  };
+  NullRefImpl.prototype.xw = function () {
+    return this.y3q_1.xw();
+  };
+  NullRefImpl.prototype.aw = function () {
+    return this.y3q_1.aw();
+  };
+  NullRefImpl.prototype.tw = function () {
+    return this.y3q_1.tw();
+  };
+  NullRefImpl.prototype.mw = function () {
+    return this.y3q_1.mw();
+  };
+  NullRefImpl.prototype.sw = function () {
+    return this.y3q_1.sw();
+  };
+  NullRefImpl.prototype.ow = function () {
+    return this.y3q_1.ow();
+  };
+  NullRefImpl.prototype.bw = function () {
+    return this.y3q_1.bw();
+  };
+  NullRefImpl.prototype.cw = function () {
+    return this.y3q_1.cw();
+  };
+  NullRefImpl.prototype.pw = function () {
+    return this.y3q_1.pw();
+  };
+  NullRefImpl.prototype.ew = function () {
+    return this.y3q_1.ew();
+  };
+  NullRefImpl.prototype.ww = function () {
+    return this.y3q_1.ww();
+  };
+  NullRefImpl.prototype.jx = function () {
+    return this.y3q_1.jx();
+  };
+  NullRefImpl.prototype.uw = function () {
+    return this.y3q_1.uw();
+  };
+  NullRefImpl.prototype.gx = function () {
+    return this.y3q_1.gx();
+  };
+  NullRefImpl.prototype.rw = function () {
+    return this.y3q_1.rw();
+  };
+  NullRefImpl.prototype.fx = function () {
+    return this.y3q_1.fx();
+  };
+  NullRefImpl.prototype.hx = function () {
+    return this.y3q_1.hx();
+  };
+  NullRefImpl.prototype.dx = function () {
+    return this.y3q_1.dx();
+  };
+  NullRefImpl.prototype.nw = function () {
+    return this.y3q_1.nw();
+  };
+  NullRefImpl.prototype.lw = function () {
+    return this.y3q_1.lw();
+  };
+  NullRefImpl.prototype.dw = function () {
+    return this.y3q_1.dw();
+  };
+  NullRefImpl.prototype.cx = function () {
+    return this.y3q_1.cx();
+  };
+  NullRefImpl.prototype.qw = function () {
+    return this.y3q_1.qw();
+  };
+  NullRefImpl.prototype.bx = function () {
+    return this.y3q_1.bx();
+  };
+  NullRefImpl.prototype.kt = function () {
+    return this.y3q_1.kt();
+  };
+  NullRefImpl.prototype.b1 = function () {
+    return this.y3q_1.b1();
+  };
+  NullRefImpl.prototype.hw = function () {
+    return this.y3q_1.hw();
+  };
+  NullRefImpl.prototype.addFirst = function (argument) {
+    return this.y3q_1.addFirst(argument);
+  };
+  NullRefImpl.prototype.addLast = function (argument) {
+    return this.y3q_1.addLast(argument);
+  };
+  NullRefImpl.prototype.append = function (argument) {
+    return this.y3q_1.append(argument);
+  };
+  NullRefImpl.prototype.kw = function () {
+    return this.y3q_1.kw();
+  };
+  NullRefImpl.prototype.asAtom = function () {
+    return this.kw();
+  };
+  NullRefImpl.prototype.asBlock = function () {
+    return this.y3q_1.asBlock();
+  };
+  NullRefImpl.prototype.asClause = function () {
+    return this.y3q_1.asClause();
+  };
+  NullRefImpl.prototype.asCons = function () {
+    return this.y3q_1.asCons();
+  };
+  NullRefImpl.prototype.asDirective = function () {
+    return this.y3q_1.asDirective();
+  };
+  NullRefImpl.prototype.asEmptyBlock = function () {
+    return this.y3q_1.asEmptyBlock();
+  };
+  NullRefImpl.prototype.asEmptyList = function () {
+    return this.y3q_1.asEmptyList();
+  };
+  NullRefImpl.prototype.asFact = function () {
+    return this.y3q_1.asFact();
+  };
+  NullRefImpl.prototype.asIndicator = function () {
+    return this.y3q_1.asIndicator();
+  };
+  NullRefImpl.prototype.asInteger = function () {
+    return this.y3q_1.asInteger();
+  };
+  NullRefImpl.prototype.asList = function () {
+    return this.y3q_1.asList();
+  };
+  NullRefImpl.prototype.asNumeric = function () {
+    return this.y3q_1.asNumeric();
+  };
+  NullRefImpl.prototype.asReal = function () {
+    return this.y3q_1.asReal();
+  };
+  NullRefImpl.prototype.asRecursive = function () {
+    return this.y3q_1.asRecursive();
+  };
+  NullRefImpl.prototype.asRule = function () {
+    return this.y3q_1.asRule();
+  };
+  NullRefImpl.prototype.vw = function () {
+    return this.y3q_1.vw();
+  };
+  NullRefImpl.prototype.asStruct = function () {
+    return this.vw();
+  };
+  NullRefImpl.prototype.asTerm = function () {
+    return this.y3q_1.asTerm();
+  };
+  NullRefImpl.prototype.asTruth = function () {
+    return this.y3q_1.asTruth();
+  };
+  NullRefImpl.prototype.asTuple = function () {
+    return this.y3q_1.asTuple();
+  };
+  NullRefImpl.prototype.asVar = function () {
+    return this.y3q_1.asVar();
+  };
+  NullRefImpl.prototype.castToAtom = function () {
+    return this.y3q_1.castToAtom();
+  };
+  NullRefImpl.prototype.castToBlock = function () {
+    return this.y3q_1.castToBlock();
+  };
+  NullRefImpl.prototype.castToClause = function () {
+    return this.y3q_1.castToClause();
+  };
+  NullRefImpl.prototype.castToCons = function () {
+    return this.y3q_1.castToCons();
+  };
+  NullRefImpl.prototype.castToConstant = function () {
+    return this.y3q_1.castToConstant();
+  };
+  NullRefImpl.prototype.castToDirective = function () {
+    return this.y3q_1.castToDirective();
+  };
+  NullRefImpl.prototype.castToEmptyBlock = function () {
+    return this.y3q_1.castToEmptyBlock();
+  };
+  NullRefImpl.prototype.castToEmptyList = function () {
+    return this.y3q_1.castToEmptyList();
+  };
+  NullRefImpl.prototype.castToFact = function () {
+    return this.y3q_1.castToFact();
+  };
+  NullRefImpl.prototype.castToIndicator = function () {
+    return this.y3q_1.castToIndicator();
+  };
+  NullRefImpl.prototype.castToInteger = function () {
+    return this.y3q_1.castToInteger();
+  };
+  NullRefImpl.prototype.castToList = function () {
+    return this.y3q_1.castToList();
+  };
+  NullRefImpl.prototype.castToNumeric = function () {
+    return this.y3q_1.castToNumeric();
+  };
+  NullRefImpl.prototype.castToReal = function () {
+    return this.y3q_1.castToReal();
+  };
+  NullRefImpl.prototype.castToRecursive = function () {
+    return this.y3q_1.castToRecursive();
+  };
+  NullRefImpl.prototype.castToRule = function () {
+    return this.y3q_1.castToRule();
+  };
+  NullRefImpl.prototype.castToStruct = function () {
+    return this.y3q_1.castToStruct();
+  };
+  NullRefImpl.prototype.castToTerm = function () {
+    return this.y3q_1.castToTerm();
+  };
+  NullRefImpl.prototype.castToTruth = function () {
+    return this.y3q_1.castToTruth();
+  };
+  NullRefImpl.prototype.castToTuple = function () {
+    return this.y3q_1.castToTuple();
+  };
+  NullRefImpl.prototype.castToVar = function () {
+    return this.y3q_1.castToVar();
+  };
+  NullRefImpl.prototype.ax = function (other) {
+    return this.y3q_1.ax(other);
+  };
+  NullRefImpl.prototype.aa = function (other) {
+    return this.ax((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+  };
+  NullRefImpl.prototype.containsTag = function (name) {
+    return this.y3q_1.containsTag(name);
+  };
+  NullRefImpl.prototype.equalsUsingVarCompleteNames = function (other, useVarCompleteName) {
+    return this.y3q_1.equalsUsingVarCompleteNames(other, useVarCompleteName);
+  };
+  NullRefImpl.prototype.equals = function (other) {
+    return this.y3q_1.equals(other);
+  };
+  NullRefImpl.prototype.get = function (index) {
+    return this.y3q_1.get(index);
+  };
+  NullRefImpl.prototype.getArgAt = function (index) {
+    return this.y3q_1.getArgAt(index);
+  };
+  NullRefImpl.prototype.getTag = function (name) {
+    return this.y3q_1.getTag(name);
+  };
+  NullRefImpl.prototype.hashCode = function () {
+    return this.y3q_1.hashCode();
+  };
+  NullRefImpl.prototype.insertAt = function (index, argument) {
+    return this.y3q_1.insertAt(index, argument);
+  };
+  NullRefImpl.prototype.resetTags = function (tags) {
+    return this.y3q_1.resetTags(tags);
+  };
+  NullRefImpl.prototype.setArgs = function (args) {
+    return this.y3q_1.setArgs(args);
+  };
+  NullRefImpl.prototype.setArgsIterable = function (args) {
+    return this.y3q_1.setArgsIterable(args);
+  };
+  NullRefImpl.prototype.setArgsSequence = function (args) {
+    return this.y3q_1.setArgsSequence(args);
+  };
+  NullRefImpl.prototype.setFunctor = function (functor) {
+    return this.y3q_1.setFunctor(functor);
+  };
+  NullRefImpl.prototype.structurallyEquals = function (other) {
+    return this.y3q_1.structurallyEquals(other);
+  };
+  NullRefImpl.prototype.toString = function () {
+    return this.y3q_1.toString();
+  };
+  NullRefImpl.prototype.ex = function () {
+    return true;
+  };
+  NullRefImpl.prototype.ix = function () {
+    return this;
+  };
+  NullRefImpl.prototype.asConstant = function () {
+    return this.ix();
+  };
+  NullRefImpl.prototype.iw = function () {
+    return this;
+  };
+  NullRefImpl.prototype.freshCopy = function () {
+    return this.iw();
+  };
+  NullRefImpl.prototype.jw = function (scope) {
+    return this;
+  };
+  NullRefImpl.prototype.freshCopyFromScope = function (scope) {
+    return this.jw(scope);
+  };
+  NullRefImpl.prototype.zw = function () {
+    return isInterface(this, Term) ? this : THROW_CCE();
+  };
+  NullRefImpl.prototype.qq = function () {
+    return this.zw();
+  };
+  NullRefImpl.prototype.s16 = function (substitution) {
+    return this;
+  };
+  NullRefImpl.prototype.applySubstitution = function (substitution) {
+    return this.s16(substitution);
+  };
+  NullRefImpl.prototype.c2p = function (substitution, substitutions) {
+    return this;
+  };
+  NullRefImpl.prototype.apply = function (substitution, substitutions) {
+    return this.c2p(substitution, substitutions);
+  };
+  NullRefImpl.prototype.b2p = function (substitution, substitutions) {
+    return this;
+  };
+  NullRefImpl.prototype.getSubstituted = function (substitution, substitutions) {
+    return this.b2p(substitution, substitutions);
+  };
+  NullRefImpl.prototype.y15 = function (visitor) {
+    return visitor.visitAtom(this);
+  };
+  NullRefImpl.prototype.accept = function (visitor) {
+    return this.y15(visitor);
+  };
+  var NullRefImpl_instance;
+  function NullRefImpl_getInstance() {
+    if (NullRefImpl_instance == null)
+      new NullRefImpl();
+    return NullRefImpl_instance;
+  }
+  function ObjectRefImpl(object) {
+    this.z3q_1 = object;
+    this.a3r_1 = Companion_getInstance_5().of(Companion_getInstance_19().u3p(object));
+  }
+  ObjectRefImpl.prototype.i3p = function () {
+    return this.z3q_1;
+  };
+  ObjectRefImpl.prototype.gw = function () {
+    return this.a3r_1.gw();
+  };
+  ObjectRefImpl.prototype.yw = function () {
+    return this.a3r_1.yw();
+  };
+  ObjectRefImpl.prototype.zv = function () {
+    return this.a3r_1.zv();
+  };
+  ObjectRefImpl.prototype.fw = function () {
+    return this.a3r_1.fw();
+  };
+  ObjectRefImpl.prototype.xw = function () {
+    return this.a3r_1.xw();
+  };
+  ObjectRefImpl.prototype.aw = function () {
+    return this.a3r_1.aw();
+  };
+  ObjectRefImpl.prototype.tw = function () {
+    return this.a3r_1.tw();
+  };
+  ObjectRefImpl.prototype.mw = function () {
+    return this.a3r_1.mw();
+  };
+  ObjectRefImpl.prototype.sw = function () {
+    return this.a3r_1.sw();
+  };
+  ObjectRefImpl.prototype.ow = function () {
+    return this.a3r_1.ow();
+  };
+  ObjectRefImpl.prototype.bw = function () {
+    return this.a3r_1.bw();
+  };
+  ObjectRefImpl.prototype.cw = function () {
+    return this.a3r_1.cw();
+  };
+  ObjectRefImpl.prototype.pw = function () {
+    return this.a3r_1.pw();
+  };
+  ObjectRefImpl.prototype.ew = function () {
+    return this.a3r_1.ew();
+  };
+  ObjectRefImpl.prototype.ww = function () {
+    return this.a3r_1.ww();
+  };
+  ObjectRefImpl.prototype.jx = function () {
+    return this.a3r_1.jx();
+  };
+  ObjectRefImpl.prototype.uw = function () {
+    return this.a3r_1.uw();
+  };
+  ObjectRefImpl.prototype.gx = function () {
+    return this.a3r_1.gx();
+  };
+  ObjectRefImpl.prototype.rw = function () {
+    return this.a3r_1.rw();
+  };
+  ObjectRefImpl.prototype.fx = function () {
+    return this.a3r_1.fx();
+  };
+  ObjectRefImpl.prototype.hx = function () {
+    return this.a3r_1.hx();
+  };
+  ObjectRefImpl.prototype.dx = function () {
+    return this.a3r_1.dx();
+  };
+  ObjectRefImpl.prototype.nw = function () {
+    return this.a3r_1.nw();
+  };
+  ObjectRefImpl.prototype.lw = function () {
+    return this.a3r_1.lw();
+  };
+  ObjectRefImpl.prototype.dw = function () {
+    return this.a3r_1.dw();
+  };
+  ObjectRefImpl.prototype.cx = function () {
+    return this.a3r_1.cx();
+  };
+  ObjectRefImpl.prototype.qw = function () {
+    return this.a3r_1.qw();
+  };
+  ObjectRefImpl.prototype.bx = function () {
+    return this.a3r_1.bx();
+  };
+  ObjectRefImpl.prototype.kt = function () {
+    return this.a3r_1.kt();
+  };
+  ObjectRefImpl.prototype.b1 = function () {
+    return this.a3r_1.b1();
+  };
+  ObjectRefImpl.prototype.hw = function () {
+    return this.a3r_1.hw();
+  };
+  ObjectRefImpl.prototype.addFirst = function (argument) {
+    return this.a3r_1.addFirst(argument);
+  };
+  ObjectRefImpl.prototype.addLast = function (argument) {
+    return this.a3r_1.addLast(argument);
+  };
+  ObjectRefImpl.prototype.append = function (argument) {
+    return this.a3r_1.append(argument);
+  };
+  ObjectRefImpl.prototype.kw = function () {
+    return this.a3r_1.kw();
+  };
+  ObjectRefImpl.prototype.asAtom = function () {
+    return this.kw();
+  };
+  ObjectRefImpl.prototype.asBlock = function () {
+    return this.a3r_1.asBlock();
+  };
+  ObjectRefImpl.prototype.asClause = function () {
+    return this.a3r_1.asClause();
+  };
+  ObjectRefImpl.prototype.asCons = function () {
+    return this.a3r_1.asCons();
+  };
+  ObjectRefImpl.prototype.asDirective = function () {
+    return this.a3r_1.asDirective();
+  };
+  ObjectRefImpl.prototype.asEmptyBlock = function () {
+    return this.a3r_1.asEmptyBlock();
+  };
+  ObjectRefImpl.prototype.asEmptyList = function () {
+    return this.a3r_1.asEmptyList();
+  };
+  ObjectRefImpl.prototype.asFact = function () {
+    return this.a3r_1.asFact();
+  };
+  ObjectRefImpl.prototype.asIndicator = function () {
+    return this.a3r_1.asIndicator();
+  };
+  ObjectRefImpl.prototype.asInteger = function () {
+    return this.a3r_1.asInteger();
+  };
+  ObjectRefImpl.prototype.asList = function () {
+    return this.a3r_1.asList();
+  };
+  ObjectRefImpl.prototype.asNumeric = function () {
+    return this.a3r_1.asNumeric();
+  };
+  ObjectRefImpl.prototype.asReal = function () {
+    return this.a3r_1.asReal();
+  };
+  ObjectRefImpl.prototype.asRecursive = function () {
+    return this.a3r_1.asRecursive();
+  };
+  ObjectRefImpl.prototype.asRule = function () {
+    return this.a3r_1.asRule();
+  };
+  ObjectRefImpl.prototype.vw = function () {
+    return this.a3r_1.vw();
+  };
+  ObjectRefImpl.prototype.asStruct = function () {
+    return this.vw();
+  };
+  ObjectRefImpl.prototype.asTerm = function () {
+    return this.a3r_1.asTerm();
+  };
+  ObjectRefImpl.prototype.asTruth = function () {
+    return this.a3r_1.asTruth();
+  };
+  ObjectRefImpl.prototype.asTuple = function () {
+    return this.a3r_1.asTuple();
+  };
+  ObjectRefImpl.prototype.asVar = function () {
+    return this.a3r_1.asVar();
+  };
+  ObjectRefImpl.prototype.castToAtom = function () {
+    return this.a3r_1.castToAtom();
+  };
+  ObjectRefImpl.prototype.castToBlock = function () {
+    return this.a3r_1.castToBlock();
+  };
+  ObjectRefImpl.prototype.castToClause = function () {
+    return this.a3r_1.castToClause();
+  };
+  ObjectRefImpl.prototype.castToCons = function () {
+    return this.a3r_1.castToCons();
+  };
+  ObjectRefImpl.prototype.castToConstant = function () {
+    return this.a3r_1.castToConstant();
+  };
+  ObjectRefImpl.prototype.castToDirective = function () {
+    return this.a3r_1.castToDirective();
+  };
+  ObjectRefImpl.prototype.castToEmptyBlock = function () {
+    return this.a3r_1.castToEmptyBlock();
+  };
+  ObjectRefImpl.prototype.castToEmptyList = function () {
+    return this.a3r_1.castToEmptyList();
+  };
+  ObjectRefImpl.prototype.castToFact = function () {
+    return this.a3r_1.castToFact();
+  };
+  ObjectRefImpl.prototype.castToIndicator = function () {
+    return this.a3r_1.castToIndicator();
+  };
+  ObjectRefImpl.prototype.castToInteger = function () {
+    return this.a3r_1.castToInteger();
+  };
+  ObjectRefImpl.prototype.castToList = function () {
+    return this.a3r_1.castToList();
+  };
+  ObjectRefImpl.prototype.castToNumeric = function () {
+    return this.a3r_1.castToNumeric();
+  };
+  ObjectRefImpl.prototype.castToReal = function () {
+    return this.a3r_1.castToReal();
+  };
+  ObjectRefImpl.prototype.castToRecursive = function () {
+    return this.a3r_1.castToRecursive();
+  };
+  ObjectRefImpl.prototype.castToRule = function () {
+    return this.a3r_1.castToRule();
+  };
+  ObjectRefImpl.prototype.castToStruct = function () {
+    return this.a3r_1.castToStruct();
+  };
+  ObjectRefImpl.prototype.castToTerm = function () {
+    return this.a3r_1.castToTerm();
+  };
+  ObjectRefImpl.prototype.castToTruth = function () {
+    return this.a3r_1.castToTruth();
+  };
+  ObjectRefImpl.prototype.castToTuple = function () {
+    return this.a3r_1.castToTuple();
+  };
+  ObjectRefImpl.prototype.castToVar = function () {
+    return this.a3r_1.castToVar();
+  };
+  ObjectRefImpl.prototype.ax = function (other) {
+    return this.a3r_1.ax(other);
+  };
+  ObjectRefImpl.prototype.aa = function (other) {
+    return this.ax((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+  };
+  ObjectRefImpl.prototype.containsTag = function (name) {
+    return this.a3r_1.containsTag(name);
+  };
+  ObjectRefImpl.prototype.equalsUsingVarCompleteNames = function (other, useVarCompleteName) {
+    return this.a3r_1.equalsUsingVarCompleteNames(other, useVarCompleteName);
+  };
+  ObjectRefImpl.prototype.equals = function (other) {
+    return this.a3r_1.equals(other);
+  };
+  ObjectRefImpl.prototype.get = function (index) {
+    return this.a3r_1.get(index);
+  };
+  ObjectRefImpl.prototype.getArgAt = function (index) {
+    return this.a3r_1.getArgAt(index);
+  };
+  ObjectRefImpl.prototype.getTag = function (name) {
+    return this.a3r_1.getTag(name);
+  };
+  ObjectRefImpl.prototype.hashCode = function () {
+    return this.a3r_1.hashCode();
+  };
+  ObjectRefImpl.prototype.insertAt = function (index, argument) {
+    return this.a3r_1.insertAt(index, argument);
+  };
+  ObjectRefImpl.prototype.resetTags = function (tags) {
+    return this.a3r_1.resetTags(tags);
+  };
+  ObjectRefImpl.prototype.setArgs = function (args) {
+    return this.a3r_1.setArgs(args);
+  };
+  ObjectRefImpl.prototype.setArgsIterable = function (args) {
+    return this.a3r_1.setArgsIterable(args);
+  };
+  ObjectRefImpl.prototype.setArgsSequence = function (args) {
+    return this.a3r_1.setArgsSequence(args);
+  };
+  ObjectRefImpl.prototype.setFunctor = function (functor) {
+    return this.a3r_1.setFunctor(functor);
+  };
+  ObjectRefImpl.prototype.structurallyEquals = function (other) {
+    return this.a3r_1.structurallyEquals(other);
+  };
+  ObjectRefImpl.prototype.toString = function () {
+    return this.a3r_1.toString();
+  };
+  ObjectRefImpl.prototype.ex = function () {
+    return true;
+  };
+  ObjectRefImpl.prototype.ix = function () {
+    return this;
+  };
+  ObjectRefImpl.prototype.asConstant = function () {
+    return this.ix();
+  };
+  ObjectRefImpl.prototype.j3p = function (objectConverter, methodName, arguments_0) {
+    return invoke_0(this.z3q_1, objectConverter, methodName, arguments_0);
+  };
+  ObjectRefImpl.prototype.k3p = function (objectConverter, propertyName, value) {
+    assign_0(this.z3q_1, objectConverter, propertyName, value);
+    return true;
+  };
+  ObjectRefImpl.prototype.iw = function () {
+    return this;
+  };
+  ObjectRefImpl.prototype.freshCopy = function () {
+    return this.iw();
+  };
+  ObjectRefImpl.prototype.jw = function (scope) {
+    return this;
+  };
+  ObjectRefImpl.prototype.freshCopyFromScope = function (scope) {
+    return this.jw(scope);
+  };
+  ObjectRefImpl.prototype.zw = function () {
+    return isInterface(this, Term) ? this : THROW_CCE();
+  };
+  ObjectRefImpl.prototype.qq = function () {
+    return this.zw();
+  };
+  ObjectRefImpl.prototype.s16 = function (substitution) {
+    return this;
+  };
+  ObjectRefImpl.prototype.applySubstitution = function (substitution) {
+    return this.s16(substitution);
+  };
+  ObjectRefImpl.prototype.c2p = function (substitution, substitutions) {
+    return this;
+  };
+  ObjectRefImpl.prototype.apply = function (substitution, substitutions) {
+    return this.c2p(substitution, substitutions);
+  };
+  ObjectRefImpl.prototype.b2p = function (substitution, substitutions) {
+    return this;
+  };
+  ObjectRefImpl.prototype.getSubstituted = function (substitution, substitutions) {
+    return this.b2p(substitution, substitutions);
+  };
+  ObjectRefImpl.prototype.y15 = function (visitor) {
+    return visitor.visitAtom(this);
+  };
+  ObjectRefImpl.prototype.accept = function (visitor) {
+    return this.y15(visitor);
+  };
+  function ObjectToTermConverterImpl() {
+    this.b3r_1 = new NumberTypeTester();
+  }
+  ObjectToTermConverterImpl.prototype.b3q = function (source) {
+    var tmp$ret$2;
+    // Inline function 'kotlin.with' call
+    var tmp0_with = this.b3r_1;
+    // Inline function 'kotlin.contracts.contract' call
+    var tmp$ret$1;
+    // Inline function 'it.unibo.tuprolog.solve.libs.oop.impl.ObjectToTermConverterImpl.convert.<anonymous>' call
+    var tmp0_subject = source;
+    var tmp;
+    if (tmp0_subject == null) {
+      tmp = Companion_getInstance_19().t3p_1;
+    } else {
+      if (!(tmp0_subject == null) ? typeof tmp0_subject === 'string' : false) {
+        tmp = Companion_getInstance_5().of(source);
+      } else {
+        if (isNumber(tmp0_subject)) {
+          tmp = tmp0_with.ct(source) ? Companion_getInstance_8().ofBigInteger(tmp0_with.dt(source)) : Companion_getInstance_7().ofBigDecimal(tmp0_with.et(source));
+        } else {
+          if (tmp0_subject instanceof Char) {
+            var tmp_0 = Companion_getInstance_5();
+            var tmp$ret$0;
+            // Inline function 'kotlin.charArrayOf' call
+            var tmp0_charArrayOf = charArrayOf([source.v8_1]);
+            tmp$ret$0 = tmp0_charArrayOf;
+            tmp = tmp_0.of(concatToString(tmp$ret$0));
+          } else {
+            if (!(tmp0_subject == null) ? typeof tmp0_subject === 'boolean' : false) {
+              tmp = Companion_getInstance_6().of(source);
+            } else {
+              tmp = Companion_getInstance_19().v3p(source);
+            }
+          }
+        }
+      }
+    }
+    tmp$ret$1 = tmp;
+    tmp$ret$2 = tmp$ret$1;
+    return tmp$ret$2;
+  };
+  function explicitConversion($this, castExpression, term, type) {
+    var targetType = getType($this, castExpression, type);
+    try {
+      return $this.h3q(targetType, term);
+    } catch ($p) {
+      if ($p instanceof TermToObjectConversionException) {
+        throw $p;
+      } else {
+        if ($p instanceof Exception) {
+          throw new TermToObjectConversionException(term, targetType);
+        } else {
+          throw $p;
+        }
+      }
+    }
+  }
+  function getType($this, castExpression, typeTerm) {
+    var tmp0_subject = typeTerm;
+    var tmp;
+    if (isInterface(tmp0_subject, TypeRef)) {
+      tmp = typeTerm.c25();
+    } else {
+      if (isInterface(tmp0_subject, Atom)) {
+        var tmp1_elvis_lhs = $this.c3r_1.m3q(typeTerm.b1());
+        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(tmp0_subject, Struct)) {
+          var tmp_1;
+          if (Companion_getInstance_2().matches(typeTerm, get_DEALIASING_TEMPLATE())) {
+            var ref = $this.d3r_1(typeTerm);
+            var tmp_2;
+            if (!(ref == null) ? isInterface(ref, TypeRef) : false) {
+              tmp_2 = ref.c25();
+            } 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 tmp0_subject = term;
+    var tmp;
+    var tmp_0;
+    if (isInterface(tmp0_subject, NullRef)) {
+      tmp_0 = true;
+    } else {
+      tmp_0 = isInterface(tmp0_subject, Var);
+    }
+    if (tmp_0) {
+      tmp = sequenceOf([PrimitiveClasses_getInstance().wd()]);
+    } else {
+      if (isInterface(tmp0_subject, ObjectRef)) {
+        tmp = sequenceOf([getKClassFromExpression(term.i3p())]);
+      } else {
+        if (isInterface(tmp0_subject, Truth)) {
+          tmp = sequenceOf([PrimitiveClasses_getInstance().xd(), PrimitiveClasses_getInstance().ee()]);
+        } else {
+          if (isInterface(tmp0_subject, Atom)) {
+            var admissible = sequenceOf([PrimitiveClasses_getInstance().ee()]);
+            if (term.b1().length === 1) {
+              admissible = plus(admissible, sequenceOf([getKClass(Char)]));
+            }
+            tmp = admissible;
+          } else {
+            if (isInterface(tmp0_subject, Real)) {
+              tmp = sequenceOf([getKClass(BigDecimal), PrimitiveClasses_getInstance().ce(), PrimitiveClasses_getInstance().be()]);
+            } else {
+              if (isInterface(tmp0_subject, Integer)) {
+                var admissible_0 = sequenceOf([getKClass(BigInteger)]);
+                var tmp_1 = Companion_getInstance_9();
+                Companion_getInstance_10();
+                var tmp_2 = tmp_1.ofLong(new Long(0, -2147483648));
+                var tmp_3 = Companion_getInstance_9();
+                Companion_getInstance_10();
+                if (tmp_2.rangeTo(tmp_3.ofLong(new Long(-1, 2147483647))).l3(term.p10())) {
+                  admissible_0 = plus(admissible_0, sequenceOf([getKClass(Long)]));
+                }
+                if (Companion_getInstance_9().of(IntCompanionObject_getInstance().MIN_VALUE).rangeTo(Companion_getInstance_9().of(IntCompanionObject_getInstance().MAX_VALUE)).l3(term.p10())) {
+                  admissible_0 = plus(admissible_0, sequenceOf([PrimitiveClasses_getInstance().ae()]));
+                }
+                if (Companion_getInstance_9().of(ShortCompanionObject_getInstance().MIN_VALUE).rangeTo(Companion_getInstance_9().of(ShortCompanionObject_getInstance().MAX_VALUE)).l3(term.p10())) {
+                  admissible_0 = plus(admissible_0, sequenceOf([PrimitiveClasses_getInstance().zd()]));
+                }
+                if (Companion_getInstance_9().of(ByteCompanionObject_getInstance().MIN_VALUE).rangeTo(Companion_getInstance_9().of(ByteCompanionObject_getInstance().MAX_VALUE)).l3(term.p10())) {
+                  admissible_0 = plus(admissible_0, sequenceOf([PrimitiveClasses_getInstance().yd()]));
+                }
+                admissible_0 = plus(admissible_0, sequenceOf([getKClass(BigDecimal)]));
+                var tmp_4 = Companion_getInstance_11();
+                DoubleCompanionObject_getInstance();
+                var containsLower = tmp_4.oj(4.9E-324, null, 2, null);
+                var tmp_5 = Companion_getInstance_11();
+                DoubleCompanionObject_getInstance();
+                var containsUpper = tmp_5.oj(1.7976931348623157E308, null, 2, null);
+                var containsArg = term.x10();
+                if (0 <= compareTo(containsArg, containsLower) ? compareTo(containsArg, containsUpper) <= 0 : false) {
+                  admissible_0 = plus(admissible_0, sequenceOf([PrimitiveClasses_getInstance().ce()]));
+                }
+                var tmp_6 = Companion_getInstance_11();
+                FloatCompanionObject_getInstance();
+                var containsLower_0 = tmp_6.qj(1.4E-45, null, 2, null);
+                var tmp_7 = Companion_getInstance_11();
+                FloatCompanionObject_getInstance();
+                var containsUpper_0 = tmp_7.qj(3.4028235E38, null, 2, null);
+                var containsArg_0 = term.x10();
+                if (0 <= compareTo(containsArg_0, containsLower_0) ? compareTo(containsArg_0, containsUpper_0) <= 0 : false) {
+                  admissible_0 = plus(admissible_0, sequenceOf([PrimitiveClasses_getInstance().be()]));
+                }
+                tmp = admissible_0;
+              } else {
+                if (isInterface(tmp0_subject, Struct)) {
+                  var tmp_8;
+                  if (Companion_getInstance_2().matches(term, get_CAST_TEMPLATE())) {
+                    tmp_8 = sequenceOf([getType($this, term, term.get(1))]);
+                  } else if (Companion_getInstance_2().matches(term, get_DEALIASING_TEMPLATE())) {
+                    var ref = $this.d3r_1(term);
+                    var tmp_9;
+                    if (!(ref == null) ? isInterface(ref, ObjectRef) : false) {
+                      tmp_9 = admissibleTypesByPriority($this, ref);
+                    } else {
+                      throw TermToObjectConversionException_init_$Create$(term);
+                    }
+                    tmp_8 = tmp_9;
+                  } else {
+                    throw TermToObjectConversionException_init_$Create$(term);
+                  }
+                  tmp = tmp_8;
+                } else {
+                  throw TermToObjectConversionException_init_$Create$(term);
+                }
+              }
+            }
+          }
+        }
+      }
+    }
+    return tmp;
+  }
+  function TermToObjectConverterImpl(typeFactory, dealiaser) {
+    this.c3r_1 = typeFactory;
+    this.d3r_1 = dealiaser;
+  }
+  TermToObjectConverterImpl.prototype.h3q = function (type, term) {
+    var tmp0_subject = term;
+    var tmp;
+    var tmp_0;
+    if (isInterface(tmp0_subject, NullRef)) {
+      tmp_0 = true;
+    } else {
+      tmp_0 = isInterface(tmp0_subject, 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(tmp0_subject, ObjectRef)) {
+        var tmp_2;
+        if (isSubtypeOf(getKClassFromExpression(term.i3p()), type)) {
+          tmp_2 = term.i3p();
+        } else {
+          throw new TermToObjectConversionException(term, type);
+        }
+        tmp = tmp_2;
+      } else {
+        if (isInterface(tmp0_subject, Truth)) {
+          var tmp_3;
+          if (isSubtypeOf(PrimitiveClasses_getInstance().xd(), type)) {
+            tmp_3 = term.dw();
+          } else if (isSubtypeOf(PrimitiveClasses_getInstance().ee(), type)) {
+            tmp_3 = term.b1();
+          } else {
+            throw new TermToObjectConversionException(term, type);
+          }
+          tmp = tmp_3;
+        } else {
+          if (isInterface(tmp0_subject, Atom)) {
+            var tmp_4;
+            if (isSubtypeOf(PrimitiveClasses_getInstance().ee(), type)) {
+              tmp_4 = term.b1();
+            } else if (isSubtypeOf(getKClass(Char), type)) {
+              var tmp_5;
+              if (term.b1().length === 1) {
+                tmp_5 = charSequenceGet(term.b1(), 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(tmp0_subject, Real)) {
+              var tmp_6;
+              if (isSubtypeOf(getKClass(BigDecimal), type)) {
+                tmp_6 = term.x10();
+              } else if (isSubtypeOf(PrimitiveClasses_getInstance().ce(), type)) {
+                tmp_6 = term.x10().toDouble();
+              } else if (isSubtypeOf(PrimitiveClasses_getInstance().be(), type)) {
+                tmp_6 = term.x10().toFloat();
+              } else {
+                throw new TermToObjectConversionException(term, type);
+              }
+              tmp = tmp_6;
+            } else {
+              if (isInterface(tmp0_subject, Integer)) {
+                var tmp_7;
+                if (isSubtypeOf(getKClass(BigInteger), type)) {
+                  tmp_7 = term.p10();
+                } else if (isSubtypeOf(getKClass(Long), type)) {
+                  tmp_7 = term.p10().toLongExact();
+                } else if (isSubtypeOf(PrimitiveClasses_getInstance().ae(), type)) {
+                  tmp_7 = term.p10().toIntExact();
+                } else if (isSubtypeOf(PrimitiveClasses_getInstance().zd(), type)) {
+                  tmp_7 = term.p10().toShortExact();
+                } else if (isSubtypeOf(PrimitiveClasses_getInstance().yd(), type)) {
+                  tmp_7 = term.p10().toByteExact();
+                } else if (isSubtypeOf(getKClass(BigDecimal), type)) {
+                  tmp_7 = term.x10();
+                } else if (isSubtypeOf(PrimitiveClasses_getInstance().ce(), type)) {
+                  tmp_7 = term.x10().toDouble();
+                } else if (isSubtypeOf(PrimitiveClasses_getInstance().be(), type)) {
+                  tmp_7 = term.x10().toFloat();
+                } else {
+                  throw new TermToObjectConversionException(term, type);
+                }
+                tmp = tmp_7;
+              } else {
+                if (isInterface(tmp0_subject, Struct)) {
+                  var tmp$ret$0;
+                  // Inline function 'kotlin.also' call
+                  var tmp_8;
+                  if (Companion_getInstance_2().matches(term, get_CAST_TEMPLATE())) {
+                    tmp_8 = explicitConversion(this, term, term.get(0), term.get(1));
+                  } else if (Companion_getInstance_2().matches(term, get_DEALIASING_TEMPLATE())) {
+                    var ref = this.d3r_1(term);
+                    var tmp_9;
+                    if (!(ref == null) ? isInterface(ref, ObjectRef) : false) {
+                      tmp_9 = this.h3q(type, ref);
+                    } else {
+                      throw TermToObjectConversionException_init_$Create$(term);
+                    }
+                    tmp_8 = tmp_9;
+                  } else {
+                    throw TermToObjectConversionException_init_$Create$(term);
+                  }
+                  var tmp0_also = tmp_8;
+                  // Inline function 'kotlin.contracts.contract' call
+                  // Inline function 'it.unibo.tuprolog.solve.libs.oop.impl.TermToObjectConverterImpl.convertInto.<anonymous>' call
+                  if (!(tmp0_also == null) ? !isSubtypeOf(getKClassFromExpression(tmp0_also), type) : false) {
+                    throw TermToObjectConversionException_init_$Create$(term);
+                  }
+                  tmp$ret$0 = tmp0_also;
+                  tmp = tmp$ret$0;
+                } else {
+                  throw TermToObjectConversionException_init_$Create$(term);
+                }
+              }
+            }
+          }
+        }
+      }
+    }
+    return tmp;
+  };
+  TermToObjectConverterImpl.prototype.j3q = function (term) {
+    return first(admissibleTypesByPriority(this, term));
+  };
+  TermToObjectConverterImpl.prototype.i3q = function (term) {
+    return toSet(admissibleTypesByPriority(this, term));
+  };
+  function TypeFactoryImpl() {
+  }
+  TypeFactoryImpl.prototype.m3q = function (typeName) {
+    return kClassFromName(typeName).b1();
+  };
+  function nameOf_0($this, type) {
+    return '<type:' + get_fullName(type) + '>';
+  }
+  function Companion_6() {
+    Companion_instance_6 = this;
+  }
+  var Companion_instance_6;
+  function Companion_getInstance_26() {
+    if (Companion_instance_6 == null)
+      new Companion_6();
+    return Companion_instance_6;
+  }
+  function TypeRefImpl(type) {
+    Companion_getInstance_26();
+    this.e3r_1 = type;
+    this.f3r_1 = Companion_getInstance_5().of(nameOf_0(Companion_getInstance_26(), type));
+  }
+  TypeRefImpl.prototype.c25 = function () {
+    return this.e3r_1;
+  };
+  TypeRefImpl.prototype.gw = function () {
+    return this.f3r_1.gw();
+  };
+  TypeRefImpl.prototype.yw = function () {
+    return this.f3r_1.yw();
+  };
+  TypeRefImpl.prototype.zv = function () {
+    return this.f3r_1.zv();
+  };
+  TypeRefImpl.prototype.fw = function () {
+    return this.f3r_1.fw();
+  };
+  TypeRefImpl.prototype.xw = function () {
+    return this.f3r_1.xw();
+  };
+  TypeRefImpl.prototype.aw = function () {
+    return this.f3r_1.aw();
+  };
+  TypeRefImpl.prototype.tw = function () {
+    return this.f3r_1.tw();
+  };
+  TypeRefImpl.prototype.mw = function () {
+    return this.f3r_1.mw();
+  };
+  TypeRefImpl.prototype.sw = function () {
+    return this.f3r_1.sw();
+  };
+  TypeRefImpl.prototype.ow = function () {
+    return this.f3r_1.ow();
+  };
+  TypeRefImpl.prototype.bw = function () {
+    return this.f3r_1.bw();
+  };
+  TypeRefImpl.prototype.cw = function () {
+    return this.f3r_1.cw();
+  };
+  TypeRefImpl.prototype.pw = function () {
+    return this.f3r_1.pw();
+  };
+  TypeRefImpl.prototype.ew = function () {
+    return this.f3r_1.ew();
+  };
+  TypeRefImpl.prototype.ww = function () {
+    return this.f3r_1.ww();
+  };
+  TypeRefImpl.prototype.jx = function () {
+    return this.f3r_1.jx();
+  };
+  TypeRefImpl.prototype.uw = function () {
+    return this.f3r_1.uw();
+  };
+  TypeRefImpl.prototype.gx = function () {
+    return this.f3r_1.gx();
+  };
+  TypeRefImpl.prototype.rw = function () {
+    return this.f3r_1.rw();
+  };
+  TypeRefImpl.prototype.fx = function () {
+    return this.f3r_1.fx();
+  };
+  TypeRefImpl.prototype.hx = function () {
+    return this.f3r_1.hx();
+  };
+  TypeRefImpl.prototype.dx = function () {
+    return this.f3r_1.dx();
+  };
+  TypeRefImpl.prototype.nw = function () {
+    return this.f3r_1.nw();
+  };
+  TypeRefImpl.prototype.lw = function () {
+    return this.f3r_1.lw();
+  };
+  TypeRefImpl.prototype.dw = function () {
+    return this.f3r_1.dw();
+  };
+  TypeRefImpl.prototype.cx = function () {
+    return this.f3r_1.cx();
+  };
+  TypeRefImpl.prototype.qw = function () {
+    return this.f3r_1.qw();
+  };
+  TypeRefImpl.prototype.bx = function () {
+    return this.f3r_1.bx();
+  };
+  TypeRefImpl.prototype.kt = function () {
+    return this.f3r_1.kt();
+  };
+  TypeRefImpl.prototype.b1 = function () {
+    return this.f3r_1.b1();
+  };
+  TypeRefImpl.prototype.hw = function () {
+    return this.f3r_1.hw();
+  };
+  TypeRefImpl.prototype.addFirst = function (argument) {
+    return this.f3r_1.addFirst(argument);
+  };
+  TypeRefImpl.prototype.addLast = function (argument) {
+    return this.f3r_1.addLast(argument);
+  };
+  TypeRefImpl.prototype.append = function (argument) {
+    return this.f3r_1.append(argument);
+  };
+  TypeRefImpl.prototype.kw = function () {
+    return this.f3r_1.kw();
+  };
+  TypeRefImpl.prototype.asAtom = function () {
+    return this.kw();
+  };
+  TypeRefImpl.prototype.asBlock = function () {
+    return this.f3r_1.asBlock();
+  };
+  TypeRefImpl.prototype.asClause = function () {
+    return this.f3r_1.asClause();
+  };
+  TypeRefImpl.prototype.asCons = function () {
+    return this.f3r_1.asCons();
+  };
+  TypeRefImpl.prototype.asDirective = function () {
+    return this.f3r_1.asDirective();
+  };
+  TypeRefImpl.prototype.asEmptyBlock = function () {
+    return this.f3r_1.asEmptyBlock();
+  };
+  TypeRefImpl.prototype.asEmptyList = function () {
+    return this.f3r_1.asEmptyList();
+  };
+  TypeRefImpl.prototype.asFact = function () {
+    return this.f3r_1.asFact();
+  };
+  TypeRefImpl.prototype.asIndicator = function () {
+    return this.f3r_1.asIndicator();
+  };
+  TypeRefImpl.prototype.asInteger = function () {
+    return this.f3r_1.asInteger();
+  };
+  TypeRefImpl.prototype.asList = function () {
+    return this.f3r_1.asList();
+  };
+  TypeRefImpl.prototype.asNumeric = function () {
+    return this.f3r_1.asNumeric();
+  };
+  TypeRefImpl.prototype.asReal = function () {
+    return this.f3r_1.asReal();
+  };
+  TypeRefImpl.prototype.asRecursive = function () {
+    return this.f3r_1.asRecursive();
+  };
+  TypeRefImpl.prototype.asRule = function () {
+    return this.f3r_1.asRule();
+  };
+  TypeRefImpl.prototype.vw = function () {
+    return this.f3r_1.vw();
+  };
+  TypeRefImpl.prototype.asStruct = function () {
+    return this.vw();
+  };
+  TypeRefImpl.prototype.asTerm = function () {
+    return this.f3r_1.asTerm();
+  };
+  TypeRefImpl.prototype.asTruth = function () {
+    return this.f3r_1.asTruth();
+  };
+  TypeRefImpl.prototype.asTuple = function () {
+    return this.f3r_1.asTuple();
+  };
+  TypeRefImpl.prototype.asVar = function () {
+    return this.f3r_1.asVar();
+  };
+  TypeRefImpl.prototype.castToAtom = function () {
+    return this.f3r_1.castToAtom();
+  };
+  TypeRefImpl.prototype.castToBlock = function () {
+    return this.f3r_1.castToBlock();
+  };
+  TypeRefImpl.prototype.castToClause = function () {
+    return this.f3r_1.castToClause();
+  };
+  TypeRefImpl.prototype.castToCons = function () {
+    return this.f3r_1.castToCons();
+  };
+  TypeRefImpl.prototype.castToConstant = function () {
+    return this.f3r_1.castToConstant();
+  };
+  TypeRefImpl.prototype.castToDirective = function () {
+    return this.f3r_1.castToDirective();
+  };
+  TypeRefImpl.prototype.castToEmptyBlock = function () {
+    return this.f3r_1.castToEmptyBlock();
+  };
+  TypeRefImpl.prototype.castToEmptyList = function () {
+    return this.f3r_1.castToEmptyList();
+  };
+  TypeRefImpl.prototype.castToFact = function () {
+    return this.f3r_1.castToFact();
+  };
+  TypeRefImpl.prototype.castToIndicator = function () {
+    return this.f3r_1.castToIndicator();
+  };
+  TypeRefImpl.prototype.castToInteger = function () {
+    return this.f3r_1.castToInteger();
+  };
+  TypeRefImpl.prototype.castToList = function () {
+    return this.f3r_1.castToList();
+  };
+  TypeRefImpl.prototype.castToNumeric = function () {
+    return this.f3r_1.castToNumeric();
+  };
+  TypeRefImpl.prototype.castToReal = function () {
+    return this.f3r_1.castToReal();
+  };
+  TypeRefImpl.prototype.castToRecursive = function () {
+    return this.f3r_1.castToRecursive();
+  };
+  TypeRefImpl.prototype.castToRule = function () {
+    return this.f3r_1.castToRule();
+  };
+  TypeRefImpl.prototype.castToStruct = function () {
+    return this.f3r_1.castToStruct();
+  };
+  TypeRefImpl.prototype.castToTerm = function () {
+    return this.f3r_1.castToTerm();
+  };
+  TypeRefImpl.prototype.castToTruth = function () {
+    return this.f3r_1.castToTruth();
+  };
+  TypeRefImpl.prototype.castToTuple = function () {
+    return this.f3r_1.castToTuple();
+  };
+  TypeRefImpl.prototype.castToVar = function () {
+    return this.f3r_1.castToVar();
+  };
+  TypeRefImpl.prototype.ax = function (other) {
+    return this.f3r_1.ax(other);
+  };
+  TypeRefImpl.prototype.aa = function (other) {
+    return this.ax((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
+  };
+  TypeRefImpl.prototype.containsTag = function (name) {
+    return this.f3r_1.containsTag(name);
+  };
+  TypeRefImpl.prototype.equalsUsingVarCompleteNames = function (other, useVarCompleteName) {
+    return this.f3r_1.equalsUsingVarCompleteNames(other, useVarCompleteName);
+  };
+  TypeRefImpl.prototype.equals = function (other) {
+    return this.f3r_1.equals(other);
+  };
+  TypeRefImpl.prototype.get = function (index) {
+    return this.f3r_1.get(index);
+  };
+  TypeRefImpl.prototype.getArgAt = function (index) {
+    return this.f3r_1.getArgAt(index);
+  };
+  TypeRefImpl.prototype.getTag = function (name) {
+    return this.f3r_1.getTag(name);
+  };
+  TypeRefImpl.prototype.hashCode = function () {
+    return this.f3r_1.hashCode();
+  };
+  TypeRefImpl.prototype.insertAt = function (index, argument) {
+    return this.f3r_1.insertAt(index, argument);
+  };
+  TypeRefImpl.prototype.resetTags = function (tags) {
+    return this.f3r_1.resetTags(tags);
+  };
+  TypeRefImpl.prototype.setArgs = function (args) {
+    return this.f3r_1.setArgs(args);
+  };
+  TypeRefImpl.prototype.setArgsIterable = function (args) {
+    return this.f3r_1.setArgsIterable(args);
+  };
+  TypeRefImpl.prototype.setArgsSequence = function (args) {
+    return this.f3r_1.setArgsSequence(args);
+  };
+  TypeRefImpl.prototype.setFunctor = function (functor) {
+    return this.f3r_1.setFunctor(functor);
+  };
+  TypeRefImpl.prototype.structurallyEquals = function (other) {
+    return this.f3r_1.structurallyEquals(other);
+  };
+  TypeRefImpl.prototype.toString = function () {
+    return this.f3r_1.toString();
+  };
+  TypeRefImpl.prototype.p3q = function (objectConverter, arguments_0) {
+    return create_0(this.e3r_1, objectConverter, arguments_0);
+  };
+  TypeRefImpl.prototype.j3p = function (objectConverter, methodName, arguments_0) {
+    var companionObjectRef = get_companionObjectRef(this.e3r_1);
+    var tmp;
+    if (companionObjectRef instanceof Some) {
+      tmp = invoke_0(companionObjectRef.jq_1, objectConverter, methodName, arguments_0);
+    } else {
+      tmp = invoke_1(this.e3r_1, objectConverter, methodName, arguments_0, null);
+    }
+    return tmp;
+  };
+  TypeRefImpl.prototype.ex = function () {
+    return true;
+  };
+  TypeRefImpl.prototype.ix = function () {
+    return this;
+  };
+  TypeRefImpl.prototype.asConstant = function () {
+    return this.ix();
+  };
+  TypeRefImpl.prototype.iw = function () {
+    return this;
+  };
+  TypeRefImpl.prototype.freshCopy = function () {
+    return this.iw();
+  };
+  TypeRefImpl.prototype.jw = function (scope) {
+    return this;
+  };
+  TypeRefImpl.prototype.freshCopyFromScope = function (scope) {
+    return this.jw(scope);
+  };
+  TypeRefImpl.prototype.zw = function () {
+    return isInterface(this, Term) ? this : THROW_CCE();
+  };
+  TypeRefImpl.prototype.qq = function () {
+    return this.zw();
+  };
+  TypeRefImpl.prototype.s16 = function (substitution) {
+    return this;
+  };
+  TypeRefImpl.prototype.applySubstitution = function (substitution) {
+    return this.s16(substitution);
+  };
+  TypeRefImpl.prototype.c2p = function (substitution, substitutions) {
+    return this;
+  };
+  TypeRefImpl.prototype.apply = function (substitution, substitutions) {
+    return this.c2p(substitution, substitutions);
+  };
+  TypeRefImpl.prototype.b2p = function (substitution, substitutions) {
+    return this;
+  };
+  TypeRefImpl.prototype.getSubstituted = function (substitution, substitutions) {
+    return this.b2p(substitution, substitutions);
+  };
+  TypeRefImpl.prototype.y15 = function (visitor) {
+    return visitor.visitAtom(this);
+  };
+  TypeRefImpl.prototype.accept = function (visitor) {
+    return this.y15(visitor);
+  };
+  TypeRefImpl.prototype.k3p = function (objectConverter, propertyName, value) {
+    var companionObjectRef = get_companionObjectRef(this.e3r_1);
+    if (companionObjectRef instanceof Some) {
+      assign_0(companionObjectRef.jq_1, objectConverter, propertyName, value);
+    } else {
+      assign_1(this.e3r_1, objectConverter, propertyName, value, null);
+    }
+    return true;
+  };
+  function actuallyInvoke(_this__u8e3s4, $this, ref, method, resultTerm) {
+    var result = ref.j3p(get_termToObjectConverter(_this__u8e3s4), method.fw(), method.gw());
+    var tmp;
+    if (result instanceof Value) {
+      tmp = Companion_getInstance_13().b2h(_this__u8e3s4, resultTerm, $this.h3r(result));
+    } else {
+      tmp = Companion_getInstance_12().failed();
+    }
+    return tmp;
+  }
+  function AbstractInvoke(suffix) {
+    Functional.call(this, 'invoke_' + suffix);
+  }
+  AbstractInvoke.prototype.k2q = function (_this__u8e3s4, first, second, third) {
+    Companion_getInstance_13().l2h(_this__u8e3s4, 0);
+    Companion_getInstance_13().l2h(_this__u8e3s4, 1);
+    var method = isInterface(second, Struct) ? second : THROW_CCE();
+    var tmp$ret$1;
+    $l$block: {
+      // Inline function 'it.unibo.tuprolog.solve.libs.oop.primitives.catchingOopExceptions' call
+      try {
+        var tmp$ret$0;
+        // Inline function 'it.unibo.tuprolog.solve.libs.oop.primitives.AbstractInvoke.computeOneSubstitution.<anonymous>' call
+        var tmp0_subject = first;
+        var tmp;
+        if (isInterface(tmp0_subject, Ref)) {
+          tmp = actuallyInvoke(_this__u8e3s4, this, first, method, third);
+        } else {
+          if (isInterface(tmp0_subject, Struct)) {
+            var ref = findRefFromAlias(_this__u8e3s4, first);
+            tmp = actuallyInvoke(_this__u8e3s4, this, ref, method, third);
+          } else {
+            tmp = Companion_getInstance_12().failed();
+          }
+        }
+        tmp$ret$0 = tmp;
+        tmp$ret$1 = tmp$ret$0;
+        break $l$block;
+      } catch ($p) {
+        if ($p instanceof OopException) {
+          throw $p.u3q(_this__u8e3s4.context, _this__u8e3s4.signature);
+        } else {
+          if ($p instanceof Error) {
+            throw Companion_getInstance_14().forUncaughtKtException(_this__u8e3s4.context, $p);
+          } else {
+            throw $p;
+          }
+        }
+      }
+    }
+    return tmp$ret$1;
+  };
+  AbstractInvoke.prototype.t2j = function (_this__u8e3s4, first, second, third) {
+    return this.k2q(_this__u8e3s4, first, second, third);
+  };
+  function AbstractIterableItems$computeOneSubstitution$lambda($converter) {
+    return function (it) {
+      return $converter.k3q(it);
+    };
+  }
+  function AbstractIterableItems$computeOneSubstitution$lambda_0(it) {
+    return Companion_getInstance_20().w3p_1.b3q(it);
+  }
+  function AbstractIterableItems(iterable, target) {
+    Functional_0.call(this, iterable + '_items');
+    this.j3r_1 = target;
+  }
+  AbstractIterableItems.prototype.h2q = 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) {
+      var tmp$ret$1;
+      // Inline function 'kotlin.let' call
+      var tmp0_let = Companion_getInstance_13().y2f(_this__u8e3s4);
+      // Inline function 'kotlin.contracts.contract' call
+      var tmp$ret$0;
+      // Inline function 'it.unibo.tuprolog.solve.libs.oop.primitives.AbstractIterableItems.computeOneSubstitution.<anonymous>' call
+      tmp$ret$0 = Companion_getInstance_12().failed();
+      tmp$ret$1 = tmp$ret$0;
+      tmp = tmp$ret$1;
+    } else {
+      if (isInterface(second, List_0)) {
+        var converter = get_termToObjectConverter(_this__u8e3s4);
+        var tmp_1 = second.ju();
+        var items = this.k3r(map(tmp_1, AbstractIterableItems$computeOneSubstitution$lambda(converter)));
+        var objectRef = Companion_getInstance_19().v3p(items);
+        tmp = Companion_getInstance_13().b2h(_this__u8e3s4, first, objectRef);
+      } else {
+        if (isInterface(first, ObjectRef)) {
+          var obj = first.i3p();
+          var tmp_2;
+          if (this.l3r(obj)) {
+            var tmp_3 = this.m3r(isObject(obj) ? obj : THROW_CCE());
+            var items_0 = map(tmp_3, AbstractIterableItems$computeOneSubstitution$lambda_0);
+            tmp_2 = Companion_getInstance_13().b2h(_this__u8e3s4, second, Companion_getInstance_15().ofSequence(items_0));
+          } else {
+            tmp_2 = Companion_getInstance_12().failed();
+          }
+          tmp = tmp_2;
+        } else {
+          throw Companion_getInstance_1().q25(_this__u8e3s4.context, _this__u8e3s4.signature, Expected_OBJECT_REFERENCE_getInstance(), first, 0);
+        }
+      }
+    }
+    return tmp;
+  };
+  AbstractIterableItems.prototype.k2g = function (_this__u8e3s4, first, second) {
+    return this.h2q(_this__u8e3s4, first, second);
+  };
+  function ArrayItems() {
+    ArrayItems_instance = this;
+    AbstractIterableItems.call(this, 'array', PrimitiveClasses_getInstance().de());
+  }
+  ArrayItems.prototype.k3r = function (_this__u8e3s4) {
+    var tmp$ret$0;
+    // Inline function 'kotlin.collections.toTypedArray' call
+    var tmp0_toTypedArray = toList(_this__u8e3s4);
+    tmp$ret$0 = copyToArray(tmp0_toTypedArray);
+    return tmp$ret$0;
+  };
+  ArrayItems.prototype.l3r = function (_this__u8e3s4) {
+    return !(_this__u8e3s4 == null) ? isArray(_this__u8e3s4) : false;
+  };
+  ArrayItems.prototype.p3r = function (_this__u8e3s4) {
+    return asSequence(_this__u8e3s4);
+  };
+  ArrayItems.prototype.m3r = function (_this__u8e3s4) {
+    return this.p3r(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');
+  }
+  Assign.prototype.r3r = function (_this__u8e3s4, first, second, third) {
+    Companion_getInstance_13().q2h(_this__u8e3s4, 0);
+    Companion_getInstance_13().q2h(_this__u8e3s4, 1);
+    var tmp$ret$1;
+    $l$block: {
+      // Inline function 'it.unibo.tuprolog.solve.libs.oop.primitives.catchingOopExceptions' call
+      try {
+        var tmp$ret$0;
+        // Inline function 'it.unibo.tuprolog.solve.libs.oop.primitives.Assign.compute.<anonymous>' call
+        var tmp0_subject = first;
+        var tmp;
+        if (isInterface(tmp0_subject, Ref)) {
+          tmp = first;
+        } else {
+          tmp = findRefFromAlias(_this__u8e3s4, isInterface(first, Atom) ? first : THROW_CCE());
+        }
+        var ref = tmp;
+        var tmp_0;
+        if (Companion_getInstance_13().c2h(_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.k3p(tmp_1, (isInterface(second, Atom) ? second : THROW_CCE()).b1(), value);
+        tmp$ret$1 = tmp$ret$0;
+        break $l$block;
+      } catch ($p) {
+        if ($p instanceof OopException) {
+          throw $p.u3q(_this__u8e3s4.context, _this__u8e3s4.signature);
+        } else {
+          if ($p instanceof Error) {
+            throw Companion_getInstance_14().forUncaughtKtException(_this__u8e3s4.context, $p);
+          } else {
+            throw $p;
+          }
+        }
+      }
+    }
+    return tmp$ret$1;
+  };
+  Assign.prototype.v2j = function (_this__u8e3s4, first, second, third) {
+    return this.r3r(_this__u8e3s4, first, second, third);
+  };
+  var Assign_instance;
+  function Assign_getInstance() {
+    if (Assign_instance == null)
+      new Assign();
+    return Assign_instance;
+  }
+  function cast(_this__u8e3s4, $this, term, type, result) {
+    var tmp;
+    if (type == null) {
+      tmp = Companion_getInstance_12().failed();
+    } else {
+      var casted = get_termToObjectConverter(_this__u8e3s4).h3q(type, term);
+      tmp = Companion_getInstance_13().b2h(_this__u8e3s4, result, Companion_getInstance_19().v3p(casted));
+    }
+    return tmp;
+  }
+  function Cast$computeAll$lambda(it) {
+    return allSupertypes(it, false);
+  }
+  function Cast$computeAll$lambda_0($this_computeAll, $first, $third, $second) {
+    return function (it) {
+      return cast($this_computeAll, Cast_getInstance(), $first, it, $third).plus(Companion_getInstance_13().b2h($this_computeAll, $second, Companion_getInstance_24().l3q(it)));
+    };
+  }
+  function Cast$computeAll$lambda_1($this_computeAll) {
+    return function (it) {
+      return $this_computeAll.g2g(it, null, [], 6, null);
+    };
+  }
+  function Cast() {
+    Cast_instance = this;
+    TernaryRelation.call(this, 'cast');
+  }
+  Cast.prototype.t3r = function (_this__u8e3s4, first, second, third) {
+    var tmp$ret$1;
+    $l$block: {
+      // Inline function 'it.unibo.tuprolog.solve.libs.oop.primitives.catchingOopExceptions' call
+      try {
+        var tmp$ret$0;
+        // Inline function 'it.unibo.tuprolog.solve.libs.oop.primitives.Cast.computeAll.<anonymous>' call
+        var tmp0_subject = second;
+        var tmp;
+        if (isInterface(tmp0_subject, Struct)) {
+          ensuringArgumentIsTypeRef(_this__u8e3s4, 1);
+          var type = getArgumentAsTypeRef(_this__u8e3s4, 1);
+          var tmp_0;
+          try {
+            var tmp_1 = Cast_getInstance();
+            var tmp1_safe_receiver = type;
+            var tmp_2 = cast(_this__u8e3s4, tmp_1, first, tmp1_safe_receiver == null ? null : tmp1_safe_receiver.c25(), third);
+            tmp_0 = sequenceOf([_this__u8e3s4.g2g(tmp_2, null, [], 6, null)]);
+          } catch ($p) {
+            var tmp_3;
+            if ($p instanceof TermToObjectConversionException) {
+              tmp_3 = sequenceOf([_this__u8e3s4.l2g(null, [], 3, null)]);
+            } else {
+              throw $p;
+            }
+            tmp_0 = tmp_3;
+          }
+          tmp = tmp_0;
+        } else {
+          if (isInterface(tmp0_subject, Var)) {
+            var tmp_4 = asSequence_0(get_termToObjectConverter(_this__u8e3s4).i3q(first));
+            var tmp_5 = distinct(flatMap(tmp_4, Cast$computeAll$lambda));
+            var tmp_6 = map(tmp_5, Cast$computeAll$lambda_0(_this__u8e3s4, first, third, second));
+            tmp = map(tmp_6, Cast$computeAll$lambda_1(_this__u8e3s4));
+          } else {
+            ensuringArgumentIsTypeRef(_this__u8e3s4, 1);
+            tmp = sequenceOf([_this__u8e3s4.l2g(null, [], 3, null)]);
+          }
+        }
+        tmp$ret$0 = tmp;
+        tmp$ret$1 = tmp$ret$0;
+        break $l$block;
+      } catch ($p) {
+        if ($p instanceof OopException) {
+          throw $p.u3q(_this__u8e3s4.context, _this__u8e3s4.signature);
+        } else {
+          if ($p instanceof Error) {
+            throw Companion_getInstance_14().forUncaughtKtException(_this__u8e3s4.context, $p);
+          } else {
+            throw $p;
+          }
+        }
+      }
+    }
+    return tmp$ret$1;
+  };
+  Cast.prototype.o2j = function (_this__u8e3s4, first, second, third) {
+    return this.t3r(_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');
+  }
+  InvokeMethod.prototype.h3r = function (_this__u8e3s4) {
+    return _this__u8e3s4.r1i();
+  };
+  var InvokeMethod_instance;
+  function InvokeMethod_getInstance() {
+    if (InvokeMethod_instance == null)
+      new InvokeMethod();
+    return InvokeMethod_instance;
+  }
+  function InvokeStrict() {
+    InvokeStrict_instance = this;
+    AbstractInvoke.call(this, 'strict');
+  }
+  InvokeStrict.prototype.h3r = function (_this__u8e3s4) {
+    return _this__u8e3s4.c3q();
+  };
+  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(List));
+  }
+  ListItems.prototype.k3r = function (_this__u8e3s4) {
+    return toList(_this__u8e3s4);
+  };
+  ListItems.prototype.l3r = function (_this__u8e3s4) {
+    return !(_this__u8e3s4 == null) ? isInterface(_this__u8e3s4, List) : false;
+  };
+  ListItems.prototype.y3r = function (_this__u8e3s4) {
+    return asSequence_0(_this__u8e3s4);
+  };
+  ListItems.prototype.m3r = function (_this__u8e3s4) {
+    return this.y3r(isInterface(_this__u8e3s4, List) ? _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');
+  }
+  NewObject3.prototype.k2q = function (_this__u8e3s4, first, second, third) {
+    Companion_getInstance_13().l2h(_this__u8e3s4, 0);
+    Companion_getInstance_13().v2h(_this__u8e3s4, 1);
+    var tmp$ret$3;
+    $l$block: {
+      // Inline function 'it.unibo.tuprolog.solve.libs.oop.primitives.catchingOopExceptions' call
+      try {
+        var tmp$ret$2;
+        // Inline function 'it.unibo.tuprolog.solve.libs.oop.primitives.NewObject3.computeOneSubstitution.<anonymous>' call
+        var type = getArgumentAsTypeRef(_this__u8e3s4, 0);
+        var arguments_0 = (isInterface(second, List_0) ? second : THROW_CCE()).toArray();
+        var tmp0_safe_receiver = type;
+        var tmp1_safe_receiver = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.o3q(get_termToObjectConverter(_this__u8e3s4), arguments_0.slice());
+        var objectReference = tmp1_safe_receiver == null ? null : tmp1_safe_receiver.c3q();
+        var tmp2_safe_receiver = objectReference;
+        var tmp;
+        if (tmp2_safe_receiver == null) {
+          tmp = null;
+        } else {
+          var tmp$ret$1;
+          // Inline function 'kotlin.let' call
+          // Inline function 'kotlin.contracts.contract' call
+          var tmp$ret$0;
+          // Inline function 'it.unibo.tuprolog.solve.libs.oop.primitives.NewObject3.computeOneSubstitution.<anonymous>.<anonymous>' call
+          tmp$ret$0 = Companion_getInstance_13().b2h(_this__u8e3s4, tmp2_safe_receiver, third);
+          tmp$ret$1 = tmp$ret$0;
+          tmp = tmp$ret$1;
+        }
+        var tmp3_elvis_lhs = tmp;
+        tmp$ret$2 = tmp3_elvis_lhs == null ? Companion_getInstance_12().failed() : tmp3_elvis_lhs;
+        tmp$ret$3 = tmp$ret$2;
+        break $l$block;
+      } catch ($p) {
+        if ($p instanceof OopException) {
+          throw $p.u3q(_this__u8e3s4.context, _this__u8e3s4.signature);
+        } else {
+          if ($p instanceof Error) {
+            throw Companion_getInstance_14().forUncaughtKtException(_this__u8e3s4.context, $p);
+          } else {
+            throw $p;
+          }
+        }
+      }
+    }
+    return tmp$ret$3;
+  };
+  NewObject3.prototype.t2j = function (_this__u8e3s4, first, second, third) {
+    return this.k2q(_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');
+  }
+  NullRef_0.prototype.f2k = 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');
+  }
+  ObjectRef_0.prototype.f2k = 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_j3o48p();
+    return DEALIASING_TEMPLATE;
+  }
+  var DEALIASING_TEMPLATE;
+  function get_CAST_TEMPLATE() {
+    init_properties_PrimitiveExtensions_kt_j3o48p();
+    return CAST_TEMPLATE;
+  }
+  var CAST_TEMPLATE;
+  function findRefFromAlias(_this__u8e3s4, alias) {
+    init_properties_PrimitiveExtensions_kt_j3o48p();
+    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_j3o48p();
+    var tmp = Companion_getInstance_22();
+    return tmp.e3q(null, _get_termToObjectConverter_$lambda_4bacq4(_this__u8e3s4), 1, null);
+  }
+  function ensuringArgumentIsTypeRef(_this__u8e3s4, index) {
+    init_properties_PrimitiveExtensions_kt_j3o48p();
+    var arg = _this__u8e3s4.arguments.n(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_getInstance_1().q25(_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_j3o48p();
+    Companion_getInstance_13().l2h(_this__u8e3s4, index);
+    var arg = _this__u8e3s4.arguments.n(index);
+    var tmp;
+    if (isInterface(arg, TypeRef)) {
+      tmp = arg;
+    } else {
+      if (isInterface(arg, Atom)) {
+        tmp = Companion_getInstance_23().g3q_1.n3q(arg.b1());
+      } 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_j3o48p();
+    var arg = _this__u8e3s4.arguments.n(index);
+    var tmp;
+    if (matchesDealiasingTemplate(_this__u8e3s4, arg) ? ensureAliasIsRegistered(_this__u8e3s4, arg.castToStruct()) : false) {
+      tmp = _this__u8e3s4;
+    } else {
+      if (!isInterface(arg, Ref)) {
+        throw Companion_getInstance_1().q25(_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_j3o48p();
+    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_16().of('ActualRef');
+    var tmp$ret$0;
+    // Inline function 'kotlin.sequences.filterIsInstance' call
+    var tmp_1 = Companion_getInstance_17();
+    Companion_getInstance_27();
+    var tmp_2 = tmp_1.of('alias', [actualAlias, ActualRef]);
+    var tmp0_filterIsInstance = _this__u8e3s4.e2j(tmp_2, new Long(0, 0), 2, null);
+    var tmp_3 = filter(tmp0_filterIsInstance, findRefFromAliasOrNull$lambda);
+    tmp$ret$0 = isInterface(tmp_3, Sequence) ? tmp_3 : THROW_CCE();
+    var tmp0_safe_receiver = firstOrNull(tmp$ret$0);
+    var tmp1_safe_receiver = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.w1v();
+    var tmp2_safe_receiver = tmp1_safe_receiver == null ? null : tmp1_safe_receiver.get(1);
+    return tmp2_safe_receiver == null ? null : tmp2_safe_receiver.zw();
+  }
+  function matchesDealiasingTemplate(_this__u8e3s4, term) {
+    init_properties_PrimitiveExtensions_kt_j3o48p();
+    var tmp;
+    if (isInterface(term, Struct)) {
+      tmp = Companion_getInstance_13().c2h(_this__u8e3s4, term, get_DEALIASING_TEMPLATE());
+    } else {
+      tmp = false;
+    }
+    return tmp;
+  }
+  function isDealiasingExpression(_this__u8e3s4, term) {
+    init_properties_PrimitiveExtensions_kt_j3o48p();
+    var tmp;
+    var tmp_0;
+    if (isInterface(term, Struct)) {
+      tmp_0 = Companion_getInstance_13().c2h(_this__u8e3s4, term, get_DEALIASING_TEMPLATE());
+    } else {
+      tmp_0 = false;
+    }
+    if (tmp_0) {
+      var tmp_1 = term.gw().n(0);
+      tmp = isInterface(tmp_1, Atom);
+    } else {
+      tmp = false;
+    }
+    return tmp;
+  }
+  function ensureAliasIsRegistered(_this__u8e3s4, alias) {
+    init_properties_PrimitiveExtensions_kt_j3o48p();
+    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_j3o48p();
+    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_j3o48p();
+    return !(it == null) ? isInterface(it, Yes) : false;
+  }
+  var properties_initialized_PrimitiveExtensions_kt_xhw6ad;
+  function init_properties_PrimitiveExtensions_kt_j3o48p() {
+    if (properties_initialized_PrimitiveExtensions_kt_xhw6ad) {
+    } else {
+      properties_initialized_PrimitiveExtensions_kt_xhw6ad = true;
+      var tmp = Companion_getInstance_17();
+      OOP_getInstance();
+      DEALIASING_TEMPLATE = tmp.of('$', [Companion_getInstance_16().of('Alias')]);
+      var tmp_0 = Companion_getInstance_17();
+      OOP_getInstance();
+      CAST_TEMPLATE = tmp_0.template('as', 2);
+    }
+  }
+  function Ref_0() {
+    Ref_instance = this;
+    TypeTester.call(this, 'ref');
+  }
+  Ref_0.prototype.f2k = 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_getInstance_27();
+      var tmp_0 = isInterface($second, Struct) ? $second : THROW_CCE();
+      var tmp_1 = [tmp.d3s(tmp_0, isInterface($first, Ref) ? $first : THROW_CCE()).j1u()];
+      $this$replySuccess.v2m(tmp_1, false, 2, null);
+      return Unit_getInstance();
+    };
+  }
+  function Register() {
+    Register_instance = this;
+    NonBacktrackable.call(this, 'register');
+  }
+  Register.prototype.x2p = function (_this__u8e3s4, first_0, second) {
+    Companion_getInstance_13().y2f(_this__u8e3s4);
+    ensuringArgumentIsRef(_this__u8e3s4, 0);
+    Companion_getInstance_13().l2h(_this__u8e3s4, 1);
+    if (!second.jx()) {
+      throw Companion_getInstance_18().t26(_this__u8e3s4.context, _this__u8e3s4.signature, first(second.hw()), 0);
+    }
+    return _this__u8e3s4.b2j(null, null, Register$computeOne$lambda(second, first_0), 3, null);
+  };
+  Register.prototype.a2g = function (_this__u8e3s4, first, second) {
+    return this.x2p(_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(Set));
+  }
+  SetItems.prototype.k3r = function (_this__u8e3s4) {
+    return toSet(_this__u8e3s4);
+  };
+  SetItems.prototype.l3r = function (_this__u8e3s4) {
+    return !(_this__u8e3s4 == null) ? isInterface(_this__u8e3s4, Set) : false;
+  };
+  SetItems.prototype.h3s = function (_this__u8e3s4) {
+    return asSequence_0(_this__u8e3s4);
+  };
+  SetItems.prototype.m3r = function (_this__u8e3s4) {
+    return this.h3s(isInterface(_this__u8e3s4, Set) ? _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.j3s_1 = Companion_getInstance_23().g3q_1;
+  }
+  Type.prototype.h2q = function (_this__u8e3s4, first, second) {
+    var tmp$ret$3;
+    $l$block: {
+      // Inline function 'it.unibo.tuprolog.solve.libs.oop.primitives.catchingOopExceptions' call
+      try {
+        var tmp$ret$2;
+        // Inline function 'it.unibo.tuprolog.solve.libs.oop.primitives.Type.computeOneSubstitution.<anonymous>' call
+        var tmp;
+        var tmp_0;
+        if (isInterface(first, Var)) {
+          tmp_0 = isInterface(second, Var);
+        } else {
+          tmp_0 = false;
+        }
+        if (tmp_0) {
+          Companion_getInstance_13().h2h(_this__u8e3s4, 0);
+          tmp = Companion_getInstance_12().failed();
+        } else {
+          if (isInterface(first, Var)) {
+            Companion_getInstance_13().q2h(_this__u8e3s4, 1);
+            ensuringArgumentIsTypeRef(_this__u8e3s4, 1);
+            var tmp_1 = Companion_getInstance_13();
+            var tmp_2 = Companion_getInstance_5();
+            tmp = tmp_1.b2h(_this__u8e3s4, first, tmp_2.of(get_name((isInterface(second, TypeRef) ? second : THROW_CCE()).c25())));
+          } else {
+            if (isInterface(second, Var)) {
+              Companion_getInstance_13().q2h(_this__u8e3s4, 0);
+              var tmp_3 = Type_getInstance().j3s_1;
+              var tmp0_safe_receiver = tmp_3.n3q((isInterface(first, Atom) ? first : THROW_CCE()).b1());
+              var tmp_4;
+              if (tmp0_safe_receiver == null) {
+                tmp_4 = null;
+              } else {
+                var tmp$ret$1;
+                // Inline function 'kotlin.let' call
+                // Inline function 'kotlin.contracts.contract' call
+                var tmp$ret$0;
+                // Inline function 'it.unibo.tuprolog.solve.libs.oop.primitives.Type.computeOneSubstitution.<anonymous>.<anonymous>' call
+                tmp$ret$0 = Companion_getInstance_13().b2h(_this__u8e3s4, tmp0_safe_receiver, second);
+                tmp$ret$1 = tmp$ret$0;
+                tmp_4 = tmp$ret$1;
+              }
+              var tmp1_elvis_lhs = tmp_4;
+              tmp = tmp1_elvis_lhs == null ? Companion_getInstance_12().failed() : tmp1_elvis_lhs;
+            } else {
+              Companion_getInstance_13().q2h(_this__u8e3s4, 0);
+              tmp = Companion_getInstance_12().failed();
+            }
+          }
+        }
+        tmp$ret$2 = tmp;
+        tmp$ret$3 = tmp$ret$2;
+        break $l$block;
+      } catch ($p) {
+        if ($p instanceof OopException) {
+          throw $p.u3q(_this__u8e3s4.context, _this__u8e3s4.signature);
+        } else {
+          if ($p instanceof Error) {
+            throw Companion_getInstance_14().forUncaughtKtException(_this__u8e3s4.context, $p);
+          } else {
+            throw $p;
+          }
+        }
+      }
+    }
+    return tmp$ret$3;
+  };
+  Type.prototype.k2g = function (_this__u8e3s4, first, second) {
+    return this.h2q(_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');
+  }
+  TypeRef_0.prototype.f2k = 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.ly().get(0).equals($first);
+    };
+  }
+  function Unregister$computeOne$lambda_0($toBeRemoved) {
+    return function ($this$replySuccess) {
+      $this$replySuccess.w2m($toBeRemoved);
+      return Unit_getInstance();
+    };
+  }
+  function Unregister() {
+    Unregister_instance = this;
+    NonBacktrackable_0.call(this, 'unregister');
+  }
+  Unregister.prototype.g2p = function (_this__u8e3s4, first_0) {
+    Companion_getInstance_13().l2h(_this__u8e3s4, 0);
+    if (!first_0.jx()) {
+      throw Companion_getInstance_18().t26(_this__u8e3s4.context, _this__u8e3s4.signature, first(first_0.hw()), 0);
+    }
+    var tmp = Companion_getInstance_17();
+    Companion_getInstance_27();
+    var pattern = tmp.of('alias', [first_0, Companion_getInstance_16().anonymous()]);
+    var tmp_0 = _this__u8e3s4.context.y1u().getByHead(pattern);
+    var toBeRemoved = toList(filter(tmp_0, Unregister$computeOne$lambda(first_0)));
+    var tmp_1;
+    if (toBeRemoved.d()) {
+      tmp_1 = _this__u8e3s4.l2g(null, [], 3, null);
+    } else {
+      tmp_1 = _this__u8e3s4.b2j(null, null, Unregister$computeOne$lambda_0(toBeRemoved), 3, null);
+    }
+    return tmp_1;
+  };
+  Unregister.prototype.a2k = function (_this__u8e3s4, first) {
+    return this.g2p(_this__u8e3s4, first);
+  };
+  var Unregister_instance;
+  function Unregister_getInstance() {
+    if (Unregister_instance == null)
+      new Unregister();
+    return Unregister_instance;
+  }
+  function Companion_7() {
+    Companion_instance_7 = this;
+    this.r3p_1 = 'alias';
+  }
+  Companion_7.prototype.s3p = function (alias, type) {
+    return new Alias(Companion_getInstance_5().of(alias), Companion_getInstance_24().l3q(type));
+  };
+  Companion_7.prototype.d3s = function (alias, ref) {
+    return new Alias(alias, ref);
+  };
+  var Companion_instance_7;
+  function Companion_getInstance_27() {
+    if (Companion_instance_7 == null)
+      new Companion_7();
+    return Companion_instance_7;
+  }
+  function Alias(alias, ref) {
+    Companion_getInstance_27();
+    Companion_getInstance_27();
+    RuleWrapper_init_$Init$('alias', 2, false, 4, null, this);
+    this.p3s_1 = alias;
+    this.q3s_1 = ref;
+    // Inline function 'kotlin.require' call
+    var tmp0_require = this.p3s_1.jx();
+    // Inline function 'kotlin.contracts.contract' call
+    if (!tmp0_require) {
+      var tmp$ret$0;
+      // Inline function 'it.unibo.tuprolog.solve.libs.oop.rules.Alias.<anonymous>' call
+      tmp$ret$0 = 'Alias must be a ground term, got: ' + this.p3s_1;
+      var message = tmp$ret$0;
+      throw IllegalArgumentException_init_$Create$(toString_0(message));
+    }
+  }
+  Alias.prototype.g2k = function (_this__u8e3s4) {
+    return toList(sequenceOf([this.p3s_1, this.q3s_1]));
+  };
+  function _get_R__7mlo3j($this) {
+    return $this.u3s_1.k1i($this, R$factory());
+  }
+  function _get_X__7mlo8p($this) {
+    return $this.v3s_1.k1i($this, X$factory());
+  }
+  function _get_Y__7mlo9k($this) {
+    return $this.w3s_1.k1i($this, Y$factory());
+  }
+  function _get_T__7mlo59($this) {
+    return $this.x3s_1.k1i($this, T$factory());
+  }
+  function _get_R__7mlo3j_0($this) {
+    return $this.b3t_1.k1i($this, R$factory_0());
+  }
+  function _get_M__7mlnz8($this) {
+    return $this.c3t_1.k1i($this, M$factory());
+  }
+  function _get_C__7mlnqm($this) {
+    return $this.g3t_1.k1i($this, C$factory());
+  }
+  function _get_P__7mlo1t($this) {
+    return $this.h3t_1.k1i($this, P$factory());
+  }
+  function _get_R__7mlo3j_1($this) {
+    return $this.i3t_1.k1i($this, R$factory_1());
+  }
+  function _get_V__7mlo6z($this) {
+    return $this.j3t_1.k1i($this, V$factory());
+  }
+  function Cast_0() {
+    Cast_instance_0 = this;
+    ColonEquals.call(this);
+    this.u3s_1 = this.v2e_1;
+    this.v3s_1 = this.v2e_1;
+    this.w3s_1 = this.v2e_1;
+    this.x3s_1 = this.v2e_1;
+  }
+  Cast_0.prototype.g2k = function (_this__u8e3s4) {
+    var tmp = _get_R__7mlo3j(this);
+    OOP_getInstance();
+    return _this__u8e3s4.ktListOf([tmp, _this__u8e3s4.structOf('as', [_get_X__7mlo8p(this), _get_T__7mlo59(this)])]);
+  };
+  Cast_0.prototype.h2k = function (_this__u8e3s4) {
+    var tmp$ret$0;
+    // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
+    var tmp0__get_functor__thl4dk = Var_getInstance();
+    tmp$ret$0 = tmp0__get_functor__thl4dk.signature.name;
+    var tmp = _this__u8e3s4.structOf(tmp$ret$0, [_get_R__7mlo3j(this)]);
+    var tmp_0 = _this__u8e3s4.atomOf('!');
+    Companion_getInstance_28();
+    var tmp_1 = _this__u8e3s4.structOf('fluent_reduce', [_get_X__7mlo8p(this), _get_Y__7mlo9k(this)]);
+    var tmp$ret$1;
+    // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
+    var tmp1__get_functor__4k11yf = Cast_getInstance();
+    tmp$ret$1 = tmp1__get_functor__4k11yf.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.b3t_1 = this.v2e_1;
+    this.c3t_1 = this.v2e_1;
+  }
+  Invocation.prototype.g2k = function (_this__u8e3s4) {
+    return listOf([_get_R__7mlo3j_0(this), _get_M__7mlnz8(this)]);
+  };
+  Invocation.prototype.h2k = function (_this__u8e3s4) {
+    var tmp$ret$0;
+    // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
+    var tmp0__get_functor__thl4dk = Var_getInstance();
+    tmp$ret$0 = tmp0__get_functor__thl4dk.signature.name;
+    var tmp = _this__u8e3s4.structOf(tmp$ret$0, [_get_R__7mlo3j_0(this)]);
+    var tmp_0 = _this__u8e3s4.atomOf('!');
+    Companion_getInstance_28();
+    return _this__u8e3s4.tupleOf([tmp, tmp_0, _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.g3t_1 = this.v2e_1;
+    this.h3t_1 = this.v2e_1;
+    this.i3t_1 = this.v2e_1;
+    this.j3t_1 = this.v2e_1;
+  }
+  Assignment.prototype.g2k = function (_this__u8e3s4) {
+    return listOf([_get_C__7mlnqm(this), _get_V__7mlo6z(this)]);
+  };
+  Assignment.prototype.h2k = function (_this__u8e3s4) {
+    Companion_getInstance_29();
+    var tmp = _this__u8e3s4.structOf('property_reduce', [_get_C__7mlnqm(this), _get_R__7mlo3j_1(this), _get_P__7mlo1t(this)]);
+    var tmp$ret$0;
+    // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
+    var tmp0__get_functor__thl4dk = Assign_getInstance();
+    tmp$ret$0 = tmp0__get_functor__thl4dk.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() {
+    OOP_getInstance();
+    RuleWrapper_init_$Init$(':=', 2, false, 4, null, this);
+  }
+  function R$factory() {
+    return getPropertyCallableRef('R', 1, KProperty1, function (receiver) {
+      return _get_R__7mlo3j(receiver);
+    }, null);
+  }
+  function X$factory() {
+    return getPropertyCallableRef('X', 1, KProperty1, function (receiver) {
+      return _get_X__7mlo8p(receiver);
+    }, null);
+  }
+  function Y$factory() {
+    return getPropertyCallableRef('Y', 1, KProperty1, function (receiver) {
+      return _get_Y__7mlo9k(receiver);
+    }, null);
+  }
+  function T$factory() {
+    return getPropertyCallableRef('T', 1, KProperty1, function (receiver) {
+      return _get_T__7mlo59(receiver);
+    }, null);
+  }
+  function R$factory_0() {
+    return getPropertyCallableRef('R', 1, KProperty1, function (receiver) {
+      return _get_R__7mlo3j_0(receiver);
+    }, null);
+  }
+  function M$factory() {
+    return getPropertyCallableRef('M', 1, KProperty1, function (receiver) {
+      return _get_M__7mlnz8(receiver);
+    }, null);
+  }
+  function C$factory() {
+    return getPropertyCallableRef('C', 1, KProperty1, function (receiver) {
+      return _get_C__7mlnqm(receiver);
+    }, null);
+  }
+  function P$factory() {
+    return getPropertyCallableRef('P', 1, KProperty1, function (receiver) {
+      return _get_P__7mlo1t(receiver);
+    }, null);
+  }
+  function R$factory_1() {
+    return getPropertyCallableRef('R', 1, KProperty1, function (receiver) {
+      return _get_R__7mlo3j_1(receiver);
+    }, null);
+  }
+  function V$factory() {
+    return getPropertyCallableRef('V', 1, KProperty1, function (receiver) {
+      return _get_V__7mlo6z(receiver);
+    }, null);
+  }
+  function _get_Method__a3idyi($this) {
+    return $this.n3t_1.k1i($this, Method$factory());
+  }
+  function _get_Ref__e5vi4e($this) {
+    return $this.o3t_1.k1i($this, Ref$factory());
+  }
+  function Dot() {
+    Dot_instance = this;
+    OOP_getInstance();
+    RuleWrapper_init_$Init$('.', 2, false, 4, null, this);
+    this.n3t_1 = this.v2e_1;
+    this.o3t_1 = this.v2e_1;
+  }
+  Dot.prototype.g2k = function (_this__u8e3s4) {
+    return listOf([_get_Ref__e5vi4e(this), _get_Method__a3idyi(this)]);
+  };
+  Dot.prototype.h2k = function (_this__u8e3s4) {
+    Companion_getInstance_28();
+    return _this__u8e3s4.structOf('fluent_reduce', [_this__u8e3s4.consOf(_get_Ref__e5vi4e(this), _get_Method__a3idyi(this)), _this__u8e3s4.w11()]);
+  };
+  var Dot_instance;
+  function Dot_getInstance() {
+    if (Dot_instance == null)
+      new Dot();
+    return Dot_instance;
+  }
+  function Method$factory() {
+    return getPropertyCallableRef('Method', 1, KProperty1, function (receiver) {
+      return _get_Method__a3idyi(receiver);
+    }, null);
+  }
+  function Ref$factory() {
+    return getPropertyCallableRef('Ref', 1, KProperty1, function (receiver) {
+      return _get_Ref__e5vi4e(receiver);
+    }, null);
+  }
+  function _get_P__7mlo1t_0($this) {
+    return $this.t3t_1.k1i($this, P$factory_0());
+  }
+  function _get_M__7mlnz8_0($this) {
+    return $this.u3t_1.k1i($this, M$factory_0());
+  }
+  function _get_P1__ndbjd6($this) {
+    return $this.v3t_1.k1i($this, P1$factory());
+  }
+  function _get_X__7mlo8p_0($this) {
+    return $this.w3t_1.k1i($this, X$factory_0());
+  }
+  function _get_P__7mlo1t_1($this) {
+    return $this.b3u_1.k1i($this, P$factory_1());
+  }
+  function _get_M__7mlnz8_1($this) {
+    return $this.c3u_1.k1i($this, M$factory_1());
+  }
+  function Companion_8() {
+    Companion_instance_8 = this;
+    this.d3u_1 = 'fluent_reduce';
+    this.e3u_1 = 2;
+  }
+  var Companion_instance_8;
+  function Companion_getInstance_28() {
+    if (Companion_instance_8 == null)
+      new Companion_8();
+    return Companion_instance_8;
+  }
+  function Recursive() {
+    Recursive_instance = this;
+    FluentReduce.call(this);
+    this.t3t_1 = this.v2e_1;
+    this.u3t_1 = this.v2e_1;
+    this.v3t_1 = this.v2e_1;
+    this.w3t_1 = this.v2e_1;
+  }
+  Recursive.prototype.g2k = function (_this__u8e3s4) {
+    return listOf([_this__u8e3s4.x11([_get_P__7mlo1t_0(this), _get_M__7mlnz8_0(this)], _get_X__7mlo8p_0(this)), this.j3u()]);
+  };
+  Recursive.prototype.h2k = function (_this__u8e3s4) {
+    var tmp = _this__u8e3s4.atomOf('!');
+    var tmp$ret$0;
+    // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
+    var tmp0__get_functor__thl4dk = InvokeMethod_getInstance();
+    tmp$ret$0 = tmp0__get_functor__thl4dk.signature.name;
+    var tmp_0 = _this__u8e3s4.structOf(tmp$ret$0, [_get_P__7mlo1t_0(this), _get_M__7mlnz8_0(this), _get_P1__ndbjd6(this)]);
+    Companion_getInstance_28();
+    return _this__u8e3s4.tupleOf([tmp, tmp_0, _this__u8e3s4.structOf('fluent_reduce', [_this__u8e3s4.consOf(_get_P1__ndbjd6(this), _get_X__7mlo8p_0(this)), this.j3u()])]);
+  };
+  var Recursive_instance;
+  function Recursive_getInstance() {
+    if (Recursive_instance == null)
+      new Recursive();
+    return Recursive_instance;
+  }
+  function Couple() {
+    Couple_instance = this;
+    FluentReduce.call(this);
+    this.b3u_1 = this.v2e_1;
+    this.c3u_1 = this.v2e_1;
+  }
+  Couple.prototype.g2k = function (_this__u8e3s4) {
+    return listOf([_this__u8e3s4.consOf(_get_P__7mlo1t_1(this), _get_M__7mlnz8_1(this)), this.j3u()]);
+  };
+  Couple.prototype.h2k = function (_this__u8e3s4) {
+    var tmp = _this__u8e3s4.atomOf('!');
+    var tmp$ret$0;
+    // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
+    var tmp0__get_functor__thl4dk = InvokeMethod_getInstance();
+    tmp$ret$0 = tmp0__get_functor__thl4dk.signature.name;
+    return _this__u8e3s4.tupleOf([tmp, _this__u8e3s4.structOf(tmp$ret$0, [_get_P__7mlo1t_1(this), _get_M__7mlnz8_1(this), this.j3u()])]);
+  };
+  var Couple_instance;
+  function Couple_getInstance() {
+    if (Couple_instance == null)
+      new Couple();
+    return Couple_instance;
+  }
+  function Trivial() {
+    Trivial_instance = this;
+    FluentReduce.call(this);
+  }
+  Trivial.prototype.g2k = function (_this__u8e3s4) {
+    return listOf([this.j3u(), this.j3u()]);
+  };
+  var Trivial_instance;
+  function Trivial_getInstance() {
+    if (Trivial_instance == null)
+      new Trivial();
+    return Trivial_instance;
+  }
+  function FluentReduce() {
+    Companion_getInstance_28();
+    Companion_getInstance_28();
+    Companion_getInstance_28();
+    RuleWrapper_init_$Init$('fluent_reduce', 2, false, 4, null, this);
+    this.i3u_1 = this.v2e_1;
+  }
+  FluentReduce.prototype.j3u = function () {
+    return this.i3u_1.k1i(this, R$factory_2());
+  };
+  FluentReduce.prototype.h2k = function (_this__u8e3s4) {
+    return _this__u8e3s4.atomOf('!');
+  };
+  function R$factory_2() {
+    return getPropertyCallableRef('R', 1, KProperty1, function (receiver) {
+      return receiver.j3u();
+    }, null);
+  }
+  function P$factory_0() {
+    return getPropertyCallableRef('P', 1, KProperty1, function (receiver) {
+      return _get_P__7mlo1t_0(receiver);
+    }, null);
+  }
+  function M$factory_0() {
+    return getPropertyCallableRef('M', 1, KProperty1, function (receiver) {
+      return _get_M__7mlnz8_0(receiver);
+    }, null);
+  }
+  function P1$factory() {
+    return getPropertyCallableRef('P1', 1, KProperty1, function (receiver) {
+      return _get_P1__ndbjd6(receiver);
+    }, null);
+  }
+  function X$factory_0() {
+    return getPropertyCallableRef('X', 1, KProperty1, function (receiver) {
+      return _get_X__7mlo8p_0(receiver);
+    }, null);
+  }
+  function P$factory_1() {
+    return getPropertyCallableRef('P', 1, KProperty1, function (receiver) {
+      return _get_P__7mlo1t_1(receiver);
+    }, null);
+  }
+  function M$factory_1() {
+    return getPropertyCallableRef('M', 1, KProperty1, function (receiver) {
+      return _get_M__7mlnz8_1(receiver);
+    }, null);
+  }
+  function _get_Type__cwwv8x($this) {
+    return $this.r3u_1.k1i($this, Type$factory());
+  }
+  function _get_Instance__cwfjuy($this) {
+    return $this.s3u_1.k1i($this, Instance$factory());
+  }
+  function NewObject2() {
+    NewObject2_instance = this;
+    var tmp$ret$0;
+    // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
+    var tmp0__get_functor__thl4dk = NewObject3_getInstance();
+    tmp$ret$0 = tmp0__get_functor__thl4dk.signature.name;
+    var tmp = tmp$ret$0;
+    RuleWrapper_init_$Init$(tmp, 2, false, 4, null, this);
+    this.r3u_1 = this.v2e_1;
+    this.s3u_1 = this.v2e_1;
+  }
+  NewObject2.prototype.g2k = function (_this__u8e3s4) {
+    return listOf([_get_Type__cwwv8x(this), _get_Instance__cwfjuy(this)]);
+  };
+  NewObject2.prototype.h2k = function (_this__u8e3s4) {
+    var tmp$ret$0;
+    // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
+    var tmp0__get_functor__thl4dk = NewObject3_getInstance();
+    tmp$ret$0 = tmp0__get_functor__thl4dk.signature.name;
+    return _this__u8e3s4.structOf(tmp$ret$0, [_get_Type__cwwv8x(this), _this__u8e3s4.v11(), _get_Instance__cwfjuy(this)]);
+  };
+  var NewObject2_instance;
+  function NewObject2_getInstance() {
+    if (NewObject2_instance == null)
+      new NewObject2();
+    return NewObject2_instance;
+  }
+  function Type$factory() {
+    return getPropertyCallableRef('Type', 1, KProperty1, function (receiver) {
+      return _get_Type__cwwv8x(receiver);
+    }, null);
+  }
+  function Instance$factory() {
+    return getPropertyCallableRef('Instance', 1, KProperty1, function (receiver) {
+      return _get_Instance__cwfjuy(receiver);
+    }, null);
+  }
+  function _get_B1__ndb8zg($this) {
+    return $this.y3u_1.k1i($this, B1$factory());
+  }
+  function _get_C__7mlnqm_0($this) {
+    return $this.z3u_1.k1i($this, C$factory_0());
+  }
+  function _get_O__7mlo0y($this) {
+    return $this.a3v_1.k1i($this, O$factory());
+  }
+  function _get_P__7mlo1t_2($this) {
+    return $this.b3v_1.k1i($this, P$factory_2());
+  }
+  function Companion_9() {
+    Companion_instance_9 = this;
+    this.c3v_1 = 'property_reduce';
+    this.d3v_1 = 3;
+  }
+  var Companion_instance_9;
+  function Companion_getInstance_29() {
+    if (Companion_instance_9 == null)
+      new Companion_9();
+    return Companion_instance_9;
+  }
+  function Recursive_0() {
+    Recursive_instance_0 = this;
+    PropertyReduce.call(this);
+    this.y3u_1 = this.v2e_1;
+    this.z3u_1 = this.v2e_1;
+    this.a3v_1 = this.v2e_1;
+    this.b3v_1 = this.v2e_1;
+  }
+  Recursive_0.prototype.g2k = function (_this__u8e3s4) {
+    return listOf([_this__u8e3s4.x11([this.j3v(), this.k3v()], _get_C__7mlnqm_0(this)), _get_O__7mlo0y(this), _get_P__7mlo1t_2(this)]);
+  };
+  Recursive_0.prototype.h2k = function (_this__u8e3s4) {
+    var tmp = _this__u8e3s4.atomOf('!');
+    var tmp$ret$0;
+    // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
+    var tmp0__get_functor__thl4dk = InvokeMethod_getInstance();
+    tmp$ret$0 = tmp0__get_functor__thl4dk.signature.name;
+    var tmp_0 = _this__u8e3s4.structOf(tmp$ret$0, [this.j3v(), this.k3v(), _get_B1__ndb8zg(this)]);
+    Companion_getInstance_29();
+    return _this__u8e3s4.tupleOf([tmp, tmp_0, _this__u8e3s4.structOf('property_reduce', [_this__u8e3s4.consOf(_get_B1__ndb8zg(this), _get_C__7mlnqm_0(this)), _get_O__7mlo0y(this), _get_P__7mlo1t_2(this)])]);
+  };
+  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);
+  }
+  Base.prototype.g2k = function (_this__u8e3s4) {
+    return listOf([_this__u8e3s4.consOf(this.j3v(), this.k3v()), this.j3v(), this.k3v()]);
+  };
+  var Base_instance;
+  function Base_getInstance() {
+    if (Base_instance == null)
+      new Base();
+    return Base_instance;
+  }
+  function PropertyReduce() {
+    Companion_getInstance_29();
+    Companion_getInstance_29();
+    Companion_getInstance_29();
+    RuleWrapper_init_$Init$('property_reduce', 3, false, 4, null, this);
+    this.h3v_1 = this.v2e_1;
+    this.i3v_1 = this.v2e_1;
+  }
+  PropertyReduce.prototype.j3v = function () {
+    return this.h3v_1.k1i(this, A$factory());
+  };
+  PropertyReduce.prototype.k3v = function () {
+    return this.i3v_1.k1i(this, B$factory());
+  };
+  PropertyReduce.prototype.h2k = function (_this__u8e3s4) {
+    return _this__u8e3s4.atomOf('!');
+  };
+  function A$factory() {
+    return getPropertyCallableRef('A', 1, KProperty1, function (receiver) {
+      return receiver.j3v();
+    }, null);
+  }
+  function B$factory() {
+    return getPropertyCallableRef('B', 1, KProperty1, function (receiver) {
+      return receiver.k3v();
+    }, null);
+  }
+  function B1$factory() {
+    return getPropertyCallableRef('B1', 1, KProperty1, function (receiver) {
+      return _get_B1__ndb8zg(receiver);
+    }, null);
+  }
+  function C$factory_0() {
+    return getPropertyCallableRef('C', 1, KProperty1, function (receiver) {
+      return _get_C__7mlnqm_0(receiver);
+    }, null);
+  }
+  function O$factory() {
+    return getPropertyCallableRef('O', 1, KProperty1, function (receiver) {
+      return _get_O__7mlo0y(receiver);
+    }, null);
+  }
+  function P$factory_2() {
+    return getPropertyCallableRef('P', 1, KProperty1, function (receiver) {
+      return _get_P__7mlo1t_2(receiver);
+    }, null);
+  }
+  function get_platformSpecificAliases() {
+    var tmp$ret$0;
+    // Inline function 'kotlin.emptyArray' call
+    tmp$ret$0 = [];
+    return tmp$ret$0;
+  }
+  function get_TODO_EXCEPTION() {
+    init_properties_TypeUtilsJs_kt_pjy9o4();
+    return TODO_EXCEPTION;
+  }
+  var TODO_EXCEPTION;
+  function get_classNamePattern() {
+    init_properties_TypeUtilsJs_kt_pjy9o4();
+    return classNamePattern;
+  }
+  var classNamePattern;
+  function allSupertypes(_this__u8e3s4, strict) {
+    init_properties_TypeUtilsJs_kt_pjy9o4();
+    throw get_TODO_EXCEPTION();
+  }
+  function get_name(_this__u8e3s4) {
+    init_properties_TypeUtilsJs_kt_pjy9o4();
+    throw get_TODO_EXCEPTION();
+  }
+  function get_fullName(_this__u8e3s4) {
+    init_properties_TypeUtilsJs_kt_pjy9o4();
+    throw get_TODO_EXCEPTION();
+  }
+  function get_identifier(_this__u8e3s4) {
+    init_properties_TypeUtilsJs_kt_pjy9o4();
+    return toString_2(getStringHashCode(get_identifier(_this__u8e3s4)), 16);
+  }
+  function get_companionObjectRef(_this__u8e3s4) {
+    init_properties_TypeUtilsJs_kt_pjy9o4();
+    return Companion_getInstance().oq();
+  }
+  function kClassFromName(qualifiedName) {
+    init_properties_TypeUtilsJs_kt_pjy9o4();
+    var match = get_CLASS_NAME_PATTERN().jf(qualifiedName);
+    // Inline function 'kotlin.require' call
+    var tmp0_require = !(match == null);
+    // Inline function 'kotlin.contracts.contract' call
+    if (!tmp0_require) {
+      var tmp$ret$0;
+      // Inline function 'it.unibo.tuprolog.solve.libs.oop.kClassFromName.<anonymous>' call
+      tmp$ret$0 = '`' + qualifiedName + '` should match ' + get_CLASS_NAME_PATTERN().te_1 + ", while is doesn't";
+      var message = tmp$ret$0;
+      throw IllegalArgumentException_init_$Create$(toString_0(message));
+    }
+    var module_0 = ensureNotNull(match.l9().n(1)).qf_1;
+    var tmp = ensureNotNull(match.l9().n(2)).qf_1;
+    var tmp_0 = charArrayOf([_Char___init__impl__6a9atx(46)]);
+    var packageSteps = split$default(tmp, tmp_0, false, 0, 6, null);
+    var kClass = require(module_0);
+    var tmp$ret$1;
+    // Inline function 'kotlin.let' call
+    var tmp1_let = packageSteps.j();
+    // Inline function 'kotlin.contracts.contract' call
+    while ((tmp1_let.m() ? kClass != null : false) ? kClass != undefined : false) {
+      kClass = kClass[tmp1_let.p()];
+    }
+    tmp$ret$1 = Unit_getInstance();
+    var tmp_1;
+    if (kClass != null ? kClass != undefined : false) {
+      var tmp_2 = Companion_getInstance();
+      var tmp$ret$2;
+      // Inline function 'kotlin.js.unsafeCast' call
+      var tmp2_unsafeCast = kClass;
+      tmp$ret$2 = tmp2_unsafeCast;
+      tmp_1 = tmp_2.ft(get_kotlin(tmp$ret$2));
+    } else {
+      tmp_1 = Companion_getInstance().oq();
+    }
+    return tmp_1;
+  }
+  function get_setterMethod(_this__u8e3s4) {
+    init_properties_TypeUtilsJs_kt_pjy9o4();
+    throw get_TODO_EXCEPTION();
+  }
+  function catchingPlatformSpecificException(_this__u8e3s4, instance, action) {
+    init_properties_TypeUtilsJs_kt_pjy9o4();
+    return action();
+  }
+  function invoke_2(_this__u8e3s4, instance, args) {
+    init_properties_TypeUtilsJs_kt_pjy9o4();
+    throw get_TODO_EXCEPTION();
+  }
+  function get_formalParameterTypes(_this__u8e3s4) {
+    init_properties_TypeUtilsJs_kt_pjy9o4();
+    throw get_TODO_EXCEPTION();
+  }
+  function get_CLASS_NAME_PATTERN() {
+    init_properties_TypeUtilsJs_kt_pjy9o4();
+    return get_classNamePattern();
+  }
+  function overloadSelector(type, termToObjectConverter) {
+    init_properties_TypeUtilsJs_kt_pjy9o4();
+    throw get_TODO_EXCEPTION();
+  }
+  var properties_initialized_TypeUtilsJs_kt_h8iecw;
+  function init_properties_TypeUtilsJs_kt_pjy9o4() {
+    if (properties_initialized_TypeUtilsJs_kt_h8iecw) {
+    } else {
+      properties_initialized_TypeUtilsJs_kt_h8iecw = true;
+      TODO_EXCEPTION = new NotImplementedError('OOP-Prolog integration is still not supported on JS');
+      var tmp$ret$0;
+      // Inline function 'kotlin.text.toRegex' call
+      var tmp0_toRegex = '^(' + get_id() + '):(' + get_id() + '(\\.' + get_id() + ')*)$';
+      tmp$ret$0 = Regex_init_$Create$(tmp0_toRegex);
+      classNamePattern = tmp$ret$0;
+    }
+  }
+  //region block: post-declaration
+  OOPLib.prototype.containsSignature = containsSignature;
+  OOPLib.prototype.containsOperator = containsOperator;
+  OOPLib.prototype.hasPrimitive = hasPrimitive;
+  OOPLib.prototype.hasFunction = hasFunction;
+  OOPLib.prototype.j2e = get_ruleSignatures;
+  OOPLib.prototype.hasProtected = hasProtected;
+  NullRefImpl.prototype.i3p = get_object;
+  NullRefImpl.prototype.j3p = invoke;
+  NullRefImpl.prototype.k3p = assign;
+  TermToObjectConverterImpl.prototype.k3q = convert;
+  TypeFactoryImpl.prototype.n3q = typeRefFromName;
+  TypeRefImpl.prototype.o3q = create;
+  //endregion
+  //region block: init
+  id = '[a-zA-Z_][a-zA-Z0-9_]*';
+  //endregion
+  //region block: exports
+  _.$_$ = _.$_$ || {};
+  _.$_$.a = OOPLib_getInstance;
+  //endregion
+  return _;
+}(module.exports, require('./kotlin-kotlin-stdlib-js-ir.js'), require('./2p-solve.js'), require('./kt-math.js'), require('./2p-core.js'), require('./2p-utils.js'), require('./2p-unify.js')));
+
+//# sourceMappingURL=2p-oop-lib.js.map