@tuprolog/2p-full 0.31.5-dev0f → 0.31.5-dev0n

package/2p-parser-core.js

@@ -1,4 +1,36 @@
-(function (_, $module$_tuprolog_parser_utils_xy31vy, $module$antlr4, $module$antlr4_src_antlr4_error_s9pni7, $module$antlr4_src_antlr4_atn_66gh9q, kotlin_kotlin, kotlin_it_unibo_tuprolog_core, kotlin_it_unibo_tuprolog_parser_js, kotlin_kt_math) {
+(function (root, factory) {
+  if (typeof define === 'function' && define.amd)
+    define(['exports', '@tuprolog/parser-utils', 'antlr4', 'antlr4/src/antlr4/error', 'antlr4/src/antlr4/atn', './kotlin-kotlin-stdlib-js-ir.js', './2p-core.js', './2p-parser-js.js', './kt-math.js'], factory);
+  else if (typeof exports === 'object')
+    factory(module.exports, require('@tuprolog/parser-utils'), require('antlr4'), require('antlr4/src/antlr4/error'), require('antlr4/src/antlr4/atn'), require('./kotlin-kotlin-stdlib-js-ir.js'), require('./2p-core.js'), require('./2p-parser-js.js'), require('./kt-math.js'));
+  else {
+    if (typeof this['@tuprolog/parser-utils'] === 'undefined') {
+      throw new Error("Error loading module '2p-parser-core'. Its dependency '@tuprolog/parser-utils' was not found. Please, check whether '@tuprolog/parser-utils' is loaded prior to '2p-parser-core'.");
+    }
+    if (typeof antlr4 === 'undefined') {
+      throw new Error("Error loading module '2p-parser-core'. Its dependency 'antlr4' was not found. Please, check whether 'antlr4' is loaded prior to '2p-parser-core'.");
+    }
+    if (typeof this['antlr4/src/antlr4/error'] === 'undefined') {
+      throw new Error("Error loading module '2p-parser-core'. Its dependency 'antlr4/src/antlr4/error' was not found. Please, check whether 'antlr4/src/antlr4/error' is loaded prior to '2p-parser-core'.");
+    }
+    if (typeof this['antlr4/src/antlr4/atn'] === 'undefined') {
+      throw new Error("Error loading module '2p-parser-core'. Its dependency 'antlr4/src/antlr4/atn' was not found. Please, check whether 'antlr4/src/antlr4/atn' is loaded prior to '2p-parser-core'.");
+    }
+    if (typeof this['kotlin-kotlin-stdlib-js-ir'] === 'undefined') {
+      throw new Error("Error loading module '2p-parser-core'. Its dependency 'kotlin-kotlin-stdlib-js-ir' was not found. Please, check whether 'kotlin-kotlin-stdlib-js-ir' is loaded prior to '2p-parser-core'.");
+    }
+    if (typeof this['2p-core'] === 'undefined') {
+      throw new Error("Error loading module '2p-parser-core'. Its dependency '2p-core' was not found. Please, check whether '2p-core' is loaded prior to '2p-parser-core'.");
+    }
+    if (typeof this['2p-parser-js'] === 'undefined') {
+      throw new Error("Error loading module '2p-parser-core'. Its dependency '2p-parser-js' was not found. Please, check whether '2p-parser-js' is loaded prior to '2p-parser-core'.");
+    }
+    if (typeof this['kt-math'] === 'undefined') {
+      throw new Error("Error loading module '2p-parser-core'. Its dependency 'kt-math' was not found. Please, check whether 'kt-math' is loaded prior to '2p-parser-core'.");
+    }
+    root['2p-parser-core'] = factory(typeof this['2p-parser-core'] === 'undefined' ? {} : this['2p-parser-core'], this['@tuprolog/parser-utils'], antlr4, this['antlr4/src/antlr4/error'], this['antlr4/src/antlr4/atn'], this['kotlin-kotlin-stdlib-js-ir'], this['2p-core'], this['2p-parser-js'], this['kt-math']);
+  }
+}(this, function (_, $module$_tuprolog_parser_utils_xy31vy, $module$antlr4, $module$antlr4_src_antlr4_error_s9pni7, $module$antlr4_src_antlr4_atn_66gh9q, kotlin_kotlin, kotlin_it_unibo_tuprolog_core, kotlin_it_unibo_tuprolog_parser_js, kotlin_io_github_gciatto_kt_math) {
   'use strict';
   //region block: imports
   var PrologParserListener = $module$_tuprolog_parser_utils_xy31vy.PrologParserListener;
@@ -12,23 +44,25 @@
   var CommonTokenStream = $module$antlr4.CommonTokenStream;
   var BailErrorStrategy = $module$antlr4_src_antlr4_error_s9pni7.BailErrorStrategy;
   var PrologParserVisitor = $module$_tuprolog_parser_utils_xy31vy.PrologParserVisitor;
-  var captureStack = kotlin_kotlin.$_$.h6;
-  var classMeta = kotlin_kotlin.$_$.m6;
-  var setMetadataFor = kotlin_kotlin.$_$.j7;
+  var VOID = kotlin_kotlin.$_$.gc;
+  var captureStack = kotlin_kotlin.$_$.o5;
+  var protoOf = kotlin_kotlin.$_$.s6;
+  var classMeta = kotlin_kotlin.$_$.t5;
+  var setMetadataFor = kotlin_kotlin.$_$.t6;
   var TuPrologException = kotlin_it_unibo_tuprolog_core.$_$.l1;
   var TuPrologException_init_$Init$ = kotlin_it_unibo_tuprolog_core.$_$.m;
-  var ensureNotNull = kotlin_kotlin.$_$.vb;
-  var replace$default = kotlin_kotlin.$_$.r;
-  var _Char___init__impl__6a9atx = kotlin_kotlin.$_$.d2;
-  var Char = kotlin_kotlin.$_$.eb;
-  var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.c1;
-  var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_core.$_$.q;
+  var ensureNotNull = kotlin_kotlin.$_$.wb;
+  var replace = kotlin_kotlin.$_$.fa;
+  var _Char___init__impl__6a9atx = kotlin_kotlin.$_$.h1;
+  var Char = kotlin_kotlin.$_$.fb;
+  var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.q;
+  var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_core.$_$.c1;
   var OperatorSet_init_$Create$ = kotlin_it_unibo_tuprolog_core.$_$.n;
-  var objectMeta = kotlin_kotlin.$_$.i7;
+  var objectMeta = kotlin_kotlin.$_$.r6;
   var Struct = kotlin_it_unibo_tuprolog_core.$_$.z1;
-  var isInterface = kotlin_kotlin.$_$.y6;
+  var isInterface = kotlin_kotlin.$_$.g6;
   var getKClass = kotlin_kotlin.$_$.c;
-  var Unit_getInstance = kotlin_kotlin.$_$.r2;
+  var Unit_getInstance = kotlin_kotlin.$_$.v1;
   var Constant = kotlin_it_unibo_tuprolog_core.$_$.q1;
   var Var = kotlin_it_unibo_tuprolog_core.$_$.b3;
   var Atom = kotlin_it_unibo_tuprolog_core.$_$.o1;
@@ -39,51 +73,51 @@
   var Rule = kotlin_it_unibo_tuprolog_core.$_$.y1;
   var Fact = kotlin_it_unibo_tuprolog_core.$_$.s1;
   var Directive = kotlin_it_unibo_tuprolog_core.$_$.r1;
-  var interfaceMeta = kotlin_kotlin.$_$.u6;
+  var interfaceMeta = kotlin_kotlin.$_$.c6;
   var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_core.$_$.v;
-  var THROW_CCE = kotlin_kotlin.$_$.sb;
-  var contains = kotlin_kotlin.$_$.l3;
+  var THROW_CCE = kotlin_kotlin.$_$.tb;
+  var contains = kotlin_kotlin.$_$.p2;
   var Companion_getInstance_2 = kotlin_it_unibo_tuprolog_core.$_$.r;
-  var map = kotlin_kotlin.$_$.c9;
+  var map = kotlin_kotlin.$_$.o8;
   var Operator = kotlin_it_unibo_tuprolog_core.$_$.n1;
   var List = kotlin_it_unibo_tuprolog_core.$_$.v1;
-  var toString = kotlin_kotlin.$_$.n7;
-  var coerceAtLeast = kotlin_kotlin.$_$.y7;
+  var toString = kotlin_kotlin.$_$.x6;
+  var coerceAtLeast = kotlin_kotlin.$_$.i7;
   var isRecognitionException = kotlin_it_unibo_tuprolog_parser_js.$_$.b;
   var isParseCancellationException = kotlin_it_unibo_tuprolog_parser_js.$_$.a;
-  var generateSequence = kotlin_kotlin.$_$.w8;
-  var takeWhile = kotlin_kotlin.$_$.l9;
-  var to = kotlin_kotlin.$_$.ec;
-  var Companion_getInstance_3 = kotlin_kt_math.$_$.f;
-  var charSequenceGet = kotlin_kotlin.$_$.k6;
-  var Char__toInt_impl_vasixd = kotlin_kotlin.$_$.g2;
-  var contains$default = kotlin_kotlin.$_$.j;
-  var plus = kotlin_kotlin.$_$.zb;
-  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.b1;
-  var IllegalStateException_init_$Create$ = kotlin_kotlin.$_$.r1;
-  var listOf = kotlin_kotlin.$_$.h4;
-  var asList = kotlin_kotlin.$_$.c3;
-  var plus_0 = kotlin_kotlin.$_$.a5;
-  var collectionSizeOrDefault = kotlin_kotlin.$_$.j3;
-  var toList = kotlin_kotlin.$_$.o5;
-  var flatMap = kotlin_kotlin.$_$.u8;
-  var asSequence = kotlin_kotlin.$_$.g3;
-  var toList_0 = kotlin_kotlin.$_$.p9;
-  var sequenceOf = kotlin_kotlin.$_$.i9;
-  var asSequence_0 = kotlin_kotlin.$_$.h3;
-  var plus_1 = kotlin_kotlin.$_$.g9;
-  var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.p1;
+  var generateSequence = kotlin_kotlin.$_$.h8;
+  var takeWhile = kotlin_kotlin.$_$.x8;
+  var to = kotlin_kotlin.$_$.fc;
+  var Companion_getInstance_3 = kotlin_io_github_gciatto_kt_math.$_$.e;
+  var charSequenceGet = kotlin_kotlin.$_$.r5;
+  var Char__toInt_impl_vasixd = kotlin_kotlin.$_$.k1;
+  var contains_0 = kotlin_kotlin.$_$.k9;
+  var plus = kotlin_kotlin.$_$.ac;
+  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.e;
+  var IllegalStateException_init_$Create$ = kotlin_kotlin.$_$.v;
+  var listOf = kotlin_kotlin.$_$.o3;
+  var asList = kotlin_kotlin.$_$.g2;
+  var plus_0 = kotlin_kotlin.$_$.h4;
+  var collectionSizeOrDefault = kotlin_kotlin.$_$.n2;
+  var toList = kotlin_kotlin.$_$.v4;
+  var flatMap = kotlin_kotlin.$_$.f8;
+  var asSequence = kotlin_kotlin.$_$.k2;
+  var toList_0 = kotlin_kotlin.$_$.b9;
+  var sequenceOf = kotlin_kotlin.$_$.u8;
+  var asSequence_0 = kotlin_kotlin.$_$.l2;
+  var plus_1 = kotlin_kotlin.$_$.s8;
+  var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.t;
   var Term = kotlin_it_unibo_tuprolog_core.$_$.y2;
   var Companion_getInstance_4 = kotlin_it_unibo_tuprolog_core.$_$.x;
   var Companion_getInstance_5 = kotlin_it_unibo_tuprolog_core.$_$.a1;
-  var NumberFormatException = kotlin_kotlin.$_$.pb;
+  var NumberFormatException = kotlin_kotlin.$_$.qb;
   //endregion
   //region block: pre-declaration
-  setMetadataFor(ParseException, 'ParseException', classMeta, TuPrologException, undefined, undefined, undefined, []);
-  setMetadataFor(InvalidTermTypeException, 'InvalidTermTypeException', classMeta, ParseException, undefined, undefined, undefined, []);
-  setMetadataFor(Companion, 'Companion', objectMeta, undefined, undefined, undefined, undefined, []);
+  setMetadataFor(ParseException, 'ParseException', classMeta, TuPrologException);
+  setMetadataFor(InvalidTermTypeException, 'InvalidTermTypeException', classMeta, ParseException);
+  setMetadataFor(Companion, 'Companion', objectMeta);
   function parseTerm(input) {
-    return this.parseTermWithOperators(input, this.c3j());
+    return this.parseTermWithOperators(input, this.x3g());
   }
   function parseStructWithOperators(input, operators) {
     var tmp$ret$2;
@@ -98,8 +132,7 @@
     var tmp0_elvis_lhs = isInterface(tmp0_let, Struct) ? tmp0_let : null;
     var tmp;
     if (tmp0_elvis_lhs == null) {
-      var tmp_0 = getKClass(Struct);
-      throw InvalidTermTypeException_init_$Create$(input, tmp0_let, tmp_0, null, 0, 0, null, null, 248, null);
+      throw new InvalidTermTypeException(input, tmp0_let, getKClass(Struct));
     } else {
       tmp = tmp0_elvis_lhs;
     }
@@ -109,7 +142,7 @@
     return tmp$ret$2;
   }
   function parseStruct(input) {
-    return this.parseStructWithOperators(input, this.c3j());
+    return this.parseStructWithOperators(input, this.x3g());
   }
   function parseConstantWithOperators(input, operators) {
     var tmp$ret$2;
@@ -124,8 +157,7 @@
     var tmp0_elvis_lhs = isInterface(tmp0_let, Constant) ? tmp0_let : null;
     var tmp;
     if (tmp0_elvis_lhs == null) {
-      var tmp_0 = getKClass(Constant);
-      throw InvalidTermTypeException_init_$Create$(input, tmp0_let, tmp_0, null, 0, 0, null, null, 248, null);
+      throw new InvalidTermTypeException(input, tmp0_let, getKClass(Constant));
     } else {
       tmp = tmp0_elvis_lhs;
     }
@@ -135,7 +167,7 @@
     return tmp$ret$2;
   }
   function parseConstant(input) {
-    return this.parseConstantWithOperators(input, this.c3j());
+    return this.parseConstantWithOperators(input, this.x3g());
   }
   function parseVarWithOperators(input, operators) {
     var tmp$ret$2;
@@ -150,8 +182,7 @@
     var tmp0_elvis_lhs = isInterface(tmp0_let, Var) ? tmp0_let : null;
     var tmp;
     if (tmp0_elvis_lhs == null) {
-      var tmp_0 = getKClass(Var);
-      throw InvalidTermTypeException_init_$Create$(input, tmp0_let, tmp_0, null, 0, 0, null, null, 248, null);
+      throw new InvalidTermTypeException(input, tmp0_let, getKClass(Var));
     } else {
       tmp = tmp0_elvis_lhs;
     }
@@ -161,7 +192,7 @@
     return tmp$ret$2;
   }
   function parseVar(input) {
-    return this.parseVarWithOperators(input, this.c3j());
+    return this.parseVarWithOperators(input, this.x3g());
   }
   function parseAtomWithOperators(input, operators) {
     var tmp$ret$2;
@@ -176,8 +207,7 @@
     var tmp0_elvis_lhs = isInterface(tmp0_let, Atom) ? tmp0_let : null;
     var tmp;
     if (tmp0_elvis_lhs == null) {
-      var tmp_0 = getKClass(Atom);
-      throw InvalidTermTypeException_init_$Create$(input, tmp0_let, tmp_0, null, 0, 0, null, null, 248, null);
+      throw new InvalidTermTypeException(input, tmp0_let, getKClass(Atom));
     } else {
       tmp = tmp0_elvis_lhs;
     }
@@ -187,7 +217,7 @@
     return tmp$ret$2;
   }
   function parseAtom(input) {
-    return this.parseAtomWithOperators(input, this.c3j());
+    return this.parseAtomWithOperators(input, this.x3g());
   }
   function parseNumericWithOperators(input, operators) {
     var tmp$ret$2;
@@ -202,8 +232,7 @@
     var tmp0_elvis_lhs = isInterface(tmp0_let, Numeric) ? tmp0_let : null;
     var tmp;
     if (tmp0_elvis_lhs == null) {
-      var tmp_0 = getKClass(Numeric);
-      throw InvalidTermTypeException_init_$Create$(input, tmp0_let, tmp_0, null, 0, 0, null, null, 248, null);
+      throw new InvalidTermTypeException(input, tmp0_let, getKClass(Numeric));
     } else {
       tmp = tmp0_elvis_lhs;
     }
@@ -213,7 +242,7 @@
     return tmp$ret$2;
   }
   function parseNumeric(input) {
-    return this.parseNumericWithOperators(input, this.c3j());
+    return this.parseNumericWithOperators(input, this.x3g());
   }
   function parseIntegerWithOperators(input, operators) {
     var tmp$ret$2;
@@ -228,8 +257,7 @@
     var tmp0_elvis_lhs = isInterface(tmp0_let, Integer) ? tmp0_let : null;
     var tmp;
     if (tmp0_elvis_lhs == null) {
-      var tmp_0 = getKClass(Integer);
-      throw InvalidTermTypeException_init_$Create$(input, tmp0_let, tmp_0, null, 0, 0, null, null, 248, null);
+      throw new InvalidTermTypeException(input, tmp0_let, getKClass(Integer));
     } else {
       tmp = tmp0_elvis_lhs;
     }
@@ -239,7 +267,7 @@
     return tmp$ret$2;
   }
   function parseInteger(input) {
-    return this.parseIntegerWithOperators(input, this.c3j());
+    return this.parseIntegerWithOperators(input, this.x3g());
   }
   function parseRealWithOperators(input, operators) {
     var tmp$ret$2;
@@ -254,8 +282,7 @@
     var tmp0_elvis_lhs = isInterface(tmp0_let, Real) ? tmp0_let : null;
     var tmp;
     if (tmp0_elvis_lhs == null) {
-      var tmp_0 = getKClass(Real);
-      throw InvalidTermTypeException_init_$Create$(input, tmp0_let, tmp_0, null, 0, 0, null, null, 248, null);
+      throw new InvalidTermTypeException(input, tmp0_let, getKClass(Real));
     } else {
       tmp = tmp0_elvis_lhs;
     }
@@ -265,7 +292,7 @@
     return tmp$ret$2;
   }
   function parseReal(input) {
-    return this.parseRealWithOperators(input, this.c3j());
+    return this.parseRealWithOperators(input, this.x3g());
   }
   function parseClauseWithOperators(input, operators) {
     var tmp$ret$2;
@@ -280,8 +307,7 @@
     var tmp0_elvis_lhs = isInterface(tmp0_let, Clause) ? tmp0_let : null;
     var tmp;
     if (tmp0_elvis_lhs == null) {
-      var tmp_0 = getKClass(Clause);
-      throw InvalidTermTypeException_init_$Create$(input, tmp0_let, tmp_0, null, 0, 0, null, null, 248, null);
+      throw new InvalidTermTypeException(input, tmp0_let, getKClass(Clause));
     } else {
       tmp = tmp0_elvis_lhs;
     }
@@ -291,7 +317,7 @@
     return tmp$ret$2;
   }
   function parseClause(input) {
-    return this.parseClauseWithOperators(input, this.c3j());
+    return this.parseClauseWithOperators(input, this.x3g());
   }
   function parseRuleWithOperators(input, operators) {
     var tmp$ret$2;
@@ -306,8 +332,7 @@
     var tmp0_elvis_lhs = isInterface(tmp0_let, Rule) ? tmp0_let : null;
     var tmp;
     if (tmp0_elvis_lhs == null) {
-      var tmp_0 = getKClass(Rule);
-      throw InvalidTermTypeException_init_$Create$(input, tmp0_let, tmp_0, null, 0, 0, null, null, 248, null);
+      throw new InvalidTermTypeException(input, tmp0_let, getKClass(Rule));
     } else {
       tmp = tmp0_elvis_lhs;
     }
@@ -317,7 +342,7 @@
     return tmp$ret$2;
   }
   function parseRule(input) {
-    return this.parseRuleWithOperators(input, this.c3j());
+    return this.parseRuleWithOperators(input, this.x3g());
   }
   function parseFactWithOperators(input, operators) {
     var tmp$ret$2;
@@ -332,8 +357,7 @@
     var tmp0_elvis_lhs = isInterface(tmp0_let, Fact) ? tmp0_let : null;
     var tmp;
     if (tmp0_elvis_lhs == null) {
-      var tmp_0 = getKClass(Fact);
-      throw InvalidTermTypeException_init_$Create$(input, tmp0_let, tmp_0, null, 0, 0, null, null, 248, null);
+      throw new InvalidTermTypeException(input, tmp0_let, getKClass(Fact));
     } else {
       tmp = tmp0_elvis_lhs;
     }
@@ -343,7 +367,7 @@
     return tmp$ret$2;
   }
   function parseFact(input) {
-    return this.parseFactWithOperators(input, this.c3j());
+    return this.parseFactWithOperators(input, this.x3g());
   }
   function parseDirectiveWithOperators(input, operators) {
     var tmp$ret$2;
@@ -358,8 +382,7 @@
     var tmp0_elvis_lhs = isInterface(tmp0_let, Directive) ? tmp0_let : null;
     var tmp;
     if (tmp0_elvis_lhs == null) {
-      var tmp_0 = getKClass(Directive);
-      throw InvalidTermTypeException_init_$Create$(input, tmp0_let, tmp_0, null, 0, 0, null, null, 248, null);
+      throw new InvalidTermTypeException(input, tmp0_let, getKClass(Directive));
     } else {
       tmp = tmp0_elvis_lhs;
     }
@@ -369,123 +392,113 @@
     return tmp$ret$2;
   }
   function parseDirective(input) {
-    return this.parseDirectiveWithOperators(input, this.c3j());
-  }
-  setMetadataFor(TermParser, 'TermParser', interfaceMeta, undefined, undefined, undefined, undefined, []);
-  setMetadataFor(Companion_0, 'Companion', objectMeta, undefined, undefined, undefined, undefined, []);
-  setMetadataFor(DynamicOpListener, 'DynamicOpListener', classMeta, PrologParserListener, undefined, undefined, undefined, []);
-  setMetadataFor(PrologParserFactory$newErrorListener$1, undefined, classMeta, undefined, undefined, undefined, undefined, []);
-  setMetadataFor(PrologParserFactory, 'PrologParserFactory', objectMeta, undefined, undefined, undefined, undefined, []);
-  setMetadataFor(PrologVisitor, 'PrologVisitor', classMeta, PrologParserVisitor, undefined, undefined, undefined, []);
-  setMetadataFor(TermParserImpl, 'TermParserImpl', classMeta, undefined, [TermParser], undefined, undefined, []);
+    return this.parseDirectiveWithOperators(input, this.x3g());
+  }
+  setMetadataFor(TermParser, 'TermParser', interfaceMeta);
+  setMetadataFor(Companion_0, 'Companion', objectMeta);
+  setMetadataFor(DynamicOpListener, 'DynamicOpListener', classMeta, PrologParserListener);
+  setMetadataFor(PrologParserFactory$newErrorListener$1, VOID, classMeta);
+  setMetadataFor(PrologParserFactory, 'PrologParserFactory', objectMeta);
+  setMetadataFor(PrologVisitor, 'PrologVisitor', classMeta, PrologParserVisitor);
+  setMetadataFor(TermParserImpl, 'TermParserImpl', classMeta, VOID, [TermParser]);
   //endregion
-  function InvalidTermTypeException_init_$Init$(input, term, type, offendingSymbol, line, column, message, throwable, $mask0, $marker, $this) {
-    if (!(($mask0 & 8) === 0)) {
+  function InvalidTermTypeException(input, term, type, offendingSymbol, line, column, message, throwable) {
+    var tmp;
+    if (offendingSymbol === VOID) {
       var tmp0_elvis_lhs = (!(input == null) ? typeof input === 'string' : false) ? input : null;
-      offendingSymbol = tmp0_elvis_lhs == null ? term.toString() : tmp0_elvis_lhs;
+      tmp = tmp0_elvis_lhs == null ? term.toString() : tmp0_elvis_lhs;
+    } else {
+      tmp = offendingSymbol;
     }
-    if (!(($mask0 & 16) === 0))
-      line = 1;
-    if (!(($mask0 & 32) === 0))
-      column = 1;
-    if (!(($mask0 & 64) === 0))
-      message = 'Expected ' + type.kd() + ', got: ' + offendingSymbol;
-    if (!(($mask0 & 128) === 0))
-      throwable = null;
-    InvalidTermTypeException.call($this, input, term, type, offendingSymbol, line, column, message, throwable);
-    return $this;
-  }
-  function InvalidTermTypeException_init_$Create$(input, term, type, offendingSymbol, line, column, message, throwable, $mask0, $marker) {
-    var tmp = InvalidTermTypeException_init_$Init$(input, term, type, offendingSymbol, line, column, message, throwable, $mask0, $marker, Object.create(InvalidTermTypeException.prototype));
-    captureStack(tmp, InvalidTermTypeException_init_$Create$);
-    return tmp;
-  }
-  function InvalidTermTypeException(input, term, type, offendingSymbol, line, column, message, throwable) {
+    offendingSymbol = tmp;
+    line = line === VOID ? 1 : line;
+    column = column === VOID ? 1 : column;
+    message = message === VOID ? 'Expected ' + type.md() + ', got: ' + offendingSymbol : message;
+    throwable = throwable === VOID ? null : throwable;
     ParseException.call(this, input, offendingSymbol, line, column, message, throwable);
-    this.k3i_1 = term;
-    this.l3i_1 = type;
     captureStack(this, InvalidTermTypeException);
+    this.g3g_1 = term;
+    this.h3g_1 = type;
   }
   function ParseException(input, offendingSymbol, line, column, message, throwable) {
     TuPrologException_init_$Init$(message, throwable, this);
+    captureStack(this, ParseException);
     this.input = input;
     this.offendingSymbol = offendingSymbol;
     this.line = line;
     this.column = column;
     this.clauseIndex = -1;
-    captureStack(this, ParseException);
   }
-  ParseException.prototype.m3i = function (_set____db54di) {
+  protoOf(ParseException).i3g = function (_set____db54di) {
     this.input = _set____db54di;
   };
-  ParseException.prototype.n3i = function () {
+  protoOf(ParseException).j3g = function () {
     return this.input;
   };
-  ParseException.prototype.o3i = function (_set____db54di) {
+  protoOf(ParseException).k3g = function (_set____db54di) {
     this.offendingSymbol = _set____db54di;
   };
-  ParseException.prototype.p3i = function () {
+  protoOf(ParseException).l3g = function () {
     return this.offendingSymbol;
   };
-  ParseException.prototype.q3i = function (_set____db54di) {
+  protoOf(ParseException).m3g = function (_set____db54di) {
     this.line = _set____db54di;
   };
-  ParseException.prototype.r3i = function () {
+  protoOf(ParseException).n3g = function () {
     return this.line;
   };
-  ParseException.prototype.s3i = function (_set____db54di) {
+  protoOf(ParseException).o3g = function (_set____db54di) {
     this.column = _set____db54di;
   };
-  ParseException.prototype.t3i = function () {
+  protoOf(ParseException).p3g = function () {
     return this.column;
   };
-  ParseException.prototype.u3i = function (_set____db54di) {
+  protoOf(ParseException).q3g = function (_set____db54di) {
     this.clauseIndex = _set____db54di;
   };
-  ParseException.prototype.v3i = function () {
+  protoOf(ParseException).r3g = function () {
     return this.clauseIndex;
   };
-  ParseException.prototype.toString = function () {
-    var tmp = ensureNotNull(this.message);
-    return "ParseException{message='" + replace$default(tmp, '\\n', '\\\\n', false, 4, null) + new Char(_Char___init__impl__6a9atx(39)) + ', line=' + this.line + ', column=' + this.column + ", offendingSymbol='" + this.offendingSymbol + new Char(_Char___init__impl__6a9atx(39)) + new Char(_Char___init__impl__6a9atx(125));
+  protoOf(ParseException).toString = function () {
+    return "ParseException{message='" + replace(ensureNotNull(this.message), '\\n', '\\\\n') + new Char(_Char___init__impl__6a9atx(39)) + ', line=' + this.line + ', column=' + this.column + ", offendingSymbol='" + this.offendingSymbol + new Char(_Char___init__impl__6a9atx(39)) + new Char(_Char___init__impl__6a9atx(125));
   };
   function Companion() {
     Companion_instance = this;
   }
-  Companion.prototype.withNoOperator = function (scope) {
-    return this.w3i(scope === void 1 ? Companion_getInstance().empty() : scope);
-  };
-  Companion.prototype.w3i = function (scope) {
-    return this.x3i(Companion_getInstance_0().EMPTY, scope);
+  protoOf(Companion).s3g = function (scope) {
+    return this.t3g(Companion_getInstance().EMPTY, scope);
   };
-  Companion.prototype.withStandardOperators = function (scope) {
-    return this.y3i(scope === void 1 ? Companion_getInstance().empty() : scope);
+  protoOf(Companion).withNoOperator = function (scope, $super) {
+    scope = scope === VOID ? Companion_getInstance_0().empty() : scope;
+    return $super === VOID ? this.s3g(scope) : $super.s3g.call(this, scope);
   };
-  Companion.prototype.y3i = function (scope) {
-    return this.x3i(Companion_getInstance_0().STANDARD, scope);
+  protoOf(Companion).u3g = function (scope) {
+    return this.t3g(Companion_getInstance().STANDARD, scope);
   };
-  Companion.prototype.withDefaultOperators = function (scope) {
-    return this.z3i(scope === void 1 ? Companion_getInstance().empty() : scope);
+  protoOf(Companion).withStandardOperators = function (scope, $super) {
+    scope = scope === VOID ? Companion_getInstance_0().empty() : scope;
+    return $super === VOID ? this.u3g(scope) : $super.u3g.call(this, scope);
   };
-  Companion.prototype.z3i = function (scope) {
-    return this.x3i(Companion_getInstance_0().DEFAULT, scope);
+  protoOf(Companion).v3g = function (scope) {
+    return this.t3g(Companion_getInstance().DEFAULT, scope);
   };
-  Companion.prototype.a3j = function (scope, $mask0, $handler) {
-    if (!(($mask0 & 1) === 0))
-      scope = Companion_getInstance().empty();
-    return this.z3i(scope);
+  protoOf(Companion).withDefaultOperators = function (scope, $super) {
+    scope = scope === VOID ? Companion_getInstance_0().empty() : scope;
+    return $super === VOID ? this.v3g(scope) : $super.v3g.call(this, scope);
   };
-  Companion.prototype.withOperatorSet = function (operators, scope) {
-    return this.x3i(operators, scope === void 1 ? Companion_getInstance().empty() : scope);
-  };
-  Companion.prototype.x3i = function (operators, scope) {
+  protoOf(Companion).t3g = function (operators, scope) {
     return termParserWithOperators(operators, scope);
   };
-  Companion.prototype.withOperators = function (operators, scope) {
-    return this.b3j(operators, scope === void 1 ? Companion_getInstance().empty() : scope);
+  protoOf(Companion).withOperatorSet = function (operators, scope, $super) {
+    scope = scope === VOID ? Companion_getInstance_0().empty() : scope;
+    return $super === VOID ? this.t3g(operators, scope) : $super.t3g.call(this, operators, scope);
+  };
+  protoOf(Companion).w3g = function (operators, scope) {
+    return this.t3g(OperatorSet_init_$Create$(operators.slice()), scope);
   };
-  Companion.prototype.b3j = function (operators, scope) {
-    return this.x3i(OperatorSet_init_$Create$(operators.slice()), scope);
+  protoOf(Companion).withOperators = function (operators, scope, $super) {
+    scope = scope === VOID ? Companion_getInstance_0().empty() : scope;
+    return $super === VOID ? this.w3g(operators, scope) : $super.w3g.call(this, operators, scope);
   };
   var Companion_instance;
   function Companion_getInstance_6() {
@@ -495,7 +508,10 @@
   }
   function TermParser() {
   }
-  function toClause(_this__u8e3s4, source, line, column) {
+  function termToClause(_this__u8e3s4, source, line, column) {
+    source = source === VOID ? null : source;
+    line = line === VOID ? 0 : line;
+    column = column === VOID ? 0 : column;
     var tmp0_subject = _this__u8e3s4;
     var tmp;
     if (isInterface(tmp0_subject, Clause)) {
@@ -504,21 +520,11 @@
       if (isInterface(tmp0_subject, Struct)) {
         tmp = Companion_getInstance_1().of(_this__u8e3s4);
       } else {
-        var tmp_0 = getKClass(Clause);
-        throw InvalidTermTypeException_init_$Create$(source, _this__u8e3s4, tmp_0, null, line, column, null, null, 200, null);
+        throw new InvalidTermTypeException(source, _this__u8e3s4, getKClass(Clause), VOID, line, column);
       }
     }
     return tmp;
   }
-  function toClause$default(_this__u8e3s4, source, line, column, $mask0, $handler) {
-    if (!(($mask0 & 1) === 0))
-      source = null;
-    if (!(($mask0 & 2) === 0))
-      line = 0;
-    if (!(($mask0 & 4) === 0))
-      column = 0;
-    return toClause(_this__u8e3s4, source, line, column);
-  }
   function parseStructWithOperators_0(_this__u8e3s4, input, operators) {
     return get_defaultParser().parseStructWithOperators(input, operators);
   }
@@ -526,8 +532,7 @@
     return get_defaultParser().parseStruct(input);
   }
   function get_defaultParser() {
-    var tmp = Companion_getInstance_6();
-    return tmp.a3j(null, 1, null);
+    return Companion_getInstance_6().withDefaultOperators();
   }
   function toAssociativity(_this__u8e3s4) {
     return _this__u8e3s4.toString();
@@ -536,13 +541,13 @@
     return Unit_getInstance();
   }
   function onOperatorDefined($this, operator) {
-    $this.d3j_1.addOperator(operator.k1i_1, toAssociativity(operator.l1i_1), operator.m1i_1);
-    $this.e3j_1($this.d3j_1, operator);
+    $this.y3g_1.addOperator(operator.q1h_1, toAssociativity(operator.r1h_1), operator.s1h_1);
+    $this.z3g_1($this.y3g_1, operator);
   }
   function Companion_0() {
     Companion_instance_0 = this;
   }
-  Companion_0.prototype.f3j = function (parser) {
+  protoOf(Companion_0).a3h = function (parser) {
     return new DynamicOpListener(parser, DynamicOpListener$Companion$of$lambda);
   };
   var Companion_instance_0;
@@ -557,10 +562,10 @@
   function DynamicOpListener(parser, operatorDefinedCallback) {
     Companion_getInstance_7();
     PrologParserListener.call(this);
-    this.d3j_1 = parser;
-    this.e3j_1 = operatorDefinedCallback;
+    this.y3g_1 = parser;
+    this.z3g_1 = operatorDefinedCallback;
   }
-  DynamicOpListener.prototype.g3j = function (ctx) {
+  protoOf(DynamicOpListener).b3h = function (ctx) {
     var expr = ctx.expression();
     if (ctx.exception != null) {
       return Unit_getInstance();
@@ -580,21 +585,21 @@
       tmp = false;
     }
     if (tmp) {
-      var tmp_1 = ctx.accept(PrologVisitor_init_$Create$(null, 1, null));
+      var tmp_1 = ctx.accept(new PrologVisitor());
       var directive = isInterface(tmp_1, Directive) ? tmp_1 : THROW_CCE();
-      var op = directive.jy();
+      var op = directive.tx();
       var tmp_2;
       var tmp_3;
       var tmp_4;
       var tmp_5;
       var tmp_6;
       if (isInterface(op, Struct)) {
-        tmp_6 = op.wv() === 3;
+        tmp_6 = op.qv() === 3;
       } else {
         tmp_6 = false;
       }
       if (tmp_6) {
-        tmp_5 = op.cw() === 'op';
+        tmp_5 = op.wv() === 'op';
       } else {
         tmp_5 = false;
       }
@@ -611,7 +616,7 @@
         tmp_3 = false;
       }
       if (tmp_3) {
-        tmp_2 = op.gx();
+        tmp_2 = op.rw();
       } else {
         tmp_2 = false;
       }
@@ -621,7 +626,7 @@
         var tmp$ret$0;
         // Inline function 'kotlin.math.max' call
         var tmp_9 = op.get(0);
-        var tmp0_max = (isInterface(tmp_9, Numeric) ? tmp_9 : THROW_CCE()).m10().toInt();
+        var tmp0_max = (isInterface(tmp_9, Numeric) ? tmp_9 : THROW_CCE()).az().toInt();
         tmp$ret$0 = Math.max(0, tmp0_max);
         var tmp1_min = tmp$ret$0;
         tmp$ret$1 = Math.min(1200, tmp1_min);
@@ -635,7 +640,7 @@
             var tmp$ret$3;
             $l$block: {
               // Inline function 'kotlin.sequences.all' call
-              var tmp2_all = operator.gu();
+              var tmp2_all = operator.au();
               var tmp0_iterator = tmp2_all.j();
               while (tmp0_iterator.m()) {
                 var element = tmp0_iterator.n();
@@ -650,7 +655,7 @@
               tmp$ret$3 = true;
             }
             if (tmp$ret$3) {
-              var tmp_10 = operator.gu();
+              var tmp_10 = operator.au();
               var tmp2_iterator = map(tmp_10, DynamicOpListener$exitClause$lambda).j();
               while (tmp2_iterator.m()) {
                 var it = tmp2_iterator.n();
@@ -662,8 +667,8 @@
       }
     }
   };
-  DynamicOpListener.prototype.exitClause = function (ctx) {
-    return this.g3j(ctx);
+  protoOf(DynamicOpListener).exitClause = function (ctx) {
+    return this.b3h(ctx);
   };
   function parseException(token, message) {
     return new ParseException(null, token.text, token.line, token.column, message, null);
@@ -683,7 +688,7 @@
   function parseExpression($this, parserAndErrorStrategy, source) {
     var mark = -1;
     var index = -1;
-    var parser = parserAndErrorStrategy.g4_1;
+    var parser = parserAndErrorStrategy.k4_1;
     var tmp;
     try {
       mark = parser.getTokenStream().mark();
@@ -692,18 +697,19 @@
     } catch ($p) {
       var tmp_0;
       {
+        var e = $p;
         var tmp_1;
-        if (isParseCancellationException($p) ? parser._interp.predictionMode === PredictionMode.SLL : false) {
+        if (isParseCancellationException(e) ? parser._interp.predictionMode === PredictionMode.SLL : false) {
           parser.getTokenStream().seek(index);
           parser._interp.predictionMode = PredictionMode.LL;
-          parser._errHandler = parserAndErrorStrategy.h4_1;
+          parser._errHandler = parserAndErrorStrategy.l4_1;
           parser.addErrorListener(newErrorListener($this, source));
           tmp_1 = parseExpression($this, parserAndErrorStrategy, source);
-        } else if ($p.clause !== null ? isRecognitionException($p.cause) : false) {
-          var tmp_2 = $p.cause;
+        } else if (e.clause !== null ? isRecognitionException(e.cause) : false) {
+          var tmp_2 = e.cause;
           throw tmp_2 instanceof RecognitionException ? tmp_2 : THROW_CCE();
         } else {
-          throw $p instanceof Error ? $p : THROW_CCE();
+          throw e instanceof Error ? e : THROW_CCE();
         }
         tmp_0 = tmp_1;
       }
@@ -717,7 +723,7 @@
   function parseClause_0($this, parserAndErrorStrategy, source) {
     var mark = -1;
     var index = -1;
-    var parser = parserAndErrorStrategy.g4_1;
+    var parser = parserAndErrorStrategy.k4_1;
     var tmp;
     try {
       mark = parser.getTokenStream().mark();
@@ -726,18 +732,19 @@
     } catch ($p) {
       var tmp_0;
       {
+        var e = $p;
         var tmp_1;
-        if (isParseCancellationException($p) ? parser._interp.predictionMode === PredictionMode.SLL : false) {
+        if (isParseCancellationException(e) ? parser._interp.predictionMode === PredictionMode.SLL : false) {
           parser.getTokenStream().seek(index);
           parser._interp.predictionMode = PredictionMode.LL;
-          parser._errHandler = parserAndErrorStrategy.h4_1;
+          parser._errHandler = parserAndErrorStrategy.l4_1;
           parser.addErrorListener(newErrorListener($this, source));
           tmp_1 = parseClause_0($this, parserAndErrorStrategy, source);
-        } else if ($p.clause !== null ? isRecognitionException($p.cause) : false) {
-          var tmp_2 = $p.cause;
+        } else if (e.clause !== null ? isRecognitionException(e.cause) : false) {
+          var tmp_2 = e.cause;
           throw tmp_2 instanceof RecognitionException ? tmp_2 : THROW_CCE();
         } else {
-          throw $p instanceof Error ? $p : THROW_CCE();
+          throw e instanceof Error ? e : THROW_CCE();
         }
         tmp_0 = tmp_1;
       }
@@ -755,13 +762,13 @@
     return map(tmp_1, PrologParserFactory$parseClauses$lambda_2);
   }
   function PrologParserFactory$newErrorListener$1($whileParsing) {
-    this.h3j_1 = $whileParsing;
+    this.c3h_1 = $whileParsing;
   }
-  PrologParserFactory$newErrorListener$1.prototype.syntaxError = function (recognizer, offendingSymbol, line, column, msg, e) {
+  protoOf(PrologParserFactory$newErrorListener$1).syntaxError = function (recognizer, offendingSymbol, line, column, msg, e) {
     if (recognizer instanceof PrologParser) {
       recognizer.removeParseListeners();
     }
-    throw new ParseException(this.h3j_1, symbolToString(this, offendingSymbol), line, column + 1 | 0, msg, e);
+    throw new ParseException(this.c3h_1, symbolToString(this, offendingSymbol), line, column + 1 | 0, msg, e);
   };
   function PrologParserFactory$parseClauses$lambda(it) {
     return it + 1 | 0;
@@ -774,8 +781,9 @@
       } catch ($p) {
         var tmp_0;
         if ($p instanceof ParseException) {
-          $p.clauseIndex = it;
-          throw $p;
+          var e = $p;
+          e.clauseIndex = it;
+          throw e;
         } else {
           throw $p;
         }
@@ -793,15 +801,15 @@
   function PrologParserFactory() {
     PrologParserFactory_instance = this;
   }
-  PrologParserFactory.prototype.i3j = function (string, withOperators) {
-    var parser = this.j3j(string, withOperators);
+  protoOf(PrologParserFactory).d3h = function (string, withOperators) {
+    var parser = this.e3h(string, withOperators);
     return parseExpression(this, parser, string);
   };
-  PrologParserFactory.prototype.k3j = function (source, withOperators) {
-    var parser = this.j3j(source, withOperators);
+  protoOf(PrologParserFactory).f3h = function (source, withOperators) {
+    var parser = this.e3h(source, withOperators);
     return parseClauses(this, parser, source);
   };
-  PrologParserFactory.prototype.j3j = function (source, operators) {
+  protoOf(PrologParserFactory).e3h = function (source, operators) {
     var stream = new InputStream(source);
     var lexer = new PrologLexer(stream);
     lexer.removeErrorListeners();
@@ -811,17 +819,17 @@
     var originalErrorStrategy = parser._errHandler;
     parser._errHandler = new BailErrorStrategy();
     parser._interp.predictionMode = PredictionMode.SLL;
-    return to(this.l3j(parser, operators), originalErrorStrategy);
+    return to(this.g3h(parser, operators), originalErrorStrategy);
   };
-  PrologParserFactory.prototype.l3j = function (prologParser, operators) {
+  protoOf(PrologParserFactory).g3h = function (prologParser, operators) {
     // Inline function 'kotlin.collections.forEach' call
     var tmp0_iterator = operators.j();
     while (tmp0_iterator.m()) {
       var element = tmp0_iterator.n();
       // Inline function 'it.unibo.tuprolog.core.parsing.PrologParserFactory.addOperators.<anonymous>' call
-      prologParser.addOperator(element.k1i_1, toAssociativity(element.l1i_1), element.m1i_1);
+      prologParser.addOperator(element.q1h_1, toAssociativity(element.r1h_1), element.s1h_1);
     }
-    prologParser.addParseListener(Companion_getInstance_7().f3j(prologParser));
+    prologParser.addParseListener(Companion_getInstance_7().a3h(prologParser));
     return prologParser;
   };
   var PrologParserFactory_instance;
@@ -830,15 +838,6 @@
       new PrologParserFactory();
     return PrologParserFactory_instance;
   }
-  function PrologVisitor_init_$Init$(scope, $mask0, $marker, $this) {
-    if (!(($mask0 & 1) === 0))
-      scope = Companion_getInstance().empty();
-    PrologVisitor.call($this, scope);
-    return $this;
-  }
-  function PrologVisitor_init_$Create$(scope, $mask0, $marker) {
-    return PrologVisitor_init_$Init$(scope, $mask0, $marker, Object.create(PrologVisitor.prototype));
-  }
   function parseInteger_0($this, ctx) {
     var str = ctx.value.text;
     var base;
@@ -895,13 +894,7 @@
       var tmp_0;
       var tmp0_safe_receiver = ctx.sign;
       var tmp1_safe_receiver = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.text;
-      var tmp_1;
-      if (tmp1_safe_receiver == null) {
-        tmp_1 = null;
-      } else {
-        tmp_1 = contains$default(tmp1_safe_receiver, '-', false, 2, null);
-      }
-      var tmp2_elvis_lhs = tmp_1;
+      var tmp2_elvis_lhs = tmp1_safe_receiver == null ? null : contains_0(tmp1_safe_receiver, '-');
       if (tmp2_elvis_lhs == null ? false : tmp2_elvis_lhs) {
         tmp_0 = tmp1_with.unaryMinus();
       } else {
@@ -925,11 +918,11 @@
     var tmp = ensureNotNull(tmp0_safe_receiver == null ? null : tmp0_safe_receiver.accept($this));
     var tmp$ret$2;
     // Inline function 'kotlin.collections.map' call
-    var tmp0_map = ctx.operators;
+    var tmp1_map = ctx.operators;
     var tmp$ret$1;
     // Inline function 'kotlin.collections.mapTo' call
-    var tmp0_mapTo = ArrayList_init_$Create$(tmp0_map.length);
-    var indexedObject = tmp0_map;
+    var tmp0_mapTo = ArrayList_init_$Create$(tmp1_map.length);
+    var indexedObject = tmp1_map;
     var inductionVariable = 0;
     var last = indexedObject.length;
     while (inductionVariable < last) {
@@ -946,9 +939,9 @@
   }
   function postfix($this, term, ops) {
     var operator = ops.j();
-    var result = $this.m3j_1.structOf(operator.n(), [term]);
+    var result = $this.h3h_1.structOf(operator.n(), [term]);
     while (operator.m()) {
-      result = $this.m3j_1.structOf(operator.n(), [result]);
+      result = $this.h3h_1.structOf(operator.n(), [result]);
     }
     return result;
   }
@@ -956,11 +949,11 @@
     var tmp = ctx.right[0].accept($this);
     var tmp$ret$2;
     // Inline function 'kotlin.collections.map' call
-    var tmp0_map = ctx.operators;
+    var tmp1_map = ctx.operators;
     var tmp$ret$1;
     // Inline function 'kotlin.collections.mapTo' call
-    var tmp0_mapTo = ArrayList_init_$Create$(tmp0_map.length);
-    var indexedObject = tmp0_map;
+    var tmp0_mapTo = ArrayList_init_$Create$(tmp1_map.length);
+    var indexedObject = tmp1_map;
     var inductionVariable = 0;
     var last = indexedObject.length;
     while (inductionVariable < last) {
@@ -979,9 +972,9 @@
     var i = ops.p() - 1 | 0;
     var tmp0 = i;
     i = tmp0 - 1 | 0;
-    var result = $this.m3j_1.structOf(ops.o(tmp0), [term]);
+    var result = $this.h3h_1.structOf(ops.o(tmp0), [term]);
     while (i >= 0) {
-      result = $this.m3j_1.structOf(ops.o(i), [result]);
+      result = $this.h3h_1.structOf(ops.o(i), [result]);
       var tmp1 = i;
       i = tmp1 - 1 | 0;
     }
@@ -1004,11 +997,11 @@
   function visitInfixNonAssociativeExpression($this, ctx) {
     var tmp$ret$2;
     // Inline function 'kotlin.collections.map' call
-    var tmp0_map = plus_0(listOf(ensureNotNull(ctx.left)), asList(ctx.right));
+    var tmp1_map = plus_0(listOf(ensureNotNull(ctx.left)), asList(ctx.right));
     var tmp$ret$1;
     // Inline function 'kotlin.collections.mapTo' call
-    var tmp0_mapTo = ArrayList_init_$Create$(collectionSizeOrDefault(tmp0_map, 10));
-    var tmp0_iterator = tmp0_map.j();
+    var tmp0_mapTo = ArrayList_init_$Create$(collectionSizeOrDefault(tmp1_map, 10));
+    var tmp0_iterator = tmp1_map.j();
     while (tmp0_iterator.m()) {
       var item = tmp0_iterator.n();
       var tmp$ret$0;
@@ -1021,11 +1014,11 @@
     var operands = tmp$ret$2;
     var tmp$ret$5;
     // Inline function 'kotlin.collections.map' call
-    var tmp1_map = ctx.operators;
+    var tmp3_map = ctx.operators;
     var tmp$ret$4;
     // Inline function 'kotlin.collections.mapTo' call
-    var tmp0_mapTo_0 = ArrayList_init_$Create$(tmp1_map.length);
-    var indexedObject = tmp1_map;
+    var tmp2_mapTo = ArrayList_init_$Create$(tmp3_map.length);
+    var indexedObject = tmp3_map;
     var inductionVariable = 0;
     var last = indexedObject.length;
     while (inductionVariable < last) {
@@ -1034,15 +1027,15 @@
       var tmp$ret$3;
       // Inline function 'it.unibo.tuprolog.core.parsing.PrologVisitor.visitInfixNonAssociativeExpression.<anonymous>' call
       tmp$ret$3 = item_0.symbol.text;
-      tmp0_mapTo_0.g(tmp$ret$3);
+      tmp2_mapTo.g(tmp$ret$3);
     }
-    tmp$ret$4 = tmp0_mapTo_0;
+    tmp$ret$4 = tmp2_mapTo;
     tmp$ret$5 = tmp$ret$4;
     var operators = tmp$ret$5;
     return infixNonAssociative($this, operands, operators);
   }
   function infixNonAssociative($this, terms, ops) {
-    return $this.m3j_1.structOf(ops.o(0), [terms.o(0), terms.o(1)]);
+    return $this.h3h_1.structOf(ops.o(0), [terms.o(0), terms.o(1)]);
   }
   function handleOuters($this, expression, outers) {
     var result = expression;
@@ -1052,11 +1045,11 @@
       var tmp = listOf(result);
       var tmp$ret$2;
       // Inline function 'kotlin.collections.map' call
-      var tmp0_map = o.right;
+      var tmp1_map = o.right;
       var tmp$ret$1;
       // Inline function 'kotlin.collections.mapTo' call
-      var tmp0_mapTo = ArrayList_init_$Create$(tmp0_map.length);
-      var indexedObject = tmp0_map;
+      var tmp0_mapTo = ArrayList_init_$Create$(tmp1_map.length);
+      var indexedObject = tmp1_map;
       var inductionVariable = 0;
       var last = indexedObject.length;
       while (inductionVariable < last) {
@@ -1072,11 +1065,11 @@
       var operands = plus_0(tmp, tmp$ret$2);
       var tmp$ret$5;
       // Inline function 'kotlin.collections.map' call
-      var tmp1_map = o.operators;
+      var tmp3_map = o.operators;
       var tmp$ret$4;
       // Inline function 'kotlin.collections.mapTo' call
-      var tmp0_mapTo_0 = ArrayList_init_$Create$(tmp1_map.length);
-      var indexedObject_0 = tmp1_map;
+      var tmp2_mapTo = ArrayList_init_$Create$(tmp3_map.length);
+      var indexedObject_0 = tmp3_map;
       var inductionVariable_0 = 0;
       var last_0 = indexedObject_0.length;
       while (inductionVariable_0 < last_0) {
@@ -1085,9 +1078,9 @@
         var tmp$ret$3;
         // Inline function 'it.unibo.tuprolog.core.parsing.PrologVisitor.handleOuters.<anonymous>' call
         tmp$ret$3 = item_0.symbol.text;
-        tmp0_mapTo_0.g(tmp$ret$3);
+        tmp2_mapTo.g(tmp$ret$3);
       }
-      tmp$ret$4 = tmp0_mapTo_0;
+      tmp$ret$4 = tmp2_mapTo;
       tmp$ret$5 = tmp$ret$4;
       var operators = tmp$ret$5;
       var tmp1_subject = o.associativity;
@@ -1114,12 +1107,12 @@
     var j = ops.p() - 1 | 0;
     var tmp0 = j;
     j = tmp0 - 1 | 0;
-    var result = $this.m3j_1.structOf(ops.o(tmp0), [terms.o(i - 1 | 0), terms.o(i)]);
+    var result = $this.h3h_1.structOf(ops.o(tmp0), [terms.o(i - 1 | 0), terms.o(i)]);
     i = i - 2 | 0;
     while (i >= 0) {
       var tmp1 = j;
       j = tmp1 - 1 | 0;
-      result = $this.m3j_1.structOf(ops.o(tmp1), [terms.o(i), result]);
+      result = $this.h3h_1.structOf(ops.o(tmp1), [terms.o(i), result]);
       var tmp2 = i;
       i = tmp2 - 1 | 0;
     }
@@ -1136,11 +1129,11 @@
     var tmp_0 = terms.o(tmp1);
     var tmp2 = i;
     i = tmp2 + 1 | 0;
-    var result = $this.m3j_1.structOf(tmp, [tmp_0, terms.o(tmp2)]);
+    var result = $this.h3h_1.structOf(tmp, [tmp_0, terms.o(tmp2)]);
     while (i < terms.p()) {
       var tmp3 = j;
       j = tmp3 + 1 | 0;
-      result = $this.m3j_1.structOf(ops.o(tmp3), [result, terms.o(i)]);
+      result = $this.h3h_1.structOf(ops.o(tmp3), [result, terms.o(i)]);
       var tmp4 = i;
       i = tmp4 + 1 | 0;
     }
@@ -1149,11 +1142,11 @@
   function listOfOperands($this, ctx) {
     var tmp$ret$2;
     // Inline function 'kotlin.collections.map' call
-    var tmp0_map = plus_0(listOf(ctx.left), toList(ctx.right));
+    var tmp1_map = plus_0(listOf(ctx.left), toList(ctx.right));
     var tmp$ret$1;
     // Inline function 'kotlin.collections.mapTo' call
-    var tmp0_mapTo = ArrayList_init_$Create$(collectionSizeOrDefault(tmp0_map, 10));
-    var tmp0_iterator = tmp0_map.j();
+    var tmp0_mapTo = ArrayList_init_$Create$(collectionSizeOrDefault(tmp1_map, 10));
+    var tmp0_iterator = tmp1_map.j();
     while (tmp0_iterator.m()) {
       var item = tmp0_iterator.n();
       var tmp$ret$0;
@@ -1168,11 +1161,11 @@
   function listOfOperators($this, ctx) {
     var tmp$ret$2;
     // Inline function 'kotlin.collections.map' call
-    var tmp0_map = ctx.operators;
+    var tmp1_map = ctx.operators;
     var tmp$ret$1;
     // Inline function 'kotlin.collections.mapTo' call
-    var tmp0_mapTo = ArrayList_init_$Create$(tmp0_map.length);
-    var indexedObject = tmp0_map;
+    var tmp0_mapTo = ArrayList_init_$Create$(tmp1_map.length);
+    var indexedObject = tmp1_map;
     var inductionVariable = 0;
     var last = indexedObject.length;
     while (inductionVariable < last) {
@@ -1205,7 +1198,7 @@
   }
   function PrologVisitor$visitExpression$ref($boundThis) {
     var l = function (p0) {
-      return $boundThis.n3j(p0);
+      return $boundThis.i3h(p0);
     };
     l.callableName = 'visitExpression';
     return l;
@@ -1216,31 +1209,32 @@
     };
   }
   function PrologVisitor(scope) {
+    scope = scope === VOID ? Companion_getInstance_0().empty() : scope;
     PrologParserVisitor.call(this);
-    this.m3j_1 = scope;
+    this.h3h_1 = scope;
   }
-  PrologVisitor.prototype.o3j = function (ctx) {
-    return this.p3j(ctx.term());
+  protoOf(PrologVisitor).j3h = function (ctx) {
+    return this.k3h(ctx.term());
   };
-  PrologVisitor.prototype.visitSingletonTerm = function (ctx) {
-    return this.o3j(ctx);
+  protoOf(PrologVisitor).visitSingletonTerm = function (ctx) {
+    return this.j3h(ctx);
   };
-  PrologVisitor.prototype.q3j = function (ctx) {
-    return this.n3j(ctx.expression());
+  protoOf(PrologVisitor).l3h = function (ctx) {
+    return this.i3h(ctx.expression());
   };
-  PrologVisitor.prototype.visitSingletonExpression = function (ctx) {
-    return this.q3j(ctx);
+  protoOf(PrologVisitor).visitSingletonExpression = function (ctx) {
+    return this.l3h(ctx);
   };
-  PrologVisitor.prototype.r3j = function (ctx) {
-    return toClause(ctx.expression().accept(this), null, ensureNotNull(ctx.start).line, ensureNotNull(ctx.start).column);
+  protoOf(PrologVisitor).m3h = function (ctx) {
+    return termToClause(ctx.expression().accept(this), null, ensureNotNull(ctx.start).line, ensureNotNull(ctx.start).column);
   };
-  PrologVisitor.prototype.visitClause = function (ctx) {
-    return this.r3j(ctx);
+  protoOf(PrologVisitor).visitClause = function (ctx) {
+    return this.m3h(ctx);
   };
-  PrologVisitor.prototype.n3j = function (ctx) {
+  protoOf(PrologVisitor).i3h = function (ctx) {
     var tmp;
     if (ctx.isTerm) {
-      tmp = this.p3j(ensureNotNull(ctx.left));
+      tmp = this.k3h(ensureNotNull(ctx.left));
     } else if (contains(Associativity.INFIX, ctx.associativity)) {
       tmp = visitInfixExpression(this, ctx);
     } else if (contains(Associativity.POSTFIX, ctx.associativity)) {
@@ -1252,37 +1246,37 @@
     }
     return handleOuters(this, tmp, flatten_0(this, asList(ctx.outers)));
   };
-  PrologVisitor.prototype.visitExpression = function (ctx) {
-    return this.n3j(ctx);
+  protoOf(PrologVisitor).visitExpression = function (ctx) {
+    return this.i3h(ctx);
   };
-  PrologVisitor.prototype.p3j = function (ctx) {
+  protoOf(PrologVisitor).k3h = function (ctx) {
     var tmp;
     if (ctx.isExpr) {
-      tmp = this.n3j(ctx.expression());
+      tmp = this.i3h(ctx.expression());
     } else {
       var tmp_0 = ctx.children[0].accept(this);
       tmp = (!(tmp_0 == null) ? isInterface(tmp_0, Term) : false) ? tmp_0 : THROW_CCE();
     }
     return tmp;
   };
-  PrologVisitor.prototype.visitTerm = function (ctx) {
-    return this.p3j(ctx);
+  protoOf(PrologVisitor).visitTerm = function (ctx) {
+    return this.k3h(ctx);
   };
-  PrologVisitor.prototype.s3j = function (ctx) {
+  protoOf(PrologVisitor).n3h = function (ctx) {
     var value = parseInteger_0(this, ctx);
     return Companion_getInstance_4().ofBigInteger(value);
   };
-  PrologVisitor.prototype.visitInteger = function (ctx) {
-    return this.s3j(ctx);
+  protoOf(PrologVisitor).visitInteger = function (ctx) {
+    return this.n3h(ctx);
   };
-  PrologVisitor.prototype.t3j = function (ctx) {
+  protoOf(PrologVisitor).o3h = function (ctx) {
     var tmp = ctx.children[0].accept(this);
     return (!(tmp == null) ? isInterface(tmp, Term) : false) ? tmp : THROW_CCE();
   };
-  PrologVisitor.prototype.visitNumber = function (ctx) {
-    return this.t3j(ctx);
+  protoOf(PrologVisitor).visitNumber = function (ctx) {
+    return this.o3h(ctx);
   };
-  PrologVisitor.prototype.u3j = function (ctx) {
+  protoOf(PrologVisitor).p3h = function (ctx) {
     var raw = ctx.value.text;
     if (!(ctx.sign == null)) {
       var tmp0_safe_receiver = ctx.sign;
@@ -1294,6 +1288,7 @@
     } catch ($p) {
       var tmp_0;
       if ($p instanceof NumberFormatException) {
+        var notAFloating = $p;
         throw parseException(ctx.value, 'Invalid real number format: ' + ctx.value.text);
       } else {
         throw $p;
@@ -1302,54 +1297,54 @@
     }
     return tmp;
   };
-  PrologVisitor.prototype.visitReal = function (ctx) {
-    return this.u3j(ctx);
+  protoOf(PrologVisitor).visitReal = function (ctx) {
+    return this.p3h(ctx);
   };
-  PrologVisitor.prototype.v3j = function (ctx) {
+  protoOf(PrologVisitor).q3h = function (ctx) {
     var tmp;
     if (ctx.isAnonymous) {
-      tmp = this.m3j_1.anonymous();
+      tmp = this.h3h_1.anonymous();
     } else {
-      tmp = this.m3j_1.varOf(ctx.value.text);
+      tmp = this.h3h_1.varOf(ctx.value.text);
     }
     return tmp;
   };
-  PrologVisitor.prototype.visitVariable = function (ctx) {
-    return this.v3j(ctx);
+  protoOf(PrologVisitor).visitVariable = function (ctx) {
+    return this.q3h(ctx);
   };
-  PrologVisitor.prototype.w3j = function (ctx) {
+  protoOf(PrologVisitor).r3h = function (ctx) {
     if (ctx.isList) {
-      return this.m3j_1.listOf([]);
+      return this.h3h_1.listOf([]);
     } else if (ctx.isBlock) {
-      return this.m3j_1.setOf([]);
+      return this.h3h_1.setOf([]);
     }
     var tmp;
     if (ctx.arity === 0) {
-      tmp = this.m3j_1.atomOf(ctx.functor.text);
+      tmp = this.h3h_1.atomOf(ctx.functor.text);
     } else {
       var tmp_0 = ctx.functor.text;
       var tmp_1 = asSequence_0(ctx.args);
-      tmp = this.m3j_1.structOfSequence(tmp_0, map(tmp_1, PrologVisitor$visitExpression$ref(this)));
+      tmp = this.h3h_1.structOfSequence(tmp_0, map(tmp_1, PrologVisitor$visitExpression$ref(this)));
     }
     return tmp;
   };
-  PrologVisitor.prototype.visitStructure = function (ctx) {
-    return this.w3j(ctx);
+  protoOf(PrologVisitor).visitStructure = function (ctx) {
+    return this.r3h(ctx);
   };
-  PrologVisitor.prototype.x3j = function (ctx) {
+  protoOf(PrologVisitor).s3h = function (ctx) {
     var tmp$ret$1;
     // Inline function 'kotlin.collections.map' call
-    var tmp0_map = ctx.items;
+    var tmp1_map = ctx.items;
     var tmp$ret$0;
     // Inline function 'kotlin.collections.mapTo' call
-    var tmp0_mapTo = ArrayList_init_$Create$(tmp0_map.length);
-    var indexedObject = tmp0_map;
+    var tmp0_mapTo = ArrayList_init_$Create$(tmp1_map.length);
+    var indexedObject = tmp1_map;
     var inductionVariable = 0;
     var last = indexedObject.length;
     while (inductionVariable < last) {
       var item = indexedObject[inductionVariable];
       inductionVariable = inductionVariable + 1 | 0;
-      tmp0_mapTo.g(this.n3j(item));
+      tmp0_mapTo.g(this.i3h(item));
     }
     tmp$ret$0 = tmp0_mapTo;
     tmp$ret$1 = tmp$ret$0;
@@ -1357,94 +1352,95 @@
     var tmp;
     if (ctx.hasTail) {
       var tmp0_safe_receiver = ctx.tail;
-      tmp = this.m3j_1.v11(terms, tmp0_safe_receiver == null ? null : tmp0_safe_receiver.accept(this));
+      tmp = this.h3h_1.o10(terms, tmp0_safe_receiver == null ? null : tmp0_safe_receiver.accept(this));
     } else {
-      tmp = this.m3j_1.listOfIterable(terms);
+      tmp = this.h3h_1.listOfIterable(terms);
     }
     return tmp;
   };
-  PrologVisitor.prototype.visitList = function (ctx) {
-    return this.x3j(ctx);
+  protoOf(PrologVisitor).visitList = function (ctx) {
+    return this.s3h(ctx);
   };
-  PrologVisitor.prototype.y3j = function (ctx) {
+  protoOf(PrologVisitor).t3h = function (ctx) {
     var tmp;
     if (ctx.length === 1) {
-      tmp = this.m3j_1.setOf([ctx.items[0].accept(this)]);
+      tmp = this.h3h_1.setOf([ctx.items[0].accept(this)]);
     } else {
       var tmp$ret$1;
       // Inline function 'kotlin.collections.map' call
-      var tmp0_map = ctx.items;
+      var tmp1_map = ctx.items;
       var tmp$ret$0;
       // Inline function 'kotlin.collections.mapTo' call
-      var tmp0_mapTo = ArrayList_init_$Create$(tmp0_map.length);
-      var indexedObject = tmp0_map;
+      var tmp0_mapTo = ArrayList_init_$Create$(tmp1_map.length);
+      var indexedObject = tmp1_map;
       var inductionVariable = 0;
       var last = indexedObject.length;
       while (inductionVariable < last) {
         var item = indexedObject[inductionVariable];
         inductionVariable = inductionVariable + 1 | 0;
-        tmp0_mapTo.g(this.n3j(item));
+        tmp0_mapTo.g(this.i3h(item));
       }
       tmp$ret$0 = tmp0_mapTo;
       tmp$ret$1 = tmp$ret$0;
-      tmp = this.m3j_1.setOfIterable(tmp$ret$1);
+      tmp = this.h3h_1.setOfIterable(tmp$ret$1);
     }
     return tmp;
   };
-  PrologVisitor.prototype.visitBlock = function (ctx) {
-    return this.y3j(ctx);
+  protoOf(PrologVisitor).visitBlock = function (ctx) {
+    return this.t3h(ctx);
   };
   function termParserWithOperators(operators, scope) {
+    scope = scope === VOID ? Companion_getInstance_0().empty() : scope;
     return new TermParserImpl(scope, operators);
   }
   function TermParserImpl(scope, defaultOperatorSet) {
-    this.z3j_1 = scope;
-    this.a3k_1 = defaultOperatorSet;
+    this.u3h_1 = scope;
+    this.v3h_1 = defaultOperatorSet;
   }
-  TermParserImpl.prototype.c3j = function () {
-    return this.a3k_1;
+  protoOf(TermParserImpl).x3g = function () {
+    return this.v3h_1;
   };
-  TermParserImpl.prototype.b3k = function (input, operators) {
-    return PrologParserFactory_getInstance().i3j(input, operators).accept(new PrologVisitor(this.z3j_1));
+  protoOf(TermParserImpl).w3h = function (input, operators) {
+    return PrologParserFactory_getInstance().d3h(input, operators).accept(new PrologVisitor(this.u3h_1));
   };
-  TermParserImpl.prototype.parseTermWithOperators = function (input, operators) {
-    return this.b3k(input, operators);
+  protoOf(TermParserImpl).parseTermWithOperators = function (input, operators) {
+    return this.w3h(input, operators);
   };
   //region block: post-declaration
-  TermParserImpl.prototype.parseTerm = parseTerm;
-  TermParserImpl.prototype.parseStructWithOperators = parseStructWithOperators;
-  TermParserImpl.prototype.parseStruct = parseStruct;
-  TermParserImpl.prototype.parseConstantWithOperators = parseConstantWithOperators;
-  TermParserImpl.prototype.parseConstant = parseConstant;
-  TermParserImpl.prototype.parseVarWithOperators = parseVarWithOperators;
-  TermParserImpl.prototype.parseVar = parseVar;
-  TermParserImpl.prototype.parseAtomWithOperators = parseAtomWithOperators;
-  TermParserImpl.prototype.parseAtom = parseAtom;
-  TermParserImpl.prototype.parseNumericWithOperators = parseNumericWithOperators;
-  TermParserImpl.prototype.parseNumeric = parseNumeric;
-  TermParserImpl.prototype.parseIntegerWithOperators = parseIntegerWithOperators;
-  TermParserImpl.prototype.parseInteger = parseInteger;
-  TermParserImpl.prototype.parseRealWithOperators = parseRealWithOperators;
-  TermParserImpl.prototype.parseReal = parseReal;
-  TermParserImpl.prototype.parseClauseWithOperators = parseClauseWithOperators;
-  TermParserImpl.prototype.parseClause = parseClause;
-  TermParserImpl.prototype.parseRuleWithOperators = parseRuleWithOperators;
-  TermParserImpl.prototype.parseRule = parseRule;
-  TermParserImpl.prototype.parseFactWithOperators = parseFactWithOperators;
-  TermParserImpl.prototype.parseFact = parseFact;
-  TermParserImpl.prototype.parseDirectiveWithOperators = parseDirectiveWithOperators;
-  TermParserImpl.prototype.parseDirective = parseDirective;
+  protoOf(TermParserImpl).parseTerm = parseTerm;
+  protoOf(TermParserImpl).parseStructWithOperators = parseStructWithOperators;
+  protoOf(TermParserImpl).parseStruct = parseStruct;
+  protoOf(TermParserImpl).parseConstantWithOperators = parseConstantWithOperators;
+  protoOf(TermParserImpl).parseConstant = parseConstant;
+  protoOf(TermParserImpl).parseVarWithOperators = parseVarWithOperators;
+  protoOf(TermParserImpl).parseVar = parseVar;
+  protoOf(TermParserImpl).parseAtomWithOperators = parseAtomWithOperators;
+  protoOf(TermParserImpl).parseAtom = parseAtom;
+  protoOf(TermParserImpl).parseNumericWithOperators = parseNumericWithOperators;
+  protoOf(TermParserImpl).parseNumeric = parseNumeric;
+  protoOf(TermParserImpl).parseIntegerWithOperators = parseIntegerWithOperators;
+  protoOf(TermParserImpl).parseInteger = parseInteger;
+  protoOf(TermParserImpl).parseRealWithOperators = parseRealWithOperators;
+  protoOf(TermParserImpl).parseReal = parseReal;
+  protoOf(TermParserImpl).parseClauseWithOperators = parseClauseWithOperators;
+  protoOf(TermParserImpl).parseClause = parseClause;
+  protoOf(TermParserImpl).parseRuleWithOperators = parseRuleWithOperators;
+  protoOf(TermParserImpl).parseRule = parseRule;
+  protoOf(TermParserImpl).parseFactWithOperators = parseFactWithOperators;
+  protoOf(TermParserImpl).parseFact = parseFact;
+  protoOf(TermParserImpl).parseDirectiveWithOperators = parseDirectiveWithOperators;
+  protoOf(TermParserImpl).parseDirective = parseDirective;
   //endregion
   //region block: exports
   _.$_$ = _.$_$ || {};
-  _.$_$.a = toClause$default;
-  _.$_$.b = PrologVisitor_init_$Create$;
-  _.$_$.c = PrologParserFactory_getInstance;
-  _.$_$.d = ParseException;
-  _.$_$.e = parseStruct_0;
-  _.$_$.f = parseStructWithOperators_0;
+  _.$_$.a = PrologParserFactory_getInstance;
+  _.$_$.b = ParseException;
+  _.$_$.c = PrologVisitor;
+  _.$_$.d = parseStruct_0;
+  _.$_$.e = parseStructWithOperators_0;
+  _.$_$.f = termToClause;
   //endregion
   return _;
-}(module.exports, require('@tuprolog/parser-utils'), require('antlr4'), require('antlr4/src/antlr4/error'), require('antlr4/src/antlr4/atn'), require('./kotlin-kotlin-stdlib-js-ir.js'), require('./2p-core.js'), require('./2p-parser-js.js'), require('./kt-math.js')));
+}));
 
 //# sourceMappingURL=2p-parser-core.js.map