@tuprolog/2p-full 0.31.5-dev0c → 0.31.5-dev0n

package/2p-bdd.js

@@ -1,50 +1,64 @@
-(function (_, kotlin_kotlin) {
+(function (root, factory) {
+  if (typeof define === 'function' && define.amd)
+    define(['exports', './kotlin-kotlin-stdlib-js-ir.js'], factory);
+  else if (typeof exports === 'object')
+    factory(module.exports, require('./kotlin-kotlin-stdlib-js-ir.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'.");
+    }
+    root['2p-bdd'] = factory(typeof this['2p-bdd'] === 'undefined' ? {} : this['2p-bdd'], this['kotlin-kotlin-stdlib-js-ir']);
+  }
+}(this, function (_, kotlin_kotlin) {
   'use strict';
   //region block: imports
   var imul = Math.imul;
-  var interfaceMeta = kotlin_kotlin.$_$.u6;
-  var setMetadataFor = kotlin_kotlin.$_$.j7;
-  var objectMeta = kotlin_kotlin.$_$.i7;
-  var RuntimeException = kotlin_kotlin.$_$.rb;
-  var RuntimeException_init_$Init$ = kotlin_kotlin.$_$.b2;
-  var captureStack = kotlin_kotlin.$_$.h6;
-  var classMeta = kotlin_kotlin.$_$.m6;
-  var hashCode = kotlin_kotlin.$_$.t6;
-  var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.f1;
-  var Unit_getInstance = kotlin_kotlin.$_$.r2;
-  var ensureNotNull = kotlin_kotlin.$_$.vb;
-  var Pair = kotlin_kotlin.$_$.qb;
-  var compareTo = kotlin_kotlin.$_$.n6;
-  var equals = kotlin_kotlin.$_$.o6;
-  var THROW_CCE = kotlin_kotlin.$_$.sb;
-  var isComparable = kotlin_kotlin.$_$.x6;
+  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 getKClassFromExpression = kotlin_kotlin.$_$.b;
-  var lazy = kotlin_kotlin.$_$.xb;
-  var KProperty1 = kotlin_kotlin.$_$.d8;
-  var getPropertyCallableRef = kotlin_kotlin.$_$.r6;
+  var lazy = kotlin_kotlin.$_$.yb;
+  var KProperty1 = kotlin_kotlin.$_$.o7;
+  var getPropertyCallableRef = kotlin_kotlin.$_$.z5;
   //endregion
   //region block: pre-declaration
   function accept(visitor) {
     return visitor.visitTerminal(this);
   }
-  setMetadataFor(Terminal, 'Terminal', interfaceMeta, undefined, undefined, undefined, undefined, []);
+  setMetadataFor(Terminal, 'Terminal', interfaceMeta);
   function accept_0(visitor) {
     return visitor.visitVariable(this);
   }
-  setMetadataFor(Variable, 'Variable', interfaceMeta, undefined, undefined, undefined, undefined, []);
-  setMetadataFor(Companion, 'Companion', objectMeta, undefined, undefined, undefined, undefined, []);
-  setMetadataFor(Companion_0, 'Companion', objectMeta, undefined, undefined, undefined, undefined, []);
-  setMetadataFor(BinaryDecisionDiagramException, 'BinaryDecisionDiagramException', classMeta, RuntimeException, undefined, undefined, undefined, []);
-  setMetadataFor(BinaryDecisionDiagramOperationException, 'BinaryDecisionDiagramOperationException', classMeta, BinaryDecisionDiagramException, undefined, undefined, undefined, []);
-  setMetadataFor(AnyVisitor, 'AnyVisitor', classMeta, undefined, undefined, undefined, undefined, []);
-  setMetadataFor(BinaryApplyExpansionVisitor, 'BinaryApplyExpansionVisitor', classMeta, undefined, undefined, undefined, undefined, []);
-  setMetadataFor(ExpansionVisitor, 'ExpansionVisitor', classMeta, undefined, undefined, undefined, undefined, []);
-  setMetadataFor(UnaryApplyExpansionVisitor, 'UnaryApplyExpansionVisitor', classMeta, undefined, undefined, undefined, undefined, []);
-  setMetadataFor(ReducedBinaryDecisionDiagramBuilder, 'ReducedBinaryDecisionDiagramBuilder', classMeta, undefined, undefined, undefined, undefined, []);
-  setMetadataFor(SimpleBinaryDecisionDiagramBuilder, 'SimpleBinaryDecisionDiagramBuilder', classMeta, undefined, undefined, undefined, undefined, []);
-  setMetadataFor(SimpleBinaryDecisionDiagramTerminal, 'SimpleBinaryDecisionDiagramTerminal', classMeta, undefined, [Terminal], undefined, undefined, []);
-  setMetadataFor(SimpleBinaryDecisionDiagramVariable, 'SimpleBinaryDecisionDiagramVariable', classMeta, undefined, [Variable], undefined, undefined, []);
-  setMetadataFor(CastVisitor, 'CastVisitor', classMeta, undefined, undefined, undefined, undefined, []);
+  setMetadataFor(Variable, 'Variable', interfaceMeta);
+  setMetadataFor(Companion, 'Companion', objectMeta);
+  setMetadataFor(Companion_0, 'Companion', objectMeta);
+  setMetadataFor(BinaryDecisionDiagramException, 'BinaryDecisionDiagramException', classMeta, RuntimeException);
+  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(SimpleBinaryDecisionDiagramTerminal, 'SimpleBinaryDecisionDiagramTerminal', classMeta, VOID, [Terminal]);
+  setMetadataFor(SimpleBinaryDecisionDiagramVariable, 'SimpleBinaryDecisionDiagramVariable', classMeta, VOID, [Variable]);
+  setMetadataFor(CastVisitor, 'CastVisitor', classMeta);
   //endregion
   function Terminal() {
   }
@@ -53,13 +67,13 @@
   function Companion() {
     Companion_instance = this;
   }
-  Companion.prototype.variableOf = function (value) {
+  protoOf(Companion).variableOf = function (value) {
     return this.variableOfWithNodes(value, this.terminalOf(false), this.terminalOf(true));
   };
-  Companion.prototype.variableOfWithNodes = function (value, low, high) {
+  protoOf(Companion).variableOfWithNodes = function (value, low, high) {
     return Companion_getInstance_0().defaultOf().buildVariable(value, low, high);
   };
-  Companion.prototype.terminalOf = function (truth) {
+  protoOf(Companion).terminalOf = function (truth) {
     return Companion_getInstance_0().defaultOf().buildTerminal(truth);
   };
   var Companion_instance;
@@ -71,22 +85,18 @@
   function Companion_0() {
     Companion_instance_0 = this;
   }
-  Companion_0.prototype.defaultOf = function () {
+  protoOf(Companion_0).defaultOf = function () {
     return createDefaultBinaryDecisionDiagramBuilder();
   };
-  Companion_0.prototype.simpleOf = function () {
+  protoOf(Companion_0).simpleOf = function () {
     return new SimpleBinaryDecisionDiagramBuilder();
   };
-  Companion_0.prototype.reducedOf = function (delegate) {
-    return this.c32(delegate === void 1 ? this.defaultOf() : delegate);
-  };
-  Companion_0.prototype.c32 = function (delegate) {
+  protoOf(Companion_0).w2z = function (delegate) {
     return new ReducedBinaryDecisionDiagramBuilder(delegate);
   };
-  Companion_0.prototype.d32 = function (delegate, $mask0, $handler) {
-    if (!(($mask0 & 1) === 0))
-      delegate = this.defaultOf();
-    return this.c32(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);
   };
   var Companion_instance_0;
   function Companion_getInstance_0() {
@@ -138,14 +148,12 @@
   }
   function applyThenExpansion$lambda($this_applyThenExpansion, $unaryOp, $expansionFalseTerminal, $expansionTrueTerminal, $expansionOperator) {
     return function () {
-      var tmp = Companion_getInstance_0();
-      return $this_applyThenExpansion.accept(new UnaryApplyExpansionVisitor(tmp.d32(null, 1, null), $unaryOp, $expansionFalseTerminal, $expansionTrueTerminal, $expansionOperator));
+      return $this_applyThenExpansion.accept(new UnaryApplyExpansionVisitor(Companion_getInstance_0().reducedOf(), $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.d32(null, 1, null), $that, $binaryOp, $expansionFalseTerminal, $expansionTrueTerminal, $expansionOperator));
+      return $this_applyThenExpansion.accept(new BinaryApplyExpansionVisitor(Companion_getInstance_0().reducedOf(), $that, $binaryOp, $expansionFalseTerminal, $expansionTrueTerminal, $expansionOperator));
     };
   }
   function bddTerminalOf(value) {
@@ -161,8 +169,7 @@
     return runOperationAndCatchErrors(any$lambda(_this__u8e3s4, predicate));
   }
   function map(_this__u8e3s4, mapper) {
-    var tmp = Companion_getInstance_0();
-    var builder = tmp.d32(null, 1, null);
+    var builder = Companion_getInstance_0().reducedOf();
     return runOperationAndCatchErrors(map$lambda(_this__u8e3s4, builder, mapper));
   }
   function runOperationAndCatchErrors(action) {
@@ -170,7 +177,8 @@
       return action();
     } catch ($p) {
       if ($p instanceof Error) {
-        throw new BinaryDecisionDiagramOperationException('BinaryDecisionDiagram operation failure', $p);
+        var e = $p;
+        throw new BinaryDecisionDiagramOperationException('BinaryDecisionDiagram operation failure', e);
       } else {
         throw $p;
       }
@@ -199,91 +207,88 @@
     };
   }
   function BinaryDecisionDiagramException(message, cause) {
+    message = message === VOID ? null : message;
+    cause = cause === VOID ? null : cause;
     RuntimeException_init_$Init$(message, cause, this);
-    this.e32_1 = message;
-    this.f32_1 = cause;
     captureStack(this, BinaryDecisionDiagramException);
+    this.x2z_1 = message;
+    this.y2z_1 = cause;
   }
-  BinaryDecisionDiagramException.prototype.k1 = function () {
-    return this.e32_1;
+  protoOf(BinaryDecisionDiagramException).p1 = function () {
+    return this.x2z_1;
   };
-  BinaryDecisionDiagramException.prototype.l1 = function () {
-    return this.f32_1;
+  protoOf(BinaryDecisionDiagramException).q1 = function () {
+    return this.y2z_1;
   };
-  Object.defineProperty(BinaryDecisionDiagramException.prototype, 'message', {
-    configurable: true,
-    get: function () {
-      return this.k1();
-    }
+  defineProp(protoOf(BinaryDecisionDiagramException), 'message', function () {
+    return this.p1();
   });
-  Object.defineProperty(BinaryDecisionDiagramException.prototype, 'cause', {
-    configurable: true,
-    get: function () {
-      return this.l1();
-    }
+  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.g32_1 = predicate;
+    this.z2z_1 = predicate;
   }
-  AnyVisitor.prototype.h32 = function (node) {
+  protoOf(AnyVisitor).a30 = function (node) {
     return false;
   };
-  AnyVisitor.prototype.visitTerminal = function (node) {
-    return this.h32(node);
+  protoOf(AnyVisitor).visitTerminal = function (node) {
+    return this.a30(node);
   };
-  AnyVisitor.prototype.i32 = function (node) {
-    var result = this.g32_1(node.b1());
+  protoOf(AnyVisitor).b30 = function (node) {
+    var result = this.z2z_1(node.b1());
     if (!result) {
-      result = node.a32().accept(this);
+      result = node.u2z().accept(this);
     }
     if (!result) {
-      result = node.b32().accept(this);
+      result = node.v2z().accept(this);
     }
     return result;
   };
-  AnyVisitor.prototype.visitVariable = function (node) {
-    return this.i32(node);
+  protoOf(AnyVisitor).visitVariable = function (node) {
+    return this.b30(node);
   };
   function visitWithTable($this, first, second, computation) {
     var firstKey = hashCode(first);
     var secondKey = hashCode(second);
-    if (!$this.p32_1.u2(firstKey)) {
+    if (!$this.i30_1.z2(firstKey)) {
       // Inline function 'kotlin.collections.set' call
-      var tmp0_set = $this.p32_1;
+      var tmp0_set = $this.i30_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);
+      tmp0_set.a4(firstKey, tmp1_set);
     }
-    var cached = ensureNotNull($this.p32_1.a3(firstKey)).a3(secondKey);
+    var cached = ensureNotNull($this.i30_1.f3(firstKey)).f3(secondKey);
     if (!(cached == null)) {
       return cached;
     }
     var result = computation();
     // Inline function 'kotlin.collections.set' call
-    var tmp2_set = ensureNotNull($this.p32_1.a3(firstKey));
-    tmp2_set.w3(secondKey, result);
+    var tmp2_set = ensureNotNull($this.i30_1.f3(firstKey));
+    tmp2_set.a4(secondKey, result);
     return result;
   }
   function apply($this, first, second) {
-    var truth = $this.l32_1(first.y31(), second.y31());
-    return new Pair($this.j32_1.buildTerminal(truth), truth ? $this.n32_1 : $this.m32_1);
+    var truth = $this.e30_1(first.s2z(), second.s2z());
+    return new Pair($this.c30_1.buildTerminal(truth), truth ? $this.g30_1 : $this.f30_1);
   }
   function apply_0($this, first, second) {
-    $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));
+    $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));
   }
   function apply_1($this, first, second) {
-    $this.k32_1 = first;
-    return second.z31($this);
+    $this.d30_1 = first;
+    return second.t2z($this);
   }
   function apply_2($this, first, second) {
     var newValue;
@@ -293,25 +298,25 @@
     var secondHigh;
     if (compareTo(first.b1(), second.b1()) <= 0) {
       newValue = first.b1();
-      firstHigh = first.b32();
-      firstLow = first.a32();
+      firstHigh = first.v2z();
+      firstLow = first.u2z();
     } else {
       newValue = second.b1();
       firstLow = first;
       firstHigh = first;
     }
     if (compareTo(second.b1(), first.b1()) <= 0) {
-      secondHigh = second.b32();
-      secondLow = second.a32();
+      secondHigh = second.v2z();
+      secondLow = second.u2z();
     } else {
       secondLow = second;
       secondHigh = second;
     }
-    $this.k32_1 = secondLow;
+    $this.d30_1 = secondLow;
     var lowNode = firstLow.accept($this);
-    $this.k32_1 = secondHigh;
+    $this.d30_1 = secondHigh;
     var highNode = firstHigh.accept($this);
-    return new Pair($this.j32_1.buildVariable(newValue, lowNode.g4_1, highNode.g4_1), $this.o32_1(newValue, lowNode.h4_1, highNode.h4_1));
+    return new Pair($this.c30_1.buildVariable(newValue, lowNode.k4_1, highNode.k4_1), $this.h30_1(newValue, lowNode.l4_1, highNode.l4_1));
   }
   function BinaryApplyExpansionVisitor$visit$lambda$lambda(this$0, $node) {
     return function (that) {
@@ -325,11 +330,11 @@
   }
   function BinaryApplyExpansionVisitor$visit$lambda(this$0, $node) {
     return function () {
-      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);
+      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);
     };
   }
   function BinaryApplyExpansionVisitor$visit$lambda$lambda_1(this$0, $node) {
@@ -344,151 +349,151 @@
   }
   function BinaryApplyExpansionVisitor$visit$lambda_0(this$0, $node) {
     return function () {
-      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);
+      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);
     };
   }
   function BinaryApplyExpansionVisitor(builder, thatNode, operator, expansionFalseTerminal, expansionTrueTerminal, 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;
+    this.c30_1 = builder;
+    this.d30_1 = thatNode;
+    this.e30_1 = operator;
+    this.f30_1 = expansionFalseTerminal;
+    this.g30_1 = expansionTrueTerminal;
+    this.h30_1 = expansionOperator;
     var tmp = this;
     var tmp$ret$0;
     // Inline function 'kotlin.collections.mutableMapOf' call
     tmp$ret$0 = LinkedHashMap_init_$Create$();
-    tmp.p32_1 = tmp$ret$0;
-    this.q32_1 = new CastVisitor();
+    tmp.i30_1 = tmp$ret$0;
+    this.j30_1 = new CastVisitor();
   }
-  BinaryApplyExpansionVisitor.prototype.h32 = function (node) {
-    var tmp = this.k32_1;
+  protoOf(BinaryApplyExpansionVisitor).a30 = function (node) {
+    var tmp = this.d30_1;
     return visitWithTable(this, node, tmp, BinaryApplyExpansionVisitor$visit$lambda(this, node));
   };
-  BinaryApplyExpansionVisitor.prototype.visitTerminal = function (node) {
-    return this.h32(node);
+  protoOf(BinaryApplyExpansionVisitor).visitTerminal = function (node) {
+    return this.a30(node);
   };
-  BinaryApplyExpansionVisitor.prototype.i32 = function (node) {
-    var tmp = this.k32_1;
+  protoOf(BinaryApplyExpansionVisitor).b30 = function (node) {
+    var tmp = this.d30_1;
     return visitWithTable(this, node, tmp, BinaryApplyExpansionVisitor$visit$lambda_0(this, node));
   };
-  BinaryApplyExpansionVisitor.prototype.visitVariable = function (node) {
-    return this.i32(node);
+  protoOf(BinaryApplyExpansionVisitor).visitVariable = function (node) {
+    return this.b30(node);
   };
   function ExpansionVisitor(varOp, falseTerminal, trueTerminal) {
-    this.t32_1 = varOp;
-    this.u32_1 = falseTerminal;
-    this.v32_1 = trueTerminal;
+    this.m30_1 = varOp;
+    this.n30_1 = falseTerminal;
+    this.o30_1 = trueTerminal;
   }
-  ExpansionVisitor.prototype.h32 = function (node) {
-    return node.y31() ? this.v32_1 : this.u32_1;
+  protoOf(ExpansionVisitor).a30 = function (node) {
+    return node.s2z() ? this.o30_1 : this.n30_1;
   };
-  ExpansionVisitor.prototype.visitTerminal = function (node) {
-    return this.h32(node);
+  protoOf(ExpansionVisitor).visitTerminal = function (node) {
+    return this.a30(node);
   };
-  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);
+  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);
   };
-  ExpansionVisitor.prototype.visitVariable = function (node) {
-    return this.i32(node);
+  protoOf(ExpansionVisitor).visitVariable = function (node) {
+    return this.b30(node);
   };
   function UnaryApplyExpansionVisitor(builder, operator, expansionFalseTerminal, expansionTrueTerminal, expansionOperator) {
-    this.w32_1 = builder;
-    this.x32_1 = operator;
-    this.y32_1 = expansionFalseTerminal;
-    this.z32_1 = expansionTrueTerminal;
-    this.a33_1 = expansionOperator;
+    this.p30_1 = builder;
+    this.q30_1 = operator;
+    this.r30_1 = expansionFalseTerminal;
+    this.s30_1 = expansionTrueTerminal;
+    this.t30_1 = expansionOperator;
     var tmp = this;
     var tmp$ret$0;
     // Inline function 'kotlin.collections.mutableMapOf' call
     tmp$ret$0 = LinkedHashMap_init_$Create$();
-    tmp.b33_1 = tmp$ret$0;
+    tmp.u30_1 = tmp$ret$0;
   }
-  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);
+  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);
   };
-  UnaryApplyExpansionVisitor.prototype.visitTerminal = function (node) {
-    return this.h32(node);
+  protoOf(UnaryApplyExpansionVisitor).visitTerminal = function (node) {
+    return this.a30(node);
   };
-  UnaryApplyExpansionVisitor.prototype.i32 = function (node) {
+  protoOf(UnaryApplyExpansionVisitor).b30 = function (node) {
     var key = hashCode(node);
-    if (this.b33_1.u2(key)) {
-      return ensureNotNull(this.b33_1.a3(key));
+    if (this.u30_1.z2(key)) {
+      return ensureNotNull(this.u30_1.f3(key));
     }
-    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));
+    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));
     // Inline function 'kotlin.collections.set' call
-    var tmp0_set = this.b33_1;
-    tmp0_set.w3(key, result);
+    var tmp0_set = this.u30_1;
+    tmp0_set.a4(key, result);
     return result;
   };
-  UnaryApplyExpansionVisitor.prototype.visitVariable = function (node) {
-    return this.i32(node);
+  protoOf(UnaryApplyExpansionVisitor).visitVariable = function (node) {
+    return this.b30(node);
   };
   function ReducedBinaryDecisionDiagramBuilder(delegate) {
-    this.c33_1 = delegate;
+    this.v30_1 = delegate;
     var tmp = this;
     var tmp$ret$0;
     // Inline function 'kotlin.collections.mutableMapOf' call
     tmp$ret$0 = LinkedHashMap_init_$Create$();
-    tmp.d33_1 = tmp$ret$0;
+    tmp.w30_1 = tmp$ret$0;
   }
-  ReducedBinaryDecisionDiagramBuilder.prototype.e33 = function (value, low, high) {
+  protoOf(ReducedBinaryDecisionDiagramBuilder).x30 = function (value, low, high) {
     if (equals(low, high)) {
       return low;
     }
-    var newNode = this.c33_1.buildVariable(value, low, high);
+    var newNode = this.v30_1.buildVariable(value, low, high);
     var key = hashCode(newNode);
-    var cached = this.d33_1.a3(key);
+    var cached = this.w30_1.f3(key);
     var tmp;
     if (!(cached == null)) {
       tmp = cached;
     } else {
       // Inline function 'kotlin.collections.set' call
-      var tmp0_set = this.d33_1;
-      tmp0_set.w3(key, newNode);
+      var tmp0_set = this.w30_1;
+      tmp0_set.a4(key, newNode);
       tmp = newNode;
     }
     return tmp;
   };
-  ReducedBinaryDecisionDiagramBuilder.prototype.buildVariable = function (value, low, high) {
-    return this.e33(isComparable(value) ? value : THROW_CCE(), low, high);
+  protoOf(ReducedBinaryDecisionDiagramBuilder).buildVariable = function (value, low, high) {
+    return this.x30(isComparable(value) ? value : THROW_CCE(), low, high);
   };
-  ReducedBinaryDecisionDiagramBuilder.prototype.f33 = function (truth) {
-    return this.c33_1.buildTerminal(truth);
+  protoOf(ReducedBinaryDecisionDiagramBuilder).y30 = function (truth) {
+    return this.v30_1.buildTerminal(truth);
   };
-  ReducedBinaryDecisionDiagramBuilder.prototype.buildTerminal = function (truth) {
-    return this.f33(truth);
+  protoOf(ReducedBinaryDecisionDiagramBuilder).buildTerminal = function (truth) {
+    return this.y30(truth);
   };
   function SimpleBinaryDecisionDiagramBuilder() {
   }
-  SimpleBinaryDecisionDiagramBuilder.prototype.e33 = function (value, low, high) {
+  protoOf(SimpleBinaryDecisionDiagramBuilder).x30 = function (value, low, high) {
     return new SimpleBinaryDecisionDiagramVariable(value, low, high);
   };
-  SimpleBinaryDecisionDiagramBuilder.prototype.buildVariable = function (value, low, high) {
-    return this.e33(isComparable(value) ? value : THROW_CCE(), low, high);
+  protoOf(SimpleBinaryDecisionDiagramBuilder).buildVariable = function (value, low, high) {
+    return this.x30(isComparable(value) ? value : THROW_CCE(), low, high);
   };
-  SimpleBinaryDecisionDiagramBuilder.prototype.f33 = function (truth) {
+  protoOf(SimpleBinaryDecisionDiagramBuilder).y30 = function (truth) {
     return new SimpleBinaryDecisionDiagramTerminal(truth);
   };
-  SimpleBinaryDecisionDiagramBuilder.prototype.buildTerminal = function (truth) {
-    return this.f33(truth);
+  protoOf(SimpleBinaryDecisionDiagramBuilder).buildTerminal = function (truth) {
+    return this.y30(truth);
   };
   function SimpleBinaryDecisionDiagramTerminal(truth) {
-    this.g33_1 = truth;
+    this.z30_1 = truth;
   }
-  SimpleBinaryDecisionDiagramTerminal.prototype.y31 = function () {
-    return this.g33_1;
+  protoOf(SimpleBinaryDecisionDiagramTerminal).s2z = function () {
+    return this.z30_1;
   };
-  SimpleBinaryDecisionDiagramTerminal.prototype.equals = function (other) {
+  protoOf(SimpleBinaryDecisionDiagramTerminal).equals = function (other) {
     if (this === other)
       return true;
     if (other == null ? true : !getKClassFromExpression(this).equals(getKClassFromExpression(other)))
@@ -497,51 +502,51 @@
       other;
     else
       THROW_CCE();
-    if (!(this.g33_1 === other.g33_1))
+    if (!(this.z30_1 === other.z30_1))
       return false;
     return true;
   };
-  SimpleBinaryDecisionDiagramTerminal.prototype.hashCode = function () {
-    return this.g33_1 | 0;
+  protoOf(SimpleBinaryDecisionDiagramTerminal).hashCode = function () {
+    return this.z30_1 | 0;
   };
-  SimpleBinaryDecisionDiagramTerminal.prototype.toString = function () {
-    return 'SimpleBinaryDecisionDiagramTerminal(truth=' + this.g33_1 + ')';
+  protoOf(SimpleBinaryDecisionDiagramTerminal).toString = function () {
+    return 'SimpleBinaryDecisionDiagramTerminal(truth=' + this.z30_1 + ')';
   };
-  SimpleBinaryDecisionDiagramTerminal.prototype.accept = function (visitor) {
-    return this.z31(visitor);
+  protoOf(SimpleBinaryDecisionDiagramTerminal).accept = function (visitor) {
+    return this.t2z(visitor);
   };
   function _get_hashCodeCache__ny3r0q($this) {
     var tmp$ret$0;
     // Inline function 'kotlin.getValue' call
     var tmp0_getValue = hashCodeCache$factory();
-    tmp$ret$0 = $this.k33_1.b1();
+    tmp$ret$0 = $this.d31_1.b1();
     return tmp$ret$0;
   }
   function SimpleBinaryDecisionDiagramVariable$hashCodeCache$delegate$lambda(this$0) {
     return function () {
-      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;
+      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;
       return result;
     };
   }
   function SimpleBinaryDecisionDiagramVariable(value, low, high) {
-    this.h33_1 = value;
-    this.i33_1 = low;
-    this.j33_1 = high;
+    this.a31_1 = value;
+    this.b31_1 = low;
+    this.c31_1 = high;
     var tmp = this;
-    tmp.k33_1 = lazy(SimpleBinaryDecisionDiagramVariable$hashCodeCache$delegate$lambda(this));
+    tmp.d31_1 = lazy(SimpleBinaryDecisionDiagramVariable$hashCodeCache$delegate$lambda(this));
   }
-  SimpleBinaryDecisionDiagramVariable.prototype.b1 = function () {
-    return this.h33_1;
+  protoOf(SimpleBinaryDecisionDiagramVariable).b1 = function () {
+    return this.a31_1;
   };
-  SimpleBinaryDecisionDiagramVariable.prototype.a32 = function () {
-    return this.i33_1;
+  protoOf(SimpleBinaryDecisionDiagramVariable).u2z = function () {
+    return this.b31_1;
   };
-  SimpleBinaryDecisionDiagramVariable.prototype.b32 = function () {
-    return this.j33_1;
+  protoOf(SimpleBinaryDecisionDiagramVariable).v2z = function () {
+    return this.c31_1;
   };
-  SimpleBinaryDecisionDiagramVariable.prototype.equals = function (other) {
+  protoOf(SimpleBinaryDecisionDiagramVariable).equals = function (other) {
     if (this === other)
       return true;
     if (other == null ? true : !getKClassFromExpression(this).equals(getKClassFromExpression(other)))
@@ -550,22 +555,22 @@
       other;
     else
       THROW_CCE();
-    if (!equals(this.h33_1, other.h33_1))
+    if (!equals(this.a31_1, other.a31_1))
       return false;
-    if (!equals(this.i33_1, other.i33_1))
+    if (!equals(this.b31_1, other.b31_1))
       return false;
-    if (!equals(this.j33_1, other.j33_1))
+    if (!equals(this.c31_1, other.c31_1))
       return false;
     return true;
   };
-  SimpleBinaryDecisionDiagramVariable.prototype.hashCode = function () {
+  protoOf(SimpleBinaryDecisionDiagramVariable).hashCode = function () {
     return _get_hashCodeCache__ny3r0q(this);
   };
-  SimpleBinaryDecisionDiagramVariable.prototype.toString = function () {
-    return 'SimpleBinaryDecisionDiagramVariable(value=' + this.h33_1 + ', low=' + this.i33_1 + ', high=' + this.j33_1 + ')';
+  protoOf(SimpleBinaryDecisionDiagramVariable).toString = function () {
+    return 'SimpleBinaryDecisionDiagramVariable(value=' + this.a31_1 + ', low=' + this.b31_1 + ', high=' + this.c31_1 + ')';
   };
-  SimpleBinaryDecisionDiagramVariable.prototype.accept = function (visitor) {
-    return this.z31(visitor);
+  protoOf(SimpleBinaryDecisionDiagramVariable).accept = function (visitor) {
+    return this.t2z(visitor);
   };
   function hashCodeCache$factory() {
     return getPropertyCallableRef('hashCodeCache', 1, KProperty1, function (receiver) {
@@ -573,24 +578,24 @@
     }, null);
   }
   function CastVisitor() {
-    this.r32_1 = null;
-    this.s32_1 = null;
+    this.k30_1 = null;
+    this.l30_1 = null;
   }
-  CastVisitor.prototype.h32 = function (node) {
-    return ensureNotNull(this.r32_1)(node);
+  protoOf(CastVisitor).a30 = function (node) {
+    return ensureNotNull(this.k30_1)(node);
   };
-  CastVisitor.prototype.visitTerminal = function (node) {
-    return this.h32(node);
+  protoOf(CastVisitor).visitTerminal = function (node) {
+    return this.a30(node);
   };
-  CastVisitor.prototype.i32 = function (node) {
-    return ensureNotNull(this.s32_1)(node);
+  protoOf(CastVisitor).b30 = function (node) {
+    return ensureNotNull(this.l30_1)(node);
   };
-  CastVisitor.prototype.visitVariable = function (node) {
-    return this.i32(node);
+  protoOf(CastVisitor).visitVariable = function (node) {
+    return this.b30(node);
   };
   //region block: post-declaration
-  SimpleBinaryDecisionDiagramTerminal.prototype.z31 = accept;
-  SimpleBinaryDecisionDiagramVariable.prototype.z31 = accept_0;
+  protoOf(SimpleBinaryDecisionDiagramTerminal).t2z = accept;
+  protoOf(SimpleBinaryDecisionDiagramVariable).t2z = accept_0;
   //endregion
   //region block: exports
   _.$_$ = _.$_$ || {};
@@ -604,6 +609,6 @@
   _.$_$.h = orThenExpansion;
   //endregion
   return _;
-}(module.exports, require('./kotlin-kotlin-stdlib-js-ir.js')));
+}));
 
 //# sourceMappingURL=2p-bdd.js.map