@tuprolog/2p-full 1.1.4 → 1.1.5

package/2p-bdd.js

@@ -17,7 +17,7 @@
   var initMetadataForInterface = kotlin_kotlin.$_$.w5;
   var initMetadataForCompanion = kotlin_kotlin.$_$.u5;
   var VOID = kotlin_kotlin.$_$.b;
-  var RuntimeException = kotlin_kotlin.$_$.da;
+  var RuntimeException = kotlin_kotlin.$_$.ha;
   var RuntimeException_init_$Init$ = kotlin_kotlin.$_$.c1;
   var captureStack = kotlin_kotlin.$_$.e5;
   var defineProp = kotlin_kotlin.$_$.l5;
@@ -25,17 +25,17 @@
   var hashCode = kotlin_kotlin.$_$.s5;
   var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.f;
   var Unit_instance = kotlin_kotlin.$_$.k1;
-  var ensureNotNull = kotlin_kotlin.$_$.ha;
-  var Pair = kotlin_kotlin.$_$.ca;
+  var ensureNotNull = kotlin_kotlin.$_$.la;
+  var Pair = kotlin_kotlin.$_$.ga;
   var compareTo = kotlin_kotlin.$_$.k5;
   var equals = kotlin_kotlin.$_$.m5;
-  var THROW_CCE = kotlin_kotlin.$_$.ea;
+  var THROW_CCE = kotlin_kotlin.$_$.ia;
   var isComparable = kotlin_kotlin.$_$.b6;
   var getKClassFromExpression = kotlin_kotlin.$_$.a7;
   var getBooleanHashCode = kotlin_kotlin.$_$.o5;
   var KProperty1 = kotlin_kotlin.$_$.c7;
   var getPropertyCallableRef = kotlin_kotlin.$_$.q5;
-  var lazy = kotlin_kotlin.$_$.ja;
+  var lazy = kotlin_kotlin.$_$.na;
   var toString = kotlin_kotlin.$_$.n6;
   //endregion
   //region block: pre-declaration

package/2p-core.js

@@ -24,7 +24,7 @@
   var initMetadataForCompanion = kotlin_kotlin.$_$.u5;
   var emptyList = kotlin_kotlin.$_$.h2;
   var emptySequence = kotlin_kotlin.$_$.m7;
-  var THROW_CCE = kotlin_kotlin.$_$.ea;
+  var THROW_CCE = kotlin_kotlin.$_$.ia;
   var isInterface = kotlin_kotlin.$_$.c6;
   var VOID = kotlin_kotlin.$_$.b;
   var toList = kotlin_kotlin.$_$.z3;
@@ -36,7 +36,7 @@
   var map = kotlin_kotlin.$_$.c8;
   var UnsupportedOperationException_init_$Create$ = kotlin_kotlin.$_$.d1;
   var KtMap = kotlin_kotlin.$_$.n1;
-  var ensureNotNull = kotlin_kotlin.$_$.ha;
+  var ensureNotNull = kotlin_kotlin.$_$.la;
   var listOf = kotlin_kotlin.$_$.y2;
   var asIterable = kotlin_kotlin.$_$.s1;
   var any = kotlin_kotlin.$_$.r1;
@@ -55,14 +55,14 @@
   var KtList = kotlin_kotlin.$_$.m1;
   var cursor_0 = kotlin_it_unibo_tuprolog_utils.$_$.t;
   var cursor_1 = kotlin_it_unibo_tuprolog_utils.$_$.u;
-  var toString_0 = kotlin_kotlin.$_$.oa;
+  var toString_0 = kotlin_kotlin.$_$.sa;
   var asReversed = kotlin_kotlin.$_$.t1;
   var last = kotlin_kotlin.$_$.u2;
   var count = kotlin_kotlin.$_$.j7;
-  var NumberFormatException = kotlin_kotlin.$_$.ba;
+  var NumberFormatException = kotlin_kotlin.$_$.fa;
   var contains = kotlin_kotlin.$_$.y8;
   var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.f;
-  var toCharArray = kotlin_kotlin.$_$.k9;
+  var toCharArray = kotlin_kotlin.$_$.o9;
   var asSequence = kotlin_kotlin.$_$.u1;
   var emptyMap = kotlin_kotlin.$_$.i2;
   var first = kotlin_kotlin.$_$.l2;
@@ -73,7 +73,7 @@
   var equals = kotlin_kotlin.$_$.m5;
   var flatMap = kotlin_kotlin.$_$.t7;
   var asSequence_0 = kotlin_kotlin.$_$.w1;
-  var to = kotlin_kotlin.$_$.pa;
+  var to = kotlin_kotlin.$_$.ta;
   var mapOf = kotlin_kotlin.$_$.a3;
   var sequenceOf = kotlin_kotlin.$_$.i8;
   var IllegalStateException_init_$Create$ = kotlin_kotlin.$_$.t;
@@ -104,12 +104,12 @@
   var getTag = kotlin_it_unibo_tuprolog_utils.$_$.m;
   var containsTag = kotlin_it_unibo_tuprolog_utils.$_$.l;
   var castTo = kotlin_it_unibo_tuprolog_utils.$_$.e;
-  var Comparable = kotlin_kotlin.$_$.t9;
-  var Comparator = kotlin_kotlin.$_$.u9;
+  var Comparable = kotlin_kotlin.$_$.x9;
+  var Comparator = kotlin_kotlin.$_$.y9;
   var initMetadataForObject = kotlin_kotlin.$_$.y5;
   var compareTo = kotlin_kotlin.$_$.k5;
-  var Enum = kotlin_kotlin.$_$.v9;
-  var noWhenBranchMatchedException = kotlin_kotlin.$_$.ka;
+  var Enum = kotlin_kotlin.$_$.z9;
+  var noWhenBranchMatchedException = kotlin_kotlin.$_$.oa;
   var Regex_init_$Create$ = kotlin_kotlin.$_$.i;
   var toString_1 = kotlin_kotlin.$_$.i1;
   var _Char___init__impl__6a9atx = kotlin_kotlin.$_$.e1;
@@ -120,8 +120,8 @@
   var RuntimeException_init_$Init$ = kotlin_kotlin.$_$.c1;
   var RuntimeException_init_$Init$_0 = kotlin_kotlin.$_$.b1;
   var RuntimeException_init_$Init$_1 = kotlin_kotlin.$_$.a1;
-  var RuntimeException = kotlin_kotlin.$_$.da;
-  var lazy = kotlin_kotlin.$_$.ja;
+  var RuntimeException = kotlin_kotlin.$_$.ha;
+  var lazy = kotlin_kotlin.$_$.na;
   var KProperty1 = kotlin_kotlin.$_$.c7;
   var getPropertyCallableRef = kotlin_kotlin.$_$.q5;
   var get_lastIndex_0 = kotlin_kotlin.$_$.s2;
@@ -157,14 +157,14 @@
   var asSequence_2 = kotlin_kotlin.$_$.v1;
   var filter = kotlin_kotlin.$_$.q7;
   var firstOrNull_0 = kotlin_kotlin.$_$.r7;
-  var Pair = kotlin_kotlin.$_$.ca;
+  var Pair = kotlin_kotlin.$_$.ga;
   var setOf = kotlin_kotlin.$_$.t3;
   var setOf_0 = kotlin_kotlin.$_$.s3;
   var defineProp = kotlin_kotlin.$_$.l5;
   var synchronizedOn = kotlin_it_unibo_tuprolog_utils.$_$.l1;
   var add = kotlin_kotlin.$_$.n4;
-  var IllegalStateException = kotlin_kotlin.$_$.x9;
-  var IllegalArgumentException = kotlin_kotlin.$_$.w9;
+  var IllegalStateException = kotlin_kotlin.$_$.ba;
+  var IllegalArgumentException = kotlin_kotlin.$_$.aa;
   var asSequence_3 = kotlin_kotlin.$_$.x1;
   var toSet = kotlin_kotlin.$_$.s8;
   var toHashSet = kotlin_kotlin.$_$.p8;
@@ -173,7 +173,7 @@
   var KtSet = kotlin_kotlin.$_$.o1;
   var plus_3 = kotlin_kotlin.$_$.n3;
   var IllegalArgumentException_init_$Create$_0 = kotlin_kotlin.$_$.r;
-  var THROW_IAE = kotlin_kotlin.$_$.fa;
+  var THROW_IAE = kotlin_kotlin.$_$.ja;
   //endregion
   //region block: pre-declaration
   function apply(substitution, substitutions) {

package/2p-solve-classic.js

@@ -43,14 +43,14 @@
   var Unit_instance = kotlin_kotlin.$_$.k1;
   var AbstractSolver = kotlin_it_unibo_tuprolog_solve.$_$.u1;
   var protoOf = kotlin_kotlin.$_$.k6;
-  var THROW_CCE = kotlin_kotlin.$_$.ea;
-  var throwUninitializedPropertyAccessException = kotlin_kotlin.$_$.ma;
+  var THROW_CCE = kotlin_kotlin.$_$.ia;
+  var throwUninitializedPropertyAccessException = kotlin_kotlin.$_$.qa;
   var getAllOperators = kotlin_it_unibo_tuprolog_solve.$_$.c4;
   var toOperatorSet = kotlin_it_unibo_tuprolog_solve.$_$.e4;
   var currentTimeInstant = kotlin_it_unibo_tuprolog_solve.$_$.a4;
   var asSequence = kotlin_kotlin.$_$.h7;
   var initMetadataForClass = kotlin_kotlin.$_$.t5;
-  var ensureNotNull = kotlin_kotlin.$_$.ha;
+  var ensureNotNull = kotlin_kotlin.$_$.la;
   var fromInt = kotlin_kotlin.$_$.s4;
   var add = kotlin_kotlin.$_$.n4;
   var hashCode = kotlin_kotlin.$_$.s5;
@@ -60,7 +60,7 @@
   var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.j4;
   var initMetadataForLambda = kotlin_kotlin.$_$.x5;
   var sequence = kotlin_kotlin.$_$.k8;
-  var toString_0 = kotlin_kotlin.$_$.oa;
+  var toString_0 = kotlin_kotlin.$_$.sa;
   var asSequence_0 = kotlin_kotlin.$_$.w1;
   var emptySequence = kotlin_kotlin.$_$.m7;
   var plus = kotlin_kotlin.$_$.g8;
@@ -78,7 +78,7 @@
   var Companion_getInstance_3 = kotlin_it_unibo_tuprolog_core.$_$.x;
   var Companion_instance_7 = kotlin_it_unibo_tuprolog_utils.$_$.c;
   var emptySet = kotlin_kotlin.$_$.j2;
-  var lazy = kotlin_kotlin.$_$.ja;
+  var lazy = kotlin_kotlin.$_$.na;
   var contains = kotlin_kotlin.$_$.i7;
   var createSolver = kotlin_it_unibo_tuprolog_solve.$_$.c;
   var createMutableSolver = kotlin_it_unibo_tuprolog_solve.$_$.b;
@@ -119,7 +119,7 @@
   var defineProp = kotlin_kotlin.$_$.l5;
   var listOf = kotlin_kotlin.$_$.x2;
   var getAllOperators_0 = kotlin_it_unibo_tuprolog_solve.$_$.d4;
-  var to = kotlin_kotlin.$_$.pa;
+  var to = kotlin_kotlin.$_$.ta;
   var loadStaticClauses = kotlin_it_unibo_tuprolog_solve.$_$.v2;
   var loadStaticClausesIterable = kotlin_it_unibo_tuprolog_solve.$_$.w2;
   var loadStaticClausesSequence = kotlin_it_unibo_tuprolog_solve.$_$.x2;

package/2p-solve-plp.js

@@ -15,7 +15,7 @@
 }(function (_, kotlin_kotlin, kotlin_it_unibo_tuprolog_utils) {
   'use strict';
   //region block: imports
-  var THROW_CCE = kotlin_kotlin.$_$.ea;
+  var THROW_CCE = kotlin_kotlin.$_$.ia;
   var setTag = kotlin_it_unibo_tuprolog_utils.$_$.j1;
   //endregion
   //region block: pre-declaration

package/2p-solve-problog.js

@@ -40,7 +40,7 @@
   var protoOf = kotlin_kotlin.$_$.k6;
   var first = kotlin_kotlin.$_$.m2;
   var Companion_instance = kotlin_it_unibo_tuprolog_core.$_$.m;
-  var THROW_CCE = kotlin_kotlin.$_$.ea;
+  var THROW_CCE = kotlin_kotlin.$_$.ia;
   var loadStaticClauses = kotlin_it_unibo_tuprolog_solve.$_$.v2;
   var loadStaticClausesIterable = kotlin_it_unibo_tuprolog_solve.$_$.w2;
   var loadStaticClausesSequence = kotlin_it_unibo_tuprolog_solve.$_$.x2;
@@ -128,7 +128,7 @@
   var hashCode = kotlin_kotlin.$_$.s5;
   var emptySet = kotlin_kotlin.$_$.j2;
   var Companion_getInstance_6 = kotlin_it_unibo_tuprolog_core.$_$.q;
-  var lazy = kotlin_kotlin.$_$.ja;
+  var lazy = kotlin_kotlin.$_$.na;
   var collectionSizeOrDefault = kotlin_kotlin.$_$.z1;
   var toSet = kotlin_kotlin.$_$.h4;
   var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.d;
@@ -157,11 +157,11 @@
   var plus = kotlin_kotlin.$_$.q3;
   var setTag = kotlin_it_unibo_tuprolog_utils.$_$.j1;
   var Regex_init_$Create$ = kotlin_kotlin.$_$.i;
-  var toDoubleOrNull = kotlin_kotlin.$_$.l9;
+  var toDoubleOrNull = kotlin_kotlin.$_$.p9;
   var toSet_0 = kotlin_kotlin.$_$.s8;
   var plus_0 = kotlin_kotlin.$_$.n3;
   var checkIndexOverflow = kotlin_kotlin.$_$.y1;
-  var Pair = kotlin_kotlin.$_$.ca;
+  var Pair = kotlin_kotlin.$_$.ga;
   var Fact = kotlin_it_unibo_tuprolog_core.$_$.i1;
   var subtract = kotlin_kotlin.$_$.x3;
   var setOf = kotlin_kotlin.$_$.t3;
@@ -184,7 +184,7 @@
   var SequenceScope = kotlin_kotlin.$_$.d7;
   var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.j4;
   var extractSignature = kotlin_it_unibo_tuprolog_solve.$_$.b4;
-  var ensureNotNull = kotlin_kotlin.$_$.ha;
+  var ensureNotNull = kotlin_kotlin.$_$.la;
   var Clause = kotlin_it_unibo_tuprolog_core.$_$.f1;
   var copyToArray = kotlin_kotlin.$_$.e2;
   var initMetadataForLambda = kotlin_kotlin.$_$.x5;

package/2p-solve-streams.js

@@ -45,7 +45,7 @@
   var Companion_instance_5 = kotlin_it_unibo_tuprolog_solve.$_$.v;
   var objectCreate = kotlin_kotlin.$_$.j6;
   var filter = kotlin_kotlin.$_$.q7;
-  var THROW_CCE = kotlin_kotlin.$_$.ea;
+  var THROW_CCE = kotlin_kotlin.$_$.ia;
   var Sequence = kotlin_kotlin.$_$.e7;
   var map = kotlin_kotlin.$_$.c8;
   var Unit_instance = kotlin_kotlin.$_$.k1;
@@ -72,7 +72,7 @@
   var Solver = kotlin_it_unibo_tuprolog_solve.$_$.z3;
   var rawSolverOf = kotlin_it_unibo_tuprolog_solve.$_$.j;
   var solverOf = kotlin_it_unibo_tuprolog_solve.$_$.i;
-  var NotImplementedError = kotlin_kotlin.$_$.z9;
+  var NotImplementedError = kotlin_kotlin.$_$.da;
   var mutableSolverOf = kotlin_it_unibo_tuprolog_solve.$_$.f;
   var rawMutableSolverOf = kotlin_it_unibo_tuprolog_solve.$_$.g;
   var newBuilder = kotlin_it_unibo_tuprolog_solve.$_$.w3;
@@ -106,7 +106,7 @@
   var plus_0 = kotlin_kotlin.$_$.f8;
   var Collection = kotlin_kotlin.$_$.l1;
   var toString = kotlin_kotlin.$_$.n6;
-  var toString_0 = kotlin_kotlin.$_$.oa;
+  var toString_0 = kotlin_kotlin.$_$.sa;
   var hashCode = kotlin_kotlin.$_$.s5;
   var getBooleanHashCode = kotlin_kotlin.$_$.o5;
   var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_core.$_$.k;
@@ -130,7 +130,7 @@
   var toList = kotlin_kotlin.$_$.q8;
   var Companion_instance_7 = kotlin_it_unibo_tuprolog_solve.$_$.w;
   var currentTimeInstant = kotlin_it_unibo_tuprolog_solve.$_$.a4;
-  var lazy = kotlin_kotlin.$_$.ja;
+  var lazy = kotlin_kotlin.$_$.na;
   var collectionSizeOrDefault = kotlin_kotlin.$_$.z1;
   var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.c;
   var KProperty1 = kotlin_kotlin.$_$.c7;
@@ -175,7 +175,7 @@
   var TypeError_init_$Create$ = kotlin_it_unibo_tuprolog_solve.$_$.l;
   var last = kotlin_kotlin.$_$.u2;
   var first_1 = kotlin_kotlin.$_$.m2;
-  var Pair = kotlin_kotlin.$_$.ca;
+  var Pair = kotlin_kotlin.$_$.ga;
   var initMetadataForCoroutine = kotlin_kotlin.$_$.v5;
   var Companion_instance_8 = kotlin_it_unibo_tuprolog_solve.$_$.c1;
   var NonBacktrackable = kotlin_it_unibo_tuprolog_solve.$_$.d2;

package/2p-solve.js

@@ -30,7 +30,7 @@
   var imul = Math.imul;
   var VOID = kotlin_kotlin.$_$.b;
   var protoOf = kotlin_kotlin.$_$.k6;
-  var to = kotlin_kotlin.$_$.pa;
+  var to = kotlin_kotlin.$_$.ta;
   var defineProp = kotlin_kotlin.$_$.l5;
   var initMetadataForClass = kotlin_kotlin.$_$.t5;
   var add = kotlin_kotlin.$_$.n4;
@@ -38,14 +38,14 @@
   var initMetadataForInterface = kotlin_kotlin.$_$.w5;
   var listOf = kotlin_kotlin.$_$.x2;
   var asIterable = kotlin_kotlin.$_$.g7;
-  var ensureNotNull = kotlin_kotlin.$_$.ha;
+  var ensureNotNull = kotlin_kotlin.$_$.la;
   var Companion_instance = kotlin_it_unibo_tuprolog_theory.$_$.b;
   var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.j;
   var last = kotlin_kotlin.$_$.u2;
   var Struct = kotlin_it_unibo_tuprolog_core.$_$.p1;
   var isInterface = kotlin_kotlin.$_$.c6;
   var first = kotlin_kotlin.$_$.l2;
-  var IllegalArgumentException = kotlin_kotlin.$_$.w9;
+  var IllegalArgumentException = kotlin_kotlin.$_$.aa;
   var initMetadataForCompanion = kotlin_kotlin.$_$.u5;
   var toString = kotlin_kotlin.$_$.n6;
   var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.q;
@@ -53,7 +53,7 @@
   var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_core.$_$.u;
   var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_core.$_$.o;
   var Companion_instance_0 = kotlin_it_unibo_tuprolog_core.$_$.n;
-  var NotImplementedError = kotlin_kotlin.$_$.z9;
+  var NotImplementedError = kotlin_kotlin.$_$.da;
   var count = kotlin_kotlin.$_$.f2;
   var toList = kotlin_kotlin.$_$.y3;
   var asSequence = kotlin_kotlin.$_$.w1;
@@ -67,9 +67,9 @@
   var Castable = kotlin_it_unibo_tuprolog_utils.$_$.f;
   var emptyMap = kotlin_kotlin.$_$.i2;
   var objectCreate = kotlin_kotlin.$_$.j6;
-  var THROW_CCE = kotlin_kotlin.$_$.ea;
+  var THROW_CCE = kotlin_kotlin.$_$.ia;
   var Var = kotlin_it_unibo_tuprolog_core.$_$.r2;
-  var lazy = kotlin_kotlin.$_$.ja;
+  var lazy = kotlin_kotlin.$_$.na;
   var KProperty1 = kotlin_kotlin.$_$.c7;
   var getPropertyCallableRef = kotlin_kotlin.$_$.q5;
   var filterNot = kotlin_kotlin.$_$.p7;
@@ -110,19 +110,19 @@
   var sequenceOf_0 = kotlin_kotlin.$_$.j8;
   var KtMap = kotlin_kotlin.$_$.n1;
   var get_ONE = kotlin_kotlin.$_$.m4;
-  var toString_0 = kotlin_kotlin.$_$.o9;
+  var toString_0 = kotlin_kotlin.$_$.s9;
   var _Char___init__impl__6a9atx = kotlin_kotlin.$_$.e1;
-  var padStart = kotlin_kotlin.$_$.c9;
+  var padStart = kotlin_kotlin.$_$.d9;
   var synchronizedOnSelf = kotlin_it_unibo_tuprolog_utils.$_$.k1;
   var joinToString = kotlin_kotlin.$_$.p2;
   var takeFirst = kotlin_it_unibo_tuprolog_utils.$_$.m1;
   var dequeOf = kotlin_it_unibo_tuprolog_utils.$_$.x;
   var initMetadataForObject = kotlin_kotlin.$_$.y5;
-  var toCharArray = kotlin_kotlin.$_$.k9;
+  var toCharArray = kotlin_kotlin.$_$.o9;
   var asSequence_0 = kotlin_kotlin.$_$.u1;
-  var Char = kotlin_kotlin.$_$.s9;
+  var Char = kotlin_kotlin.$_$.w9;
   var toString_1 = kotlin_kotlin.$_$.i1;
-  var lineSequence = kotlin_kotlin.$_$.b9;
+  var lineSequence = kotlin_kotlin.$_$.c9;
   var minus = kotlin_kotlin.$_$.f3;
   var plus_1 = kotlin_kotlin.$_$.o3;
   var NoSuchElementException_init_$Create$ = kotlin_kotlin.$_$.x;
@@ -145,7 +145,7 @@
   var get_lastIndex = kotlin_kotlin.$_$.s2;
   var Companion_instance_3 = kotlin_it_unibo_tuprolog_core.$_$.w;
   var format = kotlin_it_unibo_tuprolog_core.$_$.s2;
-  var NullPointerException = kotlin_kotlin.$_$.aa;
+  var NullPointerException = kotlin_kotlin.$_$.ea;
   var get_lastIndex_0 = kotlin_kotlin.$_$.r2;
   var until = kotlin_kotlin.$_$.z6;
   var slice = kotlin_kotlin.$_$.w3;
@@ -154,11 +154,11 @@
   var take = kotlin_kotlin.$_$.n8;
   var last_0 = kotlin_kotlin.$_$.v2;
   var joinToString_0 = kotlin_kotlin.$_$.q2;
-  var THROW_IAE = kotlin_kotlin.$_$.fa;
-  var Enum = kotlin_kotlin.$_$.v9;
-  var IllegalStateException = kotlin_kotlin.$_$.x9;
-  var replace = kotlin_kotlin.$_$.f9;
-  var trimMargin = kotlin_kotlin.$_$.p9;
+  var THROW_IAE = kotlin_kotlin.$_$.ja;
+  var Enum = kotlin_kotlin.$_$.z9;
+  var IllegalStateException = kotlin_kotlin.$_$.ba;
+  var replace = kotlin_kotlin.$_$.i9;
+  var trimMargin = kotlin_kotlin.$_$.t9;
   var drop = kotlin_kotlin.$_$.l7;
   var mapCapacity = kotlin_kotlin.$_$.z2;
   var coerceAtLeast = kotlin_kotlin.$_$.x6;
@@ -194,13 +194,13 @@
   var single = kotlin_kotlin.$_$.u3;
   var none = kotlin_kotlin.$_$.l3;
   var buffered = kotlin_it_unibo_tuprolog_utils.$_$.q;
-  var toString_2 = kotlin_kotlin.$_$.oa;
+  var toString_2 = kotlin_kotlin.$_$.sa;
   var Regex_init_$Create$ = kotlin_kotlin.$_$.i;
   var OperatorSet_init_$Create$_0 = kotlin_it_unibo_tuprolog_core.$_$.e;
   var distinct = kotlin_kotlin.$_$.k7;
-  var Pair = kotlin_kotlin.$_$.ca;
+  var Pair = kotlin_kotlin.$_$.ga;
   var asSequence_1 = kotlin_kotlin.$_$.v1;
-  var isBlank = kotlin_kotlin.$_$.z8;
+  var isBlank = kotlin_kotlin.$_$.a9;
   var addAll = kotlin_kotlin.$_$.q1;
   var Companion_instance_4 = kotlin_it_unibo_tuprolog_utils.$_$.a;
   var toSet_0 = kotlin_kotlin.$_$.h4;
@@ -242,8 +242,10 @@
   var charSequenceGet = kotlin_kotlin.$_$.i5;
   var List = kotlin_it_unibo_tuprolog_core.$_$.l1;
   var joinToString_1 = kotlin_kotlin.$_$.y7;
-  var substringAfter = kotlin_kotlin.$_$.g9;
-  var substringBefore = kotlin_kotlin.$_$.h9;
+  var removePrefix = kotlin_kotlin.$_$.e9;
+  var startsWith = kotlin_kotlin.$_$.j9;
+  var removeSuffix = kotlin_kotlin.$_$.g9;
+  var endsWith = kotlin_kotlin.$_$.z8;
   var Constant = kotlin_it_unibo_tuprolog_core.$_$.g1;
   var generateSequence = kotlin_kotlin.$_$.v7;
   var takeWhile = kotlin_kotlin.$_$.m8;
@@ -253,7 +255,7 @@
   var UnsupportedOperationException_init_$Create$ = kotlin_kotlin.$_$.d1;
   var stringToAtom = kotlin_it_unibo_tuprolog_core.$_$.v2;
   var isCharSequence = kotlin_kotlin.$_$.a6;
-  var trim = kotlin_kotlin.$_$.q9;
+  var trim = kotlin_kotlin.$_$.u9;
   var Success = kotlin_it_unibo_tuprolog_theory.$_$.e;
   var asReversed = kotlin_kotlin.$_$.t1;
   var LinkedHashSet_init_$Create$_0 = kotlin_kotlin.$_$.h;
@@ -262,8 +264,10 @@
   var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.j4;
   var initMetadataForLambda = kotlin_kotlin.$_$.x5;
   var sequence = kotlin_kotlin.$_$.k8;
-  var substring = kotlin_kotlin.$_$.j9;
-  var substring_0 = kotlin_kotlin.$_$.i9;
+  var substring = kotlin_kotlin.$_$.n9;
+  var substring_0 = kotlin_kotlin.$_$.m9;
+  var substringBefore = kotlin_kotlin.$_$.l9;
+  var substringAfter = kotlin_kotlin.$_$.k9;
   var copyToArray = kotlin_kotlin.$_$.e2;
   var print = kotlin_kotlin.$_$.l4;
   //endregion
@@ -11123,18 +11127,30 @@
         Companion_getInstance_53().v2d(_this__u8e3s4, 1);
         Companion_getInstance_53().p2d(_this__u8e3s4, 2);
         Companion_getInstance_53().v2d(_this__u8e3s4, 2);
-        var tmp_1 = (isInterface(third, Atom) ? third : THROW_CCE()).e2();
-        var result_0 = substringBefore(tmp_1, (isInterface(second, Atom) ? second : THROW_CCE()).e2());
-        tmp = Companion_getInstance_2().of(first, Companion_getInstance().of(result_0));
+        var secondValue = (isInterface(second, Atom) ? second : THROW_CCE()).e2();
+        var thirdValue = (isInterface(third, Atom) ? third : THROW_CCE()).e2();
+        var tmp_1;
+        if (endsWith(thirdValue, secondValue)) {
+          tmp_1 = Companion_getInstance_2().of(first, Companion_getInstance().of(removeSuffix(thirdValue, secondValue)));
+        } else {
+          tmp_1 = Companion_getInstance_2().failed();
+        }
+        tmp = tmp_1;
       } else {
         if (isInterface(second, Var)) {
           Companion_getInstance_53().p2d(_this__u8e3s4, 0);
           Companion_getInstance_53().v2d(_this__u8e3s4, 0);
           Companion_getInstance_53().p2d(_this__u8e3s4, 2);
           Companion_getInstance_53().v2d(_this__u8e3s4, 2);
-          var tmp_2 = (isInterface(third, Atom) ? third : THROW_CCE()).e2();
-          var result_1 = substringAfter(tmp_2, (isInterface(first, Atom) ? first : THROW_CCE()).e2());
-          tmp = Companion_getInstance_2().of(second, Companion_getInstance().of(result_1));
+          var firstValue = (isInterface(first, Atom) ? first : THROW_CCE()).e2();
+          var thirdValue_0 = (isInterface(third, Atom) ? third : THROW_CCE()).e2();
+          var tmp_2;
+          if (startsWith(thirdValue_0, firstValue)) {
+            tmp_2 = Companion_getInstance_2().of(second, Companion_getInstance().of(removePrefix(thirdValue_0, firstValue)));
+          } else {
+            tmp_2 = Companion_getInstance_2().failed();
+          }
+          tmp = tmp_2;
         } else {
           Companion_getInstance_53().v2d(_this__u8e3s4, 0);
           Companion_getInstance_53().v2d(_this__u8e3s4, 1);