@tuprolog/arg2p-causality-solver 0.13.2 → 0.14.1

package/2p-core.js

@@ -19,50 +19,50 @@
   'use strict';
   //region block: imports
   var imul = Math.imul;
-  var protoOf = kotlin_kotlin.$_$.b6;
-  var initMetadataForInterface = kotlin_kotlin.$_$.o5;
-  var initMetadataForCompanion = kotlin_kotlin.$_$.n5;
+  var protoOf = kotlin_kotlin.$_$.a6;
+  var initMetadataForInterface = kotlin_kotlin.$_$.p5;
+  var initMetadataForCompanion = kotlin_kotlin.$_$.o5;
   var emptyList = kotlin_kotlin.$_$.e2;
-  var emptySequence = kotlin_kotlin.$_$.d7;
-  var THROW_CCE = kotlin_kotlin.$_$.u9;
-  var isInterface = kotlin_kotlin.$_$.t5;
+  var emptySequence = kotlin_kotlin.$_$.c7;
+  var THROW_CCE = kotlin_kotlin.$_$.t9;
+  var isInterface = kotlin_kotlin.$_$.u5;
   var VOID = kotlin_kotlin.$_$.b;
   var toList = kotlin_kotlin.$_$.u3;
   var single = kotlin_kotlin.$_$.q3;
   var toList_0 = kotlin_kotlin.$_$.t3;
-  var toList_1 = kotlin_kotlin.$_$.e8;
-  var initMetadataForClass = kotlin_kotlin.$_$.m5;
+  var toList_1 = kotlin_kotlin.$_$.d8;
+  var initMetadataForClass = kotlin_kotlin.$_$.n5;
   var NoSuchElementException_init_$Create$ = kotlin_kotlin.$_$.w;
-  var map = kotlin_kotlin.$_$.r7;
+  var map = kotlin_kotlin.$_$.q7;
   var UnsupportedOperationException_init_$Create$ = kotlin_kotlin.$_$.c1;
   var KtMap = kotlin_kotlin.$_$.m1;
-  var ensureNotNull = kotlin_kotlin.$_$.x9;
+  var ensureNotNull = kotlin_kotlin.$_$.w9;
   var listOf = kotlin_kotlin.$_$.u2;
   var asIterable = kotlin_kotlin.$_$.r1;
   var any = kotlin_kotlin.$_$.q1;
-  var toString = kotlin_kotlin.$_$.e6;
+  var toString = kotlin_kotlin.$_$.d6;
   var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.q;
   var Unit_instance = kotlin_kotlin.$_$.j1;
-  var asIterable_0 = kotlin_kotlin.$_$.x6;
+  var asIterable_0 = kotlin_kotlin.$_$.w6;
   var arrayConcat = kotlin_kotlin.$_$.a;
-  var until = kotlin_kotlin.$_$.q6;
+  var until = kotlin_kotlin.$_$.p6;
   var collectionSizeOrDefault = kotlin_kotlin.$_$.x1;
   var ArrayList_init_$Create$ = kotlin_kotlin.$_$.c;
   var Companion_getInstance = kotlin_io_github_gciatto_kt_math.$_$.e;
-  var fromInt = kotlin_kotlin.$_$.m4;
+  var fromInt = kotlin_kotlin.$_$.n4;
   var Companion_getInstance_0 = kotlin_io_github_gciatto_kt_math.$_$.d;
   var cursor = kotlin_it_unibo_tuprolog_utils.$_$.s;
   var KtList = kotlin_kotlin.$_$.l1;
   var cursor_0 = kotlin_it_unibo_tuprolog_utils.$_$.t;
   var cursor_1 = kotlin_it_unibo_tuprolog_utils.$_$.u;
-  var toString_0 = kotlin_kotlin.$_$.ea;
+  var toString_0 = kotlin_kotlin.$_$.ca;
   var asReversed = kotlin_kotlin.$_$.s1;
   var last = kotlin_kotlin.$_$.q2;
-  var count = kotlin_kotlin.$_$.a7;
-  var NumberFormatException = kotlin_kotlin.$_$.r9;
-  var contains = kotlin_kotlin.$_$.m8;
+  var count = kotlin_kotlin.$_$.z6;
+  var NumberFormatException = kotlin_kotlin.$_$.q9;
+  var contains = kotlin_kotlin.$_$.l8;
   var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.f;
-  var toCharArray = kotlin_kotlin.$_$.c9;
+  var toCharArray = kotlin_kotlin.$_$.b9;
   var asSequence = kotlin_kotlin.$_$.t1;
   var emptyMap = kotlin_kotlin.$_$.f2;
   var first = kotlin_kotlin.$_$.i2;
@@ -70,33 +70,33 @@
   var slice = kotlin_kotlin.$_$.s3;
   var listOfNotNull = kotlin_kotlin.$_$.s2;
   var plus = kotlin_kotlin.$_$.l3;
-  var equals = kotlin_kotlin.$_$.g5;
-  var flatMap = kotlin_kotlin.$_$.j7;
+  var equals = kotlin_kotlin.$_$.h5;
+  var flatMap = kotlin_kotlin.$_$.i7;
   var asSequence_0 = kotlin_kotlin.$_$.v1;
-  var to = kotlin_kotlin.$_$.fa;
+  var to = kotlin_kotlin.$_$.da;
   var mapOf = kotlin_kotlin.$_$.w2;
-  var sequenceOf = kotlin_kotlin.$_$.w7;
+  var sequenceOf = kotlin_kotlin.$_$.v7;
   var IllegalStateException_init_$Create$ = kotlin_kotlin.$_$.t;
-  var getKClass = kotlin_kotlin.$_$.s6;
+  var getKClass = kotlin_kotlin.$_$.r6;
   var ClassCastException_init_$Create$ = kotlin_kotlin.$_$.o;
   var Taggable = kotlin_it_unibo_tuprolog_utils.$_$.n;
   var Castable = kotlin_it_unibo_tuprolog_utils.$_$.f;
   var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.d;
   var firstOrNull = kotlin_kotlin.$_$.h2;
   var CoroutineImpl = kotlin_kotlin.$_$.e4;
-  var SequenceScope = kotlin_kotlin.$_$.u6;
+  var SequenceScope = kotlin_kotlin.$_$.t6;
   var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.d4;
-  var initMetadataForLambda = kotlin_kotlin.$_$.p5;
-  var none = kotlin_kotlin.$_$.t7;
+  var initMetadataForLambda = kotlin_kotlin.$_$.q5;
+  var none = kotlin_kotlin.$_$.s7;
   var mapCapacity = kotlin_kotlin.$_$.v2;
   var LinkedHashMap_init_$Create$_0 = kotlin_kotlin.$_$.e;
   var mutableSetOf = kotlin_kotlin.$_$.g3;
   var getValue = kotlin_kotlin.$_$.k2;
   var contains_0 = kotlin_kotlin.$_$.y1;
-  var sequence = kotlin_kotlin.$_$.y7;
-  var lastOrNull = kotlin_kotlin.$_$.o7;
-  var getKClassFromExpression = kotlin_kotlin.$_$.r6;
-  var hashCode = kotlin_kotlin.$_$.l5;
+  var sequence = kotlin_kotlin.$_$.x7;
+  var lastOrNull = kotlin_kotlin.$_$.n7;
+  var getKClassFromExpression = kotlin_kotlin.$_$.q6;
+  var hashCode = kotlin_kotlin.$_$.m5;
   var toMap = kotlin_kotlin.$_$.x3;
   var plus_0 = kotlin_kotlin.$_$.i3;
   var minus = kotlin_kotlin.$_$.a3;
@@ -104,32 +104,32 @@
   var getTag = kotlin_it_unibo_tuprolog_utils.$_$.m;
   var containsTag = kotlin_it_unibo_tuprolog_utils.$_$.l;
   var castTo = kotlin_it_unibo_tuprolog_utils.$_$.e;
-  var Comparator = kotlin_kotlin.$_$.k9;
-  var initMetadataForObject = kotlin_kotlin.$_$.q5;
-  var compareTo = kotlin_kotlin.$_$.e5;
-  var Enum = kotlin_kotlin.$_$.l9;
-  var noWhenBranchMatchedException = kotlin_kotlin.$_$.aa;
+  var Comparator = kotlin_kotlin.$_$.j9;
+  var initMetadataForObject = kotlin_kotlin.$_$.r5;
+  var compareTo = kotlin_kotlin.$_$.f5;
+  var Enum = kotlin_kotlin.$_$.k9;
+  var noWhenBranchMatchedException = kotlin_kotlin.$_$.z9;
   var Regex_init_$Create$ = kotlin_kotlin.$_$.i;
   var toString_1 = kotlin_kotlin.$_$.h1;
   var _Char___init__impl__6a9atx = kotlin_kotlin.$_$.d1;
   var mutableListOf = kotlin_kotlin.$_$.e3;
-  var sequenceOf_0 = kotlin_kotlin.$_$.x7;
-  var objectCreate = kotlin_kotlin.$_$.a6;
-  var captureStack = kotlin_kotlin.$_$.y4;
+  var sequenceOf_0 = kotlin_kotlin.$_$.w7;
+  var objectCreate = kotlin_kotlin.$_$.z5;
+  var captureStack = kotlin_kotlin.$_$.z4;
   var RuntimeException_init_$Init$ = kotlin_kotlin.$_$.b1;
   var RuntimeException_init_$Init$_0 = kotlin_kotlin.$_$.a1;
-  var RuntimeException = kotlin_kotlin.$_$.t9;
-  var lazy = kotlin_kotlin.$_$.z9;
-  var KProperty1 = kotlin_kotlin.$_$.t6;
-  var getPropertyCallableRef = kotlin_kotlin.$_$.j5;
+  var RuntimeException = kotlin_kotlin.$_$.s9;
+  var lazy = kotlin_kotlin.$_$.y9;
+  var KProperty1 = kotlin_kotlin.$_$.s6;
+  var getPropertyCallableRef = kotlin_kotlin.$_$.k5;
   var get_lastIndex_0 = kotlin_kotlin.$_$.p2;
   var sliceArray = kotlin_kotlin.$_$.r3;
-  var asSequence_1 = kotlin_kotlin.$_$.y6;
-  var last_0 = kotlin_kotlin.$_$.p7;
-  var take = kotlin_kotlin.$_$.b8;
-  var joinToString = kotlin_kotlin.$_$.n7;
+  var asSequence_1 = kotlin_kotlin.$_$.x6;
+  var last_0 = kotlin_kotlin.$_$.o7;
+  var take = kotlin_kotlin.$_$.a8;
+  var joinToString = kotlin_kotlin.$_$.m7;
   var setTags = kotlin_it_unibo_tuprolog_utils.$_$.i1;
-  var getStringHashCode = kotlin_kotlin.$_$.k5;
+  var getStringHashCode = kotlin_kotlin.$_$.l5;
   var forceCast = kotlin_it_unibo_tuprolog_utils.$_$.z;
   var itemWiseHashCode = kotlin_it_unibo_tuprolog_utils.$_$.d1;
   var joinToString_0 = kotlin_kotlin.$_$.m2;
@@ -137,14 +137,14 @@
   var get_indices = kotlin_kotlin.$_$.l2;
   var IndexOutOfBoundsException_init_$Create$ = kotlin_kotlin.$_$.v;
   var copyToArray = kotlin_kotlin.$_$.c2;
-  var numberToChar = kotlin_kotlin.$_$.y5;
+  var numberToChar = kotlin_kotlin.$_$.x5;
   var mutableMapOf = kotlin_kotlin.$_$.f3;
-  var drop = kotlin_kotlin.$_$.c7;
-  var first_0 = kotlin_kotlin.$_$.i7;
+  var drop = kotlin_kotlin.$_$.b7;
+  var first_0 = kotlin_kotlin.$_$.h7;
   var insertAt = kotlin_it_unibo_tuprolog_utils.$_$.a1;
-  var plus_2 = kotlin_kotlin.$_$.v7;
+  var plus_2 = kotlin_kotlin.$_$.u7;
   var dropLast = kotlin_it_unibo_tuprolog_utils.$_$.y;
-  var iterator = kotlin_kotlin.$_$.m7;
+  var iterator = kotlin_kotlin.$_$.l7;
   var dequeOf = kotlin_it_unibo_tuprolog_utils.$_$.v;
   var itemWiseHashCode_0 = kotlin_it_unibo_tuprolog_utils.$_$.f1;
   var itemWiseEquals = kotlin_it_unibo_tuprolog_utils.$_$.b1;
@@ -153,25 +153,25 @@
   var mapOf_0 = kotlin_kotlin.$_$.x2;
   var emptySet = kotlin_kotlin.$_$.g2;
   var asSequence_2 = kotlin_kotlin.$_$.u1;
-  var filter = kotlin_kotlin.$_$.g7;
-  var firstOrNull_0 = kotlin_kotlin.$_$.h7;
-  var Pair = kotlin_kotlin.$_$.s9;
+  var filter = kotlin_kotlin.$_$.f7;
+  var firstOrNull_0 = kotlin_kotlin.$_$.g7;
+  var Pair = kotlin_kotlin.$_$.r9;
   var setOf = kotlin_kotlin.$_$.p3;
   var setOf_0 = kotlin_kotlin.$_$.o3;
-  var defineProp = kotlin_kotlin.$_$.f5;
+  var defineProp = kotlin_kotlin.$_$.g5;
   var synchronizedOn = kotlin_it_unibo_tuprolog_utils.$_$.k1;
-  var add = kotlin_kotlin.$_$.h4;
-  var IllegalStateException = kotlin_kotlin.$_$.n9;
-  var IllegalArgumentException = kotlin_kotlin.$_$.m9;
+  var add = kotlin_kotlin.$_$.i4;
+  var IllegalStateException = kotlin_kotlin.$_$.m9;
+  var IllegalArgumentException = kotlin_kotlin.$_$.l9;
   var asSequence_3 = kotlin_kotlin.$_$.w1;
-  var toSet = kotlin_kotlin.$_$.g8;
-  var toHashSet = kotlin_kotlin.$_$.d8;
+  var toSet = kotlin_kotlin.$_$.f8;
+  var toHashSet = kotlin_kotlin.$_$.c8;
   var minus_0 = kotlin_kotlin.$_$.d3;
   var minus_1 = kotlin_kotlin.$_$.c3;
   var KtSet = kotlin_kotlin.$_$.n1;
   var plus_3 = kotlin_kotlin.$_$.j3;
   var IllegalArgumentException_init_$Create$_0 = kotlin_kotlin.$_$.r;
-  var THROW_IAE = kotlin_kotlin.$_$.v9;
+  var THROW_IAE = kotlin_kotlin.$_$.u9;
   //endregion
   //region block: pre-declaration
   function apply(substitution, substitutions) {
@@ -1886,8 +1886,8 @@
     var this_0 = until(0, length);
     // Inline function 'kotlin.collections.mapTo' call
     var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
-    var inductionVariable = this_0.zf_1;
-    var last = this_0.ag_1;
+    var inductionVariable = this_0.wf_1;
+    var last = this_0.xf_1;
     if (inductionVariable <= last)
       do {
         var item = inductionVariable;
@@ -2433,7 +2433,7 @@
     this.xy_1 = Terms_getInstance().cs_1;
   }
   protoOf(Companion_16).isWellFormedFunctor = function (string) {
-    return Terms_getInstance().as_1.qa(string);
+    return Terms_getInstance().as_1.pa(string);
   };
   protoOf(Companion_16).enquoteFunctor = function (string) {
     return "'" + string + "'";
@@ -2448,7 +2448,7 @@
     return tmp;
   };
   protoOf(Companion_16).functorNeedsEscape = function (string) {
-    return this.xy_1.ra(string);
+    return this.xy_1.qa(string);
   };
   protoOf(Companion_16).yy = function (string, escapeSingleQuotes, escapeDoubleQuotes) {
     var tmp = asSequence(toCharArray(string));
@@ -2501,8 +2501,8 @@
     var this_0 = until(0, arity);
     // Inline function 'kotlin.collections.mapTo' call
     var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
-    var inductionVariable = this_0.zf_1;
-    var last = this_0.ag_1;
+    var inductionVariable = this_0.wf_1;
+    var last = this_0.xf_1;
     if (inductionVariable <= last)
       do {
         var item = inductionVariable;
@@ -2780,7 +2780,7 @@
             }
 
             this.z7_1 = 2;
-            suspendResult = this.c10_1.lc(this.d10_1, this);
+            suspendResult = this.c10_1.ic(this.d10_1, this);
             if (suspendResult === get_COROUTINE_SUSPENDED()) {
               return suspendResult;
             }
@@ -2840,8 +2840,8 @@
   function anyContradiction($this, substitution, other) {
     // Inline function 'kotlin.let' call
     var destruct = substitution.u() < other.u() ? to(substitution, other) : to(other, substitution);
-    var smaller = destruct.wb();
-    var bigger = destruct.xb();
+    var smaller = destruct.vb();
+    var bigger = destruct.wb();
     var tmp$ret$0;
     $l$block_0: {
       // Inline function 'kotlin.collections.any' call
@@ -2895,8 +2895,8 @@
           var _iterator__ex2g4s = substitutionPairs.o();
           while (_iterator__ex2g4s.r()) {
             var element = _iterator__ex2g4s.s();
-            var variable = element.wb();
-            var substitution = element.xb();
+            var variable = element.vb();
+            var substitution = element.wb();
             var alreadyPresent = tmp0.f2(variable);
             if (alreadyPresent == null) {
               // Inline function 'kotlin.collections.set' call
@@ -3900,7 +3900,7 @@
   };
   protoOf(Companion_23).escapeNameIfNecessary = function (string) {
     var tmp;
-    if (Terms_getInstance().zr_1.qa(string)) {
+    if (Terms_getInstance().zr_1.pa(string)) {
       tmp = string;
     } else {
       tmp = this.escapeName(string);
@@ -4095,8 +4095,8 @@
       tmp = to(' | ' + this.aw().toString() + ']', this.u() - 1 | 0);
     }
     var _destruct__k2r9zo = tmp;
-    var ending = _destruct__k2r9zo.wb();
-    var take_0 = _destruct__k2r9zo.xb();
+    var ending = _destruct__k2r9zo.vb();
+    var take_0 = _destruct__k2r9zo.wb();
     return joinToString(take(this.mu(), take_0), ', ', '[', ending);
   };
   protoOf(AbstractCons).ft = function () {
@@ -6207,7 +6207,7 @@
           case 0:
             this.a8_1 = 3;
             this.z7_1 = 1;
-            suspendResult = this.y19_1.lc(_get_fst__e68kkq(this.x19_1), this);
+            suspendResult = this.y19_1.ic(_get_fst__e68kkq(this.x19_1), this);
             if (suspendResult === get_COROUTINE_SUSPENDED()) {
               return suspendResult;
             }
@@ -6215,7 +6215,7 @@
             continue $sm;
           case 1:
             this.z7_1 = 2;
-            suspendResult = this.y19_1.lc(_get_snd__e6grbc(this.x19_1), this);
+            suspendResult = this.y19_1.ic(_get_snd__e6grbc(this.x19_1), this);
             if (suspendResult === get_COROUTINE_SUSPENDED()) {
               return suspendResult;
             }
@@ -6296,13 +6296,13 @@
   protoOf(LazyTwoItemsList).u = function () {
     return 2;
   };
-  protoOf(LazyTwoItemsList).tb = function (element) {
+  protoOf(LazyTwoItemsList).sb = function (element) {
     return equals(_get_fst__e68kkq(this), element) || equals(_get_snd__e6grbc(this), element);
   };
   protoOf(LazyTwoItemsList).t = function (element) {
     if (!(element == null ? true : !(element == null)))
       return false;
-    return this.tb((element == null ? true : !(element == null)) ? element : THROW_CCE());
+    return this.sb((element == null ? true : !(element == null)) ? element : THROW_CCE());
   };
   protoOf(LazyTwoItemsList).v = function (index) {
     var tmp;
@@ -6340,8 +6340,8 @@
     var this_0 = until(fromIndex, toIndex);
     // Inline function 'kotlin.collections.mapTo' call
     var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
-    var inductionVariable = this_0.zf_1;
-    var last = this_0.ag_1;
+    var inductionVariable = this_0.wf_1;
+    var last = this_0.xf_1;
     if (inductionVariable <= last)
       do {
         var item = inductionVariable;
@@ -7035,8 +7035,8 @@
     while (inductionVariable < last) {
       var item = assignments[inductionVariable];
       inductionVariable = inductionVariable + 1 | 0;
-      var v = item.wb();
-      var t = item.xb();
+      var v = item.vb();
+      var t = item.wb();
       var tmp$ret$0 = to(this.h1a(v), t);
       destination.l(tmp$ret$0);
     }
@@ -7066,8 +7066,8 @@
     while (inductionVariable < last) {
       var item = assignments[inductionVariable];
       inductionVariable = inductionVariable + 1 | 0;
-      var v = item.wb();
-      var t = item.xb();
+      var v = item.vb();
+      var t = item.wb();
       var tmp$ret$0 = to(this.h1a(v), t);
       destination.l(tmp$ret$0);
     }
@@ -7222,7 +7222,7 @@
     }
     var lowerPriority = isLowerPriority($this, struct);
     if (!(lowerPriority == null)) {
-      return wrapWithinParentheses($this, struct.accept(childFormatter$default($this, lowerPriority.dc_1)));
+      return wrapWithinParentheses($this, struct.accept(childFormatter$default($this, lowerPriority.second)));
     }
     return protoOf(AbstractTermFormatter).dv.call($this, struct);
   }
@@ -7322,17 +7322,17 @@
   }
   function TermFormatterWithPrettyExpressions$visitExpression$lambda(this$0, $prefix) {
     return function ($this$addingParenthesesIfForced) {
-      return $this$addingParenthesesIfForced.ct() + _get_suffix__6yo6oq(Companion_getInstance_30(), $this$addingParenthesesIfForced.ct()) + $this$addingParenthesesIfForced.getArgAt(0).accept(childFormatter$default(this$0, $prefix.dc_1));
+      return $this$addingParenthesesIfForced.ct() + _get_suffix__6yo6oq(Companion_getInstance_30(), $this$addingParenthesesIfForced.ct()) + $this$addingParenthesesIfForced.getArgAt(0).accept(childFormatter$default(this$0, $prefix.second));
     };
   }
   function TermFormatterWithPrettyExpressions$visitExpression$lambda_0(this$0, $postfix) {
     return function ($this$addingParenthesesIfForced) {
-      return $this$addingParenthesesIfForced.getArgAt(0).accept(childFormatter$default(this$0, $postfix.dc_1)) + _get_prefix__wiwq7t(Companion_getInstance_30(), $this$addingParenthesesIfForced.ct()) + $this$addingParenthesesIfForced.ct();
+      return $this$addingParenthesesIfForced.getArgAt(0).accept(childFormatter$default(this$0, $postfix.second)) + _get_prefix__wiwq7t(Companion_getInstance_30(), $this$addingParenthesesIfForced.ct()) + $this$addingParenthesesIfForced.ct();
     };
   }
   function TermFormatterWithPrettyExpressions$visitExpression$lambda_1(this$0, $infix) {
     return function ($this$addingParenthesesIfForced) {
-      return $this$addingParenthesesIfForced.getArgAt(0).accept(childFormatter$default(this$0, $infix.dc_1)) + (_get_prefix__wiwq7t(Companion_getInstance_30(), $this$addingParenthesesIfForced.ct()) + $this$addingParenthesesIfForced.ct() + _get_suffix__6yo6oq(Companion_getInstance_30(), $this$addingParenthesesIfForced.ct())) + $this$addingParenthesesIfForced.getArgAt(1).accept(childFormatter$default(this$0, $infix.dc_1));
+      return $this$addingParenthesesIfForced.getArgAt(0).accept(childFormatter$default(this$0, $infix.second)) + (_get_prefix__wiwq7t(Companion_getInstance_30(), $this$addingParenthesesIfForced.ct()) + $this$addingParenthesesIfForced.ct() + _get_suffix__6yo6oq(Companion_getInstance_30(), $this$addingParenthesesIfForced.ct())) + $this$addingParenthesesIfForced.getArgAt(1).accept(childFormatter$default(this$0, $infix.second));
     };
   }
   function TermFormatterWithPrettyExpressions$getSpecifierAndIndex$lambda($specifierPredicate, $priorityPredicate) {
@@ -7790,7 +7790,7 @@
   }
   function VarImpl$isNameWellFormed$delegate$lambda(this$0) {
     return function () {
-      return Terms_getInstance().zr_1.qa(this$0.n1e_1);
+      return Terms_getInstance().zr_1.pa(this$0.n1e_1);
     };
   }
   function VarImpl$_get_isNameWellFormed_$ref_ddmxe7() {
@@ -8933,8 +8933,8 @@
   protoOf(IndicatorImpl).nx = asIndicator_0;
   protoOf(IndicatorImpl).ws = get_arity_3;
   protoOf(IndicatorImpl).sv = get_isWellFormed_0;
-  protoOf(IndicatorImpl).wb = component1;
-  protoOf(IndicatorImpl).xb = component2;
+  protoOf(IndicatorImpl).vb = component1;
+  protoOf(IndicatorImpl).wb = component2;
   protoOf(NumericImpl).bu = get_isConstant_0;
   protoOf(NumericImpl).cu = get_isNumber_0;
   protoOf(NumericImpl).fu = asConstant_0;