@tuprolog/arg2p 0.13.2 → 0.14.2

package/2p-dsl-solve.js

@@ -35,23 +35,23 @@
   //region block: imports
   var Companion_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.p1;
   var VOID = kotlin_kotlin.$_$.b;
-  var protoOf = kotlin_kotlin.$_$.m6;
+  var protoOf = kotlin_kotlin.$_$.n6;
   var Companion_instance = kotlin_it_unibo_tuprolog_core.$_$.t;
   var Companion_instance_0 = kotlin_it_unibo_tuprolog_dsl_core.$_$.b;
   var Companion_instance_1 = kotlin_it_unibo_tuprolog_core.$_$.b1;
   var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_unify.$_$.b;
   var IndexedTheoryFactory = kotlin_it_unibo_tuprolog_theory.$_$.c;
-  var initMetadataForCompanion = kotlin_kotlin.$_$.y5;
-  var objectCreate = kotlin_kotlin.$_$.l6;
-  var toString = kotlin_kotlin.$_$.p6;
+  var initMetadataForCompanion = kotlin_kotlin.$_$.b6;
+  var objectCreate = kotlin_kotlin.$_$.m6;
+  var toString = kotlin_kotlin.$_$.q6;
   var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.q;
-  var Unit_instance = kotlin_kotlin.$_$.k1;
-  var equals = kotlin_kotlin.$_$.r5;
+  var Unit_instance = kotlin_kotlin.$_$.l1;
+  var equals = kotlin_kotlin.$_$.u5;
   var logicListFromFrom = kotlin_it_unibo_tuprolog_core.$_$.d;
   var logicListFromIterable = kotlin_it_unibo_tuprolog_core.$_$.b;
   var logicListFromSequence = kotlin_it_unibo_tuprolog_core.$_$.c;
   var copy = kotlin_it_unibo_tuprolog_solve.$_$.g;
-  var THROW_CCE = kotlin_kotlin.$_$.pa;
+  var THROW_CCE = kotlin_kotlin.$_$.qa;
   var mguWithOccurCheck = kotlin_it_unibo_tuprolog_unify.$_$.a;
   var stringInvoke = kotlin_it_unibo_tuprolog_dsl_core.$_$.v4;
   var structOfAny = kotlin_it_unibo_tuprolog_dsl_core.$_$.a5;
@@ -196,98 +196,98 @@
   var mutableTheory = kotlin_it_unibo_tuprolog_dsl_theory.$_$.c;
   var mutableTheoryOfConcatenatedSequences = kotlin_it_unibo_tuprolog_dsl_theory.$_$.a;
   var mutableTheoryOfConcatenatedIterables = kotlin_it_unibo_tuprolog_dsl_theory.$_$.b;
-  var Scope = kotlin_it_unibo_tuprolog_core.$_$.r1;
-  var LogicProgrammingScopeWithUnification = kotlin_it_unibo_tuprolog_dsl_unify.$_$.j;
-  var LogicProgrammingScopeWithSubstitutions = kotlin_it_unibo_tuprolog_dsl_core.$_$.o4;
+  var LogicProgrammingScopeWithPrologStandardLibrary = kotlin_it_unibo_tuprolog_dsl_core.$_$.h4;
   var LogicProgrammingScopeWithOperators = kotlin_it_unibo_tuprolog_dsl_core.$_$.w1;
+  var LogicProgrammingScopeWithUnification = kotlin_it_unibo_tuprolog_dsl_unify.$_$.j;
+  var LogicProgrammingScopeWithTheories = kotlin_it_unibo_tuprolog_dsl_theory.$_$.h;
   var MinimalLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.c5;
-  var LogicProgrammingScopeWithPrologStandardLibrary = kotlin_it_unibo_tuprolog_dsl_core.$_$.h4;
+  var LogicProgrammingScopeWithSubstitutions = kotlin_it_unibo_tuprolog_dsl_core.$_$.o4;
   var BaseLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.e;
-  var LogicProgrammingScopeWithTheories = kotlin_it_unibo_tuprolog_dsl_theory.$_$.h;
+  var Scope = kotlin_it_unibo_tuprolog_core.$_$.r1;
   var Unificator = kotlin_it_unibo_tuprolog_unify.$_$.c;
   var TheoryFactory = kotlin_it_unibo_tuprolog_theory.$_$.f;
   var MutableSolver = kotlin_it_unibo_tuprolog_solve.$_$.t2;
-  var initMetadataForClass = kotlin_kotlin.$_$.x5;
-  var initMetadataForInterface = kotlin_kotlin.$_$.z5;
+  var initMetadataForClass = kotlin_kotlin.$_$.a6;
+  var initMetadataForInterface = kotlin_kotlin.$_$.c6;
   //endregion
   //region block: pre-declaration
   initMetadataForCompanion(Companion);
   function solverOf(unificator, otherLibraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
-    return this.r2y().p1w(unificator, otherLibraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings);
+    return this.o2z().m1x(unificator, otherLibraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings);
   }
   function solverOf_0(unificator, otherLibraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, $super) {
-    unificator = unificator === VOID ? this.b1j() : unificator;
-    otherLibraries = otherLibraries === VOID ? this.r2y().u1v() : otherLibraries;
-    flags = flags === VOID ? this.r2y().x1v() : flags;
-    staticKb = staticKb === VOID ? this.r2y().a1w() : staticKb;
-    dynamicKb = dynamicKb === VOID ? this.r2y().b1w() : dynamicKb;
-    stdIn = stdIn === VOID ? this.r2y().c1w() : stdIn;
-    stdOut = stdOut === VOID ? this.r2y().d1w() : stdOut;
-    stdErr = stdErr === VOID ? this.r2y().e1w() : stdErr;
-    warnings = warnings === VOID ? this.r2y().f1w() : warnings;
-    return $super === VOID ? this.m1w(unificator, otherLibraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) : solverOf(unificator, otherLibraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings);
+    unificator = unificator === VOID ? this.y1j() : unificator;
+    otherLibraries = otherLibraries === VOID ? this.o2z().r1w() : otherLibraries;
+    flags = flags === VOID ? this.o2z().u1w() : flags;
+    staticKb = staticKb === VOID ? this.o2z().x1w() : staticKb;
+    dynamicKb = dynamicKb === VOID ? this.o2z().y1w() : dynamicKb;
+    stdIn = stdIn === VOID ? this.o2z().z1w() : stdIn;
+    stdOut = stdOut === VOID ? this.o2z().a1x() : stdOut;
+    stdErr = stdErr === VOID ? this.o2z().b1x() : stdErr;
+    warnings = warnings === VOID ? this.o2z().c1x() : warnings;
+    return $super === VOID ? this.j1x(unificator, otherLibraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) : solverOf(unificator, otherLibraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings);
   }
   function staticKbByArray(clauses) {
-    return this.s2y().loadStaticClauses(clauses.slice());
+    return this.p2z().loadStaticClauses(clauses.slice());
   }
   function staticKbByIterable(clauses) {
-    return this.s2y().loadStaticClausesIterable(clauses);
+    return this.p2z().loadStaticClausesIterable(clauses);
   }
   function staticKbBySequence(clauses) {
-    return this.s2y().loadStaticClausesSequence(clauses);
+    return this.p2z().loadStaticClausesSequence(clauses);
   }
   function staticKbByTheory(theory) {
-    return this.s2y().loadStaticKb(theory);
+    return this.p2z().loadStaticKb(theory);
   }
   function dynamicKbByArray(clauses) {
-    return this.s2y().loadDynamicClauses(clauses.slice());
+    return this.p2z().loadDynamicClauses(clauses.slice());
   }
   function dynamicKbByIterable(clauses) {
-    return this.s2y().loadDynamicClausesIterable(clauses);
+    return this.p2z().loadDynamicClausesIterable(clauses);
   }
   function dynamicKbBySequence(clauses) {
-    return this.s2y().loadDynamicClausesSequence(clauses);
+    return this.p2z().loadDynamicClausesSequence(clauses);
   }
   function dynamicKbByTheory(theory) {
-    return this.s2y().loadDynamicKb(theory);
+    return this.p2z().loadDynamicKb(theory);
   }
-  initMetadataForInterface(LogicProgrammingScopeWithResolution, 'LogicProgrammingScopeWithResolution', VOID, VOID, [Unificator, BaseLogicProgrammingScope, MutableSolver]);
-  initMetadataForClass(LogicProgrammingScopeImpl, 'LogicProgrammingScopeImpl', VOID, VOID, [Scope, LogicProgrammingScopeWithUnification, LogicProgrammingScopeWithSubstitutions, LogicProgrammingScopeWithOperators, MinimalLogicProgrammingScope, LogicProgrammingScopeWithPrologStandardLibrary, BaseLogicProgrammingScope, LogicProgrammingScopeWithTheories, LogicProgrammingScopeWithResolution, Unificator, TheoryFactory, MutableSolver]);
+  initMetadataForInterface(LogicProgrammingScopeWithResolution, 'LogicProgrammingScopeWithResolution', VOID, VOID, [BaseLogicProgrammingScope, Unificator, MutableSolver]);
+  initMetadataForClass(LogicProgrammingScopeImpl, 'LogicProgrammingScopeImpl', VOID, VOID, [LogicProgrammingScopeWithPrologStandardLibrary, LogicProgrammingScopeWithOperators, LogicProgrammingScopeWithUnification, LogicProgrammingScopeWithTheories, MinimalLogicProgrammingScope, LogicProgrammingScopeWithSubstitutions, BaseLogicProgrammingScope, Scope, LogicProgrammingScopeWithResolution, Unificator, TheoryFactory, MutableSolver]);
   //endregion
   function prolog(unificator, function_0) {
-    unificator = unificator === VOID ? Companion_getInstance().q1v().w1v() : unificator;
-    return logicProgramming(Companion_getInstance().q1v(), unificator, function_0);
+    unificator = unificator === VOID ? Companion_getInstance().n1w().t1w() : unificator;
+    return logicProgramming(Companion_getInstance().n1w(), unificator, function_0);
   }
   function logicProgramming(solverFactory, unificator, function_0) {
-    unificator = unificator === VOID ? solverFactory.w1v() : unificator;
+    unificator = unificator === VOID ? solverFactory.t1w() : unificator;
     return function_0(Companion_instance_2.ofSolverFactory(solverFactory, unificator));
   }
   function Companion() {
   }
-  protoOf(Companion).h2y = function (_this__u8e3s4, unificator) {
-    return _this__u8e3s4.w1v() === unificator ? _this__u8e3s4 : _this__u8e3s4.newBuilder().setUnificator(unificator).toFactory();
+  protoOf(Companion).e2z = function (_this__u8e3s4, unificator) {
+    return _this__u8e3s4.t1w() === unificator ? _this__u8e3s4 : _this__u8e3s4.newBuilder().setUnificator(unificator).toFactory();
   };
-  protoOf(Companion).i2y = function (scope, termificator, variablesProvider, unificator, theoryFactory, solverFactory) {
-    return LogicProgrammingScopeImpl_init_$Create$(scope, termificator.a1g() === scope ? termificator : termificator.b1g(scope), variablesProvider.a1g() === scope ? variablesProvider : variablesProvider.b1g(scope), unificator, theoryFactory.b1j() === unificator ? theoryFactory : theoryFactory.t1q(unificator), this.h2y(solverFactory, unificator));
+  protoOf(Companion).f2z = function (scope, termificator, variablesProvider, unificator, theoryFactory, solverFactory) {
+    return LogicProgrammingScopeImpl_init_$Create$(scope, termificator.x1g() === scope ? termificator : termificator.y1g(scope), variablesProvider.x1g() === scope ? variablesProvider : variablesProvider.y1g(scope), unificator, theoryFactory.y1j() === unificator ? theoryFactory : theoryFactory.q1r(unificator), this.e2z(solverFactory, unificator));
   };
   protoOf(Companion).of = function (scope, termificator, variablesProvider, unificator, theoryFactory, solverFactory, $super) {
     scope = scope === VOID ? Companion_instance.empty() : scope;
     termificator = termificator === VOID ? Companion_instance_0.default(scope) : termificator;
-    variablesProvider = variablesProvider === VOID ? Companion_instance_1.w12(scope) : variablesProvider;
-    unificator = unificator === VOID ? Companion_getInstance_0().u1i() : unificator;
+    variablesProvider = variablesProvider === VOID ? Companion_instance_1.u13(scope) : variablesProvider;
+    unificator = unificator === VOID ? Companion_getInstance_0().r1j() : unificator;
     theoryFactory = theoryFactory === VOID ? new IndexedTheoryFactory(unificator) : theoryFactory;
-    return $super === VOID ? this.i2y(scope, termificator, variablesProvider, unificator, theoryFactory, solverFactory) : $super.i2y.call(this, scope, termificator, variablesProvider, unificator, theoryFactory, solverFactory);
+    return $super === VOID ? this.f2z(scope, termificator, variablesProvider, unificator, theoryFactory, solverFactory) : $super.f2z.call(this, scope, termificator, variablesProvider, unificator, theoryFactory, solverFactory);
   };
-  protoOf(Companion).j2y = function (solverFactory, unificator, scope, termificator, variablesProvider, theoryFactory) {
-    return this.i2y(scope, termificator, variablesProvider, unificator, theoryFactory, solverFactory);
+  protoOf(Companion).g2z = function (solverFactory, unificator, scope, termificator, variablesProvider, theoryFactory) {
+    return this.f2z(scope, termificator, variablesProvider, unificator, theoryFactory, solverFactory);
   };
   protoOf(Companion).ofSolverFactory = function (solverFactory, unificator, scope, termificator, variablesProvider, theoryFactory, $super) {
-    unificator = unificator === VOID ? solverFactory.w1v() : unificator;
+    unificator = unificator === VOID ? solverFactory.t1w() : unificator;
     scope = scope === VOID ? Companion_instance.empty() : scope;
     termificator = termificator === VOID ? Companion_instance_0.default(scope) : termificator;
-    variablesProvider = variablesProvider === VOID ? Companion_instance_1.w12(scope) : variablesProvider;
+    variablesProvider = variablesProvider === VOID ? Companion_instance_1.u13(scope) : variablesProvider;
     theoryFactory = theoryFactory === VOID ? new IndexedTheoryFactory(unificator) : theoryFactory;
-    return $super === VOID ? this.j2y(solverFactory, unificator, scope, termificator, variablesProvider, theoryFactory) : $super.j2y.call(this, solverFactory, unificator, scope, termificator, variablesProvider, theoryFactory);
+    return $super === VOID ? this.g2z(solverFactory, unificator, scope, termificator, variablesProvider, theoryFactory) : $super.g2z.call(this, solverFactory, unificator, scope, termificator, variablesProvider, theoryFactory);
   };
   var Companion_instance_2;
   function Companion_getInstance_1() {
@@ -301,485 +301,485 @@
     return LogicProgrammingScopeImpl_init_$Init$(scope, termificator, variablesProvider, unificator, theoryFactory, solverFactory, objectCreate(protoOf(LogicProgrammingScopeImpl)));
   }
   function LogicProgrammingScopeImpl(scope, termificator, variablesProvider, unificator, theoryFactory, solverFactory, defaultSolver) {
-    this.k2y_1 = scope;
-    this.l2y_1 = termificator;
-    this.m2y_1 = variablesProvider;
-    this.n2y_1 = unificator;
-    this.o2y_1 = theoryFactory;
-    this.p2y_1 = solverFactory;
-    this.q2y_1 = defaultSolver;
+    this.h2z_1 = scope;
+    this.i2z_1 = termificator;
+    this.j2z_1 = variablesProvider;
+    this.k2z_1 = unificator;
+    this.l2z_1 = theoryFactory;
+    this.m2z_1 = solverFactory;
+    this.n2z_1 = defaultSolver;
     // Inline function 'kotlin.require' call
-    if (!(this.k2y_1 === this.m2y_1.a1g() && this.k2y_1 === this.l2y_1.a1g())) {
+    if (!(this.h2z_1 === this.j2z_1.x1g() && this.h2z_1 === this.i2z_1.x1g())) {
       var message = 'The provided Scope should be the same object for both Termificator and VariablesProvider';
       throw IllegalArgumentException_init_$Create$(toString(message));
     }
     // Inline function 'kotlin.require' call
-    if (!(equals(this.n2y_1, this.o2y_1.b1j()) && equals(this.n2y_1, this.p2y_1.w1v()) && equals(this.n2y_1, this.q2y_1.b1j()))) {
+    if (!(equals(this.k2z_1, this.l2z_1.y1j()) && equals(this.k2z_1, this.m2z_1.t1w()) && equals(this.k2z_1, this.n2z_1.y1j()))) {
       var message_0 = 'The provided Unificator should be the same object for both Solver, SolverFactory, and TheoryFactory';
       throw IllegalArgumentException_init_$Create$(toString(message_0));
     }
   }
-  protoOf(LogicProgrammingScopeImpl).a1g = function () {
-    return this.k2y_1;
+  protoOf(LogicProgrammingScopeImpl).x1g = function () {
+    return this.h2z_1;
   };
-  protoOf(LogicProgrammingScopeImpl).l2x = function () {
-    return this.l2y_1;
+  protoOf(LogicProgrammingScopeImpl).i2y = function () {
+    return this.i2z_1;
   };
-  protoOf(LogicProgrammingScopeImpl).b1j = function () {
-    return this.n2y_1;
+  protoOf(LogicProgrammingScopeImpl).y1j = function () {
+    return this.k2z_1;
   };
-  protoOf(LogicProgrammingScopeImpl).r2y = function () {
-    return this.p2y_1;
+  protoOf(LogicProgrammingScopeImpl).o2z = function () {
+    return this.m2z_1;
   };
-  protoOf(LogicProgrammingScopeImpl).s2y = function () {
-    return this.q2y_1;
+  protoOf(LogicProgrammingScopeImpl).p2z = function () {
+    return this.n2z_1;
   };
-  protoOf(LogicProgrammingScopeImpl).q2x = function () {
-    return this.b1g(Companion_instance.empty());
+  protoOf(LogicProgrammingScopeImpl).n2y = function () {
+    return this.y1g(Companion_instance.empty());
   };
   protoOf(LogicProgrammingScopeImpl).newScope = function () {
-    return this.q2x();
+    return this.n2y();
   };
-  protoOf(LogicProgrammingScopeImpl).b1g = function (scope) {
-    return LogicProgrammingScopeImpl_init_$Create$(scope, this.l2y_1.b1g(scope), this.m2y_1.b1g(scope), this.n2y_1, this.o2y_1, this.p2y_1);
+  protoOf(LogicProgrammingScopeImpl).y1g = function (scope) {
+    return LogicProgrammingScopeImpl_init_$Create$(scope, this.i2z_1.y1g(scope), this.j2z_1.y1g(scope), this.k2z_1, this.l2z_1, this.m2z_1);
   };
-  protoOf(LogicProgrammingScopeImpl).t1q = function (unificator) {
-    return LogicProgrammingScopeImpl_init_$Create$(this.k2y_1, this.l2y_1, this.m2y_1, unificator, this.o2y_1.t1q(unificator), Companion_instance_2.h2y(this.p2y_1, unificator));
+  protoOf(LogicProgrammingScopeImpl).q1r = function (unificator) {
+    return LogicProgrammingScopeImpl_init_$Create$(this.h2z_1, this.i2z_1, this.j2z_1, unificator, this.l2z_1.q1r(unificator), Companion_instance_2.e2z(this.m2z_1, unificator));
   };
   protoOf(LogicProgrammingScopeImpl).structOf = function (functor, args) {
-    return this.m2y_1.structOf(functor, args);
+    return this.j2z_1.structOf(functor, args);
   };
   protoOf(LogicProgrammingScopeImpl).structOfSequence = function (functor, args) {
-    return this.m2y_1.structOfSequence(functor, args);
+    return this.j2z_1.structOfSequence(functor, args);
   };
   protoOf(LogicProgrammingScopeImpl).structOfIterable = function (functor, args) {
-    return this.m2y_1.structOfIterable(functor, args);
+    return this.j2z_1.structOfIterable(functor, args);
   };
   protoOf(LogicProgrammingScopeImpl).structOfList = function (functor, args) {
-    return this.m2y_1.structOfList(functor, args);
+    return this.j2z_1.structOfList(functor, args);
   };
   protoOf(LogicProgrammingScopeImpl).tupleOf = function (terms) {
-    return this.m2y_1.tupleOf(terms);
+    return this.j2z_1.tupleOf(terms);
   };
   protoOf(LogicProgrammingScopeImpl).tupleOfIterable = function (terms) {
-    return this.m2y_1.tupleOfIterable(terms);
+    return this.j2z_1.tupleOfIterable(terms);
   };
   protoOf(LogicProgrammingScopeImpl).tupleOfSequence = function (terms) {
-    return this.m2y_1.tupleOfSequence(terms);
+    return this.j2z_1.tupleOfSequence(terms);
   };
   protoOf(LogicProgrammingScopeImpl).logicListOf = function (terms) {
-    return this.m2y_1.logicListOf(terms);
+    return this.j2z_1.logicListOf(terms);
   };
   protoOf(LogicProgrammingScopeImpl).logicListOfIterable = function (terms) {
-    return this.m2y_1.logicListOfIterable(terms);
+    return this.j2z_1.logicListOfIterable(terms);
   };
   protoOf(LogicProgrammingScopeImpl).logicListOfSequence = function (terms) {
-    return this.m2y_1.logicListOfSequence(terms);
+    return this.j2z_1.logicListOfSequence(terms);
   };
   protoOf(LogicProgrammingScopeImpl).blockOf = function (terms) {
-    return this.m2y_1.blockOf(terms);
+    return this.j2z_1.blockOf(terms);
   };
   protoOf(LogicProgrammingScopeImpl).blockOfIterable = function (terms) {
-    return this.m2y_1.blockOfIterable(terms);
+    return this.j2z_1.blockOfIterable(terms);
   };
   protoOf(LogicProgrammingScopeImpl).blockOfSequence = function (terms) {
-    return this.m2y_1.blockOfSequence(terms);
+    return this.j2z_1.blockOfSequence(terms);
   };
   protoOf(LogicProgrammingScopeImpl).factOf = function (head) {
-    return this.m2y_1.factOf(head);
+    return this.j2z_1.factOf(head);
   };
   protoOf(LogicProgrammingScopeImpl).consOf = function (head, tail) {
-    return this.m2y_1.consOf(head, tail);
+    return this.j2z_1.consOf(head, tail);
   };
   protoOf(LogicProgrammingScopeImpl).directiveOf = function (body1, body) {
-    return this.m2y_1.directiveOf(body1, body);
+    return this.j2z_1.directiveOf(body1, body);
   };
   protoOf(LogicProgrammingScopeImpl).containsVar = function (variable) {
-    return this.m2y_1.containsVar(variable);
+    return this.j2z_1.containsVar(variable);
   };
   protoOf(LogicProgrammingScopeImpl).contains = function (variable) {
-    return this.m2y_1.contains(variable);
+    return this.j2z_1.contains(variable);
   };
   protoOf(LogicProgrammingScopeImpl).get = function (variable) {
-    return this.m2y_1.get(variable);
+    return this.j2z_1.get(variable);
   };
   protoOf(LogicProgrammingScopeImpl).where = function (lambda) {
-    return this.m2y_1.where(lambda);
+    return this.j2z_1.where(lambda);
   };
   protoOf(LogicProgrammingScopeImpl).with = function (lambda) {
-    return this.m2y_1.with(lambda);
+    return this.j2z_1.with(lambda);
   };
   protoOf(LogicProgrammingScopeImpl).varOf = function (name) {
-    return this.m2y_1.varOf(name);
+    return this.j2z_1.varOf(name);
   };
   protoOf(LogicProgrammingScopeImpl).varOfChar = function (name) {
-    return this.m2y_1.varOfChar(name);
+    return this.j2z_1.varOfChar(name);
   };
   protoOf(LogicProgrammingScopeImpl).atomOf = function (value) {
-    return this.m2y_1.atomOf(value);
+    return this.j2z_1.atomOf(value);
   };
   protoOf(LogicProgrammingScopeImpl).atomOfChar = function (value) {
-    return this.m2y_1.atomOfChar(value);
+    return this.j2z_1.atomOfChar(value);
   };
-  protoOf(LogicProgrammingScopeImpl).xz = function (terms, last) {
-    return this.m2y_1.xz(terms, last);
+  protoOf(LogicProgrammingScopeImpl).v10 = function (terms, last) {
+    return this.j2z_1.v10(terms, last);
   };
-  protoOf(LogicProgrammingScopeImpl).yz = function (terms, last) {
-    return this.m2y_1.yz(terms, last);
+  protoOf(LogicProgrammingScopeImpl).w10 = function (terms, last) {
+    return this.j2z_1.w10(terms, last);
   };
-  protoOf(LogicProgrammingScopeImpl).zz = function (terms, last) {
-    return this.m2y_1.zz(terms, last);
+  protoOf(LogicProgrammingScopeImpl).x10 = function (terms, last) {
+    return this.j2z_1.x10(terms, last);
   };
   protoOf(LogicProgrammingScopeImpl).ruleOf = function (head, body1, body) {
-    return this.m2y_1.ruleOf(head, body1, body);
+    return this.j2z_1.ruleOf(head, body1, body);
   };
   protoOf(LogicProgrammingScopeImpl).clauseOf = function (head, body) {
-    return this.m2y_1.clauseOf(head, body);
+    return this.j2z_1.clauseOf(head, body);
   };
   protoOf(LogicProgrammingScopeImpl).indicatorOf = function (name, arity) {
-    return this.m2y_1.indicatorOf(name, arity);
+    return this.j2z_1.indicatorOf(name, arity);
   };
   protoOf(LogicProgrammingScopeImpl).indicatorOfStringInt = function (name, arity) {
-    return this.m2y_1.indicatorOfStringInt(name, arity);
+    return this.j2z_1.indicatorOfStringInt(name, arity);
   };
   protoOf(LogicProgrammingScopeImpl).anonymous = function () {
-    return this.m2y_1.anonymous();
+    return this.j2z_1.anonymous();
   };
   protoOf(LogicProgrammingScopeImpl).whatever = function () {
-    return this.m2y_1.whatever();
+    return this.j2z_1.whatever();
   };
   protoOf(LogicProgrammingScopeImpl).numOfBigDecimal = function (value) {
-    return this.m2y_1.numOfBigDecimal(value);
+    return this.j2z_1.numOfBigDecimal(value);
   };
   protoOf(LogicProgrammingScopeImpl).numOfDouble = function (value) {
-    return this.m2y_1.numOfDouble(value);
+    return this.j2z_1.numOfDouble(value);
   };
   protoOf(LogicProgrammingScopeImpl).numOfFloat = function (value) {
-    return this.m2y_1.numOfFloat(value);
+    return this.j2z_1.numOfFloat(value);
   };
   protoOf(LogicProgrammingScopeImpl).numOfBigInteger = function (value) {
-    return this.m2y_1.numOfBigInteger(value);
+    return this.j2z_1.numOfBigInteger(value);
   };
   protoOf(LogicProgrammingScopeImpl).numOfInt = function (value) {
-    return this.m2y_1.numOfInt(value);
+    return this.j2z_1.numOfInt(value);
   };
   protoOf(LogicProgrammingScopeImpl).numOfLong = function (value) {
-    return this.m2y_1.numOfLong(value);
+    return this.j2z_1.numOfLong(value);
   };
   protoOf(LogicProgrammingScopeImpl).numOfShort = function (value) {
-    return this.m2y_1.numOfShort(value);
+    return this.j2z_1.numOfShort(value);
   };
   protoOf(LogicProgrammingScopeImpl).numOfByte = function (value) {
-    return this.m2y_1.numOfByte(value);
+    return this.j2z_1.numOfByte(value);
   };
   protoOf(LogicProgrammingScopeImpl).parseNum = function (value) {
-    return this.m2y_1.parseNum(value);
+    return this.j2z_1.parseNum(value);
   };
   protoOf(LogicProgrammingScopeImpl).numOf = function (value) {
-    return this.m2y_1.numOf(value);
+    return this.j2z_1.numOf(value);
   };
   protoOf(LogicProgrammingScopeImpl).intOfBigInteger = function (value) {
-    return this.m2y_1.intOfBigInteger(value);
+    return this.j2z_1.intOfBigInteger(value);
   };
   protoOf(LogicProgrammingScopeImpl).intOf = function (value) {
-    return this.m2y_1.intOf(value);
+    return this.j2z_1.intOf(value);
   };
   protoOf(LogicProgrammingScopeImpl).intOfLong = function (value) {
-    return this.m2y_1.intOfLong(value);
+    return this.j2z_1.intOfLong(value);
   };
   protoOf(LogicProgrammingScopeImpl).intOfShort = function (value) {
-    return this.m2y_1.intOfShort(value);
+    return this.j2z_1.intOfShort(value);
   };
   protoOf(LogicProgrammingScopeImpl).intOfByte = function (value) {
-    return this.m2y_1.intOfByte(value);
+    return this.j2z_1.intOfByte(value);
   };
   protoOf(LogicProgrammingScopeImpl).parseInt = function (value) {
-    return this.m2y_1.parseInt(value);
+    return this.j2z_1.parseInt(value);
   };
   protoOf(LogicProgrammingScopeImpl).parseIntRadix = function (value, radix) {
-    return this.m2y_1.parseIntRadix(value, radix);
+    return this.j2z_1.parseIntRadix(value, radix);
   };
   protoOf(LogicProgrammingScopeImpl).realOfBigDecimal = function (value) {
-    return this.m2y_1.realOfBigDecimal(value);
+    return this.j2z_1.realOfBigDecimal(value);
   };
   protoOf(LogicProgrammingScopeImpl).realOf = function (value) {
-    return this.m2y_1.realOf(value);
+    return this.j2z_1.realOf(value);
   };
   protoOf(LogicProgrammingScopeImpl).realOfFloat = function (value) {
-    return this.m2y_1.realOfFloat(value);
+    return this.j2z_1.realOfFloat(value);
   };
   protoOf(LogicProgrammingScopeImpl).parseReal = function (value) {
-    return this.m2y_1.parseReal(value);
+    return this.j2z_1.parseReal(value);
   };
   protoOf(LogicProgrammingScopeImpl).truthOf = function (value) {
-    return this.m2y_1.truthOf(value);
+    return this.j2z_1.truthOf(value);
   };
   protoOf(LogicProgrammingScopeImpl).unifierOf = function (assignments) {
-    return this.m2y_1.unifierOf(assignments);
+    return this.j2z_1.unifierOf(assignments);
   };
   protoOf(LogicProgrammingScopeImpl).unifierOfIterable = function (assignments) {
-    return this.m2y_1.unifierOfIterable(assignments);
+    return this.j2z_1.unifierOfIterable(assignments);
   };
   protoOf(LogicProgrammingScopeImpl).unifierOfSequence = function (assignments) {
-    return this.m2y_1.unifierOfSequence(assignments);
+    return this.j2z_1.unifierOfSequence(assignments);
   };
   protoOf(LogicProgrammingScopeImpl).substitutionOf = function (assignments) {
-    return this.m2y_1.substitutionOf(assignments);
+    return this.j2z_1.substitutionOf(assignments);
   };
   protoOf(LogicProgrammingScopeImpl).substitutionOfIterable = function (assignments) {
-    return this.m2y_1.substitutionOfIterable(assignments);
+    return this.j2z_1.substitutionOfIterable(assignments);
   };
   protoOf(LogicProgrammingScopeImpl).substitutionOfSequence = function (assignments) {
-    return this.m2y_1.substitutionOfSequence(assignments);
+    return this.j2z_1.substitutionOfSequence(assignments);
   };
-  protoOf(LogicProgrammingScopeImpl).vz = function () {
-    return this.m2y_1.vz();
+  protoOf(LogicProgrammingScopeImpl).t10 = function () {
+    return this.j2z_1.t10();
   };
-  protoOf(LogicProgrammingScopeImpl).wz = function () {
-    return this.m2y_1.wz();
+  protoOf(LogicProgrammingScopeImpl).u10 = function () {
+    return this.j2z_1.u10();
   };
   protoOf(LogicProgrammingScopeImpl).retract = function (clause) {
-    return this.q2y_1.retract(clause);
+    return this.n2z_1.retract(clause);
   };
   protoOf(LogicProgrammingScopeImpl).retractByHead = function (fact) {
-    return this.q2y_1.retractByHead(fact);
+    return this.n2z_1.retractByHead(fact);
   };
   protoOf(LogicProgrammingScopeImpl).solveWithTimeout = function (goal, timeout) {
-    return this.q2y_1.solveWithTimeout(goal, timeout);
+    return this.n2z_1.solveWithTimeout(goal, timeout);
   };
   protoOf(LogicProgrammingScopeImpl).solve = function (goal) {
-    return this.q2y_1.solve(goal);
+    return this.n2z_1.solve(goal);
   };
   protoOf(LogicProgrammingScopeImpl).solveWithOptions = function (goal, options) {
-    return this.q2y_1.solveWithOptions(goal, options);
+    return this.n2z_1.solveWithOptions(goal, options);
   };
-  protoOf(LogicProgrammingScopeImpl).q1t = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
-    return this.q2y_1.q1t(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings);
+  protoOf(LogicProgrammingScopeImpl).n1u = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
+    return this.n2z_1.n1u(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings);
   };
   protoOf(LogicProgrammingScopeImpl).copy = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, $super) {
     return this.copy(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, ($super == null ? true : $super instanceof LogicProgrammingScopeImpl) ? $super : THROW_CCE());
   };
   protoOf(LogicProgrammingScopeImpl).getValue = function (thisRef, property) {
-    return this.m2y_1.getValue(thisRef, property);
+    return this.j2z_1.getValue(thisRef, property);
   };
-  protoOf(LogicProgrammingScopeImpl).d1g = function () {
-    return this.m2y_1.d1g();
+  protoOf(LogicProgrammingScopeImpl).a1h = function () {
+    return this.j2z_1.a1h();
   };
-  protoOf(LogicProgrammingScopeImpl).e1g = function () {
-    return this.m2y_1.e1g();
+  protoOf(LogicProgrammingScopeImpl).b1h = function () {
+    return this.j2z_1.b1h();
   };
-  protoOf(LogicProgrammingScopeImpl).u1h = function (term1, term2, occurCheckEnabled) {
-    return this.n2y_1.u1h(term1, term2, occurCheckEnabled);
+  protoOf(LogicProgrammingScopeImpl).r1i = function (term1, term2, occurCheckEnabled) {
+    return this.k2z_1.r1i(term1, term2, occurCheckEnabled);
   };
   protoOf(LogicProgrammingScopeImpl).mgu = function (term1, term2) {
-    return this.n2y_1.mgu(term1, term2);
+    return this.k2z_1.mgu(term1, term2);
   };
   protoOf(LogicProgrammingScopeImpl).matchWithOccurCheck = function (term1, term2, occurCheckEnabled) {
-    return this.n2y_1.matchWithOccurCheck(term1, term2, occurCheckEnabled);
+    return this.k2z_1.matchWithOccurCheck(term1, term2, occurCheckEnabled);
   };
   protoOf(LogicProgrammingScopeImpl).match = function (term1, term2) {
-    return this.n2y_1.match(term1, term2);
+    return this.k2z_1.match(term1, term2);
   };
   protoOf(LogicProgrammingScopeImpl).unifyWithOccurCheck = function (term1, term2, occurCheckEnabled) {
-    return this.n2y_1.unifyWithOccurCheck(term1, term2, occurCheckEnabled);
+    return this.k2z_1.unifyWithOccurCheck(term1, term2, occurCheckEnabled);
   };
   protoOf(LogicProgrammingScopeImpl).unify = function (term1, term2) {
-    return this.n2y_1.unify(term1, term2);
+    return this.k2z_1.unify(term1, term2);
   };
   protoOf(LogicProgrammingScopeImpl).mergeWithOccurCheck = function (substitution1, substitution2, occurCheckEnabled) {
-    return this.n2y_1.mergeWithOccurCheck(substitution1, substitution2, occurCheckEnabled);
+    return this.k2z_1.mergeWithOccurCheck(substitution1, substitution2, occurCheckEnabled);
   };
   protoOf(LogicProgrammingScopeImpl).merge = function (substitution1, substitution2) {
-    return this.n2y_1.merge(substitution1, substitution2);
+    return this.k2z_1.merge(substitution1, substitution2);
   };
   protoOf(LogicProgrammingScopeImpl).theoryOfIterableWithUnificator = function (clauses, unificator) {
-    return this.o2y_1.theoryOfIterableWithUnificator(clauses, unificator);
+    return this.l2z_1.theoryOfIterableWithUnificator(clauses, unificator);
   };
   protoOf(LogicProgrammingScopeImpl).theoryOfIterable = function (clauses) {
-    return this.o2y_1.theoryOfIterable(clauses);
+    return this.l2z_1.theoryOfIterable(clauses);
   };
   protoOf(LogicProgrammingScopeImpl).theoryOfWithUnificator = function (unificator, clauses) {
-    return this.o2y_1.theoryOfWithUnificator(unificator, clauses);
+    return this.l2z_1.theoryOfWithUnificator(unificator, clauses);
   };
   protoOf(LogicProgrammingScopeImpl).theoryOf = function (clauses) {
-    return this.o2y_1.theoryOf(clauses);
+    return this.l2z_1.theoryOf(clauses);
   };
   protoOf(LogicProgrammingScopeImpl).theoryOfSequenceWithUnificator = function (clauses, unificator) {
-    return this.o2y_1.theoryOfSequenceWithUnificator(clauses, unificator);
+    return this.l2z_1.theoryOfSequenceWithUnificator(clauses, unificator);
   };
   protoOf(LogicProgrammingScopeImpl).theoryOfSequence = function (clauses) {
-    return this.o2y_1.theoryOfSequence(clauses);
+    return this.l2z_1.theoryOfSequence(clauses);
   };
   protoOf(LogicProgrammingScopeImpl).mutableTheoryOfIterableWithUnificator = function (clauses, unificator) {
-    return this.o2y_1.mutableTheoryOfIterableWithUnificator(clauses, unificator);
+    return this.l2z_1.mutableTheoryOfIterableWithUnificator(clauses, unificator);
   };
   protoOf(LogicProgrammingScopeImpl).mutableTheoryOfIterable = function (clauses) {
-    return this.o2y_1.mutableTheoryOfIterable(clauses);
+    return this.l2z_1.mutableTheoryOfIterable(clauses);
   };
   protoOf(LogicProgrammingScopeImpl).mutableTheoryOfWithUnificator = function (unificator, clauses) {
-    return this.o2y_1.mutableTheoryOfWithUnificator(unificator, clauses);
+    return this.l2z_1.mutableTheoryOfWithUnificator(unificator, clauses);
   };
   protoOf(LogicProgrammingScopeImpl).mutableTheoryOf = function (clauses) {
-    return this.o2y_1.mutableTheoryOf(clauses);
+    return this.l2z_1.mutableTheoryOf(clauses);
   };
   protoOf(LogicProgrammingScopeImpl).mutableTheoryOfSequenceWithUnificator = function (clauses, unificator) {
-    return this.o2y_1.mutableTheoryOfSequenceWithUnificator(clauses, unificator);
+    return this.l2z_1.mutableTheoryOfSequenceWithUnificator(clauses, unificator);
   };
   protoOf(LogicProgrammingScopeImpl).mutableTheoryOfSequence = function (clauses) {
-    return this.o2y_1.mutableTheoryOfSequence(clauses);
+    return this.l2z_1.mutableTheoryOfSequence(clauses);
   };
   protoOf(LogicProgrammingScopeImpl).emptyTheoryWithUnificator = function (unificator) {
-    return this.o2y_1.emptyTheoryWithUnificator(unificator);
+    return this.l2z_1.emptyTheoryWithUnificator(unificator);
   };
   protoOf(LogicProgrammingScopeImpl).emptyTheory = function () {
-    return this.o2y_1.emptyTheory();
+    return this.l2z_1.emptyTheory();
   };
   protoOf(LogicProgrammingScopeImpl).emptyMutableTheoryWithUnificator = function (unificator) {
-    return this.o2y_1.emptyMutableTheoryWithUnificator(unificator);
+    return this.l2z_1.emptyMutableTheoryWithUnificator(unificator);
   };
   protoOf(LogicProgrammingScopeImpl).emptyMutableTheory = function () {
-    return this.o2y_1.emptyMutableTheory();
+    return this.l2z_1.emptyMutableTheory();
   };
-  protoOf(LogicProgrammingScopeImpl).b1t = function () {
-    return this.q2y_1.b1t();
+  protoOf(LogicProgrammingScopeImpl).y1t = function () {
+    return this.n2z_1.y1t();
   };
-  protoOf(LogicProgrammingScopeImpl).c1t = function () {
-    return this.q2y_1.c1t();
+  protoOf(LogicProgrammingScopeImpl).z1t = function () {
+    return this.n2z_1.z1t();
   };
   protoOf(LogicProgrammingScopeImpl).loadLibrary = function (library) {
-    this.q2y_1.loadLibrary(library);
+    this.n2z_1.loadLibrary(library);
   };
   protoOf(LogicProgrammingScopeImpl).unloadLibrary = function (library) {
-    this.q2y_1.unloadLibrary(library);
+    this.n2z_1.unloadLibrary(library);
   };
   protoOf(LogicProgrammingScopeImpl).setLibraries = function (libraries) {
-    this.q2y_1.setLibraries(libraries);
+    this.n2z_1.setLibraries(libraries);
   };
   protoOf(LogicProgrammingScopeImpl).loadStaticKb = function (theory) {
-    this.q2y_1.loadStaticKb(theory);
+    this.n2z_1.loadStaticKb(theory);
   };
   protoOf(LogicProgrammingScopeImpl).loadStaticClauses = function (clauses) {
-    this.q2y_1.loadStaticClauses(clauses);
+    this.n2z_1.loadStaticClauses(clauses);
   };
   protoOf(LogicProgrammingScopeImpl).loadStaticClausesIterable = function (clauses) {
-    this.q2y_1.loadStaticClausesIterable(clauses);
+    this.n2z_1.loadStaticClausesIterable(clauses);
   };
   protoOf(LogicProgrammingScopeImpl).loadStaticClausesSequence = function (clauses) {
-    this.q2y_1.loadStaticClausesSequence(clauses);
+    this.n2z_1.loadStaticClausesSequence(clauses);
   };
   protoOf(LogicProgrammingScopeImpl).appendStaticKb = function (theory) {
-    this.q2y_1.appendStaticKb(theory);
+    this.n2z_1.appendStaticKb(theory);
   };
   protoOf(LogicProgrammingScopeImpl).resetStaticKb = function () {
-    this.q2y_1.resetStaticKb();
+    this.n2z_1.resetStaticKb();
   };
   protoOf(LogicProgrammingScopeImpl).loadDynamicKb = function (theory) {
-    this.q2y_1.loadDynamicKb(theory);
+    this.n2z_1.loadDynamicKb(theory);
   };
   protoOf(LogicProgrammingScopeImpl).loadDynamicClauses = function (clauses) {
-    this.q2y_1.loadDynamicClauses(clauses);
+    this.n2z_1.loadDynamicClauses(clauses);
   };
   protoOf(LogicProgrammingScopeImpl).loadDynamicClausesIterable = function (clauses) {
-    this.q2y_1.loadDynamicClausesIterable(clauses);
+    this.n2z_1.loadDynamicClausesIterable(clauses);
   };
   protoOf(LogicProgrammingScopeImpl).loadDynamicClausesSequence = function (clauses) {
-    this.q2y_1.loadDynamicClausesSequence(clauses);
+    this.n2z_1.loadDynamicClausesSequence(clauses);
   };
   protoOf(LogicProgrammingScopeImpl).appendDynamicKb = function (theory) {
-    this.q2y_1.appendDynamicKb(theory);
+    this.n2z_1.appendDynamicKb(theory);
   };
   protoOf(LogicProgrammingScopeImpl).resetDynamicKb = function () {
-    this.q2y_1.resetDynamicKb();
+    this.n2z_1.resetDynamicKb();
   };
   protoOf(LogicProgrammingScopeImpl).assertA = function (clause) {
-    this.q2y_1.assertA(clause);
+    this.n2z_1.assertA(clause);
   };
   protoOf(LogicProgrammingScopeImpl).assertAFact = function (fact) {
-    this.q2y_1.assertAFact(fact);
+    this.n2z_1.assertAFact(fact);
   };
   protoOf(LogicProgrammingScopeImpl).assertZ = function (clause) {
-    this.q2y_1.assertZ(clause);
+    this.n2z_1.assertZ(clause);
   };
   protoOf(LogicProgrammingScopeImpl).assertZFact = function (fact) {
-    this.q2y_1.assertZFact(fact);
+    this.n2z_1.assertZFact(fact);
   };
   protoOf(LogicProgrammingScopeImpl).retractAll = function (clause) {
-    return this.q2y_1.retractAll(clause);
+    return this.n2z_1.retractAll(clause);
   };
   protoOf(LogicProgrammingScopeImpl).retractAllBeHead = function (fact) {
-    return this.q2y_1.retractAllBeHead(fact);
+    return this.n2z_1.retractAllBeHead(fact);
   };
   protoOf(LogicProgrammingScopeImpl).setFlag = function (name, value) {
-    this.q2y_1.setFlag(name, value);
+    this.n2z_1.setFlag(name, value);
   };
   protoOf(LogicProgrammingScopeImpl).setFlagPair = function (flag) {
-    this.q2y_1.setFlagPair(flag);
+    this.n2z_1.setFlagPair(flag);
   };
   protoOf(LogicProgrammingScopeImpl).setFlagNotable = function (flag) {
-    this.q2y_1.setFlagNotable(flag);
+    this.n2z_1.setFlagNotable(flag);
   };
   protoOf(LogicProgrammingScopeImpl).setStandardInput = function (stdIn) {
-    this.q2y_1.setStandardInput(stdIn);
+    this.n2z_1.setStandardInput(stdIn);
   };
   protoOf(LogicProgrammingScopeImpl).setStandardError = function (stdErr) {
-    this.q2y_1.setStandardError(stdErr);
+    this.n2z_1.setStandardError(stdErr);
   };
   protoOf(LogicProgrammingScopeImpl).setStandardOutput = function (stdOut) {
-    this.q2y_1.setStandardOutput(stdOut);
+    this.n2z_1.setStandardOutput(stdOut);
   };
   protoOf(LogicProgrammingScopeImpl).setWarnings = function (warnings) {
-    this.q2y_1.setWarnings(warnings);
+    this.n2z_1.setWarnings(warnings);
   };
-  protoOf(LogicProgrammingScopeImpl).q1q = function () {
-    return this.q2y_1.q1q();
+  protoOf(LogicProgrammingScopeImpl).n1r = function () {
+    return this.n2z_1.n1r();
   };
   protoOf(LogicProgrammingScopeImpl).clone = function () {
-    return this.q1q();
+    return this.n1r();
   };
   protoOf(LogicProgrammingScopeImpl).solveListWithTimeout = function (goal, timeout) {
-    return this.q2y_1.solveListWithTimeout(goal, timeout);
+    return this.n2z_1.solveListWithTimeout(goal, timeout);
   };
   protoOf(LogicProgrammingScopeImpl).solveList = function (goal) {
-    return this.q2y_1.solveList(goal);
+    return this.n2z_1.solveList(goal);
   };
   protoOf(LogicProgrammingScopeImpl).solveListWithOptions = function (goal, options) {
-    return this.q2y_1.solveListWithOptions(goal, options);
+    return this.n2z_1.solveListWithOptions(goal, options);
   };
   protoOf(LogicProgrammingScopeImpl).solveOnceWithTimeout = function (goal, timeout) {
-    return this.q2y_1.solveOnceWithTimeout(goal, timeout);
+    return this.n2z_1.solveOnceWithTimeout(goal, timeout);
   };
   protoOf(LogicProgrammingScopeImpl).solveOnce = function (goal) {
-    return this.q2y_1.solveOnce(goal);
+    return this.n2z_1.solveOnce(goal);
   };
   protoOf(LogicProgrammingScopeImpl).solveOnceWithOptions = function (goal, options) {
-    return this.q2y_1.solveOnceWithOptions(goal, options);
+    return this.n2z_1.solveOnceWithOptions(goal, options);
   };
-  protoOf(LogicProgrammingScopeImpl).z1s = function () {
-    return this.q2y_1.z1s();
+  protoOf(LogicProgrammingScopeImpl).w1t = function () {
+    return this.n2z_1.w1t();
   };
-  protoOf(LogicProgrammingScopeImpl).a1t = function () {
-    return this.q2y_1.a1t();
+  protoOf(LogicProgrammingScopeImpl).x1t = function () {
+    return this.n2z_1.x1t();
   };
-  protoOf(LogicProgrammingScopeImpl).i1t = function () {
-    return this.q2y_1.i1t();
+  protoOf(LogicProgrammingScopeImpl).f1u = function () {
+    return this.n2z_1.f1u();
   };
-  protoOf(LogicProgrammingScopeImpl).d1t = function () {
-    return this.q2y_1.d1t();
+  protoOf(LogicProgrammingScopeImpl).a1u = function () {
+    return this.n2z_1.a1u();
   };
-  protoOf(LogicProgrammingScopeImpl).e1t = function () {
-    return this.q2y_1.e1t();
+  protoOf(LogicProgrammingScopeImpl).b1u = function () {
+    return this.n2z_1.b1u();
   };
-  protoOf(LogicProgrammingScopeImpl).j1t = function () {
-    return this.q2y_1.j1t();
+  protoOf(LogicProgrammingScopeImpl).g1u = function () {
+    return this.n2z_1.g1u();
   };
-  protoOf(LogicProgrammingScopeImpl).k1t = function () {
-    return this.q2y_1.k1t();
+  protoOf(LogicProgrammingScopeImpl).h1u = function () {
+    return this.n2z_1.h1u();
   };
-  protoOf(LogicProgrammingScopeImpl).l1t = function () {
-    return this.q2y_1.l1t();
+  protoOf(LogicProgrammingScopeImpl).i1u = function () {
+    return this.n2z_1.i1u();
   };
-  protoOf(LogicProgrammingScopeImpl).m1t = function () {
-    return this.q2y_1.m1t();
+  protoOf(LogicProgrammingScopeImpl).j1u = function () {
+    return this.n2z_1.j1u();
   };
   function LogicProgrammingScopeWithResolution() {
   }
@@ -798,7 +798,7 @@
   protoOf(LogicProgrammingScopeImpl).consOfAny = consOfAny;
   protoOf(LogicProgrammingScopeImpl).directiveOfAny = directiveOfAny;
   protoOf(LogicProgrammingScopeImpl).withScope = withScope;
-  protoOf(LogicProgrammingScopeImpl).r2x = logicList;
+  protoOf(LogicProgrammingScopeImpl).o2y = logicList;
   protoOf(LogicProgrammingScopeImpl).logicList = logicList_0;
   protoOf(LogicProgrammingScopeImpl).rule = rule;
   protoOf(LogicProgrammingScopeImpl).clause2 = clause2;
@@ -919,11 +919,11 @@
   protoOf(LogicProgrammingScopeImpl).anyMguWith = anyMguWith;
   protoOf(LogicProgrammingScopeImpl).anyMatches = anyMatches;
   protoOf(LogicProgrammingScopeImpl).anyUnifyWith = anyUnifyWith;
-  protoOf(LogicProgrammingScopeImpl).w2x = mgu;
+  protoOf(LogicProgrammingScopeImpl).t2y = mgu;
   protoOf(LogicProgrammingScopeImpl).mguAny = mguAny;
-  protoOf(LogicProgrammingScopeImpl).x2x = match;
+  protoOf(LogicProgrammingScopeImpl).u2y = match;
   protoOf(LogicProgrammingScopeImpl).matchAny = matchAny;
-  protoOf(LogicProgrammingScopeImpl).y2x = unify;
+  protoOf(LogicProgrammingScopeImpl).v2y = unify;
   protoOf(LogicProgrammingScopeImpl).unifyAny = unifyAny;
   protoOf(LogicProgrammingScopeImpl).convertToClause = convertToClause;
   protoOf(LogicProgrammingScopeImpl).theory = theory;
@@ -932,7 +932,7 @@
   protoOf(LogicProgrammingScopeImpl).mutableTheory = mutableTheory;
   protoOf(LogicProgrammingScopeImpl).mutableTheoryOfConcatenatedSequences = mutableTheoryOfConcatenatedSequences;
   protoOf(LogicProgrammingScopeImpl).mutableTheoryOfConcatenatedIterables = mutableTheoryOfConcatenatedIterables;
-  protoOf(LogicProgrammingScopeImpl).m1w = solverOf;
+  protoOf(LogicProgrammingScopeImpl).j1x = solverOf;
   protoOf(LogicProgrammingScopeImpl).solverOf = solverOf_0;
   protoOf(LogicProgrammingScopeImpl).staticKbByArray = staticKbByArray;
   protoOf(LogicProgrammingScopeImpl).staticKbByIterable = staticKbByIterable;