@tuprolog/arg2p 0.16.6 → 0.16.8

package/arg2p-causality-solver.js

@@ -34,82 +34,83 @@
   'use strict';
   //region block: imports
   var Companion_instance = kotlin_it_unibo_tuprolog_core.$_$.p;
-  var ensureNotNull = kotlin_kotlin.$_$.kc;
-  var filter = kotlin_kotlin.$_$.z8;
-  var map = kotlin_kotlin.$_$.l9;
-  var firstOrNull = kotlin_kotlin.$_$.a9;
+  var ensureNotNull = kotlin_kotlin.$_$.qc;
+  var filter = kotlin_kotlin.$_$.d9;
+  var map = kotlin_kotlin.$_$.q9;
+  var firstOrNull = kotlin_kotlin.$_$.e9;
   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.$_$.q2;
+  var collectionSizeOrDefault = kotlin_kotlin.$_$.s2;
   var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.s;
-  var plus = kotlin_kotlin.$_$.s4;
-  var addAll = kotlin_kotlin.$_$.e2;
-  var plus_0 = kotlin_kotlin.$_$.r4;
-  var emptyList = kotlin_kotlin.$_$.e3;
-  var to = kotlin_kotlin.$_$.rc;
+  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.$_$.l;
-  var asSequence = kotlin_kotlin.$_$.n2;
-  var flatMap = kotlin_kotlin.$_$.d9;
-  var toList = kotlin_kotlin.$_$.aa;
+  var asSequence = kotlin_kotlin.$_$.p2;
+  var flatMap = kotlin_kotlin.$_$.h9;
+  var toList = kotlin_kotlin.$_$.fa;
   var Companion_getInstance_2 = kotlin_it_unibo_tuprolog_core.$_$.l;
-  var Collection = kotlin_kotlin.$_$.x1;
-  var isInterface = kotlin_kotlin.$_$.l7;
-  var distinct = kotlin_kotlin.$_$.c3;
+  var Collection = kotlin_kotlin.$_$.z1;
+  var isInterface = kotlin_kotlin.$_$.p7;
+  var distinct = kotlin_kotlin.$_$.e3;
   var arg2pScope = kotlin_it_unibo_tuprolog_argumentation_core.$_$.e;
-  var toList_0 = kotlin_kotlin.$_$.d5;
-  var toString = kotlin_kotlin.$_$.u7;
+  var toList_0 = kotlin_kotlin.$_$.h5;
+  var toString = kotlin_kotlin.$_$.y7;
   var Default_getInstance = kotlin_kotlin.$_$.l;
-  var nextUInt = kotlin_kotlin.$_$.a8;
-  var UInt = kotlin_kotlin.$_$.hc;
-  var Signature = kotlin_it_unibo_tuprolog_solve.$_$.t3;
-  var protoOf = kotlin_kotlin.$_$.r7;
+  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.$_$.s9;
-  var Primitive = kotlin_it_unibo_tuprolog_solve.$_$.r2;
-  var initMetadataForClass = kotlin_kotlin.$_$.e7;
-  var Companion_instance_2 = kotlin_it_unibo_tuprolog_solve.$_$.b1;
-  var Expected_VARIABLE_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.n;
+  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.$_$.k;
   var Arg2pSolverFactory_instance = kotlin_it_unibo_tuprolog_argumentation_core.$_$.d;
   var FlagsBuilder = kotlin_it_unibo_tuprolog_argumentation_core.$_$.f;
   var Companion_instance_3 = kotlin_it_unibo_tuprolog_argumentation_core.$_$.c;
-  var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.v;
+  var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.x;
   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.$_$.ya;
-  var listOf = kotlin_kotlin.$_$.x3;
-  var Companion_getInstance_4 = kotlin_it_unibo_tuprolog_solve.$_$.h1;
-  var mapCapacity = kotlin_kotlin.$_$.y3;
-  var coerceAtLeast = kotlin_kotlin.$_$.f8;
-  var LinkedHashMap_init_$Create$_0 = kotlin_kotlin.$_$.u;
+  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.$_$.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(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(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]);
   //endregion
   function CausalitySolver$CausalityCheckCauseButFor$solve$lambda$lambda(it) {
-    return it.get_isYes_it760k_k$();
+    return it.e1z();
   }
   function CausalitySolver$CausalityCheckCauseButFor$solve$lambda$lambda_0($this_arg2pScope) {
     return function (it) {
-      return Companion_instance.of([ensureNotNull(it.get_substitution_i7fi9y_k$().get_wei43m_k$($this_arg2pScope.get_X_1mhr5b_k$()))]);
+      return Companion_instance.of([ensureNotNull(it.u1x().l2($this_arg2pScope.p1j()))]);
     };
   }
   function CausalitySolver$CausalityCheckCauseButFor$solve$lambda$lambda_1(this$0, $request, $effect) {
@@ -119,7 +120,7 @@
   }
   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.get_X_1mhr5b_k$()]));
+      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)));
@@ -147,35 +148,35 @@
     };
   }
   function equalTerms($this, a, b) {
-    return Companion_getInstance_0().get_default_qtagd4_k$().match(parseTerm(Companion_instance_0, a), parseTerm(Companion_instance_0, b));
+    return Companion_getInstance_0().s1n().match(parseTerm(Companion_instance_0, a), parseTerm(Companion_instance_0, b));
   }
   function attackers($this, x, graph) {
     // Inline function 'kotlin.collections.filter' call
-    var tmp0 = graph.attacks_1;
+    var tmp0 = graph.e4s_1;
     // Inline function 'kotlin.collections.filterTo' call
     var destination = ArrayList_init_$Create$();
-    var _iterator__ex2g4s = tmp0.iterator_jk1svi_k$();
-    while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
-      var element = _iterator__ex2g4s.next_20eer_k$();
-      if (element.target_1.identifier_1 === x.identifier_1) {
-        destination.add_utx5q5_k$(element);
+    var _iterator__ex2g4s = tmp0.n();
+    while (_iterator__ex2g4s.q()) {
+      var element = _iterator__ex2g4s.r();
+      if (element.y4r_1.n4r_1 === x.n4r_1) {
+        destination.l(element);
       }
     }
     // Inline function 'kotlin.collections.map' call
     // Inline function 'kotlin.collections.mapTo' call
     var destination_0 = ArrayList_init_$Create$_0(collectionSizeOrDefault(destination, 10));
-    var _iterator__ex2g4s_0 = destination.iterator_jk1svi_k$();
-    while (_iterator__ex2g4s_0.hasNext_bitz1p_k$()) {
-      var item = _iterator__ex2g4s_0.next_20eer_k$();
+    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.labellings_1;
+      var tmp0_0 = graph.g4s_1;
       var tmp$ret$7;
       $l$block: {
         // Inline function 'kotlin.collections.firstOrNull' call
-        var _iterator__ex2g4s_1 = tmp0_0.iterator_jk1svi_k$();
-        while (_iterator__ex2g4s_1.hasNext_bitz1p_k$()) {
-          var element_0 = _iterator__ex2g4s_1.next_20eer_k$();
-          if (item.attacker_1.identifier_1 === element_0.argument_1.identifier_1) {
+        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;
             break $l$block;
           }
@@ -184,24 +185,24 @@
       }
       var tmp$ret$6 = tmp$ret$7;
       var tmp$ret$5 = ensureNotNull(tmp$ret$6);
-      destination_0.add_utx5q5_k$(tmp$ret$5);
+      destination_0.l(tmp$ret$5);
     }
     return destination_0;
   }
   function supporters($this, x, graph, chain) {
     var tmp;
-    if (chain.contains_aljjnj_k$(x.identifier_1)) {
+    if (chain.s(x.n4r_1)) {
       tmp = emptyList();
     } else {
       // Inline function 'kotlin.collections.filter' call
-      var tmp0 = graph.labellings_1;
+      var tmp0 = graph.g4s_1;
       // Inline function 'kotlin.collections.filterTo' call
       var destination = ArrayList_init_$Create$();
-      var _iterator__ex2g4s = tmp0.iterator_jk1svi_k$();
-      while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
-        var element = _iterator__ex2g4s.next_20eer_k$();
-        if (x.identifier_1 === element.argument_1.identifier_1 && element.label_1 === 'in') {
-          destination.add_utx5q5_k$(element);
+      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') {
+          destination.l(element);
         }
       }
       var tmp_0 = destination;
@@ -209,27 +210,27 @@
       var tmp0_0 = attackers($this, x, graph);
       // Inline function 'kotlin.collections.flatMapTo' call
       var destination_0 = ArrayList_init_$Create$();
-      var _iterator__ex2g4s_0 = tmp0_0.iterator_jk1svi_k$();
-      while (_iterator__ex2g4s_0.hasNext_bitz1p_k$()) {
-        var element_0 = _iterator__ex2g4s_0.next_20eer_k$();
+      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.argument_1, graph);
+        var tmp0_1 = attackers($this, element_0.b4s_1, graph);
         // Inline function 'kotlin.collections.filterTo' call
         var destination_1 = ArrayList_init_$Create$();
-        var _iterator__ex2g4s_1 = tmp0_1.iterator_jk1svi_k$();
-        while (_iterator__ex2g4s_1.hasNext_bitz1p_k$()) {
-          var element_1 = _iterator__ex2g4s_1.next_20eer_k$();
-          if (!(element_1.argument_1.identifier_1 === x.identifier_1)) {
-            destination_1.add_utx5q5_k$(element_1);
+        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)) {
+            destination_1.l(element_1);
           }
         }
         // Inline function 'kotlin.collections.flatMap' call
         // Inline function 'kotlin.collections.flatMapTo' call
         var destination_2 = ArrayList_init_$Create$();
-        var _iterator__ex2g4s_2 = destination_1.iterator_jk1svi_k$();
-        while (_iterator__ex2g4s_2.hasNext_bitz1p_k$()) {
-          var element_2 = _iterator__ex2g4s_2.next_20eer_k$();
-          var list = supporters($this, element_2.argument_1, graph, plus(chain, x.identifier_1));
+        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));
           addAll(destination_2, list);
         }
         var list_0 = destination_2;
@@ -241,37 +242,37 @@
   }
   function solveFresh($this, effect, kb) {
     var theory = kb.toStringAsProlog(true);
-    var tmp0_safe_receiver = $this.graphCache_1.get_wei43m_k$(to(theory, effect));
+    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;
     }
-    if ($this.graphCache_1.get_size_woubt6_k$() >= 256) {
-      $this.graphCache_1.clear_j9egeb_k$();
+    if ($this.p4v_1.t() >= 256) {
+      $this.p4v_1.n3();
     }
-    $this.solver_1.resetStaticKb();
-    $this.solver_1.loadStaticKb(parseTheoryWithOperators(Companion_instance_1, theory, $this.operators_1));
-    var tmp = $this.solver_1.solve(parseStruct(Companion_getInstance_1(), 'answerQuery(' + effect + ')'));
+    $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.graphCache_1;
+    var tmp0 = $this.p4v_1;
     // Inline function 'kotlin.collections.set' call
     var key = to(theory, effect);
-    tmp0.put_4fpzoq_k$(key, this_0);
+    tmp0.t4(key, this_0);
     return this_0;
   }
   function getSupports($this, graph, effect) {
-    var tmp = asSequence(graph.labellings_1);
+    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);
   }
   function checkBaseTheory($this, request, effect) {
     // Inline function 'kotlin.let' call
-    var it = solveFresh($this, effect, request.context.get_staticKb_a01l1u_k$());
+    var it = solveFresh($this, effect, request.context.a1y());
     var tmp = getSupports($this, it, effect);
     return toList(map(tmp, CausalitySolver$checkBaseTheory$lambda));
   }
@@ -280,38 +281,38 @@
     var this_0 = intervention.toList();
     // Inline function 'kotlin.collections.mapTo' call
     var destination = ArrayList_init_$Create$_0(collectionSizeOrDefault(this_0, 10));
-    var _iterator__ex2g4s = this_0.iterator_jk1svi_k$();
-    while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
-      var item = _iterator__ex2g4s.next_20eer_k$();
+    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() + ')'), []);
-      destination.add_utx5q5_k$(tmp$ret$2);
+      destination.l(tmp$ret$2);
     }
     // Inline function 'kotlin.let' call
     // Inline function 'kotlin.let' call
-    var naf = solveFresh($this, effect, request.context.get_staticKb_a01l1u_k$().plusTheory(Companion_instance_1.ofIterableWithDefaultUnificator(destination)));
+    var naf = solveFresh($this, effect, request.context.a1y().plusTheory(Companion_instance_1.ofIterableWithDefaultUnificator(destination)));
     // Inline function 'kotlin.collections.filter' call
-    var tmp0 = naf.labellings_1;
+    var tmp0 = naf.g4s_1;
     // Inline function 'kotlin.collections.filterTo' call
     var destination_0 = ArrayList_init_$Create$();
-    var _iterator__ex2g4s_0 = tmp0.iterator_jk1svi_k$();
-    while (_iterator__ex2g4s_0.hasNext_bitz1p_k$()) {
-      var element = _iterator__ex2g4s_0.next_20eer_k$();
-      if (element.label_1 === 'out' || element.label_1 === 'und') {
-        destination_0.add_utx5q5_k$(element);
+    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);
       }
     }
     // Inline function 'kotlin.collections.filter' call
     // Inline function 'kotlin.collections.filterTo' call
     var destination_1 = ArrayList_init_$Create$();
-    var _iterator__ex2g4s_1 = destination_0.iterator_jk1svi_k$();
-    while (_iterator__ex2g4s_1.hasNext_bitz1p_k$()) {
-      var element_0 = _iterator__ex2g4s_1.next_20eer_k$();
+    var _iterator__ex2g4s_1 = destination_0.n();
+    while (_iterator__ex2g4s_1.q()) {
+      var element_0 = _iterator__ex2g4s_1.r();
       var tmp$ret$13;
       $l$block_0: {
         // Inline function 'kotlin.collections.any' call
         var tmp;
         if (isInterface(support, Collection)) {
-          tmp = support.isEmpty_y1axqb_k$();
+          tmp = support.i();
         } else {
           tmp = false;
         }
@@ -319,10 +320,10 @@
           tmp$ret$13 = false;
           break $l$block_0;
         }
-        var _iterator__ex2g4s_2 = support.iterator_jk1svi_k$();
-        while (_iterator__ex2g4s_2.hasNext_bitz1p_k$()) {
-          var element_1 = _iterator__ex2g4s_2.next_20eer_k$();
-          if (Companion_getInstance_0().get_default_qtagd4_k$().match(element_0.argument_1.termRepresentation_f75xll_k$(), element_1)) {
+        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;
             break $l$block_0;
           }
@@ -330,24 +331,24 @@
         tmp$ret$13 = false;
       }
       if (tmp$ret$13) {
-        destination_1.add_utx5q5_k$(element_0);
+        destination_1.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.iterator_jk1svi_k$();
-    while (_iterator__ex2g4s_3.hasNext_bitz1p_k$()) {
-      var element_2 = _iterator__ex2g4s_3.next_20eer_k$();
+    var _iterator__ex2g4s_3 = destination_1.n();
+    while (_iterator__ex2g4s_3.q()) {
+      var element_2 = _iterator__ex2g4s_3.r();
       // Inline function 'kotlin.collections.filter' call
-      var tmp0_0 = attackers($this, element_2.argument_1, naf);
+      var tmp0_0 = attackers($this, element_2.b4s_1, naf);
       // Inline function 'kotlin.collections.filterTo' call
       var destination_3 = ArrayList_init_$Create$();
-      var _iterator__ex2g4s_4 = tmp0_0.iterator_jk1svi_k$();
-      while (_iterator__ex2g4s_4.hasNext_bitz1p_k$()) {
-        var element_3 = _iterator__ex2g4s_4.next_20eer_k$();
-        if (element_3.label_1 === 'in') {
-          destination_3.add_utx5q5_k$(element_3);
+      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 list = destination_3;
@@ -356,11 +357,11 @@
     // 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.iterator_jk1svi_k$();
-    while (_iterator__ex2g4s_5.hasNext_bitz1p_k$()) {
-      var item_0 = _iterator__ex2g4s_5.next_20eer_k$();
-      var tmp$ret$23 = item_0.argument_1;
-      destination_4.add_utx5q5_k$(tmp$ret$23);
+    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);
     }
     return distinct(destination_4);
   }
@@ -370,23 +371,23 @@
   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.get_staticKb_a01l1u_k$()).arguments_1;
+    var this_0 = solveFresh($this, effect, request.context.a1y()).d4s_1;
     // Inline function 'kotlin.collections.mapTo' call
     var destination = ArrayList_init_$Create$_0(collectionSizeOrDefault(this_0, 10));
-    var _iterator__ex2g4s = this_0.iterator_jk1svi_k$();
-    while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
-      var item = _iterator__ex2g4s.next_20eer_k$();
-      var tmp$ret$2 = item.topRule_1;
-      destination.add_utx5q5_k$(tmp$ret$2);
+    var _iterator__ex2g4s = this_0.n();
+    while (_iterator__ex2g4s.q()) {
+      var item = _iterator__ex2g4s.r();
+      var tmp$ret$2 = item.g4r_1;
+      destination.l(tmp$ret$2);
     }
     // Inline function 'kotlin.collections.filter' call
     // Inline function 'kotlin.collections.filterTo' call
     var destination_0 = ArrayList_init_$Create$();
-    var _iterator__ex2g4s_0 = destination.iterator_jk1svi_k$();
-    while (_iterator__ex2g4s_0.hasNext_bitz1p_k$()) {
-      var element = _iterator__ex2g4s_0.next_20eer_k$();
+    var _iterator__ex2g4s_0 = destination.n();
+    while (_iterator__ex2g4s_0.q()) {
+      var element = _iterator__ex2g4s_0.r();
       if (!(element === 'none')) {
-        destination_0.add_utx5q5_k$(element);
+        destination_0.l(element);
       }
     }
     var rules = parseTerm(tmp, toString(toList_0(destination_0)));
@@ -394,14 +395,14 @@
   }
   function checkCausalityICAIL24($this, request, intervention, effect) {
     var supports = checkBaseTheory($this, request, effect);
-    if (supports.isEmpty_y1axqb_k$())
+    if (supports.i())
       return false;
     var attackers = checkIntervention($this, request, intervention, supports, effect);
     var tmp;
     // Inline function 'kotlin.collections.isNotEmpty' call
-    if (!attackers.isEmpty_y1axqb_k$()) {
+    if (!attackers.i()) {
       var tmp_0;
-      if (intervention.get_estimatedLength_1oo9qx_k$() <= 1) {
+      if (intervention.wz() <= 1) {
         tmp_0 = true;
       } else {
         var tmp0 = getSubsets($this, request, intervention);
@@ -410,7 +411,7 @@
           // Inline function 'kotlin.collections.none' call
           var tmp_1;
           if (isInterface(tmp0, Collection)) {
-            tmp_1 = tmp0.isEmpty_y1axqb_k$();
+            tmp_1 = tmp0.i();
           } else {
             tmp_1 = false;
           }
@@ -418,11 +419,11 @@
             tmp$ret$1 = true;
             break $l$block_0;
           }
-          var _iterator__ex2g4s = tmp0.iterator_jk1svi_k$();
-          while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
-            var element = _iterator__ex2g4s.next_20eer_k$();
+          var _iterator__ex2g4s = tmp0.n();
+          while (_iterator__ex2g4s.q()) {
+            var element = _iterator__ex2g4s.r();
             // Inline function 'kotlin.collections.isNotEmpty' call
-            if (!checkIntervention($this, request, element, supports, effect).isEmpty_y1axqb_k$()) {
+            if (!checkIntervention($this, request, element, supports, effect).i()) {
               tmp$ret$1 = false;
               break $l$block_0;
             }
@@ -439,24 +440,24 @@
   }
   function checkCausalityICAIL25($this, request, intervention, effect) {
     var supports = checkBaseTheory($this, request, effect);
-    if (supports.isEmpty_y1axqb_k$())
+    if (supports.i())
       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.iterator_jk1svi_k$();
-    while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
-      var item = _iterator__ex2g4s.next_20eer_k$();
-      var tmp$ret$2 = item.termRepresentation_f75xll_k$();
-      destination.add_utx5q5_k$(tmp$ret$2);
+    var _iterator__ex2g4s = this_0.n();
+    while (_iterator__ex2g4s.q()) {
+      var item = _iterator__ex2g4s.r();
+      var tmp$ret$2 = item.p4r();
+      destination.l(tmp$ret$2);
     }
     var attackers = destination;
     var tmp;
     // Inline function 'kotlin.collections.isNotEmpty' call
-    if (!attackers.isEmpty_y1axqb_k$()) {
+    if (!attackers.i()) {
       var tmp_0;
-      if (intervention.get_estimatedLength_1oo9qx_k$() <= 1) {
+      if (intervention.wz() <= 1) {
         tmp_0 = true;
       } else {
         var tmp0 = getSubsets($this, request, intervention);
@@ -465,7 +466,7 @@
           // Inline function 'kotlin.collections.none' call
           var tmp_1;
           if (isInterface(tmp0, Collection)) {
-            tmp_1 = tmp0.isEmpty_y1axqb_k$();
+            tmp_1 = tmp0.i();
           } else {
             tmp_1 = false;
           }
@@ -473,18 +474,18 @@
             tmp$ret$4 = true;
             break $l$block_4;
           }
-          var _iterator__ex2g4s_0 = tmp0.iterator_jk1svi_k$();
-          while (_iterator__ex2g4s_0.hasNext_bitz1p_k$()) {
-            var element = _iterator__ex2g4s_0.next_20eer_k$();
+          var _iterator__ex2g4s_0 = tmp0.n();
+          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);
             // Inline function 'kotlin.collections.mapTo' call
             var destination_0 = ArrayList_init_$Create$_0(collectionSizeOrDefault(this_1, 10));
-            var _iterator__ex2g4s_1 = this_1.iterator_jk1svi_k$();
-            while (_iterator__ex2g4s_1.hasNext_bitz1p_k$()) {
-              var item_0 = _iterator__ex2g4s_1.next_20eer_k$();
-              var tmp$ret$8 = item_0.termRepresentation_f75xll_k$();
-              destination_0.add_utx5q5_k$(tmp$ret$8);
+            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();
+              destination_0.l(tmp$ret$8);
             }
             var n = destination_0;
             var tmp$ret$9;
@@ -492,7 +493,7 @@
               // Inline function 'kotlin.collections.all' call
               var tmp_2;
               if (isInterface(attackers, Collection)) {
-                tmp_2 = attackers.isEmpty_y1axqb_k$();
+                tmp_2 = attackers.i();
               } else {
                 tmp_2 = false;
               }
@@ -500,15 +501,15 @@
                 tmp$ret$9 = true;
                 break $l$block_3;
               }
-              var _iterator__ex2g4s_2 = attackers.iterator_jk1svi_k$();
-              while (_iterator__ex2g4s_2.hasNext_bitz1p_k$()) {
-                var element_0 = _iterator__ex2g4s_2.next_20eer_k$();
+              var _iterator__ex2g4s_2 = attackers.n();
+              while (_iterator__ex2g4s_2.q()) {
+                var element_0 = _iterator__ex2g4s_2.r();
                 var tmp$ret$11;
                 $l$block_2: {
                   // Inline function 'kotlin.collections.any' call
                   var tmp_3;
                   if (isInterface(n, Collection)) {
-                    tmp_3 = n.isEmpty_y1axqb_k$();
+                    tmp_3 = n.i();
                   } else {
                     tmp_3 = false;
                   }
@@ -516,10 +517,10 @@
                     tmp$ret$11 = false;
                     break $l$block_2;
                   }
-                  var _iterator__ex2g4s_3 = n.iterator_jk1svi_k$();
-                  while (_iterator__ex2g4s_3.hasNext_bitz1p_k$()) {
-                    var element_1 = _iterator__ex2g4s_3.next_20eer_k$();
-                    if (Companion_getInstance_0().get_default_qtagd4_k$().match(element_0, element_1)) {
+                  var _iterator__ex2g4s_3 = n.n();
+                  while (_iterator__ex2g4s_3.q()) {
+                    var element_1 = _iterator__ex2g4s_3.r();
+                    if (Companion_getInstance_0().s1n().match(element_0, element_1)) {
                       tmp$ret$11 = true;
                       break $l$block_2;
                     }
@@ -551,13 +552,13 @@
   function checkButFor($this, request, intervention, effect) {
     var tmp;
     // Inline function 'kotlin.let' call
-    var tmp0 = solveFresh($this, effect, request.context.get_staticKb_a01l1u_k$()).labellings_1;
+    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.isEmpty_y1axqb_k$();
+        tmp_0 = tmp0.i();
       } else {
         tmp_0 = false;
       }
@@ -565,10 +566,10 @@
         tmp$ret$2 = false;
         break $l$block_0;
       }
-      var _iterator__ex2g4s = tmp0.iterator_jk1svi_k$();
-      while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
-        var element = _iterator__ex2g4s.next_20eer_k$();
-        if (element.label_1 === 'in' && equalTerms($this, element.argument_1.conclusion_1, effect)) {
+      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;
         }
@@ -580,21 +581,21 @@
       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.iterator_jk1svi_k$();
-      while (_iterator__ex2g4s_0.hasNext_bitz1p_k$()) {
-        var item = _iterator__ex2g4s_0.next_20eer_k$();
+      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.add_utx5q5_k$(tmp$ret$6);
+        destination.l(tmp$ret$6);
       }
       // Inline function 'kotlin.let' call
       // Inline function 'kotlin.let' call
-      var tmp0_0 = solveFresh($this, effect, request.context.get_staticKb_a01l1u_k$().plusTheory(Companion_instance_1.ofIterableWithDefaultUnificator(destination))).labellings_1;
+      var tmp0_0 = solveFresh($this, effect, request.context.a1y().plusTheory(Companion_instance_1.ofIterableWithDefaultUnificator(destination))).g4s_1;
       var tmp$ret$11;
       $l$block_2: {
         // Inline function 'kotlin.collections.none' call
         var tmp_1;
         if (isInterface(tmp0_0, Collection)) {
-          tmp_1 = tmp0_0.isEmpty_y1axqb_k$();
+          tmp_1 = tmp0_0.i();
         } else {
           tmp_1 = false;
         }
@@ -602,10 +603,10 @@
           tmp$ret$11 = true;
           break $l$block_2;
         }
-        var _iterator__ex2g4s_1 = tmp0_0.iterator_jk1svi_k$();
-        while (_iterator__ex2g4s_1.hasNext_bitz1p_k$()) {
-          var element_0 = _iterator__ex2g4s_1.next_20eer_k$();
-          if (element_0.label_1 === 'in' && equalTerms($this, element_0.argument_1.conclusion_1, effect)) {
+        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;
           }
@@ -619,141 +620,141 @@
     return tmp;
   }
   function CausalityCheckCauseButFor($outer) {
-    this.$this_1 = $outer;
-    this.signature_1 = new Signature('but_for', 2);
+    this.t4v_1 = $outer;
+    this.s4v_1 = new Signature('but_for', 2);
   }
-  protoOf(CausalityCheckCauseButFor).get_signature_q9pg5r_k$ = function () {
-    return this.signature_1;
+  protoOf(CausalityCheckCauseButFor).k1x = function () {
+    return this.s4v_1;
   };
-  protoOf(CausalityCheckCauseButFor).solve_ktvn8p_k$ = function (request) {
-    var cause = request.arguments.get_c1px32_k$(0);
-    var effect = this.$this_1.clean_unw6tt_k$(request.arguments.get_c1px32_k$(1).toString());
-    return sequenceOf(request.replyWithCondition(arg2pScope(CausalitySolver$CausalityCheckCauseButFor$solve$lambda(request, cause, this.$this_1, effect)), VOID, []));
+  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.solve_ktvn8p_k$(request);
+    return this.l2m(request);
   };
   function CausalityCheckInterventionICAIL24($outer) {
-    this.$this_1 = $outer;
-    this.signature_1 = new Signature('ness_original_intervention', 2);
+    this.w4v_1 = $outer;
+    this.v4v_1 = new Signature('ness_original_intervention', 2);
   }
-  protoOf(CausalityCheckInterventionICAIL24).get_signature_q9pg5r_k$ = function () {
-    return this.signature_1;
+  protoOf(CausalityCheckInterventionICAIL24).k1x = function () {
+    return this.v4v_1;
   };
-  protoOf(CausalityCheckInterventionICAIL24).solve_ktvn8p_k$ = function (request) {
-    var intervention = request.arguments.get_c1px32_k$(0).castToList();
-    var effect = this.$this_1.clean_unw6tt_k$(request.arguments.get_c1px32_k$(1).toString());
-    return sequenceOf(request.replyWithCondition(checkCausalityICAIL24(this.$this_1, request, intervention, effect), VOID, []));
+  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.solve_ktvn8p_k$(request);
+    return this.l2m(request);
   };
   function CausalityCheckCauseICAIL24($outer) {
-    this.$this_1 = $outer;
-    this.signature_1 = new Signature('ness_original', 3);
+    this.y4v_1 = $outer;
+    this.x4v_1 = new Signature('ness_original', 3);
   }
-  protoOf(CausalityCheckCauseICAIL24).get_signature_q9pg5r_k$ = function () {
-    return this.signature_1;
+  protoOf(CausalityCheckCauseICAIL24).k1x = function () {
+    return this.x4v_1;
   };
-  protoOf(CausalityCheckCauseICAIL24).solve_ktvn8p_k$ = function (request) {
-    var intervention = request.arguments.get_c1px32_k$(0);
-    var cause = request.arguments.get_c1px32_k$(1);
-    var effect = this.$this_1.clean_unw6tt_k$(request.arguments.get_c1px32_k$(2).toString());
+  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.$this_1, request, cause, effect);
-    var tmp_0 = filter(tmp, CausalitySolver$CausalityCheckCauseICAIL24$solve$lambda(this.$this_1, request, effect));
+    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.solve_ktvn8p_k$(request);
+    return this.l2m(request);
   };
   function CausalityCheckInterventionICAIL25($outer) {
-    this.$this_1 = $outer;
-    this.signature_1 = new Signature('ness_intervention', 2);
+    this.a4w_1 = $outer;
+    this.z4v_1 = new Signature('ness_intervention', 2);
   }
-  protoOf(CausalityCheckInterventionICAIL25).get_signature_q9pg5r_k$ = function () {
-    return this.signature_1;
+  protoOf(CausalityCheckInterventionICAIL25).k1x = function () {
+    return this.z4v_1;
   };
-  protoOf(CausalityCheckInterventionICAIL25).solve_ktvn8p_k$ = function (request) {
-    var intervention = request.arguments.get_c1px32_k$(0).castToList();
-    var effect = this.$this_1.clean_unw6tt_k$(request.arguments.get_c1px32_k$(1).toString());
-    return sequenceOf(request.replyWithCondition(checkCausalityICAIL25(this.$this_1, request, intervention, effect), VOID, []));
+  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.solve_ktvn8p_k$(request);
+    return this.l2m(request);
   };
   function CausalityCheckCauseICAIL25($outer) {
-    this.$this_1 = $outer;
-    this.signature_1 = new Signature('ness', 3);
+    this.c4w_1 = $outer;
+    this.b4w_1 = new Signature('ness', 3);
   }
-  protoOf(CausalityCheckCauseICAIL25).get_signature_q9pg5r_k$ = function () {
-    return this.signature_1;
+  protoOf(CausalityCheckCauseICAIL25).k1x = function () {
+    return this.b4w_1;
   };
-  protoOf(CausalityCheckCauseICAIL25).solve_ktvn8p_k$ = function (request) {
-    var intervention = request.arguments.get_c1px32_k$(0);
-    var cause = request.arguments.get_c1px32_k$(1);
-    var effect = this.$this_1.clean_unw6tt_k$(request.arguments.get_c1px32_k$(2).toString());
+  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.$this_1, request, cause, effect);
-    var tmp_0 = filter(tmp, CausalitySolver$CausalityCheckCauseICAIL25$solve$lambda(this.$this_1, request, effect));
+    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.solve_ktvn8p_k$(request);
+    return this.l2m(request);
   };
   function CausalitySolver$solveFresh$lambda(this$0) {
     return function (it) {
-      return mineActiveGraph(this$0.solver_1);
+      return mineActiveGraph(this$0.n4v_1);
     };
   }
   function CausalitySolver$getSupports$lambda(this$0, $effect) {
     return function (it) {
-      return equalTerms(this$0, it.argument_1.conclusion_1, $effect);
+      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.argument_1, $graph, emptyList());
+      return supporters(this$0, it.b4s_1, $graph, emptyList());
     };
   }
   function CausalitySolver$getSupports$lambda_1(it) {
-    return it.argument_1;
+    return it.b4s_1;
   }
   function CausalitySolver$checkBaseTheory$lambda(a) {
-    return a.termRepresentation_f75xll_k$();
+    return a.p4r();
   }
   function CausalitySolver$getSubsets$lambda$lambda(it) {
-    return it.get_isYes_it760k_k$();
+    return it.e1z();
   }
   function CausalitySolver$getSubsets$lambda$lambda_0($this_arg2pScope) {
     return function (it) {
-      return ensureNotNull(it.get_substitution_i7fi9y_k$().get_wei43m_k$($this_arg2pScope.get_X_1mhr5b_k$())).castToList();
+      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.get_X_1mhr5b_k$()]));
+      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.get_isYes_it760k_k$();
+    return it.e1z();
   }
   function CausalitySolver$getInterventions$lambda$lambda_0($this_arg2pScope) {
     return function (it) {
-      return ensureNotNull(it.get_substitution_i7fi9y_k$().get_wei43m_k$($this_arg2pScope.get_X_1mhr5b_k$())).castToList();
+      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.get_X_1mhr5b_k$()]));
+      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));
     };
@@ -762,21 +763,21 @@
     var tmp = this;
     var tmp_0 = Arg2pSolverFactory_instance;
     var tmp0_graphExtensions = emptyList();
-    tmp.solver_1 = tmp_0.default$default_dllkmc_k$(VOID, (new FlagsBuilder(VOID, VOID, VOID, VOID, VOID, 'grounded', VOID, VOID, VOID, VOID, tmp0_graphExtensions)).create_md4cuc_k$());
-    this.operators_1 = Companion_instance_3.default$default_tu0rs4_k$().operators_rhxmbz_k$();
+    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.graphCache_1 = LinkedHashMap_init_$Create$();
-    this.alias_1 = 'prolog.argumentation.causality.solver';
-    this.theoryOperators_1 = Companion_instance_4.operators_rhxmbz_k$().plusOperatorSet(Companion_instance_5.operators_rhxmbz_k$()).plusOperatorSet(Companion_getInstance_3().DEFAULT);
+    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).clean_unw6tt_k$ = function (string) {
+  protoOf(CausalitySolver).u4v = function (string) {
     return replace(replace(string, ' ', ''), "'", '');
   };
-  protoOf(CausalitySolver).get_alias_iooo4n_k$ = function () {
-    return this.alias_1;
+  protoOf(CausalitySolver).w2i = function () {
+    return this.q4v_1;
   };
-  protoOf(CausalitySolver).get_baseContent_3c5zi9_k$ = function () {
+  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();
@@ -784,22 +785,27 @@
     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.iterator_jk1svi_k$();
-    while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
-      var element = _iterator__ex2g4s.next_20eer_k$();
-      var tmp$ret$4 = element.get_signature_q9pg5r_k$();
-      destination.put_4fpzoq_k$(tmp$ret$4, element);
+    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.alias_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.theoryOperators_1));
+    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).identifier_qrkms7_k$ = function () {
+  protoOf(CausalitySolver).e4e = function () {
     return 'causality';
   };
-  protoOf(CausalitySolver).get_theoryOperators_6jbeo1_k$ = function () {
-    return this.theoryOperators_1;
+  protoOf(CausalitySolver).n4d = function () {
+    return this.r4v_1;
   };
   //region block: post-declaration
-  protoOf(CausalitySolver).content_fqilq1_k$ = content;
+  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;
   //endregion
   //region block: exports
   _.$_$ = _.$_$ || {};