@tuprolog/arg2p-core 0.6.7 → 0.6.8

package/kotlin/arg2p-core.js

@@ -6,25 +6,35 @@
   else {
     if (typeof kotlin === 'undefined') {
       throw new Error("Error loading module '@tuprolog/arg2p-core'. Its dependency 'kotlin' was not found. Please, check whether 'kotlin' is loaded prior to '@tuprolog/arg2p-core'.");
-    }if (typeof this['@tuprolog/2p-solve'] === 'undefined') {
+    }
+    if (typeof this['@tuprolog/2p-solve'] === 'undefined') {
       throw new Error("Error loading module '@tuprolog/arg2p-core'. Its dependency '@tuprolog/2p-solve' was not found. Please, check whether '@tuprolog/2p-solve' is loaded prior to '@tuprolog/arg2p-core'.");
-    }if (typeof this['@tuprolog/2p-dsl-theory'] === 'undefined') {
+    }
+    if (typeof this['@tuprolog/2p-dsl-theory'] === 'undefined') {
       throw new Error("Error loading module '@tuprolog/arg2p-core'. Its dependency '@tuprolog/2p-dsl-theory' was not found. Please, check whether '@tuprolog/2p-dsl-theory' is loaded prior to '@tuprolog/arg2p-core'.");
-    }if (typeof this['@tuprolog/2p-dsl-core'] === 'undefined') {
+    }
+    if (typeof this['@tuprolog/2p-dsl-core'] === 'undefined') {
       throw new Error("Error loading module '@tuprolog/arg2p-core'. Its dependency '@tuprolog/2p-dsl-core' was not found. Please, check whether '@tuprolog/2p-dsl-core' is loaded prior to '@tuprolog/arg2p-core'.");
-    }if (typeof this['@tuprolog/2p-unify'] === 'undefined') {
+    }
+    if (typeof this['@tuprolog/2p-unify'] === 'undefined') {
       throw new Error("Error loading module '@tuprolog/arg2p-core'. Its dependency '@tuprolog/2p-unify' was not found. Please, check whether '@tuprolog/2p-unify' is loaded prior to '@tuprolog/arg2p-core'.");
-    }if (typeof this['@tuprolog/2p-core'] === 'undefined') {
+    }
+    if (typeof this['@tuprolog/2p-core'] === 'undefined') {
       throw new Error("Error loading module '@tuprolog/arg2p-core'. Its dependency '@tuprolog/2p-core' was not found. Please, check whether '@tuprolog/2p-core' is loaded prior to '@tuprolog/arg2p-core'.");
-    }if (typeof this['@tuprolog/2p-theory'] === 'undefined') {
+    }
+    if (typeof this['@tuprolog/2p-theory'] === 'undefined') {
       throw new Error("Error loading module '@tuprolog/arg2p-core'. Its dependency '@tuprolog/2p-theory' was not found. Please, check whether '@tuprolog/2p-theory' is loaded prior to '@tuprolog/arg2p-core'.");
-    }if (typeof this['@tuprolog/2p-parser-theory'] === 'undefined') {
+    }
+    if (typeof this['@tuprolog/2p-parser-theory'] === 'undefined') {
       throw new Error("Error loading module '@tuprolog/arg2p-core'. Its dependency '@tuprolog/2p-parser-theory' was not found. Please, check whether '@tuprolog/2p-parser-theory' is loaded prior to '@tuprolog/arg2p-core'.");
-    }if (typeof this['@tuprolog/2p-solve-classic'] === 'undefined') {
+    }
+    if (typeof this['@tuprolog/2p-solve-classic'] === 'undefined') {
       throw new Error("Error loading module '@tuprolog/arg2p-core'. Its dependency '@tuprolog/2p-solve-classic' was not found. Please, check whether '@tuprolog/2p-solve-classic' is loaded prior to '@tuprolog/arg2p-core'.");
-    }if (typeof this['@tuprolog/2p-parser-core'] === 'undefined') {
+    }
+    if (typeof this['@tuprolog/2p-parser-core'] === 'undefined') {
       throw new Error("Error loading module '@tuprolog/arg2p-core'. Its dependency '@tuprolog/2p-parser-core' was not found. Please, check whether '@tuprolog/2p-parser-core' is loaded prior to '@tuprolog/arg2p-core'.");
-    }root['@tuprolog/arg2p-core'] = factory(typeof this['@tuprolog/arg2p-core'] === 'undefined' ? {} : this['@tuprolog/arg2p-core'], kotlin, this['@tuprolog/2p-solve'], this['@tuprolog/2p-dsl-theory'], this['@tuprolog/2p-dsl-core'], this['@tuprolog/2p-unify'], this['@tuprolog/2p-core'], this['@tuprolog/2p-theory'], this['@tuprolog/2p-parser-theory'], this['@tuprolog/2p-solve-classic'], this['@tuprolog/2p-parser-core']);
+    }
+    root['@tuprolog/arg2p-core'] = factory(typeof this['@tuprolog/arg2p-core'] === 'undefined' ? {} : this['@tuprolog/arg2p-core'], kotlin, this['@tuprolog/2p-solve'], this['@tuprolog/2p-dsl-theory'], this['@tuprolog/2p-dsl-core'], this['@tuprolog/2p-unify'], this['@tuprolog/2p-core'], this['@tuprolog/2p-theory'], this['@tuprolog/2p-parser-theory'], this['@tuprolog/2p-solve-classic'], this['@tuprolog/2p-parser-core']);
   }
 }(this, function (_, Kotlin, $module$_2p_solve, $module$_2p_dsl_theory, $module$_2p_dsl_core, $module$_2p_unify, $module$_2p_core, $module$_2p_theory, $module$_2p_parser_theory, $module$_2p_solve_classic, $module$_2p_parser_core) {
   'use strict';
@@ -122,9 +132,8 @@
   var sortedWith = Kotlin.kotlin.sequences.sortedWith_vjgqpk$;
   var mapIndexed = Kotlin.kotlin.sequences.mapIndexed_b7yuyq$;
   var Pair = Kotlin.kotlin.Pair;
-  var firstOrNull = Kotlin.kotlin.sequences.firstOrNull_veqyi0$;
   var NoSuchElementException_init = Kotlin.kotlin.NoSuchElementException;
-  var firstOrNull_0 = Kotlin.kotlin.collections.firstOrNull_2p1efm$;
+  var firstOrNull = Kotlin.kotlin.collections.firstOrNull_2p1efm$;
   var plus_0 = Kotlin.kotlin.collections.plus_qloxvw$;
   var Cons = $module$_2p_core.it.unibo.tuprolog.core.Cons;
   DynamicLoader$WithLib.prototype = Object.create(DynamicLoader$AbstractWithLib.prototype);
@@ -314,7 +323,8 @@
   function Arg2pSolver$Companion_getInstance() {
     if (Arg2pSolver$Companion_instance === null) {
       new Arg2pSolver$Companion();
-    }return Arg2pSolver$Companion_instance;
+    }
+    return Arg2pSolver$Companion_instance;
   }
   Arg2pSolver.$metadata$ = {
     kind: Kind_INTERFACE,
@@ -1274,7 +1284,8 @@
             throw this.exception_0;
           case 2:
             return this.result_0;
-          default:this.state_0 = 1;
+          default:
+            this.state_0 = 1;
             throw new Error('State Machine Unreachable execution');
         }
       } catch (e) {
@@ -1540,7 +1551,8 @@
             throw this.exception_0;
           case 2:
             return this.result_0;
-          default:this.state_0 = 1;
+          default:
+            this.state_0 = 1;
             throw new Error('State Machine Unreachable execution');
         }
       } catch (e) {
@@ -1618,7 +1630,8 @@
             throw this.exception_0;
           case 2:
             return this.result_0;
-          default:this.state_0 = 1;
+          default:
+            this.state_0 = 1;
             throw new Error('State Machine Unreachable execution');
         }
       } catch (e) {
@@ -1721,7 +1734,7 @@
         switch (this.state_0) {
           case 0:
             this.state_0 = 2;
-            this.result_0 = this.local$$receiver.yieldAll_swo9gw$(map(this.local$closure$solver.solveWithOptions(this.local$closure$goal, SolveOptions.Companion.someEagerlyWithTimeout(1000, Long$Companion$MAX_VALUE)), DynamicLoader$AbstractWithLib$solve$lambda$lambda(this.local$closure$request)), this);
+            this.result_0 = this.local$$receiver.yieldAll_swo9gw$(map(this.local$closure$solver.solveWithOptions(this.local$closure$goal, SolveOptions.Companion.allLazilyWithTimeout(Long$Companion$MAX_VALUE)), DynamicLoader$AbstractWithLib$solve$lambda$lambda(this.local$closure$request)), this);
             if (this.result_0 === COROUTINE_SUSPENDED)
               return COROUTINE_SUSPENDED;
             continue;
@@ -1729,7 +1742,8 @@
             throw this.exception_0;
           case 2:
             return this.result_0;
-          default:this.state_0 = 1;
+          default:
+            this.state_0 = 1;
             throw new Error('State Machine Unreachable execution');
         }
       } catch (e) {
@@ -1758,9 +1772,11 @@
     var goal = request.arguments.get_za3lpa$(1);
     if (!Kotlin.isType(lib, Atom)) {
       throw TypeError.Companion.forGoal(request.context, request.signature, TypeError$Expected.LIST, lib);
-    }if (!Kotlin.isType(goal, Struct)) {
+    }
+    if (!Kotlin.isType(goal, Struct)) {
       throw TypeError.Companion.forGoal(request.context, request.signature, TypeError$Expected.CALLABLE, goal);
-    }var $receiver = this.$outer.solver_0.dynamicLibraries();
+    }
+    var $receiver = this.$outer.solver_0.dynamicLibraries();
     var firstOrNull$result;
     firstOrNull$break: do {
       var tmp$_0;
@@ -1771,14 +1787,16 @@
         if (equals((Kotlin.isType(tmp$_1 = element, Loadable) ? tmp$_1 : throwCCE()).identifier(), lib.toString())) {
           firstOrNull$result = element;
           break firstOrNull$break;
-        }}
+        }
+      }
       firstOrNull$result = null;
     }
      while (false);
     tmp$ = firstOrNull$result;
     if (tmp$ == null) {
       throw DomainError.Companion.forGoal(request.context, request.signature, DomainError$Expected.Companion.of('Loadable Lib'), lib);
-    }this.$outer;
+    }
+    this.$outer;
     var this$DynamicLoader = this.$outer;
     var tmp$_2 = request.context;
     var tmp$_3 = Libraries.Companion;
@@ -1913,7 +1931,8 @@
   function DynamicLoader$Companion_getInstance() {
     if (DynamicLoader$Companion_instance === null) {
       new DynamicLoader$Companion();
-    }return DynamicLoader$Companion_instance;
+    }
+    return DynamicLoader$Companion_instance;
   }
   DynamicLoader.$metadata$ = {
     kind: Kind_CLASS,
@@ -2021,7 +2040,8 @@
   function FlagsBuilder$Companion_getInstance() {
     if (FlagsBuilder$Companion_instance === null) {
       new FlagsBuilder$Companion();
-    }return FlagsBuilder$Companion_instance;
+    }
+    return FlagsBuilder$Companion_instance;
   }
   FlagsBuilder.prototype.queryMode_6taknv$ = function (queryMode) {
     this.queryMode = queryMode;
@@ -2180,7 +2200,8 @@
   function MetaInterpreter_getInstance() {
     if (MetaInterpreter_instance === null) {
       new MetaInterpreter();
-    }return MetaInterpreter_instance;
+    }
+    return MetaInterpreter_instance;
   }
   function ModuleCalls() {
     ModuleCalls_instance = this;
@@ -2216,7 +2237,8 @@
   function ModuleCalls_getInstance() {
     if (ModuleCalls_instance === null) {
       new ModuleCalls();
-    }return ModuleCalls_instance;
+    }
+    return ModuleCalls_instance;
   }
   function ModulesPath() {
     ModulesPath_instance = this;
@@ -2239,7 +2261,8 @@
   function ModulesPath_getInstance() {
     if (ModulesPath_instance === null) {
       new ModulesPath();
-    }return ModulesPath_instance;
+    }
+    return ModulesPath_instance;
   }
   function ModuleCall() {
     ModuleCall_instance = this;
@@ -2283,7 +2306,8 @@
             throw this.exception_0;
           case 2:
             return this.result_0;
-          default:this.state_0 = 1;
+          default:
+            this.state_0 = 1;
             throw new Error('State Machine Unreachable execution');
         }
       } catch (e) {
@@ -2311,9 +2335,11 @@
     var goal = request.arguments.get_za3lpa$(1);
     if (!Kotlin.isType(modules, List)) {
       throw TypeError.Companion.forGoal(request.context, request.signature, TypeError$Expected.LIST, modules);
-    }if (!Kotlin.isType(goal, Struct)) {
+    }
+    if (!Kotlin.isType(goal, Struct)) {
       throw TypeError.Companion.forGoal(request.context, request.signature, TypeError$Expected.CALLABLE, goal);
-    }var tmp$ = request.context;
+    }
+    var tmp$ = request.context;
     var tmp$_0 = this.mineModulesPath_0(request.context);
     var $receiver = modules.toList();
     var destination = ArrayList_init(collectionSizeOrDefault($receiver, 10));
@@ -2371,7 +2397,8 @@
   function ModuleCall_getInstance() {
     if (ModuleCall_instance === null) {
       new ModuleCall();
-    }return ModuleCall_instance;
+    }
+    return ModuleCall_instance;
   }
   function AbstractModeBase() {
     LazyRawPrologContent.call(this);
@@ -2431,7 +2458,8 @@
   function GraphExtension_getInstance() {
     if (GraphExtension_instance === null) {
       new GraphExtension();
-    }return GraphExtension_instance;
+    }
+    return GraphExtension_instance;
   }
   function ArgumentLabellingMode() {
     ArgumentLabellingMode_instance = this;
@@ -2454,7 +2482,8 @@
   function ArgumentLabellingMode_getInstance() {
     if (ArgumentLabellingMode_instance === null) {
       new ArgumentLabellingMode();
-    }return ArgumentLabellingMode_instance;
+    }
+    return ArgumentLabellingMode_instance;
   }
   function StatementLabellingMode() {
     StatementLabellingMode_instance = this;
@@ -2477,7 +2506,8 @@
   function StatementLabellingMode_getInstance() {
     if (StatementLabellingMode_instance === null) {
       new StatementLabellingMode();
-    }return StatementLabellingMode_instance;
+    }
+    return StatementLabellingMode_instance;
   }
   function GraphBuildMode() {
     GraphBuildMode_instance = this;
@@ -2500,7 +2530,8 @@
   function GraphBuildMode_getInstance() {
     if (GraphBuildMode_instance === null) {
       new GraphBuildMode();
-    }return GraphBuildMode_instance;
+    }
+    return GraphBuildMode_instance;
   }
   function ArgumentationGraphBuilderBase() {
     LazyRawPrologContent.call(this);
@@ -2765,7 +2796,8 @@
   function BinaryStatementLabeller_getInstance() {
     if (BinaryStatementLabeller_instance === null) {
       new BinaryStatementLabeller();
-    }return BinaryStatementLabeller_instance;
+    }
+    return BinaryStatementLabeller_instance;
   }
   function BinaryLabelling() {
     BinaryLabelling_instance = this;
@@ -2786,7 +2818,8 @@
   function BinaryLabelling_getInstance() {
     if (BinaryLabelling_instance === null) {
       new BinaryLabelling();
-    }return BinaryLabelling_instance;
+    }
+    return BinaryLabelling_instance;
   }
   function BpCompleteLabellerBase() {
     LazyRawPrologContent.call(this);
@@ -3051,7 +3084,8 @@
   function PassThroughStatementLabeller_getInstance() {
     if (PassThroughStatementLabeller_instance === null) {
       new PassThroughStatementLabeller();
-    }return PassThroughStatementLabeller_instance;
+    }
+    return PassThroughStatementLabeller_instance;
   }
   function Labelling() {
     Labelling_instance = this;
@@ -3072,7 +3106,8 @@
   function Labelling_getInstance() {
     if (Labelling_instance === null) {
       new Labelling();
-    }return Labelling_instance;
+    }
+    return Labelling_instance;
   }
   function StatementLabellerBase() {
     LazyRawPrologContent.call(this);
@@ -3173,7 +3208,8 @@
   function RuleParserBase$Companion_getInstance() {
     if (RuleParserBase$Companion_instance === null) {
       new RuleParserBase$Companion();
-    }return RuleParserBase$Companion_instance;
+    }
+    return RuleParserBase$Companion_instance;
   }
   RuleParserBase.$metadata$ = {
     kind: Kind_CLASS,
@@ -3201,7 +3237,8 @@
   function AutoTransposition_getInstance() {
     if (AutoTransposition_instance === null) {
       new AutoTransposition();
-    }return AutoTransposition_instance;
+    }
+    return AutoTransposition_instance;
   }
   function PrologStrictCompatibility() {
     PrologStrictCompatibility_instance = this;
@@ -3224,7 +3261,8 @@
   function PrologStrictCompatibility_getInstance() {
     if (PrologStrictCompatibility_instance === null) {
       new PrologStrictCompatibility();
-    }return PrologStrictCompatibility_instance;
+    }
+    return PrologStrictCompatibility_instance;
   }
   function ConversionUtils() {
     ConversionUtils_instance = this;
@@ -3276,7 +3314,8 @@
   function ConversionUtils_getInstance() {
     if (ConversionUtils_instance === null) {
       new ConversionUtils();
-    }return ConversionUtils_instance;
+    }
+    return ConversionUtils_instance;
   }
   function StrictRules() {
     StrictRules_instance = this;
@@ -3316,7 +3355,8 @@
   function StrictRules_getInstance() {
     if (StrictRules_instance === null) {
       new StrictRules();
-    }return StrictRules_instance;
+    }
+    return StrictRules_instance;
   }
   function Axioms() {
     Axioms_instance = this;
@@ -3352,7 +3392,8 @@
   function Axioms_getInstance() {
     if (Axioms_instance === null) {
       new Axioms();
-    }return Axioms_instance;
+    }
+    return Axioms_instance;
   }
   function Premises() {
     Premises_instance = this;
@@ -3388,7 +3429,8 @@
   function Premises_getInstance() {
     if (Premises_instance === null) {
       new Premises();
-    }return Premises_instance;
+    }
+    return Premises_instance;
   }
   function DefeasibleRules() {
     DefeasibleRules_instance = this;
@@ -3438,7 +3480,8 @@
   function DefeasibleRules_getInstance() {
     if (DefeasibleRules_instance === null) {
       new DefeasibleRules();
-    }return DefeasibleRules_instance;
+    }
+    return DefeasibleRules_instance;
   }
   function Bps() {
     Bps_instance = this;
@@ -3475,7 +3518,8 @@
   function Bps_getInstance() {
     if (Bps_instance === null) {
       new Bps();
-    }return Bps_instance;
+    }
+    return Bps_instance;
   }
   function ExtractStrictIds() {
     ExtractStrictIds_instance = this;
@@ -3504,7 +3548,8 @@
   function ExtractStrictIds_getInstance() {
     if (ExtractStrictIds_instance === null) {
       new ExtractStrictIds();
-    }return ExtractStrictIds_instance;
+    }
+    return ExtractStrictIds_instance;
   }
   function RuleToClause() {
     RuleToClause_instance = this;
@@ -3531,7 +3576,8 @@
           case 3:
             block$result = Clause.Companion.of(Struct.Companion.of('rl', [it.get_za3lpa$(2)]), [item]);
             break block$break;
-          default:throw IllegalArgumentException_init();
+          default:
+            throw IllegalArgumentException_init();
         }
       }
        while (false);
@@ -3548,7 +3594,8 @@
   function RuleToClause_getInstance() {
     if (RuleToClause_instance === null) {
       new RuleToClause();
-    }return RuleToClause_instance;
+    }
+    return RuleToClause_instance;
   }
   function StructuredModeBase() {
     LazyRawPrologContent.call(this);
@@ -3608,7 +3655,8 @@
   function QueryMode_getInstance() {
     if (QueryMode_instance === null) {
       new QueryMode();
-    }return QueryMode_instance;
+    }
+    return QueryMode_instance;
   }
   function AmbiguityBlocking() {
     AmbiguityBlocking_instance = this;
@@ -3631,7 +3679,8 @@
   function AmbiguityBlocking_getInstance() {
     if (AmbiguityBlocking_instance === null) {
       new AmbiguityBlocking();
-    }return AmbiguityBlocking_instance;
+    }
+    return AmbiguityBlocking_instance;
   }
   function DebugBase() {
     LazyRawPrologContent.call(this);
@@ -3728,7 +3777,8 @@
   function OrderingPrinciple_getInstance() {
     if (OrderingPrinciple_instance === null) {
       new OrderingPrinciple();
-    }return OrderingPrinciple_instance;
+    }
+    return OrderingPrinciple_instance;
   }
   function OrderingComparator() {
     OrderingComparator_instance = this;
@@ -3751,7 +3801,8 @@
   function OrderingComparator_getInstance() {
     if (OrderingComparator_instance === null) {
       new OrderingComparator();
-    }return OrderingComparator_instance;
+    }
+    return OrderingComparator_instance;
   }
   function UtilsBase() {
     LazyRawPrologContent.call(this);
@@ -3832,7 +3883,8 @@
             throw this.exception_0;
           case 2:
             return this.result_0;
-          default:this.state_0 = 1;
+          default:
+            this.state_0 = 1;
             throw new Error('State Machine Unreachable execution');
         }
       } catch (e) {
@@ -3861,11 +3913,14 @@
     var res = request.arguments.get_za3lpa$(2);
     if (!Kotlin.isType(list1, List)) {
       throw TypeError.Companion.forGoal(request.context, request.signature, TypeError$Expected.LIST, list1);
-    }if (!Kotlin.isType(list2, List)) {
+    }
+    if (!Kotlin.isType(list2, List)) {
       throw TypeError.Companion.forGoal(request.context, request.signature, TypeError$Expected.LIST, list2);
-    }if (!Kotlin.isType(res, Var)) {
+    }
+    if (!Kotlin.isType(res, Var)) {
       throw TypeError.Companion.forGoal(request.context, request.signature, TypeError$Expected.VARIABLE, res);
-    }return sequence(AppendOptimized$solve$lambda(request, res, list1, list2));
+    }
+    return sequence(AppendOptimized$solve$lambda(request, res, list1, list2));
   };
   AppendOptimized.$metadata$ = {
     kind: Kind_OBJECT,
@@ -3876,7 +3931,8 @@
   function AppendOptimized_getInstance() {
     if (AppendOptimized_instance === null) {
       new AppendOptimized();
-    }return AppendOptimized_instance;
+    }
+    return AppendOptimized_instance;
   }
   function AssertAll() {
     AssertAll_instance = this;
@@ -3922,7 +3978,8 @@
             throw this.exception_0;
           case 2:
             return this.result_0;
-          default:this.state_0 = 1;
+          default:
+            this.state_0 = 1;
             throw new Error('State Machine Unreachable execution');
         }
       } catch (e) {
@@ -3949,7 +4006,8 @@
     var list = request.arguments.get_za3lpa$(0);
     if (!Kotlin.isType(list, List)) {
       throw TypeError.Companion.forGoal(request.context, request.signature, TypeError$Expected.LIST, list);
-    }arg2pScope(AssertAll$solve$lambda(list, request));
+    }
+    arg2pScope(AssertAll$solve$lambda(list, request));
     return sequence(AssertAll$solve$lambda_0(request));
   };
   AssertAll.$metadata$ = {
@@ -3961,7 +4019,8 @@
   function AssertAll_getInstance() {
     if (AssertAll_instance === null) {
       new AssertAll();
-    }return AssertAll_instance;
+    }
+    return AssertAll_instance;
   }
   function ArgumentHash() {
     ArgumentHash_instance = this;
@@ -3979,7 +4038,8 @@
   function ArgumentHash_getInstance() {
     if (ArgumentHash_instance === null) {
       new ArgumentHash();
-    }return ArgumentHash_instance;
+    }
+    return ArgumentHash_instance;
   }
   function Contains() {
     Contains_instance = this;
@@ -4014,14 +4074,16 @@
               if (Kotlin.isType($receiver, Collection) && $receiver.isEmpty()) {
                 any$result = false;
                 break any$break;
-              }tmp$_0 = $receiver.iterator();
+              }
+              tmp$_0 = $receiver.iterator();
               while (tmp$_0.hasNext()) {
                 var element = tmp$_0.next();
                 var closure$elem = this.local$closure$elem;
                 if (Unificator.Companion.default.match(element, closure$elem)) {
                   any$result = true;
                   break any$break;
-                }}
+                }
+              }
               any$result = false;
             }
              while (false);
@@ -4034,7 +4096,8 @@
             throw this.exception_0;
           case 2:
             return this.result_0;
-          default:this.state_0 = 1;
+          default:
+            this.state_0 = 1;
             throw new Error('State Machine Unreachable execution');
         }
       } catch (e) {
@@ -4062,7 +4125,8 @@
     var list = request.arguments.get_za3lpa$(1);
     if (!Kotlin.isType(list, List)) {
       throw TypeError.Companion.forGoal(request.context, request.signature, TypeError$Expected.LIST, list);
-    }return sequence(Contains$solve$lambda(request, list, elem));
+    }
+    return sequence(Contains$solve$lambda(request, list, elem));
   };
   Contains.$metadata$ = {
     kind: Kind_OBJECT,
@@ -4073,7 +4137,8 @@
   function Contains_getInstance() {
     if (Contains_instance === null) {
       new Contains();
-    }return Contains_instance;
+    }
+    return Contains_instance;
   }
   function ContainsAny() {
     ContainsAny_instance = this;
@@ -4118,14 +4183,16 @@
                     if (Unificator.Companion.default.match(element, element_0)) {
                       any$result_0 = true;
                       break any$break_0;
-                    }}
+                    }
+                  }
                   any$result_0 = false;
                 }
                  while (false);
                 if (any$result_0) {
                   any$result = true;
                   break any$break;
-                }}
+                }
+              }
               any$result = false;
             }
              while (false);
@@ -4138,7 +4205,8 @@
             throw this.exception_0;
           case 2:
             return this.result_0;
-          default:this.state_0 = 1;
+          default:
+            this.state_0 = 1;
             throw new Error('State Machine Unreachable execution');
         }
       } catch (e) {
@@ -4166,9 +4234,11 @@
     var list = request.arguments.get_za3lpa$(1);
     if (!Kotlin.isType(list, List)) {
       throw TypeError.Companion.forGoal(request.context, request.signature, TypeError$Expected.LIST, list);
-    }if (!Kotlin.isType(elemList, List)) {
+    }
+    if (!Kotlin.isType(elemList, List)) {
       throw TypeError.Companion.forGoal(request.context, request.signature, TypeError$Expected.LIST, list);
-    }return sequence(ContainsAny$solve$lambda(request, list, elemList));
+    }
+    return sequence(ContainsAny$solve$lambda(request, list, elemList));
   };
   ContainsAny.$metadata$ = {
     kind: Kind_OBJECT,
@@ -4179,7 +4249,8 @@
   function ContainsAny_getInstance() {
     if (ContainsAny_instance === null) {
       new ContainsAny();
-    }return ContainsAny_instance;
+    }
+    return ContainsAny_instance;
   }
   function MetaInterpreterLib() {
     MetaInterpreterLib_instance = this;
@@ -4236,7 +4307,8 @@
   function MetaInterpreterLib_getInstance() {
     if (MetaInterpreterLib_instance === null) {
       new MetaInterpreterLib();
-    }return MetaInterpreterLib_instance;
+    }
+    return MetaInterpreterLib_instance;
   }
   function graph($receiver, context) {
     var it = arguments_0($receiver, context);
@@ -4297,7 +4369,8 @@
           if (element.hashCode() === solution.first.hashCode()) {
             first$result = element;
             break first$break;
-          }}
+          }
+        }
         throw new NoSuchElementException_init('Collection contains no element matching the predicate.');
       }
        while (false);
@@ -4312,7 +4385,8 @@
           if (element_0.hashCode() === solution.second.hashCode()) {
             first$result_0 = element_0;
             break first$break;
-          }}
+          }
+        }
         throw new NoSuchElementException_init('Collection contains no element matching the predicate.');
       }
        while (false);
@@ -4349,7 +4423,8 @@
           if (element.hashCode() === solution.second.hashCode()) {
             first$result = element;
             break first$break;
-          }}
+          }
+        }
         throw new NoSuchElementException_init('Collection contains no element matching the predicate.');
       }
        while (false);
@@ -4364,7 +4439,8 @@
           if (element_0.hashCode() === solution.first.hashCode()) {
             first$result_0 = element_0;
             break first$break;
-          }}
+          }
+        }
         throw new NoSuchElementException_init('Collection contains no element matching the predicate.');
       }
        while (false);
@@ -4384,32 +4460,43 @@
   function labels$checkFunctor$lambda$lambda(it) {
     return it.isYes;
   }
-  function labels$checkFunctor$lambda$lambda_0(closure$functor) {
-    return function (it) {
-      return closure$functor;
+  function labels$checkFunctor$lambda$lambda_0(closure$arguments, this$, closure$functor) {
+    return function (res) {
+      var $receiver = closure$arguments;
+      var first$result;
+      first$break: do {
+        var tmp$;
+        tmp$ = $receiver.iterator();
+        while (tmp$.hasNext()) {
+          var element = tmp$.next();
+          var this$_0 = this$;
+          var tmp$_0 = element.hashCode();
+          var $receiver_0 = res.substitution.get_11rb$(this$_0.X);
+          var tmp$_1;
+          if (tmp$_0 === ((tmp$_1 = $receiver_0 != null ? hashCode($receiver_0) : null) != null ? tmp$_1 : 0)) {
+            first$result = element;
+            break first$break;
+          }
+        }
+        throw new NoSuchElementException_init('Collection contains no element matching the predicate.');
+      }
+       while (false);
+      return new LabelledArgument(first$result, closure$functor);
     };
   }
-  function labels$checkFunctor$lambda(this$labels, closure$context, closure$functor, closure$argument) {
+  function labels$checkFunctor$lambda(this$labels, closure$context, closure$functor, closure$arguments) {
     return function ($receiver) {
-      return firstOrNull(map(filter(this$labels.solve($receiver.stringInvoke('context_check', closure$context, [$receiver.stringInvoke(closure$functor, closure$argument.termRepresentation(), [])])), labels$checkFunctor$lambda$lambda), labels$checkFunctor$lambda$lambda_0(closure$functor)));
+      return toList(map(filter(this$labels.solve($receiver.stringInvoke('context_check', closure$context, [$receiver.stringInvoke(closure$functor, $receiver.X, [])])), labels$checkFunctor$lambda$lambda), labels$checkFunctor$lambda$lambda_0(closure$arguments, $receiver, closure$functor)));
     };
   }
-  function labels$checkFunctor(this$labels, closure$context) {
-    return function (functor, argument) {
-      return prolog(labels$checkFunctor$lambda(this$labels, closure$context, functor, argument));
+  function labels$checkFunctor(this$labels, closure$context, closure$arguments) {
+    return function (functor) {
+      return prolog(labels$checkFunctor$lambda(this$labels, closure$context, functor, closure$arguments));
     };
   }
   function labels($receiver, context, arguments_0) {
-    var checkFunctor = labels$checkFunctor($receiver, context);
-    var destination = ArrayList_init(collectionSizeOrDefault(arguments_0, 10));
-    var tmp$;
-    tmp$ = arguments_0.iterator();
-    while (tmp$.hasNext()) {
-      var item = tmp$.next();
-      var tmp$_0, tmp$_1;
-      destination.add_11rb$(new LabelledArgument(item, (tmp$_1 = (tmp$_0 = checkFunctor('in', item)) != null ? tmp$_0 : checkFunctor('out', item)) != null ? tmp$_1 : 'und'));
-    }
-    return destination;
+    var checkFunctor = labels$checkFunctor($receiver, context, arguments_0);
+    return plus(plus(checkFunctor('in'), checkFunctor('out')), checkFunctor('und'));
   }
   function Argument(rules, topRule, conclusion, groundings, defeasibleRules, defeasiblePremises, lastDefeasibleRules, term) {
     Argument$Companion_getInstance();
@@ -4445,7 +4532,7 @@
       var tmp$, tmp$_0, tmp$_1;
       tmp$_1 = this.identifier + ' : ';
       if (equals(this.topRule, 'none'))
-        tmp$_0 = (tmp$ = firstOrNull_0(this.rules)) != null ? tmp$ : '';
+        tmp$_0 = (tmp$ = firstOrNull(this.rules)) != null ? tmp$ : '';
       else {
         var $receiver = this.supports;
         var destination = ArrayList_init(collectionSizeOrDefault($receiver, 10));
@@ -4549,7 +4636,8 @@
   function Argument$Companion_getInstance() {
     if (Argument$Companion_instance === null) {
       new Argument$Companion();
-    }return Argument$Companion_instance;
+    }
+    return Argument$Companion_instance;
   }
   Argument.$metadata$ = {
     kind: Kind_CLASS,
@@ -4665,7 +4753,8 @@
   function Graph$Companion_getInstance() {
     if (Graph$Companion_instance === null) {
       new Graph$Companion();
-    }return Graph$Companion_instance;
+    }
+    return Graph$Companion_instance;
   }
   Graph.$metadata$ = {
     kind: Kind_CLASS,
@@ -4891,7 +4980,8 @@
   function EngineInterface_getInstance() {
     if (EngineInterface_instance === null) {
       new EngineInterface();
-    }return EngineInterface_instance;
+    }
+    return EngineInterface_instance;
   }
   function AbstractMode() {
     AbstractMode_instance = this;
@@ -4912,7 +5002,8 @@
   function AbstractMode_getInstance() {
     if (AbstractMode_instance === null) {
       new AbstractMode();
-    }return AbstractMode_instance;
+    }
+    return AbstractMode_instance;
   }
   function ArgumentationGraphBuilder() {
     ArgumentationGraphBuilder_instance = this;
@@ -4933,7 +5024,8 @@
   function ArgumentationGraphBuilder_getInstance() {
     if (ArgumentationGraphBuilder_instance === null) {
       new ArgumentationGraphBuilder();
-    }return ArgumentationGraphBuilder_instance;
+    }
+    return ArgumentationGraphBuilder_instance;
   }
   function AttackRestrictionHandler() {
     AttackRestrictionHandler_instance = this;
@@ -4954,7 +5046,8 @@
   function AttackRestrictionHandler_getInstance() {
     if (AttackRestrictionHandler_instance === null) {
       new AttackRestrictionHandler();
-    }return AttackRestrictionHandler_instance;
+    }
+    return AttackRestrictionHandler_instance;
   }
   function BpMetaGraphHandler() {
     BpMetaGraphHandler_instance = this;
@@ -4975,7 +5068,8 @@
   function BpMetaGraphHandler_getInstance() {
     if (BpMetaGraphHandler_instance === null) {
       new BpMetaGraphHandler();
-    }return BpMetaGraphHandler_instance;
+    }
+    return BpMetaGraphHandler_instance;
   }
   function DefeasiblePreferencesHandler() {
     DefeasiblePreferencesHandler_instance = this;
@@ -4996,7 +5090,8 @@
   function DefeasiblePreferencesHandler_getInstance() {
     if (DefeasiblePreferencesHandler_instance === null) {
       new DefeasiblePreferencesHandler();
-    }return DefeasiblePreferencesHandler_instance;
+    }
+    return DefeasiblePreferencesHandler_instance;
   }
   function GenericDefeasiblePreferencesHandler() {
     GenericDefeasiblePreferencesHandler_instance = this;
@@ -5017,7 +5112,8 @@
   function GenericDefeasiblePreferencesHandler_getInstance() {
     if (GenericDefeasiblePreferencesHandler_instance === null) {
       new GenericDefeasiblePreferencesHandler();
-    }return GenericDefeasiblePreferencesHandler_instance;
+    }
+    return GenericDefeasiblePreferencesHandler_instance;
   }
   function StrictPreferencesHandler() {
     StrictPreferencesHandler_instance = this;
@@ -5038,7 +5134,8 @@
   function StrictPreferencesHandler_getInstance() {
     if (StrictPreferencesHandler_instance === null) {
       new StrictPreferencesHandler();
-    }return StrictPreferencesHandler_instance;
+    }
+    return StrictPreferencesHandler_instance;
   }
   function BpCompleteLabeller() {
     BpCompleteLabeller_instance = this;
@@ -5059,7 +5156,8 @@
   function BpCompleteLabeller_getInstance() {
     if (BpCompleteLabeller_instance === null) {
       new BpCompleteLabeller();
-    }return BpCompleteLabeller_instance;
+    }
+    return BpCompleteLabeller_instance;
   }
   function BpLabeller() {
     BpLabeller_instance = this;
@@ -5080,7 +5178,8 @@
   function BpLabeller_getInstance() {
     if (BpLabeller_instance === null) {
       new BpLabeller();
-    }return BpLabeller_instance;
+    }
+    return BpLabeller_instance;
   }
   function BpPartialLabeller() {
     BpPartialLabeller_instance = this;
@@ -5101,7 +5200,8 @@
   function BpPartialLabeller_getInstance() {
     if (BpPartialLabeller_instance === null) {
       new BpPartialLabeller();
-    }return BpPartialLabeller_instance;
+    }
+    return BpPartialLabeller_instance;
   }
   function CompleteLabeller() {
     CompleteLabeller_instance = this;
@@ -5122,7 +5222,8 @@
   function CompleteLabeller_getInstance() {
     if (CompleteLabeller_instance === null) {
       new CompleteLabeller();
-    }return CompleteLabeller_instance;
+    }
+    return CompleteLabeller_instance;
   }
   function GroundedLabeller() {
     GroundedLabeller_instance = this;
@@ -5143,7 +5244,8 @@
   function GroundedLabeller_getInstance() {
     if (GroundedLabeller_instance === null) {
       new GroundedLabeller();
-    }return GroundedLabeller_instance;
+    }
+    return GroundedLabeller_instance;
   }
   function GroundedLabellerOptimized() {
     GroundedLabellerOptimized_instance = this;
@@ -5164,7 +5266,8 @@
   function GroundedLabellerOptimized_getInstance() {
     if (GroundedLabellerOptimized_instance === null) {
       new GroundedLabellerOptimized();
-    }return GroundedLabellerOptimized_instance;
+    }
+    return GroundedLabellerOptimized_instance;
   }
   function StatementLabeller() {
     StatementLabeller_instance = this;
@@ -5185,7 +5288,8 @@
   function StatementLabeller_getInstance() {
     if (StatementLabeller_instance === null) {
       new StatementLabeller();
-    }return StatementLabeller_instance;
+    }
+    return StatementLabeller_instance;
   }
   function RuleParser() {
     RuleParser_instance = this;
@@ -5206,7 +5310,8 @@
   function RuleParser_getInstance() {
     if (RuleParser_instance === null) {
       new RuleParser();
-    }return RuleParser_instance;
+    }
+    return RuleParser_instance;
   }
   function AbstractMode_0() {
     AbstractMode_instance_0 = this;
@@ -5221,7 +5326,8 @@
   function AbstractMode_getInstance_0() {
     if (AbstractMode_instance_0 === null) {
       new AbstractMode_0();
-    }return AbstractMode_instance_0;
+    }
+    return AbstractMode_instance_0;
   }
   function ArgumentationEngineInterface() {
     ArgumentationEngineInterface_instance = this;
@@ -5236,7 +5342,8 @@
   function ArgumentationEngineInterface_getInstance() {
     if (ArgumentationEngineInterface_instance === null) {
       new ArgumentationEngineInterface();
-    }return ArgumentationEngineInterface_instance;
+    }
+    return ArgumentationEngineInterface_instance;
   }
   function ArgumentationGraph() {
     ArgumentationGraph_instance = this;
@@ -5251,7 +5358,8 @@
   function ArgumentationGraph_getInstance() {
     if (ArgumentationGraph_instance === null) {
       new ArgumentationGraph();
-    }return ArgumentationGraph_instance;
+    }
+    return ArgumentationGraph_instance;
   }
   function AttackRestriction() {
     AttackRestriction_instance = this;
@@ -5266,7 +5374,8 @@
   function AttackRestriction_getInstance() {
     if (AttackRestriction_instance === null) {
       new AttackRestriction();
-    }return AttackRestriction_instance;
+    }
+    return AttackRestriction_instance;
   }
   function Bp() {
     Bp_instance = this;
@@ -5281,7 +5390,8 @@
   function Bp_getInstance() {
     if (Bp_instance === null) {
       new Bp();
-    }return Bp_instance;
+    }
+    return Bp_instance;
   }
   function BpGrounded() {
     BpGrounded_instance = this;
@@ -5296,7 +5406,8 @@
   function BpGrounded_getInstance() {
     if (BpGrounded_instance === null) {
       new BpGrounded();
-    }return BpGrounded_instance;
+    }
+    return BpGrounded_instance;
   }
   function BpGroundedComplete() {
     BpGroundedComplete_instance = this;
@@ -5311,7 +5422,8 @@
   function BpGroundedComplete_getInstance() {
     if (BpGroundedComplete_instance === null) {
       new BpGroundedComplete();
-    }return BpGroundedComplete_instance;
+    }
+    return BpGroundedComplete_instance;
   }
   function BpGroundedPartial() {
     BpGroundedPartial_instance = this;
@@ -5326,7 +5438,8 @@
   function BpGroundedPartial_getInstance() {
     if (BpGroundedPartial_instance === null) {
       new BpGroundedPartial();
-    }return BpGroundedPartial_instance;
+    }
+    return BpGroundedPartial_instance;
   }
   function Complete() {
     Complete_instance = this;
@@ -5341,7 +5454,8 @@
   function Complete_getInstance() {
     if (Complete_instance === null) {
       new Complete();
-    }return Complete_instance;
+    }
+    return Complete_instance;
   }
   function Debug() {
     Debug_instance = this;
@@ -5356,7 +5470,8 @@
   function Debug_getInstance() {
     if (Debug_instance === null) {
       new Debug();
-    }return Debug_instance;
+    }
+    return Debug_instance;
   }
   function DefPreferences() {
     DefPreferences_instance = this;
@@ -5371,7 +5486,8 @@
   function DefPreferences_getInstance() {
     if (DefPreferences_instance === null) {
       new DefPreferences();
-    }return DefPreferences_instance;
+    }
+    return DefPreferences_instance;
   }
   function GenericDefPreferences() {
     GenericDefPreferences_instance = this;
@@ -5386,7 +5502,8 @@
   function GenericDefPreferences_getInstance() {
     if (GenericDefPreferences_instance === null) {
       new GenericDefPreferences();
-    }return GenericDefPreferences_instance;
+    }
+    return GenericDefPreferences_instance;
   }
   function Grounded() {
     Grounded_instance = this;
@@ -5401,7 +5518,8 @@
   function Grounded_getInstance() {
     if (Grounded_instance === null) {
       new Grounded();
-    }return Grounded_instance;
+    }
+    return Grounded_instance;
   }
   function GroundedOptimized() {
     GroundedOptimized_instance = this;
@@ -5416,7 +5534,8 @@
   function GroundedOptimized_getInstance() {
     if (GroundedOptimized_instance === null) {
       new GroundedOptimized();
-    }return GroundedOptimized_instance;
+    }
+    return GroundedOptimized_instance;
   }
   function Preferences() {
     Preferences_instance = this;
@@ -5431,7 +5550,8 @@
   function Preferences_getInstance() {
     if (Preferences_instance === null) {
       new Preferences();
-    }return Preferences_instance;
+    }
+    return Preferences_instance;
   }
   function QueryMode_0() {
     QueryMode_instance_0 = this;
@@ -5446,7 +5566,8 @@
   function QueryMode_getInstance_0() {
     if (QueryMode_instance_0 === null) {
       new QueryMode_0();
-    }return QueryMode_instance_0;
+    }
+    return QueryMode_instance_0;
   }
   function RuleTranslator() {
     RuleTranslator_instance = this;
@@ -5461,7 +5582,8 @@
   function RuleTranslator_getInstance() {
     if (RuleTranslator_instance === null) {
       new RuleTranslator();
-    }return RuleTranslator_instance;
+    }
+    return RuleTranslator_instance;
   }
   function StatementLabelling() {
     StatementLabelling_instance = this;
@@ -5476,7 +5598,8 @@
   function StatementLabelling_getInstance() {
     if (StatementLabelling_instance === null) {
       new StatementLabelling();
-    }return StatementLabelling_instance;
+    }
+    return StatementLabelling_instance;
   }
   function SuperiorityRelation() {
     SuperiorityRelation_instance = this;
@@ -5491,7 +5614,8 @@
   function SuperiorityRelation_getInstance() {
     if (SuperiorityRelation_instance === null) {
       new SuperiorityRelation();
-    }return SuperiorityRelation_instance;
+    }
+    return SuperiorityRelation_instance;
   }
   function Utils() {
     Utils_instance = this;
@@ -5506,7 +5630,8 @@
   function Utils_getInstance() {
     if (Utils_instance === null) {
       new Utils();
-    }return Utils_instance;
+    }
+    return Utils_instance;
   }
   function StructuredMode() {
     StructuredMode_instance = this;
@@ -5527,7 +5652,8 @@
   function StructuredMode_getInstance() {
     if (StructuredMode_instance === null) {
       new StructuredMode();
-    }return StructuredMode_instance;
+    }
+    return StructuredMode_instance;
   }
   function Debug_0() {
     Debug_instance_0 = this;
@@ -5548,7 +5674,8 @@
   function Debug_getInstance_0() {
     if (Debug_instance_0 === null) {
       new Debug_0();
-    }return Debug_instance_0;
+    }
+    return Debug_instance_0;
   }
   function SuperiorityRelation_0() {
     SuperiorityRelation_instance_0 = this;
@@ -5569,7 +5696,8 @@
   function SuperiorityRelation_getInstance_0() {
     if (SuperiorityRelation_instance_0 === null) {
       new SuperiorityRelation_0();
-    }return SuperiorityRelation_instance_0;
+    }
+    return SuperiorityRelation_instance_0;
   }
   function Utils_0() {
     Utils_instance_0 = this;
@@ -5590,7 +5718,8 @@
   function Utils_getInstance_0() {
     if (Utils_instance_0 === null) {
       new Utils_0();
-    }return Utils_instance_0;
+    }
+    return Utils_instance_0;
   }
   Object.defineProperty(Arg2pSolver, 'Companion', {
     get: Arg2pSolver$Companion_getInstance
@@ -6081,9 +6210,9 @@
   PrologWithArgumentationImpl.prototype.anyMguWith = PrologWithArgumentation.prototype.anyMguWith;
   PrologWithArgumentationImpl.prototype.anyUnifyWith = PrologWithArgumentation.prototype.anyUnifyWith;
   PrologWithArgumentationImpl.prototype.list = PrologWithArgumentation.prototype.list;
+  PrologWithArgumentationImpl.prototype.listFrom = PrologWithArgumentation.prototype.listFrom;
   PrologWithArgumentationImpl.prototype.listFromIterable = PrologWithArgumentation.prototype.listFromIterable;
   PrologWithArgumentationImpl.prototype.listFromSequence = PrologWithArgumentation.prototype.listFromSequence;
-  PrologWithArgumentationImpl.prototype.listFrom = PrologWithArgumentation.prototype.listFrom;
   PrologWithArgumentationImpl.prototype.matchAny = PrologWithArgumentation.prototype.matchAny;
   PrologWithArgumentationImpl.prototype.mguWithOccurCheck = PrologWithArgumentation.prototype.mguWithOccurCheck;
   PrologWithArgumentationImpl.prototype.mguAny = PrologWithArgumentation.prototype.mguAny;