@tuprolog/arg2p 0.14.2 → 0.15.0

package/arg2p-causality-solver.js

@@ -1,15 +1,15 @@
 (function (factory) {
   if (typeof define === 'function' && define.amd)
-    define(['exports', './kotlin-kotlin-stdlib.js', './2p-core.js', './2p-unify.js', './2p-parser-core.js', './2p-theory.js', './2p-parser-theory.js', './arg2p-core.js', './2p-solve.js'], factory);
+    define(['exports', './2p-core.js', './kotlin-kotlin-stdlib.js', './2p-unify.js', './2p-parser-core.js', './2p-theory.js', './2p-parser-theory.js', './arg2p-core.js', './2p-solve.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('./2p-theory.js'), require('./2p-parser-theory.js'), require('./arg2p-core.js'), require('./2p-solve.js'));
+    factory(module.exports, require('./2p-core.js'), require('./kotlin-kotlin-stdlib.js'), require('./2p-unify.js'), require('./2p-parser-core.js'), require('./2p-theory.js'), require('./2p-parser-theory.js'), require('./arg2p-core.js'), require('./2p-solve.js'));
   else {
-    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 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 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 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'.");
     }
@@ -28,105 +28,124 @@
     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'.");
     }
-    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['2p-theory'], globalThis['2p-parser-theory'], globalThis['arg2p-core'], globalThis['2p-solve']);
+    globalThis['arg2p-causality-solver'] = factory(typeof globalThis['arg2p-causality-solver'] === 'undefined' ? {} : globalThis['arg2p-causality-solver'], globalThis['2p-core'], globalThis['kotlin-kotlin-stdlib'], globalThis['2p-unify'], globalThis['2p-parser-core'], globalThis['2p-theory'], globalThis['2p-parser-theory'], globalThis['arg2p-core'], globalThis['2p-solve']);
   }
-}(function (_, kotlin_kotlin, kotlin_it_unibo_tuprolog_core, kotlin_it_unibo_tuprolog_unify, kotlin_it_unibo_tuprolog_parser_core, kotlin_it_unibo_tuprolog_theory, kotlin_it_unibo_tuprolog_parser_theory, kotlin_it_unibo_tuprolog_argumentation_core, kotlin_it_unibo_tuprolog_solve) {
+}(function (_, kotlin_it_unibo_tuprolog_core, kotlin_kotlin, kotlin_it_unibo_tuprolog_unify, kotlin_it_unibo_tuprolog_parser_core, kotlin_it_unibo_tuprolog_theory, kotlin_it_unibo_tuprolog_parser_theory, kotlin_it_unibo_tuprolog_argumentation_core, kotlin_it_unibo_tuprolog_solve) {
   'use strict';
   //region block: imports
-  var ensureNotNull = kotlin_kotlin.$_$.ua;
+  var Companion_instance = kotlin_it_unibo_tuprolog_core.$_$.p;
+  var ensureNotNull = kotlin_kotlin.$_$.va;
+  var filter = kotlin_kotlin.$_$.v7;
+  var map = kotlin_kotlin.$_$.h8;
+  var firstOrNull = kotlin_kotlin.$_$.w7;
   var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.v;
-  var filter = kotlin_kotlin.$_$.u7;
-  var map = kotlin_kotlin.$_$.g8;
-  var firstOrNull = kotlin_kotlin.$_$.v7;
   var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_unify.$_$.b;
-  var Companion_instance = kotlin_it_unibo_tuprolog_core.$_$.w;
+  var Companion_instance_0 = kotlin_it_unibo_tuprolog_core.$_$.w;
   var parseTerm = kotlin_it_unibo_tuprolog_parser_core.$_$.e;
   var ArrayList_init_$Create$ = kotlin_kotlin.$_$.d;
   var Unit_instance = kotlin_kotlin.$_$.l1;
   var collectionSizeOrDefault = kotlin_kotlin.$_$.c2;
   var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.c;
-  var plus = kotlin_kotlin.$_$.y3;
+  var plus = kotlin_kotlin.$_$.z3;
   var addAll = kotlin_kotlin.$_$.s1;
-  var plus_0 = kotlin_kotlin.$_$.x3;
-  var emptyList = kotlin_kotlin.$_$.n2;
-  var Companion_instance_0 = kotlin_it_unibo_tuprolog_theory.$_$.b;
+  var plus_0 = kotlin_kotlin.$_$.y3;
+  var emptyList = kotlin_kotlin.$_$.o2;
+  var Companion_instance_1 = kotlin_it_unibo_tuprolog_theory.$_$.b;
   var parseTheoryWithOperators = kotlin_it_unibo_tuprolog_parser_theory.$_$.b;
   var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_core.$_$.u;
   var parseStruct = kotlin_it_unibo_tuprolog_parser_core.$_$.d;
   var Graph = kotlin_it_unibo_tuprolog_argumentation_core.$_$.l;
   var asSequence = kotlin_kotlin.$_$.a2;
-  var flatMap = kotlin_kotlin.$_$.y7;
-  var toList = kotlin_kotlin.$_$.v8;
+  var flatMap = kotlin_kotlin.$_$.z7;
+  var toList = kotlin_kotlin.$_$.w8;
   var Companion_getInstance_2 = kotlin_it_unibo_tuprolog_core.$_$.l;
-  var Default_getInstance = kotlin_kotlin.$_$.i1;
-  var nextUInt = kotlin_kotlin.$_$.w6;
-  var UInt = kotlin_kotlin.$_$.ta;
   var Collection = kotlin_kotlin.$_$.m1;
-  var isInterface = kotlin_kotlin.$_$.h6;
+  var isInterface = kotlin_kotlin.$_$.i6;
+  var distinct = kotlin_kotlin.$_$.m2;
   var arg2pScope = kotlin_it_unibo_tuprolog_argumentation_core.$_$.e;
+  var toList_0 = kotlin_kotlin.$_$.g4;
+  var toString = kotlin_kotlin.$_$.r6;
+  var Default_getInstance = kotlin_kotlin.$_$.i1;
+  var nextUInt = kotlin_kotlin.$_$.x6;
+  var UInt = kotlin_kotlin.$_$.ua;
   var Signature = kotlin_it_unibo_tuprolog_solve.$_$.u2;
-  var protoOf = kotlin_kotlin.$_$.n6;
+  var protoOf = kotlin_kotlin.$_$.o6;
   var VOID = kotlin_kotlin.$_$.b;
-  var sequenceOf = kotlin_kotlin.$_$.n8;
+  var sequenceOf = kotlin_kotlin.$_$.o8;
   var Primitive = kotlin_it_unibo_tuprolog_solve.$_$.w1;
-  var initMetadataForClass = kotlin_kotlin.$_$.a6;
-  var Companion_instance_1 = kotlin_it_unibo_tuprolog_solve.$_$.b1;
+  var initMetadataForClass = kotlin_kotlin.$_$.b6;
+  var Companion_instance_2 = 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.$_$.f4;
-  var toString = kotlin_kotlin.$_$.q6;
   var mineActiveGraph = kotlin_it_unibo_tuprolog_argumentation_core.$_$.k;
   var Arg2pSolverFactory_instance = kotlin_it_unibo_tuprolog_argumentation_core.$_$.d;
   var FlagsBuilder = kotlin_it_unibo_tuprolog_argumentation_core.$_$.f;
-  var Companion_instance_2 = kotlin_it_unibo_tuprolog_argumentation_core.$_$.c;
-  var Companion_instance_3 = kotlin_it_unibo_tuprolog_argumentation_core.$_$.a;
-  var Companion_instance_4 = kotlin_it_unibo_tuprolog_argumentation_core.$_$.b;
+  var Companion_instance_3 = kotlin_it_unibo_tuprolog_argumentation_core.$_$.c;
+  var Companion_instance_4 = kotlin_it_unibo_tuprolog_argumentation_core.$_$.a;
+  var Companion_instance_5 = kotlin_it_unibo_tuprolog_argumentation_core.$_$.b;
   var Companion_getInstance_3 = kotlin_it_unibo_tuprolog_core.$_$.i;
-  var replace = kotlin_kotlin.$_$.o9;
-  var listOf = kotlin_kotlin.$_$.e3;
+  var replace = kotlin_kotlin.$_$.p9;
+  var listOf = kotlin_kotlin.$_$.f3;
   var Companion_getInstance_4 = kotlin_it_unibo_tuprolog_solve.$_$.h1;
-  var mapCapacity = kotlin_kotlin.$_$.f3;
-  var coerceAtLeast = kotlin_kotlin.$_$.b7;
+  var mapCapacity = kotlin_kotlin.$_$.g3;
+  var coerceAtLeast = kotlin_kotlin.$_$.c7;
   var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.e;
   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
-  initMetadataForClass(CausalityCheckIntervention, 'CausalityCheckIntervention', VOID, VOID, [Primitive]);
-  initMetadataForClass(CausalityCheckCause, 'CausalityCheckCause', VOID, VOID, [Primitive]);
+  initMetadataForClass(CausalityCheckCauseButFor, 'CausalityCheckCauseButFor', VOID, VOID, [Primitive]);
+  initMetadataForClass(CausalityCheckInterventionICAIL24, 'CausalityCheckInterventionICAIL24', VOID, VOID, [Primitive]);
+  initMetadataForClass(CausalityCheckCauseICAIL24, 'CausalityCheckCauseICAIL24', VOID, VOID, [Primitive]);
+  initMetadataForClass(CausalityCheckInterventionICAIL25, 'CausalityCheckInterventionICAIL25', VOID, VOID, [Primitive]);
+  initMetadataForClass(CausalityCheckCauseICAIL25, 'CausalityCheckCauseICAIL25', VOID, VOID, [Primitive]);
   initMetadataForClass(CausalitySolver, 'CausalitySolver', CausalitySolver, VOID, [ArgLibrary, Loadable]);
   //endregion
-  function CausalitySolver$CausalityCheckCause$solve$lambda$lambda(it) {
+  function CausalitySolver$CausalityCheckCauseButFor$solve$lambda$lambda(it) {
     return it.a1v();
   }
-  function CausalitySolver$CausalityCheckCause$solve$lambda$lambda_0($this_arg2pScope) {
+  function CausalitySolver$CausalityCheckCauseButFor$solve$lambda$lambda_0($this_arg2pScope) {
     return function (it) {
-      return ensureNotNull(it.s1t().h2($this_arg2pScope.a1h())).castToList();
+      return Companion_instance.of([ensureNotNull(it.s1t().h2($this_arg2pScope.a1h()))]);
+    };
+  }
+  function CausalitySolver$CausalityCheckCauseButFor$solve$lambda$lambda_1(this$0, $request, $effect) {
+    return function (it) {
+      return checkButFor(this$0, $request, it, $effect);
     };
   }
-  function CausalitySolver$CausalityCheckCause$solve$lambda$lambda_1(this$0, $request, $effect) {
+  function CausalitySolver$CausalityCheckCauseButFor$solve$lambda($request, $cause, this$0, $effect) {
+    return function ($this$arg2pScope) {
+      var tmp = $request.solve($this$arg2pScope.stringInvoke('compl', $cause, [$this$arg2pScope.a1h()]));
+      var tmp_0 = filter(tmp, CausalitySolver$CausalityCheckCauseButFor$solve$lambda$lambda);
+      var tmp_1 = map(tmp_0, CausalitySolver$CausalityCheckCauseButFor$solve$lambda$lambda_0($this$arg2pScope));
+      var tmp0_elvis_lhs = firstOrNull(map(tmp_1, CausalitySolver$CausalityCheckCauseButFor$solve$lambda$lambda_1(this$0, $request, $effect)));
+      return tmp0_elvis_lhs == null ? false : tmp0_elvis_lhs;
+    };
+  }
+  function CausalitySolver$CausalityCheckCauseICAIL24$solve$lambda(this$0, $request, $effect) {
     return function (it) {
-      return checkCausality(this$0, $request, it, $effect);
+      return checkCausalityICAIL24(this$0, $request, it, $effect);
     };
   }
-  function CausalitySolver$CausalityCheckCause$solve$lambda$lambda_2($intervention) {
+  function CausalitySolver$CausalityCheckCauseICAIL24$solve$lambda_0($intervention) {
     return function (it) {
       return Companion_getInstance().of($intervention, it);
     };
   }
-  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.a1h()]));
-      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));
-      var tmp0_elvis_lhs = firstOrNull(map(tmp_2, CausalitySolver$CausalityCheckCause$solve$lambda$lambda_2($intervention)));
-      return tmp0_elvis_lhs == null ? Companion_getInstance().failed() : tmp0_elvis_lhs;
+  function CausalitySolver$CausalityCheckCauseICAIL25$solve$lambda(this$0, $request, $effect) {
+    return function (it) {
+      return checkCausalityICAIL25(this$0, $request, it, $effect);
+    };
+  }
+  function CausalitySolver$CausalityCheckCauseICAIL25$solve$lambda_0($intervention) {
+    return function (it) {
+      return Companion_getInstance().of($intervention, it);
     };
   }
   function equalTerms($this, a, b) {
-    return Companion_getInstance_0().r1j().match(parseTerm(Companion_instance, a), parseTerm(Companion_instance, b));
+    return Companion_getInstance_0().r1j().match(parseTerm(Companion_instance_0, a), parseTerm(Companion_instance_0, b));
   }
   function attackers($this, x, graph) {
     // Inline function 'kotlin.collections.filter' call
@@ -220,7 +239,7 @@
   }
   function solveFresh($this, effect, kb) {
     $this.a3r_1.resetStaticKb();
-    $this.a3r_1.loadStaticKb(parseTheoryWithOperators(Companion_instance_0, kb.toStringAsProlog(true), $this.b3r_1));
+    $this.a3r_1.loadStaticKb(parseTheoryWithOperators(Companion_instance_1, kb.toStringAsProlog(true), $this.b3r_1));
     var tmp = $this.a3r_1.solve(parseStruct(Companion_getInstance_1(), 'answerQuery(' + effect + ')'));
     var tmp0_elvis_lhs = firstOrNull(map(tmp, CausalitySolver$solveFresh$lambda($this)));
     return tmp0_elvis_lhs == null ? new Graph(emptyList(), emptyList(), emptyList()) : tmp0_elvis_lhs;
@@ -245,13 +264,14 @@
     var _iterator__ex2g4s = this_0.p();
     while (_iterator__ex2g4s.s()) {
       var item = _iterator__ex2g4s.t();
-      var tmp$ret$0 = Companion_getInstance_2().of(parseStruct(Companion_getInstance_1(), ':->(fk' + new UInt(nextUInt(Default_getInstance())) + ', ' + item.toString() + ')'), []);
+      var tmp$ret$0 = Companion_getInstance_2().of(parseStruct(Companion_getInstance_1(), ':->(fk' + (item.hashCode() & 2147483647) + ', ' + item.toString() + ')'), []);
       destination.m(tmp$ret$0);
     }
     // Inline function 'kotlin.let' call
     // Inline function 'kotlin.let' call
+    var naf = solveFresh($this, effect, request.context.y1t().plusTheory(Companion_instance_1.ofIterableWithDefaultUnificator(destination)));
     // Inline function 'kotlin.collections.filter' call
-    var tmp0 = solveFresh($this, effect, request.context.y1t().plusTheory(Companion_instance_0.ofIterableWithDefaultUnificator(destination))).t3n_1;
+    var tmp0 = naf.t3n_1;
     // Inline function 'kotlin.collections.filterTo' call
     var destination_0 = ArrayList_init_$Create$();
     var _iterator__ex2g4s_0 = tmp0.p();
@@ -261,80 +281,114 @@
         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));
+    // Inline function 'kotlin.collections.filter' call
+    // Inline function 'kotlin.collections.filterTo' call
+    var destination_1 = ArrayList_init_$Create$();
     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.o3n_1.f3n();
-      destination_1.m(tmp$ret$6);
-    }
-    var tmp$ret$9;
-    $l$block_2: {
-      // Inline function 'kotlin.collections.any' call
-      var tmp;
-      if (isInterface(destination_1, Collection)) {
-        tmp = destination_1.j();
-      } else {
-        tmp = false;
-      }
-      if (tmp) {
-        tmp$ret$9 = false;
-        break $l$block_2;
-      }
-      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.j();
-          } else {
-            tmp_0 = false;
-          }
-          if (tmp_0) {
-            tmp$ret$10 = false;
-            break $l$block_1;
-          }
-          var _iterator__ex2g4s_3 = support.p();
-          while (_iterator__ex2g4s_3.s()) {
-            var element_1 = _iterator__ex2g4s_3.t();
-            if (Companion_getInstance_0().r1j().match(element_0, element_1)) {
-              tmp$ret$10 = true;
-              break $l$block_1;
-            }
+      var element_0 = _iterator__ex2g4s_1.t();
+      var tmp$ret$6;
+      $l$block_0: {
+        // Inline function 'kotlin.collections.any' call
+        var tmp;
+        if (isInterface(support, Collection)) {
+          tmp = support.j();
+        } else {
+          tmp = false;
+        }
+        if (tmp) {
+          tmp$ret$6 = false;
+          break $l$block_0;
+        }
+        var _iterator__ex2g4s_2 = support.p();
+        while (_iterator__ex2g4s_2.s()) {
+          var element_1 = _iterator__ex2g4s_2.t();
+          if (Companion_getInstance_0().r1j().match(element_0.o3n_1.f3n(), element_1)) {
+            tmp$ret$6 = true;
+            break $l$block_0;
           }
-          tmp$ret$10 = false;
         }
-        if (tmp$ret$10) {
-          tmp$ret$9 = true;
-          break $l$block_2;
+        tmp$ret$6 = false;
+      }
+      if (tmp$ret$6) {
+        destination_1.m(element_0);
+      }
+    }
+    // Inline function 'kotlin.collections.flatMap' call
+    // Inline function 'kotlin.collections.flatMapTo' call
+    var destination_2 = ArrayList_init_$Create$();
+    var _iterator__ex2g4s_3 = destination_1.p();
+    while (_iterator__ex2g4s_3.s()) {
+      var element_2 = _iterator__ex2g4s_3.t();
+      // Inline function 'kotlin.collections.filter' call
+      var tmp0_0 = attackers($this, element_2.o3n_1, naf);
+      // Inline function 'kotlin.collections.filterTo' call
+      var destination_3 = ArrayList_init_$Create$();
+      var _iterator__ex2g4s_4 = tmp0_0.p();
+      while (_iterator__ex2g4s_4.s()) {
+        var element_3 = _iterator__ex2g4s_4.t();
+        if (element_3.p3n_1 === 'in') {
+          destination_3.m(element_3);
         }
       }
-      tmp$ret$9 = false;
+      var list = destination_3;
+      addAll(destination_2, list);
+    }
+    // Inline function 'kotlin.collections.map' call
+    // Inline function 'kotlin.collections.mapTo' call
+    var destination_4 = ArrayList_init_$Create$_0(collectionSizeOrDefault(destination_2, 10));
+    var _iterator__ex2g4s_5 = destination_2.p();
+    while (_iterator__ex2g4s_5.s()) {
+      var item_0 = _iterator__ex2g4s_5.t();
+      var tmp$ret$17 = item_0.o3n_1;
+      destination_4.m(tmp$ret$17);
     }
-    return tmp$ret$9;
+    return distinct(destination_4);
   }
   function getSubsets($this, request, intervention) {
     return arg2pScope(CausalitySolver$getSubsets$lambda(request, intervention));
   }
-  function checkCausality($this, request, intervention, effect) {
+  function getInterventions($this, request, cause, effect) {
+    var tmp = Companion_instance_0;
+    // Inline function 'kotlin.collections.map' call
+    var this_0 = solveFresh($this, effect, request.context.y1t()).q3n_1;
+    // Inline function 'kotlin.collections.mapTo' call
+    var destination = ArrayList_init_$Create$_0(collectionSizeOrDefault(this_0, 10));
+    var _iterator__ex2g4s = this_0.p();
+    while (_iterator__ex2g4s.s()) {
+      var item = _iterator__ex2g4s.t();
+      var tmp$ret$0 = item.w3m_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 _iterator__ex2g4s_0 = destination.p();
+    while (_iterator__ex2g4s_0.s()) {
+      var element = _iterator__ex2g4s_0.t();
+      if (!(element === 'none')) {
+        destination_0.m(element);
+      }
+    }
+    var rules = parseTerm(tmp, toString(toList_0(destination_0)));
+    return arg2pScope(CausalitySolver$getInterventions$lambda(request, rules, cause));
+  }
+  function checkCausalityICAIL24($this, request, intervention, effect) {
     var supports = checkBaseTheory($this, request, effect);
     if (supports.j())
       return false;
+    var attackers = checkIntervention($this, request, intervention, supports, effect);
     var tmp;
-    if (checkIntervention($this, request, intervention, supports, effect)) {
+    // Inline function 'kotlin.collections.isNotEmpty' call
+    if (!attackers.j()) {
       var tmp_0;
       if (intervention.ey() <= 1) {
         tmp_0 = true;
       } else {
         var tmp0 = getSubsets($this, request, intervention);
-        var tmp$ret$0;
+        var tmp$ret$1;
         $l$block_0: {
-          // Inline function 'kotlin.collections.all' call
+          // Inline function 'kotlin.collections.none' call
           var tmp_1;
           if (isInterface(tmp0, Collection)) {
             tmp_1 = tmp0.j();
@@ -342,20 +396,21 @@
             tmp_1 = false;
           }
           if (tmp_1) {
-            tmp$ret$0 = true;
+            tmp$ret$1 = true;
             break $l$block_0;
           }
           var _iterator__ex2g4s = tmp0.p();
           while (_iterator__ex2g4s.s()) {
             var element = _iterator__ex2g4s.t();
-            if (!!checkIntervention($this, request, element, supports, effect)) {
-              tmp$ret$0 = false;
+            // Inline function 'kotlin.collections.isNotEmpty' call
+            if (!checkIntervention($this, request, element, supports, effect).j()) {
+              tmp$ret$1 = false;
               break $l$block_0;
             }
           }
-          tmp$ret$0 = true;
+          tmp$ret$1 = true;
         }
-        tmp_0 = tmp$ret$0;
+        tmp_0 = tmp$ret$1;
       }
       tmp = tmp_0;
     } else {
@@ -363,60 +418,274 @@
     }
     return tmp;
   }
-  function CausalityCheckIntervention($outer) {
+  function checkCausalityICAIL25($this, request, intervention, effect) {
+    var supports = checkBaseTheory($this, request, effect);
+    if (supports.j())
+      return false;
+    // Inline function 'kotlin.collections.map' call
+    var this_0 = checkIntervention($this, request, intervention, supports, effect);
+    // Inline function 'kotlin.collections.mapTo' call
+    var destination = ArrayList_init_$Create$_0(collectionSizeOrDefault(this_0, 10));
+    var _iterator__ex2g4s = this_0.p();
+    while (_iterator__ex2g4s.s()) {
+      var item = _iterator__ex2g4s.t();
+      var tmp$ret$0 = item.f3n();
+      destination.m(tmp$ret$0);
+    }
+    var attackers = destination;
+    var tmp;
+    // Inline function 'kotlin.collections.isNotEmpty' call
+    if (!attackers.j()) {
+      var tmp_0;
+      if (intervention.ey() <= 1) {
+        tmp_0 = true;
+      } else {
+        var tmp0 = getSubsets($this, request, intervention);
+        var tmp$ret$4;
+        $l$block_4: {
+          // Inline function 'kotlin.collections.none' call
+          var tmp_1;
+          if (isInterface(tmp0, Collection)) {
+            tmp_1 = tmp0.j();
+          } else {
+            tmp_1 = false;
+          }
+          if (tmp_1) {
+            tmp$ret$4 = true;
+            break $l$block_4;
+          }
+          var _iterator__ex2g4s_0 = tmp0.p();
+          while (_iterator__ex2g4s_0.s()) {
+            var element = _iterator__ex2g4s_0.t();
+            // Inline function 'kotlin.collections.map' call
+            var this_1 = checkIntervention($this, request, element, supports, effect);
+            // Inline function 'kotlin.collections.mapTo' call
+            var destination_0 = ArrayList_init_$Create$_0(collectionSizeOrDefault(this_1, 10));
+            var _iterator__ex2g4s_1 = this_1.p();
+            while (_iterator__ex2g4s_1.s()) {
+              var item_0 = _iterator__ex2g4s_1.t();
+              var tmp$ret$5 = item_0.f3n();
+              destination_0.m(tmp$ret$5);
+            }
+            var n = destination_0;
+            var tmp$ret$8;
+            $l$block_3: {
+              // Inline function 'kotlin.collections.all' call
+              var tmp_2;
+              if (isInterface(attackers, Collection)) {
+                tmp_2 = attackers.j();
+              } else {
+                tmp_2 = false;
+              }
+              if (tmp_2) {
+                tmp$ret$8 = true;
+                break $l$block_3;
+              }
+              var _iterator__ex2g4s_2 = attackers.p();
+              while (_iterator__ex2g4s_2.s()) {
+                var element_0 = _iterator__ex2g4s_2.t();
+                var tmp$ret$9;
+                $l$block_2: {
+                  // Inline function 'kotlin.collections.any' call
+                  var tmp_3;
+                  if (isInterface(n, Collection)) {
+                    tmp_3 = n.j();
+                  } else {
+                    tmp_3 = false;
+                  }
+                  if (tmp_3) {
+                    tmp$ret$9 = false;
+                    break $l$block_2;
+                  }
+                  var _iterator__ex2g4s_3 = n.p();
+                  while (_iterator__ex2g4s_3.s()) {
+                    var element_1 = _iterator__ex2g4s_3.t();
+                    if (Companion_getInstance_0().r1j().match(element_0, element_1)) {
+                      tmp$ret$9 = true;
+                      break $l$block_2;
+                    }
+                  }
+                  tmp$ret$9 = false;
+                }
+                if (!tmp$ret$9) {
+                  tmp$ret$8 = false;
+                  break $l$block_3;
+                }
+              }
+              tmp$ret$8 = true;
+            }
+            if (tmp$ret$8) {
+              tmp$ret$4 = false;
+              break $l$block_4;
+            }
+          }
+          tmp$ret$4 = true;
+        }
+        tmp_0 = tmp$ret$4;
+      }
+      tmp = tmp_0;
+    } else {
+      tmp = false;
+    }
+    return tmp;
+  }
+  function checkButFor($this, request, intervention, effect) {
+    var tmp;
+    // Inline function 'kotlin.let' call
+    var tmp0 = solveFresh($this, effect, request.context.y1t()).t3n_1;
+    var tmp$ret$0;
+    $l$block_0: {
+      // Inline function 'kotlin.collections.any' call
+      var tmp_0;
+      if (isInterface(tmp0, Collection)) {
+        tmp_0 = tmp0.j();
+      } else {
+        tmp_0 = false;
+      }
+      if (tmp_0) {
+        tmp$ret$0 = false;
+        break $l$block_0;
+      }
+      var _iterator__ex2g4s = tmp0.p();
+      while (_iterator__ex2g4s.s()) {
+        var element = _iterator__ex2g4s.t();
+        if (element.p3n_1 === 'in' && equalTerms($this, element.o3n_1.x3m_1, effect)) {
+          tmp$ret$0 = true;
+          break $l$block_0;
+        }
+      }
+      tmp$ret$0 = false;
+    }
+    if (tmp$ret$0) {
+      // 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 _iterator__ex2g4s_0 = this_0.p();
+      while (_iterator__ex2g4s_0.s()) {
+        var item = _iterator__ex2g4s_0.t();
+        var tmp$ret$4 = Companion_getInstance_2().of(parseStruct(Companion_getInstance_1(), ':->(fk' + new UInt(nextUInt(Default_getInstance())) + ', ' + item.toString() + ')'), []);
+        destination.m(tmp$ret$4);
+      }
+      // Inline function 'kotlin.let' call
+      // Inline function 'kotlin.let' call
+      var tmp0_0 = solveFresh($this, effect, request.context.y1t().plusTheory(Companion_instance_1.ofIterableWithDefaultUnificator(destination))).t3n_1;
+      var tmp$ret$7;
+      $l$block_2: {
+        // Inline function 'kotlin.collections.none' call
+        var tmp_1;
+        if (isInterface(tmp0_0, Collection)) {
+          tmp_1 = tmp0_0.j();
+        } else {
+          tmp_1 = false;
+        }
+        if (tmp_1) {
+          tmp$ret$7 = true;
+          break $l$block_2;
+        }
+        var _iterator__ex2g4s_1 = tmp0_0.p();
+        while (_iterator__ex2g4s_1.s()) {
+          var element_0 = _iterator__ex2g4s_1.t();
+          if (element_0.p3n_1 === 'in' && equalTerms($this, element_0.o3n_1.x3m_1, effect)) {
+            tmp$ret$7 = false;
+            break $l$block_2;
+          }
+        }
+        tmp$ret$7 = true;
+      }
+      tmp = tmp$ret$7;
+    } else {
+      tmp = false;
+    }
+    return tmp;
+  }
+  function CausalityCheckCauseButFor($outer) {
     this.f3r_1 = $outer;
-    this.e3r_1 = new Signature('evaluate_intervention', 2);
+    this.e3r_1 = new Signature('but_for', 2);
   }
-  protoOf(CausalityCheckIntervention).j1t = function () {
+  protoOf(CausalityCheckCauseButFor).j1t = function () {
     return this.e3r_1;
   };
-  protoOf(CausalityCheckIntervention).d2f = function (request) {
-    var intervention = request.arguments.w(0).castToList();
+  protoOf(CausalityCheckCauseButFor).d2f = function (request) {
+    var cause = request.arguments.w(0);
     var effect = this.f3r_1.g3r(request.arguments.w(1).toString());
-    return sequenceOf(request.replyWithCondition(checkCausality(this.f3r_1, request, intervention, effect), VOID, []));
+    return sequenceOf(request.replyWithCondition(arg2pScope(CausalitySolver$CausalityCheckCauseButFor$solve$lambda(request, cause, this.f3r_1, effect)), VOID, []));
   };
-  protoOf(CausalityCheckIntervention).solve = function (request) {
+  protoOf(CausalityCheckCauseButFor).solve = function (request) {
     return this.d2f(request);
   };
-  function CausalityCheckCause($outer) {
+  function CausalityCheckInterventionICAIL24($outer) {
     this.i3r_1 = $outer;
-    this.h3r_1 = new Signature('evaluate', 3);
+    this.h3r_1 = new Signature('ness_original_intervention', 2);
   }
-  protoOf(CausalityCheckCause).j1t = function () {
+  protoOf(CausalityCheckInterventionICAIL24).j1t = function () {
     return this.h3r_1;
   };
-  protoOf(CausalityCheckCause).d2f = function (request) {
+  protoOf(CausalityCheckInterventionICAIL24).d2f = function (request) {
+    var intervention = request.arguments.w(0).castToList();
+    var effect = this.i3r_1.g3r(request.arguments.w(1).toString());
+    return sequenceOf(request.replyWithCondition(checkCausalityICAIL24(this.i3r_1, request, intervention, effect), VOID, []));
+  };
+  protoOf(CausalityCheckInterventionICAIL24).solve = function (request) {
+    return this.d2f(request);
+  };
+  function CausalityCheckCauseICAIL24($outer) {
+    this.k3r_1 = $outer;
+    this.j3r_1 = new Signature('ness_original', 3);
+  }
+  protoOf(CausalityCheckCauseICAIL24).j1t = function () {
+    return this.j3r_1;
+  };
+  protoOf(CausalityCheckCauseICAIL24).d2f = function (request) {
     var intervention = request.arguments.w(0);
     var cause = request.arguments.w(1);
-    var effect = this.i3r_1.g3r(request.arguments.w(2).toString());
+    var effect = this.k3r_1.g3r(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.map' call
-    var this_0 = solveFresh(this.i3r_1, effect, request.context.y1t()).q3n_1;
-    // Inline function 'kotlin.collections.mapTo' call
-    var destination = ArrayList_init_$Create$_0(collectionSizeOrDefault(this_0, 10));
-    var _iterator__ex2g4s = this_0.p();
-    while (_iterator__ex2g4s.s()) {
-      var item = _iterator__ex2g4s.t();
-      var tmp$ret$0 = item.w3m_1;
-      destination.m(tmp$ret$0);
+      throw Companion_instance_2.forGoal(request.context, request.signature, Expected_VARIABLE_getInstance(), intervention);
     }
-    // Inline function 'kotlin.collections.filter' call
-    // Inline function 'kotlin.collections.filterTo' call
-    var destination_0 = ArrayList_init_$Create$();
-    var _iterator__ex2g4s_0 = destination.p();
-    while (_iterator__ex2g4s_0.s()) {
-      var element = _iterator__ex2g4s_0.t();
-      if (!(element === 'none')) {
-        destination_0.m(element);
-      }
+    var tmp = getInterventions(this.k3r_1, request, cause, effect);
+    var tmp_0 = filter(tmp, CausalitySolver$CausalityCheckCauseICAIL24$solve$lambda(this.k3r_1, request, effect));
+    var tmp0_elvis_lhs = firstOrNull(map(tmp_0, CausalitySolver$CausalityCheckCauseICAIL24$solve$lambda_0(intervention)));
+    return sequenceOf(request.replyWith(tmp0_elvis_lhs == null ? Companion_getInstance().failed() : tmp0_elvis_lhs, VOID, []));
+  };
+  protoOf(CausalityCheckCauseICAIL24).solve = function (request) {
+    return this.d2f(request);
+  };
+  function CausalityCheckInterventionICAIL25($outer) {
+    this.m3r_1 = $outer;
+    this.l3r_1 = new Signature('ness_intervention', 2);
+  }
+  protoOf(CausalityCheckInterventionICAIL25).j1t = function () {
+    return this.l3r_1;
+  };
+  protoOf(CausalityCheckInterventionICAIL25).d2f = function (request) {
+    var intervention = request.arguments.w(0).castToList();
+    var effect = this.m3r_1.g3r(request.arguments.w(1).toString());
+    return sequenceOf(request.replyWithCondition(checkCausalityICAIL25(this.m3r_1, request, intervention, effect), VOID, []));
+  };
+  protoOf(CausalityCheckInterventionICAIL25).solve = function (request) {
+    return this.d2f(request);
+  };
+  function CausalityCheckCauseICAIL25($outer) {
+    this.o3r_1 = $outer;
+    this.n3r_1 = new Signature('ness', 3);
+  }
+  protoOf(CausalityCheckCauseICAIL25).j1t = function () {
+    return this.n3r_1;
+  };
+  protoOf(CausalityCheckCauseICAIL25).d2f = function (request) {
+    var intervention = request.arguments.w(0);
+    var cause = request.arguments.w(1);
+    var effect = this.o3r_1.g3r(request.arguments.w(2).toString());
+    if (!isInterface(intervention, Var)) {
+      throw Companion_instance_2.forGoal(request.context, request.signature, Expected_VARIABLE_getInstance(), intervention);
     }
-    var rules = parseTerm(tmp, toString(toList_0(destination_0)));
-    return sequenceOf(request.replyWith(arg2pScope(CausalitySolver$CausalityCheckCause$solve$lambda(request, rules, cause, this.i3r_1, effect, intervention)), VOID, []));
+    var tmp = getInterventions(this.o3r_1, request, cause, effect);
+    var tmp_0 = filter(tmp, CausalitySolver$CausalityCheckCauseICAIL25$solve$lambda(this.o3r_1, request, effect));
+    var tmp0_elvis_lhs = firstOrNull(map(tmp_0, CausalitySolver$CausalityCheckCauseICAIL25$solve$lambda_0(intervention)));
+    return sequenceOf(request.replyWith(tmp0_elvis_lhs == null ? Companion_getInstance().failed() : tmp0_elvis_lhs, VOID, []));
   };
-  protoOf(CausalityCheckCause).solve = function (request) {
+  protoOf(CausalityCheckCauseICAIL25).solve = function (request) {
     return this.d2f(request);
   };
   function CausalitySolver$solveFresh$lambda(this$0) {
@@ -455,14 +724,29 @@
       return toList(map(tmp_0, CausalitySolver$getSubsets$lambda$lambda_0($this$arg2pScope)));
     };
   }
+  function CausalitySolver$getInterventions$lambda$lambda(it) {
+    return it.a1v();
+  }
+  function CausalitySolver$getInterventions$lambda$lambda_0($this_arg2pScope) {
+    return function (it) {
+      return ensureNotNull(it.s1t().h2($this_arg2pScope.a1h())).castToList();
+    };
+  }
+  function CausalitySolver$getInterventions$lambda($request, $rules, $cause) {
+    return function ($this$arg2pScope) {
+      var tmp = $request.solve($this$arg2pScope.stringInvoke('generate_interventions', $rules, [$cause, $this$arg2pScope.a1h()]));
+      var tmp_0 = filter(tmp, CausalitySolver$getInterventions$lambda$lambda);
+      return map(tmp_0, CausalitySolver$getInterventions$lambda$lambda_0($this$arg2pScope));
+    };
+  }
   function CausalitySolver() {
     var tmp = this;
     var tmp_0 = Arg2pSolverFactory_instance;
     var tmp0_graphExtensions = emptyList();
     tmp.a3r_1 = tmp_0.h3a(VOID, (new FlagsBuilder(VOID, VOID, VOID, VOID, VOID, 'grounded', VOID, VOID, VOID, VOID, tmp0_graphExtensions)).t3a());
-    this.b3r_1 = Companion_instance_2.d3a().a3a();
+    this.b3r_1 = Companion_instance_3.d3a().a3a();
     this.c3r_1 = 'prolog.argumentation.causality.solver';
-    this.d3r_1 = Companion_instance_3.a3a().plusOperatorSet(Companion_instance_4.a3a()).plusOperatorSet(Companion_getInstance_3().DEFAULT);
+    this.d3r_1 = Companion_instance_4.a3a().plusOperatorSet(Companion_instance_5.a3a()).plusOperatorSet(Companion_getInstance_3().DEFAULT);
   }
   protoOf(CausalitySolver).g3r = function (string) {
     return replace(replace(string, ' ', ''), "'", '');
@@ -472,7 +756,7 @@
   };
   protoOf(CausalitySolver).v3a = function () {
     // Inline function 'kotlin.let' call
-    var primitives = listOf([new CausalityCheckIntervention(this), new CausalityCheckCause(this)]);
+    var primitives = listOf([new CausalityCheckInterventionICAIL24(this), new CausalityCheckCauseICAIL24(this), new CausalityCheckInterventionICAIL25(this), new CausalityCheckCauseICAIL25(this), new CausalityCheckCauseButFor(this)]);
     var tmp = Companion_getInstance_4();
     // Inline function 'kotlin.collections.associateBy' call
     var capacity = coerceAtLeast(mapCapacity(collectionSizeOrDefault(primitives, 10)), 16);
@@ -484,7 +768,7 @@
       var tmp$ret$0 = element.j1t();
       destination.k4(tmp$ret$0, element);
     }
-    return tmp.of(this.c3r_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), ground(Id)), RR),\n    utils::appendLists(RR, UP).\n', this.d3r_1));
+    return tmp.of(this.c3r_1, destination, parseTheoryWithOperators(Companion_instance_1, '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), ground(Id)), RR),\n    utils::appendLists(RR, UP).\n', this.d3r_1));
   };
   protoOf(CausalitySolver).w3a = function () {
     return 'causality';