@tuprolog/arg2p 0.17.4 → 0.18.1

package/arg2p-causality-solver.js

@@ -1,14 +1,20 @@
 (function (factory) {
   if (typeof define === 'function' && define.amd)
-    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);
+    define(['exports', './kotlin-kotlin-stdlib.js', './arg2p-core.js', './2p-core.js', './2p-solve.js', './2p-unify.js', './2p-parser-core.js', './2p-theory.js'], factory);
   else if (typeof exports === 'object')
-    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'));
+    factory(module.exports, require('./kotlin-kotlin-stdlib.js'), require('./arg2p-core.js'), require('./2p-core.js'), require('./2p-solve.js'), require('./2p-unify.js'), require('./2p-parser-core.js'), require('./2p-theory.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['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 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-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 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'.");
@@ -19,146 +25,328 @@
     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 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'.");
-    }
-    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 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['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']);
+    globalThis['arg2p-causality-solver'] = factory(typeof globalThis['arg2p-causality-solver'] === 'undefined' ? {} : globalThis['arg2p-causality-solver'], globalThis['kotlin-kotlin-stdlib'], globalThis['arg2p-core'], globalThis['2p-core'], globalThis['2p-solve'], globalThis['2p-unify'], globalThis['2p-parser-core'], globalThis['2p-theory']);
   }
-}(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) {
+}(function (_, kotlin_kotlin, kotlin_it_unibo_tuprolog_argumentation_core, kotlin_it_unibo_tuprolog_core, kotlin_it_unibo_tuprolog_solve, kotlin_it_unibo_tuprolog_unify, kotlin_it_unibo_tuprolog_parser_core, kotlin_it_unibo_tuprolog_theory) {
   'use strict';
   //region block: imports
+  var protoOf = kotlin_kotlin.$_$.e8;
+  var initMetadataForObject = kotlin_kotlin.$_$.v7;
+  var defineProp = kotlin_kotlin.$_$.j7;
+  var VOID = kotlin_kotlin.$_$.b;
+  var PrologModule = kotlin_it_unibo_tuprolog_argumentation_core.$_$.i;
+  var listOf = kotlin_kotlin.$_$.f4;
+  var collectionSizeOrDefault = kotlin_kotlin.$_$.x2;
+  var mapCapacity = kotlin_kotlin.$_$.g4;
+  var coerceAtLeast = kotlin_kotlin.$_$.r8;
+  var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.z;
+  var Unit_instance = kotlin_kotlin.$_$.r;
+  var ParserModule_getInstance = kotlin_it_unibo_tuprolog_argumentation_core.$_$.b;
+  var initMetadataForClass = kotlin_kotlin.$_$.r7;
   var Companion_instance = kotlin_it_unibo_tuprolog_core.$_$.p;
-  var ensureNotNull = kotlin_kotlin.$_$.qc;
-  var filter = kotlin_kotlin.$_$.d9;
-  var map = kotlin_kotlin.$_$.q9;
-  var firstOrNull = kotlin_kotlin.$_$.e9;
+  var ensureNotNull = kotlin_kotlin.$_$.uc;
+  var filter = kotlin_kotlin.$_$.k9;
+  var map = kotlin_kotlin.$_$.x9;
+  var firstOrNull = kotlin_kotlin.$_$.l9;
+  var Signature = kotlin_it_unibo_tuprolog_solve.$_$.y3;
+  var arg2pScope = kotlin_it_unibo_tuprolog_argumentation_core.$_$.g;
+  var sequenceOf = kotlin_kotlin.$_$.ea;
+  var get_help = kotlin_it_unibo_tuprolog_solve.$_$.p3;
+  var Helpable = kotlin_it_unibo_tuprolog_solve.$_$.q3;
+  var Companion_instance_0 = kotlin_it_unibo_tuprolog_solve.$_$.e1;
+  var Expected_VARIABLE_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.r;
+  var Var = kotlin_it_unibo_tuprolog_core.$_$.d3;
+  var isInterface = kotlin_kotlin.$_$.y7;
   var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.v;
-  var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_unify.$_$.a;
-  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.$_$.t;
-  var Unit_instance = kotlin_kotlin.$_$.q;
-  var collectionSizeOrDefault = kotlin_kotlin.$_$.s2;
-  var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.s;
-  var plus = kotlin_kotlin.$_$.u4;
-  var addAll = kotlin_kotlin.$_$.g2;
-  var plus_0 = kotlin_kotlin.$_$.t4;
-  var emptyList = kotlin_kotlin.$_$.g3;
-  var to = kotlin_kotlin.$_$.yc;
-  var Companion_instance_1 = kotlin_it_unibo_tuprolog_theory.$_$.b;
-  var parseTheoryWithOperators = kotlin_it_unibo_tuprolog_parser_theory.$_$.c;
-  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.$_$.m;
-  var asSequence = kotlin_kotlin.$_$.p2;
-  var flatMap = kotlin_kotlin.$_$.h9;
-  var toList = kotlin_kotlin.$_$.fa;
+  var joinToString = kotlin_kotlin.$_$.w3;
+  var to = kotlin_kotlin.$_$.dd;
+  var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_core.$_$.u;
+  var first = kotlin_kotlin.$_$.m9;
+  var Halt = kotlin_it_unibo_tuprolog_solve.$_$.z3;
+  var mineActiveGraph = kotlin_it_unibo_tuprolog_argumentation_core.$_$.h;
+  var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_unify.$_$.a;
+  var Companion_instance_1 = kotlin_it_unibo_tuprolog_core.$_$.w;
+  var parseTermWithOperators = kotlin_it_unibo_tuprolog_parser_core.$_$.c;
+  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.u;
+  var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.t;
+  var NoSuchElementException_init_$Create$ = kotlin_kotlin.$_$.v1;
+  var plus = kotlin_kotlin.$_$.a5;
+  var addAll = kotlin_kotlin.$_$.j2;
+  var plus_0 = kotlin_kotlin.$_$.z4;
+  var emptyList = kotlin_kotlin.$_$.l3;
+  var asSequence = kotlin_kotlin.$_$.t2;
+  var flatMap = kotlin_kotlin.$_$.o9;
+  var Companion_instance_2 = kotlin_it_unibo_tuprolog_argumentation_core.$_$.c;
+  var ArgumentLabellingMode_instance = kotlin_it_unibo_tuprolog_argumentation_core.$_$.a;
+  var setOf = kotlin_kotlin.$_$.e5;
+  var Companion_instance_3 = kotlin_it_unibo_tuprolog_theory.$_$.b;
   var Companion_getInstance_2 = kotlin_it_unibo_tuprolog_core.$_$.l;
-  var Collection = kotlin_kotlin.$_$.z1;
-  var isInterface = kotlin_kotlin.$_$.p7;
-  var distinct = kotlin_kotlin.$_$.e3;
-  var arg2pScope = kotlin_it_unibo_tuprolog_argumentation_core.$_$.f;
-  var toList_0 = kotlin_kotlin.$_$.h5;
-  var toString = kotlin_kotlin.$_$.y7;
-  var Default_getInstance = kotlin_kotlin.$_$.l;
-  var nextUInt = kotlin_kotlin.$_$.e8;
-  var UInt = kotlin_kotlin.$_$.nc;
-  var Signature = kotlin_it_unibo_tuprolog_solve.$_$.w3;
-  var protoOf = kotlin_kotlin.$_$.v7;
-  var VOID = kotlin_kotlin.$_$.b;
-  var sequenceOf = kotlin_kotlin.$_$.x9;
-  var get_help = kotlin_it_unibo_tuprolog_solve.$_$.n3;
-  var Helpable = kotlin_it_unibo_tuprolog_solve.$_$.o3;
-  var initMetadataForClass = kotlin_kotlin.$_$.i7;
-  var Companion_instance_2 = kotlin_it_unibo_tuprolog_solve.$_$.c1;
-  var Expected_VARIABLE_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.o;
-  var Var = kotlin_it_unibo_tuprolog_core.$_$.d3;
-  var mineActiveGraph = kotlin_it_unibo_tuprolog_argumentation_core.$_$.l;
-  var Arg2pSolverFactory_instance = kotlin_it_unibo_tuprolog_argumentation_core.$_$.e;
-  var FlagsBuilder = kotlin_it_unibo_tuprolog_argumentation_core.$_$.g;
-  var Companion_instance_3 = kotlin_it_unibo_tuprolog_argumentation_core.$_$.d;
-  var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.x;
-  var Companion_instance_4 = kotlin_it_unibo_tuprolog_argumentation_core.$_$.b;
-  var Companion_instance_5 = kotlin_it_unibo_tuprolog_argumentation_core.$_$.c;
-  var Companion_getInstance_3 = kotlin_it_unibo_tuprolog_core.$_$.i;
-  var replace = kotlin_kotlin.$_$.db;
-  var listOf = kotlin_kotlin.$_$.z3;
-  var Companion_getInstance_4 = kotlin_it_unibo_tuprolog_solve.$_$.i1;
-  var mapCapacity = kotlin_kotlin.$_$.a4;
-  var coerceAtLeast = kotlin_kotlin.$_$.j8;
-  var LinkedHashMap_init_$Create$_0 = kotlin_kotlin.$_$.w;
-  var content = kotlin_it_unibo_tuprolog_argumentation_core.$_$.h;
-  var ArgLibrary = kotlin_it_unibo_tuprolog_argumentation_core.$_$.i;
-  var Loadable = kotlin_it_unibo_tuprolog_argumentation_core.$_$.j;
+  var Companion_getInstance_3 = kotlin_it_unibo_tuprolog_core.$_$.k;
+  var toList = kotlin_kotlin.$_$.la;
+  var Collection = kotlin_kotlin.$_$.c2;
+  var distinct = kotlin_kotlin.$_$.j3;
+  var RuleAnnotations_getInstance = kotlin_it_unibo_tuprolog_argumentation_core.$_$.d;
+  var Arg2pSolverFactory_instance = kotlin_it_unibo_tuprolog_argumentation_core.$_$.f;
+  var FlagsBuilder = kotlin_it_unibo_tuprolog_argumentation_core.$_$.j;
+  var Companion_instance_4 = kotlin_it_unibo_tuprolog_argumentation_core.$_$.e;
+  var LinkedHashMap_init_$Create$_0 = kotlin_kotlin.$_$.a1;
   //endregion
   //region block: pre-declaration
-  initMetadataForClass(CausalityCheckCauseButFor, 'CausalityCheckCauseButFor', VOID, VOID, [Helpable]);
-  initMetadataForClass(CausalityCheckInterventionICAIL24, 'CausalityCheckInterventionICAIL24', VOID, VOID, [Helpable]);
-  initMetadataForClass(CausalityCheckCauseICAIL24, 'CausalityCheckCauseICAIL24', VOID, VOID, [Helpable]);
-  initMetadataForClass(CausalityCheckInterventionICAIL25, 'CausalityCheckInterventionICAIL25', VOID, VOID, [Helpable]);
-  initMetadataForClass(CausalityCheckCauseICAIL25, 'CausalityCheckCauseICAIL25', VOID, VOID, [Helpable]);
-  initMetadataForClass(CausalitySolver, 'CausalitySolver', CausalitySolver, VOID, [ArgLibrary, Loadable]);
+  initMetadataForObject(JsCausality, 'JsCausality');
+  initMetadataForClass(CausalityModule, 'CausalityModule', CausalityModule, PrologModule);
+  initMetadataForClass(ButFor, 'ButFor', VOID, VOID, [Helpable]);
+  initMetadataForClass(Ness, 'Ness', VOID, VOID, [Helpable]);
+  initMetadataForClass(NessIntervention, 'NessIntervention', VOID, VOID, [Helpable]);
+  initMetadataForClass(NessOriginal, 'NessOriginal', VOID, VOID, [Helpable]);
+  initMetadataForClass(NessOriginalIntervention, 'NessOriginalIntervention', VOID, VOID, [Helpable]);
+  initMetadataForClass(CausalityAnalysis, 'CausalityAnalysis', CausalityAnalysis);
   //endregion
-  function CausalitySolver$CausalityCheckCauseButFor$solve$lambda$lambda(it) {
-    return it.e1z();
+  function JsCausality() {
   }
-  function CausalitySolver$CausalityCheckCauseButFor$solve$lambda$lambda_0($this_arg2pScope) {
-    return function (it) {
-      return Companion_instance.of([ensureNotNull(it.u1x().l2($this_arg2pScope.p1j()))]);
-    };
+  protoOf(JsCausality).module = function () {
+    return new CausalityModule();
+  };
+  var JsCausality_instance;
+  function JsCausality_getInstance() {
+    return JsCausality_instance;
+  }
+  function CausalityModule() {
+    PrologModule.call(this, 'prolog.argumentation.causality.solver', 'causality');
+    this.a57_1 = new CausalityAnalysis();
+    this.b57_1 = '%! subsets(?List, ?Subset)\n%  Subset is each subset of List, its elements in their order.\nsubsets([], []).\nsubsets([H|T], [H|NT]) :- subsets(T, NT).\nsubsets([_|T], NT) :- subsets(T, NT).\n\n%! properSubsets(+List, -Subset)\n%  Subset is each subset of List other than the empty one and List itself.\nproperSubsets(L, S) :-\n    subsets(L, S),\n    S \\= [],\n    S \\= L.\n\n%! generateInterventions(+Rules, +Cause, -Intervention)\n%  Intervention is each change of the theory removing Cause: its complement, the undercut of Cause (a rule,\n%  unless it is negated), or the complement with a set of the premises of the rules not among Rules (the top\n%  rules of the graph of the effect).\ngenerateInterventions(_, S, [CS]) :-\n    compl(S, CS).\ngenerateInterventions(_, S, [undercut(S)]) :-\n    S \\= -_.\ngenerateInterventions(R, S, SUP) :-\n    parser:::convertAllRules(_),\n    compl(S, CS),\n    unusedPremises(R, UP), !,\n    subsets(UP, SUP),\n    member(CS, SUP),\n    SUP \\= [].\n\n%! compl(?Statement, ?Complement)\n%  Complement is the complement of Statement (-X for X, X for -X).\ncompl(-X, X) :- !.\ncompl(X, -X).\n\n%! unusedPremises(+Rules, -Premises)\n%  Premises are those of the rules of the theory not among Rules.\nunusedPremises(R, UP) :-\n    findall(P, (parser::rule(Id, P, _), \\+ member(Id, R), ground(Id)), RR),\n    utils::appendLists(RR, UP).';
+  }
+  protoOf(CausalityModule).u2i = function () {
+    // Inline function 'kotlin.collections.associateBy' call
+    var this_0 = listOf([new Ness(this.a57_1), new NessIntervention(this.a57_1), new NessOriginal(this.a57_1), new NessOriginalIntervention(this.a57_1), new ButFor(this.a57_1)]);
+    var capacity = coerceAtLeast(mapCapacity(collectionSizeOrDefault(this_0, 10)), 16);
+    // Inline function 'kotlin.collections.associateByTo' call
+    var destination = LinkedHashMap_init_$Create$(capacity);
+    var _iterator__ex2g4s = this_0.n();
+    while (_iterator__ex2g4s.q()) {
+      var element = _iterator__ex2g4s.r();
+      var tmp$ret$2 = element.t1x();
+      destination.t4(tmp$ret$2, element);
+    }
+    return destination;
+  };
+  protoOf(CausalityModule).w44 = function () {
+    return protoOf(PrologModule).w44.call(this).plusOperatorSet(ParserModule_getInstance().i44());
+  };
+  protoOf(CausalityModule).d4k = function () {
+    return this.b57_1;
+  };
+  function ButFor$solve$lambda$lambda(it) {
+    return it.n1z();
   }
-  function CausalitySolver$CausalityCheckCauseButFor$solve$lambda$lambda_1(this$0, $request, $effect) {
+  function ButFor$solve$lambda$lambda_0(this$0, $request, $this_arg2pScope, $effect) {
     return function (it) {
-      return checkButFor(this$0, $request, it, $effect);
+      return this$0.c57_1.h57($request, Companion_instance.of([ensureNotNull(it.d1y().k2($this_arg2pScope.x1j()))]), $effect);
     };
   }
-  function CausalitySolver$CausalityCheckCauseButFor$solve$lambda($request, $cause, this$0, $effect) {
+  function ButFor$solve$lambda($request, $cause, this$0, $effect) {
     return function ($this$arg2pScope) {
-      var tmp = $request.solve($this$arg2pScope.stringInvoke('compl', $cause, [$this$arg2pScope.p1j()]));
-      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)));
+      var tmp = $request.solve($this$arg2pScope.stringInvoke('compl', $cause, [$this$arg2pScope.x1j()]));
+      var tmp_0 = filter(tmp, ButFor$solve$lambda$lambda);
+      var tmp0_elvis_lhs = firstOrNull(map(tmp_0, ButFor$solve$lambda$lambda_0(this$0, $request, $this$arg2pScope, $effect)));
       return tmp0_elvis_lhs == null ? false : tmp0_elvis_lhs;
     };
   }
-  function CausalitySolver$CausalityCheckCauseICAIL24$solve$lambda(this$0, $request, $effect) {
-    return function (it) {
-      return checkCausalityICAIL24(this$0, $request, it, $effect);
-    };
+  function ButFor(analysis) {
+    this.c57_1 = analysis;
+    this.d57_1 = new Signature('but_for', 2);
   }
-  function CausalitySolver$CausalityCheckCauseICAIL24$solve$lambda_0($intervention) {
-    return function (it) {
-      return Companion_getInstance().of($intervention, it);
-    };
+  protoOf(ButFor).t1x = function () {
+    return this.d57_1;
+  };
+  protoOf(ButFor).o2m = function (request) {
+    var _destruct__k2r9zo = request.arguments;
+    // Inline function 'kotlin.collections.component1' call
+    var cause = _destruct__k2r9zo.x(0);
+    // Inline function 'kotlin.collections.component2' call
+    var effect = _destruct__k2r9zo.x(1);
+    var tmp;
+    if (this.c57_1.i57(request, cause)) {
+      tmp = arg2pScope(ButFor$solve$lambda(request, cause, this, effect));
+    } else {
+      tmp = false;
+    }
+    var holds = tmp;
+    return sequenceOf(request.replyWithCondition(holds, VOID, []));
+  };
+  protoOf(ButFor).solve = function (request) {
+    return this.o2m(request);
+  };
+  function Ness(analysis) {
+    this.j57_1 = analysis;
+    this.k57_1 = new Signature('ness', 3);
   }
-  function CausalitySolver$CausalityCheckCauseICAIL25$solve$lambda(this$0, $request, $effect) {
-    return function (it) {
-      return checkCausalityICAIL25(this$0, $request, it, $effect);
-    };
+  protoOf(Ness).t1x = function () {
+    return this.k57_1;
+  };
+  protoOf(Ness).o2m = function (request) {
+    var _destruct__k2r9zo = request.arguments;
+    // Inline function 'kotlin.collections.component1' call
+    var intervention = _destruct__k2r9zo.x(0);
+    // Inline function 'kotlin.collections.component2' call
+    var cause = _destruct__k2r9zo.x(1);
+    // Inline function 'kotlin.collections.component3' call
+    var effect = _destruct__k2r9zo.x(2);
+    if (!isInterface(intervention, Var)) {
+      throw Companion_instance_0.forGoal(request.context, request.signature, Expected_VARIABLE_getInstance(), intervention);
+    }
+    var tmp;
+    if (this.j57_1.i57(request, cause)) {
+      var tmp0 = this.j57_1.l57(request, cause, effect);
+      var tmp$ret$3;
+      $l$block: {
+        // Inline function 'kotlin.sequences.firstOrNull' call
+        var _iterator__ex2g4s = tmp0.n();
+        while (_iterator__ex2g4s.q()) {
+          var element = _iterator__ex2g4s.r();
+          if (this.j57_1.m57(request, element, effect)) {
+            tmp$ret$3 = element;
+            break $l$block;
+          }
+        }
+        tmp$ret$3 = null;
+      }
+      tmp = tmp$ret$3;
+    } else {
+      tmp = null;
+    }
+    var found = tmp;
+    var tmp_0;
+    if (found == null) {
+      tmp_0 = null;
+    } else {
+      // Inline function 'kotlin.let' call
+      tmp_0 = Companion_getInstance().of(intervention, found);
+    }
+    var tmp1_elvis_lhs = tmp_0;
+    return sequenceOf(request.replyWith(tmp1_elvis_lhs == null ? Companion_getInstance().failed() : tmp1_elvis_lhs, VOID, []));
+  };
+  protoOf(Ness).solve = function (request) {
+    return this.o2m(request);
+  };
+  function NessIntervention(analysis) {
+    this.n57_1 = analysis;
+    this.o57_1 = new Signature('ness_intervention', 2);
   }
-  function CausalitySolver$CausalityCheckCauseICAIL25$solve$lambda_0($intervention) {
-    return function (it) {
-      return Companion_getInstance().of($intervention, it);
-    };
+  protoOf(NessIntervention).t1x = function () {
+    return this.o57_1;
+  };
+  protoOf(NessIntervention).o2m = function (request) {
+    var _destruct__k2r9zo = request.arguments;
+    // Inline function 'kotlin.collections.component1' call
+    var intervention = _destruct__k2r9zo.x(0);
+    // Inline function 'kotlin.collections.component2' call
+    var effect = _destruct__k2r9zo.x(1);
+    return sequenceOf(request.replyWithCondition(this.n57_1.m57(request, intervention.castToList(), effect), VOID, []));
+  };
+  protoOf(NessIntervention).solve = function (request) {
+    return this.o2m(request);
+  };
+  function NessOriginal(analysis) {
+    this.p57_1 = analysis;
+    this.q57_1 = new Signature('ness_original', 3);
+  }
+  protoOf(NessOriginal).t1x = function () {
+    return this.q57_1;
+  };
+  protoOf(NessOriginal).o2m = function (request) {
+    var _destruct__k2r9zo = request.arguments;
+    // Inline function 'kotlin.collections.component1' call
+    var intervention = _destruct__k2r9zo.x(0);
+    // Inline function 'kotlin.collections.component2' call
+    var cause = _destruct__k2r9zo.x(1);
+    // Inline function 'kotlin.collections.component3' call
+    var effect = _destruct__k2r9zo.x(2);
+    if (!isInterface(intervention, Var)) {
+      throw Companion_instance_0.forGoal(request.context, request.signature, Expected_VARIABLE_getInstance(), intervention);
+    }
+    var tmp0 = this.p57_1.l57(request, cause, effect);
+    var tmp$ret$3;
+    $l$block: {
+      // Inline function 'kotlin.sequences.firstOrNull' call
+      var _iterator__ex2g4s = tmp0.n();
+      while (_iterator__ex2g4s.q()) {
+        var element = _iterator__ex2g4s.r();
+        if (this.p57_1.r57(request, element, effect)) {
+          tmp$ret$3 = element;
+          break $l$block;
+        }
+      }
+      tmp$ret$3 = null;
+    }
+    var found = tmp$ret$3;
+    var tmp;
+    if (found == null) {
+      tmp = null;
+    } else {
+      // Inline function 'kotlin.let' call
+      tmp = Companion_getInstance().of(intervention, found);
+    }
+    var tmp1_elvis_lhs = tmp;
+    return sequenceOf(request.replyWith(tmp1_elvis_lhs == null ? Companion_getInstance().failed() : tmp1_elvis_lhs, VOID, []));
+  };
+  protoOf(NessOriginal).solve = function (request) {
+    return this.o2m(request);
+  };
+  function NessOriginalIntervention(analysis) {
+    this.s57_1 = analysis;
+    this.t57_1 = new Signature('ness_original_intervention', 2);
+  }
+  protoOf(NessOriginalIntervention).t1x = function () {
+    return this.t57_1;
+  };
+  protoOf(NessOriginalIntervention).o2m = function (request) {
+    var _destruct__k2r9zo = request.arguments;
+    // Inline function 'kotlin.collections.component1' call
+    var intervention = _destruct__k2r9zo.x(0);
+    // Inline function 'kotlin.collections.component2' call
+    var effect = _destruct__k2r9zo.x(1);
+    return sequenceOf(request.replyWithCondition(this.s57_1.r57(request, intervention.castToList(), effect), VOID, []));
+  };
+  protoOf(NessOriginalIntervention).solve = function (request) {
+    return this.o2m(request);
+  };
+  function graphOf($this, theory, query) {
+    var tmp = theory.toStringAsProlog(true);
+    var text = tmp + joinToString(theory, ',', VOID, VOID, VOID, VOID, CausalityAnalysis$graphOf$lambda);
+    var key = to(text, query.toString());
+    var tmp0_safe_receiver = $this.g57_1.k2(key);
+    if (tmp0_safe_receiver == null)
+      null;
+    else {
+      // Inline function 'kotlin.let' call
+      return tmp0_safe_receiver;
+    }
+    if ($this.g57_1.s() >= 256) {
+      $this.g57_1.n3();
+    }
+    $this.e57_1.resetStaticKb();
+    $this.e57_1.loadStaticKb(theory);
+    var solution = first($this.e57_1.solve(Companion_getInstance_0().of('answerQuery', [query])));
+    if (isInterface(solution, Halt))
+      throw solution.z1z();
+    // Inline function 'kotlin.also' call
+    var this_0 = mineActiveGraph($this.e57_1);
+    // Inline function 'kotlin.collections.set' call
+    $this.g57_1.t4(key, this_0);
+    return this_0;
   }
-  function equalTerms($this, a, b) {
-    return Companion_getInstance_0().s1n().match(parseTerm(Companion_instance_0, a), parseTerm(Companion_instance_0, b));
+  function concludes($this, argument, statement) {
+    return Companion_getInstance_1().b1o().match(parseTermWithOperators(Companion_instance_1, argument.r4h_1, $this.f57_1), statement);
   }
-  function attackers($this, x, graph) {
+  function attackers($this, argument, graph) {
     // Inline function 'kotlin.collections.filter' call
-    var tmp0 = graph.e4s_1;
+    var tmp0 = graph.m4h_1;
     // Inline function 'kotlin.collections.filterTo' call
     var destination = ArrayList_init_$Create$();
     var _iterator__ex2g4s = tmp0.n();
     while (_iterator__ex2g4s.q()) {
       var element = _iterator__ex2g4s.r();
-      if (element.y4r_1.n4r_1 === x.n4r_1) {
+      if (element.d4i_1.x4h_1 === argument.x4h_1) {
         destination.l(element);
       }
     }
@@ -168,59 +356,57 @@
     var _iterator__ex2g4s_0 = destination.n();
     while (_iterator__ex2g4s_0.q()) {
       var item = _iterator__ex2g4s_0.r();
-      // Inline function 'kotlin.collections.find' call
-      var tmp0_0 = graph.g4s_1;
-      var tmp$ret$7;
+      var tmp0_0 = graph.o4h_1;
+      var tmp$ret$6;
       $l$block: {
-        // Inline function 'kotlin.collections.firstOrNull' call
+        // Inline function 'kotlin.collections.first' call
         var _iterator__ex2g4s_1 = tmp0_0.n();
         while (_iterator__ex2g4s_1.q()) {
           var element_0 = _iterator__ex2g4s_1.r();
-          if (item.x4r_1.n4r_1 === element_0.b4s_1.n4r_1) {
-            tmp$ret$7 = element_0;
+          if (item.c4i_1.x4h_1 === element_0.z4h_1.x4h_1) {
+            tmp$ret$6 = element_0;
             break $l$block;
           }
         }
-        tmp$ret$7 = null;
+        throw NoSuchElementException_init_$Create$('Collection contains no element matching the predicate.');
       }
-      var tmp$ret$6 = tmp$ret$7;
-      var tmp$ret$5 = ensureNotNull(tmp$ret$6);
+      var tmp$ret$5 = tmp$ret$6;
       destination_0.l(tmp$ret$5);
     }
     return destination_0;
   }
-  function supporters($this, x, graph, chain) {
+  function supporters($this, argument, graph, chain) {
     var tmp;
-    if (chain.s(x.n4r_1)) {
+    if (chain.z(argument.x4h_1)) {
       tmp = emptyList();
     } else {
       // Inline function 'kotlin.collections.filter' call
-      var tmp0 = graph.g4s_1;
+      var tmp0 = graph.o4h_1;
       // Inline function 'kotlin.collections.filterTo' call
       var destination = ArrayList_init_$Create$();
       var _iterator__ex2g4s = tmp0.n();
       while (_iterator__ex2g4s.q()) {
         var element = _iterator__ex2g4s.r();
-        if (x.n4r_1 === element.b4s_1.n4r_1 && element.c4s_1 === 'in') {
+        if (argument.x4h_1 === element.z4h_1.x4h_1 && element.a4i_1 === 'in') {
           destination.l(element);
         }
       }
       var tmp_0 = destination;
       // Inline function 'kotlin.collections.flatMap' call
-      var tmp0_0 = attackers($this, x, graph);
+      var tmp0_0 = attackers($this, argument, graph);
       // Inline function 'kotlin.collections.flatMapTo' call
       var destination_0 = ArrayList_init_$Create$();
       var _iterator__ex2g4s_0 = tmp0_0.n();
       while (_iterator__ex2g4s_0.q()) {
         var element_0 = _iterator__ex2g4s_0.r();
         // Inline function 'kotlin.collections.filter' call
-        var tmp0_1 = attackers($this, element_0.b4s_1, graph);
+        var tmp0_1 = attackers($this, element_0.z4h_1, graph);
         // Inline function 'kotlin.collections.filterTo' call
         var destination_1 = ArrayList_init_$Create$();
         var _iterator__ex2g4s_1 = tmp0_1.n();
         while (_iterator__ex2g4s_1.q()) {
           var element_1 = _iterator__ex2g4s_1.r();
-          if (!(element_1.b4s_1.n4r_1 === x.n4r_1)) {
+          if (!(element_1.z4h_1.x4h_1 === argument.x4h_1)) {
             destination_1.l(element_1);
           }
         }
@@ -230,7 +416,7 @@
         var _iterator__ex2g4s_2 = destination_1.n();
         while (_iterator__ex2g4s_2.q()) {
           var element_2 = _iterator__ex2g4s_2.r();
-          var list = supporters($this, element_2.b4s_1, graph, plus(chain, x.n4r_1));
+          var list = supporters($this, element_2.z4h_1, graph, plus(chain, argument.x4h_1));
           addAll(destination_2, list);
         }
         var list_0 = destination_2;
@@ -240,43 +426,41 @@
     }
     return tmp;
   }
-  function solveFresh($this, effect, kb) {
-    var theory = kb.toStringAsProlog(true);
-    var tmp0_safe_receiver = $this.p4v_1.l2(to(theory, effect));
-    if (tmp0_safe_receiver == null)
-      null;
-    else {
-      // Inline function 'kotlin.let' call
-      return tmp0_safe_receiver;
+  function supports($this, graph, effect) {
+    var tmp = asSequence(graph.o4h_1);
+    var tmp_0 = filter(tmp, CausalityAnalysis$supports$lambda($this, effect));
+    var tmp_1 = flatMap(tmp_0, CausalityAnalysis$supports$lambda_0($this, graph));
+    return map(tmp_1, CausalityAnalysis$supports$lambda_1);
+  }
+  function theory($this, request) {
+    var theory = request.context.j1y();
+    var tmp0_elvis_lhs = Companion_instance_2.u4x(request.context);
+    var tmp;
+    if (tmp0_elvis_lhs == null) {
+      return theory;
+    } else {
+      tmp = tmp0_elvis_lhs;
     }
-    if ($this.p4v_1.t() >= 256) {
-      $this.p4v_1.n3();
+    var settings = tmp;
+    var except = setOf(ArgumentLabellingMode_instance.d4h());
+    var tmp_0 = Companion_instance_3;
+    var tmp_1 = theory.i1o();
+    // Inline function 'kotlin.collections.filterNot' call
+    var tmp0 = theory.s1o();
+    // Inline function 'kotlin.collections.filterNotTo' call
+    var destination = ArrayList_init_$Create$();
+    var _iterator__ex2g4s = tmp0.n();
+    while (_iterator__ex2g4s.q()) {
+      var element = _iterator__ex2g4s.r();
+      if (!settings.u56(element)) {
+        destination.l(element);
+      }
     }
-    $this.n4v_1.resetStaticKb();
-    $this.n4v_1.loadStaticKb(parseTheoryWithOperators(Companion_instance_1, theory, $this.o4v_1));
-    var tmp = $this.n4v_1.solve(parseStruct(Companion_getInstance_1(), 'answerQuery(' + effect + ')'));
-    var tmp1_elvis_lhs = firstOrNull(map(tmp, CausalitySolver$solveFresh$lambda($this)));
-    // Inline function 'kotlin.also' call
-    var this_0 = tmp1_elvis_lhs == null ? new Graph(emptyList(), emptyList(), emptyList()) : tmp1_elvis_lhs;
-    var tmp0 = $this.p4v_1;
-    // Inline function 'kotlin.collections.set' call
-    var key = to(theory, effect);
-    tmp0.t4(key, this_0);
-    return this_0;
-  }
-  function getSupports($this, graph, effect) {
-    var tmp = asSequence(graph.g4s_1);
-    var tmp_0 = filter(tmp, CausalitySolver$getSupports$lambda($this, effect));
-    var tmp_1 = flatMap(tmp_0, CausalitySolver$getSupports$lambda_0($this, graph));
-    return map(tmp_1, CausalitySolver$getSupports$lambda_1);
+    return tmp_0.ofIterable(tmp_1, plus_0(destination, settings.t56(request.context, except)));
   }
-  function checkBaseTheory($this, request, effect) {
-    // Inline function 'kotlin.let' call
-    var it = solveFresh($this, effect, request.context.a1y());
-    var tmp = getSupports($this, it, effect);
-    return toList(map(tmp, CausalitySolver$checkBaseTheory$lambda));
-  }
-  function checkIntervention($this, request, intervention, support, effect) {
+  function intervened($this, request, intervention) {
+    var tmp = theory($this, request);
+    var tmp_0 = Companion_instance_3;
     // Inline function 'kotlin.collections.map' call
     var this_0 = intervention.toList();
     // Inline function 'kotlin.collections.mapTo' call
@@ -284,100 +468,194 @@
     var _iterator__ex2g4s = this_0.n();
     while (_iterator__ex2g4s.q()) {
       var item = _iterator__ex2g4s.r();
-      var tmp$ret$2 = Companion_getInstance_2().of(parseStruct(Companion_getInstance_1(), ':->(fk' + (item.hashCode() & 2147483647) + ', ' + item.toString() + ')'), []);
+      var tmp$ret$2 = Companion_getInstance_2().of(Companion_getInstance_0().of(':->', [Companion_getInstance_3().of('fk' + (item.hashCode() & 2147483647)), item]), []);
       destination.l(tmp$ret$2);
     }
+    return tmp.plusTheory(tmp_0.ofIterableWithDefaultUnificator(destination));
+  }
+  function baseSupports($this, request, effect) {
+    var tmp = supports($this, graphOf($this, theory($this, request), effect), effect);
+    return toList(map(tmp, CausalityAnalysis$baseSupports$lambda));
+  }
+  function interventionAttackers($this, request, intervention, supports, effect) {
     // Inline function 'kotlin.let' call
-    // Inline function 'kotlin.let' call
-    var naf = solveFresh($this, effect, request.context.a1y().plusTheory(Companion_instance_1.ofIterableWithDefaultUnificator(destination)));
+    var graph = graphOf($this, intervened($this, request, intervention), effect);
     // Inline function 'kotlin.collections.filter' call
-    var tmp0 = naf.g4s_1;
+    var tmp0 = graph.o4h_1;
     // Inline function 'kotlin.collections.filterTo' call
-    var destination_0 = ArrayList_init_$Create$();
-    var _iterator__ex2g4s_0 = tmp0.n();
-    while (_iterator__ex2g4s_0.q()) {
-      var element = _iterator__ex2g4s_0.r();
-      if (element.c4s_1 === 'out' || element.c4s_1 === 'und') {
-        destination_0.l(element);
+    var destination = ArrayList_init_$Create$();
+    var _iterator__ex2g4s = tmp0.n();
+    while (_iterator__ex2g4s.q()) {
+      var element = _iterator__ex2g4s.r();
+      if (element.a4i_1 === 'out' || element.a4i_1 === 'und') {
+        destination.l(element);
       }
     }
     // Inline function 'kotlin.collections.filter' call
     // Inline function 'kotlin.collections.filterTo' call
-    var destination_1 = ArrayList_init_$Create$();
-    var _iterator__ex2g4s_1 = destination_0.n();
-    while (_iterator__ex2g4s_1.q()) {
-      var element_0 = _iterator__ex2g4s_1.r();
-      var tmp$ret$13;
+    var destination_0 = ArrayList_init_$Create$();
+    var _iterator__ex2g4s_0 = destination.n();
+    while (_iterator__ex2g4s_0.q()) {
+      var element_0 = _iterator__ex2g4s_0.r();
+      var tmp$ret$8;
       $l$block_0: {
         // Inline function 'kotlin.collections.any' call
         var tmp;
-        if (isInterface(support, Collection)) {
-          tmp = support.i();
+        if (isInterface(supports, Collection)) {
+          tmp = supports.i();
         } else {
           tmp = false;
         }
         if (tmp) {
-          tmp$ret$13 = false;
+          tmp$ret$8 = false;
           break $l$block_0;
         }
-        var _iterator__ex2g4s_2 = support.n();
-        while (_iterator__ex2g4s_2.q()) {
-          var element_1 = _iterator__ex2g4s_2.r();
-          if (Companion_getInstance_0().s1n().match(element_0.b4s_1.p4r(), element_1)) {
-            tmp$ret$13 = true;
+        var _iterator__ex2g4s_1 = supports.n();
+        while (_iterator__ex2g4s_1.q()) {
+          var element_1 = _iterator__ex2g4s_1.r();
+          if (Companion_getInstance_1().b1o().match(element_0.z4h_1.h4j(), element_1)) {
+            tmp$ret$8 = true;
             break $l$block_0;
           }
         }
-        tmp$ret$13 = false;
+        tmp$ret$8 = false;
       }
-      if (tmp$ret$13) {
-        destination_1.l(element_0);
+      if (tmp$ret$8) {
+        destination_0.l(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.n();
-    while (_iterator__ex2g4s_3.q()) {
-      var element_2 = _iterator__ex2g4s_3.r();
+    var destination_1 = ArrayList_init_$Create$();
+    var _iterator__ex2g4s_2 = destination_0.n();
+    while (_iterator__ex2g4s_2.q()) {
+      var element_2 = _iterator__ex2g4s_2.r();
       // Inline function 'kotlin.collections.filter' call
-      var tmp0_0 = attackers($this, element_2.b4s_1, naf);
+      var tmp0_0 = attackers($this, element_2.z4h_1, graph);
       // Inline function 'kotlin.collections.filterTo' call
-      var destination_3 = ArrayList_init_$Create$();
-      var _iterator__ex2g4s_4 = tmp0_0.n();
-      while (_iterator__ex2g4s_4.q()) {
-        var element_3 = _iterator__ex2g4s_4.r();
-        if (element_3.c4s_1 === 'in') {
-          destination_3.l(element_3);
+      var destination_2 = ArrayList_init_$Create$();
+      var _iterator__ex2g4s_3 = tmp0_0.n();
+      while (_iterator__ex2g4s_3.q()) {
+        var element_3 = _iterator__ex2g4s_3.r();
+        if (element_3.a4i_1 === 'in') {
+          destination_2.l(element_3);
         }
       }
-      var list = destination_3;
-      addAll(destination_2, list);
+      var list = destination_2;
+      addAll(destination_1, 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.n();
-    while (_iterator__ex2g4s_5.q()) {
-      var item_0 = _iterator__ex2g4s_5.r();
-      var tmp$ret$23 = item_0.b4s_1;
-      destination_4.l(tmp$ret$23);
+    var destination_3 = ArrayList_init_$Create$_0(collectionSizeOrDefault(destination_1, 10));
+    var _iterator__ex2g4s_4 = destination_1.n();
+    while (_iterator__ex2g4s_4.q()) {
+      var item = _iterator__ex2g4s_4.r();
+      var tmp$ret$18 = item.z4h_1;
+      destination_3.l(tmp$ret$18);
     }
-    return distinct(destination_4);
+    return distinct(destination_3);
+  }
+  function properSubsets($this, request, intervention) {
+    return arg2pScope(CausalityAnalysis$properSubsets$lambda(request, intervention));
+  }
+  function CausalityAnalysis$graphOf$lambda(it) {
+    // Inline function 'kotlin.text.orEmpty' call
+    var tmp0_elvis_lhs = RuleAnnotations_getInstance().k4z(it);
+    return tmp0_elvis_lhs == null ? '' : tmp0_elvis_lhs;
+  }
+  function CausalityAnalysis$supports$lambda(this$0, $effect) {
+    return function (it) {
+      return concludes(this$0, it.z4h_1, $effect);
+    };
+  }
+  function CausalityAnalysis$supports$lambda_0(this$0, $graph) {
+    return function (it) {
+      return supporters(this$0, it.z4h_1, $graph, emptyList());
+    };
+  }
+  function CausalityAnalysis$supports$lambda_1(it) {
+    return it.z4h_1;
+  }
+  function CausalityAnalysis$baseSupports$lambda(it) {
+    return it.h4j();
+  }
+  function CausalityAnalysis$properSubsets$lambda$lambda(it) {
+    return it.n1z();
+  }
+  function CausalityAnalysis$properSubsets$lambda$lambda_0($this_arg2pScope) {
+    return function (it) {
+      return ensureNotNull(it.d1y().k2($this_arg2pScope.x1j())).castToList();
+    };
+  }
+  function CausalityAnalysis$properSubsets$lambda($request, $intervention) {
+    return function ($this$arg2pScope) {
+      var tmp = $request.solve($this$arg2pScope.stringInvoke('properSubsets', $intervention, [$this$arg2pScope.x1j()]));
+      var tmp_0 = filter(tmp, CausalityAnalysis$properSubsets$lambda$lambda);
+      return toList(map(tmp_0, CausalityAnalysis$properSubsets$lambda$lambda_0($this$arg2pScope)));
+    };
+  }
+  function CausalityAnalysis$interventions$lambda$lambda(it) {
+    return it.n1z();
+  }
+  function CausalityAnalysis$interventions$lambda$lambda_0($this_arg2pScope) {
+    return function (it) {
+      return ensureNotNull(it.d1y().k2($this_arg2pScope.x1j())).castToList();
+    };
   }
-  function getSubsets($this, request, intervention) {
-    return arg2pScope(CausalitySolver$getSubsets$lambda(request, intervention));
+  function CausalityAnalysis$interventions$lambda($request, $rules, $cause) {
+    return function ($this$arg2pScope) {
+      var tmp = $request.solve($this$arg2pScope.stringInvoke('generateInterventions', $rules, [$cause, $this$arg2pScope.x1j()]));
+      var tmp_0 = filter(tmp, CausalityAnalysis$interventions$lambda$lambda);
+      return map(tmp_0, CausalityAnalysis$interventions$lambda$lambda_0($this$arg2pScope));
+    };
   }
-  function getInterventions($this, request, cause, effect) {
-    var tmp = Companion_instance_0;
+  function CausalityAnalysis() {
+    var tmp = this;
+    var tmp_0 = Arg2pSolverFactory_instance;
+    var tmp0_graphExtensions = emptyList();
+    tmp.e57_1 = tmp_0.z44(VOID, (new FlagsBuilder(VOID, VOID, VOID, VOID, VOID, 'grounded', VOID, VOID, VOID, VOID, tmp0_graphExtensions)).n45());
+    this.f57_1 = Companion_instance_4.u44().i44();
+    var tmp_1 = this;
+    // Inline function 'kotlin.collections.mutableMapOf' call
+    tmp_1.g57_1 = LinkedHashMap_init_$Create$_0();
+  }
+  protoOf(CausalityAnalysis).i57 = function (request, statement) {
+    var tmp0 = graphOf(this, theory(this, request), statement).o4h_1;
+    var tmp$ret$0;
+    $l$block_0: {
+      // Inline function 'kotlin.collections.any' call
+      var tmp;
+      if (isInterface(tmp0, Collection)) {
+        tmp = tmp0.i();
+      } else {
+        tmp = false;
+      }
+      if (tmp) {
+        tmp$ret$0 = false;
+        break $l$block_0;
+      }
+      var _iterator__ex2g4s = tmp0.n();
+      while (_iterator__ex2g4s.q()) {
+        var element = _iterator__ex2g4s.r();
+        if (element.a4i_1 === 'in' && concludes(this, element.z4h_1, statement)) {
+          tmp$ret$0 = true;
+          break $l$block_0;
+        }
+      }
+      tmp$ret$0 = false;
+    }
+    return tmp$ret$0;
+  };
+  protoOf(CausalityAnalysis).l57 = function (request, cause, effect) {
+    var tmp = Companion_instance;
     // Inline function 'kotlin.collections.map' call
-    var this_0 = solveFresh($this, effect, request.context.a1y()).d4s_1;
+    var this_0 = graphOf(this, theory(this, request), effect).l4h_1;
     // Inline function 'kotlin.collections.mapTo' call
     var destination = ArrayList_init_$Create$_0(collectionSizeOrDefault(this_0, 10));
     var _iterator__ex2g4s = this_0.n();
     while (_iterator__ex2g4s.q()) {
       var item = _iterator__ex2g4s.r();
-      var tmp$ret$2 = item.g4r_1;
+      var tmp$ret$2 = item.q4h_1;
       destination.l(tmp$ret$2);
     }
     // Inline function 'kotlin.collections.filter' call
@@ -390,22 +668,31 @@
         destination_0.l(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);
+    // 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.n();
+    while (_iterator__ex2g4s_1.q()) {
+      var item_0 = _iterator__ex2g4s_1.r();
+      var tmp$ret$8 = parseTermWithOperators(Companion_instance_1, item_0, this.f57_1);
+      destination_1.l(tmp$ret$8);
+    }
+    var rules = tmp.ofList(destination_1);
+    return arg2pScope(CausalityAnalysis$interventions$lambda(request, rules, cause));
+  };
+  protoOf(CausalityAnalysis).r57 = function (request, intervention, effect) {
+    var supports = baseSupports(this, request, effect);
     if (supports.i())
       return false;
-    var attackers = checkIntervention($this, request, intervention, supports, effect);
+    var attackers = interventionAttackers(this, request, intervention, supports, effect);
     var tmp;
     // Inline function 'kotlin.collections.isNotEmpty' call
     if (!attackers.i()) {
       var tmp_0;
-      if (intervention.wz() <= 1) {
+      if (intervention.d10() <= 1) {
         tmp_0 = true;
       } else {
-        var tmp0 = getSubsets($this, request, intervention);
+        var tmp0 = properSubsets(this, request, intervention);
         var tmp$ret$1;
         $l$block_0: {
           // Inline function 'kotlin.collections.none' call
@@ -423,7 +710,7 @@
           while (_iterator__ex2g4s.q()) {
             var element = _iterator__ex2g4s.r();
             // Inline function 'kotlin.collections.isNotEmpty' call
-            if (!checkIntervention($this, request, element, supports, effect).i()) {
+            if (!interventionAttackers(this, request, element, supports, effect).i()) {
               tmp$ret$1 = false;
               break $l$block_0;
             }
@@ -437,19 +724,19 @@
       tmp = false;
     }
     return tmp;
-  }
-  function checkCausalityICAIL25($this, request, intervention, effect) {
-    var supports = checkBaseTheory($this, request, effect);
+  };
+  protoOf(CausalityAnalysis).m57 = function (request, intervention, effect) {
+    var supports = baseSupports(this, request, effect);
     if (supports.i())
       return false;
     // Inline function 'kotlin.collections.map' call
-    var this_0 = checkIntervention($this, request, intervention, supports, effect);
+    var this_0 = interventionAttackers(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.n();
     while (_iterator__ex2g4s.q()) {
       var item = _iterator__ex2g4s.r();
-      var tmp$ret$2 = item.p4r();
+      var tmp$ret$2 = item.h4j();
       destination.l(tmp$ret$2);
     }
     var attackers = destination;
@@ -457,10 +744,10 @@
     // Inline function 'kotlin.collections.isNotEmpty' call
     if (!attackers.i()) {
       var tmp_0;
-      if (intervention.wz() <= 1) {
+      if (intervention.d10() <= 1) {
         tmp_0 = true;
       } else {
-        var tmp0 = getSubsets($this, request, intervention);
+        var tmp0 = properSubsets(this, request, intervention);
         var tmp$ret$4;
         $l$block_4: {
           // Inline function 'kotlin.collections.none' call
@@ -478,16 +765,16 @@
           while (_iterator__ex2g4s_0.q()) {
             var element = _iterator__ex2g4s_0.r();
             // Inline function 'kotlin.collections.map' call
-            var this_1 = checkIntervention($this, request, element, supports, effect);
+            var this_1 = interventionAttackers(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.n();
             while (_iterator__ex2g4s_1.q()) {
               var item_0 = _iterator__ex2g4s_1.r();
-              var tmp$ret$8 = item_0.p4r();
+              var tmp$ret$8 = item_0.h4j();
               destination_0.l(tmp$ret$8);
             }
-            var n = destination_0;
+            var others = destination_0;
             var tmp$ret$9;
             $l$block_3: {
               // Inline function 'kotlin.collections.all' call
@@ -508,8 +795,8 @@
                 $l$block_2: {
                   // Inline function 'kotlin.collections.any' call
                   var tmp_3;
-                  if (isInterface(n, Collection)) {
-                    tmp_3 = n.i();
+                  if (isInterface(others, Collection)) {
+                    tmp_3 = others.i();
                   } else {
                     tmp_3 = false;
                   }
@@ -517,10 +804,10 @@
                     tmp$ret$11 = false;
                     break $l$block_2;
                   }
-                  var _iterator__ex2g4s_3 = n.n();
+                  var _iterator__ex2g4s_3 = others.n();
                   while (_iterator__ex2g4s_3.q()) {
                     var element_1 = _iterator__ex2g4s_3.r();
-                    if (Companion_getInstance_0().s1n().match(element_0, element_1)) {
+                    if (Companion_getInstance_1().b1o().match(element_0, element_1)) {
                       tmp$ret$11 = true;
                       break $l$block_2;
                     }
@@ -548,268 +835,64 @@
       tmp = false;
     }
     return tmp;
-  }
-  function checkButFor($this, request, intervention, effect) {
+  };
+  protoOf(CausalityAnalysis).h57 = function (request, intervention, effect) {
     var tmp;
-    // Inline function 'kotlin.let' call
-    var tmp0 = solveFresh($this, effect, request.context.a1y()).g4s_1;
-    var tmp$ret$2;
-    $l$block_0: {
-      // Inline function 'kotlin.collections.any' call
-      var tmp_0;
-      if (isInterface(tmp0, Collection)) {
-        tmp_0 = tmp0.i();
-      } else {
-        tmp_0 = false;
-      }
-      if (tmp_0) {
-        tmp$ret$2 = false;
-        break $l$block_0;
-      }
-      var _iterator__ex2g4s = tmp0.n();
-      while (_iterator__ex2g4s.q()) {
-        var element = _iterator__ex2g4s.r();
-        if (element.c4s_1 === 'in' && equalTerms($this, element.b4s_1.h4r_1, effect)) {
-          tmp$ret$2 = true;
-          break $l$block_0;
-        }
-      }
-      tmp$ret$2 = false;
-    }
-    if (tmp$ret$2) {
-      // 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.n();
-      while (_iterator__ex2g4s_0.q()) {
-        var item = _iterator__ex2g4s_0.r();
-        var tmp$ret$6 = Companion_getInstance_2().of(parseStruct(Companion_getInstance_1(), ':->(fk' + new UInt(nextUInt(Default_getInstance())) + ', ' + item.toString() + ')'), []);
-        destination.l(tmp$ret$6);
-      }
-      // Inline function 'kotlin.let' call
-      // Inline function 'kotlin.let' call
-      var tmp0_0 = solveFresh($this, effect, request.context.a1y().plusTheory(Companion_instance_1.ofIterableWithDefaultUnificator(destination))).g4s_1;
-      var tmp$ret$11;
-      $l$block_2: {
+    if (this.i57(request, effect)) {
+      var tmp0 = graphOf(this, intervened(this, request, intervention), effect).o4h_1;
+      var tmp$ret$0;
+      $l$block_0: {
         // Inline function 'kotlin.collections.none' call
-        var tmp_1;
-        if (isInterface(tmp0_0, Collection)) {
-          tmp_1 = tmp0_0.i();
+        var tmp_0;
+        if (isInterface(tmp0, Collection)) {
+          tmp_0 = tmp0.i();
         } else {
-          tmp_1 = false;
+          tmp_0 = false;
         }
-        if (tmp_1) {
-          tmp$ret$11 = true;
-          break $l$block_2;
+        if (tmp_0) {
+          tmp$ret$0 = true;
+          break $l$block_0;
         }
-        var _iterator__ex2g4s_1 = tmp0_0.n();
-        while (_iterator__ex2g4s_1.q()) {
-          var element_0 = _iterator__ex2g4s_1.r();
-          if (element_0.c4s_1 === 'in' && equalTerms($this, element_0.b4s_1.h4r_1, effect)) {
-            tmp$ret$11 = false;
-            break $l$block_2;
+        var _iterator__ex2g4s = tmp0.n();
+        while (_iterator__ex2g4s.q()) {
+          var element = _iterator__ex2g4s.r();
+          if (element.a4i_1 === 'in' && concludes(this, element.z4h_1, effect)) {
+            tmp$ret$0 = false;
+            break $l$block_0;
           }
         }
-        tmp$ret$11 = true;
+        tmp$ret$0 = true;
       }
-      tmp = tmp$ret$11;
+      tmp = tmp$ret$0;
     } else {
       tmp = false;
     }
     return tmp;
-  }
-  function CausalityCheckCauseButFor($outer) {
-    this.t4v_1 = $outer;
-    this.s4v_1 = new Signature('but_for', 2);
-  }
-  protoOf(CausalityCheckCauseButFor).k1x = function () {
-    return this.s4v_1;
-  };
-  protoOf(CausalityCheckCauseButFor).l2m = function (request) {
-    var cause = request.arguments.u(0);
-    var effect = this.t4v_1.u4v(request.arguments.u(1).toString());
-    return sequenceOf(request.replyWithCondition(arg2pScope(CausalitySolver$CausalityCheckCauseButFor$solve$lambda(request, cause, this.t4v_1, effect)), VOID, []));
-  };
-  protoOf(CausalityCheckCauseButFor).solve = function (request) {
-    return this.l2m(request);
-  };
-  function CausalityCheckInterventionICAIL24($outer) {
-    this.w4v_1 = $outer;
-    this.v4v_1 = new Signature('ness_original_intervention', 2);
-  }
-  protoOf(CausalityCheckInterventionICAIL24).k1x = function () {
-    return this.v4v_1;
-  };
-  protoOf(CausalityCheckInterventionICAIL24).l2m = function (request) {
-    var intervention = request.arguments.u(0).castToList();
-    var effect = this.w4v_1.u4v(request.arguments.u(1).toString());
-    return sequenceOf(request.replyWithCondition(checkCausalityICAIL24(this.w4v_1, request, intervention, effect), VOID, []));
-  };
-  protoOf(CausalityCheckInterventionICAIL24).solve = function (request) {
-    return this.l2m(request);
-  };
-  function CausalityCheckCauseICAIL24($outer) {
-    this.y4v_1 = $outer;
-    this.x4v_1 = new Signature('ness_original', 3);
-  }
-  protoOf(CausalityCheckCauseICAIL24).k1x = function () {
-    return this.x4v_1;
-  };
-  protoOf(CausalityCheckCauseICAIL24).l2m = function (request) {
-    var intervention = request.arguments.u(0);
-    var cause = request.arguments.u(1);
-    var effect = this.y4v_1.u4v(request.arguments.u(2).toString());
-    if (!isInterface(intervention, Var)) {
-      throw Companion_instance_2.forGoal(request.context, request.signature, Expected_VARIABLE_getInstance(), intervention);
-    }
-    var tmp = getInterventions(this.y4v_1, request, cause, effect);
-    var tmp_0 = filter(tmp, CausalitySolver$CausalityCheckCauseICAIL24$solve$lambda(this.y4v_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.l2m(request);
-  };
-  function CausalityCheckInterventionICAIL25($outer) {
-    this.a4w_1 = $outer;
-    this.z4v_1 = new Signature('ness_intervention', 2);
-  }
-  protoOf(CausalityCheckInterventionICAIL25).k1x = function () {
-    return this.z4v_1;
-  };
-  protoOf(CausalityCheckInterventionICAIL25).l2m = function (request) {
-    var intervention = request.arguments.u(0).castToList();
-    var effect = this.a4w_1.u4v(request.arguments.u(1).toString());
-    return sequenceOf(request.replyWithCondition(checkCausalityICAIL25(this.a4w_1, request, intervention, effect), VOID, []));
-  };
-  protoOf(CausalityCheckInterventionICAIL25).solve = function (request) {
-    return this.l2m(request);
-  };
-  function CausalityCheckCauseICAIL25($outer) {
-    this.c4w_1 = $outer;
-    this.b4w_1 = new Signature('ness', 3);
-  }
-  protoOf(CausalityCheckCauseICAIL25).k1x = function () {
-    return this.b4w_1;
-  };
-  protoOf(CausalityCheckCauseICAIL25).l2m = function (request) {
-    var intervention = request.arguments.u(0);
-    var cause = request.arguments.u(1);
-    var effect = this.c4w_1.u4v(request.arguments.u(2).toString());
-    if (!isInterface(intervention, Var)) {
-      throw Companion_instance_2.forGoal(request.context, request.signature, Expected_VARIABLE_getInstance(), intervention);
-    }
-    var tmp = getInterventions(this.c4w_1, request, cause, effect);
-    var tmp_0 = filter(tmp, CausalitySolver$CausalityCheckCauseICAIL25$solve$lambda(this.c4w_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(CausalityCheckCauseICAIL25).solve = function (request) {
-    return this.l2m(request);
-  };
-  function CausalitySolver$solveFresh$lambda(this$0) {
-    return function (it) {
-      return mineActiveGraph(this$0.n4v_1);
-    };
-  }
-  function CausalitySolver$getSupports$lambda(this$0, $effect) {
-    return function (it) {
-      return equalTerms(this$0, it.b4s_1.h4r_1, $effect);
-    };
-  }
-  function CausalitySolver$getSupports$lambda_0(this$0, $graph) {
-    return function (it) {
-      return supporters(this$0, it.b4s_1, $graph, emptyList());
-    };
-  }
-  function CausalitySolver$getSupports$lambda_1(it) {
-    return it.b4s_1;
-  }
-  function CausalitySolver$checkBaseTheory$lambda(a) {
-    return a.p4r();
-  }
-  function CausalitySolver$getSubsets$lambda$lambda(it) {
-    return it.e1z();
-  }
-  function CausalitySolver$getSubsets$lambda$lambda_0($this_arg2pScope) {
-    return function (it) {
-      return ensureNotNull(it.u1x().l2($this_arg2pScope.p1j())).castToList();
-    };
-  }
-  function CausalitySolver$getSubsets$lambda($request, $intervention) {
-    return function ($this$arg2pScope) {
-      var tmp = $request.solve($this$arg2pScope.stringInvoke('proper_subsets', $intervention, [$this$arg2pScope.p1j()]));
-      var tmp_0 = filter(tmp, CausalitySolver$getSubsets$lambda$lambda);
-      return toList(map(tmp_0, CausalitySolver$getSubsets$lambda$lambda_0($this$arg2pScope)));
-    };
-  }
-  function CausalitySolver$getInterventions$lambda$lambda(it) {
-    return it.e1z();
-  }
-  function CausalitySolver$getInterventions$lambda$lambda_0($this_arg2pScope) {
-    return function (it) {
-      return ensureNotNull(it.u1x().l2($this_arg2pScope.p1j())).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.p1j()]));
-      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.n4v_1 = tmp_0.p4d(VOID, (new FlagsBuilder(VOID, VOID, VOID, VOID, VOID, 'grounded', VOID, VOID, VOID, VOID, tmp0_graphExtensions)).b4e());
-    this.o4v_1 = Companion_instance_3.l4d().i4d();
-    var tmp_1 = this;
-    // Inline function 'kotlin.collections.mutableMapOf' call
-    tmp_1.p4v_1 = LinkedHashMap_init_$Create$();
-    this.q4v_1 = 'prolog.argumentation.causality.solver';
-    this.r4v_1 = Companion_instance_4.i4d().plusOperatorSet(Companion_instance_5.i4d()).plusOperatorSet(Companion_getInstance_3().DEFAULT);
-  }
-  protoOf(CausalitySolver).u4v = function (string) {
-    return replace(replace(string, ' ', ''), "'", '');
-  };
-  protoOf(CausalitySolver).w2i = function () {
-    return this.q4v_1;
-  };
-  protoOf(CausalitySolver).d4e = function () {
-    // Inline function 'kotlin.let' call
-    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);
-    // Inline function 'kotlin.collections.associateByTo' call
-    var destination = LinkedHashMap_init_$Create$_0(capacity);
-    var _iterator__ex2g4s = primitives.n();
-    while (_iterator__ex2g4s.q()) {
-      var element = _iterator__ex2g4s.r();
-      var tmp$ret$4 = element.k1x();
-      destination.t4(tmp$ret$4, element);
-    }
-    return tmp.of(this.q4v_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.r4v_1));
-  };
-  protoOf(CausalitySolver).e4e = function () {
-    return 'causality';
-  };
-  protoOf(CausalitySolver).n4d = function () {
-    return this.r4v_1;
   };
   //region block: post-declaration
-  protoOf(CausalityCheckCauseButFor).n1x = get_help;
-  protoOf(CausalityCheckInterventionICAIL24).n1x = get_help;
-  protoOf(CausalityCheckCauseICAIL24).n1x = get_help;
-  protoOf(CausalityCheckInterventionICAIL25).n1x = get_help;
-  protoOf(CausalityCheckCauseICAIL25).n1x = get_help;
-  protoOf(CausalitySolver).m4d = content;
+  protoOf(ButFor).w1x = get_help;
+  protoOf(Ness).w1x = get_help;
+  protoOf(NessIntervention).w1x = get_help;
+  protoOf(NessOriginal).w1x = get_help;
+  protoOf(NessOriginalIntervention).w1x = get_help;
+  //endregion
+  //region block: init
+  JsCausality_instance = new JsCausality();
   //endregion
   //region block: exports
+  function $jsExportAll$(_) {
+    var it = _.it || (_.it = {});
+    var unibo = it.unibo || (it.unibo = {});
+    var tuprolog = unibo.tuprolog || (unibo.tuprolog = {});
+    var argumentation = tuprolog.argumentation || (tuprolog.argumentation = {});
+    var causality = argumentation.causality || (argumentation.causality = {});
+    var js = causality.js || (causality.js = {});
+    defineProp(js, 'JsCausality', JsCausality_getInstance, VOID, true);
+  }
+  $jsExportAll$(_);
+  _.$jsExportAll$ = $jsExportAll$;
   _.$_$ = _.$_$ || {};
-  _.$_$.a = CausalitySolver;
+  _.$_$.a = CausalityModule;
   //endregion
   return _;
 }));