@tuprolog/arg2p 0.10.2 → 0.11.2

package/arg2p-causality-solver.js

@@ -1,105 +1,105 @@
-(function (root, factory) {
+(function (factory) {
   if (typeof define === 'function' && define.amd)
     define(['exports', './kotlin-kotlin-stdlib.js', './2p-core.js', './2p-unify.js', './2p-parser-core.js', './arg2p-core.js', './2p-theory.js', './2p-solve.js', './2p-parser-theory.js'], factory);
   else if (typeof exports === 'object')
     factory(module.exports, require('./kotlin-kotlin-stdlib.js'), require('./2p-core.js'), require('./2p-unify.js'), require('./2p-parser-core.js'), require('./arg2p-core.js'), require('./2p-theory.js'), require('./2p-solve.js'), require('./2p-parser-theory.js'));
   else {
-    if (typeof this['kotlin-kotlin-stdlib'] === 'undefined') {
+    if (typeof globalThis['kotlin-kotlin-stdlib'] === 'undefined') {
       throw new Error("Error loading module 'arg2p-causality-solver'. Its dependency 'kotlin-kotlin-stdlib' was not found. Please, check whether 'kotlin-kotlin-stdlib' is loaded prior to 'arg2p-causality-solver'.");
     }
-    if (typeof this['2p-core'] === 'undefined') {
+    if (typeof globalThis['2p-core'] === 'undefined') {
       throw new Error("Error loading module 'arg2p-causality-solver'. Its dependency '2p-core' was not found. Please, check whether '2p-core' is loaded prior to 'arg2p-causality-solver'.");
     }
-    if (typeof this['2p-unify'] === 'undefined') {
+    if (typeof globalThis['2p-unify'] === 'undefined') {
       throw new Error("Error loading module 'arg2p-causality-solver'. Its dependency '2p-unify' was not found. Please, check whether '2p-unify' is loaded prior to 'arg2p-causality-solver'.");
     }
-    if (typeof this['2p-parser-core'] === 'undefined') {
+    if (typeof globalThis['2p-parser-core'] === 'undefined') {
       throw new Error("Error loading module 'arg2p-causality-solver'. Its dependency '2p-parser-core' was not found. Please, check whether '2p-parser-core' is loaded prior to 'arg2p-causality-solver'.");
     }
-    if (typeof this['arg2p-core'] === 'undefined') {
+    if (typeof globalThis['arg2p-core'] === 'undefined') {
       throw new Error("Error loading module 'arg2p-causality-solver'. Its dependency 'arg2p-core' was not found. Please, check whether 'arg2p-core' is loaded prior to 'arg2p-causality-solver'.");
     }
-    if (typeof this['2p-theory'] === 'undefined') {
+    if (typeof globalThis['2p-theory'] === 'undefined') {
       throw new Error("Error loading module 'arg2p-causality-solver'. Its dependency '2p-theory' was not found. Please, check whether '2p-theory' is loaded prior to 'arg2p-causality-solver'.");
     }
-    if (typeof this['2p-solve'] === 'undefined') {
+    if (typeof globalThis['2p-solve'] === 'undefined') {
       throw new Error("Error loading module 'arg2p-causality-solver'. Its dependency '2p-solve' was not found. Please, check whether '2p-solve' is loaded prior to 'arg2p-causality-solver'.");
     }
-    if (typeof this['2p-parser-theory'] === 'undefined') {
+    if (typeof globalThis['2p-parser-theory'] === 'undefined') {
       throw new Error("Error loading module 'arg2p-causality-solver'. Its dependency '2p-parser-theory' was not found. Please, check whether '2p-parser-theory' is loaded prior to 'arg2p-causality-solver'.");
     }
-    root['arg2p-causality-solver'] = factory(typeof this['arg2p-causality-solver'] === 'undefined' ? {} : this['arg2p-causality-solver'], this['kotlin-kotlin-stdlib'], this['2p-core'], this['2p-unify'], this['2p-parser-core'], this['arg2p-core'], this['2p-theory'], this['2p-solve'], this['2p-parser-theory']);
+    globalThis['arg2p-causality-solver'] = factory(typeof globalThis['arg2p-causality-solver'] === 'undefined' ? {} : globalThis['arg2p-causality-solver'], globalThis['kotlin-kotlin-stdlib'], globalThis['2p-core'], globalThis['2p-unify'], globalThis['2p-parser-core'], globalThis['arg2p-core'], globalThis['2p-theory'], globalThis['2p-solve'], globalThis['2p-parser-theory']);
   }
-}(this, function (_, kotlin_kotlin, kotlin_it_unibo_tuprolog_core, kotlin_it_unibo_tuprolog_unify, kotlin_it_unibo_tuprolog_parser_core, kotlin_it_unibo_tuprolog_argumentation_core, kotlin_it_unibo_tuprolog_theory, kotlin_it_unibo_tuprolog_solve, kotlin_it_unibo_tuprolog_parser_theory) {
+}(function (_, kotlin_kotlin, kotlin_it_unibo_tuprolog_core, kotlin_it_unibo_tuprolog_unify, kotlin_it_unibo_tuprolog_parser_core, kotlin_it_unibo_tuprolog_argumentation_core, kotlin_it_unibo_tuprolog_theory, kotlin_it_unibo_tuprolog_solve, kotlin_it_unibo_tuprolog_parser_theory) {
   'use strict';
   //region block: imports
-  var ensureNotNull = kotlin_kotlin.$_$.ca;
+  var ensureNotNull = kotlin_kotlin.$_$.pa;
   var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.v;
-  var filter = kotlin_kotlin.$_$.j7;
-  var map = kotlin_kotlin.$_$.v7;
-  var firstOrNull = kotlin_kotlin.$_$.k7;
+  var filter = kotlin_kotlin.$_$.t7;
+  var map = kotlin_kotlin.$_$.f8;
+  var firstOrNull = kotlin_kotlin.$_$.u7;
   var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_unify.$_$.b;
   var Companion_instance = kotlin_it_unibo_tuprolog_core.$_$.w;
   var parseTerm = kotlin_it_unibo_tuprolog_parser_core.$_$.e;
-  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.f;
-  var Unit_instance = kotlin_kotlin.$_$.s1;
-  var collectionSizeOrDefault = kotlin_kotlin.$_$.j2;
-  var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.e;
-  var addAll = kotlin_kotlin.$_$.z1;
-  var plus = kotlin_kotlin.$_$.d4;
+  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.d;
+  var Unit_instance = kotlin_kotlin.$_$.k1;
+  var collectionSizeOrDefault = kotlin_kotlin.$_$.b2;
+  var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.c;
+  var addAll = kotlin_kotlin.$_$.r1;
+  var plus = kotlin_kotlin.$_$.v3;
   var Arg2pSolverFactory_instance = kotlin_it_unibo_tuprolog_argumentation_core.$_$.d;
-  var emptyList = kotlin_kotlin.$_$.t2;
-  var VOID = kotlin_kotlin.$_$.d;
+  var emptyList = kotlin_kotlin.$_$.l2;
+  var VOID = kotlin_kotlin.$_$.b;
   var FlagsBuilder = kotlin_it_unibo_tuprolog_argumentation_core.$_$.f;
   var Graph = kotlin_it_unibo_tuprolog_argumentation_core.$_$.k;
-  var asSequence = kotlin_kotlin.$_$.h2;
-  var flatMap = kotlin_kotlin.$_$.n7;
-  var toList = kotlin_kotlin.$_$.j8;
+  var asSequence = kotlin_kotlin.$_$.z1;
+  var flatMap = kotlin_kotlin.$_$.x7;
+  var toList = kotlin_kotlin.$_$.u8;
   var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_core.$_$.l;
   var Companion_getInstance_2 = kotlin_it_unibo_tuprolog_core.$_$.u;
-  var Default_getInstance = kotlin_kotlin.$_$.o1;
-  var nextUInt = kotlin_kotlin.$_$.n6;
-  var UInt = kotlin_kotlin.$_$.ba;
+  var Default_getInstance = kotlin_kotlin.$_$.i1;
+  var nextUInt = kotlin_kotlin.$_$.v6;
+  var UInt = kotlin_kotlin.$_$.oa;
   var parseStruct = kotlin_it_unibo_tuprolog_parser_core.$_$.d;
   var Companion_instance_0 = kotlin_it_unibo_tuprolog_theory.$_$.b;
-  var Collection = kotlin_kotlin.$_$.t1;
-  var isInterface = kotlin_kotlin.$_$.r5;
+  var Collection = kotlin_kotlin.$_$.l1;
+  var isInterface = kotlin_kotlin.$_$.e6;
   var arg2pScope = kotlin_it_unibo_tuprolog_argumentation_core.$_$.e;
-  var Signature = kotlin_it_unibo_tuprolog_solve.$_$.t2;
-  var protoOf = kotlin_kotlin.$_$.b6;
-  var sequenceOf = kotlin_kotlin.$_$.b8;
-  var classMeta = kotlin_kotlin.$_$.f5;
-  var setMetadataFor = kotlin_kotlin.$_$.c6;
+  var Signature = kotlin_it_unibo_tuprolog_solve.$_$.u2;
+  var protoOf = kotlin_kotlin.$_$.m6;
+  var sequenceOf = kotlin_kotlin.$_$.m8;
+  var Primitive = kotlin_it_unibo_tuprolog_solve.$_$.w1;
+  var initMetadataForClass = kotlin_kotlin.$_$.x5;
   var Companion_instance_1 = kotlin_it_unibo_tuprolog_solve.$_$.b1;
   var Expected_VARIABLE_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.c;
   var Var = kotlin_it_unibo_tuprolog_core.$_$.t2;
-  var toList_0 = kotlin_kotlin.$_$.l4;
-  var toString = kotlin_kotlin.$_$.g6;
+  var toList_0 = kotlin_kotlin.$_$.d4;
+  var toString = kotlin_kotlin.$_$.p6;
   var Companion_instance_2 = kotlin_it_unibo_tuprolog_argumentation_core.$_$.a;
   var Companion_instance_3 = kotlin_it_unibo_tuprolog_argumentation_core.$_$.b;
   var Companion_getInstance_3 = kotlin_it_unibo_tuprolog_core.$_$.i;
-  var replace = kotlin_kotlin.$_$.z8;
-  var listOf = kotlin_kotlin.$_$.k3;
+  var replace = kotlin_kotlin.$_$.k9;
+  var listOf = kotlin_kotlin.$_$.c3;
   var Companion_getInstance_4 = kotlin_it_unibo_tuprolog_solve.$_$.h1;
-  var mapCapacity = kotlin_kotlin.$_$.l3;
-  var coerceAtLeast = kotlin_kotlin.$_$.s6;
-  var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.g;
+  var mapCapacity = kotlin_kotlin.$_$.d3;
+  var coerceAtLeast = kotlin_kotlin.$_$.a7;
+  var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.e;
   var parseTheoryWithOperators = kotlin_it_unibo_tuprolog_parser_theory.$_$.b;
   var content = kotlin_it_unibo_tuprolog_argumentation_core.$_$.g;
   var ArgLibrary = kotlin_it_unibo_tuprolog_argumentation_core.$_$.h;
   var Loadable = kotlin_it_unibo_tuprolog_argumentation_core.$_$.i;
   //endregion
   //region block: pre-declaration
-  setMetadataFor(CausalityCheckIntervention, 'CausalityCheckIntervention', classMeta);
-  setMetadataFor(CausalityCheckCause, 'CausalityCheckCause', classMeta);
-  setMetadataFor(CausalitySolver, 'CausalitySolver', classMeta, VOID, [ArgLibrary, Loadable], CausalitySolver);
+  initMetadataForClass(CausalityCheckIntervention, 'CausalityCheckIntervention', VOID, VOID, [Primitive]);
+  initMetadataForClass(CausalityCheckCause, 'CausalityCheckCause', VOID, VOID, [Primitive]);
+  initMetadataForClass(CausalitySolver, 'CausalitySolver', CausalitySolver, VOID, [ArgLibrary, Loadable]);
   //endregion
   function CausalitySolver$CausalityCheckCause$solve$lambda$lambda(it) {
-    return it.u1w();
+    return it.d1u();
   }
   function CausalitySolver$CausalityCheckCause$solve$lambda$lambda_0($this_arg2pScope) {
     return function (it) {
-      return ensureNotNull(it.m1v().x2($this_arg2pScope.c1h())).castToList();
+      return ensureNotNull(it.v1s().h2($this_arg2pScope.d1g())).castToList();
     };
   }
   function CausalitySolver$CausalityCheckCause$solve$lambda$lambda_1(this$0, $request, $effect) {
@@ -114,7 +114,7 @@
   }
   function CausalitySolver$CausalityCheckCause$solve$lambda($request, $rules, $cause, this$0, $effect, $intervention) {
     return function ($this$arg2pScope) {
-      var tmp = $request.solve($this$arg2pScope.stringInvoke('generate_interventions', $rules, [$cause, $this$arg2pScope.c1h()]));
+      var tmp = $request.solve($this$arg2pScope.stringInvoke('generate_interventions', $rules, [$cause, $this$arg2pScope.d1g()]));
       var tmp_0 = filter(tmp, CausalitySolver$CausalityCheckCause$solve$lambda$lambda);
       var tmp_1 = map(tmp_0, CausalitySolver$CausalityCheckCause$solve$lambda$lambda_0($this$arg2pScope));
       var tmp_2 = filter(tmp_1, CausalitySolver$CausalityCheckCause$solve$lambda$lambda_1(this$0, $request, $effect));
@@ -123,38 +123,35 @@
     };
   }
   function equalTerms($this, a, b) {
-    return Companion_getInstance_0().e1l().match(parseTerm(Companion_instance, a), parseTerm(Companion_instance, b));
+    return Companion_getInstance_0().u1i().match(parseTerm(Companion_instance, a), parseTerm(Companion_instance, b));
   }
   function attackers($this, x, graph) {
-    // Inline function 'kotlin.collections.map' call
     // Inline function 'kotlin.collections.filter' call
+    var tmp0 = graph.l3k_1;
     // Inline function 'kotlin.collections.filterTo' call
-    var this_0 = graph.z3l_1;
     var destination = ArrayList_init_$Create$();
-    var tmp0_iterator = this_0.r();
-    while (tmp0_iterator.s()) {
-      var element = tmp0_iterator.u();
-      // Inline function 'it.unibo.tuprolog.argumentation.causality.libs.CausalitySolver.attackers.<anonymous>' call
-      if (element.t3l_1.l3l_1 === x.l3l_1) {
-        destination.o(element);
+    var _iterator__ex2g4s = tmp0.p();
+    while (_iterator__ex2g4s.s()) {
+      var element = _iterator__ex2g4s.t();
+      if (element.f3k_1.y3j_1 === x.y3j_1) {
+        destination.m(element);
       }
     }
+    // Inline function 'kotlin.collections.map' call
     // Inline function 'kotlin.collections.mapTo' call
     var destination_0 = ArrayList_init_$Create$_0(collectionSizeOrDefault(destination, 10));
-    var tmp0_iterator_0 = destination.r();
-    while (tmp0_iterator_0.s()) {
-      var item = tmp0_iterator_0.u();
-      // Inline function 'it.unibo.tuprolog.argumentation.causality.libs.CausalitySolver.attackers.<anonymous>' call
+    var _iterator__ex2g4s_0 = destination.p();
+    while (_iterator__ex2g4s_0.s()) {
+      var item = _iterator__ex2g4s_0.t();
       // Inline function 'kotlin.collections.find' call
-      var this_1 = graph.b3m_1;
+      var tmp0_0 = graph.n3k_1;
       var tmp$ret$4;
       $l$block: {
         // Inline function 'kotlin.collections.firstOrNull' call
-        var tmp0_iterator_1 = this_1.r();
-        while (tmp0_iterator_1.s()) {
-          var element_0 = tmp0_iterator_1.u();
-          // Inline function 'it.unibo.tuprolog.argumentation.causality.libs.CausalitySolver.attackers.<anonymous>.<anonymous>' call
-          if (item.s3l_1.l3l_1 === element_0.w3l_1.l3l_1) {
+        var _iterator__ex2g4s_1 = tmp0_0.p();
+        while (_iterator__ex2g4s_1.s()) {
+          var element_0 = _iterator__ex2g4s_1.t();
+          if (item.e3k_1.y3j_1 === element_0.i3k_1.y3j_1) {
             tmp$ret$4 = element_0;
             break $l$block;
           }
@@ -163,52 +160,48 @@
       }
       var tmp$ret$5 = tmp$ret$4;
       var tmp$ret$6 = ensureNotNull(tmp$ret$5);
-      destination_0.o(tmp$ret$6);
+      destination_0.m(tmp$ret$6);
     }
     return destination_0;
   }
   function supporters($this, x, graph) {
     // Inline function 'kotlin.collections.filter' call
+    var tmp0 = graph.n3k_1;
     // Inline function 'kotlin.collections.filterTo' call
-    var this_0 = graph.b3m_1;
     var destination = ArrayList_init_$Create$();
-    var tmp0_iterator = this_0.r();
-    while (tmp0_iterator.s()) {
-      var element = tmp0_iterator.u();
-      // Inline function 'it.unibo.tuprolog.argumentation.causality.libs.CausalitySolver.supporters.<anonymous>' call
-      if (x.l3l_1 === element.w3l_1.l3l_1) {
-        destination.o(element);
+    var _iterator__ex2g4s = tmp0.p();
+    while (_iterator__ex2g4s.s()) {
+      var element = _iterator__ex2g4s.t();
+      if (x.y3j_1 === element.i3k_1.y3j_1) {
+        destination.m(element);
       }
     }
     var tmp = destination;
     // Inline function 'kotlin.collections.flatMap' call
+    var tmp0_0 = attackers($this, x, graph);
     // Inline function 'kotlin.collections.flatMapTo' call
-    var this_1 = attackers($this, x, graph);
     var destination_0 = ArrayList_init_$Create$();
-    var tmp0_iterator_0 = this_1.r();
-    while (tmp0_iterator_0.s()) {
-      var element_0 = tmp0_iterator_0.u();
-      // Inline function 'it.unibo.tuprolog.argumentation.causality.libs.CausalitySolver.supporters.<anonymous>' call
-      // Inline function 'kotlin.collections.flatMap' call
+    var _iterator__ex2g4s_0 = tmp0_0.p();
+    while (_iterator__ex2g4s_0.s()) {
+      var element_0 = _iterator__ex2g4s_0.t();
       // Inline function 'kotlin.collections.filter' call
+      var tmp0_1 = attackers($this, element_0.i3k_1, graph);
       // Inline function 'kotlin.collections.filterTo' call
-      var this_2 = attackers($this, element_0.w3l_1, graph);
       var destination_1 = ArrayList_init_$Create$();
-      var tmp0_iterator_1 = this_2.r();
-      while (tmp0_iterator_1.s()) {
-        var element_1 = tmp0_iterator_1.u();
-        // Inline function 'it.unibo.tuprolog.argumentation.causality.libs.CausalitySolver.supporters.<anonymous>.<anonymous>' call
-        if (!(element_1.w3l_1.l3l_1 === x.l3l_1)) {
-          destination_1.o(element_1);
+      var _iterator__ex2g4s_1 = tmp0_1.p();
+      while (_iterator__ex2g4s_1.s()) {
+        var element_1 = _iterator__ex2g4s_1.t();
+        if (!(element_1.i3k_1.y3j_1 === x.y3j_1)) {
+          destination_1.m(element_1);
         }
       }
+      // Inline function 'kotlin.collections.flatMap' call
       // Inline function 'kotlin.collections.flatMapTo' call
       var destination_2 = ArrayList_init_$Create$();
-      var tmp0_iterator_2 = destination_1.r();
-      while (tmp0_iterator_2.s()) {
-        var element_2 = tmp0_iterator_2.u();
-        // Inline function 'it.unibo.tuprolog.argumentation.causality.libs.CausalitySolver.supporters.<anonymous>.<anonymous>' call
-        var list = supporters($this, element_2.w3l_1, graph);
+      var _iterator__ex2g4s_2 = destination_1.p();
+      while (_iterator__ex2g4s_2.s()) {
+        var element_2 = _iterator__ex2g4s_2.t();
+        var list = supporters($this, element_2.i3k_1, graph);
         addAll(destination_2, list);
       }
       var list_0 = destination_2;
@@ -217,11 +210,11 @@
     return plus(tmp, destination_0);
   }
   function solveFresh($this, kb) {
-    var tmp0_elvis_lhs = firstOrNull(Arg2pSolverFactory_instance.l3b(kb.toStringAsProlog(true), new FlagsBuilder(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, emptyList())));
+    var tmp0_elvis_lhs = firstOrNull(Arg2pSolverFactory_instance.x39(kb.toStringAsProlog(true), new FlagsBuilder(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, emptyList())));
     return tmp0_elvis_lhs == null ? new Graph(emptyList(), emptyList(), emptyList()) : tmp0_elvis_lhs;
   }
   function getSupports($this, graph, effect) {
-    var tmp = asSequence(graph.b3m_1);
+    var tmp = asSequence(graph.n3k_1);
     var tmp_0 = filter(tmp, CausalitySolver$getSupports$lambda($this, effect));
     var tmp_1 = flatMap(tmp_0, CausalitySolver$getSupports$lambda_0($this, graph));
     var tmp_2 = filter(tmp_1, CausalitySolver$getSupports$lambda_1);
@@ -229,59 +222,49 @@
   }
   function checkBaseTheory($this, request, effect) {
     // Inline function 'kotlin.let' call
-    // Inline function 'kotlin.contracts.contract' call
-    // Inline function 'it.unibo.tuprolog.argumentation.causality.libs.CausalitySolver.checkBaseTheory.<anonymous>' call
-    var it = solveFresh($this, request.context.s1v());
+    var it = solveFresh($this, request.context.b1t());
     var tmp = getSupports($this, it, effect);
     return toList(map(tmp, CausalitySolver$checkBaseTheory$lambda));
   }
   function checkIntervention($this, request, intervention, support) {
-    // Inline function 'kotlin.let' call
     // Inline function 'kotlin.collections.map' call
     var this_0 = intervention.toList();
     // Inline function 'kotlin.collections.mapTo' call
     var destination = ArrayList_init_$Create$_0(collectionSizeOrDefault(this_0, 10));
-    var tmp0_iterator = this_0.r();
-    while (tmp0_iterator.s()) {
-      var item = tmp0_iterator.u();
-      // Inline function 'it.unibo.tuprolog.argumentation.causality.libs.CausalitySolver.checkIntervention.<anonymous>' call
-      var tmp$ret$0 = Companion_getInstance_1().of(parseStruct(Companion_getInstance_2(), ':->(fk' + new UInt(nextUInt(Default_getInstance())) + ', ' + item + ')'), []);
-      destination.o(tmp$ret$0);
+    var _iterator__ex2g4s = this_0.p();
+    while (_iterator__ex2g4s.s()) {
+      var item = _iterator__ex2g4s.t();
+      var tmp$ret$0 = Companion_getInstance_1().of(parseStruct(Companion_getInstance_2(), ':->(fk' + new UInt(nextUInt(Default_getInstance())) + ', ' + item.toString() + ')'), []);
+      destination.m(tmp$ret$0);
     }
-    // Inline function 'kotlin.contracts.contract' call
-    // Inline function 'it.unibo.tuprolog.argumentation.causality.libs.CausalitySolver.checkIntervention.<anonymous>' call
     // Inline function 'kotlin.let' call
-    // Inline function 'kotlin.contracts.contract' call
-    // Inline function 'it.unibo.tuprolog.argumentation.causality.libs.CausalitySolver.checkIntervention.<anonymous>.<anonymous>' call
-    var naf = solveFresh($this, request.context.s1v().plusTheory(Companion_instance_0.ofIterableWithDefaultUnificator(destination)));
+    // Inline function 'kotlin.let' call
+    // Inline function 'kotlin.collections.filter' call
+    var tmp0 = solveFresh($this, request.context.b1t().plusTheory(Companion_instance_0.ofIterableWithDefaultUnificator(destination))).n3k_1;
+    // Inline function 'kotlin.collections.filterTo' call
+    var destination_0 = ArrayList_init_$Create$();
+    var _iterator__ex2g4s_0 = tmp0.p();
+    while (_iterator__ex2g4s_0.s()) {
+      var element = _iterator__ex2g4s_0.t();
+      if (element.j3k_1 === 'out' || element.j3k_1 === 'und') {
+        destination_0.m(element);
+      }
+    }
+    // Inline function 'kotlin.collections.map' call
+    // Inline function 'kotlin.collections.mapTo' call
+    var destination_1 = ArrayList_init_$Create$_0(collectionSizeOrDefault(destination_0, 10));
+    var _iterator__ex2g4s_1 = destination_0.p();
+    while (_iterator__ex2g4s_1.s()) {
+      var item_0 = _iterator__ex2g4s_1.t();
+      var tmp$ret$6 = item_0.i3k_1.a3k();
+      destination_1.m(tmp$ret$6);
+    }
     var tmp$ret$9;
     $l$block_2: {
       // Inline function 'kotlin.collections.any' call
-      // Inline function 'kotlin.collections.map' call
-      // Inline function 'kotlin.collections.filter' call
-      // Inline function 'kotlin.collections.filterTo' call
-      var this_1 = naf.b3m_1;
-      var destination_0 = ArrayList_init_$Create$();
-      var tmp0_iterator_0 = this_1.r();
-      while (tmp0_iterator_0.s()) {
-        var element = tmp0_iterator_0.u();
-        // Inline function 'it.unibo.tuprolog.argumentation.causality.libs.CausalitySolver.checkIntervention.<anonymous>.<anonymous>.<anonymous>' call
-        if (element.x3l_1 === 'out' ? true : element.x3l_1 === 'und') {
-          destination_0.o(element);
-        }
-      }
-      // Inline function 'kotlin.collections.mapTo' call
-      var destination_1 = ArrayList_init_$Create$_0(collectionSizeOrDefault(destination_0, 10));
-      var tmp0_iterator_1 = destination_0.r();
-      while (tmp0_iterator_1.s()) {
-        var item_0 = tmp0_iterator_1.u();
-        // Inline function 'it.unibo.tuprolog.argumentation.causality.libs.CausalitySolver.checkIntervention.<anonymous>.<anonymous>.<anonymous>' call
-        var tmp$ret$6 = item_0.w3l_1.n3l();
-        destination_1.o(tmp$ret$6);
-      }
       var tmp;
       if (isInterface(destination_1, Collection)) {
-        tmp = destination_1.z();
+        tmp = destination_1.j();
       } else {
         tmp = false;
       }
@@ -289,16 +272,15 @@
         tmp$ret$9 = false;
         break $l$block_2;
       }
-      var tmp0_iterator_2 = destination_1.r();
-      while (tmp0_iterator_2.s()) {
-        var element_0 = tmp0_iterator_2.u();
-        // Inline function 'it.unibo.tuprolog.argumentation.causality.libs.CausalitySolver.checkIntervention.<anonymous>.<anonymous>.<anonymous>' call
+      var _iterator__ex2g4s_2 = destination_1.p();
+      while (_iterator__ex2g4s_2.s()) {
+        var element_0 = _iterator__ex2g4s_2.t();
         var tmp$ret$10;
         $l$block_1: {
           // Inline function 'kotlin.collections.any' call
           var tmp_0;
           if (isInterface(support, Collection)) {
-            tmp_0 = support.z();
+            tmp_0 = support.j();
           } else {
             tmp_0 = false;
           }
@@ -306,11 +288,10 @@
             tmp$ret$10 = false;
             break $l$block_1;
           }
-          var tmp0_iterator_3 = support.r();
-          while (tmp0_iterator_3.s()) {
-            var element_1 = tmp0_iterator_3.u();
-            // Inline function 'it.unibo.tuprolog.argumentation.causality.libs.CausalitySolver.checkIntervention.<anonymous>.<anonymous>.<anonymous>.<anonymous>' call
-            if (Companion_getInstance_0().e1l().match(element_0, element_1)) {
+          var _iterator__ex2g4s_3 = support.p();
+          while (_iterator__ex2g4s_3.s()) {
+            var element_1 = _iterator__ex2g4s_3.t();
+            if (Companion_getInstance_0().u1i().match(element_0, element_1)) {
               tmp$ret$10 = true;
               break $l$block_1;
             }
@@ -331,21 +312,21 @@
   }
   function checkCausality($this, request, intervention, effect) {
     var supports = checkBaseTheory($this, request, effect);
-    if (supports.z())
+    if (supports.j())
       return false;
     var tmp;
     if (checkIntervention($this, request, intervention, supports)) {
       var tmp_0;
-      if (intervention.ey() <= 1) {
+      if (intervention.gx() <= 1) {
         tmp_0 = true;
       } else {
+        var tmp0 = getSubsets($this, request, intervention);
         var tmp$ret$0;
         $l$block_0: {
           // Inline function 'kotlin.collections.all' call
-          var this_0 = getSubsets($this, request, intervention);
           var tmp_1;
-          if (isInterface(this_0, Collection)) {
-            tmp_1 = this_0.z();
+          if (isInterface(tmp0, Collection)) {
+            tmp_1 = tmp0.j();
           } else {
             tmp_1 = false;
           }
@@ -353,10 +334,9 @@
             tmp$ret$0 = true;
             break $l$block_0;
           }
-          var tmp0_iterator = this_0.r();
-          while (tmp0_iterator.s()) {
-            var element = tmp0_iterator.u();
-            // Inline function 'it.unibo.tuprolog.argumentation.causality.libs.CausalitySolver.checkCausality.<anonymous>' call
+          var _iterator__ex2g4s = tmp0.p();
+          while (_iterator__ex2g4s.s()) {
+            var element = _iterator__ex2g4s.t();
             if (!!checkIntervention($this, request, element, supports)) {
               tmp$ret$0 = false;
               break $l$block_0;
@@ -373,134 +353,129 @@
     return tmp;
   }
   function CausalityCheckIntervention($outer) {
-    this.j3p_1 = $outer;
-    this.i3p_1 = new Signature('evaluate_intervention', 2);
+    this.v3n_1 = $outer;
+    this.u3n_1 = new Signature('evaluate_intervention', 2);
   }
-  protoOf(CausalityCheckIntervention).d1v = function () {
-    return this.i3p_1;
+  protoOf(CausalityCheckIntervention).m1s = function () {
+    return this.u3n_1;
   };
-  protoOf(CausalityCheckIntervention).b2h = function (request) {
-    var intervention = request.arguments.d1(0).castToList();
-    var effect = this.j3p_1.m3p(request.arguments.d1(1).toString());
-    return sequenceOf([request.replyWithCondition(checkCausality(this.j3p_1, request, intervention, effect), VOID, [])]);
+  protoOf(CausalityCheckIntervention).g2e = function (request) {
+    var intervention = request.arguments.w(0).castToList();
+    var effect = this.v3n_1.y3n(request.arguments.w(1).toString());
+    return sequenceOf(request.replyWithCondition(checkCausality(this.v3n_1, request, intervention, effect), VOID, []));
   };
   protoOf(CausalityCheckIntervention).solve = function (request) {
-    return this.b2h(request);
+    return this.g2e(request);
   };
   function CausalityCheckCause($outer) {
-    this.o3p_1 = $outer;
-    this.n3p_1 = new Signature('evaluate', 3);
+    this.a3o_1 = $outer;
+    this.z3n_1 = new Signature('evaluate', 3);
   }
-  protoOf(CausalityCheckCause).d1v = function () {
-    return this.n3p_1;
+  protoOf(CausalityCheckCause).m1s = function () {
+    return this.z3n_1;
   };
-  protoOf(CausalityCheckCause).b2h = function (request) {
-    var intervention = request.arguments.d1(0);
-    var cause = request.arguments.d1(1);
-    var effect = this.o3p_1.m3p(request.arguments.d1(2).toString());
+  protoOf(CausalityCheckCause).g2e = function (request) {
+    var intervention = request.arguments.w(0);
+    var cause = request.arguments.w(1);
+    var effect = this.a3o_1.y3n(request.arguments.w(2).toString());
     if (!isInterface(intervention, Var)) {
       throw Companion_instance_1.forGoal(request.context, request.signature, Expected_VARIABLE_getInstance(), intervention);
     }
     var tmp = Companion_instance;
-    // Inline function 'kotlin.collections.filter' call
     // Inline function 'kotlin.collections.map' call
-    var this_0 = solveFresh(this.o3p_1, request.context.s1v()).y3l_1;
+    var this_0 = solveFresh(this.a3o_1, request.context.b1t()).k3k_1;
     // Inline function 'kotlin.collections.mapTo' call
     var destination = ArrayList_init_$Create$_0(collectionSizeOrDefault(this_0, 10));
-    var tmp0_iterator = this_0.r();
-    while (tmp0_iterator.s()) {
-      var item = tmp0_iterator.u();
-      // Inline function 'it.unibo.tuprolog.argumentation.causality.libs.CausalityCheckCause.solve.<anonymous>' call
-      var tmp$ret$0 = item.e3l_1;
-      destination.o(tmp$ret$0);
+    var _iterator__ex2g4s = this_0.p();
+    while (_iterator__ex2g4s.s()) {
+      var item = _iterator__ex2g4s.t();
+      var tmp$ret$0 = item.r3j_1;
+      destination.m(tmp$ret$0);
     }
+    // Inline function 'kotlin.collections.filter' call
     // Inline function 'kotlin.collections.filterTo' call
     var destination_0 = ArrayList_init_$Create$();
-    var tmp0_iterator_0 = destination.r();
-    while (tmp0_iterator_0.s()) {
-      var element = tmp0_iterator_0.u();
-      // Inline function 'it.unibo.tuprolog.argumentation.causality.libs.CausalityCheckCause.solve.<anonymous>' call
+    var _iterator__ex2g4s_0 = destination.p();
+    while (_iterator__ex2g4s_0.s()) {
+      var element = _iterator__ex2g4s_0.t();
       if (!(element === 'none')) {
-        destination_0.o(element);
+        destination_0.m(element);
       }
     }
     var rules = parseTerm(tmp, toString(toList_0(destination_0)));
-    return sequenceOf([request.replyWith(arg2pScope(CausalitySolver$CausalityCheckCause$solve$lambda(request, rules, cause, this.o3p_1, effect, intervention)), VOID, [])]);
+    return sequenceOf(request.replyWith(arg2pScope(CausalitySolver$CausalityCheckCause$solve$lambda(request, rules, cause, this.a3o_1, effect, intervention)), VOID, []));
   };
   protoOf(CausalityCheckCause).solve = function (request) {
-    return this.b2h(request);
+    return this.g2e(request);
   };
   function CausalitySolver$getSupports$lambda(this$0, $effect) {
     return function (it) {
-      return it.x3l_1 === 'in' ? equalTerms(this$0, it.w3l_1.f3l_1, $effect) : false;
+      return it.j3k_1 === 'in' && equalTerms(this$0, it.i3k_1.s3j_1, $effect);
     };
   }
   function CausalitySolver$getSupports$lambda_0(this$0, $graph) {
     return function (it) {
-      return supporters(this$0, it.w3l_1, $graph);
+      return supporters(this$0, it.i3k_1, $graph);
     };
   }
   function CausalitySolver$getSupports$lambda_1(it) {
-    return it.x3l_1 === 'in';
+    return it.j3k_1 === 'in';
   }
   function CausalitySolver$getSupports$lambda_2(it) {
-    return it.w3l_1;
+    return it.i3k_1;
   }
   function CausalitySolver$checkBaseTheory$lambda(a) {
-    return a.n3l();
+    return a.a3k();
   }
   function CausalitySolver$getSubsets$lambda$lambda(it) {
-    return it.u1w();
+    return it.d1u();
   }
   function CausalitySolver$getSubsets$lambda$lambda_0($this_arg2pScope) {
     return function (it) {
-      return ensureNotNull(it.m1v().x2($this_arg2pScope.c1h())).castToList();
+      return ensureNotNull(it.v1s().h2($this_arg2pScope.d1g())).castToList();
     };
   }
   function CausalitySolver$getSubsets$lambda($request, $intervention) {
     return function ($this$arg2pScope) {
-      var tmp = $request.solve($this$arg2pScope.stringInvoke('proper_subsets', $intervention, [$this$arg2pScope.c1h()]));
+      var tmp = $request.solve($this$arg2pScope.stringInvoke('proper_subsets', $intervention, [$this$arg2pScope.d1g()]));
       var tmp_0 = filter(tmp, CausalitySolver$getSubsets$lambda$lambda);
       return toList(map(tmp_0, CausalitySolver$getSubsets$lambda$lambda_0($this$arg2pScope)));
     };
   }
   function CausalitySolver() {
-    this.k3p_1 = 'prolog.argumentation.causality.solver';
-    this.l3p_1 = Companion_instance_2.r3a().plusOperatorSet(Companion_instance_3.r3a()).plusOperatorSet(Companion_getInstance_3().DEFAULT);
+    this.w3n_1 = 'prolog.argumentation.causality.solver';
+    this.x3n_1 = Companion_instance_2.d39().plusOperatorSet(Companion_instance_3.d39()).plusOperatorSet(Companion_getInstance_3().DEFAULT);
   }
-  protoOf(CausalitySolver).m3p = function (string) {
+  protoOf(CausalitySolver).y3n = function (string) {
     return replace(replace(string, ' ', ''), "'", '');
   };
-  protoOf(CausalitySolver).t2e = function () {
-    return this.k3p_1;
+  protoOf(CausalitySolver).y2b = function () {
+    return this.w3n_1;
   };
-  protoOf(CausalitySolver).n3b = function () {
+  protoOf(CausalitySolver).z39 = function () {
     // Inline function 'kotlin.let' call
-    // Inline function 'kotlin.contracts.contract' call
-    // Inline function 'it.unibo.tuprolog.argumentation.causality.libs.CausalitySolver.<get-baseContent>.<anonymous>' call
     var primitives = listOf([new CausalityCheckIntervention(this), new CausalityCheckCause(this)]);
     var tmp = Companion_getInstance_4();
     // Inline function 'kotlin.collections.associateBy' call
     var capacity = coerceAtLeast(mapCapacity(collectionSizeOrDefault(primitives, 10)), 16);
     // Inline function 'kotlin.collections.associateByTo' call
     var destination = LinkedHashMap_init_$Create$(capacity);
-    var tmp0_iterator = primitives.r();
-    while (tmp0_iterator.s()) {
-      var element = tmp0_iterator.u();
-      // Inline function 'it.unibo.tuprolog.argumentation.causality.libs.CausalitySolver.<get-baseContent>.<anonymous>.<anonymous>' call
-      var tmp$ret$0 = element.d1v();
-      destination.o2(tmp$ret$0, element);
+    var _iterator__ex2g4s = primitives.p();
+    while (_iterator__ex2g4s.s()) {
+      var element = _iterator__ex2g4s.t();
+      var tmp$ret$0 = element.m1s();
+      destination.k4(tmp$ret$0, element);
     }
-    return tmp.of(this.k3p_1, destination, parseTheoryWithOperators(Companion_instance_0, 'subsets([], []).\nsubsets([H|T], [H|NT]) :- subsets(T, NT).\nsubsets([_|T], NT) :- subsets(T, NT).\n\nproper_subsets(L, S) :-\n    subsets(L, S),\n    S \\= [],\n    S \\= L.\n\ngenerate_interventions(_, S, [CS]) :-\n    compl(S, CS).\ngenerate_interventions(_, S, [undercut(S)]) :-\n    S \\= -_.\ngenerate_interventions(R, S, SUP) :-\n    parser:::convertAllRules(_),\n    compl(S, CS),\n    unused_premises(R, UP), !,\n    subsets(UP, SUP),\n    member(CS, SUP),\n    SUP \\= [].\n\ncompl(-X, X) :- !.\ncompl(X, -X).\n\nunused_premises(R, UP) :-\n    findall(P, (parser::rule(Id, P, _), \\+ member(Id, R)), RR),\n    utils::appendLists(RR, UP).\n', this.l3p_1));
+    return tmp.of(this.w3n_1, destination, parseTheoryWithOperators(Companion_instance_0, 'subsets([], []).\nsubsets([H|T], [H|NT]) :- subsets(T, NT).\nsubsets([_|T], NT) :- subsets(T, NT).\n\nproper_subsets(L, S) :-\n    subsets(L, S),\n    S \\= [],\n    S \\= L.\n\ngenerate_interventions(_, S, [CS]) :-\n    compl(S, CS).\ngenerate_interventions(_, S, [undercut(S)]) :-\n    S \\= -_.\ngenerate_interventions(R, S, SUP) :-\n    parser:::convertAllRules(_),\n    compl(S, CS),\n    unused_premises(R, UP), !,\n    subsets(UP, SUP),\n    member(CS, SUP),\n    SUP \\= [].\n\ncompl(-X, X) :- !.\ncompl(X, -X).\n\nunused_premises(R, UP) :-\n    findall(P, (parser::rule(Id, P, _), \\+ member(Id, R)), RR),\n    utils::appendLists(RR, UP).\n', this.x3n_1));
   };
-  protoOf(CausalitySolver).o3b = function () {
+  protoOf(CausalitySolver).a3a = function () {
     return 'causality';
   };
-  protoOf(CausalitySolver).w3a = function () {
-    return this.l3p_1;
+  protoOf(CausalitySolver).i39 = function () {
+    return this.x3n_1;
   };
   //region block: post-declaration
-  protoOf(CausalitySolver).v3a = content;
+  protoOf(CausalitySolver).h39 = content;
   //endregion
   //region block: exports
   _.$_$ = _.$_$ || {};