@tuprolog/arg2p 0.16.7 → 0.17.0

package/arg2p.js

@@ -1,12 +1,18 @@
 (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-prolog.js', './arg2p-causality-solver.js', './2p-core.js', './2p-parser-core.js', './kt-math.js'], factory);
+    define(['exports', './kotlin-kotlin-stdlib.js', './2p-core.js', './2p-parser-core.js', './arg2p-core.js', './2p-theory.js', './2p-parser-theory.js', './2p-solve.js', './2p-solve-prolog.js', './arg2p-causality-solver.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-prolog.js'), require('./arg2p-causality-solver.js'), require('./2p-core.js'), require('./2p-parser-core.js'), require('./kt-math.js'));
+    factory(module.exports, require('./kotlin-kotlin-stdlib.js'), require('./2p-core.js'), require('./2p-parser-core.js'), require('./arg2p-core.js'), require('./2p-theory.js'), require('./2p-parser-theory.js'), require('./2p-solve.js'), require('./2p-solve-prolog.js'), require('./arg2p-causality-solver.js'), require('./kt-math.js'));
   else {
     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 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 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 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'.");
     }
@@ -25,61 +31,60 @@
     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 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 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 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'.");
     }
-    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-prolog'], globalThis['arg2p-causality-solver'], globalThis['2p-core'], globalThis['2p-parser-core'], globalThis['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['2p-core'], globalThis['2p-parser-core'], globalThis['arg2p-core'], globalThis['2p-theory'], globalThis['2p-parser-theory'], globalThis['2p-solve'], globalThis['2p-solve-prolog'], globalThis['arg2p-causality-solver'], globalThis['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_prolog, 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_core, kotlin_it_unibo_tuprolog_parser_core, 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_prolog, kotlin_it_unibo_tuprolog_argumentation_causality_solver, kotlin_io_github_gciatto_kt_math) {
   'use strict';
   //region block: imports
   var imul = Math.imul;
-  var protoOf = kotlin_kotlin.$_$.s7;
+  var protoOf = kotlin_kotlin.$_$.v7;
   var VOID = kotlin_kotlin.$_$.b;
-  var getStringHashCode = kotlin_kotlin.$_$.d7;
-  var initMetadataForClass = kotlin_kotlin.$_$.f7;
-  var toString = kotlin_kotlin.$_$.tc;
-  var hashCode = kotlin_kotlin.$_$.e7;
-  var equals = kotlin_kotlin.$_$.y6;
-  var NoSuchElementException_init_$Create$ = kotlin_kotlin.$_$.q1;
-  var toString_0 = kotlin_kotlin.$_$.v7;
-  var getKClassFromExpression = kotlin_kotlin.$_$.k8;
-  var THROW_CCE = kotlin_kotlin.$_$.gc;
+  var getStringHashCode = kotlin_kotlin.$_$.g7;
+  var initMetadataForClass = kotlin_kotlin.$_$.i7;
+  var toString = kotlin_kotlin.$_$.xc;
+  var hashCode = kotlin_kotlin.$_$.h7;
+  var equals = kotlin_kotlin.$_$.b7;
+  var NoSuchElementException_init_$Create$ = kotlin_kotlin.$_$.s1;
+  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.t;
   var Unit_instance = kotlin_kotlin.$_$.q;
-  var contentEquals = kotlin_kotlin.$_$.s2;
-  var contentHashCode = kotlin_kotlin.$_$.u2;
-  var arg2pScope = kotlin_it_unibo_tuprolog_argumentation_core.$_$.e;
-  var mineGraph = kotlin_it_unibo_tuprolog_argumentation_core.$_$.j;
-  var collectionSizeOrDefault = kotlin_kotlin.$_$.q2;
-  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.s;
-  var copyToArray = kotlin_kotlin.$_$.a3;
+  var copyToArray = kotlin_kotlin.$_$.c3;
+  var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.u;
+  var parseStructWithOperators = kotlin_it_unibo_tuprolog_parser_core.$_$.f;
+  var distinct = kotlin_kotlin.$_$.y8;
+  var toList = kotlin_kotlin.$_$.fa;
+  var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_core.$_$.o;
+  var filter = kotlin_kotlin.$_$.d9;
+  var map = kotlin_kotlin.$_$.q9;
+  var getKClassFromExpression = kotlin_kotlin.$_$.n8;
+  var THROW_CCE = kotlin_kotlin.$_$.kc;
+  var contentEquals = kotlin_kotlin.$_$.u2;
+  var contentHashCode = kotlin_kotlin.$_$.w2;
+  var toString_0 = kotlin_kotlin.$_$.y7;
+  var arg2pScope = kotlin_it_unibo_tuprolog_argumentation_core.$_$.f;
   var Companion_instance = kotlin_it_unibo_tuprolog_theory.$_$.b;
   var parseTheory = kotlin_it_unibo_tuprolog_parser_theory.$_$.b;
-  var Companion_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.i1;
+  var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_solve.$_$.i1;
   var PrologSolverFactory_instance = kotlin_it_unibo_tuprolog_solve_prolog.$_$.a;
-  var Companion_instance_0 = kotlin_it_unibo_tuprolog_argumentation_core.$_$.c;
+  var Arg2pUnificator_getInstance = kotlin_it_unibo_tuprolog_argumentation_core.$_$.a;
+  var Companion_instance_0 = kotlin_it_unibo_tuprolog_argumentation_core.$_$.d;
   var CausalitySolver = kotlin_it_unibo_tuprolog_argumentation_causality_solver.$_$.a;
-  var listOf = kotlin_kotlin.$_$.w3;
+  var listOf = kotlin_kotlin.$_$.y3;
   var Unknown_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.h1;
   var TrackVariables_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.g1;
   var Companion_instance_1 = kotlin_it_unibo_tuprolog_solve.$_$.r;
-  var toInt = kotlin_kotlin.$_$.nb;
-  var filter = kotlin_kotlin.$_$.a9;
-  var map = kotlin_kotlin.$_$.m9;
-  var first = kotlin_kotlin.$_$.c9;
-  var ensureNotNull = kotlin_kotlin.$_$.mc;
-  var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_core.$_$.u;
-  var parseStructWithOperators = kotlin_it_unibo_tuprolog_parser_core.$_$.f;
+  var toInt = kotlin_kotlin.$_$.rb;
+  var first = kotlin_kotlin.$_$.f9;
+  var ensureNotNull = kotlin_kotlin.$_$.qc;
+  var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.s;
+  var mineGraph = kotlin_it_unibo_tuprolog_argumentation_core.$_$.k;
+  var collectionSizeOrDefault = kotlin_kotlin.$_$.s2;
   var parseTheoryWithOperators = kotlin_it_unibo_tuprolog_parser_theory.$_$.c;
   var Companion_instance_2 = kotlin_it_unibo_tuprolog_core.$_$.y;
-  var initMetadataForObject = kotlin_kotlin.$_$.j7;
-  var defineProp = kotlin_kotlin.$_$.x6;
+  var initMetadataForObject = kotlin_kotlin.$_$.m7;
+  var defineProp = kotlin_kotlin.$_$.a7;
   //endregion
   //region block: pre-declaration
   initMetadataForClass(BridgedArgument, 'BridgedArgument');
@@ -96,32 +101,32 @@
     this.descriptor = descriptor;
     this.label = label;
   }
-  protoOf(BridgedArgument).get_id_kntnx8_k$ = function () {
+  protoOf(BridgedArgument).x15 = function () {
     return this.id;
   };
-  protoOf(BridgedArgument).get_descriptor_wjt6a0_k$ = function () {
+  protoOf(BridgedArgument).w4r = function () {
     return this.descriptor;
   };
-  protoOf(BridgedArgument).get_label_iuj8p7_k$ = function () {
+  protoOf(BridgedArgument).d4w = function () {
     return this.label;
   };
-  protoOf(BridgedArgument).component1_7eebsc_k$ = function () {
+  protoOf(BridgedArgument).zd = function () {
     return this.id;
   };
-  protoOf(BridgedArgument).component2_7eebsb_k$ = function () {
+  protoOf(BridgedArgument).ae = function () {
     return this.descriptor;
   };
-  protoOf(BridgedArgument).component3_7eebsa_k$ = function () {
+  protoOf(BridgedArgument).e4w = function () {
     return this.label;
   };
-  protoOf(BridgedArgument).copy_nc7k0r_k$ = function (id, descriptor, label) {
+  protoOf(BridgedArgument).f4w = 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 $super === VOID ? this.copy_nc7k0r_k$(id, descriptor, label) : $super.copy_nc7k0r_k$.call(this, id, descriptor, label);
+    return $super === VOID ? this.f4w(id, descriptor, label) : $super.f4w.call(this, id, descriptor, label);
   };
   protoOf(BridgedArgument).toString = function () {
     return 'BridgedArgument(id=' + this.id + ', descriptor=' + this.descriptor + ', label=' + this.label + ')';
@@ -149,25 +154,25 @@
     this.from = from;
     this.to = to;
   }
-  protoOf(BridgedAttack).get_from_wom7eb_k$ = function () {
+  protoOf(BridgedAttack).g4w = function () {
     return this.from;
   };
-  protoOf(BridgedAttack).get_to_kntnng_k$ = function () {
+  protoOf(BridgedAttack).h4w = function () {
     return this.to;
   };
-  protoOf(BridgedAttack).component1_7eebsc_k$ = function () {
+  protoOf(BridgedAttack).zd = function () {
     return this.from;
   };
-  protoOf(BridgedAttack).component2_7eebsb_k$ = function () {
+  protoOf(BridgedAttack).ae = function () {
     return this.to;
   };
-  protoOf(BridgedAttack).copy_plwnsl_k$ = function (from, to) {
+  protoOf(BridgedAttack).i4w = 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 $super === VOID ? this.copy_plwnsl_k$(from, to) : $super.copy_plwnsl_k$.call(this, from, to);
+    return $super === VOID ? this.i4w(from, to) : $super.i4w.call(this, from, to);
   };
   protoOf(BridgedAttack).toString = function () {
     return 'BridgedAttack(from=' + this.from + ', to=' + this.to + ')';
@@ -192,25 +197,25 @@
     this.first = first;
     this.second = second;
   }
-  protoOf(JsPair).get_first_irdx8n_k$ = function () {
+  protoOf(JsPair).mj = function () {
     return this.first;
   };
-  protoOf(JsPair).get_second_jf7fjx_k$ = function () {
+  protoOf(JsPair).nj = function () {
     return this.second;
   };
-  protoOf(JsPair).component1_7eebsc_k$ = function () {
+  protoOf(JsPair).zd = function () {
     return this.first;
   };
-  protoOf(JsPair).component2_7eebsb_k$ = function () {
+  protoOf(JsPair).ae = function () {
     return this.second;
   };
-  protoOf(JsPair).copy_uni6vi_k$ = function (first, second) {
+  protoOf(JsPair).oj = 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 $super === VOID ? this.copy_uni6vi_k$(first, second) : $super.copy_uni6vi_k$.call(this, first, second);
+    return $super === VOID ? this.oj(first, second) : $super.oj.call(this, first, second);
   };
   protoOf(JsPair).toString = function () {
     return 'JsPair(first=' + toString(this.first) + ', second=' + toString(this.second) + ')';
@@ -232,68 +237,82 @@
     return true;
   };
   function JsIterator(nextFunction, hasNextFunction) {
-    this.nextFunction_1 = nextFunction;
-    this.hasNextFunction_1 = hasNextFunction;
+    this.j4w_1 = nextFunction;
+    this.k4w_1 = hasNextFunction;
   }
   protoOf(JsIterator).hasNext = function () {
-    return this.hasNextFunction_1();
+    return this.k4w_1();
   };
   protoOf(JsIterator).next = function () {
     if (!this.hasNext())
       throw NoSuchElementException_init_$Create$('No more elements');
-    return this.nextFunction_1();
+    return this.j4w_1();
   };
-  function BridgedResult(i, query) {
+  function BridgedResult$queryContext$lambda(it) {
+    return it.e1z();
+  }
+  function BridgedResult$queryContext$lambda_0($variables, this$0) {
+    return function (sol) {
+      // Inline function 'kotlin.collections.mapNotNull' call
+      var tmp0 = $variables;
+      // Inline function 'kotlin.collections.mapNotNullTo' call
+      var destination = ArrayList_init_$Create$();
+      // Inline function 'kotlin.collections.forEach' call
+      var _iterator__ex2g4s = tmp0.n();
+      while (_iterator__ex2g4s.q()) {
+        var element = _iterator__ex2g4s.r();
+        var tmp0_safe_receiver = sol.u1x().l2(element);
+        var tmp;
+        if (tmp0_safe_receiver == null) {
+          tmp = null;
+        } else {
+          // Inline function 'kotlin.let' call
+          tmp = new JsPair(element.q2(), this$0.m4w_1.j15(tmp0_safe_receiver));
+        }
+        var tmp0_safe_receiver_0 = tmp;
+        if (tmp0_safe_receiver_0 == null)
+          null;
+        else {
+          // Inline function 'kotlin.let' call
+          destination.l(tmp0_safe_receiver_0);
+        }
+      }
+      // Inline function 'kotlin.collections.toTypedArray' call
+      return copyToArray(destination);
+    };
+  }
+  function BridgedResult(i, query, solver, formatter) {
     this.i = i;
     this.query = query;
+    this.l4w_1 = solver;
+    this.m4w_1 = formatter;
   }
-  protoOf(BridgedResult).get_i_1mhr5s_k$ = function () {
-    return this.i;
-  };
-  protoOf(BridgedResult).get_query_ixn1y7_k$ = function () {
-    return this.query;
-  };
-  protoOf(BridgedResult).component1_7eebsc_k$ = function () {
+  protoOf(BridgedResult).n4w = function () {
     return this.i;
   };
-  protoOf(BridgedResult).component2_7eebsb_k$ = function () {
+  protoOf(BridgedResult).n1z = function () {
     return this.query;
   };
-  protoOf(BridgedResult).copy_vzw9ke_k$ = 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 $super === VOID ? this.copy_vzw9ke_k$(i, query) : $super.copy_vzw9ke_k$.call(this, i, query);
-  };
-  protoOf(BridgedResult).toString = function () {
-    return 'BridgedResult(i=' + toString_0(this.i) + ', query=' + this.query + ')';
+  protoOf(BridgedResult).graphAt = function (context) {
+    return JsBridge_instance.o4w(this.l4w_1, context);
   };
-  protoOf(BridgedResult).hashCode = function () {
-    var result = hashCode(this.i);
-    result = imul(result, 31) + getStringHashCode(this.query) | 0;
-    return result;
-  };
-  protoOf(BridgedResult).equals = function (other) {
-    if (this === other)
-      return true;
-    if (!(other instanceof BridgedResult))
-      return false;
-    if (!equals(this.i, other.i))
-      return false;
-    if (!(this.query === other.query))
-      return false;
-    return true;
+  protoOf(BridgedResult).queryContext = function (context, goal) {
+    var term = parseStructWithOperators(Companion_getInstance(), goal, this.l4w_1.h1y());
+    var variables = toList(distinct(term.zw()));
+    var tmp = this.l4w_1.solve(Companion_getInstance().of('context_check', [Companion_getInstance_0().ofInt(context), term]));
+    var tmp_0 = filter(tmp, BridgedResult$queryContext$lambda);
+    // Inline function 'kotlin.collections.toTypedArray' call
+    var this_0 = toList(map(tmp_0, BridgedResult$queryContext$lambda_0(variables, this)));
+    return copyToArray(this_0);
   };
   function BridgedGraph(arguments_0, attacks) {
     this.arguments = arguments_0;
     this.attacks = attacks;
   }
-  protoOf(BridgedGraph).get_arguments_p5ddub_k$ = function () {
+  protoOf(BridgedGraph).k2f = function () {
     return this.arguments;
   };
-  protoOf(BridgedGraph).get_attacks_9wjbge_k$ = function () {
+  protoOf(BridgedGraph).p4w = function () {
     return this.attacks;
   };
   protoOf(BridgedGraph).equals = function (other) {
@@ -314,45 +333,50 @@
     result = imul(31, result) + contentHashCode(this.attacks) | 0;
     return result;
   };
-  protoOf(BridgedGraph).component1_7eebsc_k$ = function () {
+  protoOf(BridgedGraph).zd = function () {
     return this.arguments;
   };
-  protoOf(BridgedGraph).component2_7eebsb_k$ = function () {
+  protoOf(BridgedGraph).ae = function () {
     return this.attacks;
   };
-  protoOf(BridgedGraph).copy_xu8on4_k$ = function (arguments_0, attacks) {
+  protoOf(BridgedGraph).q4w = 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 $super === VOID ? this.copy_xu8on4_k$(arguments_0, attacks) : $super.copy_xu8on4_k$.call(this, arguments_0, attacks);
+    return $super === VOID ? this.q4w(arguments_0, attacks) : $super.q4w.call(this, arguments_0, attacks);
   };
   protoOf(BridgedGraph).toString = function () {
     return 'BridgedGraph(arguments=' + toString_0(this.arguments) + ', attacks=' + toString_0(this.attacks) + ')';
   };
-  function BridgedSolution(res, query, substitutions, exception, graph) {
+  function BridgedSolution(res, query, substitutions, exception, graph, context) {
+    context = context === VOID ? 0 : context;
     this.res = res;
     this.query = query;
     this.substitutions = substitutions;
     this.exception = exception;
     this.graph = graph;
+    this.context = context;
   }
-  protoOf(BridgedSolution).get_res_18ix1l_k$ = function () {
+  protoOf(BridgedSolution).r4w = function () {
     return this.res;
   };
-  protoOf(BridgedSolution).get_query_ixn1y7_k$ = function () {
+  protoOf(BridgedSolution).n1z = function () {
     return this.query;
   };
-  protoOf(BridgedSolution).get_substitutions_3ujp5f_k$ = function () {
+  protoOf(BridgedSolution).s4w = function () {
     return this.substitutions;
   };
-  protoOf(BridgedSolution).get_exception_x0n6w6_k$ = function () {
+  protoOf(BridgedSolution).q1z = function () {
     return this.exception;
   };
-  protoOf(BridgedSolution).get_graph_is3411_k$ = function () {
+  protoOf(BridgedSolution).t4w = function () {
     return this.graph;
   };
+  protoOf(BridgedSolution).r8 = function () {
+    return this.context;
+  };
   protoOf(BridgedSolution).equals = function (other) {
     if (this === other)
       return true;
@@ -377,89 +401,69 @@
     result = imul(31, result) + getStringHashCode(this.exception) | 0;
     return result;
   };
-  protoOf(BridgedSolution).component1_7eebsc_k$ = function () {
+  protoOf(BridgedSolution).zd = function () {
     return this.res;
   };
-  protoOf(BridgedSolution).component2_7eebsb_k$ = function () {
+  protoOf(BridgedSolution).ae = function () {
     return this.query;
   };
-  protoOf(BridgedSolution).component3_7eebsa_k$ = function () {
+  protoOf(BridgedSolution).e4w = function () {
     return this.substitutions;
   };
-  protoOf(BridgedSolution).component4_7eebs9_k$ = function () {
+  protoOf(BridgedSolution).u4w = function () {
     return this.exception;
   };
-  protoOf(BridgedSolution).component5_7eebs8_k$ = function () {
+  protoOf(BridgedSolution).v4w = function () {
     return this.graph;
   };
-  protoOf(BridgedSolution).copy_rpgtx_k$ = function (res, query, substitutions, exception, graph) {
-    return new BridgedSolution(res, query, substitutions, exception, graph);
+  protoOf(BridgedSolution).w4w = function () {
+    return this.context;
+  };
+  protoOf(BridgedSolution).x4w = function (res, query, substitutions, exception, graph, context) {
+    return new BridgedSolution(res, query, substitutions, exception, graph, context);
   };
-  protoOf(BridgedSolution).copy = function (res, query, substitutions, exception, graph, $super) {
+  protoOf(BridgedSolution).copy = function (res, query, substitutions, exception, graph, context, $super) {
     res = res === VOID ? this.res : res;
     query = query === VOID ? this.query : query;
     substitutions = substitutions === VOID ? this.substitutions : substitutions;
     exception = exception === VOID ? this.exception : exception;
     graph = graph === VOID ? this.graph : graph;
-    return $super === VOID ? this.copy_rpgtx_k$(res, query, substitutions, exception, graph) : $super.copy_rpgtx_k$.call(this, res, query, substitutions, exception, graph);
+    context = context === VOID ? this.context : context;
+    return $super === VOID ? this.x4w(res, query, substitutions, exception, graph, context) : $super.x4w.call(this, res, query, substitutions, exception, graph, context);
   };
   protoOf(BridgedSolution).toString = function () {
-    return 'BridgedSolution(res=' + this.res + ', query=' + this.query + ', substitutions=' + toString_0(this.substitutions) + ', exception=' + this.exception + ', graph=' + this.graph.toString() + ')';
+    return 'BridgedSolution(res=' + this.res + ', query=' + this.query + ', substitutions=' + toString_0(this.substitutions) + ', exception=' + this.exception + ', graph=' + this.graph.toString() + ', context=' + this.context + ')';
   };
-  function graphOf($this, solver) {
-    var graph = mineGraph(solver, arg2pScope(JsBridge$graphOf$lambda(solver)));
-    // Inline function 'kotlin.collections.map' call
-    var this_0 = graph.labellings_1;
-    // Inline function 'kotlin.collections.mapTo' call
-    var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
-    var _iterator__ex2g4s = this_0.iterator_jk1svi_k$();
-    while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
-      var item = _iterator__ex2g4s.next_20eer_k$();
-      var tmp$ret$2 = new BridgedArgument(item.argument_1.identifier_1, item.argument_1.get_descriptor_wjt6a0_k$(), item.label_1);
-      destination.add_utx5q5_k$(tmp$ret$2);
-    }
-    // Inline function 'kotlin.collections.toTypedArray' call
-    var tmp = copyToArray(destination);
-    // Inline function 'kotlin.collections.map' call
-    var this_1 = graph.attacks_1;
-    // Inline function 'kotlin.collections.mapTo' call
-    var destination_0 = ArrayList_init_$Create$(collectionSizeOrDefault(this_1, 10));
-    var _iterator__ex2g4s_0 = this_1.iterator_jk1svi_k$();
-    while (_iterator__ex2g4s_0.hasNext_bitz1p_k$()) {
-      var item_0 = _iterator__ex2g4s_0.next_20eer_k$();
-      var tmp$ret$6 = new BridgedAttack(item_0.attacker_1.identifier_1, item_0.target_1.identifier_1);
-      destination_0.add_utx5q5_k$(tmp$ret$6);
-    }
-    // Inline function 'kotlin.collections.toTypedArray' call
-    var tmp$ret$7 = copyToArray(destination_0);
-    return new BridgedGraph(tmp, tmp$ret$7);
+  function activeContext($this, solver) {
+    return arg2pScope(JsBridge$activeContext$lambda(solver));
   }
   function solverOf($this, outputConsumer, flagsText) {
     var flags = parseTheory(Companion_instance, flagsText);
-    var libFlags = Companion_getInstance().of('argumentation.flags', VOID, flags);
+    var libFlags = Companion_getInstance_1().of('argumentation.flags', VOID, flags);
     var tmp = PrologSolverFactory_instance;
-    var tmp_0 = PrologSolverFactory_instance.get_defaultRuntime_l4gjfk_k$().plusRuntime(Companion_instance_0.default$default_tu0rs4_k$(VOID, listOf(new CausalitySolver())).to2pLibraries_1osajk_k$().plusLibrary(libFlags));
-    var tmp_1 = PrologSolverFactory_instance.get_defaultFlags_6lgyr5_k$().setNotable(Unknown_getInstance(), Unknown_getInstance().FAIL_1).setNotable(TrackVariables_getInstance(), TrackVariables_getInstance().ON_1);
-    var tmp_2 = Companion_instance.emptyWithDefaultUnificator();
-    var tmp_3 = Companion_instance_1.of(outputConsumer);
-    var tmp_4 = Companion_instance_1;
-    var tmp_5 = tmp_4.of(JsBridge$solverOf$lambda);
-    var tmp_6 = Companion_instance_1;
-    return tmp.mutableSolverWithDefaultBuiltinsAnd(VOID, tmp_0, tmp_1, tmp_2, VOID, VOID, tmp_3, tmp_5, tmp_6.of(JsBridge$solverOf$lambda_0));
+    var tmp_0 = Arg2pUnificator_getInstance();
+    var tmp_1 = PrologSolverFactory_instance.d21().plusRuntime(Companion_instance_0.l4d(VOID, listOf(new CausalitySolver())).h4d().plusLibrary(libFlags));
+    var tmp_2 = PrologSolverFactory_instance.g21().setNotable(Unknown_getInstance(), Unknown_getInstance().x2d_1).setNotable(TrackVariables_getInstance(), TrackVariables_getInstance().l2d_1);
+    var tmp_3 = Companion_instance.emptyWithDefaultUnificator();
+    var tmp_4 = Companion_instance_1.of(outputConsumer);
+    var tmp_5 = Companion_instance_1;
+    var tmp_6 = tmp_5.of(JsBridge$solverOf$lambda);
+    var tmp_7 = Companion_instance_1;
+    return tmp.mutableSolverWithDefaultBuiltinsAnd(tmp_0, tmp_1, tmp_2, tmp_3, VOID, VOID, tmp_4, tmp_6, tmp_7.of(JsBridge$solverOf$lambda_0));
   }
-  function JsBridge$graphOf$lambda$lambda(it) {
-    return it.get_isYes_it760k_k$();
+  function JsBridge$activeContext$lambda$lambda(it) {
+    return it.e1z();
   }
-  function JsBridge$graphOf$lambda$lambda_0($this_arg2pScope) {
+  function JsBridge$activeContext$lambda$lambda_0($this_arg2pScope) {
     return function (it) {
-      return toInt(toString(it.get_substitution_i7fi9y_k$().get_wei43m_k$($this_arg2pScope.get_X_1mhr5b_k$())));
+      return toInt(toString(it.u1x().l2($this_arg2pScope.p1j())));
     };
   }
-  function JsBridge$graphOf$lambda($solver) {
+  function JsBridge$activeContext$lambda($solver) {
     return function ($this$arg2pScope) {
-      var tmp = $solver.solve($this$arg2pScope.stringInvoke('context_active', $this$arg2pScope.get_X_1mhr5b_k$(), []));
-      var tmp_0 = filter(tmp, JsBridge$graphOf$lambda$lambda);
-      return first(map(tmp_0, JsBridge$graphOf$lambda$lambda_0($this$arg2pScope)));
+      var tmp = $solver.solve($this$arg2pScope.stringInvoke('context_active', $this$arg2pScope.p1j(), []));
+      var tmp_0 = filter(tmp, JsBridge$activeContext$lambda$lambda);
+      return first(map(tmp_0, JsBridge$activeContext$lambda$lambda_0($this$arg2pScope)));
     };
   }
   function JsBridge$solverOf$lambda(_unused_var__etf5q3) {
@@ -468,61 +472,91 @@
   function JsBridge$solverOf$lambda_0(_unused_var__etf5q3) {
     return Unit_instance;
   }
-  function JsBridge$solve$lambda($formatter, $solver) {
+  function JsBridge$solve$lambda($solver, $formatter) {
     return function (sol) {
+      var context = activeContext(JsBridge_instance, $solver);
+      var graph = JsBridge_instance.o4w($solver, context);
       var tmp;
-      if (sol.get_isYes_it760k_k$()) {
-        var tmp_0 = $formatter.format_12olus_k$(ensureNotNull(sol.get_solvedQuery_paqw6_k$()));
+      if (sol.e1z()) {
+        var tmp_0 = $formatter.j15(ensureNotNull(sol.d1z()));
         // Inline function 'kotlin.collections.map' call
-        var this_0 = sol.get_substitution_i7fi9y_k$();
+        var this_0 = sol.u1x();
         // Inline function 'kotlin.collections.mapTo' call
-        var destination = ArrayList_init_$Create$(this_0.get_size_woubt6_k$());
+        var destination = ArrayList_init_$Create$_0(this_0.t());
         // Inline function 'kotlin.collections.iterator' call
-        var _iterator__ex2g4s = this_0.get_entries_p20ztl_k$().iterator_jk1svi_k$();
-        while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
-          var item = _iterator__ex2g4s.next_20eer_k$();
-          var tmp$ret$3 = new JsPair($formatter.format_12olus_k$(item.get_key_18j28a_k$()), $formatter.format_12olus_k$(item.get_value_j01efc_k$()));
-          destination.add_utx5q5_k$(tmp$ret$3);
+        var _iterator__ex2g4s = this_0.d1().n();
+        while (_iterator__ex2g4s.q()) {
+          var item = _iterator__ex2g4s.r();
+          var tmp$ret$3 = new JsPair($formatter.j15(item.h2()), $formatter.j15(item.i2()));
+          destination.l(tmp$ret$3);
         }
         // 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.get_isNo_woo4b8_k$()) {
+        tmp = new BridgedSolution('yes', tmp_0, tmp$ret$4, '', graph, context);
+      } else if (sol.r1z()) {
         // Inline function 'kotlin.emptyArray' call
         var tmp$ret$5 = [];
-        tmp = new BridgedSolution('no', '', tmp$ret$5, '', graphOf(JsBridge_instance, $solver));
+        tmp = new BridgedSolution('no', '', tmp$ret$5, '', graph, context);
       } else {
         // Inline function 'kotlin.emptyArray' call
         var tmp$ret$6 = [];
-        tmp = new BridgedSolution('halt', '', tmp$ret$6, toString(sol.get_exception_x0n6w6_k$()), graphOf(JsBridge_instance, $solver));
+        tmp = new BridgedSolution('halt', '', tmp$ret$6, toString(sol.q1z()), graph, context);
       }
       return tmp;
     };
   }
   function JsBridge$solve$lambda_0($i) {
     return function () {
-      return $i.hasNext_bitz1p_k$() ? $i.next_20eer_k$() : null;
+      return $i.q() ? $i.r() : null;
     };
   }
   function JsBridge$solve$lambda_1($i) {
     return function () {
-      return $i.hasNext_bitz1p_k$();
+      return $i.q();
     };
   }
   function JsBridge() {
   }
+  protoOf(JsBridge).o4w = function (solver, context) {
+    var graph = mineGraph(solver, context);
+    // Inline function 'kotlin.collections.map' call
+    var this_0 = graph.g4s_1;
+    // Inline function 'kotlin.collections.mapTo' call
+    var destination = ArrayList_init_$Create$_0(collectionSizeOrDefault(this_0, 10));
+    var _iterator__ex2g4s = this_0.n();
+    while (_iterator__ex2g4s.q()) {
+      var item = _iterator__ex2g4s.r();
+      var tmp$ret$2 = new BridgedArgument(item.b4s_1.n4r_1, item.b4s_1.w4r(), item.c4s_1);
+      destination.l(tmp$ret$2);
+    }
+    // Inline function 'kotlin.collections.toTypedArray' call
+    var tmp = copyToArray(destination);
+    // Inline function 'kotlin.collections.map' call
+    var this_1 = graph.e4s_1;
+    // Inline function 'kotlin.collections.mapTo' call
+    var destination_0 = ArrayList_init_$Create$_0(collectionSizeOrDefault(this_1, 10));
+    var _iterator__ex2g4s_0 = this_1.n();
+    while (_iterator__ex2g4s_0.q()) {
+      var item_0 = _iterator__ex2g4s_0.r();
+      var tmp$ret$6 = new BridgedAttack(item_0.x4r_1.n4r_1, item_0.y4r_1.n4r_1);
+      destination_0.l(tmp$ret$6);
+    }
+    // Inline function 'kotlin.collections.toTypedArray' call
+    var tmp$ret$7 = copyToArray(destination_0);
+    return new BridgedGraph(tmp, tmp$ret$7);
+  };
   protoOf(JsBridge).solve = function (queryText, theoryText, flagsText, outputConsumer) {
     var solver = solverOf(this, outputConsumer, flagsText);
-    var query = parseStructWithOperators(Companion_getInstance_0(), queryText, solver.get_operators_z0nmfu_k$());
-    var theory = parseTheoryWithOperators(Companion_instance, theoryText, solver.get_operators_z0nmfu_k$());
+    var query = parseStructWithOperators(Companion_getInstance(), queryText, solver.h1y());
+    var theory = parseTheoryWithOperators(Companion_instance, theoryText, solver.h1y());
     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.iterator_jk1svi_k$();
+    var solutions = map(tmp, JsBridge$solve$lambda(solver, formatter));
+    var i = solutions.n();
     var tmp_0 = JsBridge$solve$lambda_0(i);
     var jsIt = new JsIterator(tmp_0, JsBridge$solve$lambda_1(i));
-    return new BridgedResult(jsIt, formatter.format_12olus_k$(query));
+    return new BridgedResult(jsIt, formatter.j15(query), solver, formatter);
   };
   var JsBridge_instance;
   function JsBridge_getInstance() {