@tuprolog/arg2p-core 0.8.2 → 0.8.3

package/arg2p-core.js

@@ -91,7 +91,6 @@
   var Companion_instance_2 = kotlin_it_unibo_tuprolog_core.$_$.w;
   var defineProp = kotlin_kotlin.$_$.g5;
   var Companion_instance_3 = kotlin_it_unibo_tuprolog_dsl_solve.$_$.b;
-  var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_solve.$_$.p1;
   var copy = kotlin_it_unibo_tuprolog_solve.$_$.g;
   var logicList = kotlin_it_unibo_tuprolog_dsl_core.$_$.a;
   var logicListFromFrom = kotlin_it_unibo_tuprolog_core.$_$.d;
@@ -103,15 +102,15 @@
   var solverOf = kotlin_it_unibo_tuprolog_dsl_solve.$_$.a;
   var unifyAny = kotlin_it_unibo_tuprolog_dsl_unify.$_$.c;
   var LogicProgrammingScopeWithSubstitutions = kotlin_it_unibo_tuprolog_dsl_core.$_$.o4;
-  var LogicProgrammingScopeWithOperators = kotlin_it_unibo_tuprolog_dsl_core.$_$.w1;
-  var LogicProgrammingScopeWithTheories = kotlin_it_unibo_tuprolog_dsl_theory.$_$.h;
-  var BaseLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.e;
+  var MinimalLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.c5;
   var Scope = kotlin_it_unibo_tuprolog_core.$_$.q1;
+  var LogicProgrammingScopeWithTheories = kotlin_it_unibo_tuprolog_dsl_theory.$_$.h;
   var LogicProgrammingScopeWithUnification = kotlin_it_unibo_tuprolog_dsl_unify.$_$.j;
-  var MinimalLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.c5;
-  var LogicProgrammingScopeWithPrologStandardLibrary = kotlin_it_unibo_tuprolog_dsl_core.$_$.h4;
+  var LogicProgrammingScopeWithOperators = kotlin_it_unibo_tuprolog_dsl_core.$_$.w1;
   var LogicProgrammingScopeWithResolution = kotlin_it_unibo_tuprolog_dsl_solve.$_$.c;
-  var Companion_getInstance_2 = kotlin_it_unibo_tuprolog_core.$_$.i;
+  var LogicProgrammingScopeWithPrologStandardLibrary = kotlin_it_unibo_tuprolog_dsl_core.$_$.h4;
+  var BaseLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.e;
+  var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_core.$_$.i;
   var lazy = kotlin_kotlin.$_$.aa;
   var KProperty1 = kotlin_kotlin.$_$.u6;
   var getPropertyCallableRef = kotlin_kotlin.$_$.k5;
@@ -122,16 +121,16 @@
   var sequenceOf = kotlin_kotlin.$_$.y7;
   var sequence = kotlin_kotlin.$_$.z7;
   var Companion_instance_4 = kotlin_it_unibo_tuprolog_theory.$_$.a;
-  var Companion_getInstance_3 = kotlin_it_unibo_tuprolog_unify.$_$.b;
+  var Companion_getInstance_2 = kotlin_it_unibo_tuprolog_unify.$_$.b;
   var mapCapacity = kotlin_kotlin.$_$.l3;
   var coerceAtLeast = kotlin_kotlin.$_$.q6;
   var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.g;
-  var Companion_getInstance_4 = kotlin_it_unibo_tuprolog_core.$_$.v;
-  var Companion_getInstance_5 = kotlin_it_unibo_tuprolog_core.$_$.q;
+  var Companion_getInstance_3 = kotlin_it_unibo_tuprolog_core.$_$.v;
+  var Companion_getInstance_4 = kotlin_it_unibo_tuprolog_core.$_$.q;
   var to = kotlin_kotlin.$_$.ha;
   var mutableMapOf = kotlin_kotlin.$_$.v3;
-  var Companion_getInstance_6 = kotlin_it_unibo_tuprolog_solve.$_$.o1;
-  var Companion_getInstance_7 = kotlin_kotlin.$_$.r1;
+  var Companion_getInstance_5 = kotlin_it_unibo_tuprolog_solve.$_$.o1;
+  var Companion_getInstance_6 = kotlin_kotlin.$_$.r1;
   var Long = kotlin_kotlin.$_$.p9;
   var Companion_instance_5 = kotlin_it_unibo_tuprolog_solve.$_$.b1;
   var Expected_LIST_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.b;
@@ -156,11 +155,11 @@
   var RuleWrapper = kotlin_it_unibo_tuprolog_solve.$_$.z1;
   var RuleWrapper_init_$Init$ = kotlin_it_unibo_tuprolog_solve.$_$.p;
   var mapOf_0 = kotlin_kotlin.$_$.n3;
-  var Companion_getInstance_8 = kotlin_it_unibo_tuprolog_core.$_$.z;
+  var Companion_getInstance_7 = kotlin_it_unibo_tuprolog_core.$_$.z;
   var first_0 = kotlin_kotlin.$_$.x2;
   var parseStruct = kotlin_it_unibo_tuprolog_parser_core.$_$.c;
   var prolog = kotlin_it_unibo_tuprolog_dsl_solve.$_$.d;
-  var Companion_getInstance_9 = kotlin_it_unibo_tuprolog_solve.$_$.j1;
+  var Companion_getInstance_8 = kotlin_it_unibo_tuprolog_solve.$_$.j1;
   var Default_getInstance = kotlin_kotlin.$_$.o1;
   var IntCompanionObject_instance = kotlin_kotlin.$_$.m1;
   var listToTerm = kotlin_it_unibo_tuprolog_core.$_$.x2;
@@ -168,7 +167,7 @@
   var listOf_0 = kotlin_kotlin.$_$.j3;
   var WithoutSideEffects_0 = kotlin_it_unibo_tuprolog_solve.$_$.v1;
   var Companion_instance_8 = kotlin_it_unibo_tuprolog_core.$_$.p;
-  var Companion_getInstance_10 = kotlin_it_unibo_tuprolog_core.$_$.l;
+  var Companion_getInstance_9 = kotlin_it_unibo_tuprolog_core.$_$.l;
   var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.r;
   var KProperty0 = kotlin_kotlin.$_$.t6;
   var Expected_VARIABLE_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.c;
@@ -210,9 +209,9 @@
   setMetadataFor(BridgedGraph, 'BridgedGraph', classMeta);
   setMetadataFor(BridgedSolution, 'BridgedSolution', classMeta);
   setMetadataFor(JsBridge, 'JsBridge', objectMeta);
-  setMetadataFor(PrologWithArgumentationImpl, 'PrologWithArgumentationImpl', classMeta, VOID, [LogicProgrammingScopeWithSubstitutions, LogicProgrammingScopeWithOperators, LogicProgrammingScopeWithTheories, BaseLogicProgrammingScope, Scope, LogicProgrammingScopeWithUnification, MinimalLogicProgrammingScope, LogicProgrammingScopeWithPrologStandardLibrary, LogicProgrammingScopeWithResolution], PrologWithArgumentationImpl);
+  setMetadataFor(PrologWithArgumentationImpl, 'PrologWithArgumentationImpl', classMeta, VOID, [LogicProgrammingScopeWithSubstitutions, MinimalLogicProgrammingScope, Scope, LogicProgrammingScopeWithTheories, LogicProgrammingScopeWithUnification, LogicProgrammingScopeWithOperators, LogicProgrammingScopeWithResolution, LogicProgrammingScopeWithPrologStandardLibrary, BaseLogicProgrammingScope], PrologWithArgumentationImpl);
   function get_theoryOperators() {
-    return Companion_getInstance_2().DEFAULT;
+    return Companion_getInstance_1().DEFAULT;
   }
   function content() {
     return this.g3c();
@@ -368,7 +367,7 @@
     return $super === VOID ? this.m3a(staticLibs, dynamicLibs) : $super.m3a.call(this, staticLibs, dynamicLibs);
   };
   var Companion_instance_9;
-  function Companion_getInstance_11() {
+  function Companion_getInstance_10() {
     return Companion_instance_9;
   }
   function Arg2pSolver() {
@@ -818,7 +817,7 @@
     return JsBridge_instance;
   }
   function PrologWithArgumentationImpl() {
-    this.f3c_1 = Companion_instance_3.ofSolverFactory(Companion_getInstance_1().b1y());
+    this.f3c_1 = Companion_instance_3.ofSolverFactory(ClassicSolverFactory_instance);
   }
   protoOf(PrologWithArgumentationImpl).w1g = function () {
     return this.f3c_1.w1g();
@@ -1859,7 +1858,7 @@
   function Cache() {
     var tmp = this;
     // Inline function 'kotlin.also' call
-    var this_0 = Companion_getInstance_1().b1y().rawMutableSolverOf(VOID, VOID, VOID, Companion_instance_0.emptyWithDefaultUnificator(), Companion_instance_4.empty(Companion_getInstance_3().y1k()));
+    var this_0 = ClassicSolverFactory_instance.rawMutableSolverOf(VOID, VOID, VOID, Companion_instance_0.emptyWithDefaultUnificator(), Companion_instance_4.empty(Companion_getInstance_2().y1k()));
     // Inline function 'kotlin.contracts.contract' call
     // Inline function 'it.unibo.tuprolog.argumentation.core.libs.basic.Cache.solver.<anonymous>' call
     this_0.setFlag(Unknown_getInstance().w29_1, Unknown_getInstance().v29_1);
@@ -2043,7 +2042,7 @@
     // Inline function 'kotlin.collections.set' call
     var this_0 = this.k3e_1.i3d_1;
     // Inline function 'kotlin.also' call
-    var this_1 = Companion_getInstance_1().b1y().mutableSolverWithDefaultBuiltinsAnd(VOID, VOID, VOID, Companion_instance_0.emptyWithDefaultUnificator(), Companion_instance_4.empty(Companion_getInstance_3().y1k()));
+    var this_1 = ClassicSolverFactory_instance.mutableSolverWithDefaultBuiltinsAnd(VOID, VOID, VOID, Companion_instance_0.emptyWithDefaultUnificator(), Companion_instance_4.empty(Companion_getInstance_2().y1k()));
     // Inline function 'kotlin.contracts.contract' call
     // Inline function 'it.unibo.tuprolog.argumentation.core.libs.basic.DynamicCacheReset.solve.<anonymous>' call
     this_1.setFlag(Unknown_getInstance().w29_1, Unknown_getInstance().v29_1);
@@ -2062,7 +2061,7 @@
   };
   protoOf(DynamicCacheSelected).v2g = function (request) {
     var term = request.arguments.d1(0);
-    return sequenceOf([request.replyWith(Companion_getInstance_4().of(term.castToVar(), Companion_getInstance_5().ofInteger(this.m3e_1.h3d_1)), VOID, [])]);
+    return sequenceOf([request.replyWith(Companion_getInstance_3().of(term.castToVar(), Companion_getInstance_4().ofInteger(this.m3e_1.h3d_1)), VOID, [])]);
   };
   protoOf(DynamicCacheSelected).solve = function (request) {
     return this.v2g(request);
@@ -2097,7 +2096,7 @@
     var this_0 = this.q3e_1.i3d_1;
     var key = this.q3e_1.g3d_1;
     // Inline function 'kotlin.also' call
-    var this_1 = Companion_getInstance_1().b1y().mutableSolverWithDefaultBuiltinsAnd(VOID, VOID, VOID, Companion_instance_0.emptyWithDefaultUnificator(), Companion_instance_4.ofIterable(Companion_getInstance_3().y1k(), ensureNotNull(this.q3e_1.i3d_1.x2(target)).n1v()));
+    var this_1 = ClassicSolverFactory_instance.mutableSolverWithDefaultBuiltinsAnd(VOID, VOID, VOID, Companion_instance_0.emptyWithDefaultUnificator(), Companion_instance_4.ofIterable(Companion_getInstance_2().y1k(), ensureNotNull(this.q3e_1.i3d_1.x2(target)).n1v()));
     // Inline function 'kotlin.contracts.contract' call
     // Inline function 'it.unibo.tuprolog.argumentation.core.libs.basic.DynamicCacheBranch.solve.<anonymous>' call
     this_1.setFlag(Unknown_getInstance().w29_1, Unknown_getInstance().v29_1);
@@ -2107,7 +2106,7 @@
     var tmp1 = tmp0_this.g3d_1;
     tmp0_this.g3d_1 = tmp1 + 1 | 0;
     tmp.h3d_1 = tmp1;
-    return sequenceOf([request.replyWith(Companion_getInstance_4().of(result.castToVar(), Companion_getInstance_5().ofInteger(this.q3e_1.h3d_1)), VOID, [])]);
+    return sequenceOf([request.replyWith(Companion_getInstance_3().of(result.castToVar(), Companion_getInstance_4().ofInteger(this.q3e_1.h3d_1)), VOID, [])]);
   };
   protoOf(DynamicCacheBranch).solve = function (request) {
     return this.v2g(request);
@@ -2176,7 +2175,7 @@
     this.h3d_1 = 0;
     var tmp = this;
     // Inline function 'kotlin.also' call
-    var this_0 = Companion_getInstance_1().b1y().mutableSolverWithDefaultBuiltinsAnd(VOID, VOID, VOID, Companion_instance_0.emptyWithDefaultUnificator(), Companion_instance_4.empty(Companion_getInstance_3().y1k()));
+    var this_0 = ClassicSolverFactory_instance.mutableSolverWithDefaultBuiltinsAnd(VOID, VOID, VOID, Companion_instance_0.emptyWithDefaultUnificator(), Companion_instance_4.empty(Companion_getInstance_2().y1k()));
     // Inline function 'kotlin.contracts.contract' call
     // Inline function 'it.unibo.tuprolog.argumentation.core.libs.basic.Context.dynamicSolver.<anonymous>' call
     this_0.setFlag(Unknown_getInstance().w29_1, Unknown_getInstance().v29_1);
@@ -2234,8 +2233,8 @@
           case 0:
             this.gb_1 = 2;
             this.fb_1 = 1;
-            var tmp_0 = Companion_getInstance_6();
-            Companion_getInstance_7();
+            var tmp_0 = Companion_getInstance_5();
+            Companion_getInstance_6();
             var tmp_1 = this.h3f_1.solveWithOptions(this.i3f_1, tmp_0.allLazilyWithTimeout(new Long(-1, 2147483647)));
             suspendResult = this.k3f_1.zd(map(tmp_1, DynamicLoader$AbstractWithLib$solve$slambda$lambda(this.j3f_1)), this);
             if (suspendResult === get_COROUTINE_SUSPENDED()) {
@@ -2383,7 +2382,7 @@
     return OperatorSet_init_$Create$([new Operator('::', Specifier_XFX_getInstance(), 700), new Operator(':::', Specifier_XFX_getInstance(), 700)]);
   };
   var Companion_instance_10;
-  function Companion_getInstance_12() {
+  function Companion_getInstance_11() {
     return Companion_instance_10;
   }
   function DynamicLoader(solver) {
@@ -2416,7 +2415,7 @@
   function EngineInterfaceBase() {
     LazyRawPrologContent.call(this);
     this.y3f_1 = 'prolog.argumentation.interface';
-    this.z3f_1 = Companion_instance_11.w3f().plusOperatorSet(Companion_instance_10.w3f()).plusOperatorSet(Companion_getInstance_2().DEFAULT);
+    this.z3f_1 = Companion_instance_11.w3f().plusOperatorSet(Companion_instance_10.w3f()).plusOperatorSet(Companion_getInstance_1().DEFAULT);
   }
   protoOf(EngineInterfaceBase).n2e = function () {
     return this.y3f_1;
@@ -2550,7 +2549,7 @@
   }
   function ModuleCall$mineModulesPath$lambda($context) {
     return function ($this$logicProgramming) {
-      var tmp = Companion_getInstance_1().b1y().rawSolverOf(VOID, $context.k1v()).solve($this$logicProgramming.stringInvoke('modulesPath', $this$logicProgramming.w1g(), []));
+      var tmp = ClassicSolverFactory_instance.rawSolverOf(VOID, $context.k1v()).solve($this$logicProgramming.stringInvoke('modulesPath', $this$logicProgramming.w1g(), []));
       return first(map(tmp, ModuleCall$mineModulesPath$lambda$lambda($this$logicProgramming)));
     };
   }
@@ -2562,7 +2561,7 @@
   function ModuleCall$getCleanSolver$lambda_0($context, $modules, $module) {
     return function ($this$logicProgramming) {
       // Inline function 'kotlin.also' call
-      var this_0 = Companion_getInstance_1().b1y().rawSolverOf(VOID, $context.k1v());
+      var this_0 = ClassicSolverFactory_instance.rawSolverOf(VOID, $context.k1v());
       // Inline function 'kotlin.contracts.contract' call
       // Inline function 'it.unibo.tuprolog.argumentation.core.libs.extra.ModuleCall.getCleanSolver.<anonymous>.<anonymous>' call
       // Inline function 'kotlin.collections.forEach' call
@@ -2615,7 +2614,7 @@
   function AbstractModeBase() {
     LazyRawPrologContent.call(this);
     this.q3g_1 = 'prolog.argumentation.abstract';
-    this.r3g_1 = Companion_instance_10.w3f().plusOperatorSet(Companion_getInstance_2().DEFAULT);
+    this.r3g_1 = Companion_instance_10.w3f().plusOperatorSet(Companion_getInstance_1().DEFAULT);
   }
   protoOf(AbstractModeBase).n2e = function () {
     return this.q3g_1;
@@ -2632,7 +2631,7 @@
   function ArgumentationGraphBuilderBase() {
     LazyRawPrologContent.call(this);
     this.t3g_1 = 'prolog.argumentation.graph';
-    this.u3g_1 = Companion_instance_10.w3f().plusOperatorSet(Companion_getInstance_2().DEFAULT);
+    this.u3g_1 = Companion_instance_10.w3f().plusOperatorSet(Companion_getInstance_1().DEFAULT);
   }
   protoOf(ArgumentationGraphBuilderBase).n2e = function () {
     return this.t3g_1;
@@ -2649,7 +2648,7 @@
   function AttackRestrictionHandlerBase() {
     LazyRawPrologContent.call(this);
     this.w3g_1 = 'prolog.argumentation.graph.rebutrestriction';
-    this.x3g_1 = Companion_instance_10.w3f().plusOperatorSet(Companion_getInstance_2().DEFAULT);
+    this.x3g_1 = Companion_instance_10.w3f().plusOperatorSet(Companion_getInstance_1().DEFAULT);
   }
   protoOf(AttackRestrictionHandlerBase).n2e = function () {
     return this.w3g_1;
@@ -2666,7 +2665,7 @@
   function BpMetaGraphHandlerBase() {
     LazyRawPrologContent.call(this);
     this.z3g_1 = 'prolog.argumentation.graph.meta.bp';
-    this.a3h_1 = Companion_instance_10.w3f().plusOperatorSet(Companion_getInstance_2().DEFAULT);
+    this.a3h_1 = Companion_instance_10.w3f().plusOperatorSet(Companion_getInstance_1().DEFAULT);
   }
   protoOf(BpMetaGraphHandlerBase).n2e = function () {
     return this.z3g_1;
@@ -2683,7 +2682,7 @@
   function DefeasiblePreferencesHandlerBase() {
     LazyRawPrologContent.call(this);
     this.c3h_1 = 'prolog.argumentation.graph.preferences.defeasible';
-    this.d3h_1 = Companion_instance_10.w3f().plusOperatorSet(Companion_getInstance_2().DEFAULT);
+    this.d3h_1 = Companion_instance_10.w3f().plusOperatorSet(Companion_getInstance_1().DEFAULT);
   }
   protoOf(DefeasiblePreferencesHandlerBase).n2e = function () {
     return this.c3h_1;
@@ -2700,7 +2699,7 @@
   function GenericDefeasiblePreferencesHandlerBase() {
     LazyRawPrologContent.call(this);
     this.f3h_1 = 'prolog.argumentation.graph.preferences.defeasible.generic';
-    this.g3h_1 = Companion_instance_10.w3f().plusOperatorSet(Companion_getInstance_2().DEFAULT);
+    this.g3h_1 = Companion_instance_10.w3f().plusOperatorSet(Companion_getInstance_1().DEFAULT);
   }
   protoOf(GenericDefeasiblePreferencesHandlerBase).n2e = function () {
     return this.f3h_1;
@@ -2717,7 +2716,7 @@
   function StrictPreferencesHandlerBase() {
     LazyRawPrologContent.call(this);
     this.i3h_1 = 'prolog.argumentation.graph.preferences.strict';
-    this.j3h_1 = Companion_instance_10.w3f().plusOperatorSet(Companion_getInstance_2().DEFAULT);
+    this.j3h_1 = Companion_instance_10.w3f().plusOperatorSet(Companion_getInstance_1().DEFAULT);
   }
   protoOf(StrictPreferencesHandlerBase).n2e = function () {
     return this.i3h_1;
@@ -2734,7 +2733,7 @@
   function BinaryStatementLabeller() {
     BinaryStatementLabeller_instance = this;
     this.k3h_1 = 'prolog.argumentation.graph.labelling.statement.binary';
-    this.l3h_1 = Companion_instance_10.w3f().plusOperatorSet(Companion_getInstance_2().DEFAULT);
+    this.l3h_1 = Companion_instance_10.w3f().plusOperatorSet(Companion_getInstance_1().DEFAULT);
   }
   protoOf(BinaryStatementLabeller).n2e = function () {
     return this.k3h_1;
@@ -2770,7 +2769,7 @@
   function BpCompleteLabellerBase() {
     LazyRawPrologContent.call(this);
     this.q3h_1 = 'prolog.argumentation.graph.labelling.bpgroundedcomplete';
-    this.r3h_1 = Companion_instance_10.w3f().plusOperatorSet(Companion_getInstance_2().DEFAULT);
+    this.r3h_1 = Companion_instance_10.w3f().plusOperatorSet(Companion_getInstance_1().DEFAULT);
   }
   protoOf(BpCompleteLabellerBase).n2e = function () {
     return this.q3h_1;
@@ -2787,7 +2786,7 @@
   function BpLabellerBase() {
     LazyRawPrologContent.call(this);
     this.t3h_1 = 'prolog.argumentation.graph.labelling.bpgrounded';
-    this.u3h_1 = Companion_instance_10.w3f().plusOperatorSet(Companion_getInstance_2().DEFAULT);
+    this.u3h_1 = Companion_instance_10.w3f().plusOperatorSet(Companion_getInstance_1().DEFAULT);
   }
   protoOf(BpLabellerBase).n2e = function () {
     return this.t3h_1;
@@ -2804,7 +2803,7 @@
   function BpPartialLabellerBase() {
     LazyRawPrologContent.call(this);
     this.w3h_1 = 'prolog.argumentation.graph.labelling.bpgroundedpartial';
-    this.x3h_1 = Companion_instance_10.w3f().plusOperatorSet(Companion_getInstance_2().DEFAULT);
+    this.x3h_1 = Companion_instance_10.w3f().plusOperatorSet(Companion_getInstance_1().DEFAULT);
   }
   protoOf(BpPartialLabellerBase).n2e = function () {
     return this.w3h_1;
@@ -2821,7 +2820,7 @@
   function CompleteLabellerBase() {
     LazyRawPrologContent.call(this);
     this.z3h_1 = 'prolog.argumentation.graph.labelling.complete';
-    this.a3i_1 = Companion_instance_10.w3f().plusOperatorSet(Companion_getInstance_2().DEFAULT);
+    this.a3i_1 = Companion_instance_10.w3f().plusOperatorSet(Companion_getInstance_1().DEFAULT);
   }
   protoOf(CompleteLabellerBase).n2e = function () {
     return this.z3h_1;
@@ -2838,7 +2837,7 @@
   function GroundedLabellerBase() {
     LazyRawPrologContent.call(this);
     this.c3i_1 = 'prolog.argumentation.graph.labelling.grounded';
-    this.d3i_1 = Companion_instance_10.w3f().plusOperatorSet(Companion_getInstance_2().DEFAULT);
+    this.d3i_1 = Companion_instance_10.w3f().plusOperatorSet(Companion_getInstance_1().DEFAULT);
   }
   protoOf(GroundedLabellerBase).n2e = function () {
     return this.c3i_1;
@@ -2855,7 +2854,7 @@
   function GroundedLabellerOptimizedBase() {
     LazyRawPrologContent.call(this);
     this.f3i_1 = 'prolog.argumentation.graph.labelling.grounded.optimized';
-    this.g3i_1 = Companion_instance_10.w3f().plusOperatorSet(Companion_getInstance_2().DEFAULT);
+    this.g3i_1 = Companion_instance_10.w3f().plusOperatorSet(Companion_getInstance_1().DEFAULT);
   }
   protoOf(GroundedLabellerOptimizedBase).n2e = function () {
     return this.f3i_1;
@@ -2872,7 +2871,7 @@
   function PassThroughStatementLabeller() {
     PassThroughStatementLabeller_instance = this;
     this.h3i_1 = 'prolog.argumentation.graph.labelling.statement.pt';
-    this.i3i_1 = Companion_instance_10.w3f().plusOperatorSet(Companion_getInstance_2().DEFAULT);
+    this.i3i_1 = Companion_instance_10.w3f().plusOperatorSet(Companion_getInstance_1().DEFAULT);
   }
   protoOf(PassThroughStatementLabeller).n2e = function () {
     return this.h3i_1;
@@ -2908,7 +2907,7 @@
   function StatementLabellerBase() {
     LazyRawPrologContent.call(this);
     this.n3i_1 = 'prolog.argumentation.graph.labelling.statement';
-    this.o3i_1 = Companion_instance_10.w3f().plusOperatorSet(Companion_getInstance_2().DEFAULT);
+    this.o3i_1 = Companion_instance_10.w3f().plusOperatorSet(Companion_getInstance_1().DEFAULT);
   }
   protoOf(StatementLabellerBase).n2e = function () {
     return this.n3i_1;
@@ -2928,13 +2927,13 @@
     return OperatorSet_init_$Create$([new Operator('=>', Specifier_XFX_getInstance(), 1199), new Operator(':=>', Specifier_XFX_getInstance(), 1199), new Operator(':->', Specifier_XFX_getInstance(), 1199), new Operator(':', Specifier_XFX_getInstance(), 1001), new Operator(':=', Specifier_XFX_getInstance(), 1199)]);
   };
   var Companion_instance_11;
-  function Companion_getInstance_13() {
+  function Companion_getInstance_12() {
     return Companion_instance_11;
   }
   function RuleParserBase() {
     LazyRawPrologContent.call(this);
     this.q3i_1 = 'prolog.argumentation.parser';
-    this.r3i_1 = Companion_instance_10.w3f().plusOperatorSet(Companion_instance_11.w3f()).plusOperatorSet(Companion_getInstance_2().DEFAULT);
+    this.r3i_1 = Companion_instance_10.w3f().plusOperatorSet(Companion_instance_11.w3f()).plusOperatorSet(Companion_getInstance_1().DEFAULT);
   }
   protoOf(RuleParserBase).n2e = function () {
     return this.q3i_1;
@@ -2970,7 +2969,7 @@
         if (tmp_0) {
           tmp = $this$prolog.stringInvoke('~', ensureNotNull(item.asStruct()).av().d1(0), []);
         } else {
-          if (first($context.solve($this$prolog.stringInvoke('clause', item, [Companion_getInstance_8().j13_1]))).q1w()) {
+          if (first($context.solve($this$prolog.stringInvoke('clause', item, [Companion_getInstance_7().j13_1]))).q1w()) {
             tmp = $this$prolog.stringInvoke('prolog', item, []);
           } else {
             tmp = item;
@@ -2993,7 +2992,7 @@
   }
   function ConversionUtils$commonMap$lambda($first, $force, $context, $mapper) {
     return function ($this$prolog) {
-      var tmp = Companion_getInstance_4();
+      var tmp = Companion_getInstance_3();
       var tmp_0 = $first.castToVar();
       var tmp_1;
       if ($force ? true : first($context.solve(parseStruct(Companion_getInstance_0(), 'prologStrictCompatibility'))).o1w()) {
@@ -3010,7 +3009,7 @@
     return prolog(VOID, ConversionUtils$modifiers$lambda(target, context));
   };
   protoOf(ConversionUtils).t3i = function (context, first, force, mapper) {
-    Companion_getInstance_9().k2h(context, 0);
+    Companion_getInstance_8().k2h(context, 0);
     return prolog(VOID, ConversionUtils$commonMap$lambda(first, force, context, mapper));
   };
   protoOf(ConversionUtils).u3i = function (context, first, force, mapper, $super) {
@@ -3284,7 +3283,7 @@
     WithoutSideEffects_0.call(this, 'extract_id');
   }
   protoOf(ExtractStrictIds).p2o = function (_this__u8e3s4, first, second) {
-    var tmp = Companion_getInstance_4();
+    var tmp = Companion_getInstance_3();
     var tmp_0 = ensureNotNull(second.asVar());
     var tmp_1 = Companion_instance_8;
     // Inline function 'kotlin.collections.map' call
@@ -3314,7 +3313,7 @@
     WithoutSideEffects_0.call(this, 'rule_to_clause');
   }
   protoOf(RuleToClause).p2o = function (_this__u8e3s4, first, second) {
-    var tmp = Companion_getInstance_4();
+    var tmp = Companion_getInstance_3();
     var tmp_0 = ensureNotNull(second.asVar());
     var tmp_1 = Companion_instance_8;
     // Inline function 'kotlin.collections.map' call
@@ -3332,10 +3331,10 @@
       var tmp_2;
       switch (it.l()) {
         case 2:
-          tmp_2 = Companion_getInstance_10().hx(Companion_getInstance_0().of('rl', [it.d1(1)]), [item]);
+          tmp_2 = Companion_getInstance_9().hx(Companion_getInstance_0().of('rl', [it.d1(1)]), [item]);
           break;
         case 3:
-          tmp_2 = Companion_getInstance_10().hx(Companion_getInstance_0().of('rl', [it.d1(2)]), [item]);
+          tmp_2 = Companion_getInstance_9().hx(Companion_getInstance_0().of('rl', [it.d1(2)]), [item]);
           break;
         default:
           throw IllegalArgumentException_init_$Create$();
@@ -3392,7 +3391,7 @@
   function StructuredModeBase() {
     LazyRawPrologContent.call(this);
     this.e3j_1 = 'prolog.argumentation.structured';
-    this.f3j_1 = Companion_instance_10.w3f().plusOperatorSet(Companion_getInstance_2().DEFAULT);
+    this.f3j_1 = Companion_instance_10.w3f().plusOperatorSet(Companion_getInstance_1().DEFAULT);
   }
   protoOf(StructuredModeBase).n2e = function () {
     return this.e3j_1;
@@ -3409,7 +3408,7 @@
   function DebugBase() {
     LazyRawPrologContent.call(this);
     this.h3j_1 = 'prolog.argumentation.debug';
-    this.i3j_1 = Companion_instance_10.w3f().plusOperatorSet(Companion_getInstance_2().DEFAULT);
+    this.i3j_1 = Companion_instance_10.w3f().plusOperatorSet(Companion_getInstance_1().DEFAULT);
   }
   protoOf(DebugBase).n2e = function () {
     return this.h3j_1;
@@ -3426,7 +3425,7 @@
   function SuperiorityRelationBase() {
     LazyRawPrologContent.call(this);
     this.k3j_1 = 'prolog.argumentation.superiority';
-    this.l3j_1 = Companion_instance_10.w3f().plusOperatorSet(Companion_getInstance_2().DEFAULT);
+    this.l3j_1 = Companion_instance_10.w3f().plusOperatorSet(Companion_getInstance_1().DEFAULT);
   }
   protoOf(SuperiorityRelationBase).n2e = function () {
     return this.k3j_1;
@@ -3443,7 +3442,7 @@
   function UtilsBase() {
     LazyRawPrologContent.call(this);
     this.n3j_1 = 'prolog.argumentation.utils';
-    this.o3j_1 = Companion_instance_10.w3f().plusOperatorSet(Companion_getInstance_2().DEFAULT);
+    this.o3j_1 = Companion_instance_10.w3f().plusOperatorSet(Companion_getInstance_1().DEFAULT);
   }
   protoOf(UtilsBase).n2e = function () {
     return this.n3j_1;
@@ -3491,7 +3490,7 @@
           case 0:
             this.gb_1 = 2;
             this.fb_1 = 1;
-            suspendResult = this.f3k_1.wd(this.b3k_1.replyWith(Companion_getInstance_4().of(this.c3k_1, Companion_instance_8.ofList(plus(this.d3k_1.toList(), this.e3k_1.toList()))), VOID, []), this);
+            suspendResult = this.f3k_1.wd(this.b3k_1.replyWith(Companion_getInstance_3().of(this.c3k_1, Companion_instance_8.ofList(plus(this.d3k_1.toList(), this.e3k_1.toList()))), VOID, []), this);
             if (suspendResult === get_COROUTINE_SUSPENDED()) {
               return suspendResult;
             }
@@ -3648,7 +3647,7 @@
     WithoutSideEffects_0.call(this, 'hash');
   }
   protoOf(ArgumentHash).p2o = function (_this__u8e3s4, first, second) {
-    return sequenceOf([Companion_getInstance_4().of(ensureNotNull(second.asVar()), Companion_getInstance_5().ofInteger(getStringHashCode(first.toString())))]);
+    return sequenceOf([Companion_getInstance_3().of(ensureNotNull(second.asVar()), Companion_getInstance_4().ofInteger(getStringHashCode(first.toString())))]);
   };
   protoOf(ArgumentHash).k2g = function (_this__u8e3s4, first, second) {
     return this.p2o(_this__u8e3s4, first, second);
@@ -3699,7 +3698,7 @@
               var tmp0_iterator = this_0.r();
               while (tmp0_iterator.s()) {
                 var element = tmp0_iterator.u();
-                if (Companion_getInstance_3().y1k().match(element, this.b3l_1)) {
+                if (Companion_getInstance_2().y1k().match(element, this.b3l_1)) {
                   tmp$ret$0 = true;
                   break l$ret$1;
                 }
@@ -3797,7 +3796,7 @@
                   var tmp0_iterator_0 = this.n3l_1.pt().r();
                   while (tmp0_iterator_0.s()) {
                     var element_0 = tmp0_iterator_0.u();
-                    if (Companion_getInstance_3().y1k().match(element, element_0)) {
+                    if (Companion_getInstance_2().y1k().match(element, element_0)) {
                       tmp$ret$0 = true;
                       break l$ret$1;
                     }
@@ -4132,7 +4131,7 @@
     return new Argument(of$argRules(it), of$argTopRule(it), of$argConclusion(it), of$argGroundings(it), of$argDefeasibleRules(it), of$argDefeasiblePremises(it), of$argLastDefeasibleRules(it), term);
   };
   var Companion_instance_12;
-  function Companion_getInstance_14() {
+  function Companion_getInstance_13() {
     return Companion_instance_12;
   }
   function Argument(rules, topRule, conclusion, groundings, defeasibleRules, defeasiblePremises, lastDefeasibleRules, term) {
@@ -4283,7 +4282,7 @@
     return this_0;
   };
   var Companion_instance_13;
-  function Companion_getInstance_15() {
+  function Companion_getInstance_14() {
     return Companion_instance_13;
   }
   function Graph(arguments_0, attacks, supports) {