@tuprolog/2p-full 1.0.4 → 1.1.0

package/2p-bdd.js

@@ -1,65 +1,65 @@
-(function (root, factory) {
+(function (factory) {
   if (typeof define === 'function' && define.amd)
     define(['exports', './kotlin-kotlin-stdlib.js'], factory);
   else if (typeof exports === 'object')
     factory(module.exports, require('./kotlin-kotlin-stdlib.js'));
   else {
-    if (typeof this['kotlin-kotlin-stdlib'] === 'undefined') {
+    if (typeof globalThis['kotlin-kotlin-stdlib'] === 'undefined') {
       throw new Error("Error loading module '2p-bdd'. Its dependency 'kotlin-kotlin-stdlib' was not found. Please, check whether 'kotlin-kotlin-stdlib' is loaded prior to '2p-bdd'.");
     }
-    root['2p-bdd'] = factory(typeof this['2p-bdd'] === 'undefined' ? {} : this['2p-bdd'], this['kotlin-kotlin-stdlib']);
+    globalThis['2p-bdd'] = factory(typeof globalThis['2p-bdd'] === 'undefined' ? {} : globalThis['2p-bdd'], globalThis['kotlin-kotlin-stdlib']);
   }
-}(this, function (_, kotlin_kotlin) {
+}(function (_, kotlin_kotlin) {
   'use strict';
   //region block: imports
   var imul = Math.imul;
-  var protoOf = kotlin_kotlin.$_$.u6;
-  var interfaceMeta = kotlin_kotlin.$_$.f6;
-  var setMetadataFor = kotlin_kotlin.$_$.v6;
-  var objectMeta = kotlin_kotlin.$_$.t6;
-  var VOID = kotlin_kotlin.$_$.d;
-  var RuntimeException = kotlin_kotlin.$_$.ub;
-  var RuntimeException_init_$Init$ = kotlin_kotlin.$_$.i1;
-  var captureStack = kotlin_kotlin.$_$.q5;
-  var defineProp = kotlin_kotlin.$_$.x5;
-  var classMeta = kotlin_kotlin.$_$.v5;
-  var hashCode = kotlin_kotlin.$_$.e6;
-  var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.j;
-  var Unit_instance = kotlin_kotlin.$_$.y1;
-  var ensureNotNull = kotlin_kotlin.$_$.yb;
-  var Pair = kotlin_kotlin.$_$.tb;
-  var compareTo = kotlin_kotlin.$_$.w5;
-  var equals = kotlin_kotlin.$_$.y5;
-  var THROW_CCE = kotlin_kotlin.$_$.vb;
-  var isComparable = kotlin_kotlin.$_$.i6;
-  var getKClassFromExpression = kotlin_kotlin.$_$.b;
-  var getBooleanHashCode = kotlin_kotlin.$_$.a6;
-  var lazy = kotlin_kotlin.$_$.ac;
-  var KProperty1 = kotlin_kotlin.$_$.q7;
-  var getPropertyCallableRef = kotlin_kotlin.$_$.c6;
+  var protoOf = kotlin_kotlin.$_$.k6;
+  var initMetadataForInterface = kotlin_kotlin.$_$.w5;
+  var initMetadataForCompanion = kotlin_kotlin.$_$.u5;
+  var VOID = kotlin_kotlin.$_$.b;
+  var RuntimeException = kotlin_kotlin.$_$.da;
+  var RuntimeException_init_$Init$ = kotlin_kotlin.$_$.c1;
+  var captureStack = kotlin_kotlin.$_$.e5;
+  var defineProp = kotlin_kotlin.$_$.l5;
+  var initMetadataForClass = kotlin_kotlin.$_$.t5;
+  var hashCode = kotlin_kotlin.$_$.s5;
+  var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.f;
+  var Unit_instance = kotlin_kotlin.$_$.k1;
+  var ensureNotNull = kotlin_kotlin.$_$.ha;
+  var Pair = kotlin_kotlin.$_$.ca;
+  var compareTo = kotlin_kotlin.$_$.k5;
+  var equals = kotlin_kotlin.$_$.m5;
+  var THROW_CCE = kotlin_kotlin.$_$.ea;
+  var isComparable = kotlin_kotlin.$_$.b6;
+  var getKClassFromExpression = kotlin_kotlin.$_$.a7;
+  var getBooleanHashCode = kotlin_kotlin.$_$.o5;
+  var KProperty1 = kotlin_kotlin.$_$.c7;
+  var getPropertyCallableRef = kotlin_kotlin.$_$.q5;
+  var lazy = kotlin_kotlin.$_$.ja;
+  var toString = kotlin_kotlin.$_$.n6;
   //endregion
   //region block: pre-declaration
   function accept(visitor) {
     return visitor.visitTerminal(this);
   }
-  setMetadataFor(Terminal, 'Terminal', interfaceMeta);
+  initMetadataForInterface(Terminal, 'Terminal');
   function accept_0(visitor) {
     return visitor.visitVariable(this);
   }
-  setMetadataFor(Variable, 'Variable', interfaceMeta);
-  setMetadataFor(Companion, 'Companion', objectMeta);
-  setMetadataFor(Companion_0, 'Companion', objectMeta);
-  setMetadataFor(BinaryDecisionDiagramException, 'BinaryDecisionDiagramException', classMeta, RuntimeException, VOID, BinaryDecisionDiagramException);
-  setMetadataFor(BinaryDecisionDiagramOperationException, 'BinaryDecisionDiagramOperationException', classMeta, BinaryDecisionDiagramException);
-  setMetadataFor(AnyVisitor, 'AnyVisitor', classMeta);
-  setMetadataFor(BinaryApplyExpansionVisitor, 'BinaryApplyExpansionVisitor', classMeta);
-  setMetadataFor(ExpansionVisitor, 'ExpansionVisitor', classMeta);
-  setMetadataFor(UnaryApplyExpansionVisitor, 'UnaryApplyExpansionVisitor', classMeta);
-  setMetadataFor(ReducedBinaryDecisionDiagramBuilder, 'ReducedBinaryDecisionDiagramBuilder', classMeta);
-  setMetadataFor(SimpleBinaryDecisionDiagramBuilder, 'SimpleBinaryDecisionDiagramBuilder', classMeta, VOID, VOID, SimpleBinaryDecisionDiagramBuilder);
-  setMetadataFor(SimpleBinaryDecisionDiagramTerminal, 'SimpleBinaryDecisionDiagramTerminal', classMeta, VOID, [Terminal]);
-  setMetadataFor(SimpleBinaryDecisionDiagramVariable, 'SimpleBinaryDecisionDiagramVariable', classMeta, VOID, [Variable]);
-  setMetadataFor(CastVisitor, 'CastVisitor', classMeta, VOID, VOID, CastVisitor);
+  initMetadataForInterface(Variable, 'Variable');
+  initMetadataForCompanion(Companion);
+  initMetadataForCompanion(Companion_0);
+  initMetadataForClass(BinaryDecisionDiagramException, 'BinaryDecisionDiagramException', BinaryDecisionDiagramException, RuntimeException);
+  initMetadataForClass(BinaryDecisionDiagramOperationException, 'BinaryDecisionDiagramOperationException', VOID, BinaryDecisionDiagramException);
+  initMetadataForClass(AnyVisitor, 'AnyVisitor');
+  initMetadataForClass(BinaryApplyExpansionVisitor, 'BinaryApplyExpansionVisitor');
+  initMetadataForClass(ExpansionVisitor, 'ExpansionVisitor');
+  initMetadataForClass(UnaryApplyExpansionVisitor, 'UnaryApplyExpansionVisitor');
+  initMetadataForClass(ReducedBinaryDecisionDiagramBuilder, 'ReducedBinaryDecisionDiagramBuilder');
+  initMetadataForClass(SimpleBinaryDecisionDiagramBuilder, 'SimpleBinaryDecisionDiagramBuilder', SimpleBinaryDecisionDiagramBuilder);
+  initMetadataForClass(SimpleBinaryDecisionDiagramTerminal, 'SimpleBinaryDecisionDiagramTerminal', VOID, VOID, [Terminal]);
+  initMetadataForClass(SimpleBinaryDecisionDiagramVariable, 'SimpleBinaryDecisionDiagramVariable', VOID, VOID, [Variable]);
+  initMetadataForClass(CastVisitor, 'CastVisitor', CastVisitor);
   //endregion
   function Terminal() {
   }
@@ -88,12 +88,12 @@
   protoOf(Companion_0).simpleOf = function () {
     return new SimpleBinaryDecisionDiagramBuilder();
   };
-  protoOf(Companion_0).q31 = function (delegate) {
+  protoOf(Companion_0).o33 = function (delegate) {
     return new ReducedBinaryDecisionDiagramBuilder(delegate);
   };
   protoOf(Companion_0).reducedOf = function (delegate, $super) {
     delegate = delegate === VOID ? this.defaultOf() : delegate;
-    return $super === VOID ? this.q31(delegate) : $super.q31.call(this, delegate);
+    return $super === VOID ? this.o33(delegate) : $super.o33.call(this, delegate);
   };
   var Companion_instance_0;
   function Companion_getInstance_0() {
@@ -126,7 +126,7 @@
     };
   }
   function andThenExpansion$lambda$lambda(a, b) {
-    return a ? b : false;
+    return a && b;
   }
   function andThenExpansion$lambda($this_andThenExpansion, $that, $expansionFalseTerminal, $expansionTrueTerminal, $expansionOperator) {
     return function () {
@@ -134,7 +134,7 @@
     };
   }
   function orThenExpansion$lambda$lambda(a, b) {
-    return a ? true : b;
+    return a || b;
   }
   function orThenExpansion$lambda($this_orThenExpansion, $that, $expansionFalseTerminal, $expansionTrueTerminal, $expansionOperator) {
     return function () {
@@ -206,14 +206,16 @@
     cause = cause === VOID ? null : cause;
     RuntimeException_init_$Init$(message, cause, this);
     captureStack(this, BinaryDecisionDiagramException);
-    this.r31_1 = message;
-    this.s31_1 = cause;
+    this.p33_1 = message;
+    this.q33_1 = cause;
+    delete this.message;
+    delete this.cause;
   }
-  protoOf(BinaryDecisionDiagramException).na = function () {
-    return this.r31_1;
+  protoOf(BinaryDecisionDiagramException).e = function () {
+    return this.p33_1;
   };
-  protoOf(BinaryDecisionDiagramException).oa = function () {
-    return this.s31_1;
+  protoOf(BinaryDecisionDiagramException).f = function () {
+    return this.q33_1;
   };
   function BinaryDecisionDiagramOperationException(message, cause) {
     cause = cause === VOID ? null : cause;
@@ -221,60 +223,60 @@
     captureStack(this, BinaryDecisionDiagramOperationException);
   }
   function AnyVisitor(predicate) {
-    this.t31_1 = predicate;
+    this.r33_1 = predicate;
   }
-  protoOf(AnyVisitor).u31 = function (node) {
+  protoOf(AnyVisitor).s33 = function (node) {
     return false;
   };
   protoOf(AnyVisitor).visitTerminal = function (node) {
-    return this.u31(node);
+    return this.s33(node);
   };
-  protoOf(AnyVisitor).v31 = function (node) {
-    var result = this.t31_1(node.r2());
+  protoOf(AnyVisitor).t33 = function (node) {
+    var result = this.r33_1(node.e2());
     if (!result) {
-      result = node.o31().accept(this);
+      result = node.m33().accept(this);
     }
     if (!result) {
-      result = node.p31().accept(this);
+      result = node.n33().accept(this);
     }
     return result;
   };
   protoOf(AnyVisitor).visitVariable = function (node) {
-    return this.v31(node);
+    return this.t33(node);
   };
   function visitWithTable($this, first, second, computation) {
     var firstKey = hashCode(first);
     var secondKey = hashCode(second);
-    if (!$this.c32_1.u2(firstKey)) {
-      // Inline function 'kotlin.collections.set' call
-      var this_0 = $this.c32_1;
+    if (!$this.a34_1.f2(firstKey)) {
+      var tmp0 = $this.a34_1;
       // Inline function 'kotlin.collections.mutableMapOf' call
+      // Inline function 'kotlin.collections.set' call
       var value = LinkedHashMap_init_$Create$();
-      this_0.n2(firstKey, value);
+      tmp0.k4(firstKey, value);
     }
-    var cached = ensureNotNull($this.c32_1.x2(firstKey)).x2(secondKey);
+    var cached = ensureNotNull($this.a34_1.h2(firstKey)).h2(secondKey);
     if (!(cached == null)) {
       return cached;
     }
     var result = computation();
     // Inline function 'kotlin.collections.set' call
-    ensureNotNull($this.c32_1.x2(firstKey)).n2(secondKey, result);
+    ensureNotNull($this.a34_1.h2(firstKey)).k4(secondKey, result);
     return result;
   }
   function apply($this, first, second) {
-    var truth = $this.y31_1(first.m31(), second.m31());
-    return new Pair($this.w31_1.buildTerminal(truth), truth ? $this.a32_1 : $this.z31_1);
+    var truth = $this.w33_1(first.k33(), second.k33());
+    return new Pair($this.u33_1.buildTerminal(truth), truth ? $this.y33_1 : $this.x33_1);
   }
   function apply_0($this, first, second) {
-    $this.x31_1 = second.o31();
-    var lowNode = first.n31($this);
-    $this.x31_1 = second.p31();
-    var highNode = first.n31($this);
-    return new Pair($this.w31_1.buildVariable(second.r2(), lowNode.ye_1, highNode.ye_1), $this.b32_1(second.r2(), lowNode.ze_1, highNode.ze_1));
+    $this.v33_1 = second.m33();
+    var lowNode = first.l33($this);
+    $this.v33_1 = second.n33();
+    var highNode = first.l33($this);
+    return new Pair($this.u33_1.buildVariable(second.e2(), lowNode.xc_1, highNode.xc_1), $this.z33_1(second.e2(), lowNode.yc_1, highNode.yc_1));
   }
   function apply_1($this, first, second) {
-    $this.x31_1 = first;
-    return second.n31($this);
+    $this.v33_1 = first;
+    return second.l33($this);
   }
   function apply_2($this, first, second) {
     var newValue;
@@ -282,27 +284,27 @@
     var firstHigh;
     var secondLow;
     var secondHigh;
-    if (compareTo(first.r2(), second.r2()) <= 0) {
-      newValue = first.r2();
-      firstHigh = first.p31();
-      firstLow = first.o31();
+    if (compareTo(first.e2(), second.e2()) <= 0) {
+      newValue = first.e2();
+      firstHigh = first.n33();
+      firstLow = first.m33();
     } else {
-      newValue = second.r2();
+      newValue = second.e2();
       firstLow = first;
       firstHigh = first;
     }
-    if (compareTo(second.r2(), first.r2()) <= 0) {
-      secondHigh = second.p31();
-      secondLow = second.o31();
+    if (compareTo(second.e2(), first.e2()) <= 0) {
+      secondHigh = second.n33();
+      secondLow = second.m33();
     } else {
       secondLow = second;
       secondHigh = second;
     }
-    $this.x31_1 = secondLow;
+    $this.v33_1 = secondLow;
     var lowNode = firstLow.accept($this);
-    $this.x31_1 = secondHigh;
+    $this.v33_1 = secondHigh;
     var highNode = firstHigh.accept($this);
-    return new Pair($this.w31_1.buildVariable(newValue, lowNode.ye_1, highNode.ye_1), $this.b32_1(newValue, lowNode.ze_1, highNode.ze_1));
+    return new Pair($this.u33_1.buildVariable(newValue, lowNode.xc_1, highNode.xc_1), $this.z33_1(newValue, lowNode.yc_1, highNode.yc_1));
   }
   function BinaryApplyExpansionVisitor$visit$lambda$lambda(this$0, $node) {
     return function (that) {
@@ -316,11 +318,11 @@
   }
   function BinaryApplyExpansionVisitor$visit$lambda(this$0, $node) {
     return function () {
-      var tmp = this$0.d32_1;
-      tmp.e32_1 = BinaryApplyExpansionVisitor$visit$lambda$lambda(this$0, $node);
-      var tmp_0 = this$0.d32_1;
-      tmp_0.f32_1 = BinaryApplyExpansionVisitor$visit$lambda$lambda_0(this$0, $node);
-      return this$0.x31_1.accept(this$0.d32_1);
+      var tmp = this$0.b34_1;
+      tmp.c34_1 = BinaryApplyExpansionVisitor$visit$lambda$lambda(this$0, $node);
+      var tmp_0 = this$0.b34_1;
+      tmp_0.d34_1 = BinaryApplyExpansionVisitor$visit$lambda$lambda_0(this$0, $node);
+      return this$0.v33_1.accept(this$0.b34_1);
     };
   }
   function BinaryApplyExpansionVisitor$visit$lambda$lambda_1(this$0, $node) {
@@ -335,204 +337,210 @@
   }
   function BinaryApplyExpansionVisitor$visit$lambda_0(this$0, $node) {
     return function () {
-      var tmp = this$0.d32_1;
-      tmp.e32_1 = BinaryApplyExpansionVisitor$visit$lambda$lambda_1(this$0, $node);
-      var tmp_0 = this$0.d32_1;
-      tmp_0.f32_1 = BinaryApplyExpansionVisitor$visit$lambda$lambda_2(this$0, $node);
-      return this$0.x31_1.accept(this$0.d32_1);
+      var tmp = this$0.b34_1;
+      tmp.c34_1 = BinaryApplyExpansionVisitor$visit$lambda$lambda_1(this$0, $node);
+      var tmp_0 = this$0.b34_1;
+      tmp_0.d34_1 = BinaryApplyExpansionVisitor$visit$lambda$lambda_2(this$0, $node);
+      return this$0.v33_1.accept(this$0.b34_1);
     };
   }
   function BinaryApplyExpansionVisitor(builder, thatNode, operator, expansionFalseTerminal, expansionTrueTerminal, expansionOperator) {
-    this.w31_1 = builder;
-    this.x31_1 = thatNode;
-    this.y31_1 = operator;
-    this.z31_1 = expansionFalseTerminal;
-    this.a32_1 = expansionTrueTerminal;
-    this.b32_1 = expansionOperator;
+    this.u33_1 = builder;
+    this.v33_1 = thatNode;
+    this.w33_1 = operator;
+    this.x33_1 = expansionFalseTerminal;
+    this.y33_1 = expansionTrueTerminal;
+    this.z33_1 = expansionOperator;
     var tmp = this;
     // Inline function 'kotlin.collections.mutableMapOf' call
-    tmp.c32_1 = LinkedHashMap_init_$Create$();
-    this.d32_1 = new CastVisitor();
+    tmp.a34_1 = LinkedHashMap_init_$Create$();
+    this.b34_1 = new CastVisitor();
   }
-  protoOf(BinaryApplyExpansionVisitor).u31 = function (node) {
-    var tmp = this.x31_1;
+  protoOf(BinaryApplyExpansionVisitor).s33 = function (node) {
+    var tmp = this.v33_1;
     return visitWithTable(this, node, tmp, BinaryApplyExpansionVisitor$visit$lambda(this, node));
   };
   protoOf(BinaryApplyExpansionVisitor).visitTerminal = function (node) {
-    return this.u31(node);
+    return this.s33(node);
   };
-  protoOf(BinaryApplyExpansionVisitor).v31 = function (node) {
-    var tmp = this.x31_1;
+  protoOf(BinaryApplyExpansionVisitor).t33 = function (node) {
+    var tmp = this.v33_1;
     return visitWithTable(this, node, tmp, BinaryApplyExpansionVisitor$visit$lambda_0(this, node));
   };
   protoOf(BinaryApplyExpansionVisitor).visitVariable = function (node) {
-    return this.v31(node);
+    return this.t33(node);
   };
   function ExpansionVisitor(varOp, falseTerminal, trueTerminal) {
-    this.g32_1 = varOp;
-    this.h32_1 = falseTerminal;
-    this.i32_1 = trueTerminal;
+    this.e34_1 = varOp;
+    this.f34_1 = falseTerminal;
+    this.g34_1 = trueTerminal;
   }
-  protoOf(ExpansionVisitor).u31 = function (node) {
-    return node.m31() ? this.i32_1 : this.h32_1;
+  protoOf(ExpansionVisitor).s33 = function (node) {
+    return node.k33() ? this.g34_1 : this.f34_1;
   };
   protoOf(ExpansionVisitor).visitTerminal = function (node) {
-    return this.u31(node);
+    return this.s33(node);
   };
-  protoOf(ExpansionVisitor).v31 = function (node) {
-    var lowValue = node.o31().accept(this);
-    var highValue = node.p31().accept(this);
-    return this.g32_1(node.r2(), lowValue, highValue);
+  protoOf(ExpansionVisitor).t33 = function (node) {
+    var lowValue = node.m33().accept(this);
+    var highValue = node.n33().accept(this);
+    return this.e34_1(node.e2(), lowValue, highValue);
   };
   protoOf(ExpansionVisitor).visitVariable = function (node) {
-    return this.v31(node);
+    return this.t33(node);
   };
   function UnaryApplyExpansionVisitor(builder, operator, expansionFalseTerminal, expansionTrueTerminal, expansionOperator) {
-    this.j32_1 = builder;
-    this.k32_1 = operator;
-    this.l32_1 = expansionFalseTerminal;
-    this.m32_1 = expansionTrueTerminal;
-    this.n32_1 = expansionOperator;
+    this.h34_1 = builder;
+    this.i34_1 = operator;
+    this.j34_1 = expansionFalseTerminal;
+    this.k34_1 = expansionTrueTerminal;
+    this.l34_1 = expansionOperator;
     var tmp = this;
     // Inline function 'kotlin.collections.mutableMapOf' call
-    tmp.o32_1 = LinkedHashMap_init_$Create$();
+    tmp.m34_1 = LinkedHashMap_init_$Create$();
   }
-  protoOf(UnaryApplyExpansionVisitor).u31 = function (node) {
-    var resTruth = this.k32_1(node.m31());
-    return new Pair(this.j32_1.buildTerminal(resTruth), resTruth ? this.m32_1 : this.l32_1);
+  protoOf(UnaryApplyExpansionVisitor).s33 = function (node) {
+    var resTruth = this.i34_1(node.k33());
+    return new Pair(this.h34_1.buildTerminal(resTruth), resTruth ? this.k34_1 : this.j34_1);
   };
   protoOf(UnaryApplyExpansionVisitor).visitTerminal = function (node) {
-    return this.u31(node);
+    return this.s33(node);
   };
-  protoOf(UnaryApplyExpansionVisitor).v31 = function (node) {
+  protoOf(UnaryApplyExpansionVisitor).t33 = function (node) {
     var key = hashCode(node);
-    if (this.o32_1.u2(key)) {
-      return ensureNotNull(this.o32_1.x2(key));
+    if (this.m34_1.f2(key)) {
+      return ensureNotNull(this.m34_1.h2(key));
     }
-    var lowNode = node.o31().accept(this);
-    var highNode = node.p31().accept(this);
-    var result = new Pair(this.j32_1.buildVariable(node.r2(), lowNode.ye_1, highNode.ye_1), this.n32_1(node.r2(), lowNode.ze_1, highNode.ze_1));
+    var lowNode = node.m33().accept(this);
+    var highNode = node.n33().accept(this);
+    var result = new Pair(this.h34_1.buildVariable(node.e2(), lowNode.xc_1, highNode.xc_1), this.l34_1(node.e2(), lowNode.yc_1, highNode.yc_1));
     // Inline function 'kotlin.collections.set' call
-    this.o32_1.n2(key, result);
+    this.m34_1.k4(key, result);
     return result;
   };
   protoOf(UnaryApplyExpansionVisitor).visitVariable = function (node) {
-    return this.v31(node);
+    return this.t33(node);
   };
   function ReducedBinaryDecisionDiagramBuilder(delegate) {
-    this.p32_1 = delegate;
+    this.n34_1 = delegate;
     var tmp = this;
     // Inline function 'kotlin.collections.mutableMapOf' call
-    tmp.q32_1 = LinkedHashMap_init_$Create$();
+    tmp.o34_1 = LinkedHashMap_init_$Create$();
   }
-  protoOf(ReducedBinaryDecisionDiagramBuilder).r32 = function (value, low, high) {
+  protoOf(ReducedBinaryDecisionDiagramBuilder).p34 = function (value, low, high) {
     if (equals(low, high)) {
       return low;
     }
-    var newNode = this.p32_1.buildVariable(value, low, high);
+    var newNode = this.n34_1.buildVariable(value, low, high);
     var key = hashCode(newNode);
-    var cached = this.q32_1.x2(key);
+    var cached = this.o34_1.h2(key);
     var tmp;
     if (!(cached == null)) {
       tmp = cached;
     } else {
       // Inline function 'kotlin.collections.set' call
-      this.q32_1.n2(key, newNode);
+      this.o34_1.k4(key, newNode);
       tmp = newNode;
     }
     return tmp;
   };
   protoOf(ReducedBinaryDecisionDiagramBuilder).buildVariable = function (value, low, high) {
-    return this.r32(isComparable(value) ? value : THROW_CCE(), low, high);
+    return this.p34(isComparable(value) ? value : THROW_CCE(), low, high);
   };
-  protoOf(ReducedBinaryDecisionDiagramBuilder).s32 = function (truth) {
-    return this.p32_1.buildTerminal(truth);
+  protoOf(ReducedBinaryDecisionDiagramBuilder).q34 = function (truth) {
+    return this.n34_1.buildTerminal(truth);
   };
   protoOf(ReducedBinaryDecisionDiagramBuilder).buildTerminal = function (truth) {
-    return this.s32(truth);
+    return this.q34(truth);
   };
   function SimpleBinaryDecisionDiagramBuilder() {
   }
-  protoOf(SimpleBinaryDecisionDiagramBuilder).r32 = function (value, low, high) {
+  protoOf(SimpleBinaryDecisionDiagramBuilder).p34 = function (value, low, high) {
     return new SimpleBinaryDecisionDiagramVariable(value, low, high);
   };
   protoOf(SimpleBinaryDecisionDiagramBuilder).buildVariable = function (value, low, high) {
-    return this.r32(isComparable(value) ? value : THROW_CCE(), low, high);
+    return this.p34(isComparable(value) ? value : THROW_CCE(), low, high);
   };
-  protoOf(SimpleBinaryDecisionDiagramBuilder).s32 = function (truth) {
+  protoOf(SimpleBinaryDecisionDiagramBuilder).q34 = function (truth) {
     return new SimpleBinaryDecisionDiagramTerminal(truth);
   };
   protoOf(SimpleBinaryDecisionDiagramBuilder).buildTerminal = function (truth) {
-    return this.s32(truth);
+    return this.q34(truth);
   };
   function SimpleBinaryDecisionDiagramTerminal(truth) {
-    this.t32_1 = truth;
+    this.r34_1 = truth;
   }
-  protoOf(SimpleBinaryDecisionDiagramTerminal).m31 = function () {
-    return this.t32_1;
+  protoOf(SimpleBinaryDecisionDiagramTerminal).k33 = function () {
+    return this.r34_1;
   };
   protoOf(SimpleBinaryDecisionDiagramTerminal).equals = function (other) {
     if (this === other)
       return true;
-    if (other == null ? true : !getKClassFromExpression(this).equals(getKClassFromExpression(other)))
+    if (other == null || !getKClassFromExpression(this).equals(getKClassFromExpression(other)))
       return false;
     if (!(other instanceof SimpleBinaryDecisionDiagramTerminal))
       THROW_CCE();
-    if (!(this.t32_1 === other.t32_1))
+    if (!(this.r34_1 === other.r34_1))
       return false;
     return true;
   };
   protoOf(SimpleBinaryDecisionDiagramTerminal).hashCode = function () {
-    return getBooleanHashCode(this.t32_1);
+    return getBooleanHashCode(this.r34_1);
   };
   protoOf(SimpleBinaryDecisionDiagramTerminal).toString = function () {
-    return 'SimpleBinaryDecisionDiagramTerminal(truth=' + this.t32_1 + ')';
+    return 'SimpleBinaryDecisionDiagramTerminal(truth=' + this.r34_1 + ')';
   };
   protoOf(SimpleBinaryDecisionDiagramTerminal).accept = function (visitor) {
-    return this.n31(visitor);
+    return this.l33(visitor);
   };
   function _get_hashCodeCache__ny3r0q($this) {
+    var tmp0 = $this.v34_1;
+    var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
-    var this_0 = $this.x32_1;
-    hashCodeCache$factory();
-    return this_0.r2();
+    getPropertyCallableRef('hashCodeCache', 1, tmp, SimpleBinaryDecisionDiagramVariable$_get_hashCodeCache_$ref_6b1az9(), null);
+    return tmp0.e2();
   }
   function SimpleBinaryDecisionDiagramVariable$hashCodeCache$delegate$lambda(this$0) {
     return function () {
-      var result = hashCode(this$0.u32_1);
-      result = imul(31, result) + hashCode(this$0.v32_1) | 0;
-      result = imul(31, result) + hashCode(this$0.w32_1) | 0;
+      var result = hashCode(this$0.s34_1);
+      result = imul(31, result) + hashCode(this$0.t34_1) | 0;
+      result = imul(31, result) + hashCode(this$0.u34_1) | 0;
       return result;
     };
   }
+  function SimpleBinaryDecisionDiagramVariable$_get_hashCodeCache_$ref_6b1az9() {
+    return function (p0) {
+      return _get_hashCodeCache__ny3r0q(p0);
+    };
+  }
   function SimpleBinaryDecisionDiagramVariable(value, low, high) {
-    this.u32_1 = value;
-    this.v32_1 = low;
-    this.w32_1 = high;
+    this.s34_1 = value;
+    this.t34_1 = low;
+    this.u34_1 = high;
     var tmp = this;
-    tmp.x32_1 = lazy(SimpleBinaryDecisionDiagramVariable$hashCodeCache$delegate$lambda(this));
+    tmp.v34_1 = lazy(SimpleBinaryDecisionDiagramVariable$hashCodeCache$delegate$lambda(this));
   }
-  protoOf(SimpleBinaryDecisionDiagramVariable).r2 = function () {
-    return this.u32_1;
+  protoOf(SimpleBinaryDecisionDiagramVariable).e2 = function () {
+    return this.s34_1;
   };
-  protoOf(SimpleBinaryDecisionDiagramVariable).o31 = function () {
-    return this.v32_1;
+  protoOf(SimpleBinaryDecisionDiagramVariable).m33 = function () {
+    return this.t34_1;
   };
-  protoOf(SimpleBinaryDecisionDiagramVariable).p31 = function () {
-    return this.w32_1;
+  protoOf(SimpleBinaryDecisionDiagramVariable).n33 = function () {
+    return this.u34_1;
   };
   protoOf(SimpleBinaryDecisionDiagramVariable).equals = function (other) {
     if (this === other)
       return true;
-    if (other == null ? true : !getKClassFromExpression(this).equals(getKClassFromExpression(other)))
+    if (other == null || !getKClassFromExpression(this).equals(getKClassFromExpression(other)))
       return false;
     if (!(other instanceof SimpleBinaryDecisionDiagramVariable))
       THROW_CCE();
-    if (!equals(this.u32_1, other.u32_1))
+    if (!equals(this.s34_1, other.s34_1))
       return false;
-    if (!equals(this.v32_1, other.v32_1))
+    if (!equals(this.t34_1, other.t34_1))
       return false;
-    if (!equals(this.w32_1, other.w32_1))
+    if (!equals(this.u34_1, other.u34_1))
       return false;
     return true;
   };
@@ -540,41 +548,36 @@
     return _get_hashCodeCache__ny3r0q(this);
   };
   protoOf(SimpleBinaryDecisionDiagramVariable).toString = function () {
-    return 'SimpleBinaryDecisionDiagramVariable(value=' + this.u32_1 + ', low=' + this.v32_1 + ', high=' + this.w32_1 + ')';
+    return 'SimpleBinaryDecisionDiagramVariable(value=' + toString(this.s34_1) + ', low=' + toString(this.t34_1) + ', high=' + toString(this.u34_1) + ')';
   };
   protoOf(SimpleBinaryDecisionDiagramVariable).accept = function (visitor) {
-    return this.n31(visitor);
+    return this.l33(visitor);
   };
-  function hashCodeCache$factory() {
-    return getPropertyCallableRef('hashCodeCache', 1, KProperty1, function (receiver) {
-      return _get_hashCodeCache__ny3r0q(receiver);
-    }, null);
-  }
   function CastVisitor() {
-    this.e32_1 = null;
-    this.f32_1 = null;
+    this.c34_1 = null;
+    this.d34_1 = null;
   }
-  protoOf(CastVisitor).u31 = function (node) {
-    return ensureNotNull(this.e32_1)(node);
+  protoOf(CastVisitor).s33 = function (node) {
+    return ensureNotNull(this.c34_1)(node);
   };
   protoOf(CastVisitor).visitTerminal = function (node) {
-    return this.u31(node);
+    return this.s33(node);
   };
-  protoOf(CastVisitor).v31 = function (node) {
-    return ensureNotNull(this.f32_1)(node);
+  protoOf(CastVisitor).t33 = function (node) {
+    return ensureNotNull(this.d34_1)(node);
   };
   protoOf(CastVisitor).visitVariable = function (node) {
-    return this.v31(node);
+    return this.t33(node);
   };
   //region block: post-declaration
   defineProp(protoOf(BinaryDecisionDiagramException), 'message', function () {
-    return this.na();
+    return this.e();
   });
   defineProp(protoOf(BinaryDecisionDiagramException), 'cause', function () {
-    return this.oa();
+    return this.f();
   });
-  protoOf(SimpleBinaryDecisionDiagramTerminal).n31 = accept;
-  protoOf(SimpleBinaryDecisionDiagramVariable).n31 = accept_0;
+  protoOf(SimpleBinaryDecisionDiagramTerminal).l33 = accept;
+  protoOf(SimpleBinaryDecisionDiagramVariable).l33 = accept_0;
   //endregion
   //region block: init
   Companion_instance = new Companion();