@tuprolog/arg2p 0.10.2 → 0.11.2

package/arg2p.js

@@ -1,128 +1,127 @@
-(function (root, factory) {
+(function (factory) {
   if (typeof define === 'function' && define.amd)
     define(['exports', './kotlin-kotlin-stdlib.js', './arg2p-core.js', './2p-theory.js', './2p-parser-theory.js', './2p-solve.js', './2p-solve-classic.js', './arg2p-causality-solver.js', './2p-core.js', './2p-parser-core.js', './kt-math.js'], factory);
   else if (typeof exports === 'object')
     factory(module.exports, require('./kotlin-kotlin-stdlib.js'), require('./arg2p-core.js'), require('./2p-theory.js'), require('./2p-parser-theory.js'), require('./2p-solve.js'), require('./2p-solve-classic.js'), require('./arg2p-causality-solver.js'), require('./2p-core.js'), require('./2p-parser-core.js'), require('./kt-math.js'));
   else {
-    if (typeof this['kotlin-kotlin-stdlib'] === 'undefined') {
+    if (typeof globalThis['kotlin-kotlin-stdlib'] === 'undefined') {
       throw new Error("Error loading module 'it.unibo.tuprolog.argumentation:arg2p'. Its dependency 'kotlin-kotlin-stdlib' was not found. Please, check whether 'kotlin-kotlin-stdlib' is loaded prior to 'it.unibo.tuprolog.argumentation:arg2p'.");
     }
-    if (typeof this['arg2p-core'] === 'undefined') {
+    if (typeof globalThis['arg2p-core'] === 'undefined') {
       throw new Error("Error loading module 'it.unibo.tuprolog.argumentation:arg2p'. Its dependency 'arg2p-core' was not found. Please, check whether 'arg2p-core' is loaded prior to 'it.unibo.tuprolog.argumentation:arg2p'.");
     }
-    if (typeof this['2p-theory'] === 'undefined') {
+    if (typeof globalThis['2p-theory'] === 'undefined') {
       throw new Error("Error loading module 'it.unibo.tuprolog.argumentation:arg2p'. Its dependency '2p-theory' was not found. Please, check whether '2p-theory' is loaded prior to 'it.unibo.tuprolog.argumentation:arg2p'.");
     }
-    if (typeof this['2p-parser-theory'] === 'undefined') {
+    if (typeof globalThis['2p-parser-theory'] === 'undefined') {
       throw new Error("Error loading module 'it.unibo.tuprolog.argumentation:arg2p'. Its dependency '2p-parser-theory' was not found. Please, check whether '2p-parser-theory' is loaded prior to 'it.unibo.tuprolog.argumentation:arg2p'.");
     }
-    if (typeof this['2p-solve'] === 'undefined') {
+    if (typeof globalThis['2p-solve'] === 'undefined') {
       throw new Error("Error loading module 'it.unibo.tuprolog.argumentation:arg2p'. Its dependency '2p-solve' was not found. Please, check whether '2p-solve' is loaded prior to 'it.unibo.tuprolog.argumentation:arg2p'.");
     }
-    if (typeof this['2p-solve-classic'] === 'undefined') {
+    if (typeof globalThis['2p-solve-classic'] === 'undefined') {
       throw new Error("Error loading module 'it.unibo.tuprolog.argumentation:arg2p'. Its dependency '2p-solve-classic' was not found. Please, check whether '2p-solve-classic' is loaded prior to 'it.unibo.tuprolog.argumentation:arg2p'.");
     }
-    if (typeof this['arg2p-causality-solver'] === 'undefined') {
+    if (typeof globalThis['arg2p-causality-solver'] === 'undefined') {
       throw new Error("Error loading module 'it.unibo.tuprolog.argumentation:arg2p'. Its dependency 'arg2p-causality-solver' was not found. Please, check whether 'arg2p-causality-solver' is loaded prior to 'it.unibo.tuprolog.argumentation:arg2p'.");
     }
-    if (typeof this['2p-core'] === 'undefined') {
+    if (typeof globalThis['2p-core'] === 'undefined') {
       throw new Error("Error loading module 'it.unibo.tuprolog.argumentation:arg2p'. Its dependency '2p-core' was not found. Please, check whether '2p-core' is loaded prior to 'it.unibo.tuprolog.argumentation:arg2p'.");
     }
-    if (typeof this['2p-parser-core'] === 'undefined') {
+    if (typeof globalThis['2p-parser-core'] === 'undefined') {
       throw new Error("Error loading module 'it.unibo.tuprolog.argumentation:arg2p'. Its dependency '2p-parser-core' was not found. Please, check whether '2p-parser-core' is loaded prior to 'it.unibo.tuprolog.argumentation:arg2p'.");
     }
-    if (typeof this['kt-math'] === 'undefined') {
+    if (typeof globalThis['kt-math'] === 'undefined') {
       throw new Error("Error loading module 'it.unibo.tuprolog.argumentation:arg2p'. Its dependency 'kt-math' was not found. Please, check whether 'kt-math' is loaded prior to 'it.unibo.tuprolog.argumentation:arg2p'.");
     }
-    root['it.unibo.tuprolog.argumentation:arg2p'] = factory(typeof this['it.unibo.tuprolog.argumentation:arg2p'] === 'undefined' ? {} : this['it.unibo.tuprolog.argumentation:arg2p'], this['kotlin-kotlin-stdlib'], this['arg2p-core'], this['2p-theory'], this['2p-parser-theory'], this['2p-solve'], this['2p-solve-classic'], this['arg2p-causality-solver'], this['2p-core'], this['2p-parser-core'], this['kt-math']);
+    globalThis['it.unibo.tuprolog.argumentation:arg2p'] = factory(typeof globalThis['it.unibo.tuprolog.argumentation:arg2p'] === 'undefined' ? {} : globalThis['it.unibo.tuprolog.argumentation:arg2p'], globalThis['kotlin-kotlin-stdlib'], globalThis['arg2p-core'], globalThis['2p-theory'], globalThis['2p-parser-theory'], globalThis['2p-solve'], globalThis['2p-solve-classic'], globalThis['arg2p-causality-solver'], globalThis['2p-core'], globalThis['2p-parser-core'], globalThis['kt-math']);
   }
-}(this, function (_, kotlin_kotlin, kotlin_it_unibo_tuprolog_argumentation_core, kotlin_it_unibo_tuprolog_theory, kotlin_it_unibo_tuprolog_parser_theory, kotlin_it_unibo_tuprolog_solve, kotlin_it_unibo_tuprolog_solve_classic, kotlin_it_unibo_tuprolog_argumentation_causality_solver, kotlin_it_unibo_tuprolog_core, kotlin_it_unibo_tuprolog_parser_core, kotlin_io_github_gciatto_kt_math) {
+}(function (_, kotlin_kotlin, kotlin_it_unibo_tuprolog_argumentation_core, kotlin_it_unibo_tuprolog_theory, kotlin_it_unibo_tuprolog_parser_theory, kotlin_it_unibo_tuprolog_solve, kotlin_it_unibo_tuprolog_solve_classic, kotlin_it_unibo_tuprolog_argumentation_causality_solver, kotlin_it_unibo_tuprolog_core, kotlin_it_unibo_tuprolog_parser_core, kotlin_io_github_gciatto_kt_math) {
   'use strict';
   //region block: imports
   var imul = Math.imul;
-  var protoOf = kotlin_kotlin.$_$.b6;
-  var VOID = kotlin_kotlin.$_$.d;
-  var getStringHashCode = kotlin_kotlin.$_$.m5;
-  var THROW_CCE = kotlin_kotlin.$_$.y9;
-  var classMeta = kotlin_kotlin.$_$.f5;
-  var setMetadataFor = kotlin_kotlin.$_$.c6;
-  var hashCode = kotlin_kotlin.$_$.n5;
-  var equals = kotlin_kotlin.$_$.i5;
-  var NoSuchElementException_init_$Create$ = kotlin_kotlin.$_$.z;
-  var getKClassFromExpression = kotlin_kotlin.$_$.b;
-  var Unit_instance = kotlin_kotlin.$_$.s1;
-  var contentEquals = kotlin_kotlin.$_$.m2;
-  var contentHashCode = kotlin_kotlin.$_$.n2;
-  var toString = kotlin_kotlin.$_$.g6;
+  var protoOf = kotlin_kotlin.$_$.m6;
+  var VOID = kotlin_kotlin.$_$.b;
+  var getStringHashCode = kotlin_kotlin.$_$.v5;
+  var initMetadataForClass = kotlin_kotlin.$_$.x5;
+  var toString = kotlin_kotlin.$_$.xa;
+  var hashCode = kotlin_kotlin.$_$.w5;
+  var equals = kotlin_kotlin.$_$.r5;
+  var NoSuchElementException_init_$Create$ = kotlin_kotlin.$_$.x;
+  var toString_0 = kotlin_kotlin.$_$.p6;
+  var getKClassFromExpression = kotlin_kotlin.$_$.d7;
+  var THROW_CCE = kotlin_kotlin.$_$.la;
+  var Unit_instance = kotlin_kotlin.$_$.k1;
+  var contentEquals = kotlin_kotlin.$_$.e2;
+  var contentHashCode = kotlin_kotlin.$_$.f2;
   var arg2pScope = kotlin_it_unibo_tuprolog_argumentation_core.$_$.e;
   var mineGraph = kotlin_it_unibo_tuprolog_argumentation_core.$_$.j;
-  var collectionSizeOrDefault = kotlin_kotlin.$_$.j2;
-  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.e;
-  var copyToArray = kotlin_kotlin.$_$.r2;
+  var collectionSizeOrDefault = kotlin_kotlin.$_$.b2;
+  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.c;
+  var copyToArray = kotlin_kotlin.$_$.j2;
   var Companion_instance = kotlin_it_unibo_tuprolog_theory.$_$.b;
   var parseTheory = kotlin_it_unibo_tuprolog_parser_theory.$_$.a;
   var Companion_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.h1;
   var ClassicSolverFactory_instance = kotlin_it_unibo_tuprolog_solve_classic.$_$.a;
   var Companion_instance_0 = kotlin_it_unibo_tuprolog_argumentation_core.$_$.c;
   var CausalitySolver = kotlin_it_unibo_tuprolog_argumentation_causality_solver.$_$.a;
-  var listOf = kotlin_kotlin.$_$.j3;
+  var listOf = kotlin_kotlin.$_$.b3;
   var Unknown_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.g1;
   var TrackVariables_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.f1;
   var Companion_instance_1 = kotlin_it_unibo_tuprolog_solve.$_$.s;
-  var toString_0 = kotlin_kotlin.$_$.ka;
-  var toInt = kotlin_kotlin.$_$.g9;
-  var filter = kotlin_kotlin.$_$.j7;
-  var map = kotlin_kotlin.$_$.v7;
-  var first = kotlin_kotlin.$_$.l7;
-  var ensureNotNull = kotlin_kotlin.$_$.ca;
+  var toInt = kotlin_kotlin.$_$.t9;
+  var filter = kotlin_kotlin.$_$.t7;
+  var map = kotlin_kotlin.$_$.f8;
+  var first = kotlin_kotlin.$_$.v7;
+  var ensureNotNull = kotlin_kotlin.$_$.pa;
   var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_core.$_$.u;
   var parseStructWithOperators = kotlin_it_unibo_tuprolog_parser_core.$_$.f;
   var parseTheoryWithOperators = kotlin_it_unibo_tuprolog_parser_theory.$_$.b;
   var Companion_instance_2 = kotlin_it_unibo_tuprolog_core.$_$.x;
-  var objectMeta = kotlin_kotlin.$_$.a6;
-  var defineProp = kotlin_kotlin.$_$.h5;
+  var initMetadataForObject = kotlin_kotlin.$_$.b6;
+  var defineProp = kotlin_kotlin.$_$.q5;
   //endregion
   //region block: pre-declaration
-  setMetadataFor(BridgedArgument, 'BridgedArgument', classMeta);
-  setMetadataFor(BridgedAttack, 'BridgedAttack', classMeta);
-  setMetadataFor(JsPair, 'JsPair', classMeta);
-  setMetadataFor(JsIterator, 'JsIterator', classMeta);
-  setMetadataFor(BridgedResult, 'BridgedResult', classMeta);
-  setMetadataFor(BridgedGraph, 'BridgedGraph', classMeta);
-  setMetadataFor(BridgedSolution, 'BridgedSolution', classMeta);
-  setMetadataFor(JsBridge, 'JsBridge', objectMeta);
+  initMetadataForClass(BridgedArgument, 'BridgedArgument');
+  initMetadataForClass(BridgedAttack, 'BridgedAttack');
+  initMetadataForClass(JsPair, 'JsPair');
+  initMetadataForClass(JsIterator, 'JsIterator');
+  initMetadataForClass(BridgedResult, 'BridgedResult');
+  initMetadataForClass(BridgedGraph, 'BridgedGraph');
+  initMetadataForClass(BridgedSolution, 'BridgedSolution');
+  initMetadataForObject(JsBridge, 'JsBridge');
   //endregion
   function BridgedArgument(id, descriptor, label) {
     this.id = id;
     this.descriptor = descriptor;
     this.label = label;
   }
-  protoOf(BridgedArgument).s13 = function () {
+  protoOf(BridgedArgument).t12 = function () {
     return this.id;
   };
-  protoOf(BridgedArgument).r3l = function () {
+  protoOf(BridgedArgument).d3k = function () {
     return this.descriptor;
   };
-  protoOf(BridgedArgument).p3p = function () {
+  protoOf(BridgedArgument).b3o = function () {
     return this.label;
   };
-  protoOf(BridgedArgument).gd = function () {
+  protoOf(BridgedArgument).zb = function () {
     return this.id;
   };
-  protoOf(BridgedArgument).hd = function () {
+  protoOf(BridgedArgument).ac = function () {
     return this.descriptor;
   };
-  protoOf(BridgedArgument).q3p = function () {
+  protoOf(BridgedArgument).c3o = function () {
     return this.label;
   };
-  protoOf(BridgedArgument).r3p = function (id, descriptor, label) {
+  protoOf(BridgedArgument).d3o = function (id, descriptor, label) {
     return new BridgedArgument(id, descriptor, label);
   };
   protoOf(BridgedArgument).copy = function (id, descriptor, label, $super) {
     id = id === VOID ? this.id : id;
     descriptor = descriptor === VOID ? this.descriptor : descriptor;
     label = label === VOID ? this.label : label;
-    return this.r3p(id, descriptor, label);
+    return $super === VOID ? this.d3o(id, descriptor, label) : $super.d3o.call(this, id, descriptor, label);
   };
   protoOf(BridgedArgument).toString = function () {
     return 'BridgedArgument(id=' + this.id + ', descriptor=' + this.descriptor + ', label=' + this.label + ')';
@@ -138,12 +137,11 @@
       return true;
     if (!(other instanceof BridgedArgument))
       return false;
-    var tmp0_other_with_cast = other instanceof BridgedArgument ? other : THROW_CCE();
-    if (!(this.id === tmp0_other_with_cast.id))
+    if (!(this.id === other.id))
       return false;
-    if (!(this.descriptor === tmp0_other_with_cast.descriptor))
+    if (!(this.descriptor === other.descriptor))
       return false;
-    if (!(this.label === tmp0_other_with_cast.label))
+    if (!(this.label === other.label))
       return false;
     return true;
   };
@@ -151,25 +149,25 @@
     this.from = from;
     this.to = to;
   }
-  protoOf(BridgedAttack).s3p = function () {
+  protoOf(BridgedAttack).e3o = function () {
     return this.from;
   };
-  protoOf(BridgedAttack).t3p = function () {
+  protoOf(BridgedAttack).f3o = function () {
     return this.to;
   };
-  protoOf(BridgedAttack).gd = function () {
+  protoOf(BridgedAttack).zb = function () {
     return this.from;
   };
-  protoOf(BridgedAttack).hd = function () {
+  protoOf(BridgedAttack).ac = function () {
     return this.to;
   };
-  protoOf(BridgedAttack).u3p = function (from, to) {
+  protoOf(BridgedAttack).g3o = function (from, to) {
     return new BridgedAttack(from, to);
   };
   protoOf(BridgedAttack).copy = function (from, to, $super) {
     from = from === VOID ? this.from : from;
     to = to === VOID ? this.to : to;
-    return this.u3p(from, to);
+    return $super === VOID ? this.g3o(from, to) : $super.g3o.call(this, from, to);
   };
   protoOf(BridgedAttack).toString = function () {
     return 'BridgedAttack(from=' + this.from + ', to=' + this.to + ')';
@@ -184,10 +182,9 @@
       return true;
     if (!(other instanceof BridgedAttack))
       return false;
-    var tmp0_other_with_cast = other instanceof BridgedAttack ? other : THROW_CCE();
-    if (!(this.from === tmp0_other_with_cast.from))
+    if (!(this.from === other.from))
       return false;
-    if (!(this.to === tmp0_other_with_cast.to))
+    if (!(this.to === other.to))
       return false;
     return true;
   };
@@ -195,28 +192,28 @@
     this.first = first;
     this.second = second;
   }
-  protoOf(JsPair).v3p = function () {
+  protoOf(JsPair).h3o = function () {
     return this.first;
   };
-  protoOf(JsPair).w3p = function () {
+  protoOf(JsPair).i3o = function () {
     return this.second;
   };
-  protoOf(JsPair).gd = function () {
+  protoOf(JsPair).zb = function () {
     return this.first;
   };
-  protoOf(JsPair).hd = function () {
+  protoOf(JsPair).ac = function () {
     return this.second;
   };
-  protoOf(JsPair).x3p = function (first, second) {
+  protoOf(JsPair).j3o = function (first, second) {
     return new JsPair(first, second);
   };
   protoOf(JsPair).copy = function (first, second, $super) {
     first = first === VOID ? this.first : first;
     second = second === VOID ? this.second : second;
-    return this.x3p(first, second);
+    return $super === VOID ? this.j3o(first, second) : $super.j3o.call(this, first, second);
   };
   protoOf(JsPair).toString = function () {
-    return 'JsPair(first=' + this.first + ', second=' + this.second + ')';
+    return 'JsPair(first=' + toString(this.first) + ', second=' + toString(this.second) + ')';
   };
   protoOf(JsPair).hashCode = function () {
     var result = this.first == null ? 0 : hashCode(this.first);
@@ -228,51 +225,50 @@
       return true;
     if (!(other instanceof JsPair))
       return false;
-    var tmp0_other_with_cast = other instanceof JsPair ? other : THROW_CCE();
-    if (!equals(this.first, tmp0_other_with_cast.first))
+    if (!equals(this.first, other.first))
       return false;
-    if (!equals(this.second, tmp0_other_with_cast.second))
+    if (!equals(this.second, other.second))
       return false;
     return true;
   };
   function JsIterator(nextFunction, hasNextFunction) {
-    this.y3p_1 = nextFunction;
-    this.z3p_1 = hasNextFunction;
+    this.k3o_1 = nextFunction;
+    this.l3o_1 = hasNextFunction;
   }
   protoOf(JsIterator).hasNext = function () {
-    return this.z3p_1();
+    return this.l3o_1();
   };
   protoOf(JsIterator).next = function () {
     if (!this.hasNext())
       throw NoSuchElementException_init_$Create$('No more elements');
-    return this.y3p_1();
+    return this.k3o_1();
   };
   function BridgedResult(i, query) {
     this.i = i;
     this.query = query;
   }
-  protoOf(BridgedResult).a3q = function () {
+  protoOf(BridgedResult).m3o = function () {
     return this.i;
   };
-  protoOf(BridgedResult).q1w = function () {
+  protoOf(BridgedResult).z1t = function () {
     return this.query;
   };
-  protoOf(BridgedResult).gd = function () {
+  protoOf(BridgedResult).zb = function () {
     return this.i;
   };
-  protoOf(BridgedResult).hd = function () {
+  protoOf(BridgedResult).ac = function () {
     return this.query;
   };
-  protoOf(BridgedResult).b3q = function (i, query) {
+  protoOf(BridgedResult).n3o = function (i, query) {
     return new BridgedResult(i, query);
   };
   protoOf(BridgedResult).copy = function (i, query, $super) {
     i = i === VOID ? this.i : i;
     query = query === VOID ? this.query : query;
-    return this.b3q(i, query);
+    return $super === VOID ? this.n3o(i, query) : $super.n3o.call(this, i, query);
   };
   protoOf(BridgedResult).toString = function () {
-    return 'BridgedResult(i=' + this.i + ', query=' + this.query + ')';
+    return 'BridgedResult(i=' + toString_0(this.i) + ', query=' + this.query + ')';
   };
   protoOf(BridgedResult).hashCode = function () {
     var result = hashCode(this.i);
@@ -284,10 +280,9 @@
       return true;
     if (!(other instanceof BridgedResult))
       return false;
-    var tmp0_other_with_cast = other instanceof BridgedResult ? other : THROW_CCE();
-    if (!equals(this.i, tmp0_other_with_cast.i))
+    if (!equals(this.i, other.i))
       return false;
-    if (!(this.query === tmp0_other_with_cast.query))
+    if (!(this.query === other.query))
       return false;
     return true;
   };
@@ -295,16 +290,16 @@
     this.arguments = arguments_0;
     this.attacks = attacks;
   }
-  protoOf(BridgedGraph).k2b = function () {
+  protoOf(BridgedGraph).o28 = function () {
     return this.arguments;
   };
-  protoOf(BridgedGraph).c3q = function () {
+  protoOf(BridgedGraph).o3o = function () {
     return this.attacks;
   };
   protoOf(BridgedGraph).equals = function (other) {
     if (this === other)
       return true;
-    if (other == null ? true : !getKClassFromExpression(this).equals(getKClassFromExpression(other)))
+    if (other == null || !getKClassFromExpression(this).equals(getKClassFromExpression(other)))
       return false;
     if (!(other instanceof BridgedGraph))
       THROW_CCE();
@@ -319,22 +314,22 @@
     result = imul(31, result) + contentHashCode(this.attacks) | 0;
     return result;
   };
-  protoOf(BridgedGraph).gd = function () {
+  protoOf(BridgedGraph).zb = function () {
     return this.arguments;
   };
-  protoOf(BridgedGraph).hd = function () {
+  protoOf(BridgedGraph).ac = function () {
     return this.attacks;
   };
-  protoOf(BridgedGraph).d3q = function (arguments_0, attacks) {
+  protoOf(BridgedGraph).p3o = function (arguments_0, attacks) {
     return new BridgedGraph(arguments_0, attacks);
   };
   protoOf(BridgedGraph).copy = function (arguments_0, attacks, $super) {
     arguments_0 = arguments_0 === VOID ? this.arguments : arguments_0;
     attacks = attacks === VOID ? this.attacks : attacks;
-    return this.d3q(arguments_0, attacks);
+    return $super === VOID ? this.p3o(arguments_0, attacks) : $super.p3o.call(this, arguments_0, attacks);
   };
   protoOf(BridgedGraph).toString = function () {
-    return 'BridgedGraph(arguments=' + toString(this.arguments) + ', attacks=' + toString(this.attacks) + ')';
+    return 'BridgedGraph(arguments=' + toString_0(this.arguments) + ', attacks=' + toString_0(this.attacks) + ')';
   };
   function BridgedSolution(res, query, substitutions, exception, graph) {
     this.res = res;
@@ -343,25 +338,25 @@
     this.exception = exception;
     this.graph = graph;
   }
-  protoOf(BridgedSolution).e3q = function () {
+  protoOf(BridgedSolution).q3o = function () {
     return this.res;
   };
-  protoOf(BridgedSolution).q1w = function () {
+  protoOf(BridgedSolution).z1t = function () {
     return this.query;
   };
-  protoOf(BridgedSolution).f3q = function () {
+  protoOf(BridgedSolution).r3o = function () {
     return this.substitutions;
   };
-  protoOf(BridgedSolution).t1w = function () {
+  protoOf(BridgedSolution).c1u = function () {
     return this.exception;
   };
-  protoOf(BridgedSolution).g3q = function () {
+  protoOf(BridgedSolution).s3o = function () {
     return this.graph;
   };
   protoOf(BridgedSolution).equals = function (other) {
     if (this === other)
       return true;
-    if (other == null ? true : !getKClassFromExpression(this).equals(getKClassFromExpression(other)))
+    if (other == null || !getKClassFromExpression(this).equals(getKClassFromExpression(other)))
       return false;
     if (!(other instanceof BridgedSolution))
       THROW_CCE();
@@ -382,22 +377,22 @@
     result = imul(31, result) + getStringHashCode(this.exception) | 0;
     return result;
   };
-  protoOf(BridgedSolution).gd = function () {
+  protoOf(BridgedSolution).zb = function () {
     return this.res;
   };
-  protoOf(BridgedSolution).hd = function () {
+  protoOf(BridgedSolution).ac = function () {
     return this.query;
   };
-  protoOf(BridgedSolution).q3p = function () {
+  protoOf(BridgedSolution).c3o = function () {
     return this.substitutions;
   };
-  protoOf(BridgedSolution).h3q = function () {
+  protoOf(BridgedSolution).t3o = function () {
     return this.exception;
   };
-  protoOf(BridgedSolution).i3q = function () {
+  protoOf(BridgedSolution).u3o = function () {
     return this.graph;
   };
-  protoOf(BridgedSolution).j3q = function (res, query, substitutions, exception, graph) {
+  protoOf(BridgedSolution).v3o = function (res, query, substitutions, exception, graph) {
     return new BridgedSolution(res, query, substitutions, exception, graph);
   };
   protoOf(BridgedSolution).copy = function (res, query, substitutions, exception, graph, $super) {
@@ -406,38 +401,36 @@
     substitutions = substitutions === VOID ? this.substitutions : substitutions;
     exception = exception === VOID ? this.exception : exception;
     graph = graph === VOID ? this.graph : graph;
-    return this.j3q(res, query, substitutions, exception, graph);
+    return $super === VOID ? this.v3o(res, query, substitutions, exception, graph) : $super.v3o.call(this, res, query, substitutions, exception, graph);
   };
   protoOf(BridgedSolution).toString = function () {
-    return 'BridgedSolution(res=' + this.res + ', query=' + this.query + ', substitutions=' + toString(this.substitutions) + ', exception=' + this.exception + ', graph=' + this.graph + ')';
+    return 'BridgedSolution(res=' + this.res + ', query=' + this.query + ', substitutions=' + toString_0(this.substitutions) + ', exception=' + this.exception + ', graph=' + this.graph.toString() + ')';
   };
   function graphOf($this, solver) {
     var graph = mineGraph(solver, arg2pScope(JsBridge$graphOf$lambda(solver)));
-    // Inline function 'kotlin.collections.toTypedArray' call
     // Inline function 'kotlin.collections.map' call
-    var this_0 = graph.b3m_1;
+    var this_0 = graph.n3k_1;
     // 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.argumentation.bridge.JsBridge.graphOf.<anonymous>' call
-      var tmp$ret$0 = new BridgedArgument(item.w3l_1.l3l_1, item.w3l_1.r3l(), item.x3l_1);
-      destination.o(tmp$ret$0);
+    var _iterator__ex2g4s = this_0.p();
+    while (_iterator__ex2g4s.s()) {
+      var item = _iterator__ex2g4s.t();
+      var tmp$ret$0 = new BridgedArgument(item.i3k_1.y3j_1, item.i3k_1.d3k(), item.j3k_1);
+      destination.m(tmp$ret$0);
     }
-    var tmp = copyToArray(destination);
     // Inline function 'kotlin.collections.toTypedArray' call
+    var tmp = copyToArray(destination);
     // Inline function 'kotlin.collections.map' call
-    var this_1 = graph.z3l_1;
+    var this_1 = graph.l3k_1;
     // Inline function 'kotlin.collections.mapTo' call
     var destination_0 = ArrayList_init_$Create$(collectionSizeOrDefault(this_1, 10));
-    var tmp0_iterator_0 = this_1.r();
-    while (tmp0_iterator_0.s()) {
-      var item_0 = tmp0_iterator_0.u();
-      // Inline function 'it.unibo.tuprolog.argumentation.bridge.JsBridge.graphOf.<anonymous>' call
-      var tmp$ret$4 = new BridgedAttack(item_0.s3l_1.l3l_1, item_0.t3l_1.l3l_1);
-      destination_0.o(tmp$ret$4);
+    var _iterator__ex2g4s_0 = this_1.p();
+    while (_iterator__ex2g4s_0.s()) {
+      var item_0 = _iterator__ex2g4s_0.t();
+      var tmp$ret$4 = new BridgedAttack(item_0.e3k_1.y3j_1, item_0.f3k_1.y3j_1);
+      destination_0.m(tmp$ret$4);
     }
+    // Inline function 'kotlin.collections.toTypedArray' call
     var tmp$ret$7 = copyToArray(destination_0);
     return new BridgedGraph(tmp, tmp$ret$7);
   }
@@ -445,8 +438,8 @@
     var flags = parseTheory(Companion_instance, flagsText);
     var libFlags = Companion_getInstance().of('argumentation.flags', VOID, flags);
     var tmp = ClassicSolverFactory_instance;
-    var tmp_0 = ClassicSolverFactory_instance.p1y().plusRuntime(Companion_instance_0.u3a(VOID, listOf(new CausalitySolver())).q3a().plusLibrary(libFlags));
-    var tmp_1 = ClassicSolverFactory_instance.s1y().setNotable(Unknown_getInstance(), Unknown_getInstance().b2a_1).setNotable(TrackVariables_getInstance(), TrackVariables_getInstance().v29_1);
+    var tmp_0 = ClassicSolverFactory_instance.u1v().plusRuntime(Companion_instance_0.g39(VOID, listOf(new CausalitySolver())).c39().plusLibrary(libFlags));
+    var tmp_1 = ClassicSolverFactory_instance.x1v().setNotable(Unknown_getInstance(), Unknown_getInstance().f27_1).setNotable(TrackVariables_getInstance(), TrackVariables_getInstance().z26_1);
     var tmp_2 = Companion_instance.emptyWithDefaultUnificator();
     var tmp_3 = Companion_instance_1.of(outputConsumer);
     var tmp_4 = Companion_instance_1;
@@ -455,61 +448,60 @@
     return tmp.mutableSolverWithDefaultBuiltinsAnd(VOID, tmp_0, tmp_1, tmp_2, VOID, VOID, tmp_3, tmp_5, tmp_6.of(JsBridge$solverOf$lambda_0));
   }
   function JsBridge$graphOf$lambda$lambda(it) {
-    return it.u1w();
+    return it.d1u();
   }
   function JsBridge$graphOf$lambda$lambda_0($this_arg2pScope) {
     return function (it) {
-      return toInt(toString_0(it.m1v().x2($this_arg2pScope.c1h())));
+      return toInt(toString(it.v1s().h2($this_arg2pScope.d1g())));
     };
   }
   function JsBridge$graphOf$lambda($solver) {
     return function ($this$arg2pScope) {
-      var tmp = $solver.solve($this$arg2pScope.stringInvoke('context_active', $this$arg2pScope.c1h(), []));
+      var tmp = $solver.solve($this$arg2pScope.stringInvoke('context_active', $this$arg2pScope.d1g(), []));
       var tmp_0 = filter(tmp, JsBridge$graphOf$lambda$lambda);
       return first(map(tmp_0, JsBridge$graphOf$lambda$lambda_0($this$arg2pScope)));
     };
   }
-  function JsBridge$solverOf$lambda(_anonymous_parameter_0__qggqh8) {
+  function JsBridge$solverOf$lambda(_unused_var__etf5q3) {
     return Unit_instance;
   }
-  function JsBridge$solverOf$lambda_0(_anonymous_parameter_0__qggqh8) {
+  function JsBridge$solverOf$lambda_0(_unused_var__etf5q3) {
     return Unit_instance;
   }
   function JsBridge$solve$lambda($formatter, $solver) {
     return function (sol) {
       var tmp;
-      if (sol.u1w()) {
-        var tmp_0 = $formatter.f13(ensureNotNull(sol.o1w()));
-        // Inline function 'kotlin.collections.toTypedArray' call
+      if (sol.d1u()) {
+        var tmp_0 = $formatter.g12(ensureNotNull(sol.x1t()));
         // Inline function 'kotlin.collections.map' call
-        var this_0 = sol.m1v();
+        var this_0 = sol.v1s();
         // Inline function 'kotlin.collections.mapTo' call
-        var destination = ArrayList_init_$Create$(this_0.l());
+        var destination = ArrayList_init_$Create$(this_0.v());
         // Inline function 'kotlin.collections.iterator' call
-        var tmp0_iterator = this_0.n2().r();
-        while (tmp0_iterator.s()) {
-          var item = tmp0_iterator.u();
-          // Inline function 'it.unibo.tuprolog.argumentation.bridge.JsBridge.solve.<anonymous>.<anonymous>' call
-          var tmp$ret$1 = new JsPair($formatter.f13(item.q2()), $formatter.f13(item.r2()));
-          destination.o(tmp$ret$1);
+        var _iterator__ex2g4s = this_0.e1().p();
+        while (_iterator__ex2g4s.s()) {
+          var item = _iterator__ex2g4s.t();
+          var tmp$ret$1 = new JsPair($formatter.g12(item.d2()), $formatter.g12(item.e2()));
+          destination.m(tmp$ret$1);
         }
+        // Inline function 'kotlin.collections.toTypedArray' call
         var tmp$ret$4 = copyToArray(destination);
         tmp = new BridgedSolution('yes', tmp_0, tmp$ret$4, '', graphOf(JsBridge_instance, $solver));
-      } else if (sol.v1w()) {
+      } else if (sol.e1u()) {
         // Inline function 'kotlin.emptyArray' call
         var tmp$ret$5 = [];
         tmp = new BridgedSolution('no', '', tmp$ret$5, '', graphOf(JsBridge_instance, $solver));
       } else {
         // Inline function 'kotlin.emptyArray' call
         var tmp$ret$6 = [];
-        tmp = new BridgedSolution('halt', '', tmp$ret$6, toString_0(sol.t1w()), graphOf(JsBridge_instance, $solver));
+        tmp = new BridgedSolution('halt', '', tmp$ret$6, toString(sol.c1u()), graphOf(JsBridge_instance, $solver));
       }
       return tmp;
     };
   }
   function JsBridge$solve$lambda_0($i) {
     return function () {
-      return $i.s() ? $i.u() : null;
+      return $i.s() ? $i.t() : null;
     };
   }
   function JsBridge$solve$lambda_1($i) {
@@ -521,16 +513,16 @@
   }
   protoOf(JsBridge).solve = function (queryText, theoryText, flagsText, outputConsumer) {
     var solver = solverOf(this, outputConsumer, flagsText);
-    var query = parseStructWithOperators(Companion_getInstance_0(), queryText, solver.z1v());
-    var theory = parseTheoryWithOperators(Companion_instance, theoryText, solver.z1v());
+    var query = parseStructWithOperators(Companion_getInstance_0(), queryText, solver.i1t());
+    var theory = parseTheoryWithOperators(Companion_instance, theoryText, solver.i1t());
     var formatter = Companion_instance_2.prettyExpressionsPrettyVariablesDefaultOperators();
     solver.loadStaticKb(theory);
     var tmp = solver.solve(query);
     var solutions = map(tmp, JsBridge$solve$lambda(formatter, solver));
-    var i = solutions.r();
+    var i = solutions.p();
     var tmp_0 = JsBridge$solve$lambda_0(i);
     var jsIt = new JsIterator(tmp_0, JsBridge$solve$lambda_1(i));
-    return new BridgedResult(jsIt, formatter.f13(query));
+    return new BridgedResult(jsIt, formatter.g12(query));
   };
   var JsBridge_instance;
   function JsBridge_getInstance() {
@@ -553,7 +545,7 @@
     $it$unibo$tuprolog$argumentation$bridge.BridgedResult = BridgedResult;
     $it$unibo$tuprolog$argumentation$bridge.BridgedGraph = BridgedGraph;
     $it$unibo$tuprolog$argumentation$bridge.BridgedSolution = BridgedSolution;
-    defineProp($it$unibo$tuprolog$argumentation$bridge, 'JsBridge', JsBridge_getInstance);
+    defineProp($it$unibo$tuprolog$argumentation$bridge, 'JsBridge', JsBridge_getInstance, VOID, true);
   }
   $jsExportAll$(_);
   kotlin_io_github_gciatto_kt_math.$jsExportAll$(_);