@tuprolog/2p-full 1.0.3 → 1.1.0

package/2p-oop-lib.js

@@ -1,3442 +1,13 @@
-(function (root, factory) {
+(function (factory) {
   if (typeof define === 'function' && define.amd)
-    define(['exports', './kotlin-kotlin-stdlib.js', './2p-solve.js', './kt-math.js', './2p-core.js', './2p-utils.js', './2p-unify.js'], factory);
+    define(['exports'], factory);
   else if (typeof exports === 'object')
-    factory(module.exports, require('./kotlin-kotlin-stdlib.js'), require('./2p-solve.js'), require('./kt-math.js'), require('./2p-core.js'), require('./2p-utils.js'), require('./2p-unify.js'));
-  else {
-    if (typeof this['kotlin-kotlin-stdlib'] === 'undefined') {
-      throw new Error("Error loading module '2p-oop-lib'. Its dependency 'kotlin-kotlin-stdlib' was not found. Please, check whether 'kotlin-kotlin-stdlib' is loaded prior to '2p-oop-lib'.");
-    }
-    if (typeof this['2p-solve'] === 'undefined') {
-      throw new Error("Error loading module '2p-oop-lib'. Its dependency '2p-solve' was not found. Please, check whether '2p-solve' is loaded prior to '2p-oop-lib'.");
-    }
-    if (typeof this['kt-math'] === 'undefined') {
-      throw new Error("Error loading module '2p-oop-lib'. Its dependency 'kt-math' was not found. Please, check whether 'kt-math' is loaded prior to '2p-oop-lib'.");
-    }
-    if (typeof this['2p-core'] === 'undefined') {
-      throw new Error("Error loading module '2p-oop-lib'. Its dependency '2p-core' was not found. Please, check whether '2p-core' is loaded prior to '2p-oop-lib'.");
-    }
-    if (typeof this['2p-utils'] === 'undefined') {
-      throw new Error("Error loading module '2p-oop-lib'. Its dependency '2p-utils' was not found. Please, check whether '2p-utils' is loaded prior to '2p-oop-lib'.");
-    }
-    if (typeof this['2p-unify'] === 'undefined') {
-      throw new Error("Error loading module '2p-oop-lib'. Its dependency '2p-unify' was not found. Please, check whether '2p-unify' is loaded prior to '2p-oop-lib'.");
-    }
-    root['2p-oop-lib'] = factory(typeof this['2p-oop-lib'] === 'undefined' ? {} : this['2p-oop-lib'], this['kotlin-kotlin-stdlib'], this['2p-solve'], this['kt-math'], this['2p-core'], this['2p-utils'], this['2p-unify']);
-  }
-}(this, function (_, kotlin_kotlin, kotlin_it_unibo_tuprolog_solve, kotlin_io_github_gciatto_kt_math, kotlin_it_unibo_tuprolog_core, kotlin_it_unibo_tuprolog_utils, kotlin_it_unibo_tuprolog_unify) {
+    factory(module.exports);
+  else
+    globalThis['2p-oop-lib'] = factory(typeof globalThis['2p-oop-lib'] === 'undefined' ? {} : globalThis['2p-oop-lib']);
+}(function (_) {
   'use strict';
-  //region block: imports
-  var NullPointerException_init_$Create$ = kotlin_kotlin.$_$.d1;
-  var protoOf = kotlin_kotlin.$_$.u6;
-  var interfaceMeta = kotlin_kotlin.$_$.f6;
-  var setMetadataFor = kotlin_kotlin.$_$.v6;
-  var VOID = kotlin_kotlin.$_$.d;
-  var objectMeta = kotlin_kotlin.$_$.t6;
-  var AbstractLibrary = kotlin_it_unibo_tuprolog_solve.$_$.w2;
-  var listOf = kotlin_kotlin.$_$.s3;
-  var collectionSizeOrDefault = kotlin_kotlin.$_$.q2;
-  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.f;
-  var to = kotlin_kotlin.$_$.hc;
-  var Unit_instance = kotlin_kotlin.$_$.y1;
-  var toMap = kotlin_kotlin.$_$.b5;
-  var PrimitiveClasses_getInstance = kotlin_kotlin.$_$.v1;
-  var List = kotlin_kotlin.$_$.c2;
-  var getKClass = kotlin_kotlin.$_$.c;
-  var ArrayList = kotlin_kotlin.$_$.z1;
-  var Map = kotlin_kotlin.$_$.d2;
-  var LinkedHashMap = kotlin_kotlin.$_$.b2;
-  var Long = kotlin_kotlin.$_$.pb;
-  var Char = kotlin_kotlin.$_$.hb;
-  var BigInteger = kotlin_io_github_gciatto_kt_math.$_$.g;
-  var BigDecimal = kotlin_io_github_gciatto_kt_math.$_$.f;
-  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 getKClassFromExpression = kotlin_kotlin.$_$.b;
-  var Atom = kotlin_it_unibo_tuprolog_core.$_$.o1;
-  var isInterface = kotlin_kotlin.$_$.j6;
-  var lazy = kotlin_kotlin.$_$.ac;
-  var toString = kotlin_kotlin.$_$.gc;
-  var hashCode = kotlin_kotlin.$_$.e6;
-  var THROW_CCE = kotlin_kotlin.$_$.vb;
-  var equals = kotlin_kotlin.$_$.y5;
-  var classMeta = kotlin_kotlin.$_$.v5;
-  var KProperty1 = kotlin_kotlin.$_$.q7;
-  var getPropertyCallableRef = kotlin_kotlin.$_$.c6;
-  var Companion_instance = kotlin_it_unibo_tuprolog_utils.$_$.e;
-  var contains = kotlin_kotlin.$_$.r2;
-  var listOf_0 = kotlin_kotlin.$_$.r3;
-  var checkIndexOverflow = kotlin_kotlin.$_$.p2;
-  var copyToArray = kotlin_kotlin.$_$.w2;
-  var trimMargin = kotlin_kotlin.$_$.db;
-  var toString_0 = kotlin_kotlin.$_$.z6;
-  var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.v;
-  var setOf = kotlin_kotlin.$_$.o4;
-  var Companion_instance_0 = kotlin_it_unibo_tuprolog_core.$_$.f1;
-  var format = kotlin_it_unibo_tuprolog_core.$_$.c3;
-  var captureStack = kotlin_kotlin.$_$.q5;
-  var Companion_instance_1 = kotlin_it_unibo_tuprolog_solve.$_$.w1;
-  var Expected_DEALIASING_EXPRESSION_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.l;
-  var charSequenceLength = kotlin_kotlin.$_$.u5;
-  var charSequenceGet = kotlin_kotlin.$_$.t5;
-  var toString_1 = kotlin_kotlin.$_$.o1;
-  var Companion_getInstance = kotlin_it_unibo_tuprolog_unify.$_$.a;
-  var Struct = kotlin_it_unibo_tuprolog_core.$_$.z1;
-  var Companion_instance_2 = kotlin_it_unibo_tuprolog_solve.$_$.q1;
-  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 objectCreate = kotlin_kotlin.$_$.s6;
-  var Companion_instance_3 = kotlin_it_unibo_tuprolog_solve.$_$.t1;
-  var Limit_OOP_OBJECT_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.j;
-  var Companion_getInstance_0 = 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_1 = kotlin_it_unibo_tuprolog_core.$_$.g1;
-  var charArrayOf = kotlin_kotlin.$_$.r5;
-  var concatToString = kotlin_kotlin.$_$.l9;
-  var Companion_getInstance_2 = kotlin_it_unibo_tuprolog_core.$_$.a1;
-  var Companion_getInstance_3 = kotlin_it_unibo_tuprolog_core.$_$.x;
-  var isNumber = kotlin_kotlin.$_$.k6;
-  var Exception = kotlin_kotlin.$_$.lb;
-  var Var = kotlin_it_unibo_tuprolog_core.$_$.b3;
-  var sequenceOf = kotlin_kotlin.$_$.w8;
-  var Companion_getInstance_4 = kotlin_io_github_gciatto_kt_math.$_$.e;
-  var Companion_getInstance_5 = kotlin_kotlin.$_$.x1;
-  var plus = kotlin_kotlin.$_$.u8;
-  var IntCompanionObject_instance = kotlin_kotlin.$_$.s1;
-  var ShortCompanionObject_instance = kotlin_kotlin.$_$.t1;
-  var ByteCompanionObject_instance = kotlin_kotlin.$_$.p1;
-  var Companion_getInstance_6 = kotlin_io_github_gciatto_kt_math.$_$.d;
-  var DoubleCompanionObject_instance = kotlin_kotlin.$_$.q1;
-  var compareTo = kotlin_kotlin.$_$.w5;
-  var FloatCompanionObject_instance = kotlin_kotlin.$_$.r1;
-  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.$_$.g8;
-  var toSet = kotlin_kotlin.$_$.f9;
-  var Some = kotlin_it_unibo_tuprolog_utils.$_$.k;
-  var Companion_getInstance_7 = kotlin_it_unibo_tuprolog_core.$_$.e1;
-  var Companion_getInstance_8 = kotlin_it_unibo_tuprolog_solve.$_$.e2;
-  var Functional = kotlin_it_unibo_tuprolog_solve.$_$.h3;
-  var Companion_instance_4 = kotlin_it_unibo_tuprolog_solve.$_$.v1;
-  var Functional_0 = kotlin_it_unibo_tuprolog_solve.$_$.y2;
-  var Expected_OBJECT_REFERENCE_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.n;
-  var map = kotlin_kotlin.$_$.q8;
-  var Companion_instance_5 = kotlin_it_unibo_tuprolog_core.$_$.y;
-  var List_0 = kotlin_it_unibo_tuprolog_core.$_$.v1;
-  var toList = kotlin_kotlin.$_$.d9;
-  var isArray = kotlin_kotlin.$_$.g6;
-  var asSequence = kotlin_kotlin.$_$.o2;
-  var Predicative = kotlin_it_unibo_tuprolog_solve.$_$.j3;
-  var TernaryRelation = kotlin_it_unibo_tuprolog_solve.$_$.l3;
-  var asSequence_0 = kotlin_kotlin.$_$.n2;
-  var flatMap = kotlin_kotlin.$_$.h8;
-  var distinct = kotlin_kotlin.$_$.y7;
-  var TypeTester = kotlin_it_unibo_tuprolog_solve.$_$.m3;
-  var Expected_TYPE_REFERENCE_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.p;
-  var Expected_REFERENCE_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.o;
-  var Companion_getInstance_9 = kotlin_it_unibo_tuprolog_core.$_$.i1;
-  var Companion_getInstance_10 = kotlin_it_unibo_tuprolog_core.$_$.d1;
-  var filter = kotlin_kotlin.$_$.e8;
-  var Sequence = kotlin_kotlin.$_$.s7;
-  var firstOrNull = kotlin_kotlin.$_$.f8;
-  var Yes = kotlin_it_unibo_tuprolog_solve.$_$.n4;
-  var NonBacktrackable = kotlin_it_unibo_tuprolog_solve.$_$.z2;
-  var Companion_instance_6 = kotlin_it_unibo_tuprolog_solve.$_$.r1;
-  var Set = kotlin_kotlin.$_$.e2;
-  var NonBacktrackable_0 = kotlin_it_unibo_tuprolog_solve.$_$.n3;
-  var RuleWrapper = kotlin_it_unibo_tuprolog_solve.$_$.q3;
-  var RuleWrapper_init_$Init$ = kotlin_it_unibo_tuprolog_solve.$_$.g1;
-  var Var_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.h2;
-  var getStringHashCode = kotlin_kotlin.$_$.d6;
-  var toString_2 = kotlin_kotlin.$_$.za;
-  var ensureNotNull = kotlin_kotlin.$_$.yb;
-  var _Char___init__impl__6a9atx = kotlin_kotlin.$_$.k1;
-  var split = kotlin_kotlin.$_$.ka;
-  var get_kotlin = kotlin_kotlin.$_$.l6;
-  var NotImplementedError = kotlin_kotlin.$_$.qb;
-  var Regex_init_$Create$ = kotlin_kotlin.$_$.m;
-  //endregion
   //region block: pre-declaration
-  setMetadataFor(Ref, 'Ref', interfaceMeta, VOID, [Atom]);
-  setMetadataFor(ObjectRef, 'ObjectRef', interfaceMeta, VOID, [Ref]);
-  function get_object() {
-    throw NullPointerException_init_$Create$();
-  }
-  function invoke(objectConverter, methodName, arguments_0) {
-    throw NullPointerException_init_$Create$();
-  }
-  function assign(objectConverter, propertyName, value) {
-    throw NullPointerException_init_$Create$();
-  }
-  setMetadataFor(NullRef, 'NullRef', interfaceMeta, VOID, [ObjectRef]);
-  setMetadataFor(OOP, 'OOP', objectMeta);
-  setMetadataFor(OOPLib, 'OOPLib', objectMeta, AbstractLibrary);
-  setMetadataFor(Companion, 'Companion', objectMeta);
-  setMetadataFor(Companion_0, 'Companion', objectMeta);
-  setMetadataFor(Companion_1, 'Companion', objectMeta);
-  setMetadataFor(Result, 'Result', classMeta);
-  setMetadataFor(Value, 'Value', classMeta, Result);
-  setMetadataFor(Companion_2, 'Companion', objectMeta);
-  function convert(term) {
-    return this.w3p(this.y3p(term), term);
-  }
-  setMetadataFor(TermToObjectConverter, 'TermToObjectConverter', interfaceMeta);
-  setMetadataFor(Companion_3, 'Companion', objectMeta);
-  function typeRefFromName(typeName) {
-    var tmp = Companion_instance.ar(this.b3q(typeName));
-    return tmp.st(TypeFactory$typeRefFromName$lambda).r2();
-  }
-  setMetadataFor(TypeFactory, 'TypeFactory', interfaceMeta);
-  setMetadataFor(Companion_4, 'Companion', objectMeta);
-  function create(objectConverter, arguments_0) {
-    return this.e3q(objectConverter, listOf(arguments_0.slice()));
-  }
-  setMetadataFor(TypeRef, 'TypeRef', interfaceMeta, VOID, [Ref]);
-  setMetadataFor(OopException, 'OopException', classMeta, TuPrologException);
-  setMetadataFor(MalformedAliasException, 'MalformedAliasException', classMeta, OopException);
-  setMetadataFor(NoSuchAnAliasException, 'NoSuchAnAliasException', classMeta, OopException);
-  setMetadataFor(Companion_5, 'Companion', objectMeta);
-  setMetadataFor(TermToObjectConversionException, 'TermToObjectConversionException', classMeta, OopException);
-  setMetadataFor(NullRefImpl, 'NullRefImpl', objectMeta, VOID, [NullRef, Atom]);
-  setMetadataFor(ObjectRefImpl, 'ObjectRefImpl', classMeta, VOID, [ObjectRef, Atom]);
-  setMetadataFor(ObjectToTermConverterImpl, 'ObjectToTermConverterImpl', classMeta, VOID, VOID, ObjectToTermConverterImpl);
-  setMetadataFor(TermToObjectConverterImpl, 'TermToObjectConverterImpl', classMeta, VOID, [TermToObjectConverter]);
-  setMetadataFor(TypeFactoryImpl, 'TypeFactoryImpl', classMeta, VOID, [TypeFactory], TypeFactoryImpl);
-  setMetadataFor(Companion_6, 'Companion', objectMeta);
-  setMetadataFor(TypeRefImpl, 'TypeRefImpl', classMeta, VOID, [TypeRef, Atom]);
-  setMetadataFor(AbstractInvoke, 'AbstractInvoke', classMeta, Functional);
-  setMetadataFor(AbstractIterableItems, 'AbstractIterableItems', classMeta, Functional_0);
-  setMetadataFor(ArrayItems, 'ArrayItems', objectMeta, AbstractIterableItems);
-  setMetadataFor(Assign, 'Assign', objectMeta, Predicative);
-  setMetadataFor(Cast, 'Cast', objectMeta, TernaryRelation);
-  setMetadataFor(InvokeMethod, 'InvokeMethod', objectMeta, AbstractInvoke);
-  setMetadataFor(InvokeStrict, 'InvokeStrict', objectMeta, AbstractInvoke);
-  setMetadataFor(ListItems, 'ListItems', objectMeta, AbstractIterableItems);
-  setMetadataFor(NewObject3, 'NewObject3', objectMeta, Functional);
-  setMetadataFor(NullRef_0, 'NullRef', objectMeta, TypeTester);
-  setMetadataFor(ObjectRef_0, 'ObjectRef', objectMeta, TypeTester);
-  setMetadataFor(Ref_0, 'Ref', objectMeta, TypeTester);
-  setMetadataFor(Register, 'Register', objectMeta, NonBacktrackable);
-  setMetadataFor(SetItems, 'SetItems', objectMeta, AbstractIterableItems);
-  setMetadataFor(Type, 'Type', objectMeta, Functional_0);
-  setMetadataFor(TypeRef_0, 'TypeRef', objectMeta, TypeTester);
-  setMetadataFor(Unregister, 'Unregister', objectMeta, NonBacktrackable_0);
-  setMetadataFor(Companion_7, 'Companion', objectMeta);
-  setMetadataFor(Alias, 'Alias', classMeta, RuleWrapper);
-  setMetadataFor(ColonEquals, 'ColonEquals', classMeta, RuleWrapper);
-  setMetadataFor(Cast_0, 'Cast', objectMeta, ColonEquals);
-  setMetadataFor(Invocation, 'Invocation', objectMeta, ColonEquals);
-  setMetadataFor(Assignment, 'Assignment', objectMeta, ColonEquals);
-  setMetadataFor(Dot, 'Dot', objectMeta, RuleWrapper);
-  setMetadataFor(Companion_8, 'Companion', objectMeta);
-  setMetadataFor(FluentReduce, 'FluentReduce', classMeta, RuleWrapper);
-  setMetadataFor(Recursive, 'Recursive', objectMeta, FluentReduce);
-  setMetadataFor(Couple, 'Couple', objectMeta, FluentReduce);
-  setMetadataFor(Trivial, 'Trivial', objectMeta, FluentReduce);
-  setMetadataFor(NewObject2, 'NewObject2', objectMeta, RuleWrapper);
-  setMetadataFor(Companion_9, 'Companion', objectMeta);
-  setMetadataFor(PropertyReduce, 'PropertyReduce', classMeta, RuleWrapper);
-  setMetadataFor(Recursive_0, 'Recursive', objectMeta, PropertyReduce);
-  setMetadataFor(Base, 'Base', objectMeta, PropertyReduce);
-  //endregion
-  function NullRef() {
-  }
-  function OOP() {
-    this.a3p_1 = '.';
-    this.b3p_1 = ':=';
-    this.c3p_1 = '$';
-    this.d3p_1 = 'as';
-    this.e3p_1 = 'alias';
-  }
-  var OOP_instance;
-  function OOP_getInstance() {
-    return OOP_instance;
-  }
-  function OOPLib() {
-    OOPLib_instance = this;
-    AbstractLibrary.call(this);
-  }
-  protoOf(OOPLib).j2e = function () {
-    return 'prolog.oop';
-  };
-  protoOf(OOPLib).i2e = function () {
-    // Inline function 'kotlin.collections.map' call
-    var this_0 = listOf([ArrayItems_getInstance(), Assign_getInstance(), Cast_getInstance(), Type_getInstance(), InvokeMethod_getInstance(), InvokeStrict_getInstance(), ListItems_getInstance(), NewObject3_getInstance(), NullRef_getInstance(), ObjectRef_getInstance(), Ref_getInstance(), Register_getInstance(), SetItems_getInstance(), TypeRef_getInstance(), Unregister_getInstance()]);
-    // Inline function 'kotlin.collections.mapTo' call
-    var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
-    var tmp0_iterator = this_0.r();
-    while (tmp0_iterator.s()) {
-      var item = tmp0_iterator.u();
-      // Inline function 'it.unibo.tuprolog.solve.libs.oop.OOPLib.<get-primitives>.<anonymous>' call
-      // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.descriptionPair' call
-      var tmp$ret$1 = to(item.signature, item.q1u());
-      destination.o(tmp$ret$1);
-    }
-    return toMap(destination);
-  };
-  protoOf(OOPLib).p1l = function () {
-    // Inline function 'kotlin.collections.map' call
-    var this_0 = listOf(arrayConcat([[Cast_getInstance_0(), Invocation_getInstance(), Assignment_getInstance(), Dot_getInstance(), Recursive_getInstance(), Couple_getInstance(), Trivial_getInstance(), NewObject2_getInstance(), Recursive_getInstance_0(), Base_getInstance(), Companion_instance_15.h3p('string', PrimitiveClasses_getInstance().m7()), Companion_instance_15.h3p('array', PrimitiveClasses_getInstance().l7()), Companion_instance_15.h3p('list', getKClass(List)), Companion_instance_15.h3p('arraylist', getKClass(ArrayList)), Companion_instance_15.h3p('map', getKClass(Map)), Companion_instance_15.h3p('hashmap', getKClass(LinkedHashMap)), Companion_instance_15.h3p('int', PrimitiveClasses_getInstance().i7()), Companion_instance_15.h3p('integer', PrimitiveClasses_getInstance().i7()), Companion_instance_15.h3p('double', PrimitiveClasses_getInstance().k7()), Companion_instance_15.h3p('float', PrimitiveClasses_getInstance().j7()), Companion_instance_15.h3p('long', getKClass(Long)), Companion_instance_15.h3p('short', PrimitiveClasses_getInstance().h7()), Companion_instance_15.h3p('byte', PrimitiveClasses_getInstance().g7()), Companion_instance_15.h3p('char', getKClass(Char)), Companion_instance_15.h3p('bool', PrimitiveClasses_getInstance().f7()), Companion_instance_15.h3p('boolean', PrimitiveClasses_getInstance().f7()), Companion_instance_15.h3p('any', PrimitiveClasses_getInstance().c7()), Companion_instance_15.h3p('nothing', PrimitiveClasses_getInstance().e7()), Companion_instance_15.h3p('big_integer', getKClass(BigInteger)), Companion_instance_15.h3p('big_decimal', getKClass(BigDecimal))], get_platformSpecificAliases()]));
-    // Inline function 'kotlin.collections.mapTo' call
-    var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
-    var tmp0_iterator = this_0.r();
-    while (tmp0_iterator.s()) {
-      var item = tmp0_iterator.u();
-      // Inline function 'it.unibo.tuprolog.solve.libs.oop.OOPLib.<get-clauses>.<anonymous>' call
-      var tmp$ret$0 = item.q1u();
-      destination.o(tmp$ret$0);
-    }
-    return destination;
-  };
-  protoOf(OOPLib).l1v = 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_7 = this;
-    this.i3p_1 = NullRefImpl_getInstance();
-  }
-  protoOf(Companion).j3p = function (any) {
-    return any == null ? nameOf(this, PrimitiveClasses_getInstance().e7(), 'null') : nameOf(this, getKClassFromExpression(any), get_identifier(any));
-  };
-  protoOf(Companion).k3p = function (any) {
-    return any == null ? this.i3p_1 : new ObjectRefImpl(any);
-  };
-  var Companion_instance_7;
-  function Companion_getInstance_11() {
-    if (Companion_instance_7 == null)
-      new Companion();
-    return Companion_instance_7;
-  }
-  function ObjectRef() {
-  }
-  function Companion_0() {
-    Companion_instance_8 = this;
-    this.l3p_1 = new ObjectToTermConverterImpl();
-  }
-  var Companion_instance_8;
-  function Companion_getInstance_12() {
-    if (Companion_instance_8 == null)
-      new Companion_0();
-    return Companion_instance_8;
-  }
-  function Companion_1() {
-  }
-  protoOf(Companion_1).m3p = function (type, termToObjectConverter) {
-    return overloadSelector(type, termToObjectConverter);
-  };
-  var Companion_instance_9;
-  function Companion_getInstance_13() {
-    return Companion_instance_9;
-  }
-  function Ref() {
-  }
-  function _get_termValue__ikgccs($this) {
-    // Inline function 'kotlin.getValue' call
-    var this_0 = $this.o3p_1;
-    termValue$factory();
-    return this_0.r2();
-  }
-  function _get_objectRef__3zhern($this) {
-    // Inline function 'kotlin.getValue' call
-    var this_0 = $this.p3p_1;
-    objectRef$factory();
-    return this_0.r2();
-  }
-  function Result$Value$termValue$delegate$lambda(this$0) {
-    return function () {
-      return Companion_getInstance_12().l3p_1.q3p(this$0.n3p_1);
-    };
-  }
-  function Result$Value$objectRef$delegate$lambda(this$0) {
-    return function () {
-      // Inline function 'kotlin.let' call
-      // Inline function 'kotlin.contracts.contract' call
-      // Inline function 'it.unibo.tuprolog.solve.libs.oop.Value.objectRef$delegate.<anonymous>.<anonymous>' call
-      var it = _get_termValue__ikgccs(this$0);
-      var tmp;
-      if (isInterface(it, ObjectRef)) {
-        tmp = it;
-      } else {
-        tmp = Companion_getInstance_11().k3p(this$0.n3p_1);
-      }
-      return tmp;
-    };
-  }
-  function Value(value) {
-    Result.call(this);
-    this.n3p_1 = value;
-    var tmp = this;
-    tmp.o3p_1 = lazy(Result$Value$termValue$delegate$lambda(this));
-    var tmp_0 = this;
-    tmp_0.p3p_1 = lazy(Result$Value$objectRef$delegate$lambda(this));
-  }
-  protoOf(Value).p1i = function () {
-    return _get_termValue__ikgccs(this);
-  };
-  protoOf(Value).toTerm = function () {
-    return this.p1i();
-  };
-  protoOf(Value).r3p = function () {
-    return _get_objectRef__3zhern(this);
-  };
-  protoOf(Value).toString = function () {
-    return 'Value(value=' + toString(this.n3p_1) + ')';
-  };
-  protoOf(Value).hashCode = function () {
-    return this.n3p_1 == null ? 0 : hashCode(this.n3p_1);
-  };
-  protoOf(Value).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.n3p_1, tmp0_other_with_cast.n3p_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_10 = this;
-    this.s3p_1 = this.t3p();
-  }
-  protoOf(Companion_2).u3p = function (typeFactory, dealiaser) {
-    return new TermToObjectConverterImpl(typeFactory, dealiaser);
-  };
-  protoOf(Companion_2).t3p = function (typeFactory, dealiaser, $super) {
-    typeFactory = typeFactory === VOID ? Companion_getInstance_15().v3p_1 : typeFactory;
-    var tmp;
-    if (dealiaser === VOID) {
-      tmp = TermToObjectConverter$Companion$of$lambda;
-    } else {
-      tmp = dealiaser;
-    }
-    dealiaser = tmp;
-    return $super === VOID ? this.u3p(typeFactory, dealiaser) : $super.u3p.call(this, typeFactory, dealiaser);
-  };
-  var Companion_instance_10;
-  function Companion_getInstance_14() {
-    if (Companion_instance_10 == null)
-      new Companion_2();
-    return Companion_instance_10;
-  }
-  function TermToObjectConverter() {
-  }
-  function Companion_3() {
-    Companion_instance_11 = this;
-    this.v3p_1 = new TypeFactoryImpl();
-  }
-  var Companion_instance_11;
-  function Companion_getInstance_15() {
-    if (Companion_instance_11 == null)
-      new Companion_3();
-    return Companion_instance_11;
-  }
-  function TypeFactory$typeRefFromName$lambda(it) {
-    return Companion_instance_12.a3q(it);
-  }
-  function TypeFactory() {
-  }
-  function Companion_4() {
-  }
-  protoOf(Companion_4).a3q = function (type) {
-    return new TypeRefImpl(type);
-  };
-  var Companion_instance_12;
-  function Companion_getInstance_16() {
-    return Companion_instance_12;
-  }
-  function TypeRef() {
-  }
-  function get_PRIMITIVE_TYPES() {
-    _init_properties_TypeUtils_kt__wnsx0l();
-    return PRIMITIVE_TYPES;
-  }
-  var PRIMITIVE_TYPES;
-  function get_ID() {
-    return ID;
-  }
-  var ID;
-  function get_isPrimitiveType(_this__u8e3s4) {
-    _init_properties_TypeUtils_kt__wnsx0l();
-    return contains(get_PRIMITIVE_TYPES(), _this__u8e3s4);
-  }
-  function isSubtypeOf(_this__u8e3s4, other) {
-    _init_properties_TypeUtils_kt__wnsx0l();
-    return isSubtypeOf_0(_this__u8e3s4, other, false);
-  }
-  function create_0(_this__u8e3s4, objectConverter, arguments_0) {
-    _init_properties_TypeUtils_kt__wnsx0l();
-    var constructorRef = Companion_instance_9.m3p(_this__u8e3s4, objectConverter).f3q(arguments_0);
-    return callWithPrologArguments(constructorRef, objectConverter, arguments_0);
-  }
-  function invoke_0(_this__u8e3s4, objectConverter, methodName, arguments_0) {
-    _init_properties_TypeUtils_kt__wnsx0l();
-    return invoke_1(getKClassFromExpression(_this__u8e3s4), objectConverter, methodName, arguments_0, _this__u8e3s4);
-  }
-  function invoke_1(_this__u8e3s4, objectConverter, methodName, arguments_0, instance) {
-    _init_properties_TypeUtils_kt__wnsx0l();
-    var methodRef = Companion_instance_9.m3p(_this__u8e3s4, objectConverter).g3q(methodName, arguments_0);
-    return callWithPrologArguments(methodRef, objectConverter, arguments_0, instance);
-  }
-  function assign_0(_this__u8e3s4, objectConverter, propertyName, value) {
-    _init_properties_TypeUtils_kt__wnsx0l();
-    return assign_1(getKClassFromExpression(_this__u8e3s4), objectConverter, propertyName, value, _this__u8e3s4);
-  }
-  function assign_1(_this__u8e3s4, objectConverter, propertyName, value, instance) {
-    _init_properties_TypeUtils_kt__wnsx0l();
-    var setterRef = get_setterMethod(Companion_instance_9.m3p(_this__u8e3s4, objectConverter).h3q(propertyName, value));
-    return callWithPrologArguments(setterRef, objectConverter, listOf_0(value), instance);
-  }
-  function isSubtypeOf_0(_this__u8e3s4, other, strict) {
-    _init_properties_TypeUtils_kt__wnsx0l();
-    return isSupertypeOf(other, _this__u8e3s4, strict);
-  }
-  function callWithPrologArguments(_this__u8e3s4, converter, arguments_0, instance) {
-    instance = instance === VOID ? null : instance;
-    _init_properties_TypeUtils_kt__wnsx0l();
-    var formalArgumentsTypes = ensureArgumentsListIsOfSize(_this__u8e3s4, arguments_0);
-    // Inline function 'kotlin.collections.toTypedArray' call
-    // Inline function 'kotlin.collections.mapIndexed' call
-    // Inline function 'kotlin.collections.mapIndexedTo' call
-    var destination = ArrayList_init_$Create$(collectionSizeOrDefault(arguments_0, 10));
-    var index = 0;
-    var tmp0_iterator = arguments_0.r();
-    while (tmp0_iterator.s()) {
-      var item = tmp0_iterator.u();
-      // Inline function 'it.unibo.tuprolog.solve.libs.oop.callWithPrologArguments.<anonymous>' call
-      var tmp1 = index;
-      index = tmp1 + 1 | 0;
-      var i = checkIndexOverflow(tmp1);
-      var tmp$ret$0 = converter.w3p(formalArgumentsTypes.c1(i), item);
-      destination.o(tmp$ret$0);
-    }
-    var args = copyToArray(destination);
-    return catchingPlatformSpecificException(_this__u8e3s4, instance, callWithPrologArguments$lambda(_this__u8e3s4, instance, args));
-  }
-  function isSupertypeOf(_this__u8e3s4, other, strict) {
-    _init_properties_TypeUtils_kt__wnsx0l();
-    var tmp$ret$1;
-    $l$block: {
-      // Inline function 'kotlin.sequences.any' call
-      var tmp0_iterator = allSupertypes(other, strict).r();
-      while (tmp0_iterator.s()) {
-        var element = tmp0_iterator.u();
-        // Inline function 'it.unibo.tuprolog.solve.libs.oop.isSupertypeOf.<anonymous>' call
-        if (element.equals(_this__u8e3s4)) {
-          tmp$ret$1 = true;
-          break $l$block;
-        }
-      }
-      tmp$ret$1 = false;
-    }
-    return tmp$ret$1;
-  }
-  function ensureArgumentsListIsOfSize(_this__u8e3s4, actualArguments) {
-    _init_properties_TypeUtils_kt__wnsx0l();
-    // Inline function 'kotlin.also' call
-    var this_0 = get_formalParameterTypes(_this__u8e3s4);
-    // Inline function 'kotlin.contracts.contract' call
-    // Inline function 'it.unibo.tuprolog.solve.libs.oop.ensureArgumentsListIsOfSize.<anonymous>' call
-    // Inline function 'kotlin.require' call
-    // Inline function 'kotlin.contracts.contract' call
-    if (!(get_formalParameterTypes(_this__u8e3s4).l() === actualArguments.l())) {
-      // Inline function 'it.unibo.tuprolog.solve.libs.oop.ensureArgumentsListIsOfSize.<anonymous>.<anonymous>' call
-      var tmp = _this__u8e3s4.callableName;
-      // Inline function 'kotlin.collections.map' call
-      // Inline function 'kotlin.collections.mapTo' call
-      var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
-      var tmp0_iterator = this_0.r();
-      while (tmp0_iterator.s()) {
-        var item = tmp0_iterator.u();
-        // Inline function 'it.unibo.tuprolog.solve.libs.oop.ensureArgumentsListIsOfSize.<anonymous>.<anonymous>.<anonymous>' call
-        var tmp$ret$0 = get_name(item);
-        destination.o(tmp$ret$0);
-      }
-      var message = trimMargin('\n            |\n            |Error while invoking ' + tmp + ' the expected argument types \n            |   ' + destination + ' \n            |are not as many as the as the actual parameters (' + this_0.l() + ' vs. ' + actualArguments.l() + '):\n            |   ' + actualArguments + '\n            |\n            ');
-      throw IllegalArgumentException_init_$Create$(toString_0(message));
-    }
-    return this_0;
-  }
-  function callWithPrologArguments$lambda($this_callWithPrologArguments, $instance, $args) {
-    return function () {
-      var result = invoke_2($this_callWithPrologArguments, $instance, $args.slice());
-      return new Value(result);
-    };
-  }
-  var properties_initialized_TypeUtils_kt_7pe6qv;
-  function _init_properties_TypeUtils_kt__wnsx0l() {
-    if (!properties_initialized_TypeUtils_kt_7pe6qv) {
-      properties_initialized_TypeUtils_kt_7pe6qv = true;
-      PRIMITIVE_TYPES = setOf([getKClass(Long), PrimitiveClasses_getInstance().i7(), PrimitiveClasses_getInstance().h7(), PrimitiveClasses_getInstance().g7(), getKClass(Char), PrimitiveClasses_getInstance().k7(), PrimitiveClasses_getInstance().j7()]);
-    }
-  }
-  function MalformedAliasException(dealiasingExpression) {
-    OopException_init_$Init$('This is not a dealiasing expression `' + dealiasingExpression + '` in the form ' + format(get_DEALIASING_TEMPLATE(), Companion_instance_0.prettyExpressionsPrettyVariablesDefaultOperators()), VOID, this);
-    captureStack(this, MalformedAliasException);
-    this.i3q_1 = dealiasingExpression;
-  }
-  protoOf(MalformedAliasException).j3q = function (context, signature) {
-    var tmp = Companion_instance_1;
-    var tmp_0 = Expected_DEALIASING_EXPRESSION_getInstance();
-    var tmp_1 = this.w25();
-    var tmp_2 = signature.toIndicator();
-    var tmp0_safe_receiver = this.message;
-    var tmp_3;
-    if (tmp0_safe_receiver == null) {
-      tmp_3 = null;
-    } else {
-      // Inline function 'kotlin.text.replaceFirstChar' call
-      var tmp_4;
-      // Inline function 'kotlin.text.isNotEmpty' call
-      if (charSequenceLength(tmp0_safe_receiver) > 0) {
-        // Inline function 'it.unibo.tuprolog.solve.libs.oop.exceptions.MalformedAliasException.toLogicError.<anonymous>' call
-        // Inline function 'kotlin.text.lowercase' call
-        var this_0 = charSequenceGet(tmp0_safe_receiver, 0);
-        // Inline function 'kotlin.js.unsafeCast' call
-        // Inline function 'kotlin.js.asDynamic' call
-        var tmp$ret$4 = toString_1(this_0).toLowerCase();
-        var tmp_5 = toString_0(tmp$ret$4);
-        // Inline function 'kotlin.text.substring' call
-        // Inline function 'kotlin.js.asDynamic' call
-        tmp_4 = tmp_5 + tmp0_safe_receiver.substring(1);
-      } else {
-        tmp_4 = tmp0_safe_receiver;
-      }
-      tmp_3 = tmp_4;
-    }
-    return tmp.of(context, tmp_0, tmp_1, 'Error in ' + tmp_2 + ': ' + tmp_3);
-  };
-  protoOf(MalformedAliasException).w25 = function () {
-    return this.i3q_1;
-  };
-  function NoSuchAnAliasException(dealiasingExpression) {
-    OopException_init_$Init$('There exists no reference whose alias is `' + dealiasingExpression.get(0) + '`', VOID, this);
-    captureStack(this, NoSuchAnAliasException);
-    this.k3q_1 = dealiasingExpression;
-    // Inline function 'kotlin.require' call
-    // Inline function 'kotlin.contracts.contract' call
-    // Inline function 'kotlin.require' call
-    // Inline function 'kotlin.contracts.contract' call
-    if (!Companion_getInstance().matches(this.k3q_1, get_DEALIASING_TEMPLATE())) {
-      // Inline function 'kotlin.require.<anonymous>' call
-      var message = 'Failed requirement.';
-      throw IllegalArgumentException_init_$Create$(toString_0(message));
-    }
-    // Inline function 'kotlin.require' call
-    var tmp = this.k3q_1.get(0);
-    // Inline function 'kotlin.contracts.contract' call
-    // Inline function 'kotlin.require' call
-    // Inline function 'kotlin.contracts.contract' call
-    if (!isInterface(tmp, Struct)) {
-      // Inline function 'kotlin.require.<anonymous>' call
-      var message_0 = 'Failed requirement.';
-      throw IllegalArgumentException_init_$Create$(toString_0(message_0));
-    }
-  }
-  protoOf(NoSuchAnAliasException).j3q = function (context, signature) {
-    var tmp = Companion_instance_2;
-    var tmp_0 = ObjectType_OOP_ALIAS_getInstance();
-    var tmp_1 = this.w25();
-    var tmp0_elvis_lhs = this.message;
-    return tmp.of(context, tmp_0, tmp_1, tmp0_elvis_lhs == null ? '' : tmp0_elvis_lhs);
-  };
-  protoOf(NoSuchAnAliasException).w25 = function () {
-    return this.k3q_1;
-  };
-  function OopException_init_$Init$(message, cause, $this) {
-    message = message === VOID ? null : message;
-    cause = cause === VOID ? null : cause;
-    TuPrologException_init_$Init$(message, cause, $this);
-    OopException.call($this);
-    return $this;
-  }
-  function Companion_5() {
-  }
-  var Companion_instance_13;
-  function Companion_getInstance_17() {
-    return Companion_instance_13;
-  }
-  function OopException() {
-    captureStack(this, OopException);
-  }
-  function TermToObjectConversionException_init_$Init$(term, $this) {
-    TermToObjectConversionException.call($this, term, null);
-    return $this;
-  }
-  function TermToObjectConversionException_init_$Create$(term) {
-    var tmp = TermToObjectConversionException_init_$Init$(term, objectCreate(protoOf(TermToObjectConversionException)));
-    captureStack(tmp, TermToObjectConversionException_init_$Create$);
-    return tmp;
-  }
-  function TermToObjectConversionException(term, targetType) {
-    targetType = targetType === VOID ? null : targetType;
-    var tmp;
-    if (targetType == null) {
-      tmp = null;
-    } else {
-      // Inline function 'kotlin.let' call
-      // Inline function 'kotlin.contracts.contract' call
-      // Inline function 'it.unibo.tuprolog.solve.libs.oop.exceptions.TermToObjectConversionException.<init>.<anonymous>' call
-      tmp = 'Term `' + term + '` cannot be converted into an object of type ' + get_fullName(targetType);
-    }
-    var tmp1_elvis_lhs = tmp;
-    OopException_init_$Init$(tmp1_elvis_lhs == null ? 'Term `' + term + '` cannot be converted into an object' : tmp1_elvis_lhs, VOID, this);
-    captureStack(this, TermToObjectConversionException);
-    this.l3q_1 = term;
-    this.m3q_1 = targetType;
-  }
-  protoOf(TermToObjectConversionException).j3q = function (context, signature) {
-    return Companion_instance_3.p27(context, signature, Limit_OOP_OBJECT_getInstance(), this);
-  };
-  function NullRefImpl() {
-    NullRefImpl_instance = this;
-    this.n3q_1 = Companion_getInstance_0().of(Companion_getInstance_11().j3p(null));
-  }
-  protoOf(NullRefImpl).rw = function () {
-    return this.n3q_1.rw();
-  };
-  protoOf(NullRefImpl).jx = function () {
-    return this.n3q_1.jx();
-  };
-  protoOf(NullRefImpl).kw = function () {
-    return this.n3q_1.kw();
-  };
-  protoOf(NullRefImpl).qw = function () {
-    return this.n3q_1.qw();
-  };
-  protoOf(NullRefImpl).ix = function () {
-    return this.n3q_1.ix();
-  };
-  protoOf(NullRefImpl).lw = function () {
-    return this.n3q_1.lw();
-  };
-  protoOf(NullRefImpl).xw = function () {
-    return this.n3q_1.xw();
-  };
-  protoOf(NullRefImpl).dx = function () {
-    return this.n3q_1.dx();
-  };
-  protoOf(NullRefImpl).mw = function () {
-    return this.n3q_1.mw();
-  };
-  protoOf(NullRefImpl).nw = function () {
-    return this.n3q_1.nw();
-  };
-  protoOf(NullRefImpl).hx = function () {
-    return this.n3q_1.hx();
-  };
-  protoOf(NullRefImpl).ux = function () {
-    return this.n3q_1.ux();
-  };
-  protoOf(NullRefImpl).fx = function () {
-    return this.n3q_1.fx();
-  };
-  protoOf(NullRefImpl).rx = function () {
-    return this.n3q_1.rx();
-  };
-  protoOf(NullRefImpl).cx = function () {
-    return this.n3q_1.cx();
-  };
-  protoOf(NullRefImpl).qx = function () {
-    return this.n3q_1.qx();
-  };
-  protoOf(NullRefImpl).sx = function () {
-    return this.n3q_1.sx();
-  };
-  protoOf(NullRefImpl).ox = function () {
-    return this.n3q_1.ox();
-  };
-  protoOf(NullRefImpl).yw = function () {
-    return this.n3q_1.yw();
-  };
-  protoOf(NullRefImpl).ww = function () {
-    return this.n3q_1.ww();
-  };
-  protoOf(NullRefImpl).ow = function () {
-    return this.n3q_1.ow();
-  };
-  protoOf(NullRefImpl).nx = function () {
-    return this.n3q_1.nx();
-  };
-  protoOf(NullRefImpl).bx = function () {
-    return this.n3q_1.bx();
-  };
-  protoOf(NullRefImpl).mx = function () {
-    return this.n3q_1.mx();
-  };
-  protoOf(NullRefImpl).vt = function () {
-    return this.n3q_1.vt();
-  };
-  protoOf(NullRefImpl).r2 = function () {
-    return this.n3q_1.r2();
-  };
-  protoOf(NullRefImpl).sw = function () {
-    return this.n3q_1.sw();
-  };
-  protoOf(NullRefImpl).addFirst = function (argument) {
-    return this.n3q_1.addFirst(argument);
-  };
-  protoOf(NullRefImpl).addLast = function (argument) {
-    return this.n3q_1.addLast(argument);
-  };
-  protoOf(NullRefImpl).append = function (argument) {
-    return this.n3q_1.append(argument);
-  };
-  protoOf(NullRefImpl).vw = function () {
-    return this.n3q_1.vw();
-  };
-  protoOf(NullRefImpl).asAtom = function () {
-    return this.vw();
-  };
-  protoOf(NullRefImpl).asBlock = function () {
-    return this.n3q_1.asBlock();
-  };
-  protoOf(NullRefImpl).asClause = function () {
-    return this.n3q_1.asClause();
-  };
-  protoOf(NullRefImpl).asCons = function () {
-    return this.n3q_1.asCons();
-  };
-  protoOf(NullRefImpl).asDirective = function () {
-    return this.n3q_1.asDirective();
-  };
-  protoOf(NullRefImpl).asEmptyBlock = function () {
-    return this.n3q_1.asEmptyBlock();
-  };
-  protoOf(NullRefImpl).asEmptyList = function () {
-    return this.n3q_1.asEmptyList();
-  };
-  protoOf(NullRefImpl).asFact = function () {
-    return this.n3q_1.asFact();
-  };
-  protoOf(NullRefImpl).asIndicator = function () {
-    return this.n3q_1.asIndicator();
-  };
-  protoOf(NullRefImpl).asInteger = function () {
-    return this.n3q_1.asInteger();
-  };
-  protoOf(NullRefImpl).asList = function () {
-    return this.n3q_1.asList();
-  };
-  protoOf(NullRefImpl).asNumeric = function () {
-    return this.n3q_1.asNumeric();
-  };
-  protoOf(NullRefImpl).asReal = function () {
-    return this.n3q_1.asReal();
-  };
-  protoOf(NullRefImpl).asRecursive = function () {
-    return this.n3q_1.asRecursive();
-  };
-  protoOf(NullRefImpl).asRule = function () {
-    return this.n3q_1.asRule();
-  };
-  protoOf(NullRefImpl).gx = function () {
-    return this.n3q_1.gx();
-  };
-  protoOf(NullRefImpl).asStruct = function () {
-    return this.gx();
-  };
-  protoOf(NullRefImpl).asTerm = function () {
-    return this.n3q_1.asTerm();
-  };
-  protoOf(NullRefImpl).asTruth = function () {
-    return this.n3q_1.asTruth();
-  };
-  protoOf(NullRefImpl).asTuple = function () {
-    return this.n3q_1.asTuple();
-  };
-  protoOf(NullRefImpl).asVar = function () {
-    return this.n3q_1.asVar();
-  };
-  protoOf(NullRefImpl).castToAtom = function () {
-    return this.n3q_1.castToAtom();
-  };
-  protoOf(NullRefImpl).castToBlock = function () {
-    return this.n3q_1.castToBlock();
-  };
-  protoOf(NullRefImpl).castToClause = function () {
-    return this.n3q_1.castToClause();
-  };
-  protoOf(NullRefImpl).castToCons = function () {
-    return this.n3q_1.castToCons();
-  };
-  protoOf(NullRefImpl).castToConstant = function () {
-    return this.n3q_1.castToConstant();
-  };
-  protoOf(NullRefImpl).castToDirective = function () {
-    return this.n3q_1.castToDirective();
-  };
-  protoOf(NullRefImpl).castToEmptyBlock = function () {
-    return this.n3q_1.castToEmptyBlock();
-  };
-  protoOf(NullRefImpl).castToEmptyList = function () {
-    return this.n3q_1.castToEmptyList();
-  };
-  protoOf(NullRefImpl).castToFact = function () {
-    return this.n3q_1.castToFact();
-  };
-  protoOf(NullRefImpl).castToIndicator = function () {
-    return this.n3q_1.castToIndicator();
-  };
-  protoOf(NullRefImpl).castToInteger = function () {
-    return this.n3q_1.castToInteger();
-  };
-  protoOf(NullRefImpl).castToList = function () {
-    return this.n3q_1.castToList();
-  };
-  protoOf(NullRefImpl).castToNumeric = function () {
-    return this.n3q_1.castToNumeric();
-  };
-  protoOf(NullRefImpl).castToReal = function () {
-    return this.n3q_1.castToReal();
-  };
-  protoOf(NullRefImpl).castToRecursive = function () {
-    return this.n3q_1.castToRecursive();
-  };
-  protoOf(NullRefImpl).castToRule = function () {
-    return this.n3q_1.castToRule();
-  };
-  protoOf(NullRefImpl).castToStruct = function () {
-    return this.n3q_1.castToStruct();
-  };
-  protoOf(NullRefImpl).castToTerm = function () {
-    return this.n3q_1.castToTerm();
-  };
-  protoOf(NullRefImpl).castToTruth = function () {
-    return this.n3q_1.castToTruth();
-  };
-  protoOf(NullRefImpl).castToTuple = function () {
-    return this.n3q_1.castToTuple();
-  };
-  protoOf(NullRefImpl).castToVar = function () {
-    return this.n3q_1.castToVar();
-  };
-  protoOf(NullRefImpl).lx = function (other) {
-    return this.n3q_1.lx(other);
-  };
-  protoOf(NullRefImpl).d = function (other) {
-    return this.lx((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
-  };
-  protoOf(NullRefImpl).containsTag = function (name) {
-    return this.n3q_1.containsTag(name);
-  };
-  protoOf(NullRefImpl).equalsUsingVarCompleteNames = function (other, useVarCompleteName) {
-    return this.n3q_1.equalsUsingVarCompleteNames(other, useVarCompleteName);
-  };
-  protoOf(NullRefImpl).equals = function (other) {
-    return this.n3q_1.equals(other);
-  };
-  protoOf(NullRefImpl).get = function (index) {
-    return this.n3q_1.get(index);
-  };
-  protoOf(NullRefImpl).getArgAt = function (index) {
-    return this.n3q_1.getArgAt(index);
-  };
-  protoOf(NullRefImpl).getTag = function (name) {
-    return this.n3q_1.getTag(name);
-  };
-  protoOf(NullRefImpl).hashCode = function () {
-    return this.n3q_1.hashCode();
-  };
-  protoOf(NullRefImpl).insertAt = function (index, argument) {
-    return this.n3q_1.insertAt(index, argument);
-  };
-  protoOf(NullRefImpl).resetTags = function (tags) {
-    return this.n3q_1.resetTags(tags);
-  };
-  protoOf(NullRefImpl).setArgs = function (args) {
-    return this.n3q_1.setArgs(args);
-  };
-  protoOf(NullRefImpl).setArgsIterable = function (args) {
-    return this.n3q_1.setArgsIterable(args);
-  };
-  protoOf(NullRefImpl).setArgsSequence = function (args) {
-    return this.n3q_1.setArgsSequence(args);
-  };
-  protoOf(NullRefImpl).setFunctor = function (functor) {
-    return this.n3q_1.setFunctor(functor);
-  };
-  protoOf(NullRefImpl).structurallyEquals = function (other) {
-    return this.n3q_1.structurallyEquals(other);
-  };
-  protoOf(NullRefImpl).toString = function () {
-    return this.n3q_1.toString();
-  };
-  protoOf(NullRefImpl).px = function () {
-    return true;
-  };
-  protoOf(NullRefImpl).tx = function () {
-    return this;
-  };
-  protoOf(NullRefImpl).asConstant = function () {
-    return this.tx();
-  };
-  protoOf(NullRefImpl).tw = function () {
-    return this;
-  };
-  protoOf(NullRefImpl).freshCopy = function () {
-    return this.tw();
-  };
-  protoOf(NullRefImpl).uw = function (scope) {
-    return this;
-  };
-  protoOf(NullRefImpl).freshCopyFromScope = function (scope) {
-    return this.uw(scope);
-  };
-  protoOf(NullRefImpl).kx = function () {
-    return isInterface(this, Term) ? this : THROW_CCE();
-  };
-  protoOf(NullRefImpl).br = function () {
-    return this.kx();
-  };
-  protoOf(NullRefImpl).w16 = function (substitution) {
-    return this;
-  };
-  protoOf(NullRefImpl).applySubstitution = function (substitution) {
-    return this.w16(substitution);
-  };
-  protoOf(NullRefImpl).s2o = function (substitution, substitutions) {
-    return this;
-  };
-  protoOf(NullRefImpl).apply = function (substitution, substitutions) {
-    return this.s2o(substitution, substitutions);
-  };
-  protoOf(NullRefImpl).r2o = function (substitution, substitutions) {
-    return this;
-  };
-  protoOf(NullRefImpl).getSubstituted = function (substitution, substitutions) {
-    return this.r2o(substitution, substitutions);
-  };
-  protoOf(NullRefImpl).c16 = function (visitor) {
-    return visitor.visitAtom(this);
-  };
-  protoOf(NullRefImpl).accept = function (visitor) {
-    return this.c16(visitor);
-  };
-  var NullRefImpl_instance;
-  function NullRefImpl_getInstance() {
-    if (NullRefImpl_instance == null)
-      new NullRefImpl();
-    return NullRefImpl_instance;
-  }
-  function ObjectRefImpl(object) {
-    this.o3q_1 = object;
-    this.p3q_1 = Companion_getInstance_0().of(Companion_getInstance_11().j3p(object));
-  }
-  protoOf(ObjectRefImpl).x3o = function () {
-    return this.o3q_1;
-  };
-  protoOf(ObjectRefImpl).rw = function () {
-    return this.p3q_1.rw();
-  };
-  protoOf(ObjectRefImpl).jx = function () {
-    return this.p3q_1.jx();
-  };
-  protoOf(ObjectRefImpl).kw = function () {
-    return this.p3q_1.kw();
-  };
-  protoOf(ObjectRefImpl).qw = function () {
-    return this.p3q_1.qw();
-  };
-  protoOf(ObjectRefImpl).ix = function () {
-    return this.p3q_1.ix();
-  };
-  protoOf(ObjectRefImpl).lw = function () {
-    return this.p3q_1.lw();
-  };
-  protoOf(ObjectRefImpl).xw = function () {
-    return this.p3q_1.xw();
-  };
-  protoOf(ObjectRefImpl).dx = function () {
-    return this.p3q_1.dx();
-  };
-  protoOf(ObjectRefImpl).mw = function () {
-    return this.p3q_1.mw();
-  };
-  protoOf(ObjectRefImpl).nw = function () {
-    return this.p3q_1.nw();
-  };
-  protoOf(ObjectRefImpl).hx = function () {
-    return this.p3q_1.hx();
-  };
-  protoOf(ObjectRefImpl).ux = function () {
-    return this.p3q_1.ux();
-  };
-  protoOf(ObjectRefImpl).fx = function () {
-    return this.p3q_1.fx();
-  };
-  protoOf(ObjectRefImpl).rx = function () {
-    return this.p3q_1.rx();
-  };
-  protoOf(ObjectRefImpl).cx = function () {
-    return this.p3q_1.cx();
-  };
-  protoOf(ObjectRefImpl).qx = function () {
-    return this.p3q_1.qx();
-  };
-  protoOf(ObjectRefImpl).sx = function () {
-    return this.p3q_1.sx();
-  };
-  protoOf(ObjectRefImpl).ox = function () {
-    return this.p3q_1.ox();
-  };
-  protoOf(ObjectRefImpl).yw = function () {
-    return this.p3q_1.yw();
-  };
-  protoOf(ObjectRefImpl).ww = function () {
-    return this.p3q_1.ww();
-  };
-  protoOf(ObjectRefImpl).ow = function () {
-    return this.p3q_1.ow();
-  };
-  protoOf(ObjectRefImpl).nx = function () {
-    return this.p3q_1.nx();
-  };
-  protoOf(ObjectRefImpl).bx = function () {
-    return this.p3q_1.bx();
-  };
-  protoOf(ObjectRefImpl).mx = function () {
-    return this.p3q_1.mx();
-  };
-  protoOf(ObjectRefImpl).vt = function () {
-    return this.p3q_1.vt();
-  };
-  protoOf(ObjectRefImpl).r2 = function () {
-    return this.p3q_1.r2();
-  };
-  protoOf(ObjectRefImpl).sw = function () {
-    return this.p3q_1.sw();
-  };
-  protoOf(ObjectRefImpl).addFirst = function (argument) {
-    return this.p3q_1.addFirst(argument);
-  };
-  protoOf(ObjectRefImpl).addLast = function (argument) {
-    return this.p3q_1.addLast(argument);
-  };
-  protoOf(ObjectRefImpl).append = function (argument) {
-    return this.p3q_1.append(argument);
-  };
-  protoOf(ObjectRefImpl).vw = function () {
-    return this.p3q_1.vw();
-  };
-  protoOf(ObjectRefImpl).asAtom = function () {
-    return this.vw();
-  };
-  protoOf(ObjectRefImpl).asBlock = function () {
-    return this.p3q_1.asBlock();
-  };
-  protoOf(ObjectRefImpl).asClause = function () {
-    return this.p3q_1.asClause();
-  };
-  protoOf(ObjectRefImpl).asCons = function () {
-    return this.p3q_1.asCons();
-  };
-  protoOf(ObjectRefImpl).asDirective = function () {
-    return this.p3q_1.asDirective();
-  };
-  protoOf(ObjectRefImpl).asEmptyBlock = function () {
-    return this.p3q_1.asEmptyBlock();
-  };
-  protoOf(ObjectRefImpl).asEmptyList = function () {
-    return this.p3q_1.asEmptyList();
-  };
-  protoOf(ObjectRefImpl).asFact = function () {
-    return this.p3q_1.asFact();
-  };
-  protoOf(ObjectRefImpl).asIndicator = function () {
-    return this.p3q_1.asIndicator();
-  };
-  protoOf(ObjectRefImpl).asInteger = function () {
-    return this.p3q_1.asInteger();
-  };
-  protoOf(ObjectRefImpl).asList = function () {
-    return this.p3q_1.asList();
-  };
-  protoOf(ObjectRefImpl).asNumeric = function () {
-    return this.p3q_1.asNumeric();
-  };
-  protoOf(ObjectRefImpl).asReal = function () {
-    return this.p3q_1.asReal();
-  };
-  protoOf(ObjectRefImpl).asRecursive = function () {
-    return this.p3q_1.asRecursive();
-  };
-  protoOf(ObjectRefImpl).asRule = function () {
-    return this.p3q_1.asRule();
-  };
-  protoOf(ObjectRefImpl).gx = function () {
-    return this.p3q_1.gx();
-  };
-  protoOf(ObjectRefImpl).asStruct = function () {
-    return this.gx();
-  };
-  protoOf(ObjectRefImpl).asTerm = function () {
-    return this.p3q_1.asTerm();
-  };
-  protoOf(ObjectRefImpl).asTruth = function () {
-    return this.p3q_1.asTruth();
-  };
-  protoOf(ObjectRefImpl).asTuple = function () {
-    return this.p3q_1.asTuple();
-  };
-  protoOf(ObjectRefImpl).asVar = function () {
-    return this.p3q_1.asVar();
-  };
-  protoOf(ObjectRefImpl).castToAtom = function () {
-    return this.p3q_1.castToAtom();
-  };
-  protoOf(ObjectRefImpl).castToBlock = function () {
-    return this.p3q_1.castToBlock();
-  };
-  protoOf(ObjectRefImpl).castToClause = function () {
-    return this.p3q_1.castToClause();
-  };
-  protoOf(ObjectRefImpl).castToCons = function () {
-    return this.p3q_1.castToCons();
-  };
-  protoOf(ObjectRefImpl).castToConstant = function () {
-    return this.p3q_1.castToConstant();
-  };
-  protoOf(ObjectRefImpl).castToDirective = function () {
-    return this.p3q_1.castToDirective();
-  };
-  protoOf(ObjectRefImpl).castToEmptyBlock = function () {
-    return this.p3q_1.castToEmptyBlock();
-  };
-  protoOf(ObjectRefImpl).castToEmptyList = function () {
-    return this.p3q_1.castToEmptyList();
-  };
-  protoOf(ObjectRefImpl).castToFact = function () {
-    return this.p3q_1.castToFact();
-  };
-  protoOf(ObjectRefImpl).castToIndicator = function () {
-    return this.p3q_1.castToIndicator();
-  };
-  protoOf(ObjectRefImpl).castToInteger = function () {
-    return this.p3q_1.castToInteger();
-  };
-  protoOf(ObjectRefImpl).castToList = function () {
-    return this.p3q_1.castToList();
-  };
-  protoOf(ObjectRefImpl).castToNumeric = function () {
-    return this.p3q_1.castToNumeric();
-  };
-  protoOf(ObjectRefImpl).castToReal = function () {
-    return this.p3q_1.castToReal();
-  };
-  protoOf(ObjectRefImpl).castToRecursive = function () {
-    return this.p3q_1.castToRecursive();
-  };
-  protoOf(ObjectRefImpl).castToRule = function () {
-    return this.p3q_1.castToRule();
-  };
-  protoOf(ObjectRefImpl).castToStruct = function () {
-    return this.p3q_1.castToStruct();
-  };
-  protoOf(ObjectRefImpl).castToTerm = function () {
-    return this.p3q_1.castToTerm();
-  };
-  protoOf(ObjectRefImpl).castToTruth = function () {
-    return this.p3q_1.castToTruth();
-  };
-  protoOf(ObjectRefImpl).castToTuple = function () {
-    return this.p3q_1.castToTuple();
-  };
-  protoOf(ObjectRefImpl).castToVar = function () {
-    return this.p3q_1.castToVar();
-  };
-  protoOf(ObjectRefImpl).lx = function (other) {
-    return this.p3q_1.lx(other);
-  };
-  protoOf(ObjectRefImpl).d = function (other) {
-    return this.lx((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
-  };
-  protoOf(ObjectRefImpl).containsTag = function (name) {
-    return this.p3q_1.containsTag(name);
-  };
-  protoOf(ObjectRefImpl).equalsUsingVarCompleteNames = function (other, useVarCompleteName) {
-    return this.p3q_1.equalsUsingVarCompleteNames(other, useVarCompleteName);
-  };
-  protoOf(ObjectRefImpl).equals = function (other) {
-    return this.p3q_1.equals(other);
-  };
-  protoOf(ObjectRefImpl).get = function (index) {
-    return this.p3q_1.get(index);
-  };
-  protoOf(ObjectRefImpl).getArgAt = function (index) {
-    return this.p3q_1.getArgAt(index);
-  };
-  protoOf(ObjectRefImpl).getTag = function (name) {
-    return this.p3q_1.getTag(name);
-  };
-  protoOf(ObjectRefImpl).hashCode = function () {
-    return this.p3q_1.hashCode();
-  };
-  protoOf(ObjectRefImpl).insertAt = function (index, argument) {
-    return this.p3q_1.insertAt(index, argument);
-  };
-  protoOf(ObjectRefImpl).resetTags = function (tags) {
-    return this.p3q_1.resetTags(tags);
-  };
-  protoOf(ObjectRefImpl).setArgs = function (args) {
-    return this.p3q_1.setArgs(args);
-  };
-  protoOf(ObjectRefImpl).setArgsIterable = function (args) {
-    return this.p3q_1.setArgsIterable(args);
-  };
-  protoOf(ObjectRefImpl).setArgsSequence = function (args) {
-    return this.p3q_1.setArgsSequence(args);
-  };
-  protoOf(ObjectRefImpl).setFunctor = function (functor) {
-    return this.p3q_1.setFunctor(functor);
-  };
-  protoOf(ObjectRefImpl).structurallyEquals = function (other) {
-    return this.p3q_1.structurallyEquals(other);
-  };
-  protoOf(ObjectRefImpl).toString = function () {
-    return this.p3q_1.toString();
-  };
-  protoOf(ObjectRefImpl).px = function () {
-    return true;
-  };
-  protoOf(ObjectRefImpl).tx = function () {
-    return this;
-  };
-  protoOf(ObjectRefImpl).asConstant = function () {
-    return this.tx();
-  };
-  protoOf(ObjectRefImpl).y3o = function (objectConverter, methodName, arguments_0) {
-    return invoke_0(this.o3q_1, objectConverter, methodName, arguments_0);
-  };
-  protoOf(ObjectRefImpl).z3o = function (objectConverter, propertyName, value) {
-    assign_0(this.o3q_1, objectConverter, propertyName, value);
-    return true;
-  };
-  protoOf(ObjectRefImpl).tw = function () {
-    return this;
-  };
-  protoOf(ObjectRefImpl).freshCopy = function () {
-    return this.tw();
-  };
-  protoOf(ObjectRefImpl).uw = function (scope) {
-    return this;
-  };
-  protoOf(ObjectRefImpl).freshCopyFromScope = function (scope) {
-    return this.uw(scope);
-  };
-  protoOf(ObjectRefImpl).kx = function () {
-    return isInterface(this, Term) ? this : THROW_CCE();
-  };
-  protoOf(ObjectRefImpl).br = function () {
-    return this.kx();
-  };
-  protoOf(ObjectRefImpl).w16 = function (substitution) {
-    return this;
-  };
-  protoOf(ObjectRefImpl).applySubstitution = function (substitution) {
-    return this.w16(substitution);
-  };
-  protoOf(ObjectRefImpl).s2o = function (substitution, substitutions) {
-    return this;
-  };
-  protoOf(ObjectRefImpl).apply = function (substitution, substitutions) {
-    return this.s2o(substitution, substitutions);
-  };
-  protoOf(ObjectRefImpl).r2o = function (substitution, substitutions) {
-    return this;
-  };
-  protoOf(ObjectRefImpl).getSubstituted = function (substitution, substitutions) {
-    return this.r2o(substitution, substitutions);
-  };
-  protoOf(ObjectRefImpl).c16 = function (visitor) {
-    return visitor.visitAtom(this);
-  };
-  protoOf(ObjectRefImpl).accept = function (visitor) {
-    return this.c16(visitor);
-  };
-  function ObjectToTermConverterImpl() {
-    this.q3q_1 = new NumberTypeTester();
-  }
-  protoOf(ObjectToTermConverterImpl).q3p = function (source) {
-    // Inline function 'kotlin.with' call
-    // Inline function 'kotlin.contracts.contract' call
-    // Inline function 'it.unibo.tuprolog.solve.libs.oop.impl.ObjectToTermConverterImpl.convert.<anonymous>' call
-    var $this$with = this.q3q_1;
-    var tmp;
-    if (source == null) {
-      tmp = Companion_getInstance_11().i3p_1;
-    } else {
-      if (!(source == null) ? typeof source === 'string' : false) {
-        tmp = Companion_getInstance_0().of(source);
-      } else {
-        if (isNumber(source)) {
-          tmp = $this$with.nt(source) ? Companion_getInstance_3().ofBigInteger($this$with.ot(source)) : Companion_getInstance_2().ofBigDecimal($this$with.pt(source));
-        } else {
-          if (source instanceof Char) {
-            var tmp_0 = Companion_getInstance_0();
-            // Inline function 'kotlin.charArrayOf' call
-            var tmp$ret$0 = charArrayOf([source.pa_1]);
-            tmp = tmp_0.of(concatToString(tmp$ret$0));
-          } else {
-            if (!(source == null) ? typeof source === 'boolean' : false) {
-              tmp = Companion_getInstance_1().of(source);
-            } else {
-              tmp = Companion_getInstance_11().k3p(source);
-            }
-          }
-        }
-      }
-    }
-    return tmp;
-  };
-  function explicitConversion($this, castExpression, term, type) {
-    var targetType = getType($this, castExpression, type);
-    try {
-      return $this.w3p(targetType, term);
-    } catch ($p) {
-      if ($p instanceof TermToObjectConversionException) {
-        var e = $p;
-        throw e;
-      } else {
-        if ($p instanceof Exception) {
-          var _ = $p;
-          throw new TermToObjectConversionException(term, targetType);
-        } else {
-          throw $p;
-        }
-      }
-    }
-  }
-  function getType($this, castExpression, typeTerm) {
-    var tmp;
-    if (isInterface(typeTerm, TypeRef)) {
-      tmp = typeTerm.z24();
-    } else {
-      if (isInterface(typeTerm, Atom)) {
-        var tmp1_elvis_lhs = $this.r3q_1.b3q(typeTerm.r2());
-        var tmp_0;
-        if (tmp1_elvis_lhs == null) {
-          throw TermToObjectConversionException_init_$Create$(castExpression);
-        } else {
-          tmp_0 = tmp1_elvis_lhs;
-        }
-        tmp = tmp_0;
-      } else {
-        if (isInterface(typeTerm, Struct)) {
-          var tmp_1;
-          if (Companion_getInstance().matches(typeTerm, get_DEALIASING_TEMPLATE())) {
-            var ref = $this.s3q_1(typeTerm);
-            var tmp_2;
-            if (!(ref == null) ? isInterface(ref, TypeRef) : false) {
-              tmp_2 = ref.z24();
-            } else {
-              throw TermToObjectConversionException_init_$Create$(castExpression);
-            }
-            tmp_1 = tmp_2;
-          } else {
-            throw TermToObjectConversionException_init_$Create$(castExpression);
-          }
-          tmp = tmp_1;
-        } else {
-          throw TermToObjectConversionException_init_$Create$(castExpression);
-        }
-      }
-    }
-    return tmp;
-  }
-  function admissibleTypesByPriority($this, term) {
-    var tmp;
-    var tmp_0;
-    if (isInterface(term, NullRef)) {
-      tmp_0 = true;
-    } else {
-      tmp_0 = isInterface(term, Var);
-    }
-    if (tmp_0) {
-      tmp = sequenceOf([PrimitiveClasses_getInstance().e7()]);
-    } else {
-      if (isInterface(term, ObjectRef)) {
-        tmp = sequenceOf([getKClassFromExpression(term.x3o())]);
-      } else {
-        if (isInterface(term, Truth)) {
-          tmp = sequenceOf([PrimitiveClasses_getInstance().f7(), PrimitiveClasses_getInstance().m7()]);
-        } else {
-          if (isInterface(term, Atom)) {
-            var admissible = sequenceOf([PrimitiveClasses_getInstance().m7()]);
-            if (term.r2().length === 1) {
-              admissible = plus(admissible, sequenceOf([getKClass(Char)]));
-            }
-            tmp = admissible;
-          } else {
-            if (isInterface(term, Real)) {
-              tmp = sequenceOf([getKClass(BigDecimal), PrimitiveClasses_getInstance().k7(), PrimitiveClasses_getInstance().j7()]);
-            } else {
-              if (isInterface(term, Integer)) {
-                var admissible_0 = sequenceOf([getKClass(BigInteger)]);
-                var tmp_1 = Companion_getInstance_4();
-                Companion_getInstance_5();
-                var tmp_2 = tmp_1.ofLong(new Long(0, -2147483648));
-                var tmp_3 = Companion_getInstance_4();
-                Companion_getInstance_5();
-                if (tmp_2.rangeTo(tmp_3.ofLong(new Long(-1, 2147483647))).ga(term.y10())) {
-                  admissible_0 = plus(admissible_0, sequenceOf([getKClass(Long)]));
-                }
-                if (Companion_getInstance_4().of(IntCompanionObject_instance.MIN_VALUE).rangeTo(Companion_getInstance_4().of(IntCompanionObject_instance.MAX_VALUE)).ga(term.y10())) {
-                  admissible_0 = plus(admissible_0, sequenceOf([PrimitiveClasses_getInstance().i7()]));
-                }
-                if (Companion_getInstance_4().of(ShortCompanionObject_instance.MIN_VALUE).rangeTo(Companion_getInstance_4().of(ShortCompanionObject_instance.MAX_VALUE)).ga(term.y10())) {
-                  admissible_0 = plus(admissible_0, sequenceOf([PrimitiveClasses_getInstance().h7()]));
-                }
-                if (Companion_getInstance_4().of(ByteCompanionObject_instance.MIN_VALUE).rangeTo(Companion_getInstance_4().of(ByteCompanionObject_instance.MAX_VALUE)).ga(term.y10())) {
-                  admissible_0 = plus(admissible_0, sequenceOf([PrimitiveClasses_getInstance().g7()]));
-                }
-                admissible_0 = plus(admissible_0, sequenceOf([getKClass(BigDecimal)]));
-                var tmp_4 = Companion_getInstance_6();
-                var containsLower = tmp_4.ofDouble(4.9E-324);
-                var tmp_5 = Companion_getInstance_6();
-                var containsUpper = tmp_5.ofDouble(1.7976931348623157E308);
-                var containsArg = term.g11();
-                if (0 <= compareTo(containsArg, containsLower) ? compareTo(containsArg, containsUpper) <= 0 : false) {
-                  admissible_0 = plus(admissible_0, sequenceOf([PrimitiveClasses_getInstance().k7()]));
-                }
-                var tmp_6 = Companion_getInstance_6();
-                var containsLower_0 = tmp_6.ofFloat(1.4E-45);
-                var tmp_7 = Companion_getInstance_6();
-                var containsUpper_0 = tmp_7.ofFloat(3.4028235E38);
-                var containsArg_0 = term.g11();
-                if (0 <= compareTo(containsArg_0, containsLower_0) ? compareTo(containsArg_0, containsUpper_0) <= 0 : false) {
-                  admissible_0 = plus(admissible_0, sequenceOf([PrimitiveClasses_getInstance().j7()]));
-                }
-                tmp = admissible_0;
-              } else {
-                if (isInterface(term, Struct)) {
-                  var tmp_8;
-                  if (Companion_getInstance().matches(term, get_CAST_TEMPLATE())) {
-                    tmp_8 = sequenceOf([getType($this, term, term.get(1))]);
-                  } else if (Companion_getInstance().matches(term, get_DEALIASING_TEMPLATE())) {
-                    var ref = $this.s3q_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.r3q_1 = typeFactory;
-    this.s3q_1 = dealiaser;
-  }
-  protoOf(TermToObjectConverterImpl).w3p = function (type, term) {
-    var tmp;
-    var tmp_0;
-    if (isInterface(term, NullRef)) {
-      tmp_0 = true;
-    } else {
-      tmp_0 = isInterface(term, Var);
-    }
-    if (tmp_0) {
-      var tmp_1;
-      if (get_isPrimitiveType(type)) {
-        throw new TermToObjectConversionException(term, type);
-      } else {
-        tmp_1 = null;
-      }
-      tmp = tmp_1;
-    } else {
-      if (isInterface(term, ObjectRef)) {
-        var tmp_2;
-        if (isSubtypeOf(getKClassFromExpression(term.x3o()), type)) {
-          tmp_2 = term.x3o();
-        } else {
-          throw new TermToObjectConversionException(term, type);
-        }
-        tmp = tmp_2;
-      } else {
-        if (isInterface(term, Truth)) {
-          var tmp_3;
-          if (isSubtypeOf(PrimitiveClasses_getInstance().f7(), type)) {
-            tmp_3 = term.ow();
-          } else if (isSubtypeOf(PrimitiveClasses_getInstance().m7(), type)) {
-            tmp_3 = term.r2();
-          } else {
-            throw new TermToObjectConversionException(term, type);
-          }
-          tmp = tmp_3;
-        } else {
-          if (isInterface(term, Atom)) {
-            var tmp_4;
-            if (isSubtypeOf(PrimitiveClasses_getInstance().m7(), type)) {
-              tmp_4 = term.r2();
-            } else if (isSubtypeOf(getKClass(Char), type)) {
-              var tmp_5;
-              if (term.r2().length === 1) {
-                tmp_5 = charSequenceGet(term.r2(), 0);
-              } else {
-                throw new TermToObjectConversionException(term, type);
-              }
-              tmp_4 = new Char(tmp_5);
-            } else {
-              throw new TermToObjectConversionException(term, type);
-            }
-            tmp = tmp_4;
-          } else {
-            if (isInterface(term, Real)) {
-              var tmp_6;
-              if (isSubtypeOf(getKClass(BigDecimal), type)) {
-                tmp_6 = term.g11();
-              } else if (isSubtypeOf(PrimitiveClasses_getInstance().k7(), type)) {
-                tmp_6 = term.g11().toDouble();
-              } else if (isSubtypeOf(PrimitiveClasses_getInstance().j7(), type)) {
-                tmp_6 = term.g11().toFloat();
-              } else {
-                throw new TermToObjectConversionException(term, type);
-              }
-              tmp = tmp_6;
-            } else {
-              if (isInterface(term, Integer)) {
-                var tmp_7;
-                if (isSubtypeOf(getKClass(BigInteger), type)) {
-                  tmp_7 = term.y10();
-                } else if (isSubtypeOf(getKClass(Long), type)) {
-                  tmp_7 = term.y10().toLongExact();
-                } else if (isSubtypeOf(PrimitiveClasses_getInstance().i7(), type)) {
-                  tmp_7 = term.y10().toIntExact();
-                } else if (isSubtypeOf(PrimitiveClasses_getInstance().h7(), type)) {
-                  tmp_7 = term.y10().toShortExact();
-                } else if (isSubtypeOf(PrimitiveClasses_getInstance().g7(), type)) {
-                  tmp_7 = term.y10().toByteExact();
-                } else if (isSubtypeOf(getKClass(BigDecimal), type)) {
-                  tmp_7 = term.g11();
-                } else if (isSubtypeOf(PrimitiveClasses_getInstance().k7(), type)) {
-                  tmp_7 = term.g11().toDouble();
-                } else if (isSubtypeOf(PrimitiveClasses_getInstance().j7(), type)) {
-                  tmp_7 = term.g11().toFloat();
-                } else {
-                  throw new TermToObjectConversionException(term, type);
-                }
-                tmp = tmp_7;
-              } else {
-                if (isInterface(term, Struct)) {
-                  // Inline function 'kotlin.also' call
-                  var tmp_8;
-                  if (Companion_getInstance().matches(term, get_CAST_TEMPLATE())) {
-                    tmp_8 = explicitConversion(this, term, term.get(0), term.get(1));
-                  } else if (Companion_getInstance().matches(term, get_DEALIASING_TEMPLATE())) {
-                    var ref = this.s3q_1(term);
-                    var tmp_9;
-                    if (!(ref == null) ? isInterface(ref, ObjectRef) : false) {
-                      tmp_9 = this.w3p(type, ref);
-                    } else {
-                      throw TermToObjectConversionException_init_$Create$(term);
-                    }
-                    tmp_8 = tmp_9;
-                  } else {
-                    throw TermToObjectConversionException_init_$Create$(term);
-                  }
-                  var this_0 = tmp_8;
-                  // Inline function 'kotlin.contracts.contract' call
-                  // Inline function 'it.unibo.tuprolog.solve.libs.oop.impl.TermToObjectConverterImpl.convertInto.<anonymous>' call
-                  if (!(this_0 == null) ? !isSubtypeOf(getKClassFromExpression(this_0), type) : false) {
-                    throw TermToObjectConversionException_init_$Create$(term);
-                  }
-                  tmp = this_0;
-                } else {
-                  throw TermToObjectConversionException_init_$Create$(term);
-                }
-              }
-            }
-          }
-        }
-      }
-    }
-    return tmp;
-  };
-  protoOf(TermToObjectConverterImpl).y3p = function (term) {
-    return first(admissibleTypesByPriority(this, term));
-  };
-  protoOf(TermToObjectConverterImpl).x3p = function (term) {
-    return toSet(admissibleTypesByPriority(this, term));
-  };
-  function TypeFactoryImpl() {
-  }
-  protoOf(TypeFactoryImpl).b3q = function (typeName) {
-    return kClassFromName(typeName).r2();
-  };
-  function nameOf_0($this, type) {
-    return '<type:' + get_fullName(type) + '>';
-  }
-  function Companion_6() {
-  }
-  var Companion_instance_14;
-  function Companion_getInstance_18() {
-    return Companion_instance_14;
-  }
-  function TypeRefImpl(type) {
-    this.t3q_1 = type;
-    this.u3q_1 = Companion_getInstance_0().of(nameOf_0(Companion_instance_14, type));
-  }
-  protoOf(TypeRefImpl).z24 = function () {
-    return this.t3q_1;
-  };
-  protoOf(TypeRefImpl).rw = function () {
-    return this.u3q_1.rw();
-  };
-  protoOf(TypeRefImpl).jx = function () {
-    return this.u3q_1.jx();
-  };
-  protoOf(TypeRefImpl).kw = function () {
-    return this.u3q_1.kw();
-  };
-  protoOf(TypeRefImpl).qw = function () {
-    return this.u3q_1.qw();
-  };
-  protoOf(TypeRefImpl).ix = function () {
-    return this.u3q_1.ix();
-  };
-  protoOf(TypeRefImpl).lw = function () {
-    return this.u3q_1.lw();
-  };
-  protoOf(TypeRefImpl).xw = function () {
-    return this.u3q_1.xw();
-  };
-  protoOf(TypeRefImpl).dx = function () {
-    return this.u3q_1.dx();
-  };
-  protoOf(TypeRefImpl).mw = function () {
-    return this.u3q_1.mw();
-  };
-  protoOf(TypeRefImpl).nw = function () {
-    return this.u3q_1.nw();
-  };
-  protoOf(TypeRefImpl).hx = function () {
-    return this.u3q_1.hx();
-  };
-  protoOf(TypeRefImpl).ux = function () {
-    return this.u3q_1.ux();
-  };
-  protoOf(TypeRefImpl).fx = function () {
-    return this.u3q_1.fx();
-  };
-  protoOf(TypeRefImpl).rx = function () {
-    return this.u3q_1.rx();
-  };
-  protoOf(TypeRefImpl).cx = function () {
-    return this.u3q_1.cx();
-  };
-  protoOf(TypeRefImpl).qx = function () {
-    return this.u3q_1.qx();
-  };
-  protoOf(TypeRefImpl).sx = function () {
-    return this.u3q_1.sx();
-  };
-  protoOf(TypeRefImpl).ox = function () {
-    return this.u3q_1.ox();
-  };
-  protoOf(TypeRefImpl).yw = function () {
-    return this.u3q_1.yw();
-  };
-  protoOf(TypeRefImpl).ww = function () {
-    return this.u3q_1.ww();
-  };
-  protoOf(TypeRefImpl).ow = function () {
-    return this.u3q_1.ow();
-  };
-  protoOf(TypeRefImpl).nx = function () {
-    return this.u3q_1.nx();
-  };
-  protoOf(TypeRefImpl).bx = function () {
-    return this.u3q_1.bx();
-  };
-  protoOf(TypeRefImpl).mx = function () {
-    return this.u3q_1.mx();
-  };
-  protoOf(TypeRefImpl).vt = function () {
-    return this.u3q_1.vt();
-  };
-  protoOf(TypeRefImpl).r2 = function () {
-    return this.u3q_1.r2();
-  };
-  protoOf(TypeRefImpl).sw = function () {
-    return this.u3q_1.sw();
-  };
-  protoOf(TypeRefImpl).addFirst = function (argument) {
-    return this.u3q_1.addFirst(argument);
-  };
-  protoOf(TypeRefImpl).addLast = function (argument) {
-    return this.u3q_1.addLast(argument);
-  };
-  protoOf(TypeRefImpl).append = function (argument) {
-    return this.u3q_1.append(argument);
-  };
-  protoOf(TypeRefImpl).vw = function () {
-    return this.u3q_1.vw();
-  };
-  protoOf(TypeRefImpl).asAtom = function () {
-    return this.vw();
-  };
-  protoOf(TypeRefImpl).asBlock = function () {
-    return this.u3q_1.asBlock();
-  };
-  protoOf(TypeRefImpl).asClause = function () {
-    return this.u3q_1.asClause();
-  };
-  protoOf(TypeRefImpl).asCons = function () {
-    return this.u3q_1.asCons();
-  };
-  protoOf(TypeRefImpl).asDirective = function () {
-    return this.u3q_1.asDirective();
-  };
-  protoOf(TypeRefImpl).asEmptyBlock = function () {
-    return this.u3q_1.asEmptyBlock();
-  };
-  protoOf(TypeRefImpl).asEmptyList = function () {
-    return this.u3q_1.asEmptyList();
-  };
-  protoOf(TypeRefImpl).asFact = function () {
-    return this.u3q_1.asFact();
-  };
-  protoOf(TypeRefImpl).asIndicator = function () {
-    return this.u3q_1.asIndicator();
-  };
-  protoOf(TypeRefImpl).asInteger = function () {
-    return this.u3q_1.asInteger();
-  };
-  protoOf(TypeRefImpl).asList = function () {
-    return this.u3q_1.asList();
-  };
-  protoOf(TypeRefImpl).asNumeric = function () {
-    return this.u3q_1.asNumeric();
-  };
-  protoOf(TypeRefImpl).asReal = function () {
-    return this.u3q_1.asReal();
-  };
-  protoOf(TypeRefImpl).asRecursive = function () {
-    return this.u3q_1.asRecursive();
-  };
-  protoOf(TypeRefImpl).asRule = function () {
-    return this.u3q_1.asRule();
-  };
-  protoOf(TypeRefImpl).gx = function () {
-    return this.u3q_1.gx();
-  };
-  protoOf(TypeRefImpl).asStruct = function () {
-    return this.gx();
-  };
-  protoOf(TypeRefImpl).asTerm = function () {
-    return this.u3q_1.asTerm();
-  };
-  protoOf(TypeRefImpl).asTruth = function () {
-    return this.u3q_1.asTruth();
-  };
-  protoOf(TypeRefImpl).asTuple = function () {
-    return this.u3q_1.asTuple();
-  };
-  protoOf(TypeRefImpl).asVar = function () {
-    return this.u3q_1.asVar();
-  };
-  protoOf(TypeRefImpl).castToAtom = function () {
-    return this.u3q_1.castToAtom();
-  };
-  protoOf(TypeRefImpl).castToBlock = function () {
-    return this.u3q_1.castToBlock();
-  };
-  protoOf(TypeRefImpl).castToClause = function () {
-    return this.u3q_1.castToClause();
-  };
-  protoOf(TypeRefImpl).castToCons = function () {
-    return this.u3q_1.castToCons();
-  };
-  protoOf(TypeRefImpl).castToConstant = function () {
-    return this.u3q_1.castToConstant();
-  };
-  protoOf(TypeRefImpl).castToDirective = function () {
-    return this.u3q_1.castToDirective();
-  };
-  protoOf(TypeRefImpl).castToEmptyBlock = function () {
-    return this.u3q_1.castToEmptyBlock();
-  };
-  protoOf(TypeRefImpl).castToEmptyList = function () {
-    return this.u3q_1.castToEmptyList();
-  };
-  protoOf(TypeRefImpl).castToFact = function () {
-    return this.u3q_1.castToFact();
-  };
-  protoOf(TypeRefImpl).castToIndicator = function () {
-    return this.u3q_1.castToIndicator();
-  };
-  protoOf(TypeRefImpl).castToInteger = function () {
-    return this.u3q_1.castToInteger();
-  };
-  protoOf(TypeRefImpl).castToList = function () {
-    return this.u3q_1.castToList();
-  };
-  protoOf(TypeRefImpl).castToNumeric = function () {
-    return this.u3q_1.castToNumeric();
-  };
-  protoOf(TypeRefImpl).castToReal = function () {
-    return this.u3q_1.castToReal();
-  };
-  protoOf(TypeRefImpl).castToRecursive = function () {
-    return this.u3q_1.castToRecursive();
-  };
-  protoOf(TypeRefImpl).castToRule = function () {
-    return this.u3q_1.castToRule();
-  };
-  protoOf(TypeRefImpl).castToStruct = function () {
-    return this.u3q_1.castToStruct();
-  };
-  protoOf(TypeRefImpl).castToTerm = function () {
-    return this.u3q_1.castToTerm();
-  };
-  protoOf(TypeRefImpl).castToTruth = function () {
-    return this.u3q_1.castToTruth();
-  };
-  protoOf(TypeRefImpl).castToTuple = function () {
-    return this.u3q_1.castToTuple();
-  };
-  protoOf(TypeRefImpl).castToVar = function () {
-    return this.u3q_1.castToVar();
-  };
-  protoOf(TypeRefImpl).lx = function (other) {
-    return this.u3q_1.lx(other);
-  };
-  protoOf(TypeRefImpl).d = function (other) {
-    return this.lx((!(other == null) ? isInterface(other, Term) : false) ? other : THROW_CCE());
-  };
-  protoOf(TypeRefImpl).containsTag = function (name) {
-    return this.u3q_1.containsTag(name);
-  };
-  protoOf(TypeRefImpl).equalsUsingVarCompleteNames = function (other, useVarCompleteName) {
-    return this.u3q_1.equalsUsingVarCompleteNames(other, useVarCompleteName);
-  };
-  protoOf(TypeRefImpl).equals = function (other) {
-    return this.u3q_1.equals(other);
-  };
-  protoOf(TypeRefImpl).get = function (index) {
-    return this.u3q_1.get(index);
-  };
-  protoOf(TypeRefImpl).getArgAt = function (index) {
-    return this.u3q_1.getArgAt(index);
-  };
-  protoOf(TypeRefImpl).getTag = function (name) {
-    return this.u3q_1.getTag(name);
-  };
-  protoOf(TypeRefImpl).hashCode = function () {
-    return this.u3q_1.hashCode();
-  };
-  protoOf(TypeRefImpl).insertAt = function (index, argument) {
-    return this.u3q_1.insertAt(index, argument);
-  };
-  protoOf(TypeRefImpl).resetTags = function (tags) {
-    return this.u3q_1.resetTags(tags);
-  };
-  protoOf(TypeRefImpl).setArgs = function (args) {
-    return this.u3q_1.setArgs(args);
-  };
-  protoOf(TypeRefImpl).setArgsIterable = function (args) {
-    return this.u3q_1.setArgsIterable(args);
-  };
-  protoOf(TypeRefImpl).setArgsSequence = function (args) {
-    return this.u3q_1.setArgsSequence(args);
-  };
-  protoOf(TypeRefImpl).setFunctor = function (functor) {
-    return this.u3q_1.setFunctor(functor);
-  };
-  protoOf(TypeRefImpl).structurallyEquals = function (other) {
-    return this.u3q_1.structurallyEquals(other);
-  };
-  protoOf(TypeRefImpl).toString = function () {
-    return this.u3q_1.toString();
-  };
-  protoOf(TypeRefImpl).e3q = function (objectConverter, arguments_0) {
-    return create_0(this.t3q_1, objectConverter, arguments_0);
-  };
-  protoOf(TypeRefImpl).y3o = function (objectConverter, methodName, arguments_0) {
-    var companionObjectRef = get_companionObjectRef(this.t3q_1);
-    var tmp;
-    if (companionObjectRef instanceof Some) {
-      tmp = invoke_0(companionObjectRef.uq_1, objectConverter, methodName, arguments_0);
-    } else {
-      tmp = invoke_1(this.t3q_1, objectConverter, methodName, arguments_0, null);
-    }
-    return tmp;
-  };
-  protoOf(TypeRefImpl).px = function () {
-    return true;
-  };
-  protoOf(TypeRefImpl).tx = function () {
-    return this;
-  };
-  protoOf(TypeRefImpl).asConstant = function () {
-    return this.tx();
-  };
-  protoOf(TypeRefImpl).tw = function () {
-    return this;
-  };
-  protoOf(TypeRefImpl).freshCopy = function () {
-    return this.tw();
-  };
-  protoOf(TypeRefImpl).uw = function (scope) {
-    return this;
-  };
-  protoOf(TypeRefImpl).freshCopyFromScope = function (scope) {
-    return this.uw(scope);
-  };
-  protoOf(TypeRefImpl).kx = function () {
-    return isInterface(this, Term) ? this : THROW_CCE();
-  };
-  protoOf(TypeRefImpl).br = function () {
-    return this.kx();
-  };
-  protoOf(TypeRefImpl).w16 = function (substitution) {
-    return this;
-  };
-  protoOf(TypeRefImpl).applySubstitution = function (substitution) {
-    return this.w16(substitution);
-  };
-  protoOf(TypeRefImpl).s2o = function (substitution, substitutions) {
-    return this;
-  };
-  protoOf(TypeRefImpl).apply = function (substitution, substitutions) {
-    return this.s2o(substitution, substitutions);
-  };
-  protoOf(TypeRefImpl).r2o = function (substitution, substitutions) {
-    return this;
-  };
-  protoOf(TypeRefImpl).getSubstituted = function (substitution, substitutions) {
-    return this.r2o(substitution, substitutions);
-  };
-  protoOf(TypeRefImpl).c16 = function (visitor) {
-    return visitor.visitAtom(this);
-  };
-  protoOf(TypeRefImpl).accept = function (visitor) {
-    return this.c16(visitor);
-  };
-  protoOf(TypeRefImpl).z3o = function (objectConverter, propertyName, value) {
-    var companionObjectRef = get_companionObjectRef(this.t3q_1);
-    if (companionObjectRef instanceof Some) {
-      assign_0(companionObjectRef.uq_1, objectConverter, propertyName, value);
-    } else {
-      assign_1(this.t3q_1, objectConverter, propertyName, value, null);
-    }
-    return true;
-  };
-  function actuallyInvoke(_this__u8e3s4, $this, ref, method, resultTerm) {
-    var result = ref.y3o(get_termToObjectConverter(_this__u8e3s4), method.qw(), method.rw());
-    var tmp;
-    if (result instanceof Value) {
-      tmp = Companion_getInstance_8().w2g(_this__u8e3s4, resultTerm, $this.w3q(result));
-    } else {
-      tmp = Companion_getInstance_7().failed();
-    }
-    return tmp;
-  }
-  function AbstractInvoke(suffix) {
-    Functional.call(this, 'invoke_' + suffix);
-  }
-  protoOf(AbstractInvoke).a2q = function (_this__u8e3s4, first, second, third) {
-    Companion_getInstance_8().g2h(_this__u8e3s4, 0);
-    Companion_getInstance_8().g2h(_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 {
-        // Inline function 'it.unibo.tuprolog.solve.libs.oop.primitives.AbstractInvoke.computeOneSubstitution.<anonymous>' call
-        var tmp;
-        if (isInterface(first, Ref)) {
-          tmp = actuallyInvoke(_this__u8e3s4, this, first, method, third);
-        } else {
-          if (isInterface(first, Struct)) {
-            var ref = findRefFromAlias(_this__u8e3s4, first);
-            tmp = actuallyInvoke(_this__u8e3s4, this, ref, method, third);
-          } else {
-            tmp = Companion_getInstance_7().failed();
-          }
-        }
-        tmp$ret$1 = tmp;
-        break $l$block;
-      } catch ($p) {
-        if ($p instanceof OopException) {
-          var e = $p;
-          throw e.j3q(_this__u8e3s4.context, _this__u8e3s4.signature);
-        } else {
-          if ($p instanceof Error) {
-            var e_0 = $p;
-            throw Companion_instance_4.forUncaughtKtException(_this__u8e3s4.context, e_0);
-          } else {
-            throw $p;
-          }
-        }
-      }
-    }
-    return tmp$ret$1;
-  };
-  protoOf(AbstractInvoke).j2j = function (_this__u8e3s4, first, second, third) {
-    return this.a2q(_this__u8e3s4, first, second, third);
-  };
-  function AbstractIterableItems$computeOneSubstitution$lambda($converter) {
-    return function (it) {
-      return $converter.z3p(it);
-    };
-  }
-  function AbstractIterableItems$computeOneSubstitution$lambda_0(it) {
-    return Companion_getInstance_12().l3p_1.q3p(it);
-  }
-  function AbstractIterableItems(iterable, target) {
-    Functional_0.call(this, iterable + '_items');
-    this.y3q_1 = target;
-  }
-  protoOf(AbstractIterableItems).x2p = function (_this__u8e3s4, first, second) {
-    var tmp;
-    var tmp_0;
-    if (isInterface(first, Var)) {
-      tmp_0 = isInterface(second, Var);
-    } else {
-      tmp_0 = false;
-    }
-    if (tmp_0) {
-      // Inline function 'kotlin.let' call
-      // Inline function 'kotlin.contracts.contract' call
-      // Inline function 'it.unibo.tuprolog.solve.libs.oop.primitives.AbstractIterableItems.computeOneSubstitution.<anonymous>' call
-      Companion_getInstance_8().w2f(_this__u8e3s4);
-      tmp = Companion_getInstance_7().failed();
-    } else {
-      if (isInterface(second, List_0)) {
-        var converter = get_termToObjectConverter(_this__u8e3s4);
-        var tmp_1 = second.uu();
-        var items = this.z3q(map(tmp_1, AbstractIterableItems$computeOneSubstitution$lambda(converter)));
-        var objectRef = Companion_getInstance_11().k3p(items);
-        tmp = Companion_getInstance_8().w2g(_this__u8e3s4, first, objectRef);
-      } else {
-        if (isInterface(first, ObjectRef)) {
-          var obj = first.x3o();
-          var tmp_2;
-          if (this.a3r(obj)) {
-            var tmp_3 = this.b3r(!(obj == null) ? obj : THROW_CCE());
-            var items_0 = map(tmp_3, AbstractIterableItems$computeOneSubstitution$lambda_0);
-            tmp_2 = Companion_getInstance_8().w2g(_this__u8e3s4, second, Companion_instance_5.ofSequence(items_0));
-          } else {
-            tmp_2 = Companion_getInstance_7().failed();
-          }
-          tmp = tmp_2;
-        } else {
-          throw Companion_instance_1.l28(_this__u8e3s4.context, _this__u8e3s4.signature, Expected_OBJECT_REFERENCE_getInstance(), first, 0);
-        }
-      }
-    }
-    return tmp;
-  };
-  protoOf(AbstractIterableItems).h2g = function (_this__u8e3s4, first, second) {
-    return this.x2p(_this__u8e3s4, first, second);
-  };
-  function ArrayItems() {
-    ArrayItems_instance = this;
-    AbstractIterableItems.call(this, 'array', PrimitiveClasses_getInstance().l7());
-  }
-  protoOf(ArrayItems).z3q = function (_this__u8e3s4) {
-    // Inline function 'kotlin.collections.toTypedArray' call
-    var this_0 = toList(_this__u8e3s4);
-    return copyToArray(this_0);
-  };
-  protoOf(ArrayItems).a3r = function (_this__u8e3s4) {
-    return !(_this__u8e3s4 == null) ? isArray(_this__u8e3s4) : false;
-  };
-  protoOf(ArrayItems).e3r = function (_this__u8e3s4) {
-    return asSequence(_this__u8e3s4);
-  };
-  protoOf(ArrayItems).b3r = function (_this__u8e3s4) {
-    return this.e3r(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');
-  }
-  protoOf(Assign).g3r = function (_this__u8e3s4, first, second, third) {
-    Companion_getInstance_8().l2h(_this__u8e3s4, 0);
-    Companion_getInstance_8().l2h(_this__u8e3s4, 1);
-    var tmp$ret$1;
-    $l$block: {
-      // Inline function 'it.unibo.tuprolog.solve.libs.oop.primitives.catchingOopExceptions' call
-      try {
-        // Inline function 'it.unibo.tuprolog.solve.libs.oop.primitives.Assign.compute.<anonymous>' call
-        var tmp;
-        if (isInterface(first, Ref)) {
-          tmp = first;
-        } else {
-          tmp = findRefFromAlias(_this__u8e3s4, isInterface(first, Atom) ? first : THROW_CCE());
-        }
-        var ref = tmp;
-        var tmp_0;
-        if (Companion_getInstance_8().x2g(_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$1 = ref.z3o(tmp_1, (isInterface(second, Atom) ? second : THROW_CCE()).r2(), value);
-        break $l$block;
-      } catch ($p) {
-        if ($p instanceof OopException) {
-          var e = $p;
-          throw e.j3q(_this__u8e3s4.context, _this__u8e3s4.signature);
-        } else {
-          if ($p instanceof Error) {
-            var e_0 = $p;
-            throw Companion_instance_4.forUncaughtKtException(_this__u8e3s4.context, e_0);
-          } else {
-            throw $p;
-          }
-        }
-      }
-    }
-    return tmp$ret$1;
-  };
-  protoOf(Assign).l2j = function (_this__u8e3s4, first, second, third) {
-    return this.g3r(_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_7().failed();
-    } else {
-      var casted = get_termToObjectConverter(_this__u8e3s4).w3p(type, term);
-      tmp = Companion_getInstance_8().w2g(_this__u8e3s4, result, Companion_getInstance_11().k3p(casted));
-    }
-    return tmp;
-  }
-  function Cast$computeAll$lambda(it) {
-    return allSupertypes(it, false);
-  }
-  function Cast$computeAll$lambda_0($$this$catchingOopExceptions, $first, $third, $second) {
-    return function (it) {
-      return cast($$this$catchingOopExceptions, Cast_getInstance(), $first, it, $third).plus(Companion_getInstance_8().w2g($$this$catchingOopExceptions, $second, Companion_instance_12.a3q(it)));
-    };
-  }
-  function Cast$computeAll$lambda_1($$this$catchingOopExceptions) {
-    return function (it) {
-      return $$this$catchingOopExceptions.replyWith(it, VOID, []);
-    };
-  }
-  function Cast() {
-    Cast_instance = this;
-    TernaryRelation.call(this, 'cast');
-  }
-  protoOf(Cast).i3r = function (_this__u8e3s4, first, second, third) {
-    var tmp$ret$1;
-    $l$block: {
-      // Inline function 'it.unibo.tuprolog.solve.libs.oop.primitives.catchingOopExceptions' call
-      try {
-        // Inline function 'it.unibo.tuprolog.solve.libs.oop.primitives.Cast.computeAll.<anonymous>' call
-        var tmp;
-        if (isInterface(second, Struct)) {
-          ensuringArgumentIsTypeRef(_this__u8e3s4, 1);
-          var type = getArgumentAsTypeRef(_this__u8e3s4, 1);
-          var tmp_0;
-          try {
-            var tmp_1 = Cast_getInstance();
-            tmp_0 = sequenceOf([_this__u8e3s4.replyWith(cast(_this__u8e3s4, tmp_1, first, type == null ? null : type.z24(), third), VOID, [])]);
-          } catch ($p) {
-            var tmp_2;
-            if ($p instanceof TermToObjectConversionException) {
-              var _ = $p;
-              tmp_2 = sequenceOf([_this__u8e3s4.replyFail(VOID, [])]);
-            } else {
-              throw $p;
-            }
-            tmp_0 = tmp_2;
-          }
-          tmp = tmp_0;
-        } else {
-          if (isInterface(second, Var)) {
-            var tmp_3 = asSequence_0(get_termToObjectConverter(_this__u8e3s4).x3p(first));
-            var tmp_4 = distinct(flatMap(tmp_3, Cast$computeAll$lambda));
-            var tmp_5 = map(tmp_4, Cast$computeAll$lambda_0(_this__u8e3s4, first, third, second));
-            tmp = map(tmp_5, Cast$computeAll$lambda_1(_this__u8e3s4));
-          } else {
-            ensuringArgumentIsTypeRef(_this__u8e3s4, 1);
-            tmp = sequenceOf([_this__u8e3s4.replyFail(VOID, [])]);
-          }
-        }
-        tmp$ret$1 = tmp;
-        break $l$block;
-      } catch ($p) {
-        if ($p instanceof OopException) {
-          var e = $p;
-          throw e.j3q(_this__u8e3s4.context, _this__u8e3s4.signature);
-        } else {
-          if ($p instanceof Error) {
-            var e_0 = $p;
-            throw Companion_instance_4.forUncaughtKtException(_this__u8e3s4.context, e_0);
-          } else {
-            throw $p;
-          }
-        }
-      }
-    }
-    return tmp$ret$1;
-  };
-  protoOf(Cast).e2j = function (_this__u8e3s4, first, second, third) {
-    return this.i3r(_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');
-  }
-  protoOf(InvokeMethod).w3q = function (_this__u8e3s4) {
-    return _this__u8e3s4.p1i();
-  };
-  var InvokeMethod_instance;
-  function InvokeMethod_getInstance() {
-    if (InvokeMethod_instance == null)
-      new InvokeMethod();
-    return InvokeMethod_instance;
-  }
-  function InvokeStrict() {
-    InvokeStrict_instance = this;
-    AbstractInvoke.call(this, 'strict');
-  }
-  protoOf(InvokeStrict).w3q = function (_this__u8e3s4) {
-    return _this__u8e3s4.r3p();
-  };
-  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));
-  }
-  protoOf(ListItems).z3q = function (_this__u8e3s4) {
-    return toList(_this__u8e3s4);
-  };
-  protoOf(ListItems).a3r = function (_this__u8e3s4) {
-    return !(_this__u8e3s4 == null) ? isInterface(_this__u8e3s4, List) : false;
-  };
-  protoOf(ListItems).n3r = function (_this__u8e3s4) {
-    return asSequence_0(_this__u8e3s4);
-  };
-  protoOf(ListItems).b3r = function (_this__u8e3s4) {
-    return this.n3r(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');
-  }
-  protoOf(NewObject3).a2q = function (_this__u8e3s4, first, second, third) {
-    Companion_getInstance_8().g2h(_this__u8e3s4, 0);
-    Companion_getInstance_8().q2h(_this__u8e3s4, 1);
-    var tmp$ret$3;
-    $l$block: {
-      // Inline function 'it.unibo.tuprolog.solve.libs.oop.primitives.catchingOopExceptions' call
-      try {
-        // 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 tmp1_safe_receiver = type == null ? null : type.d3q(get_termToObjectConverter(_this__u8e3s4), arguments_0.slice());
-        var objectReference = tmp1_safe_receiver == null ? null : tmp1_safe_receiver.r3p();
-        var tmp;
-        if (objectReference == null) {
-          tmp = null;
-        } else {
-          // Inline function 'kotlin.let' call
-          // Inline function 'kotlin.contracts.contract' call
-          // Inline function 'it.unibo.tuprolog.solve.libs.oop.primitives.NewObject3.computeOneSubstitution.<anonymous>.<anonymous>' call
-          tmp = Companion_getInstance_8().w2g(_this__u8e3s4, objectReference, third);
-        }
-        var tmp3_elvis_lhs = tmp;
-        tmp$ret$3 = tmp3_elvis_lhs == null ? Companion_getInstance_7().failed() : tmp3_elvis_lhs;
-        break $l$block;
-      } catch ($p) {
-        if ($p instanceof OopException) {
-          var e = $p;
-          throw e.j3q(_this__u8e3s4.context, _this__u8e3s4.signature);
-        } else {
-          if ($p instanceof Error) {
-            var e_0 = $p;
-            throw Companion_instance_4.forUncaughtKtException(_this__u8e3s4.context, e_0);
-          } else {
-            throw $p;
-          }
-        }
-      }
-    }
-    return tmp$ret$3;
-  };
-  protoOf(NewObject3).j2j = function (_this__u8e3s4, first, second, third) {
-    return this.a2q(_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');
-  }
-  protoOf(NullRef_0).v2j = 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');
-  }
-  protoOf(ObjectRef_0).v2j = function (term) {
-    return isInterface(term, ObjectRef);
-  };
-  var ObjectRef_instance;
-  function ObjectRef_getInstance() {
-    if (ObjectRef_instance == null)
-      new ObjectRef_0();
-    return ObjectRef_instance;
-  }
-  function get_DEALIASING_TEMPLATE() {
-    _init_properties_PrimitiveExtensions_kt__hfa11z();
-    return DEALIASING_TEMPLATE;
-  }
-  var DEALIASING_TEMPLATE;
-  function get_CAST_TEMPLATE() {
-    _init_properties_PrimitiveExtensions_kt__hfa11z();
-    return CAST_TEMPLATE;
-  }
-  var CAST_TEMPLATE;
-  function findRefFromAlias(_this__u8e3s4, alias) {
-    _init_properties_PrimitiveExtensions_kt__hfa11z();
-    var tmp0_elvis_lhs = findRefFromAliasOrNull(_this__u8e3s4, alias);
-    var tmp;
-    if (tmp0_elvis_lhs == null) {
-      throw new NoSuchAnAliasException(alias);
-    } else {
-      tmp = tmp0_elvis_lhs;
-    }
-    return tmp;
-  }
-  function get_termToObjectConverter(_this__u8e3s4) {
-    _init_properties_PrimitiveExtensions_kt__hfa11z();
-    var tmp = Companion_getInstance_14();
-    return tmp.t3p(VOID, _get_termToObjectConverter_$lambda_4bacq4(_this__u8e3s4));
-  }
-  function ensuringArgumentIsTypeRef(_this__u8e3s4, index) {
-    _init_properties_PrimitiveExtensions_kt__hfa11z();
-    var arg = _this__u8e3s4.arguments.c1(index);
-    var tmp;
-    var tmp_0;
-    if (matchesDealiasingTemplate(_this__u8e3s4, arg)) {
-      var tmp_1 = findRefFromAlias(_this__u8e3s4, arg.castToStruct());
-      tmp_0 = isInterface(tmp_1, TypeRef);
-    } else {
-      tmp_0 = false;
-    }
-    if (tmp_0) {
-      tmp = _this__u8e3s4;
-    } else {
-      if (!isInterface(arg, TypeRef)) {
-        throw Companion_instance_1.l28(_this__u8e3s4.context, _this__u8e3s4.signature, Expected_TYPE_REFERENCE_getInstance(), arg, index);
-      } else {
-        tmp = _this__u8e3s4;
-      }
-    }
-    return tmp;
-  }
-  function getArgumentAsTypeRef(_this__u8e3s4, index) {
-    _init_properties_PrimitiveExtensions_kt__hfa11z();
-    Companion_getInstance_8().g2h(_this__u8e3s4, index);
-    var arg = _this__u8e3s4.arguments.c1(index);
-    var tmp;
-    if (isInterface(arg, TypeRef)) {
-      tmp = arg;
-    } else {
-      if (isInterface(arg, Atom)) {
-        tmp = Companion_getInstance_15().v3p_1.c3q(arg.r2());
-      } else {
-        if (isDealiasingExpression(_this__u8e3s4, arg)) {
-          var tmp_0 = findRefFromAlias(_this__u8e3s4, arg.castToStruct());
-          tmp = isInterface(tmp_0, TypeRef) ? tmp_0 : null;
-        } else {
-          ensuringArgumentIsTypeRef(_this__u8e3s4, 1);
-          tmp = null;
-        }
-      }
-    }
-    return tmp;
-  }
-  function ensuringArgumentIsRef(_this__u8e3s4, index) {
-    _init_properties_PrimitiveExtensions_kt__hfa11z();
-    var arg = _this__u8e3s4.arguments.c1(index);
-    var tmp;
-    if (matchesDealiasingTemplate(_this__u8e3s4, arg) ? ensureAliasIsRegistered(_this__u8e3s4, arg.castToStruct()) : false) {
-      tmp = _this__u8e3s4;
-    } else {
-      if (!isInterface(arg, Ref)) {
-        throw Companion_instance_1.l28(_this__u8e3s4.context, _this__u8e3s4.signature, Expected_REFERENCE_getInstance(), arg, index);
-      } else {
-        tmp = _this__u8e3s4;
-      }
-    }
-    return tmp;
-  }
-  function findRefFromAliasOrNull(_this__u8e3s4, alias) {
-    _init_properties_PrimitiveExtensions_kt__hfa11z();
-    var tmp;
-    if (isDealiasingExpression(_this__u8e3s4, alias)) {
-      var tmp_0 = alias.get(0);
-      tmp = isInterface(tmp_0, Struct) ? tmp_0 : THROW_CCE();
-    } else {
-      throw new MalformedAliasException(alias);
-    }
-    var actualAlias = tmp;
-    var ActualRef = Companion_getInstance_9().of('ActualRef');
-    // Inline function 'kotlin.sequences.filterIsInstance' call
-    var tmp_1 = Companion_getInstance_10();
-    var this_0 = _this__u8e3s4.solve(tmp_1.of('alias', [actualAlias, ActualRef]));
-    var tmp_2 = filter(this_0, findRefFromAliasOrNull$lambda);
-    var tmp$ret$0 = isInterface(tmp_2, Sequence) ? tmp_2 : THROW_CCE();
-    var tmp0_safe_receiver = firstOrNull(tmp$ret$0);
-    var tmp1_safe_receiver = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.a1w();
-    var tmp2_safe_receiver = tmp1_safe_receiver == null ? null : tmp1_safe_receiver.get(1);
-    return tmp2_safe_receiver == null ? null : tmp2_safe_receiver.kx();
-  }
-  function matchesDealiasingTemplate(_this__u8e3s4, term) {
-    _init_properties_PrimitiveExtensions_kt__hfa11z();
-    var tmp;
-    if (isInterface(term, Struct)) {
-      tmp = Companion_getInstance_8().x2g(_this__u8e3s4, term, get_DEALIASING_TEMPLATE());
-    } else {
-      tmp = false;
-    }
-    return tmp;
-  }
-  function isDealiasingExpression(_this__u8e3s4, term) {
-    _init_properties_PrimitiveExtensions_kt__hfa11z();
-    var tmp;
-    var tmp_0;
-    if (isInterface(term, Struct)) {
-      tmp_0 = Companion_getInstance_8().x2g(_this__u8e3s4, term, get_DEALIASING_TEMPLATE());
-    } else {
-      tmp_0 = false;
-    }
-    if (tmp_0) {
-      var tmp_1 = term.rw().c1(0);
-      tmp = isInterface(tmp_1, Atom);
-    } else {
-      tmp = false;
-    }
-    return tmp;
-  }
-  function ensureAliasIsRegistered(_this__u8e3s4, alias) {
-    _init_properties_PrimitiveExtensions_kt__hfa11z();
-    var tmp;
-    if (isAliasRegistered(_this__u8e3s4, alias)) {
-      tmp = true;
-    } else {
-      throw new NoSuchAnAliasException(alias);
-    }
-    return tmp;
-  }
-  function isAliasRegistered(_this__u8e3s4, alias) {
-    _init_properties_PrimitiveExtensions_kt__hfa11z();
-    return !(findRefFromAliasOrNull(_this__u8e3s4, alias) == null);
-  }
-  function _get_termToObjectConverter_$lambda_4bacq4($this_termToObjectConverter) {
-    return function (it) {
-      return findRefFromAliasOrNull($this_termToObjectConverter, it);
-    };
-  }
-  function findRefFromAliasOrNull$lambda(it) {
-    _init_properties_PrimitiveExtensions_kt__hfa11z();
-    return !(it == null) ? isInterface(it, Yes) : false;
-  }
-  var properties_initialized_PrimitiveExtensions_kt_xhw6ad;
-  function _init_properties_PrimitiveExtensions_kt__hfa11z() {
-    if (!properties_initialized_PrimitiveExtensions_kt_xhw6ad) {
-      properties_initialized_PrimitiveExtensions_kt_xhw6ad = true;
-      var tmp = Companion_getInstance_10();
-      DEALIASING_TEMPLATE = tmp.of('$', [Companion_getInstance_9().of('Alias')]);
-      var tmp_0 = Companion_getInstance_10();
-      CAST_TEMPLATE = tmp_0.template('as', 2);
-    }
-  }
-  function Ref_0() {
-    Ref_instance = this;
-    TypeTester.call(this, 'ref');
-  }
-  protoOf(Ref_0).v2j = function (term) {
-    return isInterface(term, Ref);
-  };
-  var Ref_instance;
-  function Ref_getInstance() {
-    if (Ref_instance == null)
-      new Ref_0();
-    return Ref_instance;
-  }
-  function Register$computeOne$lambda($second, $first) {
-    return function ($this$replySuccess) {
-      var tmp = Companion_instance_15;
-      var tmp_0 = isInterface($second, Struct) ? $second : THROW_CCE();
-      $this$replySuccess.l2m([tmp.s3r(tmp_0, isInterface($first, Ref) ? $first : THROW_CCE()).q1u()]);
-      return Unit_instance;
-    };
-  }
-  function Register() {
-    Register_instance = this;
-    NonBacktrackable.call(this, 'register');
-  }
-  protoOf(Register).n2p = function (_this__u8e3s4, first_0, second) {
-    Companion_getInstance_8().w2f(_this__u8e3s4);
-    ensuringArgumentIsRef(_this__u8e3s4, 0);
-    Companion_getInstance_8().g2h(_this__u8e3s4, 1);
-    if (!second.ux()) {
-      throw Companion_instance_6.p26(_this__u8e3s4.context, _this__u8e3s4.signature, first(second.sw()), 0);
-    }
-    return _this__u8e3s4.replySuccessBuildingSideEffects(VOID, VOID, Register$computeOne$lambda(second, first_0));
-  };
-  protoOf(Register).y2f = function (_this__u8e3s4, first, second) {
-    return this.n2p(_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));
-  }
-  protoOf(SetItems).z3q = function (_this__u8e3s4) {
-    return toSet(_this__u8e3s4);
-  };
-  protoOf(SetItems).a3r = function (_this__u8e3s4) {
-    return !(_this__u8e3s4 == null) ? isInterface(_this__u8e3s4, Set) : false;
-  };
-  protoOf(SetItems).w3r = function (_this__u8e3s4) {
-    return asSequence_0(_this__u8e3s4);
-  };
-  protoOf(SetItems).b3r = function (_this__u8e3s4) {
-    return this.w3r(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.y3r_1 = Companion_getInstance_15().v3p_1;
-  }
-  protoOf(Type).x2p = function (_this__u8e3s4, first, second) {
-    var tmp$ret$3;
-    $l$block: {
-      // Inline function 'it.unibo.tuprolog.solve.libs.oop.primitives.catchingOopExceptions' call
-      try {
-        // 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_8().c2h(_this__u8e3s4, 0);
-          tmp = Companion_getInstance_7().failed();
-        } else {
-          if (isInterface(first, Var)) {
-            Companion_getInstance_8().l2h(_this__u8e3s4, 1);
-            ensuringArgumentIsTypeRef(_this__u8e3s4, 1);
-            var tmp_1 = Companion_getInstance_8();
-            var tmp_2 = Companion_getInstance_0();
-            tmp = tmp_1.w2g(_this__u8e3s4, first, tmp_2.of(get_name((isInterface(second, TypeRef) ? second : THROW_CCE()).z24())));
-          } else {
-            if (isInterface(second, Var)) {
-              Companion_getInstance_8().l2h(_this__u8e3s4, 0);
-              var tmp_3 = Type_getInstance().y3r_1;
-              var tmp0_safe_receiver = tmp_3.c3q((isInterface(first, Atom) ? first : THROW_CCE()).r2());
-              var tmp_4;
-              if (tmp0_safe_receiver == null) {
-                tmp_4 = null;
-              } else {
-                // Inline function 'kotlin.let' call
-                // Inline function 'kotlin.contracts.contract' call
-                // Inline function 'it.unibo.tuprolog.solve.libs.oop.primitives.Type.computeOneSubstitution.<anonymous>.<anonymous>' call
-                tmp_4 = Companion_getInstance_8().w2g(_this__u8e3s4, tmp0_safe_receiver, second);
-              }
-              var tmp1_elvis_lhs = tmp_4;
-              tmp = tmp1_elvis_lhs == null ? Companion_getInstance_7().failed() : tmp1_elvis_lhs;
-            } else {
-              Companion_getInstance_8().l2h(_this__u8e3s4, 0);
-              tmp = Companion_getInstance_7().failed();
-            }
-          }
-        }
-        tmp$ret$3 = tmp;
-        break $l$block;
-      } catch ($p) {
-        if ($p instanceof OopException) {
-          var e = $p;
-          throw e.j3q(_this__u8e3s4.context, _this__u8e3s4.signature);
-        } else {
-          if ($p instanceof Error) {
-            var e_0 = $p;
-            throw Companion_instance_4.forUncaughtKtException(_this__u8e3s4.context, e_0);
-          } else {
-            throw $p;
-          }
-        }
-      }
-    }
-    return tmp$ret$3;
-  };
-  protoOf(Type).h2g = function (_this__u8e3s4, first, second) {
-    return this.x2p(_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');
-  }
-  protoOf(TypeRef_0).v2j = 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.wy().get(0).equals($first);
-    };
-  }
-  function Unregister$computeOne$lambda_0($toBeRemoved) {
-    return function ($this$replySuccess) {
-      $this$replySuccess.m2m($toBeRemoved);
-      return Unit_instance;
-    };
-  }
-  function Unregister() {
-    Unregister_instance = this;
-    NonBacktrackable_0.call(this, 'unregister');
-  }
-  protoOf(Unregister).w2o = function (_this__u8e3s4, first_0) {
-    Companion_getInstance_8().g2h(_this__u8e3s4, 0);
-    if (!first_0.ux()) {
-      throw Companion_instance_6.p26(_this__u8e3s4.context, _this__u8e3s4.signature, first(first_0.sw()), 0);
-    }
-    var tmp = Companion_getInstance_10();
-    var pattern = tmp.of('alias', [first_0, Companion_getInstance_9().anonymous()]);
-    var tmp_0 = _this__u8e3s4.context.e1v().getByHead(pattern);
-    var toBeRemoved = toList(filter(tmp_0, Unregister$computeOne$lambda(first_0)));
-    var tmp_1;
-    if (toBeRemoved.y()) {
-      tmp_1 = _this__u8e3s4.replyFail(VOID, []);
-    } else {
-      tmp_1 = _this__u8e3s4.replySuccessBuildingSideEffects(VOID, VOID, Unregister$computeOne$lambda_0(toBeRemoved));
-    }
-    return tmp_1;
-  };
-  protoOf(Unregister).q2j = function (_this__u8e3s4, first) {
-    return this.w2o(_this__u8e3s4, first);
-  };
-  var Unregister_instance;
-  function Unregister_getInstance() {
-    if (Unregister_instance == null)
-      new Unregister();
-    return Unregister_instance;
-  }
-  function Companion_7() {
-    this.g3p_1 = 'alias';
-  }
-  protoOf(Companion_7).h3p = function (alias, type) {
-    return new Alias(Companion_getInstance_0().of(alias), Companion_instance_12.a3q(type));
-  };
-  protoOf(Companion_7).s3r = function (alias, ref) {
-    return new Alias(alias, ref);
-  };
-  var Companion_instance_15;
-  function Companion_getInstance_19() {
-    return Companion_instance_15;
-  }
-  function Alias(alias, ref) {
-    RuleWrapper_init_$Init$('alias', 2, VOID, this);
-    this.e3s_1 = alias;
-    this.f3s_1 = ref;
-    // Inline function 'kotlin.require' call
-    // Inline function 'kotlin.contracts.contract' call
-    if (!this.e3s_1.ux()) {
-      // Inline function 'it.unibo.tuprolog.solve.libs.oop.rules.Alias.<anonymous>' call
-      var message = 'Alias must be a ground term, got: ' + this.e3s_1;
-      throw IllegalArgumentException_init_$Create$(toString_0(message));
-    }
-  }
-  protoOf(Alias).w2j = function (_this__u8e3s4) {
-    return toList(sequenceOf([this.e3s_1, this.f3s_1]));
-  };
-  function _get_R__7mlo3j($this) {
-    return $this.j3s_1.getValue($this, R$factory());
-  }
-  function _get_X__7mlo8p($this) {
-    return $this.k3s_1.getValue($this, X$factory());
-  }
-  function _get_Y__7mlo9k($this) {
-    return $this.l3s_1.getValue($this, Y$factory());
-  }
-  function _get_T__7mlo59($this) {
-    return $this.m3s_1.getValue($this, T$factory());
-  }
-  function _get_R__7mlo3j_0($this) {
-    return $this.q3s_1.getValue($this, R$factory_0());
-  }
-  function _get_M__7mlnz8($this) {
-    return $this.r3s_1.getValue($this, M$factory());
-  }
-  function _get_C__7mlnqm($this) {
-    return $this.v3s_1.getValue($this, C$factory());
-  }
-  function _get_P__7mlo1t($this) {
-    return $this.w3s_1.getValue($this, P$factory());
-  }
-  function _get_R__7mlo3j_1($this) {
-    return $this.x3s_1.getValue($this, R$factory_1());
-  }
-  function _get_V__7mlo6z($this) {
-    return $this.y3s_1.getValue($this, V$factory());
-  }
-  function Cast_0() {
-    Cast_instance_0 = this;
-    ColonEquals.call(this);
-    this.j3s_1 = this.a1z_1;
-    this.k3s_1 = this.a1z_1;
-    this.l3s_1 = this.a1z_1;
-    this.m3s_1 = this.a1z_1;
-  }
-  protoOf(Cast_0).w2j = function (_this__u8e3s4) {
-    var tmp = _get_R__7mlo3j(this);
-    return listOf([tmp, _this__u8e3s4.structOf('as', [_get_X__7mlo8p(this), _get_T__7mlo59(this)])]);
-  };
-  protoOf(Cast_0).x2j = function (_this__u8e3s4) {
-    // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
-    var tmp$ret$0 = Var_getInstance().signature.name;
-    var tmp = _this__u8e3s4.structOf(tmp$ret$0, [_get_R__7mlo3j(this)]);
-    var tmp_0 = _this__u8e3s4.atomOf('!');
-    var tmp_1 = _this__u8e3s4.structOf('fluent_reduce', [_get_X__7mlo8p(this), _get_Y__7mlo9k(this)]);
-    // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
-    var tmp$ret$1 = Cast_getInstance().signature.name;
-    return _this__u8e3s4.tupleOf([tmp, tmp_0, tmp_1, _this__u8e3s4.structOf(tmp$ret$1, [_get_Y__7mlo9k(this), _get_T__7mlo59(this), _get_R__7mlo3j(this)])]);
-  };
-  var Cast_instance_0;
-  function Cast_getInstance_0() {
-    if (Cast_instance_0 == null)
-      new Cast_0();
-    return Cast_instance_0;
-  }
-  function Invocation() {
-    Invocation_instance = this;
-    ColonEquals.call(this);
-    this.q3s_1 = this.a1z_1;
-    this.r3s_1 = this.a1z_1;
-  }
-  protoOf(Invocation).w2j = function (_this__u8e3s4) {
-    return listOf([_get_R__7mlo3j_0(this), _get_M__7mlnz8(this)]);
-  };
-  protoOf(Invocation).x2j = function (_this__u8e3s4) {
-    // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
-    var tmp$ret$0 = Var_getInstance().signature.name;
-    var tmp = _this__u8e3s4.structOf(tmp$ret$0, [_get_R__7mlo3j_0(this)]);
-    var tmp_0 = _this__u8e3s4.atomOf('!');
-    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.v3s_1 = this.a1z_1;
-    this.w3s_1 = this.a1z_1;
-    this.x3s_1 = this.a1z_1;
-    this.y3s_1 = this.a1z_1;
-  }
-  protoOf(Assignment).w2j = function (_this__u8e3s4) {
-    return listOf([_get_C__7mlnqm(this), _get_V__7mlo6z(this)]);
-  };
-  protoOf(Assignment).x2j = function (_this__u8e3s4) {
-    var tmp = _this__u8e3s4.structOf('property_reduce', [_get_C__7mlnqm(this), _get_R__7mlo3j_1(this), _get_P__7mlo1t(this)]);
-    // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
-    var tmp$ret$0 = Assign_getInstance().signature.name;
-    return _this__u8e3s4.tupleOf([tmp, _this__u8e3s4.structOf(tmp$ret$0, [_get_R__7mlo3j_1(this), _get_P__7mlo1t(this), _get_V__7mlo6z(this)])]);
-  };
-  var Assignment_instance;
-  function Assignment_getInstance() {
-    if (Assignment_instance == null)
-      new Assignment();
-    return Assignment_instance;
-  }
-  function ColonEquals() {
-    RuleWrapper_init_$Init$(':=', 2, VOID, this);
-  }
-  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.c3t_1.getValue($this, Method$factory());
-  }
-  function _get_Ref__e5vi4e($this) {
-    return $this.d3t_1.getValue($this, Ref$factory());
-  }
-  function Dot() {
-    Dot_instance = this;
-    RuleWrapper_init_$Init$('.', 2, VOID, this);
-    this.c3t_1 = this.a1z_1;
-    this.d3t_1 = this.a1z_1;
-  }
-  protoOf(Dot).w2j = function (_this__u8e3s4) {
-    return listOf([_get_Ref__e5vi4e(this), _get_Method__a3idyi(this)]);
-  };
-  protoOf(Dot).x2j = function (_this__u8e3s4) {
-    return _this__u8e3s4.structOf('fluent_reduce', [_this__u8e3s4.consOf(_get_Ref__e5vi4e(this), _get_Method__a3idyi(this)), _this__u8e3s4.f12()]);
-  };
-  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.i3t_1.getValue($this, P$factory_0());
-  }
-  function _get_M__7mlnz8_0($this) {
-    return $this.j3t_1.getValue($this, M$factory_0());
-  }
-  function _get_P1__ndbjd6($this) {
-    return $this.k3t_1.getValue($this, P1$factory());
-  }
-  function _get_X__7mlo8p_0($this) {
-    return $this.l3t_1.getValue($this, X$factory_0());
-  }
-  function _get_P__7mlo1t_1($this) {
-    return $this.q3t_1.getValue($this, P$factory_1());
-  }
-  function _get_M__7mlnz8_1($this) {
-    return $this.r3t_1.getValue($this, M$factory_1());
-  }
-  function Companion_8() {
-    this.s3t_1 = 'fluent_reduce';
-    this.t3t_1 = 2;
-  }
-  var Companion_instance_16;
-  function Companion_getInstance_20() {
-    return Companion_instance_16;
-  }
-  function Recursive() {
-    Recursive_instance = this;
-    FluentReduce.call(this);
-    this.i3t_1 = this.a1z_1;
-    this.j3t_1 = this.a1z_1;
-    this.k3t_1 = this.a1z_1;
-    this.l3t_1 = this.a1z_1;
-  }
-  protoOf(Recursive).w2j = function (_this__u8e3s4) {
-    return listOf([_this__u8e3s4.g12([_get_P__7mlo1t_0(this), _get_M__7mlnz8_0(this)], _get_X__7mlo8p_0(this)), this.y3t()]);
-  };
-  protoOf(Recursive).x2j = function (_this__u8e3s4) {
-    var tmp = _this__u8e3s4.atomOf('!');
-    // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
-    var tmp$ret$0 = InvokeMethod_getInstance().signature.name;
-    return _this__u8e3s4.tupleOf([tmp, _this__u8e3s4.structOf(tmp$ret$0, [_get_P__7mlo1t_0(this), _get_M__7mlnz8_0(this), _get_P1__ndbjd6(this)]), _this__u8e3s4.structOf('fluent_reduce', [_this__u8e3s4.consOf(_get_P1__ndbjd6(this), _get_X__7mlo8p_0(this)), this.y3t()])]);
-  };
-  var Recursive_instance;
-  function Recursive_getInstance() {
-    if (Recursive_instance == null)
-      new Recursive();
-    return Recursive_instance;
-  }
-  function Couple() {
-    Couple_instance = this;
-    FluentReduce.call(this);
-    this.q3t_1 = this.a1z_1;
-    this.r3t_1 = this.a1z_1;
-  }
-  protoOf(Couple).w2j = function (_this__u8e3s4) {
-    return listOf([_this__u8e3s4.consOf(_get_P__7mlo1t_1(this), _get_M__7mlnz8_1(this)), this.y3t()]);
-  };
-  protoOf(Couple).x2j = function (_this__u8e3s4) {
-    var tmp = _this__u8e3s4.atomOf('!');
-    // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
-    var tmp$ret$0 = InvokeMethod_getInstance().signature.name;
-    return _this__u8e3s4.tupleOf([tmp, _this__u8e3s4.structOf(tmp$ret$0, [_get_P__7mlo1t_1(this), _get_M__7mlnz8_1(this), this.y3t()])]);
-  };
-  var Couple_instance;
-  function Couple_getInstance() {
-    if (Couple_instance == null)
-      new Couple();
-    return Couple_instance;
-  }
-  function Trivial() {
-    Trivial_instance = this;
-    FluentReduce.call(this);
-  }
-  protoOf(Trivial).w2j = function (_this__u8e3s4) {
-    return listOf([this.y3t(), this.y3t()]);
-  };
-  var Trivial_instance;
-  function Trivial_getInstance() {
-    if (Trivial_instance == null)
-      new Trivial();
-    return Trivial_instance;
-  }
-  function FluentReduce() {
-    RuleWrapper_init_$Init$('fluent_reduce', 2, VOID, this);
-    this.x3t_1 = this.a1z_1;
-  }
-  protoOf(FluentReduce).y3t = function () {
-    return this.x3t_1.getValue(this, R$factory_2());
-  };
-  protoOf(FluentReduce).x2j = function (_this__u8e3s4) {
-    return _this__u8e3s4.atomOf('!');
-  };
-  function R$factory_2() {
-    return getPropertyCallableRef('R', 1, KProperty1, function (receiver) {
-      return receiver.y3t();
-    }, 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.g3u_1.getValue($this, Type$factory());
-  }
-  function _get_Instance__cwfjuy($this) {
-    return $this.h3u_1.getValue($this, Instance$factory());
-  }
-  function NewObject2() {
-    NewObject2_instance = this;
-    // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
-    var tmp$ret$0 = NewObject3_getInstance().signature.name;
-    RuleWrapper_init_$Init$(tmp$ret$0, 2, VOID, this);
-    this.g3u_1 = this.a1z_1;
-    this.h3u_1 = this.a1z_1;
-  }
-  protoOf(NewObject2).w2j = function (_this__u8e3s4) {
-    return listOf([_get_Type__cwwv8x(this), _get_Instance__cwfjuy(this)]);
-  };
-  protoOf(NewObject2).x2j = function (_this__u8e3s4) {
-    // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
-    var tmp$ret$0 = NewObject3_getInstance().signature.name;
-    return _this__u8e3s4.structOf(tmp$ret$0, [_get_Type__cwwv8x(this), _this__u8e3s4.e12(), _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.n3u_1.getValue($this, B1$factory());
-  }
-  function _get_C__7mlnqm_0($this) {
-    return $this.o3u_1.getValue($this, C$factory_0());
-  }
-  function _get_O__7mlo0y($this) {
-    return $this.p3u_1.getValue($this, O$factory());
-  }
-  function _get_P__7mlo1t_2($this) {
-    return $this.q3u_1.getValue($this, P$factory_2());
-  }
-  function Companion_9() {
-    this.r3u_1 = 'property_reduce';
-    this.s3u_1 = 3;
-  }
-  var Companion_instance_17;
-  function Companion_getInstance_21() {
-    return Companion_instance_17;
-  }
-  function Recursive_0() {
-    Recursive_instance_0 = this;
-    PropertyReduce.call(this);
-    this.n3u_1 = this.a1z_1;
-    this.o3u_1 = this.a1z_1;
-    this.p3u_1 = this.a1z_1;
-    this.q3u_1 = this.a1z_1;
-  }
-  protoOf(Recursive_0).w2j = function (_this__u8e3s4) {
-    return listOf([_this__u8e3s4.g12([this.y3u(), this.z3u()], _get_C__7mlnqm_0(this)), _get_O__7mlo0y(this), _get_P__7mlo1t_2(this)]);
-  };
-  protoOf(Recursive_0).x2j = function (_this__u8e3s4) {
-    var tmp = _this__u8e3s4.atomOf('!');
-    // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
-    var tmp$ret$0 = InvokeMethod_getInstance().signature.name;
-    return _this__u8e3s4.tupleOf([tmp, _this__u8e3s4.structOf(tmp$ret$0, [this.y3u(), this.z3u(), _get_B1__ndb8zg(this)]), _this__u8e3s4.structOf('property_reduce', [_this__u8e3s4.consOf(_get_B1__ndb8zg(this), _get_C__7mlnqm_0(this)), _get_O__7mlo0y(this), _get_P__7mlo1t_2(this)])]);
-  };
-  var Recursive_instance_0;
-  function Recursive_getInstance_0() {
-    if (Recursive_instance_0 == null)
-      new Recursive_0();
-    return Recursive_instance_0;
-  }
-  function Base() {
-    Base_instance = this;
-    PropertyReduce.call(this);
-  }
-  protoOf(Base).w2j = function (_this__u8e3s4) {
-    return listOf([_this__u8e3s4.consOf(this.y3u(), this.z3u()), this.y3u(), this.z3u()]);
-  };
-  var Base_instance;
-  function Base_getInstance() {
-    if (Base_instance == null)
-      new Base();
-    return Base_instance;
-  }
-  function PropertyReduce() {
-    RuleWrapper_init_$Init$('property_reduce', 3, VOID, this);
-    this.w3u_1 = this.a1z_1;
-    this.x3u_1 = this.a1z_1;
-  }
-  protoOf(PropertyReduce).y3u = function () {
-    return this.w3u_1.getValue(this, A$factory());
-  };
-  protoOf(PropertyReduce).z3u = function () {
-    return this.x3u_1.getValue(this, B$factory());
-  };
-  protoOf(PropertyReduce).x2j = function (_this__u8e3s4) {
-    return _this__u8e3s4.atomOf('!');
-  };
-  function A$factory() {
-    return getPropertyCallableRef('A', 1, KProperty1, function (receiver) {
-      return receiver.y3u();
-    }, null);
-  }
-  function B$factory() {
-    return getPropertyCallableRef('B', 1, KProperty1, function (receiver) {
-      return receiver.z3u();
-    }, 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() {
-    // Inline function 'kotlin.emptyArray' call
-    return [];
-  }
-  function get_TODO_EXCEPTION() {
-    _init_properties_TypeUtilsJs_kt__53l6dq();
-    return TODO_EXCEPTION;
-  }
-  var TODO_EXCEPTION;
-  function get_classNamePattern() {
-    _init_properties_TypeUtilsJs_kt__53l6dq();
-    return classNamePattern;
-  }
-  var classNamePattern;
-  function allSupertypes(_this__u8e3s4, strict) {
-    _init_properties_TypeUtilsJs_kt__53l6dq();
-    throw get_TODO_EXCEPTION();
-  }
-  function get_name(_this__u8e3s4) {
-    _init_properties_TypeUtilsJs_kt__53l6dq();
-    throw get_TODO_EXCEPTION();
-  }
-  function get_fullName(_this__u8e3s4) {
-    _init_properties_TypeUtilsJs_kt__53l6dq();
-    throw get_TODO_EXCEPTION();
-  }
-  function get_identifier(_this__u8e3s4) {
-    _init_properties_TypeUtilsJs_kt__53l6dq();
-    return toString_2(getStringHashCode(get_identifier(_this__u8e3s4)), 16);
-  }
-  function get_companionObjectRef(_this__u8e3s4) {
-    _init_properties_TypeUtilsJs_kt__53l6dq();
-    return Companion_instance.zq();
-  }
-  function kClassFromName(qualifiedName) {
-    _init_properties_TypeUtilsJs_kt__53l6dq();
-    var match = get_CLASS_NAME_PATTERN().t8(qualifiedName);
-    // Inline function 'kotlin.require' call
-    // Inline function 'kotlin.contracts.contract' call
-    if (!!(match == null)) {
-      // Inline function 'it.unibo.tuprolog.solve.libs.oop.kClassFromName.<anonymous>' call
-      var message = '`' + qualifiedName + '` should match ' + get_CLASS_NAME_PATTERN().d8_1 + ", while is doesn't";
-      throw IllegalArgumentException_init_$Create$(toString_0(message));
-    }
-    var module_0 = ensureNotNull(match.j9().c1(1)).k9_1;
-    var packageSteps = split(ensureNotNull(match.j9().c1(2)).k9_1, charArrayOf([_Char___init__impl__6a9atx(46)]));
-    var kClass = require(module_0);
-    // Inline function 'kotlin.let' call
-    // Inline function 'kotlin.contracts.contract' call
-    var it = packageSteps.r();
-    while ((it.s() ? kClass != null : false) ? kClass != undefined : false) {
-      kClass = kClass[it.u()];
-    }
-    var tmp;
-    if (kClass != null ? kClass != undefined : false) {
-      var tmp_0 = Companion_instance;
-      // Inline function 'kotlin.js.unsafeCast' call
-      var tmp$ret$2 = kClass;
-      tmp = tmp_0.qt(get_kotlin(tmp$ret$2));
-    } else {
-      tmp = Companion_instance.zq();
-    }
-    return tmp;
-  }
-  function get_setterMethod(_this__u8e3s4) {
-    _init_properties_TypeUtilsJs_kt__53l6dq();
-    throw get_TODO_EXCEPTION();
-  }
-  function catchingPlatformSpecificException(_this__u8e3s4, instance, action) {
-    _init_properties_TypeUtilsJs_kt__53l6dq();
-    return action();
-  }
-  function invoke_2(_this__u8e3s4, instance, args) {
-    _init_properties_TypeUtilsJs_kt__53l6dq();
-    throw get_TODO_EXCEPTION();
-  }
-  function get_formalParameterTypes(_this__u8e3s4) {
-    _init_properties_TypeUtilsJs_kt__53l6dq();
-    throw get_TODO_EXCEPTION();
-  }
-  function get_CLASS_NAME_PATTERN() {
-    _init_properties_TypeUtilsJs_kt__53l6dq();
-    return get_classNamePattern();
-  }
-  function overloadSelector(type, termToObjectConverter) {
-    _init_properties_TypeUtilsJs_kt__53l6dq();
-    throw get_TODO_EXCEPTION();
-  }
-  var properties_initialized_TypeUtilsJs_kt_h8iecw;
-  function _init_properties_TypeUtilsJs_kt__53l6dq() {
-    if (!properties_initialized_TypeUtilsJs_kt_h8iecw) {
-      properties_initialized_TypeUtilsJs_kt_h8iecw = true;
-      TODO_EXCEPTION = new NotImplementedError('OOP-Prolog integration is still not supported on JS');
-      // Inline function 'kotlin.text.toRegex' call
-      var this_0 = '^(' + get_ID() + '):(' + get_ID() + '(\\.' + get_ID() + ')*)$';
-      classNamePattern = Regex_init_$Create$(this_0);
-    }
-  }
-  //region block: post-declaration
-  protoOf(NullRefImpl).x3o = get_object;
-  protoOf(NullRefImpl).y3o = invoke;
-  protoOf(NullRefImpl).z3o = assign;
-  protoOf(TermToObjectConverterImpl).z3p = convert;
-  protoOf(TypeFactoryImpl).c3q = typeRefFromName;
-  protoOf(TypeRefImpl).d3q = create;
-  //endregion
-  //region block: init
-  OOP_instance = new OOP();
-  Companion_instance_9 = new Companion_1();
-  Companion_instance_12 = new Companion_4();
-  ID = '[a-zA-Z_][a-zA-Z0-9_]*';
-  Companion_instance_13 = new Companion_5();
-  Companion_instance_14 = new Companion_6();
-  Companion_instance_15 = new Companion_7();
-  Companion_instance_16 = new Companion_8();
-  Companion_instance_17 = new Companion_9();
-  //endregion
-  //region block: exports
-  _.$_$ = _.$_$ || {};
-  _.$_$.a = OOPLib_getInstance;
   //endregion
   return _;
 }));