@tuprolog/2p-full 0.31.21 → 0.32.0

package/2p-bdd.js

@@ -1,41 +1,42 @@
 (function (root, factory) {
   if (typeof define === 'function' && define.amd)
-    define(['exports', './kotlin-kotlin-stdlib-js-ir.js'], factory);
+    define(['exports', './kotlin-kotlin-stdlib.js'], factory);
   else if (typeof exports === 'object')
-    factory(module.exports, require('./kotlin-kotlin-stdlib-js-ir.js'));
+    factory(module.exports, require('./kotlin-kotlin-stdlib.js'));
   else {
-    if (typeof this['kotlin-kotlin-stdlib-js-ir'] === 'undefined') {
-      throw new Error("Error loading module '2p-bdd'. Its dependency 'kotlin-kotlin-stdlib-js-ir' was not found. Please, check whether 'kotlin-kotlin-stdlib-js-ir' is loaded prior to '2p-bdd'.");
+    if (typeof this['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-js-ir']);
+    root['2p-bdd'] = factory(typeof this['2p-bdd'] === 'undefined' ? {} : this['2p-bdd'], this['kotlin-kotlin-stdlib']);
   }
 }(this, function (_, kotlin_kotlin) {
   'use strict';
   //region block: imports
   var imul = Math.imul;
-  var protoOf = kotlin_kotlin.$_$.s6;
-  var interfaceMeta = kotlin_kotlin.$_$.c6;
-  var VOID = kotlin_kotlin.$_$.gc;
-  var setMetadataFor = kotlin_kotlin.$_$.t6;
-  var objectMeta = kotlin_kotlin.$_$.r6;
-  var RuntimeException = kotlin_kotlin.$_$.sb;
-  var RuntimeException_init_$Init$ = kotlin_kotlin.$_$.f1;
-  var captureStack = kotlin_kotlin.$_$.o5;
-  var defineProp = kotlin_kotlin.$_$.v5;
-  var classMeta = kotlin_kotlin.$_$.t5;
-  var hashCode = kotlin_kotlin.$_$.b6;
-  var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.i;
-  var Unit_getInstance = kotlin_kotlin.$_$.v1;
-  var ensureNotNull = kotlin_kotlin.$_$.wb;
-  var Pair = kotlin_kotlin.$_$.rb;
-  var compareTo = kotlin_kotlin.$_$.u5;
-  var equals = kotlin_kotlin.$_$.w5;
-  var THROW_CCE = kotlin_kotlin.$_$.tb;
-  var isComparable = kotlin_kotlin.$_$.f6;
+  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 lazy = kotlin_kotlin.$_$.yb;
-  var KProperty1 = kotlin_kotlin.$_$.o7;
-  var getPropertyCallableRef = kotlin_kotlin.$_$.z5;
+  var getBooleanHashCode = kotlin_kotlin.$_$.a6;
+  var lazy = kotlin_kotlin.$_$.ac;
+  var KProperty1 = kotlin_kotlin.$_$.q7;
+  var getPropertyCallableRef = kotlin_kotlin.$_$.c6;
   //endregion
   //region block: pre-declaration
   function accept(visitor) {
@@ -48,42 +49,38 @@
   setMetadataFor(Variable, 'Variable', interfaceMeta);
   setMetadataFor(Companion, 'Companion', objectMeta);
   setMetadataFor(Companion_0, 'Companion', objectMeta);
-  setMetadataFor(BinaryDecisionDiagramException, 'BinaryDecisionDiagramException', classMeta, RuntimeException);
+  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);
+  setMetadataFor(SimpleBinaryDecisionDiagramBuilder, 'SimpleBinaryDecisionDiagramBuilder', classMeta, VOID, VOID, SimpleBinaryDecisionDiagramBuilder);
   setMetadataFor(SimpleBinaryDecisionDiagramTerminal, 'SimpleBinaryDecisionDiagramTerminal', classMeta, VOID, [Terminal]);
   setMetadataFor(SimpleBinaryDecisionDiagramVariable, 'SimpleBinaryDecisionDiagramVariable', classMeta, VOID, [Variable]);
-  setMetadataFor(CastVisitor, 'CastVisitor', classMeta);
+  setMetadataFor(CastVisitor, 'CastVisitor', classMeta, VOID, VOID, CastVisitor);
   //endregion
   function Terminal() {
   }
   function Variable() {
   }
   function Companion() {
-    Companion_instance = this;
   }
   protoOf(Companion).variableOf = function (value) {
     return this.variableOfWithNodes(value, this.terminalOf(false), this.terminalOf(true));
   };
   protoOf(Companion).variableOfWithNodes = function (value, low, high) {
-    return Companion_getInstance_0().defaultOf().buildVariable(value, low, high);
+    return Companion_instance_0.defaultOf().buildVariable(value, low, high);
   };
   protoOf(Companion).terminalOf = function (truth) {
-    return Companion_getInstance_0().defaultOf().buildTerminal(truth);
+    return Companion_instance_0.defaultOf().buildTerminal(truth);
   };
   var Companion_instance;
   function Companion_getInstance() {
-    if (Companion_instance == null)
-      new Companion();
     return Companion_instance;
   }
   function Companion_0() {
-    Companion_instance_0 = this;
   }
   protoOf(Companion_0).defaultOf = function () {
     return createDefaultBinaryDecisionDiagramBuilder();
@@ -91,21 +88,19 @@
   protoOf(Companion_0).simpleOf = function () {
     return new SimpleBinaryDecisionDiagramBuilder();
   };
-  protoOf(Companion_0).w2z = function (delegate) {
+  protoOf(Companion_0).z30 = function (delegate) {
     return new ReducedBinaryDecisionDiagramBuilder(delegate);
   };
   protoOf(Companion_0).reducedOf = function (delegate, $super) {
     delegate = delegate === VOID ? this.defaultOf() : delegate;
-    return $super === VOID ? this.w2z(delegate) : $super.w2z.call(this, delegate);
+    return $super === VOID ? this.z30(delegate) : $super.z30.call(this, delegate);
   };
   var Companion_instance_0;
   function Companion_getInstance_0() {
-    if (Companion_instance_0 == null)
-      new Companion_0();
     return Companion_instance_0;
   }
   function createDefaultBinaryDecisionDiagramBuilder() {
-    return Companion_getInstance_0().simpleOf();
+    return Companion_instance_0.simpleOf();
   }
   function notThenExpansion(_this__u8e3s4, expansionFalseTerminal, expansionTrueTerminal, expansionOperator) {
     return runOperationAndCatchErrors(notThenExpansion$lambda(_this__u8e3s4, expansionFalseTerminal, expansionTrueTerminal, expansionOperator));
@@ -148,19 +143,19 @@
   }
   function applyThenExpansion$lambda($this_applyThenExpansion, $unaryOp, $expansionFalseTerminal, $expansionTrueTerminal, $expansionOperator) {
     return function () {
-      return $this_applyThenExpansion.accept(new UnaryApplyExpansionVisitor(Companion_getInstance_0().reducedOf(), $unaryOp, $expansionFalseTerminal, $expansionTrueTerminal, $expansionOperator));
+      return $this_applyThenExpansion.accept(new UnaryApplyExpansionVisitor(Companion_instance_0.reducedOf(), $unaryOp, $expansionFalseTerminal, $expansionTrueTerminal, $expansionOperator));
     };
   }
   function applyThenExpansion$lambda_0($this_applyThenExpansion, $that, $binaryOp, $expansionFalseTerminal, $expansionTrueTerminal, $expansionOperator) {
     return function () {
-      return $this_applyThenExpansion.accept(new BinaryApplyExpansionVisitor(Companion_getInstance_0().reducedOf(), $that, $binaryOp, $expansionFalseTerminal, $expansionTrueTerminal, $expansionOperator));
+      return $this_applyThenExpansion.accept(new BinaryApplyExpansionVisitor(Companion_instance_0.reducedOf(), $that, $binaryOp, $expansionFalseTerminal, $expansionTrueTerminal, $expansionOperator));
     };
   }
   function bddTerminalOf(value) {
-    return Companion_getInstance().terminalOf(value);
+    return Companion_instance.terminalOf(value);
   }
   function bddOf(value) {
-    return Companion_getInstance().variableOf(value);
+    return Companion_instance.variableOf(value);
   }
   function expansion(_this__u8e3s4, falseTerminal, trueTerminal, operator) {
     return runOperationAndCatchErrors(expansion$lambda(_this__u8e3s4, operator, falseTerminal, trueTerminal));
@@ -169,7 +164,7 @@
     return runOperationAndCatchErrors(any$lambda(_this__u8e3s4, predicate));
   }
   function map(_this__u8e3s4, mapper) {
-    var builder = Companion_getInstance_0().reducedOf();
+    var builder = Companion_instance_0.reducedOf();
     return runOperationAndCatchErrors(map$lambda(_this__u8e3s4, builder, mapper));
   }
   function runOperationAndCatchErrors(action) {
@@ -211,84 +206,75 @@
     cause = cause === VOID ? null : cause;
     RuntimeException_init_$Init$(message, cause, this);
     captureStack(this, BinaryDecisionDiagramException);
-    this.x2z_1 = message;
-    this.y2z_1 = cause;
+    this.a31_1 = message;
+    this.b31_1 = cause;
   }
-  protoOf(BinaryDecisionDiagramException).p1 = function () {
-    return this.x2z_1;
+  protoOf(BinaryDecisionDiagramException).na = function () {
+    return this.a31_1;
   };
-  protoOf(BinaryDecisionDiagramException).q1 = function () {
-    return this.y2z_1;
+  protoOf(BinaryDecisionDiagramException).oa = function () {
+    return this.b31_1;
   };
-  defineProp(protoOf(BinaryDecisionDiagramException), 'message', function () {
-    return this.p1();
-  });
-  defineProp(protoOf(BinaryDecisionDiagramException), 'cause', function () {
-    return this.q1();
-  });
   function BinaryDecisionDiagramOperationException(message, cause) {
     cause = cause === VOID ? null : cause;
     BinaryDecisionDiagramException.call(this, message, cause);
     captureStack(this, BinaryDecisionDiagramOperationException);
   }
   function AnyVisitor(predicate) {
-    this.z2z_1 = predicate;
+    this.c31_1 = predicate;
   }
-  protoOf(AnyVisitor).a30 = function (node) {
+  protoOf(AnyVisitor).d31 = function (node) {
     return false;
   };
   protoOf(AnyVisitor).visitTerminal = function (node) {
-    return this.a30(node);
+    return this.d31(node);
   };
-  protoOf(AnyVisitor).b30 = function (node) {
-    var result = this.z2z_1(node.b1());
+  protoOf(AnyVisitor).e31 = function (node) {
+    var result = this.c31_1(node.r2());
     if (!result) {
-      result = node.u2z().accept(this);
+      result = node.x30().accept(this);
     }
     if (!result) {
-      result = node.v2z().accept(this);
+      result = node.y30().accept(this);
     }
     return result;
   };
   protoOf(AnyVisitor).visitVariable = function (node) {
-    return this.b30(node);
+    return this.e31(node);
   };
   function visitWithTable($this, first, second, computation) {
     var firstKey = hashCode(first);
     var secondKey = hashCode(second);
-    if (!$this.i30_1.z2(firstKey)) {
+    if (!$this.l31_1.u2(firstKey)) {
       // Inline function 'kotlin.collections.set' call
-      var tmp0_set = $this.i30_1;
-      var tmp$ret$0;
+      var this_0 = $this.l31_1;
       // Inline function 'kotlin.collections.mutableMapOf' call
-      tmp$ret$0 = LinkedHashMap_init_$Create$();
-      var tmp1_set = tmp$ret$0;
-      tmp0_set.a4(firstKey, tmp1_set);
+      var value = LinkedHashMap_init_$Create$();
+      this_0.n2(firstKey, value);
     }
-    var cached = ensureNotNull($this.i30_1.f3(firstKey)).f3(secondKey);
+    var cached = ensureNotNull($this.l31_1.x2(firstKey)).x2(secondKey);
     if (!(cached == null)) {
       return cached;
     }
     var result = computation();
     // Inline function 'kotlin.collections.set' call
-    var tmp2_set = ensureNotNull($this.i30_1.f3(firstKey));
-    tmp2_set.a4(secondKey, result);
+    ensureNotNull($this.l31_1.x2(firstKey)).n2(secondKey, result);
     return result;
   }
   function apply($this, first, second) {
-    var truth = $this.e30_1(first.s2z(), second.s2z());
-    return new Pair($this.c30_1.buildTerminal(truth), truth ? $this.g30_1 : $this.f30_1);
+    var truth = $this.h31_1(first.v30(), second.v30());
+    return new Pair($this.f31_1.buildTerminal(truth), truth ? $this.j31_1 : $this.i31_1);
   }
   function apply_0($this, first, second) {
-    $this.d30_1 = second.u2z();
-    var lowNode = first.t2z($this);
-    $this.d30_1 = second.v2z();
-    var highNode = first.t2z($this);
-    return new Pair($this.c30_1.buildVariable(second.b1(), lowNode.k4_1, highNode.k4_1), $this.h30_1(second.b1(), lowNode.l4_1, highNode.l4_1));
+    $this.g31_1 = second.x30();
+    var lowNode = first.w30($this);
+    $this.g31_1 = second.y30();
+    var highNode = first.w30($this);
+    return new Pair($this.f31_1.buildVariable(second.r2(), lowNode.ye_1, highNode.ye_1), $this.k31_1(second.r2(), lowNode.ze_1, highNode.ze_1));
   }
   function apply_1($this, first, second) {
-    $this.d30_1 = first;
-    return second.t2z($this);
+    $this.g31_1 = first;
+    return second.w30($this);
   }
   function apply_2($this, first, second) {
     var newValue;
@@ -296,27 +282,27 @@
     var firstHigh;
     var secondLow;
     var secondHigh;
-    if (compareTo(first.b1(), second.b1()) <= 0) {
-      newValue = first.b1();
-      firstHigh = first.v2z();
-      firstLow = first.u2z();
+    if (compareTo(first.r2(), second.r2()) <= 0) {
+      newValue = first.r2();
+      firstHigh = first.y30();
+      firstLow = first.x30();
     } else {
-      newValue = second.b1();
+      newValue = second.r2();
       firstLow = first;
       firstHigh = first;
     }
-    if (compareTo(second.b1(), first.b1()) <= 0) {
-      secondHigh = second.v2z();
-      secondLow = second.u2z();
+    if (compareTo(second.r2(), first.r2()) <= 0) {
+      secondHigh = second.y30();
+      secondLow = second.x30();
     } else {
       secondLow = second;
       secondHigh = second;
     }
-    $this.d30_1 = secondLow;
+    $this.g31_1 = secondLow;
     var lowNode = firstLow.accept($this);
-    $this.d30_1 = secondHigh;
+    $this.g31_1 = secondHigh;
     var highNode = firstHigh.accept($this);
-    return new Pair($this.c30_1.buildVariable(newValue, lowNode.k4_1, highNode.k4_1), $this.h30_1(newValue, lowNode.l4_1, highNode.l4_1));
+    return new Pair($this.f31_1.buildVariable(newValue, lowNode.ye_1, highNode.ye_1), $this.k31_1(newValue, lowNode.ze_1, highNode.ze_1));
   }
   function BinaryApplyExpansionVisitor$visit$lambda$lambda(this$0, $node) {
     return function (that) {
@@ -330,11 +316,11 @@
   }
   function BinaryApplyExpansionVisitor$visit$lambda(this$0, $node) {
     return function () {
-      var tmp = this$0.j30_1;
-      tmp.k30_1 = BinaryApplyExpansionVisitor$visit$lambda$lambda(this$0, $node);
-      var tmp_0 = this$0.j30_1;
-      tmp_0.l30_1 = BinaryApplyExpansionVisitor$visit$lambda$lambda_0(this$0, $node);
-      return this$0.d30_1.accept(this$0.j30_1);
+      var tmp = this$0.m31_1;
+      tmp.n31_1 = BinaryApplyExpansionVisitor$visit$lambda$lambda(this$0, $node);
+      var tmp_0 = this$0.m31_1;
+      tmp_0.o31_1 = BinaryApplyExpansionVisitor$visit$lambda$lambda_0(this$0, $node);
+      return this$0.g31_1.accept(this$0.m31_1);
     };
   }
   function BinaryApplyExpansionVisitor$visit$lambda$lambda_1(this$0, $node) {
@@ -349,217 +335,204 @@
   }
   function BinaryApplyExpansionVisitor$visit$lambda_0(this$0, $node) {
     return function () {
-      var tmp = this$0.j30_1;
-      tmp.k30_1 = BinaryApplyExpansionVisitor$visit$lambda$lambda_1(this$0, $node);
-      var tmp_0 = this$0.j30_1;
-      tmp_0.l30_1 = BinaryApplyExpansionVisitor$visit$lambda$lambda_2(this$0, $node);
-      return this$0.d30_1.accept(this$0.j30_1);
+      var tmp = this$0.m31_1;
+      tmp.n31_1 = BinaryApplyExpansionVisitor$visit$lambda$lambda_1(this$0, $node);
+      var tmp_0 = this$0.m31_1;
+      tmp_0.o31_1 = BinaryApplyExpansionVisitor$visit$lambda$lambda_2(this$0, $node);
+      return this$0.g31_1.accept(this$0.m31_1);
     };
   }
   function BinaryApplyExpansionVisitor(builder, thatNode, operator, expansionFalseTerminal, expansionTrueTerminal, expansionOperator) {
-    this.c30_1 = builder;
-    this.d30_1 = thatNode;
-    this.e30_1 = operator;
-    this.f30_1 = expansionFalseTerminal;
-    this.g30_1 = expansionTrueTerminal;
-    this.h30_1 = expansionOperator;
+    this.f31_1 = builder;
+    this.g31_1 = thatNode;
+    this.h31_1 = operator;
+    this.i31_1 = expansionFalseTerminal;
+    this.j31_1 = expansionTrueTerminal;
+    this.k31_1 = expansionOperator;
     var tmp = this;
-    var tmp$ret$0;
     // Inline function 'kotlin.collections.mutableMapOf' call
-    tmp$ret$0 = LinkedHashMap_init_$Create$();
-    tmp.i30_1 = tmp$ret$0;
-    this.j30_1 = new CastVisitor();
+    tmp.l31_1 = LinkedHashMap_init_$Create$();
+    this.m31_1 = new CastVisitor();
   }
-  protoOf(BinaryApplyExpansionVisitor).a30 = function (node) {
-    var tmp = this.d30_1;
+  protoOf(BinaryApplyExpansionVisitor).d31 = function (node) {
+    var tmp = this.g31_1;
     return visitWithTable(this, node, tmp, BinaryApplyExpansionVisitor$visit$lambda(this, node));
   };
   protoOf(BinaryApplyExpansionVisitor).visitTerminal = function (node) {
-    return this.a30(node);
+    return this.d31(node);
   };
-  protoOf(BinaryApplyExpansionVisitor).b30 = function (node) {
-    var tmp = this.d30_1;
+  protoOf(BinaryApplyExpansionVisitor).e31 = function (node) {
+    var tmp = this.g31_1;
     return visitWithTable(this, node, tmp, BinaryApplyExpansionVisitor$visit$lambda_0(this, node));
   };
   protoOf(BinaryApplyExpansionVisitor).visitVariable = function (node) {
-    return this.b30(node);
+    return this.e31(node);
   };
   function ExpansionVisitor(varOp, falseTerminal, trueTerminal) {
-    this.m30_1 = varOp;
-    this.n30_1 = falseTerminal;
-    this.o30_1 = trueTerminal;
+    this.p31_1 = varOp;
+    this.q31_1 = falseTerminal;
+    this.r31_1 = trueTerminal;
   }
-  protoOf(ExpansionVisitor).a30 = function (node) {
-    return node.s2z() ? this.o30_1 : this.n30_1;
+  protoOf(ExpansionVisitor).d31 = function (node) {
+    return node.v30() ? this.r31_1 : this.q31_1;
   };
   protoOf(ExpansionVisitor).visitTerminal = function (node) {
-    return this.a30(node);
+    return this.d31(node);
   };
-  protoOf(ExpansionVisitor).b30 = function (node) {
-    var lowValue = node.u2z().accept(this);
-    var highValue = node.v2z().accept(this);
-    return this.m30_1(node.b1(), lowValue, highValue);
+  protoOf(ExpansionVisitor).e31 = function (node) {
+    var lowValue = node.x30().accept(this);
+    var highValue = node.y30().accept(this);
+    return this.p31_1(node.r2(), lowValue, highValue);
   };
   protoOf(ExpansionVisitor).visitVariable = function (node) {
-    return this.b30(node);
+    return this.e31(node);
   };
   function UnaryApplyExpansionVisitor(builder, operator, expansionFalseTerminal, expansionTrueTerminal, expansionOperator) {
-    this.p30_1 = builder;
-    this.q30_1 = operator;
-    this.r30_1 = expansionFalseTerminal;
-    this.s30_1 = expansionTrueTerminal;
-    this.t30_1 = expansionOperator;
+    this.s31_1 = builder;
+    this.t31_1 = operator;
+    this.u31_1 = expansionFalseTerminal;
+    this.v31_1 = expansionTrueTerminal;
+    this.w31_1 = expansionOperator;
     var tmp = this;
-    var tmp$ret$0;
     // Inline function 'kotlin.collections.mutableMapOf' call
-    tmp$ret$0 = LinkedHashMap_init_$Create$();
-    tmp.u30_1 = tmp$ret$0;
+    tmp.x31_1 = LinkedHashMap_init_$Create$();
   }
-  protoOf(UnaryApplyExpansionVisitor).a30 = function (node) {
-    var resTruth = this.q30_1(node.s2z());
-    return new Pair(this.p30_1.buildTerminal(resTruth), resTruth ? this.s30_1 : this.r30_1);
+  protoOf(UnaryApplyExpansionVisitor).d31 = function (node) {
+    var resTruth = this.t31_1(node.v30());
+    return new Pair(this.s31_1.buildTerminal(resTruth), resTruth ? this.v31_1 : this.u31_1);
   };
   protoOf(UnaryApplyExpansionVisitor).visitTerminal = function (node) {
-    return this.a30(node);
+    return this.d31(node);
   };
-  protoOf(UnaryApplyExpansionVisitor).b30 = function (node) {
+  protoOf(UnaryApplyExpansionVisitor).e31 = function (node) {
     var key = hashCode(node);
-    if (this.u30_1.z2(key)) {
-      return ensureNotNull(this.u30_1.f3(key));
+    if (this.x31_1.u2(key)) {
+      return ensureNotNull(this.x31_1.x2(key));
     }
-    var lowNode = node.u2z().accept(this);
-    var highNode = node.v2z().accept(this);
-    var result = new Pair(this.p30_1.buildVariable(node.b1(), lowNode.k4_1, highNode.k4_1), this.t30_1(node.b1(), lowNode.l4_1, highNode.l4_1));
+    var lowNode = node.x30().accept(this);
+    var highNode = node.y30().accept(this);
+    var result = new Pair(this.s31_1.buildVariable(node.r2(), lowNode.ye_1, highNode.ye_1), this.w31_1(node.r2(), lowNode.ze_1, highNode.ze_1));
     // Inline function 'kotlin.collections.set' call
-    var tmp0_set = this.u30_1;
-    tmp0_set.a4(key, result);
+    this.x31_1.n2(key, result);
     return result;
   };
   protoOf(UnaryApplyExpansionVisitor).visitVariable = function (node) {
-    return this.b30(node);
+    return this.e31(node);
   };
   function ReducedBinaryDecisionDiagramBuilder(delegate) {
-    this.v30_1 = delegate;
+    this.y31_1 = delegate;
     var tmp = this;
-    var tmp$ret$0;
     // Inline function 'kotlin.collections.mutableMapOf' call
-    tmp$ret$0 = LinkedHashMap_init_$Create$();
-    tmp.w30_1 = tmp$ret$0;
+    tmp.z31_1 = LinkedHashMap_init_$Create$();
   }
-  protoOf(ReducedBinaryDecisionDiagramBuilder).x30 = function (value, low, high) {
+  protoOf(ReducedBinaryDecisionDiagramBuilder).a32 = function (value, low, high) {
     if (equals(low, high)) {
       return low;
     }
-    var newNode = this.v30_1.buildVariable(value, low, high);
+    var newNode = this.y31_1.buildVariable(value, low, high);
     var key = hashCode(newNode);
-    var cached = this.w30_1.f3(key);
+    var cached = this.z31_1.x2(key);
     var tmp;
     if (!(cached == null)) {
       tmp = cached;
     } else {
       // Inline function 'kotlin.collections.set' call
-      var tmp0_set = this.w30_1;
-      tmp0_set.a4(key, newNode);
+      this.z31_1.n2(key, newNode);
       tmp = newNode;
     }
     return tmp;
   };
   protoOf(ReducedBinaryDecisionDiagramBuilder).buildVariable = function (value, low, high) {
-    return this.x30(isComparable(value) ? value : THROW_CCE(), low, high);
+    return this.a32(isComparable(value) ? value : THROW_CCE(), low, high);
   };
-  protoOf(ReducedBinaryDecisionDiagramBuilder).y30 = function (truth) {
-    return this.v30_1.buildTerminal(truth);
+  protoOf(ReducedBinaryDecisionDiagramBuilder).b32 = function (truth) {
+    return this.y31_1.buildTerminal(truth);
   };
   protoOf(ReducedBinaryDecisionDiagramBuilder).buildTerminal = function (truth) {
-    return this.y30(truth);
+    return this.b32(truth);
   };
   function SimpleBinaryDecisionDiagramBuilder() {
   }
-  protoOf(SimpleBinaryDecisionDiagramBuilder).x30 = function (value, low, high) {
+  protoOf(SimpleBinaryDecisionDiagramBuilder).a32 = function (value, low, high) {
     return new SimpleBinaryDecisionDiagramVariable(value, low, high);
   };
   protoOf(SimpleBinaryDecisionDiagramBuilder).buildVariable = function (value, low, high) {
-    return this.x30(isComparable(value) ? value : THROW_CCE(), low, high);
+    return this.a32(isComparable(value) ? value : THROW_CCE(), low, high);
   };
-  protoOf(SimpleBinaryDecisionDiagramBuilder).y30 = function (truth) {
+  protoOf(SimpleBinaryDecisionDiagramBuilder).b32 = function (truth) {
     return new SimpleBinaryDecisionDiagramTerminal(truth);
   };
   protoOf(SimpleBinaryDecisionDiagramBuilder).buildTerminal = function (truth) {
-    return this.y30(truth);
+    return this.b32(truth);
   };
   function SimpleBinaryDecisionDiagramTerminal(truth) {
-    this.z30_1 = truth;
+    this.c32_1 = truth;
   }
-  protoOf(SimpleBinaryDecisionDiagramTerminal).s2z = function () {
-    return this.z30_1;
+  protoOf(SimpleBinaryDecisionDiagramTerminal).v30 = function () {
+    return this.c32_1;
   };
   protoOf(SimpleBinaryDecisionDiagramTerminal).equals = function (other) {
     if (this === other)
       return true;
     if (other == null ? true : !getKClassFromExpression(this).equals(getKClassFromExpression(other)))
       return false;
-    if (other instanceof SimpleBinaryDecisionDiagramTerminal)
-      other;
-    else
+    if (!(other instanceof SimpleBinaryDecisionDiagramTerminal))
       THROW_CCE();
-    if (!(this.z30_1 === other.z30_1))
+    if (!(this.c32_1 === other.c32_1))
       return false;
     return true;
   };
   protoOf(SimpleBinaryDecisionDiagramTerminal).hashCode = function () {
-    return this.z30_1 | 0;
+    return getBooleanHashCode(this.c32_1);
   };
   protoOf(SimpleBinaryDecisionDiagramTerminal).toString = function () {
-    return 'SimpleBinaryDecisionDiagramTerminal(truth=' + this.z30_1 + ')';
+    return 'SimpleBinaryDecisionDiagramTerminal(truth=' + this.c32_1 + ')';
   };
   protoOf(SimpleBinaryDecisionDiagramTerminal).accept = function (visitor) {
-    return this.t2z(visitor);
+    return this.w30(visitor);
   };
   function _get_hashCodeCache__ny3r0q($this) {
-    var tmp$ret$0;
     // Inline function 'kotlin.getValue' call
-    var tmp0_getValue = hashCodeCache$factory();
-    tmp$ret$0 = $this.d31_1.b1();
-    return tmp$ret$0;
+    var this_0 = $this.g32_1;
+    hashCodeCache$factory();
+    return this_0.r2();
   }
   function SimpleBinaryDecisionDiagramVariable$hashCodeCache$delegate$lambda(this$0) {
     return function () {
-      var result = hashCode(this$0.a31_1);
-      result = imul(31, result) + hashCode(this$0.b31_1) | 0;
-      result = imul(31, result) + hashCode(this$0.c31_1) | 0;
+      var result = hashCode(this$0.d32_1);
+      result = imul(31, result) + hashCode(this$0.e32_1) | 0;
+      result = imul(31, result) + hashCode(this$0.f32_1) | 0;
       return result;
     };
   }
   function SimpleBinaryDecisionDiagramVariable(value, low, high) {
-    this.a31_1 = value;
-    this.b31_1 = low;
-    this.c31_1 = high;
+    this.d32_1 = value;
+    this.e32_1 = low;
+    this.f32_1 = high;
     var tmp = this;
-    tmp.d31_1 = lazy(SimpleBinaryDecisionDiagramVariable$hashCodeCache$delegate$lambda(this));
+    tmp.g32_1 = lazy(SimpleBinaryDecisionDiagramVariable$hashCodeCache$delegate$lambda(this));
   }
-  protoOf(SimpleBinaryDecisionDiagramVariable).b1 = function () {
-    return this.a31_1;
+  protoOf(SimpleBinaryDecisionDiagramVariable).r2 = function () {
+    return this.d32_1;
   };
-  protoOf(SimpleBinaryDecisionDiagramVariable).u2z = function () {
-    return this.b31_1;
+  protoOf(SimpleBinaryDecisionDiagramVariable).x30 = function () {
+    return this.e32_1;
   };
-  protoOf(SimpleBinaryDecisionDiagramVariable).v2z = function () {
-    return this.c31_1;
+  protoOf(SimpleBinaryDecisionDiagramVariable).y30 = function () {
+    return this.f32_1;
   };
   protoOf(SimpleBinaryDecisionDiagramVariable).equals = function (other) {
     if (this === other)
       return true;
     if (other == null ? true : !getKClassFromExpression(this).equals(getKClassFromExpression(other)))
       return false;
-    if (other instanceof SimpleBinaryDecisionDiagramVariable)
-      other;
-    else
+    if (!(other instanceof SimpleBinaryDecisionDiagramVariable))
       THROW_CCE();
-    if (!equals(this.a31_1, other.a31_1))
+    if (!equals(this.d32_1, other.d32_1))
       return false;
-    if (!equals(this.b31_1, other.b31_1))
+    if (!equals(this.e32_1, other.e32_1))
       return false;
-    if (!equals(this.c31_1, other.c31_1))
+    if (!equals(this.f32_1, other.f32_1))
       return false;
     return true;
   };
@@ -567,10 +540,10 @@
     return _get_hashCodeCache__ny3r0q(this);
   };
   protoOf(SimpleBinaryDecisionDiagramVariable).toString = function () {
-    return 'SimpleBinaryDecisionDiagramVariable(value=' + this.a31_1 + ', low=' + this.b31_1 + ', high=' + this.c31_1 + ')';
+    return 'SimpleBinaryDecisionDiagramVariable(value=' + this.d32_1 + ', low=' + this.e32_1 + ', high=' + this.f32_1 + ')';
   };
   protoOf(SimpleBinaryDecisionDiagramVariable).accept = function (visitor) {
-    return this.t2z(visitor);
+    return this.w30(visitor);
   };
   function hashCodeCache$factory() {
     return getPropertyCallableRef('hashCodeCache', 1, KProperty1, function (receiver) {
@@ -578,24 +551,34 @@
     }, null);
   }
   function CastVisitor() {
-    this.k30_1 = null;
-    this.l30_1 = null;
+    this.n31_1 = null;
+    this.o31_1 = null;
   }
-  protoOf(CastVisitor).a30 = function (node) {
-    return ensureNotNull(this.k30_1)(node);
+  protoOf(CastVisitor).d31 = function (node) {
+    return ensureNotNull(this.n31_1)(node);
   };
   protoOf(CastVisitor).visitTerminal = function (node) {
-    return this.a30(node);
+    return this.d31(node);
   };
-  protoOf(CastVisitor).b30 = function (node) {
-    return ensureNotNull(this.l30_1)(node);
+  protoOf(CastVisitor).e31 = function (node) {
+    return ensureNotNull(this.o31_1)(node);
   };
   protoOf(CastVisitor).visitVariable = function (node) {
-    return this.b30(node);
+    return this.e31(node);
   };
   //region block: post-declaration
-  protoOf(SimpleBinaryDecisionDiagramTerminal).t2z = accept;
-  protoOf(SimpleBinaryDecisionDiagramVariable).t2z = accept_0;
+  defineProp(protoOf(BinaryDecisionDiagramException), 'message', function () {
+    return this.na();
+  });
+  defineProp(protoOf(BinaryDecisionDiagramException), 'cause', function () {
+    return this.oa();
+  });
+  protoOf(SimpleBinaryDecisionDiagramTerminal).w30 = accept;
+  protoOf(SimpleBinaryDecisionDiagramVariable).w30 = accept_0;
+  //endregion
+  //region block: init
+  Companion_instance = new Companion();
+  Companion_instance_0 = new Companion_0();
   //endregion
   //region block: exports
   _.$_$ = _.$_$ || {};