@tuprolog/2p-full 1.4.1 → 1.5.0

package/2p-bdd.js

@@ -17,7 +17,7 @@
   var initMetadataForInterface = kotlin_kotlin.$_$.d6;
   var initMetadataForCompanion = kotlin_kotlin.$_$.b6;
   var VOID = kotlin_kotlin.$_$.b;
-  var RuntimeException = kotlin_kotlin.$_$.ma;
+  var RuntimeException = kotlin_kotlin.$_$.na;
   var RuntimeException_init_$Init$ = kotlin_kotlin.$_$.n1;
   var captureStack = kotlin_kotlin.$_$.k5;
   var defineProp = kotlin_kotlin.$_$.s5;
@@ -25,18 +25,18 @@
   var hashCode = kotlin_kotlin.$_$.z5;
   var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.q;
   var Unit_instance = kotlin_kotlin.$_$.m;
-  var ensureNotNull = kotlin_kotlin.$_$.ra;
-  var Pair = kotlin_kotlin.$_$.la;
+  var ensureNotNull = kotlin_kotlin.$_$.sa;
+  var Pair = kotlin_kotlin.$_$.ma;
   var compareTo = kotlin_kotlin.$_$.q5;
   var equals = kotlin_kotlin.$_$.t5;
-  var THROW_CCE = kotlin_kotlin.$_$.na;
+  var THROW_CCE = kotlin_kotlin.$_$.oa;
   var isComparable = kotlin_kotlin.$_$.i6;
   var getKClassFromExpression = kotlin_kotlin.$_$.f7;
   var getBooleanHashCode = kotlin_kotlin.$_$.v5;
   var KProperty1 = kotlin_kotlin.$_$.h7;
   var getPropertyCallableRef = kotlin_kotlin.$_$.x5;
   var constructCallableReference = kotlin_kotlin.$_$.r5;
-  var lazy = kotlin_kotlin.$_$.ta;
+  var lazy = kotlin_kotlin.$_$.ua;
   var toString = kotlin_kotlin.$_$.s6;
   //endregion
   //region block: pre-declaration
@@ -89,12 +89,12 @@
   protoOf(Companion_0).simpleOf = function () {
     return new SimpleBinaryDecisionDiagramBuilder();
   };
-  protoOf(Companion_0).s35 = function (delegate) {
+  protoOf(Companion_0).v35 = function (delegate) {
     return new ReducedBinaryDecisionDiagramBuilder(delegate);
   };
   protoOf(Companion_0).reducedOf = function (delegate, $super) {
     delegate = delegate === VOID ? this.defaultOf() : delegate;
-    return $super === VOID ? this.s35(delegate) : $super.s35.call(this, delegate);
+    return $super === VOID ? this.v35(delegate) : $super.v35.call(this, delegate);
   };
   var Companion_instance_0;
   function Companion_getInstance_0() {
@@ -207,16 +207,16 @@
     cause = cause === VOID ? null : cause;
     RuntimeException_init_$Init$(message, cause, this);
     captureStack(this, BinaryDecisionDiagramException);
-    this.t35_1 = message;
-    this.u35_1 = cause;
+    this.w35_1 = message;
+    this.x35_1 = cause;
     delete this.message;
     delete this.cause;
   }
-  protoOf(BinaryDecisionDiagramException).o1 = function () {
-    return this.t35_1;
-  };
   protoOf(BinaryDecisionDiagramException).p1 = function () {
-    return this.u35_1;
+    return this.w35_1;
+  };
+  protoOf(BinaryDecisionDiagramException).q1 = function () {
+    return this.x35_1;
   };
   function BinaryDecisionDiagramOperationException(message, cause) {
     cause = cause === VOID ? null : cause;
@@ -224,60 +224,60 @@
     captureStack(this, BinaryDecisionDiagramOperationException);
   }
   function AnyVisitor(predicate) {
-    this.v35_1 = predicate;
+    this.y35_1 = predicate;
   }
-  protoOf(AnyVisitor).w35 = function (node) {
+  protoOf(AnyVisitor).z35 = function (node) {
     return false;
   };
   protoOf(AnyVisitor).visitTerminal = function (node) {
-    return this.w35(node);
+    return this.z35(node);
   };
-  protoOf(AnyVisitor).x35 = function (node) {
-    var result = this.v35_1(node.e2());
+  protoOf(AnyVisitor).a36 = function (node) {
+    var result = this.y35_1(node.f2());
     if (!result) {
-      result = node.q35().accept(this);
+      result = node.t35().accept(this);
     }
     if (!result) {
-      result = node.r35().accept(this);
+      result = node.u35().accept(this);
     }
     return result;
   };
   protoOf(AnyVisitor).visitVariable = function (node) {
-    return this.x35(node);
+    return this.a36(node);
   };
   function visitWithTable($this, first, second, computation) {
     var firstKey = hashCode(first);
     var secondKey = hashCode(second);
-    if (!$this.e36_1.f2(firstKey)) {
-      var tmp0 = $this.e36_1;
+    if (!$this.h36_1.g2(firstKey)) {
+      var tmp0 = $this.h36_1;
       // Inline function 'kotlin.collections.mutableMapOf' call
       // Inline function 'kotlin.collections.set' call
       var value = LinkedHashMap_init_$Create$();
-      tmp0.k4(firstKey, value);
+      tmp0.l4(firstKey, value);
     }
-    var cached = ensureNotNull($this.e36_1.h2(firstKey)).h2(secondKey);
+    var cached = ensureNotNull($this.h36_1.i2(firstKey)).i2(secondKey);
     if (!(cached == null)) {
       return cached;
     }
     var result = computation();
     // Inline function 'kotlin.collections.set' call
-    ensureNotNull($this.e36_1.h2(firstKey)).k4(secondKey, result);
+    ensureNotNull($this.h36_1.i2(firstKey)).l4(secondKey, result);
     return result;
   }
   function apply($this, first, second) {
-    var truth = $this.a36_1(first.o35(), second.o35());
-    return new Pair($this.y35_1.buildTerminal(truth), truth ? $this.c36_1 : $this.b36_1);
+    var truth = $this.d36_1(first.r35(), second.r35());
+    return new Pair($this.b36_1.buildTerminal(truth), truth ? $this.f36_1 : $this.e36_1);
   }
   function apply_0($this, first, second) {
-    $this.z35_1 = second.q35();
-    var lowNode = first.p35($this);
-    $this.z35_1 = second.r35();
-    var highNode = first.p35($this);
-    return new Pair($this.y35_1.buildVariable(second.e2(), lowNode.first, highNode.first), $this.d36_1(second.e2(), lowNode.second, highNode.second));
+    $this.c36_1 = second.t35();
+    var lowNode = first.s35($this);
+    $this.c36_1 = second.u35();
+    var highNode = first.s35($this);
+    return new Pair($this.b36_1.buildVariable(second.f2(), lowNode.first, highNode.first), $this.g36_1(second.f2(), lowNode.second, highNode.second));
   }
   function apply_1($this, first, second) {
-    $this.z35_1 = first;
-    return second.p35($this);
+    $this.c36_1 = first;
+    return second.s35($this);
   }
   function apply_2($this, first, second) {
     var newValue;
@@ -285,27 +285,27 @@
     var firstHigh;
     var secondLow;
     var secondHigh;
-    if (compareTo(first.e2(), second.e2()) <= 0) {
-      newValue = first.e2();
-      firstHigh = first.r35();
-      firstLow = first.q35();
+    if (compareTo(first.f2(), second.f2()) <= 0) {
+      newValue = first.f2();
+      firstHigh = first.u35();
+      firstLow = first.t35();
     } else {
-      newValue = second.e2();
+      newValue = second.f2();
       firstLow = first;
       firstHigh = first;
     }
-    if (compareTo(second.e2(), first.e2()) <= 0) {
-      secondHigh = second.r35();
-      secondLow = second.q35();
+    if (compareTo(second.f2(), first.f2()) <= 0) {
+      secondHigh = second.u35();
+      secondLow = second.t35();
     } else {
       secondLow = second;
       secondHigh = second;
     }
-    $this.z35_1 = secondLow;
+    $this.c36_1 = secondLow;
     var lowNode = firstLow.accept($this);
-    $this.z35_1 = secondHigh;
+    $this.c36_1 = secondHigh;
     var highNode = firstHigh.accept($this);
-    return new Pair($this.y35_1.buildVariable(newValue, lowNode.first, highNode.first), $this.d36_1(newValue, lowNode.second, highNode.second));
+    return new Pair($this.b36_1.buildVariable(newValue, lowNode.first, highNode.first), $this.g36_1(newValue, lowNode.second, highNode.second));
   }
   function BinaryApplyExpansionVisitor$visit$lambda$lambda(this$0, $node) {
     return function (that) {
@@ -319,11 +319,11 @@
   }
   function BinaryApplyExpansionVisitor$visit$lambda(this$0, $node) {
     return function () {
-      var tmp = this$0.f36_1;
-      tmp.g36_1 = BinaryApplyExpansionVisitor$visit$lambda$lambda(this$0, $node);
-      var tmp_0 = this$0.f36_1;
-      tmp_0.h36_1 = BinaryApplyExpansionVisitor$visit$lambda$lambda_0(this$0, $node);
-      return this$0.z35_1.accept(this$0.f36_1);
+      var tmp = this$0.i36_1;
+      tmp.j36_1 = BinaryApplyExpansionVisitor$visit$lambda$lambda(this$0, $node);
+      var tmp_0 = this$0.i36_1;
+      tmp_0.k36_1 = BinaryApplyExpansionVisitor$visit$lambda$lambda_0(this$0, $node);
+      return this$0.c36_1.accept(this$0.i36_1);
     };
   }
   function BinaryApplyExpansionVisitor$visit$lambda$lambda_1(this$0, $node) {
@@ -338,141 +338,141 @@
   }
   function BinaryApplyExpansionVisitor$visit$lambda_0(this$0, $node) {
     return function () {
-      var tmp = this$0.f36_1;
-      tmp.g36_1 = BinaryApplyExpansionVisitor$visit$lambda$lambda_1(this$0, $node);
-      var tmp_0 = this$0.f36_1;
-      tmp_0.h36_1 = BinaryApplyExpansionVisitor$visit$lambda$lambda_2(this$0, $node);
-      return this$0.z35_1.accept(this$0.f36_1);
+      var tmp = this$0.i36_1;
+      tmp.j36_1 = BinaryApplyExpansionVisitor$visit$lambda$lambda_1(this$0, $node);
+      var tmp_0 = this$0.i36_1;
+      tmp_0.k36_1 = BinaryApplyExpansionVisitor$visit$lambda$lambda_2(this$0, $node);
+      return this$0.c36_1.accept(this$0.i36_1);
     };
   }
   function BinaryApplyExpansionVisitor(builder, thatNode, operator, expansionFalseTerminal, expansionTrueTerminal, expansionOperator) {
-    this.y35_1 = builder;
-    this.z35_1 = thatNode;
-    this.a36_1 = operator;
-    this.b36_1 = expansionFalseTerminal;
-    this.c36_1 = expansionTrueTerminal;
-    this.d36_1 = expansionOperator;
+    this.b36_1 = builder;
+    this.c36_1 = thatNode;
+    this.d36_1 = operator;
+    this.e36_1 = expansionFalseTerminal;
+    this.f36_1 = expansionTrueTerminal;
+    this.g36_1 = expansionOperator;
     var tmp = this;
     // Inline function 'kotlin.collections.mutableMapOf' call
-    tmp.e36_1 = LinkedHashMap_init_$Create$();
-    this.f36_1 = new CastVisitor();
+    tmp.h36_1 = LinkedHashMap_init_$Create$();
+    this.i36_1 = new CastVisitor();
   }
-  protoOf(BinaryApplyExpansionVisitor).w35 = function (node) {
-    var tmp = this.z35_1;
+  protoOf(BinaryApplyExpansionVisitor).z35 = function (node) {
+    var tmp = this.c36_1;
     return visitWithTable(this, node, tmp, BinaryApplyExpansionVisitor$visit$lambda(this, node));
   };
   protoOf(BinaryApplyExpansionVisitor).visitTerminal = function (node) {
-    return this.w35(node);
+    return this.z35(node);
   };
-  protoOf(BinaryApplyExpansionVisitor).x35 = function (node) {
-    var tmp = this.z35_1;
+  protoOf(BinaryApplyExpansionVisitor).a36 = function (node) {
+    var tmp = this.c36_1;
     return visitWithTable(this, node, tmp, BinaryApplyExpansionVisitor$visit$lambda_0(this, node));
   };
   protoOf(BinaryApplyExpansionVisitor).visitVariable = function (node) {
-    return this.x35(node);
+    return this.a36(node);
   };
   function ExpansionVisitor(varOp, falseTerminal, trueTerminal) {
-    this.i36_1 = varOp;
-    this.j36_1 = falseTerminal;
-    this.k36_1 = trueTerminal;
+    this.l36_1 = varOp;
+    this.m36_1 = falseTerminal;
+    this.n36_1 = trueTerminal;
   }
-  protoOf(ExpansionVisitor).w35 = function (node) {
-    return node.o35() ? this.k36_1 : this.j36_1;
+  protoOf(ExpansionVisitor).z35 = function (node) {
+    return node.r35() ? this.n36_1 : this.m36_1;
   };
   protoOf(ExpansionVisitor).visitTerminal = function (node) {
-    return this.w35(node);
+    return this.z35(node);
   };
-  protoOf(ExpansionVisitor).x35 = function (node) {
-    var lowValue = node.q35().accept(this);
-    var highValue = node.r35().accept(this);
-    return this.i36_1(node.e2(), lowValue, highValue);
+  protoOf(ExpansionVisitor).a36 = function (node) {
+    var lowValue = node.t35().accept(this);
+    var highValue = node.u35().accept(this);
+    return this.l36_1(node.f2(), lowValue, highValue);
   };
   protoOf(ExpansionVisitor).visitVariable = function (node) {
-    return this.x35(node);
+    return this.a36(node);
   };
   function UnaryApplyExpansionVisitor(builder, operator, expansionFalseTerminal, expansionTrueTerminal, expansionOperator) {
-    this.l36_1 = builder;
-    this.m36_1 = operator;
-    this.n36_1 = expansionFalseTerminal;
-    this.o36_1 = expansionTrueTerminal;
-    this.p36_1 = expansionOperator;
+    this.o36_1 = builder;
+    this.p36_1 = operator;
+    this.q36_1 = expansionFalseTerminal;
+    this.r36_1 = expansionTrueTerminal;
+    this.s36_1 = expansionOperator;
     var tmp = this;
     // Inline function 'kotlin.collections.mutableMapOf' call
-    tmp.q36_1 = LinkedHashMap_init_$Create$();
+    tmp.t36_1 = LinkedHashMap_init_$Create$();
   }
-  protoOf(UnaryApplyExpansionVisitor).w35 = function (node) {
-    var resTruth = this.m36_1(node.o35());
-    return new Pair(this.l36_1.buildTerminal(resTruth), resTruth ? this.o36_1 : this.n36_1);
+  protoOf(UnaryApplyExpansionVisitor).z35 = function (node) {
+    var resTruth = this.p36_1(node.r35());
+    return new Pair(this.o36_1.buildTerminal(resTruth), resTruth ? this.r36_1 : this.q36_1);
   };
   protoOf(UnaryApplyExpansionVisitor).visitTerminal = function (node) {
-    return this.w35(node);
+    return this.z35(node);
   };
-  protoOf(UnaryApplyExpansionVisitor).x35 = function (node) {
+  protoOf(UnaryApplyExpansionVisitor).a36 = function (node) {
     var key = hashCode(node);
-    if (this.q36_1.f2(key)) {
-      return ensureNotNull(this.q36_1.h2(key));
+    if (this.t36_1.g2(key)) {
+      return ensureNotNull(this.t36_1.i2(key));
     }
-    var lowNode = node.q35().accept(this);
-    var highNode = node.r35().accept(this);
-    var result = new Pair(this.l36_1.buildVariable(node.e2(), lowNode.first, highNode.first), this.p36_1(node.e2(), lowNode.second, highNode.second));
+    var lowNode = node.t35().accept(this);
+    var highNode = node.u35().accept(this);
+    var result = new Pair(this.o36_1.buildVariable(node.f2(), lowNode.first, highNode.first), this.s36_1(node.f2(), lowNode.second, highNode.second));
     // Inline function 'kotlin.collections.set' call
-    this.q36_1.k4(key, result);
+    this.t36_1.l4(key, result);
     return result;
   };
   protoOf(UnaryApplyExpansionVisitor).visitVariable = function (node) {
-    return this.x35(node);
+    return this.a36(node);
   };
   function ReducedBinaryDecisionDiagramBuilder(delegate) {
-    this.r36_1 = delegate;
+    this.u36_1 = delegate;
     var tmp = this;
     // Inline function 'kotlin.collections.mutableMapOf' call
-    tmp.s36_1 = LinkedHashMap_init_$Create$();
+    tmp.v36_1 = LinkedHashMap_init_$Create$();
   }
-  protoOf(ReducedBinaryDecisionDiagramBuilder).t36 = function (value, low, high) {
+  protoOf(ReducedBinaryDecisionDiagramBuilder).w36 = function (value, low, high) {
     if (equals(low, high)) {
       return low;
     }
-    var newNode = this.r36_1.buildVariable(value, low, high);
+    var newNode = this.u36_1.buildVariable(value, low, high);
     var key = hashCode(newNode);
-    var cached = this.s36_1.h2(key);
+    var cached = this.v36_1.i2(key);
     var tmp;
     if (!(cached == null)) {
       tmp = cached;
     } else {
       // Inline function 'kotlin.collections.set' call
-      this.s36_1.k4(key, newNode);
+      this.v36_1.l4(key, newNode);
       tmp = newNode;
     }
     return tmp;
   };
   protoOf(ReducedBinaryDecisionDiagramBuilder).buildVariable = function (value, low, high) {
-    return this.t36(isComparable(value) ? value : THROW_CCE(), low, high);
+    return this.w36(isComparable(value) ? value : THROW_CCE(), low, high);
   };
-  protoOf(ReducedBinaryDecisionDiagramBuilder).u36 = function (truth) {
-    return this.r36_1.buildTerminal(truth);
+  protoOf(ReducedBinaryDecisionDiagramBuilder).x36 = function (truth) {
+    return this.u36_1.buildTerminal(truth);
   };
   protoOf(ReducedBinaryDecisionDiagramBuilder).buildTerminal = function (truth) {
-    return this.u36(truth);
+    return this.x36(truth);
   };
   function SimpleBinaryDecisionDiagramBuilder() {
   }
-  protoOf(SimpleBinaryDecisionDiagramBuilder).t36 = function (value, low, high) {
+  protoOf(SimpleBinaryDecisionDiagramBuilder).w36 = function (value, low, high) {
     return new SimpleBinaryDecisionDiagramVariable(value, low, high);
   };
   protoOf(SimpleBinaryDecisionDiagramBuilder).buildVariable = function (value, low, high) {
-    return this.t36(isComparable(value) ? value : THROW_CCE(), low, high);
+    return this.w36(isComparable(value) ? value : THROW_CCE(), low, high);
   };
-  protoOf(SimpleBinaryDecisionDiagramBuilder).u36 = function (truth) {
+  protoOf(SimpleBinaryDecisionDiagramBuilder).x36 = function (truth) {
     return new SimpleBinaryDecisionDiagramTerminal(truth);
   };
   protoOf(SimpleBinaryDecisionDiagramBuilder).buildTerminal = function (truth) {
-    return this.u36(truth);
+    return this.x36(truth);
   };
   function SimpleBinaryDecisionDiagramTerminal(truth) {
-    this.v36_1 = truth;
+    this.y36_1 = truth;
   }
-  protoOf(SimpleBinaryDecisionDiagramTerminal).o35 = function () {
-    return this.v36_1;
+  protoOf(SimpleBinaryDecisionDiagramTerminal).r35 = function () {
+    return this.y36_1;
   };
   protoOf(SimpleBinaryDecisionDiagramTerminal).equals = function (other) {
     if (this === other)
@@ -481,31 +481,31 @@
       return false;
     if (!(other instanceof SimpleBinaryDecisionDiagramTerminal))
       THROW_CCE();
-    if (!(this.v36_1 === other.v36_1))
+    if (!(this.y36_1 === other.y36_1))
       return false;
     return true;
   };
   protoOf(SimpleBinaryDecisionDiagramTerminal).hashCode = function () {
-    return getBooleanHashCode(this.v36_1);
+    return getBooleanHashCode(this.y36_1);
   };
   protoOf(SimpleBinaryDecisionDiagramTerminal).toString = function () {
-    return 'SimpleBinaryDecisionDiagramTerminal(truth=' + this.v36_1 + ')';
+    return 'SimpleBinaryDecisionDiagramTerminal(truth=' + this.y36_1 + ')';
   };
   protoOf(SimpleBinaryDecisionDiagramTerminal).accept = function (visitor) {
-    return this.p35(visitor);
+    return this.s35(visitor);
   };
   function _get_hashCodeCache__ny3r0q($this) {
-    var tmp0 = $this.z36_1;
+    var tmp0 = $this.c37_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     getPropertyCallableRef('hashCodeCache', 1, tmp, SimpleBinaryDecisionDiagramVariable$_get_hashCodeCache_$ref_6b1az9(), null);
-    return tmp0.e2();
+    return tmp0.f2();
   }
   function SimpleBinaryDecisionDiagramVariable$hashCodeCache$delegate$lambda(this$0) {
     return function () {
-      var result = hashCode(this$0.w36_1);
-      result = imul(31, result) + hashCode(this$0.x36_1) | 0;
-      result = imul(31, result) + hashCode(this$0.y36_1) | 0;
+      var result = hashCode(this$0.z36_1);
+      result = imul(31, result) + hashCode(this$0.a37_1) | 0;
+      result = imul(31, result) + hashCode(this$0.b37_1) | 0;
       return result;
     };
   }
@@ -515,20 +515,20 @@
     }, 1, 0, 88);
   }
   function SimpleBinaryDecisionDiagramVariable(value, low, high) {
-    this.w36_1 = value;
-    this.x36_1 = low;
-    this.y36_1 = high;
+    this.z36_1 = value;
+    this.a37_1 = low;
+    this.b37_1 = high;
     var tmp = this;
-    tmp.z36_1 = lazy(SimpleBinaryDecisionDiagramVariable$hashCodeCache$delegate$lambda(this));
+    tmp.c37_1 = lazy(SimpleBinaryDecisionDiagramVariable$hashCodeCache$delegate$lambda(this));
   }
-  protoOf(SimpleBinaryDecisionDiagramVariable).e2 = function () {
-    return this.w36_1;
+  protoOf(SimpleBinaryDecisionDiagramVariable).f2 = function () {
+    return this.z36_1;
   };
-  protoOf(SimpleBinaryDecisionDiagramVariable).q35 = function () {
-    return this.x36_1;
+  protoOf(SimpleBinaryDecisionDiagramVariable).t35 = function () {
+    return this.a37_1;
   };
-  protoOf(SimpleBinaryDecisionDiagramVariable).r35 = function () {
-    return this.y36_1;
+  protoOf(SimpleBinaryDecisionDiagramVariable).u35 = function () {
+    return this.b37_1;
   };
   protoOf(SimpleBinaryDecisionDiagramVariable).equals = function (other) {
     if (this === other)
@@ -537,11 +537,11 @@
       return false;
     if (!(other instanceof SimpleBinaryDecisionDiagramVariable))
       THROW_CCE();
-    if (!equals(this.w36_1, other.w36_1))
+    if (!equals(this.z36_1, other.z36_1))
       return false;
-    if (!equals(this.x36_1, other.x36_1))
+    if (!equals(this.a37_1, other.a37_1))
       return false;
-    if (!equals(this.y36_1, other.y36_1))
+    if (!equals(this.b37_1, other.b37_1))
       return false;
     return true;
   };
@@ -549,36 +549,36 @@
     return _get_hashCodeCache__ny3r0q(this);
   };
   protoOf(SimpleBinaryDecisionDiagramVariable).toString = function () {
-    return 'SimpleBinaryDecisionDiagramVariable(value=' + toString(this.w36_1) + ', low=' + toString(this.x36_1) + ', high=' + toString(this.y36_1) + ')';
+    return 'SimpleBinaryDecisionDiagramVariable(value=' + toString(this.z36_1) + ', low=' + toString(this.a37_1) + ', high=' + toString(this.b37_1) + ')';
   };
   protoOf(SimpleBinaryDecisionDiagramVariable).accept = function (visitor) {
-    return this.p35(visitor);
+    return this.s35(visitor);
   };
   function CastVisitor() {
-    this.g36_1 = null;
-    this.h36_1 = null;
+    this.j36_1 = null;
+    this.k36_1 = null;
   }
-  protoOf(CastVisitor).w35 = function (node) {
-    return ensureNotNull(this.g36_1)(node);
+  protoOf(CastVisitor).z35 = function (node) {
+    return ensureNotNull(this.j36_1)(node);
   };
   protoOf(CastVisitor).visitTerminal = function (node) {
-    return this.w35(node);
+    return this.z35(node);
   };
-  protoOf(CastVisitor).x35 = function (node) {
-    return ensureNotNull(this.h36_1)(node);
+  protoOf(CastVisitor).a36 = function (node) {
+    return ensureNotNull(this.k36_1)(node);
   };
   protoOf(CastVisitor).visitVariable = function (node) {
-    return this.x35(node);
+    return this.a36(node);
   };
   //region block: post-declaration
   defineProp(protoOf(BinaryDecisionDiagramException), 'message', function () {
-    return this.o1();
+    return this.p1();
   });
   defineProp(protoOf(BinaryDecisionDiagramException), 'cause', function () {
-    return this.p1();
+    return this.q1();
   });
-  protoOf(SimpleBinaryDecisionDiagramTerminal).p35 = accept;
-  protoOf(SimpleBinaryDecisionDiagramVariable).p35 = accept_0;
+  protoOf(SimpleBinaryDecisionDiagramTerminal).s35 = accept;
+  protoOf(SimpleBinaryDecisionDiagramVariable).s35 = accept_0;
   //endregion
   //region block: init
   Companion_instance = new Companion();