@tuprolog/2p-full 0.31.1 → 0.31.3

package/2p-bdd.js

@@ -78,15 +78,15 @@
     return new SimpleBinaryDecisionDiagramBuilder();
   };
   Companion_0.prototype.reducedOf = function (delegate) {
-    return this.z31(delegate === void 1 ? this.defaultOf() : delegate);
+    return this.c32(delegate === void 1 ? this.defaultOf() : delegate);
   };
-  Companion_0.prototype.z31 = function (delegate) {
+  Companion_0.prototype.c32 = function (delegate) {
     return new ReducedBinaryDecisionDiagramBuilder(delegate);
   };
-  Companion_0.prototype.a32 = function (delegate, $mask0, $handler) {
+  Companion_0.prototype.d32 = function (delegate, $mask0, $handler) {
     if (!(($mask0 & 1) === 0))
       delegate = this.defaultOf();
-    return this.z31(delegate);
+    return this.c32(delegate);
   };
   var Companion_instance_0;
   function Companion_getInstance_0() {
@@ -139,13 +139,13 @@
   function applyThenExpansion$lambda($this_applyThenExpansion, $unaryOp, $expansionFalseTerminal, $expansionTrueTerminal, $expansionOperator) {
     return function () {
       var tmp = Companion_getInstance_0();
-      return $this_applyThenExpansion.accept(new UnaryApplyExpansionVisitor(tmp.a32(null, 1, null), $unaryOp, $expansionFalseTerminal, $expansionTrueTerminal, $expansionOperator));
+      return $this_applyThenExpansion.accept(new UnaryApplyExpansionVisitor(tmp.d32(null, 1, null), $unaryOp, $expansionFalseTerminal, $expansionTrueTerminal, $expansionOperator));
     };
   }
   function applyThenExpansion$lambda_0($this_applyThenExpansion, $that, $binaryOp, $expansionFalseTerminal, $expansionTrueTerminal, $expansionOperator) {
     return function () {
       var tmp = Companion_getInstance_0();
-      return $this_applyThenExpansion.accept(new BinaryApplyExpansionVisitor(tmp.a32(null, 1, null), $that, $binaryOp, $expansionFalseTerminal, $expansionTrueTerminal, $expansionOperator));
+      return $this_applyThenExpansion.accept(new BinaryApplyExpansionVisitor(tmp.d32(null, 1, null), $that, $binaryOp, $expansionFalseTerminal, $expansionTrueTerminal, $expansionOperator));
     };
   }
   function bddTerminalOf(value) {
@@ -162,7 +162,7 @@
   }
   function map(_this__u8e3s4, mapper) {
     var tmp = Companion_getInstance_0();
-    var builder = tmp.a32(null, 1, null);
+    var builder = tmp.d32(null, 1, null);
     return runOperationAndCatchErrors(map$lambda(_this__u8e3s4, builder, mapper));
   }
   function runOperationAndCatchErrors(action) {
@@ -200,15 +200,15 @@
   }
   function BinaryDecisionDiagramException(message, cause) {
     RuntimeException_init_$Init$(message, cause, this);
-    this.b32_1 = message;
-    this.c32_1 = cause;
+    this.e32_1 = message;
+    this.f32_1 = cause;
     captureStack(this, BinaryDecisionDiagramException);
   }
   BinaryDecisionDiagramException.prototype.k1 = function () {
-    return this.b32_1;
+    return this.e32_1;
   };
   BinaryDecisionDiagramException.prototype.l1 = function () {
-    return this.c32_1;
+    return this.f32_1;
   };
   Object.defineProperty(BinaryDecisionDiagramException.prototype, 'message', {
     configurable: true,
@@ -227,63 +227,63 @@
     captureStack(this, BinaryDecisionDiagramOperationException);
   }
   function AnyVisitor(predicate) {
-    this.d32_1 = predicate;
+    this.g32_1 = predicate;
   }
-  AnyVisitor.prototype.e32 = function (node) {
+  AnyVisitor.prototype.h32 = function (node) {
     return false;
   };
   AnyVisitor.prototype.visitTerminal = function (node) {
-    return this.e32(node);
+    return this.h32(node);
   };
-  AnyVisitor.prototype.f32 = function (node) {
-    var result = this.d32_1(node.b1());
+  AnyVisitor.prototype.i32 = function (node) {
+    var result = this.g32_1(node.b1());
     if (!result) {
-      result = node.x31().accept(this);
+      result = node.a32().accept(this);
     }
     if (!result) {
-      result = node.y31().accept(this);
+      result = node.b32().accept(this);
     }
     return result;
   };
   AnyVisitor.prototype.visitVariable = function (node) {
-    return this.f32(node);
+    return this.i32(node);
   };
   function visitWithTable($this, first, second, computation) {
     var firstKey = hashCode(first);
     var secondKey = hashCode(second);
-    if (!$this.m32_1.u2(firstKey)) {
+    if (!$this.p32_1.u2(firstKey)) {
       // Inline function 'kotlin.collections.set' call
-      var tmp0_set = $this.m32_1;
+      var tmp0_set = $this.p32_1;
       var tmp$ret$0;
       // Inline function 'kotlin.collections.mutableMapOf' call
       tmp$ret$0 = LinkedHashMap_init_$Create$();
       var tmp1_set = tmp$ret$0;
       tmp0_set.w3(firstKey, tmp1_set);
     }
-    var cached = ensureNotNull($this.m32_1.a3(firstKey)).a3(secondKey);
+    var cached = ensureNotNull($this.p32_1.a3(firstKey)).a3(secondKey);
     if (!(cached == null)) {
       return cached;
     }
     var result = computation();
     // Inline function 'kotlin.collections.set' call
-    var tmp2_set = ensureNotNull($this.m32_1.a3(firstKey));
+    var tmp2_set = ensureNotNull($this.p32_1.a3(firstKey));
     tmp2_set.w3(secondKey, result);
     return result;
   }
   function apply($this, first, second) {
-    var truth = $this.i32_1(first.v31(), second.v31());
-    return new Pair($this.g32_1.buildTerminal(truth), truth ? $this.k32_1 : $this.j32_1);
+    var truth = $this.l32_1(first.y31(), second.y31());
+    return new Pair($this.j32_1.buildTerminal(truth), truth ? $this.n32_1 : $this.m32_1);
   }
   function apply_0($this, first, second) {
-    $this.h32_1 = second.x31();
-    var lowNode = first.w31($this);
-    $this.h32_1 = second.y31();
-    var highNode = first.w31($this);
-    return new Pair($this.g32_1.buildVariable(second.b1(), lowNode.g4_1, highNode.g4_1), $this.l32_1(second.b1(), lowNode.h4_1, highNode.h4_1));
+    $this.k32_1 = second.a32();
+    var lowNode = first.z31($this);
+    $this.k32_1 = second.b32();
+    var highNode = first.z31($this);
+    return new Pair($this.j32_1.buildVariable(second.b1(), lowNode.g4_1, highNode.g4_1), $this.o32_1(second.b1(), lowNode.h4_1, highNode.h4_1));
   }
   function apply_1($this, first, second) {
-    $this.h32_1 = first;
-    return second.w31($this);
+    $this.k32_1 = first;
+    return second.z31($this);
   }
   function apply_2($this, first, second) {
     var newValue;
@@ -293,25 +293,25 @@
     var secondHigh;
     if (compareTo(first.b1(), second.b1()) <= 0) {
       newValue = first.b1();
-      firstHigh = first.y31();
-      firstLow = first.x31();
+      firstHigh = first.b32();
+      firstLow = first.a32();
     } else {
       newValue = second.b1();
       firstLow = first;
       firstHigh = first;
     }
     if (compareTo(second.b1(), first.b1()) <= 0) {
-      secondHigh = second.y31();
-      secondLow = second.x31();
+      secondHigh = second.b32();
+      secondLow = second.a32();
     } else {
       secondLow = second;
       secondHigh = second;
     }
-    $this.h32_1 = secondLow;
+    $this.k32_1 = secondLow;
     var lowNode = firstLow.accept($this);
-    $this.h32_1 = secondHigh;
+    $this.k32_1 = secondHigh;
     var highNode = firstHigh.accept($this);
-    return new Pair($this.g32_1.buildVariable(newValue, lowNode.g4_1, highNode.g4_1), $this.l32_1(newValue, lowNode.h4_1, highNode.h4_1));
+    return new Pair($this.j32_1.buildVariable(newValue, lowNode.g4_1, highNode.g4_1), $this.o32_1(newValue, lowNode.h4_1, highNode.h4_1));
   }
   function BinaryApplyExpansionVisitor$visit$lambda$lambda(this$0, $node) {
     return function (that) {
@@ -325,11 +325,11 @@
   }
   function BinaryApplyExpansionVisitor$visit$lambda(this$0, $node) {
     return function () {
-      var tmp = this$0.n32_1;
-      tmp.o32_1 = BinaryApplyExpansionVisitor$visit$lambda$lambda(this$0, $node);
-      var tmp_0 = this$0.n32_1;
-      tmp_0.p32_1 = BinaryApplyExpansionVisitor$visit$lambda$lambda_0(this$0, $node);
-      return this$0.h32_1.accept(this$0.n32_1);
+      var tmp = this$0.q32_1;
+      tmp.r32_1 = BinaryApplyExpansionVisitor$visit$lambda$lambda(this$0, $node);
+      var tmp_0 = this$0.q32_1;
+      tmp_0.s32_1 = BinaryApplyExpansionVisitor$visit$lambda$lambda_0(this$0, $node);
+      return this$0.k32_1.accept(this$0.q32_1);
     };
   }
   function BinaryApplyExpansionVisitor$visit$lambda$lambda_1(this$0, $node) {
@@ -344,149 +344,149 @@
   }
   function BinaryApplyExpansionVisitor$visit$lambda_0(this$0, $node) {
     return function () {
-      var tmp = this$0.n32_1;
-      tmp.o32_1 = BinaryApplyExpansionVisitor$visit$lambda$lambda_1(this$0, $node);
-      var tmp_0 = this$0.n32_1;
-      tmp_0.p32_1 = BinaryApplyExpansionVisitor$visit$lambda$lambda_2(this$0, $node);
-      return this$0.h32_1.accept(this$0.n32_1);
+      var tmp = this$0.q32_1;
+      tmp.r32_1 = BinaryApplyExpansionVisitor$visit$lambda$lambda_1(this$0, $node);
+      var tmp_0 = this$0.q32_1;
+      tmp_0.s32_1 = BinaryApplyExpansionVisitor$visit$lambda$lambda_2(this$0, $node);
+      return this$0.k32_1.accept(this$0.q32_1);
     };
   }
   function BinaryApplyExpansionVisitor(builder, thatNode, operator, expansionFalseTerminal, expansionTrueTerminal, expansionOperator) {
-    this.g32_1 = builder;
-    this.h32_1 = thatNode;
-    this.i32_1 = operator;
-    this.j32_1 = expansionFalseTerminal;
-    this.k32_1 = expansionTrueTerminal;
-    this.l32_1 = expansionOperator;
+    this.j32_1 = builder;
+    this.k32_1 = thatNode;
+    this.l32_1 = operator;
+    this.m32_1 = expansionFalseTerminal;
+    this.n32_1 = expansionTrueTerminal;
+    this.o32_1 = expansionOperator;
     var tmp = this;
     var tmp$ret$0;
     // Inline function 'kotlin.collections.mutableMapOf' call
     tmp$ret$0 = LinkedHashMap_init_$Create$();
-    tmp.m32_1 = tmp$ret$0;
-    this.n32_1 = new CastVisitor();
+    tmp.p32_1 = tmp$ret$0;
+    this.q32_1 = new CastVisitor();
   }
-  BinaryApplyExpansionVisitor.prototype.e32 = function (node) {
-    var tmp = this.h32_1;
+  BinaryApplyExpansionVisitor.prototype.h32 = function (node) {
+    var tmp = this.k32_1;
     return visitWithTable(this, node, tmp, BinaryApplyExpansionVisitor$visit$lambda(this, node));
   };
   BinaryApplyExpansionVisitor.prototype.visitTerminal = function (node) {
-    return this.e32(node);
+    return this.h32(node);
   };
-  BinaryApplyExpansionVisitor.prototype.f32 = function (node) {
-    var tmp = this.h32_1;
+  BinaryApplyExpansionVisitor.prototype.i32 = function (node) {
+    var tmp = this.k32_1;
     return visitWithTable(this, node, tmp, BinaryApplyExpansionVisitor$visit$lambda_0(this, node));
   };
   BinaryApplyExpansionVisitor.prototype.visitVariable = function (node) {
-    return this.f32(node);
+    return this.i32(node);
   };
   function ExpansionVisitor(varOp, falseTerminal, trueTerminal) {
-    this.q32_1 = varOp;
-    this.r32_1 = falseTerminal;
-    this.s32_1 = trueTerminal;
+    this.t32_1 = varOp;
+    this.u32_1 = falseTerminal;
+    this.v32_1 = trueTerminal;
   }
-  ExpansionVisitor.prototype.e32 = function (node) {
-    return node.v31() ? this.s32_1 : this.r32_1;
+  ExpansionVisitor.prototype.h32 = function (node) {
+    return node.y31() ? this.v32_1 : this.u32_1;
   };
   ExpansionVisitor.prototype.visitTerminal = function (node) {
-    return this.e32(node);
+    return this.h32(node);
   };
-  ExpansionVisitor.prototype.f32 = function (node) {
-    var lowValue = node.x31().accept(this);
-    var highValue = node.y31().accept(this);
-    return this.q32_1(node.b1(), lowValue, highValue);
+  ExpansionVisitor.prototype.i32 = function (node) {
+    var lowValue = node.a32().accept(this);
+    var highValue = node.b32().accept(this);
+    return this.t32_1(node.b1(), lowValue, highValue);
   };
   ExpansionVisitor.prototype.visitVariable = function (node) {
-    return this.f32(node);
+    return this.i32(node);
   };
   function UnaryApplyExpansionVisitor(builder, operator, expansionFalseTerminal, expansionTrueTerminal, expansionOperator) {
-    this.t32_1 = builder;
-    this.u32_1 = operator;
-    this.v32_1 = expansionFalseTerminal;
-    this.w32_1 = expansionTrueTerminal;
-    this.x32_1 = expansionOperator;
+    this.w32_1 = builder;
+    this.x32_1 = operator;
+    this.y32_1 = expansionFalseTerminal;
+    this.z32_1 = expansionTrueTerminal;
+    this.a33_1 = expansionOperator;
     var tmp = this;
     var tmp$ret$0;
     // Inline function 'kotlin.collections.mutableMapOf' call
     tmp$ret$0 = LinkedHashMap_init_$Create$();
-    tmp.y32_1 = tmp$ret$0;
+    tmp.b33_1 = tmp$ret$0;
   }
-  UnaryApplyExpansionVisitor.prototype.e32 = function (node) {
-    var resTruth = this.u32_1(node.v31());
-    return new Pair(this.t32_1.buildTerminal(resTruth), resTruth ? this.w32_1 : this.v32_1);
+  UnaryApplyExpansionVisitor.prototype.h32 = function (node) {
+    var resTruth = this.x32_1(node.y31());
+    return new Pair(this.w32_1.buildTerminal(resTruth), resTruth ? this.z32_1 : this.y32_1);
   };
   UnaryApplyExpansionVisitor.prototype.visitTerminal = function (node) {
-    return this.e32(node);
+    return this.h32(node);
   };
-  UnaryApplyExpansionVisitor.prototype.f32 = function (node) {
+  UnaryApplyExpansionVisitor.prototype.i32 = function (node) {
     var key = hashCode(node);
-    if (this.y32_1.u2(key)) {
-      return ensureNotNull(this.y32_1.a3(key));
+    if (this.b33_1.u2(key)) {
+      return ensureNotNull(this.b33_1.a3(key));
     }
-    var lowNode = node.x31().accept(this);
-    var highNode = node.y31().accept(this);
-    var result = new Pair(this.t32_1.buildVariable(node.b1(), lowNode.g4_1, highNode.g4_1), this.x32_1(node.b1(), lowNode.h4_1, highNode.h4_1));
+    var lowNode = node.a32().accept(this);
+    var highNode = node.b32().accept(this);
+    var result = new Pair(this.w32_1.buildVariable(node.b1(), lowNode.g4_1, highNode.g4_1), this.a33_1(node.b1(), lowNode.h4_1, highNode.h4_1));
     // Inline function 'kotlin.collections.set' call
-    var tmp0_set = this.y32_1;
+    var tmp0_set = this.b33_1;
     tmp0_set.w3(key, result);
     return result;
   };
   UnaryApplyExpansionVisitor.prototype.visitVariable = function (node) {
-    return this.f32(node);
+    return this.i32(node);
   };
   function ReducedBinaryDecisionDiagramBuilder(delegate) {
-    this.z32_1 = delegate;
+    this.c33_1 = delegate;
     var tmp = this;
     var tmp$ret$0;
     // Inline function 'kotlin.collections.mutableMapOf' call
     tmp$ret$0 = LinkedHashMap_init_$Create$();
-    tmp.a33_1 = tmp$ret$0;
+    tmp.d33_1 = tmp$ret$0;
   }
-  ReducedBinaryDecisionDiagramBuilder.prototype.b33 = function (value, low, high) {
+  ReducedBinaryDecisionDiagramBuilder.prototype.e33 = function (value, low, high) {
     if (equals(low, high)) {
       return low;
     }
-    var newNode = this.z32_1.buildVariable(value, low, high);
+    var newNode = this.c33_1.buildVariable(value, low, high);
     var key = hashCode(newNode);
-    var cached = this.a33_1.a3(key);
+    var cached = this.d33_1.a3(key);
     var tmp;
     if (!(cached == null)) {
       tmp = cached;
     } else {
       // Inline function 'kotlin.collections.set' call
-      var tmp0_set = this.a33_1;
+      var tmp0_set = this.d33_1;
       tmp0_set.w3(key, newNode);
       tmp = newNode;
     }
     return tmp;
   };
   ReducedBinaryDecisionDiagramBuilder.prototype.buildVariable = function (value, low, high) {
-    return this.b33(isComparable(value) ? value : THROW_CCE(), low, high);
+    return this.e33(isComparable(value) ? value : THROW_CCE(), low, high);
   };
-  ReducedBinaryDecisionDiagramBuilder.prototype.c33 = function (truth) {
-    return this.z32_1.buildTerminal(truth);
+  ReducedBinaryDecisionDiagramBuilder.prototype.f33 = function (truth) {
+    return this.c33_1.buildTerminal(truth);
   };
   ReducedBinaryDecisionDiagramBuilder.prototype.buildTerminal = function (truth) {
-    return this.c33(truth);
+    return this.f33(truth);
   };
   function SimpleBinaryDecisionDiagramBuilder() {
   }
-  SimpleBinaryDecisionDiagramBuilder.prototype.b33 = function (value, low, high) {
+  SimpleBinaryDecisionDiagramBuilder.prototype.e33 = function (value, low, high) {
     return new SimpleBinaryDecisionDiagramVariable(value, low, high);
   };
   SimpleBinaryDecisionDiagramBuilder.prototype.buildVariable = function (value, low, high) {
-    return this.b33(isComparable(value) ? value : THROW_CCE(), low, high);
+    return this.e33(isComparable(value) ? value : THROW_CCE(), low, high);
   };
-  SimpleBinaryDecisionDiagramBuilder.prototype.c33 = function (truth) {
+  SimpleBinaryDecisionDiagramBuilder.prototype.f33 = function (truth) {
     return new SimpleBinaryDecisionDiagramTerminal(truth);
   };
   SimpleBinaryDecisionDiagramBuilder.prototype.buildTerminal = function (truth) {
-    return this.c33(truth);
+    return this.f33(truth);
   };
   function SimpleBinaryDecisionDiagramTerminal(truth) {
-    this.d33_1 = truth;
+    this.g33_1 = truth;
   }
-  SimpleBinaryDecisionDiagramTerminal.prototype.v31 = function () {
-    return this.d33_1;
+  SimpleBinaryDecisionDiagramTerminal.prototype.y31 = function () {
+    return this.g33_1;
   };
   SimpleBinaryDecisionDiagramTerminal.prototype.equals = function (other) {
     if (this === other)
@@ -497,49 +497,49 @@
       other;
     else
       THROW_CCE();
-    if (!(this.d33_1 === other.d33_1))
+    if (!(this.g33_1 === other.g33_1))
       return false;
     return true;
   };
   SimpleBinaryDecisionDiagramTerminal.prototype.hashCode = function () {
-    return this.d33_1 | 0;
+    return this.g33_1 | 0;
   };
   SimpleBinaryDecisionDiagramTerminal.prototype.toString = function () {
-    return 'SimpleBinaryDecisionDiagramTerminal(truth=' + this.d33_1 + ')';
+    return 'SimpleBinaryDecisionDiagramTerminal(truth=' + this.g33_1 + ')';
   };
   SimpleBinaryDecisionDiagramTerminal.prototype.accept = function (visitor) {
-    return this.w31(visitor);
+    return this.z31(visitor);
   };
   function _get_hashCodeCache__ny3r0q($this) {
     var tmp$ret$0;
     // Inline function 'kotlin.getValue' call
     var tmp0_getValue = hashCodeCache$factory();
-    tmp$ret$0 = $this.h33_1.b1();
+    tmp$ret$0 = $this.k33_1.b1();
     return tmp$ret$0;
   }
   function SimpleBinaryDecisionDiagramVariable$hashCodeCache$delegate$lambda(this$0) {
     return function () {
-      var result = hashCode(this$0.e33_1);
-      result = imul(31, result) + hashCode(this$0.f33_1) | 0;
-      result = imul(31, result) + hashCode(this$0.g33_1) | 0;
+      var result = hashCode(this$0.h33_1);
+      result = imul(31, result) + hashCode(this$0.i33_1) | 0;
+      result = imul(31, result) + hashCode(this$0.j33_1) | 0;
       return result;
     };
   }
   function SimpleBinaryDecisionDiagramVariable(value, low, high) {
-    this.e33_1 = value;
-    this.f33_1 = low;
-    this.g33_1 = high;
+    this.h33_1 = value;
+    this.i33_1 = low;
+    this.j33_1 = high;
     var tmp = this;
-    tmp.h33_1 = lazy(SimpleBinaryDecisionDiagramVariable$hashCodeCache$delegate$lambda(this));
+    tmp.k33_1 = lazy(SimpleBinaryDecisionDiagramVariable$hashCodeCache$delegate$lambda(this));
   }
   SimpleBinaryDecisionDiagramVariable.prototype.b1 = function () {
-    return this.e33_1;
+    return this.h33_1;
   };
-  SimpleBinaryDecisionDiagramVariable.prototype.x31 = function () {
-    return this.f33_1;
+  SimpleBinaryDecisionDiagramVariable.prototype.a32 = function () {
+    return this.i33_1;
   };
-  SimpleBinaryDecisionDiagramVariable.prototype.y31 = function () {
-    return this.g33_1;
+  SimpleBinaryDecisionDiagramVariable.prototype.b32 = function () {
+    return this.j33_1;
   };
   SimpleBinaryDecisionDiagramVariable.prototype.equals = function (other) {
     if (this === other)
@@ -550,11 +550,11 @@
       other;
     else
       THROW_CCE();
-    if (!equals(this.e33_1, other.e33_1))
+    if (!equals(this.h33_1, other.h33_1))
       return false;
-    if (!equals(this.f33_1, other.f33_1))
+    if (!equals(this.i33_1, other.i33_1))
       return false;
-    if (!equals(this.g33_1, other.g33_1))
+    if (!equals(this.j33_1, other.j33_1))
       return false;
     return true;
   };
@@ -562,10 +562,10 @@
     return _get_hashCodeCache__ny3r0q(this);
   };
   SimpleBinaryDecisionDiagramVariable.prototype.toString = function () {
-    return 'SimpleBinaryDecisionDiagramVariable(value=' + this.e33_1 + ', low=' + this.f33_1 + ', high=' + this.g33_1 + ')';
+    return 'SimpleBinaryDecisionDiagramVariable(value=' + this.h33_1 + ', low=' + this.i33_1 + ', high=' + this.j33_1 + ')';
   };
   SimpleBinaryDecisionDiagramVariable.prototype.accept = function (visitor) {
-    return this.w31(visitor);
+    return this.z31(visitor);
   };
   function hashCodeCache$factory() {
     return getPropertyCallableRef('hashCodeCache', 1, KProperty1, function (receiver) {
@@ -573,24 +573,24 @@
     }, null);
   }
   function CastVisitor() {
-    this.o32_1 = null;
-    this.p32_1 = null;
+    this.r32_1 = null;
+    this.s32_1 = null;
   }
-  CastVisitor.prototype.e32 = function (node) {
-    return ensureNotNull(this.o32_1)(node);
+  CastVisitor.prototype.h32 = function (node) {
+    return ensureNotNull(this.r32_1)(node);
   };
   CastVisitor.prototype.visitTerminal = function (node) {
-    return this.e32(node);
+    return this.h32(node);
   };
-  CastVisitor.prototype.f32 = function (node) {
-    return ensureNotNull(this.p32_1)(node);
+  CastVisitor.prototype.i32 = function (node) {
+    return ensureNotNull(this.s32_1)(node);
   };
   CastVisitor.prototype.visitVariable = function (node) {
-    return this.f32(node);
+    return this.i32(node);
   };
   //region block: post-declaration
-  SimpleBinaryDecisionDiagramTerminal.prototype.w31 = accept;
-  SimpleBinaryDecisionDiagramVariable.prototype.w31 = accept_0;
+  SimpleBinaryDecisionDiagramTerminal.prototype.z31 = accept;
+  SimpleBinaryDecisionDiagramVariable.prototype.z31 = accept_0;
   //endregion
   //region block: exports
   _.$_$ = _.$_$ || {};

package/2p-core.js

@@ -1652,7 +1652,7 @@
   }
   function Info() {
     Info_instance = this;
-    this.mu_1 = '0.31.1';
+    this.mu_1 = '0.31.3';
     var tmp = this;
     tmp.nu_1 = lazy(Info$PLATFORM$delegate$lambda);
     var tmp_0 = this;