diff --git a/inca-translation/.mps/workspace.xml b/inca-translation/.mps/workspace.xml
index 304965a599f76f6fc015936c73bbfd95f4a36d14..e7d90e9f350f2c737266e87efcc46c448c80b23a 100644
--- a/inca-translation/.mps/workspace.xml
+++ b/inca-translation/.mps/workspace.xml
@@ -7,31 +7,18 @@
-
-
-
-
-
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -53,7 +40,7 @@
-
+
@@ -73,11 +60,11 @@
-
-
-
-
-
-
-
-
-
- $USER_HOME$/.subversion
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ $USER_HOME$/.subversion
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -2412,10 +2271,229 @@
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
+
@@ -2426,22 +2504,21 @@
-
-
+
-
-
+
+
-
-
+
+
@@ -2450,7 +2527,7 @@
-
+
@@ -2461,31 +2538,97 @@
-
+
-
+
-
+
-
-
+
+
-
-
+
+
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
+
@@ -2496,34 +2639,91 @@
-
-
-
-
-
+
-
+
-
-
+
+
-
-
+
+
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
+
@@ -2534,31 +2734,87 @@
-
-
+
-
-
+
+
-
-
+
+
-
-
+
+
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
+
@@ -2569,31 +2825,36 @@
-
-
+
-
+
-
+
-
-
+
+
-
+
+
+
+
+
+
+
-
+
@@ -2604,22 +2865,26 @@
-
-
+
+
+
+
+
+
-
+
-
-
+
+
-
-
+
+
@@ -2628,13 +2893,13 @@
-
+
-
+
@@ -2648,18 +2913,18 @@
-
+
-
+
-
-
+
+
-
-
+
+
@@ -2668,7 +2933,7 @@
-
+
@@ -2679,13 +2944,12 @@
-
-
+
-
+
@@ -2693,83 +2957,17 @@
-
-
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
-
+
@@ -2783,88 +2981,123 @@
-
+
-
-
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
+
-
+
-
+
-
+
-
+
-
+
@@ -2878,84 +3111,135 @@
-
+
-
-
+
+
-
-
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
-
+
-
+
-
+
-
+
+
+
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
+
+
-
-
-
-
-
-
-
+
-
+
@@ -2969,18 +3253,18 @@
-
+
-
+
-
-
+
+
-
-
+
+
@@ -2989,64 +3273,64 @@
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
@@ -3063,7 +3347,7 @@
-
+
@@ -3144,96 +3428,20 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
-
+
+
+
+
+
+
+
-
+
@@ -3247,33 +3455,35 @@
-
+
-
-
+
+
-
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
+
-
+
@@ -3287,18 +3497,18 @@
-
+
-
-
+
+
-
-
+
+
@@ -3307,7 +3517,7 @@
-
+
@@ -3321,18 +3531,18 @@
-
+
-
-
+
+
-
-
+
+
@@ -3341,7 +3551,7 @@
-
+
@@ -3355,123 +3565,27 @@
-
+
-
+
-
-
+
+
-
-
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
-
+
@@ -3485,83 +3599,37 @@
-
+
-
+
-
-
-
+
+
+
+
+
-
-
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
@@ -3575,17 +3643,27 @@
-
+
-
+
+
+
+
+
+
+
+
+
+
+
-
+
@@ -3599,17 +3677,27 @@
-
+
-
-
+
+
+
+
+
+
+
+
+
+
+
+
-
+
@@ -3623,35 +3711,27 @@
-
+
-
-
+
+
-
-
-
-
-
+
+
+
-
+
-
-
-
-
-
-
-
+
-
+
diff --git a/inca-translation/solutions/FORecursiveTypes_Checker/classes_gen/FORecursiveTypes_Checker/model/trace.info b/inca-translation/solutions/FORecursiveTypes_Checker/classes_gen/FORecursiveTypes_Checker/model/trace.info
index 982d620b8c9092d6df662122b75136dd8e85b106..80e747d2cf7d331e263f2c89db55f4e6cfeb534a 100644
--- a/inca-translation/solutions/FORecursiveTypes_Checker/classes_gen/FORecursiveTypes_Checker/model/trace.info
+++ b/inca-translation/solutions/FORecursiveTypes_Checker/classes_gen/FORecursiveTypes_Checker/model/trace.info
@@ -387,18 +387,18 @@
-
-
-
+
+
+
-
+
-
-
+
+
@@ -410,19 +410,19 @@
-
-
-
-
+
+
+
+
-
+
-
-
+
+
@@ -439,13 +439,13 @@
-
-
-
-
+
+
+
+
-
-
+
+
@@ -462,11 +462,11 @@
-
+
-
-
+
+
@@ -483,8 +483,8 @@
-
-
+
+
@@ -492,11 +492,11 @@
-
+
-
-
+
+
@@ -509,11 +509,11 @@
-
-
-
-
-
+
+
+
+
+
@@ -522,11 +522,11 @@
-
+
-
-
+
+
@@ -584,11 +584,11 @@
-
-
-
-
-
+
+
+
+
+
@@ -602,19 +602,19 @@
-
+
-
+
-
+
-
+
-
+
@@ -670,7 +670,7 @@
-
+
@@ -679,7 +679,7 @@
-
+
@@ -688,7 +688,7 @@
-
+
@@ -700,7 +700,7 @@
-
+
@@ -712,7 +712,7 @@
-
+
@@ -763,15 +763,15 @@
-
-
-
-
+
+
+
+
-
-
-
-
+
+
+
+
@@ -812,9 +812,9 @@
-
-
-
+
+
+
@@ -848,12 +848,12 @@
-
-
-
+
+
+
-
-
+
+
@@ -867,11 +867,11 @@
-
+
-
-
+
+
@@ -883,16 +883,16 @@
-
-
-
+
+
+
-
+
-
-
+
+
@@ -915,8 +915,8 @@
-
-
+
+
@@ -926,10 +926,10 @@
-
+
-
+
@@ -959,7 +959,7 @@
-
+
@@ -967,7 +967,7 @@
-
+
@@ -1018,19 +1018,19 @@
-
-
-
+
+
+
-
-
+
+
-
-
+
+
@@ -1052,7 +1052,7 @@
-
+
@@ -1061,7 +1061,7 @@
-
+
@@ -1086,8 +1086,8 @@
-
-
+
+
@@ -1128,27 +1128,27 @@
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
-
-
+
+
+
+
-
-
+
+
@@ -1163,29 +1163,29 @@
-
+
-
-
-
-
+
+
+
+
-
-
+
+
-
+
-
-
-
+
+
+
-
-
+
+
@@ -1197,26 +1197,26 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
+
+
@@ -1230,22 +1230,22 @@
-
+
-
-
-
-
+
+
+
+
-
-
-
+
+
+
-
-
+
+
@@ -1260,24 +1260,24 @@
-
-
-
-
-
-
+
+
+
+
+
+
-
-
-
-
-
-
-
+
+
+
+
+
+
+
@@ -1292,24 +1292,24 @@
-
+
-
-
-
-
+
+
+
+
-
-
+
+
-
+
-
-
+
+
@@ -1323,17 +1323,17 @@
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
@@ -1351,17 +1351,17 @@
-
+
-
-
-
-
+
+
+
+
-
-
+
+
@@ -1417,15 +1417,15 @@
-
-
-
-
+
+
+
+
-
-
-
-
+
+
+
+
@@ -1435,12 +1435,12 @@
-
+
-
-
-
+
+
+
@@ -1496,19 +1496,19 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -1522,43 +1522,43 @@
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
@@ -1663,8 +1663,8 @@
-
-
+
+
@@ -1678,9 +1678,9 @@
-
-
-
+
+
+
@@ -1700,10 +1700,10 @@
-
-
-
-
+
+
+
+
@@ -1725,10 +1725,10 @@
-
-
-
-
+
+
+
+
@@ -1752,11 +1752,11 @@
-
-
-
-
-
+
+
+
+
+
@@ -1822,15 +1822,15 @@
-
-
-
-
+
+
+
+
-
-
-
-
+
+
+
+
@@ -1871,9 +1871,9 @@
-
-
-
+
+
+
@@ -1908,18 +1908,18 @@
-
-
-
+
+
+
-
+
-
-
+
+
@@ -1931,19 +1931,19 @@
-
-
-
+
+
+
-
+
-
-
+
+
@@ -1955,9 +1955,9 @@
-
-
-
+
+
+
@@ -1970,11 +1970,11 @@
-
+
-
-
+
+
@@ -1988,14 +1988,14 @@
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
@@ -2008,11 +2008,11 @@
-
+
-
-
+
+
@@ -2024,8 +2024,8 @@
-
-
+
+
@@ -2046,11 +2046,11 @@
-
+
-
-
+
+
@@ -2174,18 +2174,18 @@
-
-
+
+
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
@@ -2201,24 +2201,24 @@
-
+
-
-
-
-
+
+
+
+
-
-
+
+
-
+
-
-
+
+
@@ -2232,16 +2232,16 @@
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
@@ -2263,17 +2263,17 @@
-
+
-
-
-
-
+
+
+
+
-
-
+
+
@@ -2352,17 +2352,17 @@
-
-
+
+
-
+
-
-
+
+
@@ -2412,17 +2412,17 @@
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
@@ -2443,37 +2443,37 @@
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
@@ -2602,7 +2602,7 @@
-
+
@@ -2611,7 +2611,7 @@
-
+
@@ -2620,7 +2620,7 @@
-
+
@@ -2648,7 +2648,7 @@
-
+
@@ -2660,7 +2660,7 @@
-
+
@@ -2675,7 +2675,7 @@
-
+
@@ -2690,9 +2690,9 @@
-
-
-
+
+
+
@@ -2713,10 +2713,10 @@
-
-
-
-
+
+
+
+
@@ -2866,22 +2866,22 @@
-
-
-
-
+
+
+
+
-
-
+
+
-
-
+
+
@@ -2903,7 +2903,7 @@
-
+
@@ -2912,7 +2912,7 @@
-
+
@@ -2937,8 +2937,8 @@
-
-
+
+
@@ -2996,8 +2996,8 @@
-
-
+
+
@@ -3020,11 +3020,11 @@
-
+
-
-
+
+
@@ -3596,17 +3596,17 @@
-
-
-
-
+
+
+
+
-
-
-
-
-
-
+
+
+
+
+
+
@@ -3626,16 +3626,16 @@
-
+
-
-
-
+
+
+
-
-
+
+
@@ -3780,8 +3780,8 @@
-
-
+
+
@@ -3802,11 +3802,11 @@
-
+
-
-
+
+
@@ -3917,10 +3917,10 @@
-
-
-
-
+
+
+
+
@@ -3949,16 +3949,16 @@
-
+
-
+
-
+
-
+
@@ -4312,7 +4312,7 @@
-
+
@@ -4330,7 +4330,7 @@
-
+
@@ -4352,8 +4352,8 @@
-
-
+
+
@@ -5543,59 +5543,59 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
+
+
+
+
-
-
+
+
-
+
-
-
-
-
+
+
+
+
-
-
+
+
-
+
-
-
-
-
-
+
+
+
+
+
-
-
+
+
@@ -5611,55 +5611,55 @@
-
-
-
-
-
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
-
+
-
-
-
-
+
+
+
+
-
-
-
+
+
+
-
-
-
-
-
+
+
+
+
+
-
-
+
+
@@ -5675,57 +5675,57 @@
-
-
-
-
-
-
-
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
-
+
-
-
-
-
+
+
+
+
-
-
+
+
-
+
-
-
-
-
-
+
+
+
+
+
-
-
+
+
@@ -5741,45 +5741,45 @@
-
-
-
-
-
+
+
+
+
+
-
-
-
-
+
+
+
+
-
-
-
-
+
+
+
+
-
+
-
-
-
-
+
+
+
+
-
-
-
-
-
+
+
+
+
+
-
-
+
+
@@ -5843,21 +5843,21 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -5869,49 +5869,49 @@
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
@@ -6006,12 +6006,12 @@
-
-
-
-
-
-
+
+
+
+
+
+
@@ -6028,13 +6028,13 @@
-
-
-
-
-
-
-
+
+
+
+
+
+
+
@@ -6054,13 +6054,13 @@
-
-
-
-
-
-
-
+
+
+
+
+
+
+
@@ -6081,13 +6081,13 @@
-
-
-
-
-
-
-
+
+
+
+
+
+
+
@@ -6154,57 +6154,57 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
+
-
-
-
-
+
+
+
+
-
-
+
+
-
+
-
-
-
-
-
+
+
+
+
+
-
-
+
+
@@ -6220,45 +6220,45 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
+
-
-
-
-
+
+
+
+
-
-
-
-
-
+
+
+
+
+
-
-
+
+
@@ -6274,59 +6274,59 @@
-
-
-
-
-
+
+
+
+
+
-
-
+
+
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
-
+
-
-
-
-
+
+
+
+
-
-
+
+
-
+
-
-
-
-
-
+
+
+
+
+
-
-
+
+
@@ -6342,47 +6342,47 @@
-
-
+
+
-
-
+
+
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
-
+
-
-
-
-
+
+
+
+
-
-
-
-
-
+
+
+
+
+
-
-
+
+
@@ -6443,20 +6443,20 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -6468,46 +6468,46 @@
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
@@ -6597,12 +6597,12 @@
-
-
-
-
-
-
+
+
+
+
+
+
@@ -6619,12 +6619,12 @@
-
-
-
-
-
-
+
+
+
+
+
+
@@ -6642,13 +6642,13 @@
-
-
-
-
-
-
-
+
+
+
+
+
+
+
@@ -6669,13 +6669,13 @@
-
-
-
-
-
-
-
+
+
+
+
+
+
+
@@ -6766,10 +6766,10 @@
-
-
-
-
+
+
+
+
@@ -6782,11 +6782,11 @@
-
+
-
-
+
+
@@ -6798,8 +6798,8 @@
-
-
+
+
@@ -6821,11 +6821,11 @@
-
+
-
-
+
+
@@ -6841,8 +6841,8 @@
-
-
+
+
@@ -6860,11 +6860,11 @@
-
+
-
-
+
+
@@ -6877,15 +6877,15 @@
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
@@ -6899,11 +6899,11 @@
-
+
-
-
+
+
@@ -6915,14 +6915,14 @@
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
@@ -6938,11 +6938,11 @@
-
+
-
-
+
+
@@ -6990,21 +6990,21 @@
-
-
-
-
+
+
+
+
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
@@ -7028,24 +7028,24 @@
-
+
-
-
-
-
+
+
+
+
-
-
+
+
-
+
-
-
+
+
@@ -7059,17 +7059,17 @@
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
@@ -7092,17 +7092,17 @@
-
+
-
-
-
-
+
+
+
+
-
-
+
+
@@ -7117,27 +7117,27 @@
-
-
-
-
+
+
+
+
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
-
-
+
+
@@ -7154,24 +7154,24 @@
-
+
-
-
-
-
+
+
+
+
-
-
+
+
-
+
-
-
+
+
@@ -7192,17 +7192,17 @@
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
@@ -7218,17 +7218,17 @@
-
+
-
-
-
-
+
+
+
+
-
-
+
+
@@ -7247,21 +7247,21 @@
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
-
-
-
-
-
-
+
+
+
+
+
+
@@ -7280,24 +7280,24 @@
-
+
-
-
-
-
+
+
+
+
-
-
+
+
-
+
-
-
+
+
@@ -7313,13 +7313,13 @@
-
-
-
-
-
-
-
+
+
+
+
+
+
+
@@ -7344,17 +7344,17 @@
-
+
-
-
-
-
+
+
+
+
-
-
+
+
@@ -7501,26 +7501,26 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -7543,64 +7543,64 @@
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
@@ -7776,7 +7776,7 @@
-
+
@@ -7789,7 +7789,7 @@
-
+
@@ -7805,7 +7805,7 @@
-
+
@@ -7821,7 +7821,7 @@
-
+
@@ -7837,7 +7837,7 @@
-
+
@@ -7853,9 +7853,9 @@
-
-
-
+
+
+
@@ -7877,9 +7877,9 @@
-
-
-
+
+
+
@@ -7901,9 +7901,9 @@
-
-
-
+
+
+
@@ -7925,10 +7925,10 @@
-
-
-
-
+
+
+
+
@@ -7954,10 +7954,10 @@
-
-
-
-
+
+
+
+
@@ -7983,10 +7983,10 @@
-
-
-
-
+
+
+
+
diff --git a/inca-translation/solutions/FORecursiveTypes_Checker/classes_gen/FORecursiveTypes_Checker/test/fail_rec_type_not_defined/trace.info b/inca-translation/solutions/FORecursiveTypes_Checker/classes_gen/FORecursiveTypes_Checker/test/fail_rec_type_not_defined/trace.info
new file mode 100644
index 0000000000000000000000000000000000000000..08125b97ad028102a30f16f89642862ccac0c6a9
--- /dev/null
+++ b/inca-translation/solutions/FORecursiveTypes_Checker/classes_gen/FORecursiveTypes_Checker/test/fail_rec_type_not_defined/trace.info
@@ -0,0 +1,3 @@
+
+
+
diff --git a/inca-translation/solutions/FORecursiveTypes_Checker/classes_gen/FORecursiveTypes_Checker/test/fail_type_alias/trace.info b/inca-translation/solutions/FORecursiveTypes_Checker/classes_gen/FORecursiveTypes_Checker/test/fail_type_alias/trace.info
new file mode 100644
index 0000000000000000000000000000000000000000..08125b97ad028102a30f16f89642862ccac0c6a9
--- /dev/null
+++ b/inca-translation/solutions/FORecursiveTypes_Checker/classes_gen/FORecursiveTypes_Checker/test/fail_type_alias/trace.info
@@ -0,0 +1,3 @@
+
+
+
diff --git a/inca-translation/solutions/FORecursiveTypes_Checker/classes_gen/FORecursiveTypes_Checker/test/fail_wrong_type_passed/trace.info b/inca-translation/solutions/FORecursiveTypes_Checker/classes_gen/FORecursiveTypes_Checker/test/fail_wrong_type_passed/trace.info
new file mode 100644
index 0000000000000000000000000000000000000000..08125b97ad028102a30f16f89642862ccac0c6a9
--- /dev/null
+++ b/inca-translation/solutions/FORecursiveTypes_Checker/classes_gen/FORecursiveTypes_Checker/test/fail_wrong_type_passed/trace.info
@@ -0,0 +1,3 @@
+
+
+
diff --git a/inca-translation/solutions/FORecursiveTypes_Checker/classes_gen/FORecursiveTypes_Checker/test/ok_binding_with_same_name_type_and_term/trace.info b/inca-translation/solutions/FORecursiveTypes_Checker/classes_gen/FORecursiveTypes_Checker/test/ok_binding_with_same_name_type_and_term/trace.info
new file mode 100644
index 0000000000000000000000000000000000000000..08125b97ad028102a30f16f89642862ccac0c6a9
--- /dev/null
+++ b/inca-translation/solutions/FORecursiveTypes_Checker/classes_gen/FORecursiveTypes_Checker/test/ok_binding_with_same_name_type_and_term/trace.info
@@ -0,0 +1,3 @@
+
+
+
diff --git a/inca-translation/solutions/FORecursiveTypes_Checker/classes_gen/FORecursiveTypes_Checker/test/ok_nested_rec_type/trace.info b/inca-translation/solutions/FORecursiveTypes_Checker/classes_gen/FORecursiveTypes_Checker/test/ok_nested_rec_type/trace.info
new file mode 100644
index 0000000000000000000000000000000000000000..08125b97ad028102a30f16f89642862ccac0c6a9
--- /dev/null
+++ b/inca-translation/solutions/FORecursiveTypes_Checker/classes_gen/FORecursiveTypes_Checker/test/ok_nested_rec_type/trace.info
@@ -0,0 +1,3 @@
+
+
+
diff --git a/inca-translation/solutions/FORecursiveTypes_Checker/classes_gen/FORecursiveTypes_Checker/test/ok_nested_succ_rec_nat_type/trace.info b/inca-translation/solutions/FORecursiveTypes_Checker/classes_gen/FORecursiveTypes_Checker/test/ok_nested_succ_rec_nat_type/trace.info
new file mode 100644
index 0000000000000000000000000000000000000000..08125b97ad028102a30f16f89642862ccac0c6a9
--- /dev/null
+++ b/inca-translation/solutions/FORecursiveTypes_Checker/classes_gen/FORecursiveTypes_Checker/test/ok_nested_succ_rec_nat_type/trace.info
@@ -0,0 +1,3 @@
+
+
+
diff --git a/inca-translation/solutions/FORecursiveTypes_Checker/classes_gen/FORecursiveTypes_Checker/test/ok_pred_rec_nat_type/trace.info b/inca-translation/solutions/FORecursiveTypes_Checker/classes_gen/FORecursiveTypes_Checker/test/ok_pred_rec_nat_type/trace.info
new file mode 100644
index 0000000000000000000000000000000000000000..08125b97ad028102a30f16f89642862ccac0c6a9
--- /dev/null
+++ b/inca-translation/solutions/FORecursiveTypes_Checker/classes_gen/FORecursiveTypes_Checker/test/ok_pred_rec_nat_type/trace.info
@@ -0,0 +1,3 @@
+
+
+
diff --git a/inca-translation/solutions/FORecursiveTypes_Checker/classes_gen/FORecursiveTypes_Checker/test/ok_zero_rec_nat_type/trace.info b/inca-translation/solutions/FORecursiveTypes_Checker/classes_gen/FORecursiveTypes_Checker/test/ok_zero_rec_nat_type/trace.info
new file mode 100644
index 0000000000000000000000000000000000000000..08125b97ad028102a30f16f89642862ccac0c6a9
--- /dev/null
+++ b/inca-translation/solutions/FORecursiveTypes_Checker/classes_gen/FORecursiveTypes_Checker/test/ok_zero_rec_nat_type/trace.info
@@ -0,0 +1,3 @@
+
+
+
diff --git a/inca-translation/solutions/FORecursiveTypes_Checker/models/test.fail_rec_type_not_defined.mps b/inca-translation/solutions/FORecursiveTypes_Checker/models/test.fail_rec_type_not_defined.mps
new file mode 100644
index 0000000000000000000000000000000000000000..e8fb21312928f0e16cc45b6a7836817ca7f4e176
--- /dev/null
+++ b/inca-translation/solutions/FORecursiveTypes_Checker/models/test.fail_rec_type_not_defined.mps
@@ -0,0 +1,68 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/inca-translation/solutions/FORecursiveTypes_Checker/models/test.fail_type_alias.mps b/inca-translation/solutions/FORecursiveTypes_Checker/models/test.fail_type_alias.mps
new file mode 100644
index 0000000000000000000000000000000000000000..db75fa21698cc0507a54d0e3a9b00e1c05138c50
--- /dev/null
+++ b/inca-translation/solutions/FORecursiveTypes_Checker/models/test.fail_type_alias.mps
@@ -0,0 +1,53 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/inca-translation/solutions/FORecursiveTypes_Checker/models/test.fail_wrong_type_passed.mps b/inca-translation/solutions/FORecursiveTypes_Checker/models/test.fail_wrong_type_passed.mps
new file mode 100644
index 0000000000000000000000000000000000000000..45d279399fda36ac310fb291f7c97b1a6dc478c6
--- /dev/null
+++ b/inca-translation/solutions/FORecursiveTypes_Checker/models/test.fail_wrong_type_passed.mps
@@ -0,0 +1,127 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/inca-translation/solutions/FORecursiveTypes_Checker/models/test.ok_binding_with_same_name_type_and_term.mps b/inca-translation/solutions/FORecursiveTypes_Checker/models/test.ok_binding_with_same_name_type_and_term.mps
new file mode 100644
index 0000000000000000000000000000000000000000..a47d9cca189c91c2a12e3bf1045cccc4b6295482
--- /dev/null
+++ b/inca-translation/solutions/FORecursiveTypes_Checker/models/test.ok_binding_with_same_name_type_and_term.mps
@@ -0,0 +1,87 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/inca-translation/solutions/FORecursiveTypes_Checker/models/test.ok_nested_rec_type.mps b/inca-translation/solutions/FORecursiveTypes_Checker/models/test.ok_nested_rec_type.mps
new file mode 100644
index 0000000000000000000000000000000000000000..a3f978511fcb8d03cf8cd0f407ca7b97acc15f32
--- /dev/null
+++ b/inca-translation/solutions/FORecursiveTypes_Checker/models/test.ok_nested_rec_type.mps
@@ -0,0 +1,145 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/inca-translation/solutions/FORecursiveTypes_Checker/models/test.ok_nested_succ_rec_nat_type.mps b/inca-translation/solutions/FORecursiveTypes_Checker/models/test.ok_nested_succ_rec_nat_type.mps
new file mode 100644
index 0000000000000000000000000000000000000000..98d14fdd85757ed01f9e881ff043c4bb3244048f
--- /dev/null
+++ b/inca-translation/solutions/FORecursiveTypes_Checker/models/test.ok_nested_succ_rec_nat_type.mps
@@ -0,0 +1,85 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/inca-translation/solutions/FORecursiveTypes_Checker/models/test.ok_pred_rec_nat_type.mps b/inca-translation/solutions/FORecursiveTypes_Checker/models/test.ok_pred_rec_nat_type.mps
new file mode 100644
index 0000000000000000000000000000000000000000..c30aa3f6ff849cf358919f5fb0f465f227c8f354
--- /dev/null
+++ b/inca-translation/solutions/FORecursiveTypes_Checker/models/test.ok_pred_rec_nat_type.mps
@@ -0,0 +1,127 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/inca-translation/solutions/FORecursiveTypes_Checker/models/test.ok_zero_rec_nat_type.mps b/inca-translation/solutions/FORecursiveTypes_Checker/models/test.ok_zero_rec_nat_type.mps
new file mode 100644
index 0000000000000000000000000000000000000000..250ffca0fc4ddeaa0210f69bcc8d2dc730228436
--- /dev/null
+++ b/inca-translation/solutions/FORecursiveTypes_Checker/models/test.ok_zero_rec_nat_type.mps
@@ -0,0 +1,76 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/inca-translation/solutions/FORecursiveTypes_Checker/source_gen.caches/FORecursiveTypes_Checker/test/fail_rec_type_not_defined/dependencies b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen.caches/FORecursiveTypes_Checker/test/fail_rec_type_not_defined/dependencies
new file mode 100644
index 0000000000000000000000000000000000000000..71ea00a877b6f313fe41fde890111be8b79bc36b
--- /dev/null
+++ b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen.caches/FORecursiveTypes_Checker/test/fail_rec_type_not_defined/dependencies
@@ -0,0 +1,3 @@
+
+
+
diff --git a/inca-translation/solutions/FORecursiveTypes_Checker/source_gen.caches/FORecursiveTypes_Checker/test/fail_rec_type_not_defined/generated b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen.caches/FORecursiveTypes_Checker/test/fail_rec_type_not_defined/generated
new file mode 100644
index 0000000000000000000000000000000000000000..dbb9747432bd313fb4797d73005d2f5ff66d62be
--- /dev/null
+++ b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen.caches/FORecursiveTypes_Checker/test/fail_rec_type_not_defined/generated
@@ -0,0 +1,3 @@
+
+
+
diff --git a/inca-translation/solutions/FORecursiveTypes_Checker/source_gen.caches/FORecursiveTypes_Checker/test/fail_type_alias/dependencies b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen.caches/FORecursiveTypes_Checker/test/fail_type_alias/dependencies
new file mode 100644
index 0000000000000000000000000000000000000000..71ea00a877b6f313fe41fde890111be8b79bc36b
--- /dev/null
+++ b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen.caches/FORecursiveTypes_Checker/test/fail_type_alias/dependencies
@@ -0,0 +1,3 @@
+
+
+
diff --git a/inca-translation/solutions/FORecursiveTypes_Checker/source_gen.caches/FORecursiveTypes_Checker/test/fail_type_alias/generated b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen.caches/FORecursiveTypes_Checker/test/fail_type_alias/generated
new file mode 100644
index 0000000000000000000000000000000000000000..a05e882b21d9c6e01b2397049d114a6fbd74c554
--- /dev/null
+++ b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen.caches/FORecursiveTypes_Checker/test/fail_type_alias/generated
@@ -0,0 +1,3 @@
+
+
+
diff --git a/inca-translation/solutions/FORecursiveTypes_Checker/source_gen.caches/FORecursiveTypes_Checker/test/fail_wrong_type_passed/dependencies b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen.caches/FORecursiveTypes_Checker/test/fail_wrong_type_passed/dependencies
new file mode 100644
index 0000000000000000000000000000000000000000..71ea00a877b6f313fe41fde890111be8b79bc36b
--- /dev/null
+++ b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen.caches/FORecursiveTypes_Checker/test/fail_wrong_type_passed/dependencies
@@ -0,0 +1,3 @@
+
+
+
diff --git a/inca-translation/solutions/FORecursiveTypes_Checker/source_gen.caches/FORecursiveTypes_Checker/test/fail_wrong_type_passed/generated b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen.caches/FORecursiveTypes_Checker/test/fail_wrong_type_passed/generated
new file mode 100644
index 0000000000000000000000000000000000000000..a7f4e5e957360f63bb6b63c8c709e5f1157165b4
--- /dev/null
+++ b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen.caches/FORecursiveTypes_Checker/test/fail_wrong_type_passed/generated
@@ -0,0 +1,3 @@
+
+
+
diff --git a/inca-translation/solutions/FORecursiveTypes_Checker/source_gen.caches/FORecursiveTypes_Checker/test/ok_binding_with_same_name_type_and_term/dependencies b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen.caches/FORecursiveTypes_Checker/test/ok_binding_with_same_name_type_and_term/dependencies
new file mode 100644
index 0000000000000000000000000000000000000000..71ea00a877b6f313fe41fde890111be8b79bc36b
--- /dev/null
+++ b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen.caches/FORecursiveTypes_Checker/test/ok_binding_with_same_name_type_and_term/dependencies
@@ -0,0 +1,3 @@
+
+
+
diff --git a/inca-translation/solutions/FORecursiveTypes_Checker/source_gen.caches/FORecursiveTypes_Checker/test/ok_binding_with_same_name_type_and_term/generated b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen.caches/FORecursiveTypes_Checker/test/ok_binding_with_same_name_type_and_term/generated
new file mode 100644
index 0000000000000000000000000000000000000000..1891e72bceaeb243c41c9ab50bbf9bff892dbb96
--- /dev/null
+++ b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen.caches/FORecursiveTypes_Checker/test/ok_binding_with_same_name_type_and_term/generated
@@ -0,0 +1,3 @@
+
+
+
diff --git a/inca-translation/solutions/FORecursiveTypes_Checker/source_gen.caches/FORecursiveTypes_Checker/test/ok_nested_rec_type/dependencies b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen.caches/FORecursiveTypes_Checker/test/ok_nested_rec_type/dependencies
new file mode 100644
index 0000000000000000000000000000000000000000..71ea00a877b6f313fe41fde890111be8b79bc36b
--- /dev/null
+++ b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen.caches/FORecursiveTypes_Checker/test/ok_nested_rec_type/dependencies
@@ -0,0 +1,3 @@
+
+
+
diff --git a/inca-translation/solutions/FORecursiveTypes_Checker/source_gen.caches/FORecursiveTypes_Checker/test/ok_nested_rec_type/generated b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen.caches/FORecursiveTypes_Checker/test/ok_nested_rec_type/generated
new file mode 100644
index 0000000000000000000000000000000000000000..00e14b44bf448636e54c6860ed34003b0f2e4750
--- /dev/null
+++ b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen.caches/FORecursiveTypes_Checker/test/ok_nested_rec_type/generated
@@ -0,0 +1,3 @@
+
+
+
diff --git a/inca-translation/solutions/FORecursiveTypes_Checker/source_gen.caches/FORecursiveTypes_Checker/test/ok_nested_succ_rec_nat_type/dependencies b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen.caches/FORecursiveTypes_Checker/test/ok_nested_succ_rec_nat_type/dependencies
new file mode 100644
index 0000000000000000000000000000000000000000..71ea00a877b6f313fe41fde890111be8b79bc36b
--- /dev/null
+++ b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen.caches/FORecursiveTypes_Checker/test/ok_nested_succ_rec_nat_type/dependencies
@@ -0,0 +1,3 @@
+
+
+
diff --git a/inca-translation/solutions/FORecursiveTypes_Checker/source_gen.caches/FORecursiveTypes_Checker/test/ok_nested_succ_rec_nat_type/generated b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen.caches/FORecursiveTypes_Checker/test/ok_nested_succ_rec_nat_type/generated
new file mode 100644
index 0000000000000000000000000000000000000000..ad25a0a76832b88bfc23ef7161f06c3745ccce9f
--- /dev/null
+++ b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen.caches/FORecursiveTypes_Checker/test/ok_nested_succ_rec_nat_type/generated
@@ -0,0 +1,3 @@
+
+
+
diff --git a/inca-translation/solutions/FORecursiveTypes_Checker/source_gen.caches/FORecursiveTypes_Checker/test/ok_pred_rec_nat_type/dependencies b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen.caches/FORecursiveTypes_Checker/test/ok_pred_rec_nat_type/dependencies
new file mode 100644
index 0000000000000000000000000000000000000000..71ea00a877b6f313fe41fde890111be8b79bc36b
--- /dev/null
+++ b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen.caches/FORecursiveTypes_Checker/test/ok_pred_rec_nat_type/dependencies
@@ -0,0 +1,3 @@
+
+
+
diff --git a/inca-translation/solutions/FORecursiveTypes_Checker/source_gen.caches/FORecursiveTypes_Checker/test/ok_pred_rec_nat_type/generated b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen.caches/FORecursiveTypes_Checker/test/ok_pred_rec_nat_type/generated
new file mode 100644
index 0000000000000000000000000000000000000000..cad4f15f261ed2ba9ebe859e0f3eef8840a55628
--- /dev/null
+++ b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen.caches/FORecursiveTypes_Checker/test/ok_pred_rec_nat_type/generated
@@ -0,0 +1,3 @@
+
+
+
diff --git a/inca-translation/solutions/FORecursiveTypes_Checker/source_gen.caches/FORecursiveTypes_Checker/test/ok_zero_rec_nat_type/dependencies b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen.caches/FORecursiveTypes_Checker/test/ok_zero_rec_nat_type/dependencies
new file mode 100644
index 0000000000000000000000000000000000000000..71ea00a877b6f313fe41fde890111be8b79bc36b
--- /dev/null
+++ b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen.caches/FORecursiveTypes_Checker/test/ok_zero_rec_nat_type/dependencies
@@ -0,0 +1,3 @@
+
+
+
diff --git a/inca-translation/solutions/FORecursiveTypes_Checker/source_gen.caches/FORecursiveTypes_Checker/test/ok_zero_rec_nat_type/generated b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen.caches/FORecursiveTypes_Checker/test/ok_zero_rec_nat_type/generated
new file mode 100644
index 0000000000000000000000000000000000000000..52e7ed9318f395e03b2bd718394ce87746a77945
--- /dev/null
+++ b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen.caches/FORecursiveTypes_Checker/test/ok_zero_rec_nat_type/generated
@@ -0,0 +1,3 @@
+
+
+
diff --git a/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/model/QuerySpecificationHints.java b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/model/QuerySpecificationHints.java
index f74afb2f47b184ddfc5244288c8625898bf3ae48..6e40211c57bd9c5e444aafa970542262de6fa3e8 100644
--- a/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/model/QuerySpecificationHints.java
+++ b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/model/QuerySpecificationHints.java
@@ -34,33 +34,33 @@ public final class QuerySpecificationHints extends MPSQuerySpecificationHints {
this.conceptFeatures = new HashSet();
this.conceptFeatures.add(MetaAdapterFactory.getProperty(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x9229981a3b8f721L, 0x9229981a3b8f72aL, "name"));
- this.conceptFeatures.add(MetaAdapterFactory.getProperty(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x9229981a3b8f721L, 0x9229981a3b8f726L, "label"));
this.conceptFeatures.add(MetaAdapterFactory.getProperty(0xceab519525ea4f22L, 0x9b92103b95ca8c0cL, 0x110396eaaa4L, 0x110396ec041L, "name"));
+ this.conceptFeatures.add(MetaAdapterFactory.getProperty(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x9229981a3b8f721L, 0x9229981a3b8f726L, "label"));
this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x6f77e6723373c7bfL, 0x6f77e6723373c7d3L, "ty"));
- this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x1a4a252762eb933aL, 0x1a4a252762eb9352L, "body"));
- this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x1a4a252762eb9390L, 0x1a4a252762eb9395L, "ty1"));
- this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x6f77e6723373c7bfL, 0x6f77e6723373c7d7L, "t"));
- this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x1a4a252762eb93f1L, 0x1a4a252762eb93f6L, "t"));
+ this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x1a4a252762eb9312L, 0x1a4a252762eb9317L, "t1"));
this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x1fd8e2cf9df802c6L, 0x1fd8e2cf9df802cbL, "elems"));
- this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x9229981a3b8f61cL, 0x9229981a3b8f621L, "matchee"));
- this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x1a4a252762eb93faL, 0x1a4a252762eb93ffL, "ty"));
- this.conceptFeatures.add(MetaAdapterFactory.getReferenceLink(0xb802a05692a24fbcL, 0x902ef8e5004c331fL, 0x7980b687ac7456feL, 0x7980b687ac7456ffL, "parent"));
+ this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x6f77e6723373c7bfL, 0x6f77e6723373c7d7L, "t"));
+ this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x1a4a252762eb9322L, 0x1a4a252762eb9336L, "t"));
+ this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x1a4a252762eb937fL, 0x1a4a252762eb9384L, "t"));
+ this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x1a4a252762eb9302L, 0x1a4a252762eb930bL, "t2"));
+ this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x9229981a3b8f573L, 0x9229981a3b8f58bL, "t"));
this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x1a4a252762eb9390L, 0x1a4a252762eb9399L, "ty2"));
+ this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x1a4a252762eb933aL, 0x1a4a252762eb9352L, "body"));
+ this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x1a4a252762eb93faL, 0x1a4a252762eb93ffL, "ty"));
this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x1a4a252762eb9302L, 0x1a4a252762eb9307L, "t1"));
- this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x9229981a3b8f61cL, 0x9229981a3b8f62fL, "cases"));
- this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x1a4a252762eb9312L, 0x1a4a252762eb931bL, "t2"));
- this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x1a4a252762eb9312L, 0x1a4a252762eb9317L, "t1"));
+ this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x1a4a252762eb93f1L, 0x1a4a252762eb93f6L, "t"));
this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x1a4a252762eb936bL, 0x1a4a252762eb9378L, "t2"));
- this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x9229981a3b8f721L, 0x9229981a3b8f731L, "t"));
+ this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x9229981a3b8f61cL, 0x9229981a3b8f62fL, "cases"));
this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x1a4a252762eb933aL, 0x1a4a252762eb934eL, "bound"));
- this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x1a4a252762eb937fL, 0x1a4a252762eb9384L, "t"));
- this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x1a4a252762eb9322L, 0x1a4a252762eb9336L, "t"));
- this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x1fd8e2cf9df802cfL, 0x1fd8e2cf9df802d4L, "ty"));
- this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x1a4a252762eb92d7L, 0x1a4a252762eb92dcL, "t"));
this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x1a4a252762eb937fL, 0x1a4a252762eb93d5L, "ty"));
- this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x9229981a3b8f573L, 0x9229981a3b8f58bL, "t"));
this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x1a4a252762eb936bL, 0x1a4a252762eb9374L, "t1"));
- this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x1a4a252762eb9302L, 0x1a4a252762eb930bL, "t2"));
+ this.conceptFeatures.add(MetaAdapterFactory.getReferenceLink(0xb802a05692a24fbcL, 0x902ef8e5004c331fL, 0x7980b687ac7456feL, 0x7980b687ac7456ffL, "parent"));
+ this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x1a4a252762eb9390L, 0x1a4a252762eb9395L, "ty1"));
+ this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x9229981a3b8f721L, 0x9229981a3b8f731L, "t"));
+ this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x1fd8e2cf9df802cfL, 0x1fd8e2cf9df802d4L, "ty"));
+ this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x9229981a3b8f61cL, 0x9229981a3b8f621L, "matchee"));
+ this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x1a4a252762eb92d7L, 0x1a4a252762eb92dcL, "t"));
+ this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x1a4a252762eb9312L, 0x1a4a252762eb931bL, "t2"));
this.languages = new HashSet();
this.languages.add(MetaAdapterFactory.getLanguage(0xb802a05692a24fbcL, 0x902ef8e5004c331fL, "ceab5195-25ea-4f22-9b92-103b95ca8c0c"));
diff --git a/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/model/Typing_AsLTypeQuerySpecification.java b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/model/Typing_AsLTypeQuerySpecification.java
index 48becd6395c4c96430a6a00546cbb454186095c7..c442bb74d59a58d844286fbc0b667ed882948ca2 100644
--- a/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/model/Typing_AsLTypeQuerySpecification.java
+++ b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/model/Typing_AsLTypeQuerySpecification.java
@@ -93,8 +93,8 @@ public final class Typing_AsLTypeQuerySpecification extends MPSQuerySpecificatio
body.setSymbolicParameters(exportedParameters);
PVariable var__tmp_408 = body.getOrCreateVariableByName("tmp_408");
+ PVariable var__5822171105755758276 = body.newVirtualVariable();
PVariable var__match_a0a0y = body.getOrCreateVariableByName("match_a0a0y");
- PVariable var__146348466725092159 = body.newVirtualVariable();
new TypeConstraint(body, Tuples.flatTupleOf(var_ty), new ConceptKey(MetaAdapterFactory.getInterfaceConcept(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x1a4a252762eb938fL, "FORecursiveTypes.structure.Type")));
new PositivePatternCall(body, Tuples.flatTupleOf(), Typing_AsLType_0_switchCommonQuerySpecification.instance().getInternalQueryRepresentation());
@@ -104,7 +104,7 @@ public final class Typing_AsLTypeQuerySpecification extends MPSQuerySpecificatio
@Override
public String getShortDescription() {
- return "146348466725092159";
+ return "5822171105755758276";
}
@Override
@@ -117,8 +117,8 @@ public final class Typing_AsLTypeQuerySpecification extends MPSQuerySpecificatio
return LType.Nat.create();
}
- }, var__146348466725092159, false);
- new Equality(body, var__tmp_408, var__146348466725092159);
+ }, var__5822171105755758276, false);
+ new Equality(body, var__tmp_408, var__5822171105755758276);
new Equality(body, var__tmp_408, var_out_1);
SetSequence.fromSet(bodies).addElement(body);
@@ -133,9 +133,9 @@ public final class Typing_AsLTypeQuerySpecification extends MPSQuerySpecificatio
exportedParameters.add(new ExportedParameter(body, var_out_1, p_out_1));
body.setSymbolicParameters(exportedParameters);
+ PVariable var__5822171105755758297 = body.newVirtualVariable();
PVariable var__tmp_409 = body.getOrCreateVariableByName("tmp_409");
PVariable var__match_a1a0y = body.getOrCreateVariableByName("match_a1a0y");
- PVariable var__146348466725092180 = body.newVirtualVariable();
new TypeConstraint(body, Tuples.flatTupleOf(var_ty), new ConceptKey(MetaAdapterFactory.getInterfaceConcept(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x1a4a252762eb938fL, "FORecursiveTypes.structure.Type")));
new PositivePatternCall(body, Tuples.flatTupleOf(), Typing_AsLType_0_switchCommonQuerySpecification.instance().getInternalQueryRepresentation());
@@ -145,7 +145,7 @@ public final class Typing_AsLTypeQuerySpecification extends MPSQuerySpecificatio
@Override
public String getShortDescription() {
- return "146348466725092180";
+ return "5822171105755758297";
}
@Override
@@ -158,8 +158,8 @@ public final class Typing_AsLTypeQuerySpecification extends MPSQuerySpecificatio
return LType.Unit.create();
}
- }, var__146348466725092180, false);
- new Equality(body, var__tmp_409, var__146348466725092180);
+ }, var__5822171105755758297, false);
+ new Equality(body, var__tmp_409, var__5822171105755758297);
new Equality(body, var__tmp_409, var_out_1);
SetSequence.fromSet(bodies).addElement(body);
@@ -179,12 +179,12 @@ public final class Typing_AsLTypeQuerySpecification extends MPSQuerySpecificatio
PVariable var__ty2 = body.getOrCreateVariableByName("ty2");
PVariable var__ty1 = body.getOrCreateVariableByName("ty1");
PVariable var__tmp_414 = body.getOrCreateVariableByName("tmp_414");
+ PVariable var__5822171105755758356 = body.newVirtualVariable();
PVariable var__match_a2a0y = body.getOrCreateVariableByName("match_a2a0y");
PVariable var__match_a0c0a42 = body.getOrCreateVariableByName("match_a0c0a42");
PVariable var__tmp_410 = body.getOrCreateVariableByName("tmp_410");
PVariable var__tmp_411 = body.getOrCreateVariableByName("tmp_411");
PVariable var__tmp_412 = body.getOrCreateVariableByName("tmp_412");
- PVariable var__146348466725092239 = body.newVirtualVariable();
PVariable var__tmp_413 = body.getOrCreateVariableByName("tmp_413");
PVariable var__match_b0c0a42 = body.getOrCreateVariableByName("match_b0c0a42");
@@ -206,7 +206,7 @@ public final class Typing_AsLTypeQuerySpecification extends MPSQuerySpecificatio
@Override
public String getShortDescription() {
- return "146348466725092239";
+ return "5822171105755758356";
}
@Override
@@ -219,8 +219,8 @@ public final class Typing_AsLTypeQuerySpecification extends MPSQuerySpecificatio
return LType.Fun.create(((LType.LTypeElement) valueProvider.getValue("lty1")), ((LType.LTypeElement) valueProvider.getValue("lty2")));
}
- }, var__146348466725092239, false);
- new Equality(body, var__tmp_414, var__146348466725092239);
+ }, var__5822171105755758356, false);
+ new Equality(body, var__tmp_414, var__5822171105755758356);
new Equality(body, var__tmp_414, var_out_1);
SetSequence.fromSet(bodies).addElement(body);
@@ -240,7 +240,7 @@ public final class Typing_AsLTypeQuerySpecification extends MPSQuerySpecificatio
PVariable var__tmp_415 = body.getOrCreateVariableByName("tmp_415");
PVariable var__tmp_416 = body.getOrCreateVariableByName("tmp_416");
PVariable var__match_a3a0y = body.getOrCreateVariableByName("match_a3a0y");
- PVariable var__146348466725092273 = body.newVirtualVariable();
+ PVariable var__5822171105755758390 = body.newVirtualVariable();
new TypeConstraint(body, Tuples.flatTupleOf(var_ty), new ConceptKey(MetaAdapterFactory.getInterfaceConcept(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x1a4a252762eb938fL, "FORecursiveTypes.structure.Type")));
new PositivePatternCall(body, Tuples.flatTupleOf(), Typing_AsLType_0_switchCommonQuerySpecification.instance().getInternalQueryRepresentation());
@@ -253,7 +253,7 @@ public final class Typing_AsLTypeQuerySpecification extends MPSQuerySpecificatio
@Override
public String getShortDescription() {
- return "146348466725092273";
+ return "5822171105755758390";
}
@Override
@@ -266,8 +266,8 @@ public final class Typing_AsLTypeQuerySpecification extends MPSQuerySpecificatio
return LType.Variant.create(((LTypeVariant.LTypeVariantElement) valueProvider.getValue("vty")));
}
- }, var__146348466725092273, false);
- new Equality(body, var__tmp_416, var__146348466725092273);
+ }, var__5822171105755758390, false);
+ new Equality(body, var__tmp_416, var__5822171105755758390);
new Equality(body, var__tmp_416, var_out_1);
SetSequence.fromSet(bodies).addElement(body);
@@ -283,10 +283,10 @@ public final class Typing_AsLTypeQuerySpecification extends MPSQuerySpecificatio
body.setSymbolicParameters(exportedParameters);
PVariable var__tmp_418 = body.getOrCreateVariableByName("tmp_418");
+ PVariable var__5822171105755758424 = body.newVirtualVariable();
PVariable var__tmp_417 = body.getOrCreateVariableByName("tmp_417");
PVariable var__match_a0e0a42 = body.getOrCreateVariableByName("match_a0e0a42");
PVariable var__match_a4a0y = body.getOrCreateVariableByName("match_a4a0y");
- PVariable var__146348466725092307 = body.newVirtualVariable();
PVariable var__name = body.getOrCreateVariableByName("name");
new TypeConstraint(body, Tuples.flatTupleOf(var_ty), new ConceptKey(MetaAdapterFactory.getInterfaceConcept(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x1a4a252762eb938fL, "FORecursiveTypes.structure.Type")));
@@ -300,7 +300,7 @@ public final class Typing_AsLTypeQuerySpecification extends MPSQuerySpecificatio
@Override
public String getShortDescription() {
- return "146348466725092307";
+ return "5822171105755758424";
}
@Override
@@ -313,8 +313,8 @@ public final class Typing_AsLTypeQuerySpecification extends MPSQuerySpecificatio
return LType.TypeVar.create((CodeGenerationHelper.demandWrapString(valueProvider.getValue("name"))));
}
- }, var__146348466725092307, false);
- new Equality(body, var__tmp_418, var__146348466725092307);
+ }, var__5822171105755758424, false);
+ new Equality(body, var__tmp_418, var__5822171105755758424);
new Equality(body, var__tmp_418, var_out_1);
SetSequence.fromSet(bodies).addElement(body);
diff --git a/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/model/Typing_AsLTypeVariantQuerySpecification.java b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/model/Typing_AsLTypeVariantQuerySpecification.java
index ef6e696c4a1c783db5eb5dd9b847ac14e3d86515..14c0b03173645c6ce571b48923f05a58da0bb741 100644
--- a/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/model/Typing_AsLTypeVariantQuerySpecification.java
+++ b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/model/Typing_AsLTypeVariantQuerySpecification.java
@@ -89,14 +89,14 @@ public final class Typing_AsLTypeVariantQuerySpecification extends MPSQuerySpeci
exportedParameters.add(new ExportedParameter(body, var_out_1, p_out_1));
body.setSymbolicParameters(exportedParameters);
- PVariable var__146348466725059866 = body.getOrCreateVariableByName("146348466725059866");
- PVariable var__146348466725059874 = body.newVirtualVariable();
- PVariable var__146348466725059869 = body.getOrCreateVariableByName("146348466725059869");
+ PVariable var__5822171105755726116 = body.getOrCreateVariableByName("5822171105755726116");
+ PVariable var__5822171105755726124 = body.newVirtualVariable();
+ PVariable var__5822171105755726119 = body.getOrCreateVariableByName("5822171105755726119");
new TypeConstraint(body, Tuples.flatTupleOf(var_type), new ConceptKey(MetaAdapterFactory.getConcept(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x1fd8e2cf9df802c6L, "FORecursiveTypes.structure.VariantType")));
- new PositivePatternCall(body, Tuples.flatTupleOf(var_type, var__146348466725059866), Typing_AsLTypeVariant_WrappedQuerySpecification.instance().getInternalQueryRepresentation());
- new AggregatorConstraint(new BoundAggregator(LTypeVariant.instance().aggregator_lub, LTypeVariant.LTypeVariantElement.class, LTypeVariant.LTypeVariantElement.class), body, Tuples.flatTupleOf(var_type, var__146348466725059869), Typing_AsLTypeVariant_WrappedQuerySpecification.instance().getInternalQueryRepresentation(), var__146348466725059874, 1);
- new Equality(body, var_out_1, var__146348466725059874);
+ new PositivePatternCall(body, Tuples.flatTupleOf(var_type, var__5822171105755726116), Typing_AsLTypeVariant_WrappedQuerySpecification.instance().getInternalQueryRepresentation());
+ new AggregatorConstraint(new BoundAggregator(LTypeVariant.instance().aggregator_lub, LTypeVariant.LTypeVariantElement.class, LTypeVariant.LTypeVariantElement.class), body, Tuples.flatTupleOf(var_type, var__5822171105755726119), Typing_AsLTypeVariant_WrappedQuerySpecification.instance().getInternalQueryRepresentation(), var__5822171105755726124, 1);
+ new Equality(body, var_out_1, var__5822171105755726124);
SetSequence.fromSet(bodies).addElement(body);
}
diff --git a/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/model/Typing_AsLTypeVariant_WrappedQuerySpecification.java b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/model/Typing_AsLTypeVariant_WrappedQuerySpecification.java
index faa7c3349c63068c827ca71d631eaa90f3fa5117..22bee73016ebf002e2953d6ac4ca12f93fd3cb74 100644
--- a/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/model/Typing_AsLTypeVariant_WrappedQuerySpecification.java
+++ b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/model/Typing_AsLTypeVariant_WrappedQuerySpecification.java
@@ -92,11 +92,11 @@ public final class Typing_AsLTypeVariant_WrappedQuerySpecification extends MPSQu
exportedParameters.add(new ExportedParameter(body, var_out_1, p_out_1));
body.setSymbolicParameters(exportedParameters);
+ PVariable var__5822171105755758497 = body.newVirtualVariable();
PVariable var__ty = body.getOrCreateVariableByName("ty");
PVariable var__tmp_425 = body.getOrCreateVariableByName("tmp_425");
PVariable var__tmp_421 = body.getOrCreateVariableByName("tmp_421");
PVariable var__tmp_422 = body.getOrCreateVariableByName("tmp_422");
- PVariable var__146348466725092380 = body.newVirtualVariable();
PVariable var__tmp_423 = body.getOrCreateVariableByName("tmp_423");
PVariable var__tmp_424 = body.getOrCreateVariableByName("tmp_424");
PVariable var__elem = body.getOrCreateVariableByName("elem");
@@ -115,7 +115,7 @@ public final class Typing_AsLTypeVariant_WrappedQuerySpecification extends MPSQu
@Override
public String getShortDescription() {
- return "146348466725092380";
+ return "5822171105755758497";
}
@Override
@@ -128,8 +128,8 @@ public final class Typing_AsLTypeVariant_WrappedQuerySpecification extends MPSQu
return LTypeVariant.instance().singleton((CodeGenerationHelper.demandWrapString(valueProvider.getValue("l"))), ((LType.LTypeElement) valueProvider.getValue("ty")));
}
- }, var__146348466725092380, false);
- new Equality(body, var__tmp_425, var__146348466725092380);
+ }, var__5822171105755758497, false);
+ new Equality(body, var__tmp_425, var__5822171105755758497);
new Equality(body, var__tmp_425, var_out_1);
SetSequence.fromSet(bodies).addElement(body);
@@ -144,8 +144,8 @@ public final class Typing_AsLTypeVariant_WrappedQuerySpecification extends MPSQu
exportedParameters.add(new ExportedParameter(body, var_out_1, p_out_1));
body.setSymbolicParameters(exportedParameters);
- PVariable var__146348466725092398 = body.newVirtualVariable();
PVariable var__tmp_426 = body.getOrCreateVariableByName("tmp_426");
+ PVariable var__5822171105755758515 = body.newVirtualVariable();
new TypeConstraint(body, Tuples.flatTupleOf(var_type), new ConceptKey(MetaAdapterFactory.getConcept(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x1fd8e2cf9df802c6L, "FORecursiveTypes.structure.VariantType")));
new PositivePatternCall(body, Tuples.flatTupleOf(), Typing_AsLTypeVariant_0_switchCommonQuerySpecification.instance().getInternalQueryRepresentation());
@@ -153,7 +153,7 @@ public final class Typing_AsLTypeVariant_WrappedQuerySpecification extends MPSQu
@Override
public String getShortDescription() {
- return "146348466725092398";
+ return "5822171105755758515";
}
@Override
@@ -166,8 +166,8 @@ public final class Typing_AsLTypeVariant_WrappedQuerySpecification extends MPSQu
return LTypeVariant.instance().empty();
}
- }, var__146348466725092398, false);
- new Equality(body, var__tmp_426, var__146348466725092398);
+ }, var__5822171105755758515, false);
+ new Equality(body, var__tmp_426, var__5822171105755758515);
new Equality(body, var__tmp_426, var_out_1);
SetSequence.fromSet(bodies).addElement(body);
diff --git a/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/model/Typing_CheckErrorQuerySpecification.java b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/model/Typing_CheckErrorQuerySpecification.java
index 9e7c6288b61a16076d3dee7d501a012fe7a66755..672c314ac2e4d2207c6f4f8a94e4821083af7d85 100644
--- a/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/model/Typing_CheckErrorQuerySpecification.java
+++ b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/model/Typing_CheckErrorQuerySpecification.java
@@ -98,19 +98,19 @@ public final class Typing_CheckErrorQuerySpecification extends MPSQuerySpecifica
PVariable var__tmp_74 = body.getOrCreateVariableByName("tmp_74");
PVariable var__term = body.getOrCreateVariableByName("term");
PVariable var__tmp_76 = body.getOrCreateVariableByName("tmp_76");
- PVariable var__146348466725088049 = body.newVirtualVariable();
- PVariable var__146348466725027950 = body.newConstantVariable(Integer.parseInt("0"));
+ PVariable var__5822171105755694200 = body.newConstantVariable(Integer.parseInt("0"));
+ PVariable var__5822171105755754166 = body.newVirtualVariable();
new TypeConstraint(body, Tuples.flatTupleOf(var_out_1), new ConceptKey(MetaAdapterFactory.getConcept(0xceab519525ea4f22L, 0x9b92103b95ca8c0cL, 0x10802efe25aL, "jetbrains.mps.lang.core.structure.BaseConcept")));
new TypeConstraint(body, Tuples.flatTupleOf(var__term), new ConceptKey(MetaAdapterFactory.getInterfaceConcept(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x1a4a252762eb92d1L, "FORecursiveTypes.structure.Term")));
new PositivePatternCall(body, Tuples.flatTupleOf(var__term, var__tmp_74), Typing_RequiredQuerySpecification.instance().getInternalQueryRepresentation());
new NegativePatternCall(body, Tuples.flatTupleOf(var__term), Typing_CheckQuerySpecification.instance().getInternalQueryRepresentation());
- new Equality(body, var__tmp_75, var__146348466725027950);
+ new Equality(body, var__tmp_75, var__5822171105755694200);
new ExpressionEvaluation(body, new IExpressionEvaluator() {
@Override
public String getShortDescription() {
- return "146348466725088049";
+ return "5822171105755754166";
}
@Override
@@ -123,8 +123,8 @@ public final class Typing_CheckErrorQuerySpecification extends MPSQuerySpecifica
return String.format("\"check failed\"");
}
- }, var__146348466725088049, false);
- new Equality(body, var__tmp_76, var__146348466725088049);
+ }, var__5822171105755754166, false);
+ new Equality(body, var__tmp_76, var__5822171105755754166);
new Equality(body, var__tmp_75, var_out_0);
new Equality(body, var__term, var_out_1);
new Equality(body, var__tmp_76, var_out_2);
diff --git a/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/model/Typing_CheckQuerySpecification.java b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/model/Typing_CheckQuerySpecification.java
index ad9f2fc368f6f0aa016482bcf0e53e3f4ba89a5b..91afb355b94f689f55e20fea1bba5dcfb6f88b84 100644
--- a/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/model/Typing_CheckQuerySpecification.java
+++ b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/model/Typing_CheckQuerySpecification.java
@@ -93,26 +93,26 @@ public final class Typing_CheckQuerySpecification extends MPSQuerySpecification
PVariable var__ty2 = body.getOrCreateVariableByName("ty2");
PVariable var__ty1 = body.getOrCreateVariableByName("ty1");
PVariable var__ty = body.getOrCreateVariableByName("ty");
- PVariable var__146348466725090721 = body.newVirtualVariable();
+ PVariable var__5822171105755718907 = body.newConstantVariable(true);
PVariable var__tmp_296 = body.getOrCreateVariableByName("tmp_296");
+ PVariable var__5822171105755756838 = body.newVirtualVariable();
PVariable var__tmp_292 = body.getOrCreateVariableByName("tmp_292");
- PVariable var__146348466725090780 = body.newVirtualVariable();
PVariable var__p = body.getOrCreateVariableByName("p");
PVariable var__tmp_293 = body.getOrCreateVariableByName("tmp_293");
PVariable var__tmp_294 = body.getOrCreateVariableByName("tmp_294");
+ PVariable var__5822171105755756857 = body.newVirtualVariable();
PVariable var__tmp_295 = body.getOrCreateVariableByName("tmp_295");
- PVariable var__146348466725090740 = body.newVirtualVariable();
PVariable var__t = body.getOrCreateVariableByName("t");
PVariable var__tmp_290 = body.getOrCreateVariableByName("tmp_290");
- PVariable var__146348466725090764 = body.newVirtualVariable();
PVariable var__tmp_291 = body.getOrCreateVariableByName("tmp_291");
PVariable var__rty = body.getOrCreateVariableByName("rty");
+ PVariable var__5822171105755756897 = body.newVirtualVariable();
PVariable var__match_b0a0a0u = body.getOrCreateVariableByName("match_b0a0a0u");
PVariable var__tmp_289 = body.getOrCreateVariableByName("tmp_289");
PVariable var__match_a0a0u = body.getOrCreateVariableByName("match_a0a0u");
PVariable var__match_a0a0a0u = body.getOrCreateVariableByName("match_a0a0a0u");
PVariable var__name = body.getOrCreateVariableByName("name");
- PVariable var__146348466725052657 = body.newConstantVariable(true);
+ PVariable var__5822171105755756881 = body.newVirtualVariable();
PVariable var__tmp_288 = body.getOrCreateVariableByName("tmp_288");
new TypeConstraint(body, Tuples.flatTupleOf(var_term), new ConceptKey(MetaAdapterFactory.getInterfaceConcept(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x1a4a252762eb92d1L, "FORecursiveTypes.structure.Term")));
@@ -132,7 +132,7 @@ public final class Typing_CheckQuerySpecification extends MPSQuerySpecification
@Override
public String getShortDescription() {
- return "146348466725090721";
+ return "5822171105755756838";
}
@Override
@@ -145,15 +145,15 @@ public final class Typing_CheckQuerySpecification extends MPSQuerySpecification
return LType.instance().isTypeVar(((LType.LTypeElement) valueProvider.getValue("ty")));
}
- }, var__146348466725090721, false);
- new Equality(body, var__tmp_291, var__146348466725090721);
- new Equality(body, var__tmp_292, var__146348466725052657);
+ }, var__5822171105755756838, false);
+ new Equality(body, var__tmp_291, var__5822171105755756838);
+ new Equality(body, var__tmp_292, var__5822171105755718907);
new Equality(body, var__tmp_291, var__tmp_292);
new ExpressionEvaluation(body, new IExpressionEvaluator() {
@Override
public String getShortDescription() {
- return "146348466725090740";
+ return "5822171105755756857";
}
@Override
@@ -166,8 +166,8 @@ public final class Typing_CheckQuerySpecification extends MPSQuerySpecification
return LType.instance().typeVarString(((LType.LTypeElement) valueProvider.getValue("ty")));
}
- }, var__146348466725090740, false);
- new Equality(body, var__tmp_293, var__146348466725090740);
+ }, var__5822171105755756857, false);
+ new Equality(body, var__tmp_293, var__5822171105755756857);
new Equality(body, var__typeVarName, var__tmp_293);
new PositivePatternCall(body, Tuples.flatTupleOf(var__p, var__typeVarName, var__tmp_294), Typing_LookupTypeVarQuerySpecification.instance().getInternalQueryRepresentation());
new Equality(body, var__rty, var__tmp_294);
@@ -175,7 +175,7 @@ public final class Typing_CheckQuerySpecification extends MPSQuerySpecification
@Override
public String getShortDescription() {
- return "146348466725090764";
+ return "5822171105755756881";
}
@Override
@@ -188,14 +188,14 @@ public final class Typing_CheckQuerySpecification extends MPSQuerySpecification
return LType.instance().funParamType(((LType.LTypeElement) valueProvider.getValue("ty")));
}
- }, var__146348466725090764, false);
- new Equality(body, var__tmp_295, var__146348466725090764);
+ }, var__5822171105755756881, false);
+ new Equality(body, var__tmp_295, var__5822171105755756881);
new Equality(body, var__ty1, var__tmp_295);
new ExpressionEvaluation(body, new IExpressionEvaluator() {
@Override
public String getShortDescription() {
- return "146348466725090780";
+ return "5822171105755756897";
}
@Override
@@ -208,8 +208,8 @@ public final class Typing_CheckQuerySpecification extends MPSQuerySpecification
return LType.instance().funResultType(((LType.LTypeElement) valueProvider.getValue("ty")));
}
- }, var__146348466725090780, false);
- new Equality(body, var__tmp_296, var__146348466725090780);
+ }, var__5822171105755756897, false);
+ new Equality(body, var__tmp_296, var__5822171105755756897);
new Equality(body, var__ty2, var__tmp_296);
new PositivePatternCall(body, Tuples.flatTupleOf(var__t), Typing_CheckQuerySpecification.instance().getInternalQueryRepresentation());
@@ -224,25 +224,25 @@ public final class Typing_CheckQuerySpecification extends MPSQuerySpecification
body.setSymbolicParameters(exportedParameters);
PVariable var__p = body.getOrCreateVariableByName("p");
- PVariable var__146348466725090872 = body.newVirtualVariable();
+ PVariable var__5822171105755756989 = body.newVirtualVariable();
PVariable var__t = body.getOrCreateVariableByName("t");
+ PVariable var__5822171105755756954 = body.newVirtualVariable();
+ PVariable var__5822171105755719038 = body.newConstantVariable(true);
PVariable var__match_b0a0a0u = body.getOrCreateVariableByName("match_b0a0a0u");
PVariable var__ty2 = body.getOrCreateVariableByName("ty2");
PVariable var__ty1 = body.getOrCreateVariableByName("ty1");
PVariable var__ty = body.getOrCreateVariableByName("ty");
PVariable var__tmp_300 = body.getOrCreateVariableByName("tmp_300");
+ PVariable var__5822171105755756973 = body.newVirtualVariable();
PVariable var__tmp_301 = body.getOrCreateVariableByName("tmp_301");
- PVariable var__146348466725052788 = body.newConstantVariable(true);
PVariable var__match_a0a0u = body.getOrCreateVariableByName("match_a0a0u");
PVariable var__tmp_302 = body.getOrCreateVariableByName("tmp_302");
- PVariable var__146348466725090856 = body.newVirtualVariable();
PVariable var__tmp_303 = body.getOrCreateVariableByName("tmp_303");
PVariable var__match_a0a0a0u = body.getOrCreateVariableByName("match_a0a0a0u");
PVariable var__name = body.getOrCreateVariableByName("name");
PVariable var__tmp_297 = body.getOrCreateVariableByName("tmp_297");
PVariable var__tmp_298 = body.getOrCreateVariableByName("tmp_298");
PVariable var__tmp_299 = body.getOrCreateVariableByName("tmp_299");
- PVariable var__146348466725090837 = body.newVirtualVariable();
new TypeConstraint(body, Tuples.flatTupleOf(var_term), new ConceptKey(MetaAdapterFactory.getInterfaceConcept(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x1a4a252762eb92d1L, "FORecursiveTypes.structure.Term")));
new PositivePatternCall(body, Tuples.flatTupleOf(), Typing_Check_0_switchCommonQuerySpecification.instance().getInternalQueryRepresentation());
@@ -261,7 +261,7 @@ public final class Typing_CheckQuerySpecification extends MPSQuerySpecification
@Override
public String getShortDescription() {
- return "146348466725090837";
+ return "5822171105755756954";
}
@Override
@@ -274,15 +274,15 @@ public final class Typing_CheckQuerySpecification extends MPSQuerySpecification
return LType.instance().isTypeVar(((LType.LTypeElement) valueProvider.getValue("ty")));
}
- }, var__146348466725090837, false);
- new Equality(body, var__tmp_300, var__146348466725090837);
- new Equality(body, var__tmp_301, var__146348466725052788);
+ }, var__5822171105755756954, false);
+ new Equality(body, var__tmp_300, var__5822171105755756954);
+ new Equality(body, var__tmp_301, var__5822171105755719038);
new Inequality(body, var__tmp_300, var__tmp_301);
new ExpressionEvaluation(body, new IExpressionEvaluator() {
@Override
public String getShortDescription() {
- return "146348466725090856";
+ return "5822171105755756973";
}
@Override
@@ -295,14 +295,14 @@ public final class Typing_CheckQuerySpecification extends MPSQuerySpecification
return LType.instance().funParamType(((LType.LTypeElement) valueProvider.getValue("ty")));
}
- }, var__146348466725090856, false);
- new Equality(body, var__tmp_302, var__146348466725090856);
+ }, var__5822171105755756973, false);
+ new Equality(body, var__tmp_302, var__5822171105755756973);
new Equality(body, var__ty1, var__tmp_302);
new ExpressionEvaluation(body, new IExpressionEvaluator() {
@Override
public String getShortDescription() {
- return "146348466725090872";
+ return "5822171105755756989";
}
@Override
@@ -315,8 +315,8 @@ public final class Typing_CheckQuerySpecification extends MPSQuerySpecification
return LType.instance().funResultType(((LType.LTypeElement) valueProvider.getValue("ty")));
}
- }, var__146348466725090872, false);
- new Equality(body, var__tmp_303, var__146348466725090872);
+ }, var__5822171105755756989, false);
+ new Equality(body, var__tmp_303, var__5822171105755756989);
new Equality(body, var__ty2, var__tmp_303);
new PositivePatternCall(body, Tuples.flatTupleOf(var__t), Typing_CheckQuerySpecification.instance().getInternalQueryRepresentation());
@@ -334,23 +334,23 @@ public final class Typing_CheckQuerySpecification extends MPSQuerySpecification
PVariable var__match_b0a1a0u = body.getOrCreateVariableByName("match_b0a1a0u");
PVariable var__t = body.getOrCreateVariableByName("t");
PVariable var__typeVarName = body.getOrCreateVariableByName("typeVarName");
- PVariable var__146348466725090973 = body.newVirtualVariable();
PVariable var__rty = body.getOrCreateVariableByName("rty");
PVariable var__tmp_308 = body.getOrCreateVariableByName("tmp_308");
+ PVariable var__5822171105755757065 = body.newVirtualVariable();
PVariable var__tmp_309 = body.getOrCreateVariableByName("tmp_309");
- PVariable var__146348466725090929 = body.newVirtualVariable();
+ PVariable var__5822171105755757046 = body.newVirtualVariable();
PVariable var__tmp_304 = body.getOrCreateVariableByName("tmp_304");
PVariable var__ty = body.getOrCreateVariableByName("ty");
PVariable var__tmp_305 = body.getOrCreateVariableByName("tmp_305");
PVariable var__tmp_306 = body.getOrCreateVariableByName("tmp_306");
PVariable var__tmp_307 = body.getOrCreateVariableByName("tmp_307");
PVariable var__tmp_311 = body.getOrCreateVariableByName("tmp_311");
+ PVariable var__5822171105755757090 = body.newVirtualVariable();
PVariable var__match_a1a0u = body.getOrCreateVariableByName("match_a1a0u");
PVariable var__match_a0a1a0u = body.getOrCreateVariableByName("match_a0a1a0u");
PVariable var__name = body.getOrCreateVariableByName("name");
PVariable var__lty = body.getOrCreateVariableByName("lty");
- PVariable var__146348466725090948 = body.newVirtualVariable();
- PVariable var__146348466725052845 = body.newConstantVariable(true);
+ PVariable var__5822171105755719095 = body.newConstantVariable(true);
PVariable var__tmp_310 = body.getOrCreateVariableByName("tmp_310");
new TypeConstraint(body, Tuples.flatTupleOf(var_term), new ConceptKey(MetaAdapterFactory.getInterfaceConcept(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x1a4a252762eb92d1L, "FORecursiveTypes.structure.Term")));
@@ -370,7 +370,7 @@ public final class Typing_CheckQuerySpecification extends MPSQuerySpecification
@Override
public String getShortDescription() {
- return "146348466725090929";
+ return "5822171105755757046";
}
@Override
@@ -383,15 +383,15 @@ public final class Typing_CheckQuerySpecification extends MPSQuerySpecification
return LType.instance().isTypeVar(((LType.LTypeElement) valueProvider.getValue("ty")));
}
- }, var__146348466725090929, false);
- new Equality(body, var__tmp_307, var__146348466725090929);
- new Equality(body, var__tmp_308, var__146348466725052845);
+ }, var__5822171105755757046, false);
+ new Equality(body, var__tmp_307, var__5822171105755757046);
+ new Equality(body, var__tmp_308, var__5822171105755719095);
new Equality(body, var__tmp_307, var__tmp_308);
new ExpressionEvaluation(body, new IExpressionEvaluator() {
@Override
public String getShortDescription() {
- return "146348466725090948";
+ return "5822171105755757065";
}
@Override
@@ -404,8 +404,8 @@ public final class Typing_CheckQuerySpecification extends MPSQuerySpecification
return LType.instance().typeVarString(((LType.LTypeElement) valueProvider.getValue("ty")));
}
- }, var__146348466725090948, false);
- new Equality(body, var__tmp_309, var__146348466725090948);
+ }, var__5822171105755757065, false);
+ new Equality(body, var__tmp_309, var__5822171105755757065);
new Equality(body, var__typeVarName, var__tmp_309);
new PositivePatternCall(body, Tuples.flatTupleOf(var__p, var__typeVarName, var__tmp_310), Typing_LookupTypeVarQuerySpecification.instance().getInternalQueryRepresentation());
new Equality(body, var__rty, var__tmp_310);
@@ -413,7 +413,7 @@ public final class Typing_CheckQuerySpecification extends MPSQuerySpecification
@Override
public String getShortDescription() {
- return "146348466725090973";
+ return "5822171105755757090";
}
@Override
@@ -426,8 +426,8 @@ public final class Typing_CheckQuerySpecification extends MPSQuerySpecification
return LType.instance().variantLookup(((LType.LTypeElement) valueProvider.getValue("rty")), (CodeGenerationHelper.demandWrapString(valueProvider.getValue("name"))));
}
- }, var__146348466725090973, false);
- new Equality(body, var__tmp_311, var__146348466725090973);
+ }, var__5822171105755757090, false);
+ new Equality(body, var__tmp_311, var__5822171105755757090);
new Equality(body, var__lty, var__tmp_311);
new PositivePatternCall(body, Tuples.flatTupleOf(var__t), Typing_CheckQuerySpecification.instance().getInternalQueryRepresentation());
@@ -444,17 +444,17 @@ public final class Typing_CheckQuerySpecification extends MPSQuerySpecification
PVariable var__p = body.getOrCreateVariableByName("p");
PVariable var__match_b0a1a0u = body.getOrCreateVariableByName("match_b0a1a0u");
PVariable var__t = body.getOrCreateVariableByName("t");
- PVariable var__146348466725091031 = body.newVirtualVariable();
- PVariable var__146348466725091051 = body.newVirtualVariable();
+ PVariable var__5822171105755719211 = body.newConstantVariable(true);
PVariable var__ty = body.getOrCreateVariableByName("ty");
PVariable var__tmp_315 = body.getOrCreateVariableByName("tmp_315");
+ PVariable var__5822171105755757168 = body.newVirtualVariable();
PVariable var__tmp_316 = body.getOrCreateVariableByName("tmp_316");
+ PVariable var__5822171105755757148 = body.newVirtualVariable();
PVariable var__tmp_317 = body.getOrCreateVariableByName("tmp_317");
PVariable var__match_a1a0u = body.getOrCreateVariableByName("match_a1a0u");
PVariable var__tmp_312 = body.getOrCreateVariableByName("tmp_312");
PVariable var__match_a0a1a0u = body.getOrCreateVariableByName("match_a0a1a0u");
PVariable var__tmp_313 = body.getOrCreateVariableByName("tmp_313");
- PVariable var__146348466725052961 = body.newConstantVariable(true);
PVariable var__tmp_314 = body.getOrCreateVariableByName("tmp_314");
PVariable var__name = body.getOrCreateVariableByName("name");
PVariable var__lty = body.getOrCreateVariableByName("lty");
@@ -476,7 +476,7 @@ public final class Typing_CheckQuerySpecification extends MPSQuerySpecification
@Override
public String getShortDescription() {
- return "146348466725091031";
+ return "5822171105755757148";
}
@Override
@@ -489,15 +489,15 @@ public final class Typing_CheckQuerySpecification extends MPSQuerySpecification
return LType.instance().isTypeVar(((LType.LTypeElement) valueProvider.getValue("ty")));
}
- }, var__146348466725091031, false);
- new Equality(body, var__tmp_315, var__146348466725091031);
- new Equality(body, var__tmp_316, var__146348466725052961);
+ }, var__5822171105755757148, false);
+ new Equality(body, var__tmp_315, var__5822171105755757148);
+ new Equality(body, var__tmp_316, var__5822171105755719211);
new Inequality(body, var__tmp_315, var__tmp_316);
new ExpressionEvaluation(body, new IExpressionEvaluator() {
@Override
public String getShortDescription() {
- return "146348466725091051";
+ return "5822171105755757168";
}
@Override
@@ -510,8 +510,8 @@ public final class Typing_CheckQuerySpecification extends MPSQuerySpecification
return LType.instance().variantLookup(((LType.LTypeElement) valueProvider.getValue("ty")), (CodeGenerationHelper.demandWrapString(valueProvider.getValue("name"))));
}
- }, var__146348466725091051, false);
- new Equality(body, var__tmp_317, var__146348466725091051);
+ }, var__5822171105755757168, false);
+ new Equality(body, var__tmp_317, var__5822171105755757168);
new Equality(body, var__lty, var__tmp_317);
new PositivePatternCall(body, Tuples.flatTupleOf(var__t), Typing_CheckQuerySpecification.instance().getInternalQueryRepresentation());
@@ -572,14 +572,14 @@ public final class Typing_CheckQuerySpecification extends MPSQuerySpecification
body.setSymbolicParameters(exportedParameters);
PVariable var__p = body.getOrCreateVariableByName("p");
- PVariable var__146348466725091153 = body.newVirtualVariable();
- PVariable var__146348466725042213 = body.newConstantVariable(true);
PVariable var__ty = body.getOrCreateVariableByName("ty");
PVariable var__tmp_326 = body.getOrCreateVariableByName("tmp_326");
+ PVariable var__5822171105755708463 = body.newConstantVariable(true);
PVariable var__tmp_323 = body.getOrCreateVariableByName("tmp_323");
PVariable var__tmp_324 = body.getOrCreateVariableByName("tmp_324");
PVariable var__infty = body.getOrCreateVariableByName("infty");
PVariable var__tmp_325 = body.getOrCreateVariableByName("tmp_325");
+ PVariable var__5822171105755757270 = body.newVirtualVariable();
PVariable var__match_a3a0u = body.getOrCreateVariableByName("match_a3a0u");
new TypeConstraint(body, Tuples.flatTupleOf(var_term), new ConceptKey(MetaAdapterFactory.getInterfaceConcept(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x1a4a252762eb92d1L, "FORecursiveTypes.structure.Term")));
@@ -594,7 +594,7 @@ public final class Typing_CheckQuerySpecification extends MPSQuerySpecification
@Override
public String getShortDescription() {
- return "146348466725091153";
+ return "5822171105755757270";
}
@Override
@@ -607,9 +607,9 @@ public final class Typing_CheckQuerySpecification extends MPSQuerySpecification
return LType.instance().leq(((LType.LTypeElement) valueProvider.getValue("infty")), ((LType.LTypeElement) valueProvider.getValue("ty")));
}
- }, var__146348466725091153, false);
- new Equality(body, var__tmp_325, var__146348466725091153);
- new Equality(body, var__tmp_326, var__146348466725042213);
+ }, var__5822171105755757270, false);
+ new Equality(body, var__tmp_325, var__5822171105755757270);
+ new Equality(body, var__tmp_326, var__5822171105755708463);
new Equality(body, var__tmp_325, var__tmp_326);
SetSequence.fromSet(bodies).addElement(body);
diff --git a/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/model/Typing_InferQuerySpecification.java b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/model/Typing_InferQuerySpecification.java
index b5a779db56e0cb939dcdc3ac70d4a1f27b136983..bb57c10b4fda1fd7717840ec7e13ab90f6a1b3a5 100644
--- a/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/model/Typing_InferQuerySpecification.java
+++ b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/model/Typing_InferQuerySpecification.java
@@ -89,14 +89,14 @@ public final class Typing_InferQuerySpecification extends MPSQuerySpecification
exportedParameters.add(new ExportedParameter(body, var_out_1, p_out_1));
body.setSymbolicParameters(exportedParameters);
- PVariable var__146348466725059811 = body.getOrCreateVariableByName("146348466725059811");
- PVariable var__146348466725059808 = body.getOrCreateVariableByName("146348466725059808");
- PVariable var__146348466725059816 = body.newVirtualVariable();
+ PVariable var__5822171105755726058 = body.getOrCreateVariableByName("5822171105755726058");
+ PVariable var__5822171105755726066 = body.newVirtualVariable();
+ PVariable var__5822171105755726061 = body.getOrCreateVariableByName("5822171105755726061");
new TypeConstraint(body, Tuples.flatTupleOf(var_term), new ConceptKey(MetaAdapterFactory.getInterfaceConcept(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x1a4a252762eb92d1L, "FORecursiveTypes.structure.Term")));
- new PositivePatternCall(body, Tuples.flatTupleOf(var_term, var__146348466725059808), Typing_Infer_WrappedQuerySpecification.instance().getInternalQueryRepresentation());
- new AggregatorConstraint(new BoundAggregator(LType.instance().aggregator_glb, LType.LTypeElement.class, LType.LTypeElement.class), body, Tuples.flatTupleOf(var_term, var__146348466725059811), Typing_Infer_WrappedQuerySpecification.instance().getInternalQueryRepresentation(), var__146348466725059816, 1);
- new Equality(body, var_out_1, var__146348466725059816);
+ new PositivePatternCall(body, Tuples.flatTupleOf(var_term, var__5822171105755726058), Typing_Infer_WrappedQuerySpecification.instance().getInternalQueryRepresentation());
+ new AggregatorConstraint(new BoundAggregator(LType.instance().aggregator_glb, LType.LTypeElement.class, LType.LTypeElement.class), body, Tuples.flatTupleOf(var_term, var__5822171105755726061), Typing_Infer_WrappedQuerySpecification.instance().getInternalQueryRepresentation(), var__5822171105755726066, 1);
+ new Equality(body, var_out_1, var__5822171105755726066);
SetSequence.fromSet(bodies).addElement(body);
}
diff --git a/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/model/Typing_Infer_WrappedQuerySpecification.java b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/model/Typing_Infer_WrappedQuerySpecification.java
index 9e006bca324d2929c8dd25e1e2a51824d36d8703..07f54a560196df1adc75c99f1118ddc4ca283d45 100644
--- a/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/model/Typing_Infer_WrappedQuerySpecification.java
+++ b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/model/Typing_Infer_WrappedQuerySpecification.java
@@ -93,8 +93,8 @@ public final class Typing_Infer_WrappedQuerySpecification extends MPSQuerySpecif
body.setSymbolicParameters(exportedParameters);
PVariable var__match_a0a0s = body.getOrCreateVariableByName("match_a0a0s");
+ PVariable var__5822171105755756236 = body.newVirtualVariable();
PVariable var__tmp_247 = body.getOrCreateVariableByName("tmp_247");
- PVariable var__146348466725090119 = body.newVirtualVariable();
new TypeConstraint(body, Tuples.flatTupleOf(var_term), new ConceptKey(MetaAdapterFactory.getInterfaceConcept(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x1a4a252762eb92d1L, "FORecursiveTypes.structure.Term")));
new PositivePatternCall(body, Tuples.flatTupleOf(), Typing_Infer_0_switchCommonQuerySpecification.instance().getInternalQueryRepresentation());
@@ -104,7 +104,7 @@ public final class Typing_Infer_WrappedQuerySpecification extends MPSQuerySpecif
@Override
public String getShortDescription() {
- return "146348466725090119";
+ return "5822171105755756236";
}
@Override
@@ -117,8 +117,8 @@ public final class Typing_Infer_WrappedQuerySpecification extends MPSQuerySpecif
return LType.Unit.create();
}
- }, var__146348466725090119, false);
- new Equality(body, var__tmp_247, var__146348466725090119);
+ }, var__5822171105755756236, false);
+ new Equality(body, var__tmp_247, var__5822171105755756236);
new Equality(body, var__tmp_247, var_out_1);
SetSequence.fromSet(bodies).addElement(body);
@@ -133,8 +133,8 @@ public final class Typing_Infer_WrappedQuerySpecification extends MPSQuerySpecif
exportedParameters.add(new ExportedParameter(body, var_out_1, p_out_1));
body.setSymbolicParameters(exportedParameters);
+ PVariable var__5822171105755756257 = body.newVirtualVariable();
PVariable var__tmp_248 = body.getOrCreateVariableByName("tmp_248");
- PVariable var__146348466725090140 = body.newVirtualVariable();
PVariable var__match_a1a0s = body.getOrCreateVariableByName("match_a1a0s");
new TypeConstraint(body, Tuples.flatTupleOf(var_term), new ConceptKey(MetaAdapterFactory.getInterfaceConcept(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x1a4a252762eb92d1L, "FORecursiveTypes.structure.Term")));
@@ -145,7 +145,7 @@ public final class Typing_Infer_WrappedQuerySpecification extends MPSQuerySpecif
@Override
public String getShortDescription() {
- return "146348466725090140";
+ return "5822171105755756257";
}
@Override
@@ -158,8 +158,8 @@ public final class Typing_Infer_WrappedQuerySpecification extends MPSQuerySpecif
return LType.Nat.create();
}
- }, var__146348466725090140, false);
- new Equality(body, var__tmp_248, var__146348466725090140);
+ }, var__5822171105755756257, false);
+ new Equality(body, var__tmp_248, var__5822171105755756257);
new Equality(body, var__tmp_248, var_out_1);
SetSequence.fromSet(bodies).addElement(body);
@@ -174,8 +174,8 @@ public final class Typing_Infer_WrappedQuerySpecification extends MPSQuerySpecif
exportedParameters.add(new ExportedParameter(body, var_out_1, p_out_1));
body.setSymbolicParameters(exportedParameters);
- PVariable var__146348466725090175 = body.newVirtualVariable();
PVariable var__tmp_250 = body.getOrCreateVariableByName("tmp_250");
+ PVariable var__5822171105755756292 = body.newVirtualVariable();
PVariable var__tmp_249 = body.getOrCreateVariableByName("tmp_249");
PVariable var__t = body.getOrCreateVariableByName("t");
PVariable var__match_a0c0a81 = body.getOrCreateVariableByName("match_a0c0a81");
@@ -193,7 +193,7 @@ public final class Typing_Infer_WrappedQuerySpecification extends MPSQuerySpecif
@Override
public String getShortDescription() {
- return "146348466725090175";
+ return "5822171105755756292";
}
@Override
@@ -206,8 +206,8 @@ public final class Typing_Infer_WrappedQuerySpecification extends MPSQuerySpecif
return LType.Nat.create();
}
- }, var__146348466725090175, false);
- new Equality(body, var__tmp_250, var__146348466725090175);
+ }, var__5822171105755756292, false);
+ new Equality(body, var__tmp_250, var__5822171105755756292);
new Equality(body, var__tmp_250, var_out_1);
SetSequence.fromSet(bodies).addElement(body);
@@ -224,13 +224,13 @@ public final class Typing_Infer_WrappedQuerySpecification extends MPSQuerySpecif
PVariable var__tmp_251 = body.getOrCreateVariableByName("tmp_251");
PVariable var__match_b0d0a81 = body.getOrCreateVariableByName("match_b0d0a81");
- PVariable var__146348466725090224 = body.newVirtualVariable();
PVariable var__match_a0d0a81 = body.getOrCreateVariableByName("match_a0d0a81");
PVariable var__match_a3a0s = body.getOrCreateVariableByName("match_a3a0s");
PVariable var__t1 = body.getOrCreateVariableByName("t1");
PVariable var__tmp_252 = body.getOrCreateVariableByName("tmp_252");
PVariable var__t2 = body.getOrCreateVariableByName("t2");
PVariable var__tmp_253 = body.getOrCreateVariableByName("tmp_253");
+ PVariable var__5822171105755756341 = body.newVirtualVariable();
new TypeConstraint(body, Tuples.flatTupleOf(var_term), new ConceptKey(MetaAdapterFactory.getInterfaceConcept(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x1a4a252762eb92d1L, "FORecursiveTypes.structure.Term")));
new PositivePatternCall(body, Tuples.flatTupleOf(), Typing_Infer_0_switchCommonQuerySpecification.instance().getInternalQueryRepresentation());
@@ -248,7 +248,7 @@ public final class Typing_Infer_WrappedQuerySpecification extends MPSQuerySpecif
@Override
public String getShortDescription() {
- return "146348466725090224";
+ return "5822171105755756341";
}
@Override
@@ -261,8 +261,8 @@ public final class Typing_Infer_WrappedQuerySpecification extends MPSQuerySpecif
return LType.Nat.create();
}
- }, var__146348466725090224, false);
- new Equality(body, var__tmp_253, var__146348466725090224);
+ }, var__5822171105755756341, false);
+ new Equality(body, var__tmp_253, var__5822171105755756341);
new Equality(body, var__tmp_253, var_out_1);
SetSequence.fromSet(bodies).addElement(body);
@@ -277,7 +277,7 @@ public final class Typing_Infer_WrappedQuerySpecification extends MPSQuerySpecif
exportedParameters.add(new ExportedParameter(body, var_out_1, p_out_1));
body.setSymbolicParameters(exportedParameters);
- PVariable var__146348466725090273 = body.newVirtualVariable();
+ PVariable var__5822171105755756390 = body.newVirtualVariable();
PVariable var__tmp_256 = body.getOrCreateVariableByName("tmp_256");
PVariable var__match_b0e0a81 = body.getOrCreateVariableByName("match_b0e0a81");
PVariable var__match_a0e0a81 = body.getOrCreateVariableByName("match_a0e0a81");
@@ -303,7 +303,7 @@ public final class Typing_Infer_WrappedQuerySpecification extends MPSQuerySpecif
@Override
public String getShortDescription() {
- return "146348466725090273";
+ return "5822171105755756390";
}
@Override
@@ -316,8 +316,8 @@ public final class Typing_Infer_WrappedQuerySpecification extends MPSQuerySpecif
return LType.Nat.create();
}
- }, var__146348466725090273, false);
- new Equality(body, var__tmp_256, var__146348466725090273);
+ }, var__5822171105755756390, false);
+ new Equality(body, var__tmp_256, var__5822171105755756390);
new Equality(body, var__tmp_256, var_out_1);
SetSequence.fromSet(bodies).addElement(body);
@@ -450,17 +450,17 @@ public final class Typing_Infer_WrappedQuerySpecification extends MPSQuerySpecif
PVariable var__tmp_273 = body.getOrCreateVariableByName("tmp_273");
PVariable var__typeVarName = body.getOrCreateVariableByName("typeVarName");
PVariable var__rty = body.getOrCreateVariableByName("rty");
- PVariable var__146348466725090492 = body.newVirtualVariable();
+ PVariable var__5822171105755756609 = body.newVirtualVariable();
PVariable var__ty2 = body.getOrCreateVariableByName("ty2");
PVariable var__ty = body.getOrCreateVariableByName("ty");
PVariable var__tmp_267 = body.getOrCreateVariableByName("tmp_267");
+ PVariable var__5822171105755756566 = body.newVirtualVariable();
PVariable var__tmp_268 = body.getOrCreateVariableByName("tmp_268");
- PVariable var__146348466725090468 = body.newVirtualVariable();
PVariable var__tmp_269 = body.getOrCreateVariableByName("tmp_269");
- PVariable var__146348466725090449 = body.newVirtualVariable();
PVariable var__match_b0a8a0s = body.getOrCreateVariableByName("match_b0a8a0s");
+ PVariable var__5822171105755756585 = body.newVirtualVariable();
PVariable var__t1 = body.getOrCreateVariableByName("t1");
- PVariable var__146348466725059639 = body.newConstantVariable(true);
+ PVariable var__5822171105755725889 = body.newConstantVariable(true);
PVariable var__tmp_274 = body.getOrCreateVariableByName("tmp_274");
PVariable var__t2 = body.getOrCreateVariableByName("t2");
@@ -481,7 +481,7 @@ public final class Typing_Infer_WrappedQuerySpecification extends MPSQuerySpecif
@Override
public String getShortDescription() {
- return "146348466725090449";
+ return "5822171105755756566";
}
@Override
@@ -494,15 +494,15 @@ public final class Typing_Infer_WrappedQuerySpecification extends MPSQuerySpecif
return LType.instance().isTypeVar(((LType.LTypeElement) valueProvider.getValue("ty")));
}
- }, var__146348466725090449, false);
- new Equality(body, var__tmp_270, var__146348466725090449);
- new Equality(body, var__tmp_271, var__146348466725059639);
+ }, var__5822171105755756566, false);
+ new Equality(body, var__tmp_270, var__5822171105755756566);
+ new Equality(body, var__tmp_271, var__5822171105755725889);
new Equality(body, var__tmp_270, var__tmp_271);
new ExpressionEvaluation(body, new IExpressionEvaluator() {
@Override
public String getShortDescription() {
- return "146348466725090468";
+ return "5822171105755756585";
}
@Override
@@ -515,8 +515,8 @@ public final class Typing_Infer_WrappedQuerySpecification extends MPSQuerySpecif
return LType.instance().typeVarString(((LType.LTypeElement) valueProvider.getValue("ty")));
}
- }, var__146348466725090468, false);
- new Equality(body, var__tmp_272, var__146348466725090468);
+ }, var__5822171105755756585, false);
+ new Equality(body, var__tmp_272, var__5822171105755756585);
new Equality(body, var__typeVarName, var__tmp_272);
new PositivePatternCall(body, Tuples.flatTupleOf(var__p, var__typeVarName, var__tmp_273), Typing_LookupTypeVarQuerySpecification.instance().getInternalQueryRepresentation());
new Equality(body, var__rty, var__tmp_273);
@@ -524,7 +524,7 @@ public final class Typing_Infer_WrappedQuerySpecification extends MPSQuerySpecif
@Override
public String getShortDescription() {
- return "146348466725090492";
+ return "5822171105755756609";
}
@Override
@@ -537,8 +537,8 @@ public final class Typing_Infer_WrappedQuerySpecification extends MPSQuerySpecif
return LType.instance().funResultType(((LType.LTypeElement) valueProvider.getValue("rty")));
}
- }, var__146348466725090492, false);
- new Equality(body, var__tmp_274, var__146348466725090492);
+ }, var__5822171105755756609, false);
+ new Equality(body, var__tmp_274, var__5822171105755756609);
new Equality(body, var__ty2, var__tmp_274);
new PositivePatternCall(body, Tuples.flatTupleOf(var__t2), Typing_CheckQuerySpecification.instance().getInternalQueryRepresentation());
new Equality(body, var__ty2, var_out_1);
@@ -555,15 +555,15 @@ public final class Typing_Infer_WrappedQuerySpecification extends MPSQuerySpecif
exportedParameters.add(new ExportedParameter(body, var_out_1, p_out_1));
body.setSymbolicParameters(exportedParameters);
- PVariable var__146348466725090571 = body.newVirtualVariable();
PVariable var__p = body.getOrCreateVariableByName("p");
PVariable var__match_a0a8a0s = body.getOrCreateVariableByName("match_a0a8a0s");
PVariable var__match_a8a0s = body.getOrCreateVariableByName("match_a8a0s");
- PVariable var__146348466725090552 = body.newVirtualVariable();
+ PVariable var__5822171105755756669 = body.newVirtualVariable();
+ PVariable var__5822171105755725960 = body.newConstantVariable(true);
PVariable var__tmp_280 = body.getOrCreateVariableByName("tmp_280");
+ PVariable var__5822171105755756688 = body.newVirtualVariable();
PVariable var__ty2 = body.getOrCreateVariableByName("ty2");
PVariable var__ty = body.getOrCreateVariableByName("ty");
- PVariable var__146348466725059710 = body.newConstantVariable(true);
PVariable var__tmp_278 = body.getOrCreateVariableByName("tmp_278");
PVariable var__tmp_279 = body.getOrCreateVariableByName("tmp_279");
PVariable var__match_b0a8a0s = body.getOrCreateVariableByName("match_b0a8a0s");
@@ -590,7 +590,7 @@ public final class Typing_Infer_WrappedQuerySpecification extends MPSQuerySpecif
@Override
public String getShortDescription() {
- return "146348466725090552";
+ return "5822171105755756669";
}
@Override
@@ -603,15 +603,15 @@ public final class Typing_Infer_WrappedQuerySpecification extends MPSQuerySpecif
return LType.instance().isTypeVar(((LType.LTypeElement) valueProvider.getValue("ty")));
}
- }, var__146348466725090552, false);
- new Equality(body, var__tmp_278, var__146348466725090552);
- new Equality(body, var__tmp_279, var__146348466725059710);
+ }, var__5822171105755756669, false);
+ new Equality(body, var__tmp_278, var__5822171105755756669);
+ new Equality(body, var__tmp_279, var__5822171105755725960);
new Inequality(body, var__tmp_278, var__tmp_279);
new ExpressionEvaluation(body, new IExpressionEvaluator() {
@Override
public String getShortDescription() {
- return "146348466725090571";
+ return "5822171105755756688";
}
@Override
@@ -624,8 +624,8 @@ public final class Typing_Infer_WrappedQuerySpecification extends MPSQuerySpecif
return LType.instance().funResultType(((LType.LTypeElement) valueProvider.getValue("ty")));
}
- }, var__146348466725090571, false);
- new Equality(body, var__tmp_280, var__146348466725090571);
+ }, var__5822171105755756688, false);
+ new Equality(body, var__tmp_280, var__5822171105755756688);
new Equality(body, var__ty2, var__tmp_280);
new PositivePatternCall(body, Tuples.flatTupleOf(var__t2), Typing_CheckQuerySpecification.instance().getInternalQueryRepresentation());
new Equality(body, var__ty2, var_out_1);
@@ -711,7 +711,7 @@ public final class Typing_Infer_WrappedQuerySpecification extends MPSQuerySpecif
body.setSymbolicParameters(exportedParameters);
PVariable var__match_a11a0s = body.getOrCreateVariableByName("match_a11a0s");
- PVariable var__146348466725090668 = body.newVirtualVariable();
+ PVariable var__5822171105755756785 = body.newVirtualVariable();
PVariable var__tmp_287 = body.getOrCreateVariableByName("tmp_287");
new TypeConstraint(body, Tuples.flatTupleOf(var_term), new ConceptKey(MetaAdapterFactory.getInterfaceConcept(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x1a4a252762eb92d1L, "FORecursiveTypes.structure.Term")));
@@ -721,7 +721,7 @@ public final class Typing_Infer_WrappedQuerySpecification extends MPSQuerySpecif
@Override
public String getShortDescription() {
- return "146348466725090668";
+ return "5822171105755756785";
}
@Override
@@ -734,8 +734,8 @@ public final class Typing_Infer_WrappedQuerySpecification extends MPSQuerySpecif
return LType.Any.create();
}
- }, var__146348466725090668, false);
- new Equality(body, var__tmp_287, var__146348466725090668);
+ }, var__5822171105755756785, false);
+ new Equality(body, var__tmp_287, var__5822171105755756785);
new Equality(body, var__tmp_287, var_out_1);
SetSequence.fromSet(bodies).addElement(body);
diff --git a/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/model/Typing_LookupFailureQuerySpecification.java b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/model/Typing_LookupFailureQuerySpecification.java
index 687a900fda92b0f18ce28585e8d78de8e543d620..0bfd1a0d0412411cfc17b0c458f386ff825594e7 100644
--- a/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/model/Typing_LookupFailureQuerySpecification.java
+++ b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/model/Typing_LookupFailureQuerySpecification.java
@@ -99,9 +99,9 @@ public final class Typing_LookupFailureQuerySpecification extends MPSQuerySpecif
PVariable var__tmp_70 = body.getOrCreateVariableByName("tmp_70");
PVariable var__v = body.getOrCreateVariableByName("v");
PVariable var__tmp_72 = body.getOrCreateVariableByName("tmp_72");
- PVariable var__146348466725088014 = body.newVirtualVariable();
+ PVariable var__5822171105755711050 = body.newConstantVariable(Integer.parseInt("0"));
PVariable var__match_a0a0a0e = body.getOrCreateVariableByName("match_a0a0a0e");
- PVariable var__146348466725044800 = body.newConstantVariable(Integer.parseInt("0"));
+ PVariable var__5822171105755754131 = body.newVirtualVariable();
new TypeConstraint(body, Tuples.flatTupleOf(var_out_1), new ConceptKey(MetaAdapterFactory.getConcept(0xceab519525ea4f22L, 0x9b92103b95ca8c0cL, 0x10802efe25aL, "jetbrains.mps.lang.core.structure.BaseConcept")));
new PositivePatternCall(body, Tuples.flatTupleOf(var__term), Typing_LookupFailure_0_switchCommonQuerySpecification.instance().getInternalQueryRepresentation());
@@ -109,12 +109,12 @@ public final class Typing_LookupFailureQuerySpecification extends MPSQuerySpecif
new TypeConstraint(body, Tuples.flatTupleOf(var__match_a0a0a0e), new ConceptKey(MetaAdapterFactory.getConcept(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x1a4a252762eb92e0L, "FORecursiveTypes.structure.Var")));
new Equality(body, var__v, var__match_a0a0a0e);
new NegativePatternCall(body, Tuples.flatTupleOf(var__term, var__v, var__tmp_70), Typing_LookupQuerySpecification.instance().getInternalQueryRepresentation());
- new Equality(body, var__tmp_71, var__146348466725044800);
+ new Equality(body, var__tmp_71, var__5822171105755711050);
new ExpressionEvaluation(body, new IExpressionEvaluator() {
@Override
public String getShortDescription() {
- return "146348466725088014";
+ return "5822171105755754131";
}
@Override
@@ -127,8 +127,8 @@ public final class Typing_LookupFailureQuerySpecification extends MPSQuerySpecif
return String.format("\"variable not bound\"");
}
- }, var__146348466725088014, false);
- new Equality(body, var__tmp_72, var__146348466725088014);
+ }, var__5822171105755754131, false);
+ new Equality(body, var__tmp_72, var__5822171105755754131);
new Equality(body, var__tmp_71, var_out_0);
new Equality(body, var__term, var_out_1);
new Equality(body, var__tmp_72, var_out_2);
diff --git a/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/model/Typing_LookupQuerySpecification.java b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/model/Typing_LookupQuerySpecification.java
index f5ba1e49270fcbf0c3ae635a8f8dc86b3fefc9e1..3f8969a3a9b1aaba19c88e9512d5e5ff8d9e4805 100644
--- a/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/model/Typing_LookupQuerySpecification.java
+++ b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/model/Typing_LookupQuerySpecification.java
@@ -110,7 +110,7 @@ public final class Typing_LookupQuerySpecification extends MPSQuerySpecification
PVariable var__tmp_80 = body.getOrCreateVariableByName("tmp_80");
PVariable var__name = body.getOrCreateVariableByName("name");
PVariable var__mty = body.getOrCreateVariableByName("mty");
- PVariable var__146348466725088145 = body.newVirtualVariable();
+ PVariable var__5822171105755754262 = body.newVirtualVariable();
PVariable var__case = body.getOrCreateVariableByName("case");
new TypeConstraint(body, Tuples.flatTupleOf(var_term), new ConceptKey(MetaAdapterFactory.getInterfaceConcept(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x1a4a252762eb92d1L, "FORecursiveTypes.structure.Term")));
@@ -138,7 +138,7 @@ public final class Typing_LookupQuerySpecification extends MPSQuerySpecification
@Override
public String getShortDescription() {
- return "146348466725088145";
+ return "5822171105755754262";
}
@Override
@@ -151,8 +151,8 @@ public final class Typing_LookupQuerySpecification extends MPSQuerySpecification
return LType.instance().variantLookup(((LType.LTypeElement) valueProvider.getValue("mty")), (CodeGenerationHelper.demandWrapString(valueProvider.getValue("label"))));
}
- }, var__146348466725088145, false);
- new Equality(body, var__tmp_86, var__146348466725088145);
+ }, var__5822171105755754262, false);
+ new Equality(body, var__tmp_86, var__5822171105755754262);
new Equality(body, var__tmp_86, var_out_2);
SetSequence.fromSet(bodies).addElement(body);
@@ -753,16 +753,16 @@ public final class Typing_LookupQuerySpecification extends MPSQuerySpecification
PVariable var__match_a0a7a0a0o = body.getOrCreateVariableByName("match_a0a7a0a0o");
PVariable var__ty2 = body.getOrCreateVariableByName("ty2");
PVariable var__ty1 = body.getOrCreateVariableByName("ty1");
- PVariable var__146348466725088924 = body.newVirtualVariable();
PVariable var__ty = body.getOrCreateVariableByName("ty");
PVariable var__match_a7a0a0o = body.getOrCreateVariableByName("match_a7a0a0o");
PVariable var__tmp_146 = body.getOrCreateVariableByName("tmp_146");
PVariable var__tmp_147 = body.getOrCreateVariableByName("tmp_147");
- PVariable var__146348466725088940 = body.newVirtualVariable();
PVariable var__tmp_148 = body.getOrCreateVariableByName("tmp_148");
+ PVariable var__5822171105755755057 = body.newVirtualVariable();
PVariable var__tmp_149 = body.getOrCreateVariableByName("tmp_149");
PVariable var__name = body.getOrCreateVariableByName("name");
PVariable var__tmp_145 = body.getOrCreateVariableByName("tmp_145");
+ PVariable var__5822171105755755041 = body.newVirtualVariable();
new TypeConstraint(body, Tuples.flatTupleOf(var_term), new ConceptKey(MetaAdapterFactory.getInterfaceConcept(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x1a4a252762eb92d1L, "FORecursiveTypes.structure.Term")));
new TypeConstraint(body, Tuples.flatTupleOf(var_v), new ConceptKey(MetaAdapterFactory.getConcept(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x1a4a252762eb92e0L, "FORecursiveTypes.structure.Var")));
@@ -787,7 +787,7 @@ public final class Typing_LookupQuerySpecification extends MPSQuerySpecification
@Override
public String getShortDescription() {
- return "146348466725088924";
+ return "5822171105755755041";
}
@Override
@@ -800,14 +800,14 @@ public final class Typing_LookupQuerySpecification extends MPSQuerySpecification
return LType.instance().funParamType(((LType.LTypeElement) valueProvider.getValue("ty")));
}
- }, var__146348466725088924, false);
- new Equality(body, var__tmp_150, var__146348466725088924);
+ }, var__5822171105755755041, false);
+ new Equality(body, var__tmp_150, var__5822171105755755041);
new Equality(body, var__ty1, var__tmp_150);
new ExpressionEvaluation(body, new IExpressionEvaluator() {
@Override
public String getShortDescription() {
- return "146348466725088940";
+ return "5822171105755755057";
}
@Override
@@ -820,8 +820,8 @@ public final class Typing_LookupQuerySpecification extends MPSQuerySpecification
return LType.instance().funResultType(((LType.LTypeElement) valueProvider.getValue("ty")));
}
- }, var__146348466725088940, false);
- new Equality(body, var__tmp_151, var__146348466725088940);
+ }, var__5822171105755755057, false);
+ new Equality(body, var__tmp_151, var__5822171105755755057);
new Equality(body, var__ty2, var__tmp_151);
new Equality(body, var__ty1, var_out_2);
@@ -975,7 +975,7 @@ public final class Typing_LookupQuerySpecification extends MPSQuerySpecification
PVariable var__match_a0a9a0a0o = body.getOrCreateVariableByName("match_a0a9a0a0o");
PVariable var__cases = body.getOrCreateVariableByName("cases");
PVariable var__tmp_168 = body.getOrCreateVariableByName("tmp_168");
- PVariable var__146348466725089158 = body.newVirtualVariable();
+ PVariable var__5822171105755755275 = body.newVirtualVariable();
PVariable var__tmp_165 = body.getOrCreateVariableByName("tmp_165");
PVariable var__tmp_166 = body.getOrCreateVariableByName("tmp_166");
PVariable var__match_b0a9a0a0o = body.getOrCreateVariableByName("match_b0a9a0a0o");
@@ -1001,7 +1001,7 @@ public final class Typing_LookupQuerySpecification extends MPSQuerySpecification
@Override
public String getShortDescription() {
- return "146348466725089158";
+ return "5822171105755755275";
}
@Override
@@ -1014,8 +1014,8 @@ public final class Typing_LookupQuerySpecification extends MPSQuerySpecification
return LType.Bot.create();
}
- }, var__146348466725089158, false);
- new Equality(body, var__tmp_168, var__146348466725089158);
+ }, var__5822171105755755275, false);
+ new Equality(body, var__tmp_168, var__5822171105755755275);
new Equality(body, var__tmp_168, var_out_2);
SetSequence.fromSet(bodies).addElement(body);
diff --git a/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/model/Typing_MatchFunFailureQuerySpecification.java b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/model/Typing_MatchFunFailureQuerySpecification.java
index 0b2400fcd740bae941f8bcafce69dac482a1c6f1..3179cbebf271de41c600990b288dd6606849df3f 100644
--- a/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/model/Typing_MatchFunFailureQuerySpecification.java
+++ b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/model/Typing_MatchFunFailureQuerySpecification.java
@@ -95,27 +95,27 @@ public final class Typing_MatchFunFailureQuerySpecification extends MPSQuerySpec
exportedParameters.add(new ExportedParameter(body, var_out_2, p_out_2));
body.setSymbolicParameters(exportedParameters);
- PVariable var__146348466725087380 = body.newVirtualVariable();
+ PVariable var__5822171105755753516 = body.newVirtualVariable();
+ PVariable var__5822171105755723543 = body.newConstantVariable(true);
+ PVariable var__5822171105755723565 = body.newConstantVariable(false);
+ PVariable var__5822171105755753555 = body.newVirtualVariable();
PVariable var__typeVarName = body.getOrCreateVariableByName("typeVarName");
PVariable var__rty = body.getOrCreateVariableByName("rty");
+ PVariable var__5822171105755723573 = body.newConstantVariable(Integer.parseInt("0"));
PVariable var__app = body.getOrCreateVariableByName("app");
- PVariable var__146348466725057293 = body.newConstantVariable(true);
+ PVariable var__5822171105755753539 = body.newVirtualVariable();
PVariable var__tmp_1 = body.getOrCreateVariableByName("tmp_1");
- PVariable var__146348466725057315 = body.newConstantVariable(false);
PVariable var__tmp_2 = body.getOrCreateVariableByName("tmp_2");
PVariable var__tmp_10 = body.getOrCreateVariableByName("tmp_10");
PVariable var__ty = body.getOrCreateVariableByName("ty");
PVariable var__tmp_3 = body.getOrCreateVariableByName("tmp_3");
PVariable var__tmp_4 = body.getOrCreateVariableByName("tmp_4");
- PVariable var__146348466725087438 = body.newVirtualVariable();
PVariable var__tmp_5 = body.getOrCreateVariableByName("tmp_5");
PVariable var__tmp_6 = body.getOrCreateVariableByName("tmp_6");
- PVariable var__146348466725057323 = body.newConstantVariable(Integer.parseInt("0"));
PVariable var__tmp_7 = body.getOrCreateVariableByName("tmp_7");
- PVariable var__146348466725087422 = body.newVirtualVariable();
+ PVariable var__5822171105755753497 = body.newVirtualVariable();
PVariable var__tmp_8 = body.getOrCreateVariableByName("tmp_8");
PVariable var__tmp_9 = body.getOrCreateVariableByName("tmp_9");
- PVariable var__146348466725087399 = body.newVirtualVariable();
new TypeConstraint(body, Tuples.flatTupleOf(var_out_1), new ConceptKey(MetaAdapterFactory.getConcept(0xceab519525ea4f22L, 0x9b92103b95ca8c0cL, 0x10802efe25aL, "jetbrains.mps.lang.core.structure.BaseConcept")));
new PositivePatternCall(body, Tuples.flatTupleOf(), Typing_MatchFunFailure_0_switchCommonQuerySpecification.instance().getInternalQueryRepresentation());
@@ -127,7 +127,7 @@ public final class Typing_MatchFunFailureQuerySpecification extends MPSQuerySpec
@Override
public String getShortDescription() {
- return "146348466725087380";
+ return "5822171105755753497";
}
@Override
@@ -140,15 +140,15 @@ public final class Typing_MatchFunFailureQuerySpecification extends MPSQuerySpec
return LType.instance().isTypeVar(((LType.LTypeElement) valueProvider.getValue("ty")));
}
- }, var__146348466725087380, false);
- new Equality(body, var__tmp_3, var__146348466725087380);
- new Equality(body, var__tmp_4, var__146348466725057293);
+ }, var__5822171105755753497, false);
+ new Equality(body, var__tmp_3, var__5822171105755753497);
+ new Equality(body, var__tmp_4, var__5822171105755723543);
new Equality(body, var__tmp_3, var__tmp_4);
new ExpressionEvaluation(body, new IExpressionEvaluator() {
@Override
public String getShortDescription() {
- return "146348466725087399";
+ return "5822171105755753516";
}
@Override
@@ -161,8 +161,8 @@ public final class Typing_MatchFunFailureQuerySpecification extends MPSQuerySpec
return LType.instance().typeVarString(((LType.LTypeElement) valueProvider.getValue("ty")));
}
- }, var__146348466725087399, false);
- new Equality(body, var__tmp_5, var__146348466725087399);
+ }, var__5822171105755753516, false);
+ new Equality(body, var__tmp_5, var__5822171105755753516);
new Equality(body, var__typeVarName, var__tmp_5);
new PositivePatternCall(body, Tuples.flatTupleOf(var__app, var__typeVarName, var__tmp_6), Typing_LookupTypeVarQuerySpecification.instance().getInternalQueryRepresentation());
new Equality(body, var__rty, var__tmp_6);
@@ -170,7 +170,7 @@ public final class Typing_MatchFunFailureQuerySpecification extends MPSQuerySpec
@Override
public String getShortDescription() {
- return "146348466725087422";
+ return "5822171105755753539";
}
@Override
@@ -183,16 +183,16 @@ public final class Typing_MatchFunFailureQuerySpecification extends MPSQuerySpec
return LType.instance().isFun(((LType.LTypeElement) valueProvider.getValue("rty")));
}
- }, var__146348466725087422, false);
- new Equality(body, var__tmp_7, var__146348466725087422);
- new Equality(body, var__tmp_8, var__146348466725057315);
+ }, var__5822171105755753539, false);
+ new Equality(body, var__tmp_7, var__5822171105755753539);
+ new Equality(body, var__tmp_8, var__5822171105755723565);
new Equality(body, var__tmp_7, var__tmp_8);
- new Equality(body, var__tmp_9, var__146348466725057323);
+ new Equality(body, var__tmp_9, var__5822171105755723573);
new ExpressionEvaluation(body, new IExpressionEvaluator() {
@Override
public String getShortDescription() {
- return "146348466725087438";
+ return "5822171105755753555";
}
@Override
@@ -205,8 +205,8 @@ public final class Typing_MatchFunFailureQuerySpecification extends MPSQuerySpec
return String.format("\"not a function\"");
}
- }, var__146348466725087438, false);
- new Equality(body, var__tmp_10, var__146348466725087438);
+ }, var__5822171105755753555, false);
+ new Equality(body, var__tmp_10, var__5822171105755753555);
new Equality(body, var__tmp_9, var_out_0);
new Equality(body, var__app, var_out_1);
new Equality(body, var__tmp_10, var_out_2);
@@ -225,25 +225,25 @@ public final class Typing_MatchFunFailureQuerySpecification extends MPSQuerySpec
exportedParameters.add(new ExportedParameter(body, var_out_2, p_out_2));
body.setSymbolicParameters(exportedParameters);
- PVariable var__146348466725087491 = body.newVirtualVariable();
+ PVariable var__5822171105755753623 = body.newVirtualVariable();
+ PVariable var__5822171105755753589 = body.newVirtualVariable();
PVariable var__tmp_17 = body.getOrCreateVariableByName("tmp_17");
PVariable var__tmp_16 = body.getOrCreateVariableByName("tmp_16");
- PVariable var__146348466725057373 = body.newConstantVariable(Integer.parseInt("0"));
PVariable var__tmp_19 = body.getOrCreateVariableByName("tmp_19");
PVariable var__tmp_18 = body.getOrCreateVariableByName("tmp_18");
PVariable var__app = body.getOrCreateVariableByName("app");
PVariable var__tmp_13 = body.getOrCreateVariableByName("tmp_13");
PVariable var__tmp_12 = body.getOrCreateVariableByName("tmp_12");
+ PVariable var__5822171105755753608 = body.newVirtualVariable();
PVariable var__tmp_15 = body.getOrCreateVariableByName("tmp_15");
PVariable var__tmp_14 = body.getOrCreateVariableByName("tmp_14");
+ PVariable var__5822171105755753639 = body.newVirtualVariable();
PVariable var__ty2 = body.getOrCreateVariableByName("ty2");
PVariable var__tmp_11 = body.getOrCreateVariableByName("tmp_11");
- PVariable var__146348466725087506 = body.newVirtualVariable();
PVariable var__ty = body.getOrCreateVariableByName("ty");
- PVariable var__146348466725057353 = body.newConstantVariable(true);
- PVariable var__146348466725057365 = body.newConstantVariable(false);
- PVariable var__146348466725087522 = body.newVirtualVariable();
- PVariable var__146348466725087472 = body.newVirtualVariable();
+ PVariable var__5822171105755723615 = body.newConstantVariable(false);
+ PVariable var__5822171105755723623 = body.newConstantVariable(Integer.parseInt("0"));
+ PVariable var__5822171105755723603 = body.newConstantVariable(true);
new TypeConstraint(body, Tuples.flatTupleOf(var_out_1), new ConceptKey(MetaAdapterFactory.getConcept(0xceab519525ea4f22L, 0x9b92103b95ca8c0cL, 0x10802efe25aL, "jetbrains.mps.lang.core.structure.BaseConcept")));
new PositivePatternCall(body, Tuples.flatTupleOf(), Typing_MatchFunFailure_0_switchCommonQuerySpecification.instance().getInternalQueryRepresentation());
@@ -255,7 +255,7 @@ public final class Typing_MatchFunFailureQuerySpecification extends MPSQuerySpec
@Override
public String getShortDescription() {
- return "146348466725087472";
+ return "5822171105755753589";
}
@Override
@@ -268,15 +268,15 @@ public final class Typing_MatchFunFailureQuerySpecification extends MPSQuerySpec
return LType.instance().isTypeVar(((LType.LTypeElement) valueProvider.getValue("ty")));
}
- }, var__146348466725087472, false);
- new Equality(body, var__tmp_13, var__146348466725087472);
- new Equality(body, var__tmp_14, var__146348466725057353);
+ }, var__5822171105755753589, false);
+ new Equality(body, var__tmp_13, var__5822171105755753589);
+ new Equality(body, var__tmp_14, var__5822171105755723603);
new Inequality(body, var__tmp_13, var__tmp_14);
new ExpressionEvaluation(body, new IExpressionEvaluator() {
@Override
public String getShortDescription() {
- return "146348466725087491";
+ return "5822171105755753608";
}
@Override
@@ -289,14 +289,14 @@ public final class Typing_MatchFunFailureQuerySpecification extends MPSQuerySpec
return LType.instance().funResultType(((LType.LTypeElement) valueProvider.getValue("ty")));
}
- }, var__146348466725087491, false);
- new Equality(body, var__tmp_15, var__146348466725087491);
+ }, var__5822171105755753608, false);
+ new Equality(body, var__tmp_15, var__5822171105755753608);
new Equality(body, var__ty2, var__tmp_15);
new ExpressionEvaluation(body, new IExpressionEvaluator() {
@Override
public String getShortDescription() {
- return "146348466725087506";
+ return "5822171105755753623";
}
@Override
@@ -309,16 +309,16 @@ public final class Typing_MatchFunFailureQuerySpecification extends MPSQuerySpec
return LType.instance().isFun(((LType.LTypeElement) valueProvider.getValue("ty")));
}
- }, var__146348466725087506, false);
- new Equality(body, var__tmp_16, var__146348466725087506);
- new Equality(body, var__tmp_17, var__146348466725057365);
+ }, var__5822171105755753623, false);
+ new Equality(body, var__tmp_16, var__5822171105755753623);
+ new Equality(body, var__tmp_17, var__5822171105755723615);
new Equality(body, var__tmp_16, var__tmp_17);
- new Equality(body, var__tmp_18, var__146348466725057373);
+ new Equality(body, var__tmp_18, var__5822171105755723623);
new ExpressionEvaluation(body, new IExpressionEvaluator() {
@Override
public String getShortDescription() {
- return "146348466725087522";
+ return "5822171105755753639";
}
@Override
@@ -331,8 +331,8 @@ public final class Typing_MatchFunFailureQuerySpecification extends MPSQuerySpec
return String.format("\"not a function\"");
}
- }, var__146348466725087522, false);
- new Equality(body, var__tmp_19, var__146348466725087522);
+ }, var__5822171105755753639, false);
+ new Equality(body, var__tmp_19, var__5822171105755753639);
new Equality(body, var__tmp_18, var_out_0);
new Equality(body, var__app, var_out_1);
new Equality(body, var__tmp_19, var_out_2);
@@ -351,6 +351,9 @@ public final class Typing_MatchFunFailureQuerySpecification extends MPSQuerySpec
exportedParameters.add(new ExportedParameter(body, var_out_2, p_out_2));
body.setSymbolicParameters(exportedParameters);
+ PVariable var__5822171105755753668 = body.newVirtualVariable();
+ PVariable var__5822171105755753687 = body.newVirtualVariable();
+ PVariable var__5822171105755753710 = body.newVirtualVariable();
PVariable var__lam = body.getOrCreateVariableByName("lam");
PVariable var__typeVarName = body.getOrCreateVariableByName("typeVarName");
PVariable var__rty = body.getOrCreateVariableByName("rty");
@@ -359,18 +362,15 @@ public final class Typing_MatchFunFailureQuerySpecification extends MPSQuerySpec
PVariable var__tmp_24 = body.getOrCreateVariableByName("tmp_24");
PVariable var__tmp_23 = body.getOrCreateVariableByName("tmp_23");
PVariable var__tmp_26 = body.getOrCreateVariableByName("tmp_26");
+ PVariable var__5822171105755753726 = body.newVirtualVariable();
PVariable var__tmp_25 = body.getOrCreateVariableByName("tmp_25");
- PVariable var__146348466725087609 = body.newVirtualVariable();
PVariable var__tmp_20 = body.getOrCreateVariableByName("tmp_20");
PVariable var__tmp_22 = body.getOrCreateVariableByName("tmp_22");
PVariable var__tmp_21 = body.getOrCreateVariableByName("tmp_21");
PVariable var__ty = body.getOrCreateVariableByName("ty");
- PVariable var__146348466725057397 = body.newConstantVariable(true);
- PVariable var__146348466725057427 = body.newConstantVariable(Integer.parseInt("0"));
- PVariable var__146348466725087551 = body.newVirtualVariable();
- PVariable var__146348466725087570 = body.newVirtualVariable();
- PVariable var__146348466725087593 = body.newVirtualVariable();
- PVariable var__146348466725057419 = body.newConstantVariable(false);
+ PVariable var__5822171105755723677 = body.newConstantVariable(Integer.parseInt("0"));
+ PVariable var__5822171105755723647 = body.newConstantVariable(true);
+ PVariable var__5822171105755723669 = body.newConstantVariable(false);
new TypeConstraint(body, Tuples.flatTupleOf(var_out_1), new ConceptKey(MetaAdapterFactory.getConcept(0xceab519525ea4f22L, 0x9b92103b95ca8c0cL, 0x10802efe25aL, "jetbrains.mps.lang.core.structure.BaseConcept")));
new PositivePatternCall(body, Tuples.flatTupleOf(), Typing_MatchFunFailure_0_switchCommonQuerySpecification.instance().getInternalQueryRepresentation());
@@ -381,7 +381,7 @@ public final class Typing_MatchFunFailureQuerySpecification extends MPSQuerySpec
@Override
public String getShortDescription() {
- return "146348466725087551";
+ return "5822171105755753668";
}
@Override
@@ -394,15 +394,15 @@ public final class Typing_MatchFunFailureQuerySpecification extends MPSQuerySpec
return LType.instance().isTypeVar(((LType.LTypeElement) valueProvider.getValue("ty")));
}
- }, var__146348466725087551, false);
- new Equality(body, var__tmp_21, var__146348466725087551);
- new Equality(body, var__tmp_22, var__146348466725057397);
+ }, var__5822171105755753668, false);
+ new Equality(body, var__tmp_21, var__5822171105755753668);
+ new Equality(body, var__tmp_22, var__5822171105755723647);
new Equality(body, var__tmp_21, var__tmp_22);
new ExpressionEvaluation(body, new IExpressionEvaluator() {
@Override
public String getShortDescription() {
- return "146348466725087570";
+ return "5822171105755753687";
}
@Override
@@ -415,8 +415,8 @@ public final class Typing_MatchFunFailureQuerySpecification extends MPSQuerySpec
return LType.instance().typeVarString(((LType.LTypeElement) valueProvider.getValue("ty")));
}
- }, var__146348466725087570, false);
- new Equality(body, var__tmp_23, var__146348466725087570);
+ }, var__5822171105755753687, false);
+ new Equality(body, var__tmp_23, var__5822171105755753687);
new Equality(body, var__typeVarName, var__tmp_23);
new PositivePatternCall(body, Tuples.flatTupleOf(var__lam, var__typeVarName, var__tmp_24), Typing_LookupTypeVarQuerySpecification.instance().getInternalQueryRepresentation());
new Equality(body, var__rty, var__tmp_24);
@@ -424,7 +424,7 @@ public final class Typing_MatchFunFailureQuerySpecification extends MPSQuerySpec
@Override
public String getShortDescription() {
- return "146348466725087593";
+ return "5822171105755753710";
}
@Override
@@ -437,16 +437,16 @@ public final class Typing_MatchFunFailureQuerySpecification extends MPSQuerySpec
return LType.instance().isFun(((LType.LTypeElement) valueProvider.getValue("rty")));
}
- }, var__146348466725087593, false);
- new Equality(body, var__tmp_25, var__146348466725087593);
- new Equality(body, var__tmp_26, var__146348466725057419);
+ }, var__5822171105755753710, false);
+ new Equality(body, var__tmp_25, var__5822171105755753710);
+ new Equality(body, var__tmp_26, var__5822171105755723669);
new Equality(body, var__tmp_25, var__tmp_26);
- new Equality(body, var__tmp_27, var__146348466725057427);
+ new Equality(body, var__tmp_27, var__5822171105755723677);
new ExpressionEvaluation(body, new IExpressionEvaluator() {
@Override
public String getShortDescription() {
- return "146348466725087609";
+ return "5822171105755753726";
}
@Override
@@ -459,8 +459,8 @@ public final class Typing_MatchFunFailureQuerySpecification extends MPSQuerySpec
return String.format("\"not a function\"");
}
- }, var__146348466725087609, false);
- new Equality(body, var__tmp_28, var__146348466725087609);
+ }, var__5822171105755753726, false);
+ new Equality(body, var__tmp_28, var__5822171105755753726);
new Equality(body, var__tmp_27, var_out_0);
new Equality(body, var__lam, var_out_1);
new Equality(body, var__tmp_28, var_out_2);
@@ -479,21 +479,21 @@ public final class Typing_MatchFunFailureQuerySpecification extends MPSQuerySpec
exportedParameters.add(new ExportedParameter(body, var_out_2, p_out_2));
body.setSymbolicParameters(exportedParameters);
+ PVariable var__5822171105755753755 = body.newVirtualVariable();
+ PVariable var__5822171105755753789 = body.newVirtualVariable();
PVariable var__lam = body.getOrCreateVariableByName("lam");
- PVariable var__146348466725057460 = body.newConstantVariable(false);
+ PVariable var__5822171105755753773 = body.newVirtualVariable();
PVariable var__tmp_29 = body.getOrCreateVariableByName("tmp_29");
PVariable var__tmp_35 = body.getOrCreateVariableByName("tmp_35");
PVariable var__tmp_34 = body.getOrCreateVariableByName("tmp_34");
PVariable var__tmp_31 = body.getOrCreateVariableByName("tmp_31");
PVariable var__tmp_30 = body.getOrCreateVariableByName("tmp_30");
- PVariable var__146348466725057468 = body.newConstantVariable(Integer.parseInt("0"));
PVariable var__tmp_33 = body.getOrCreateVariableByName("tmp_33");
- PVariable var__146348466725087638 = body.newVirtualVariable();
PVariable var__tmp_32 = body.getOrCreateVariableByName("tmp_32");
PVariable var__ty = body.getOrCreateVariableByName("ty");
- PVariable var__146348466725057454 = body.newConstantVariable(true);
- PVariable var__146348466725087656 = body.newVirtualVariable();
- PVariable var__146348466725087672 = body.newVirtualVariable();
+ PVariable var__5822171105755723718 = body.newConstantVariable(Integer.parseInt("0"));
+ PVariable var__5822171105755723704 = body.newConstantVariable(true);
+ PVariable var__5822171105755723710 = body.newConstantVariable(false);
new TypeConstraint(body, Tuples.flatTupleOf(var_out_1), new ConceptKey(MetaAdapterFactory.getConcept(0xceab519525ea4f22L, 0x9b92103b95ca8c0cL, 0x10802efe25aL, "jetbrains.mps.lang.core.structure.BaseConcept")));
new PositivePatternCall(body, Tuples.flatTupleOf(), Typing_MatchFunFailure_0_switchCommonQuerySpecification.instance().getInternalQueryRepresentation());
@@ -504,7 +504,7 @@ public final class Typing_MatchFunFailureQuerySpecification extends MPSQuerySpec
@Override
public String getShortDescription() {
- return "146348466725087638";
+ return "5822171105755753755";
}
@Override
@@ -517,15 +517,15 @@ public final class Typing_MatchFunFailureQuerySpecification extends MPSQuerySpec
return LType.instance().isTypeVar(((LType.LTypeElement) valueProvider.getValue("ty")));
}
- }, var__146348466725087638, false);
- new Equality(body, var__tmp_30, var__146348466725087638);
- new Equality(body, var__tmp_31, var__146348466725057454);
+ }, var__5822171105755753755, false);
+ new Equality(body, var__tmp_30, var__5822171105755753755);
+ new Equality(body, var__tmp_31, var__5822171105755723704);
new Inequality(body, var__tmp_30, var__tmp_31);
new ExpressionEvaluation(body, new IExpressionEvaluator() {
@Override
public String getShortDescription() {
- return "146348466725087656";
+ return "5822171105755753773";
}
@Override
@@ -538,16 +538,16 @@ public final class Typing_MatchFunFailureQuerySpecification extends MPSQuerySpec
return LType.instance().isFun(((LType.LTypeElement) valueProvider.getValue("ty")));
}
- }, var__146348466725087656, false);
- new Equality(body, var__tmp_32, var__146348466725087656);
- new Equality(body, var__tmp_33, var__146348466725057460);
+ }, var__5822171105755753773, false);
+ new Equality(body, var__tmp_32, var__5822171105755753773);
+ new Equality(body, var__tmp_33, var__5822171105755723710);
new Equality(body, var__tmp_32, var__tmp_33);
- new Equality(body, var__tmp_34, var__146348466725057468);
+ new Equality(body, var__tmp_34, var__5822171105755723718);
new ExpressionEvaluation(body, new IExpressionEvaluator() {
@Override
public String getShortDescription() {
- return "146348466725087672";
+ return "5822171105755753789";
}
@Override
@@ -560,8 +560,8 @@ public final class Typing_MatchFunFailureQuerySpecification extends MPSQuerySpec
return String.format("\"not a function\"");
}
- }, var__146348466725087672, false);
- new Equality(body, var__tmp_35, var__146348466725087672);
+ }, var__5822171105755753789, false);
+ new Equality(body, var__tmp_35, var__5822171105755753789);
new Equality(body, var__tmp_34, var_out_0);
new Equality(body, var__lam, var_out_1);
new Equality(body, var__tmp_35, var_out_2);
diff --git a/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/model/Typing_MatchVariantFailureQuerySpecification.java b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/model/Typing_MatchVariantFailureQuerySpecification.java
index 5856e269dd2f00c41249b9c63050ddfbe95200ba..16674430eb85218ea7e33dd496c2a8a317e6a3ea 100644
--- a/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/model/Typing_MatchVariantFailureQuerySpecification.java
+++ b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/model/Typing_MatchVariantFailureQuerySpecification.java
@@ -95,26 +95,26 @@ public final class Typing_MatchVariantFailureQuerySpecification extends MPSQuery
exportedParameters.add(new ExportedParameter(body, var_out_2, p_out_2));
body.setSymbolicParameters(exportedParameters);
+ PVariable var__5822171105755723741 = body.newConstantVariable(true);
+ PVariable var__5822171105755723763 = body.newConstantVariable(false);
+ PVariable var__5822171105755753876 = body.newVirtualVariable();
PVariable var__tag = body.getOrCreateVariableByName("tag");
PVariable var__typeVarName = body.getOrCreateVariableByName("typeVarName");
PVariable var__rty = body.getOrCreateVariableByName("rty");
+ PVariable var__5822171105755723771 = body.newConstantVariable(Integer.parseInt("0"));
PVariable var__tmp_39 = body.getOrCreateVariableByName("tmp_39");
PVariable var__tmp_38 = body.getOrCreateVariableByName("tmp_38");
+ PVariable var__5822171105755753818 = body.newVirtualVariable();
PVariable var__tmp_37 = body.getOrCreateVariableByName("tmp_37");
PVariable var__tmp_36 = body.getOrCreateVariableByName("tmp_36");
- PVariable var__146348466725057491 = body.newConstantVariable(true);
+ PVariable var__5822171105755753837 = body.newVirtualVariable();
PVariable var__tmp_42 = body.getOrCreateVariableByName("tmp_42");
PVariable var__tmp_41 = body.getOrCreateVariableByName("tmp_41");
- PVariable var__146348466725057513 = body.newConstantVariable(false);
PVariable var__tmp_44 = body.getOrCreateVariableByName("tmp_44");
PVariable var__tmp_43 = body.getOrCreateVariableByName("tmp_43");
- PVariable var__146348466725087759 = body.newVirtualVariable();
PVariable var__ty = body.getOrCreateVariableByName("ty");
- PVariable var__146348466725087701 = body.newVirtualVariable();
PVariable var__tmp_40 = body.getOrCreateVariableByName("tmp_40");
- PVariable var__146348466725087743 = body.newVirtualVariable();
- PVariable var__146348466725057521 = body.newConstantVariable(Integer.parseInt("0"));
- PVariable var__146348466725087720 = body.newVirtualVariable();
+ PVariable var__5822171105755753860 = body.newVirtualVariable();
new TypeConstraint(body, Tuples.flatTupleOf(var_out_1), new ConceptKey(MetaAdapterFactory.getConcept(0xceab519525ea4f22L, 0x9b92103b95ca8c0cL, 0x10802efe25aL, "jetbrains.mps.lang.core.structure.BaseConcept")));
new PositivePatternCall(body, Tuples.flatTupleOf(), Typing_MatchVariantFailure_0_switchCommonQuerySpecification.instance().getInternalQueryRepresentation());
@@ -125,7 +125,7 @@ public final class Typing_MatchVariantFailureQuerySpecification extends MPSQuery
@Override
public String getShortDescription() {
- return "146348466725087701";
+ return "5822171105755753818";
}
@Override
@@ -138,15 +138,15 @@ public final class Typing_MatchVariantFailureQuerySpecification extends MPSQuery
return LType.instance().isTypeVar(((LType.LTypeElement) valueProvider.getValue("ty")));
}
- }, var__146348466725087701, false);
- new Equality(body, var__tmp_37, var__146348466725087701);
- new Equality(body, var__tmp_38, var__146348466725057491);
+ }, var__5822171105755753818, false);
+ new Equality(body, var__tmp_37, var__5822171105755753818);
+ new Equality(body, var__tmp_38, var__5822171105755723741);
new Equality(body, var__tmp_37, var__tmp_38);
new ExpressionEvaluation(body, new IExpressionEvaluator() {
@Override
public String getShortDescription() {
- return "146348466725087720";
+ return "5822171105755753837";
}
@Override
@@ -159,8 +159,8 @@ public final class Typing_MatchVariantFailureQuerySpecification extends MPSQuery
return LType.instance().typeVarString(((LType.LTypeElement) valueProvider.getValue("ty")));
}
- }, var__146348466725087720, false);
- new Equality(body, var__tmp_39, var__146348466725087720);
+ }, var__5822171105755753837, false);
+ new Equality(body, var__tmp_39, var__5822171105755753837);
new Equality(body, var__typeVarName, var__tmp_39);
new PositivePatternCall(body, Tuples.flatTupleOf(var__tag, var__typeVarName, var__tmp_40), Typing_LookupTypeVarQuerySpecification.instance().getInternalQueryRepresentation());
new Equality(body, var__rty, var__tmp_40);
@@ -168,7 +168,7 @@ public final class Typing_MatchVariantFailureQuerySpecification extends MPSQuery
@Override
public String getShortDescription() {
- return "146348466725087743";
+ return "5822171105755753860";
}
@Override
@@ -181,16 +181,16 @@ public final class Typing_MatchVariantFailureQuerySpecification extends MPSQuery
return LType.instance().isVariant(((LType.LTypeElement) valueProvider.getValue("rty")));
}
- }, var__146348466725087743, false);
- new Equality(body, var__tmp_41, var__146348466725087743);
- new Equality(body, var__tmp_42, var__146348466725057513);
+ }, var__5822171105755753860, false);
+ new Equality(body, var__tmp_41, var__5822171105755753860);
+ new Equality(body, var__tmp_42, var__5822171105755723763);
new Equality(body, var__tmp_41, var__tmp_42);
- new Equality(body, var__tmp_43, var__146348466725057521);
+ new Equality(body, var__tmp_43, var__5822171105755723771);
new ExpressionEvaluation(body, new IExpressionEvaluator() {
@Override
public String getShortDescription() {
- return "146348466725087759";
+ return "5822171105755753876";
}
@Override
@@ -203,8 +203,8 @@ public final class Typing_MatchVariantFailureQuerySpecification extends MPSQuery
return String.format("\"not a variant\"");
}
- }, var__146348466725087759, false);
- new Equality(body, var__tmp_44, var__146348466725087759);
+ }, var__5822171105755753876, false);
+ new Equality(body, var__tmp_44, var__5822171105755753876);
new Equality(body, var__tmp_43, var_out_0);
new Equality(body, var__tag, var_out_1);
new Equality(body, var__tmp_44, var_out_2);
@@ -223,21 +223,21 @@ public final class Typing_MatchVariantFailureQuerySpecification extends MPSQuery
exportedParameters.add(new ExportedParameter(body, var_out_2, p_out_2));
body.setSymbolicParameters(exportedParameters);
+ PVariable var__5822171105755753923 = body.newVirtualVariable();
PVariable var__tag = body.getOrCreateVariableByName("tag");
PVariable var__tmp_49 = body.getOrCreateVariableByName("tmp_49");
+ PVariable var__5822171105755753939 = body.newVirtualVariable();
PVariable var__tmp_46 = body.getOrCreateVariableByName("tmp_46");
PVariable var__tmp_45 = body.getOrCreateVariableByName("tmp_45");
+ PVariable var__5822171105755753905 = body.newVirtualVariable();
PVariable var__tmp_48 = body.getOrCreateVariableByName("tmp_48");
- PVariable var__146348466725087806 = body.newVirtualVariable();
PVariable var__tmp_47 = body.getOrCreateVariableByName("tmp_47");
PVariable var__ty = body.getOrCreateVariableByName("ty");
- PVariable var__146348466725057562 = body.newConstantVariable(Integer.parseInt("0"));
- PVariable var__146348466725087822 = body.newVirtualVariable();
PVariable var__tmp_51 = body.getOrCreateVariableByName("tmp_51");
- PVariable var__146348466725087788 = body.newVirtualVariable();
- PVariable var__146348466725057554 = body.newConstantVariable(false);
PVariable var__tmp_50 = body.getOrCreateVariableByName("tmp_50");
- PVariable var__146348466725057548 = body.newConstantVariable(true);
+ PVariable var__5822171105755723804 = body.newConstantVariable(false);
+ PVariable var__5822171105755723798 = body.newConstantVariable(true);
+ PVariable var__5822171105755723812 = body.newConstantVariable(Integer.parseInt("0"));
new TypeConstraint(body, Tuples.flatTupleOf(var_out_1), new ConceptKey(MetaAdapterFactory.getConcept(0xceab519525ea4f22L, 0x9b92103b95ca8c0cL, 0x10802efe25aL, "jetbrains.mps.lang.core.structure.BaseConcept")));
new PositivePatternCall(body, Tuples.flatTupleOf(), Typing_MatchVariantFailure_0_switchCommonQuerySpecification.instance().getInternalQueryRepresentation());
@@ -248,7 +248,7 @@ public final class Typing_MatchVariantFailureQuerySpecification extends MPSQuery
@Override
public String getShortDescription() {
- return "146348466725087788";
+ return "5822171105755753905";
}
@Override
@@ -261,15 +261,15 @@ public final class Typing_MatchVariantFailureQuerySpecification extends MPSQuery
return LType.instance().isTypeVar(((LType.LTypeElement) valueProvider.getValue("ty")));
}
- }, var__146348466725087788, false);
- new Equality(body, var__tmp_46, var__146348466725087788);
- new Equality(body, var__tmp_47, var__146348466725057548);
+ }, var__5822171105755753905, false);
+ new Equality(body, var__tmp_46, var__5822171105755753905);
+ new Equality(body, var__tmp_47, var__5822171105755723798);
new Inequality(body, var__tmp_46, var__tmp_47);
new ExpressionEvaluation(body, new IExpressionEvaluator() {
@Override
public String getShortDescription() {
- return "146348466725087806";
+ return "5822171105755753923";
}
@Override
@@ -282,16 +282,16 @@ public final class Typing_MatchVariantFailureQuerySpecification extends MPSQuery
return LType.instance().isVariant(((LType.LTypeElement) valueProvider.getValue("ty")));
}
- }, var__146348466725087806, false);
- new Equality(body, var__tmp_48, var__146348466725087806);
- new Equality(body, var__tmp_49, var__146348466725057554);
+ }, var__5822171105755753923, false);
+ new Equality(body, var__tmp_48, var__5822171105755753923);
+ new Equality(body, var__tmp_49, var__5822171105755723804);
new Equality(body, var__tmp_48, var__tmp_49);
- new Equality(body, var__tmp_50, var__146348466725057562);
+ new Equality(body, var__tmp_50, var__5822171105755723812);
new ExpressionEvaluation(body, new IExpressionEvaluator() {
@Override
public String getShortDescription() {
- return "146348466725087822";
+ return "5822171105755753939";
}
@Override
@@ -304,8 +304,8 @@ public final class Typing_MatchVariantFailureQuerySpecification extends MPSQuery
return String.format("\"not a variant\"");
}
- }, var__146348466725087822, false);
- new Equality(body, var__tmp_51, var__146348466725087822);
+ }, var__5822171105755753939, false);
+ new Equality(body, var__tmp_51, var__5822171105755753939);
new Equality(body, var__tmp_50, var_out_0);
new Equality(body, var__tag, var_out_1);
new Equality(body, var__tmp_51, var_out_2);
@@ -324,27 +324,27 @@ public final class Typing_MatchVariantFailureQuerySpecification extends MPSQuery
exportedParameters.add(new ExportedParameter(body, var_out_2, p_out_2));
body.setSymbolicParameters(exportedParameters);
+ PVariable var__5822171105755753973 = body.newVirtualVariable();
PVariable var__typeVarName = body.getOrCreateVariableByName("typeVarName");
+ PVariable var__5822171105755754015 = body.newVirtualVariable();
PVariable var__rty = body.getOrCreateVariableByName("rty");
PVariable var__tmp_57 = body.getOrCreateVariableByName("tmp_57");
PVariable var__tmp_56 = body.getOrCreateVariableByName("tmp_56");
PVariable var__tmp_59 = body.getOrCreateVariableByName("tmp_59");
PVariable var__tmp_58 = body.getOrCreateVariableByName("tmp_58");
PVariable var__tmp_53 = body.getOrCreateVariableByName("tmp_53");
- PVariable var__146348466725087914 = body.newVirtualVariable();
PVariable var__tmp_52 = body.getOrCreateVariableByName("tmp_52");
PVariable var__tmp_55 = body.getOrCreateVariableByName("tmp_55");
PVariable var__tmp_54 = body.getOrCreateVariableByName("tmp_54");
PVariable var__ty = body.getOrCreateVariableByName("ty");
PVariable var__tmp_60 = body.getOrCreateVariableByName("tmp_60");
- PVariable var__146348466725087856 = body.newVirtualVariable();
PVariable var__match = body.getOrCreateVariableByName("match");
- PVariable var__146348466725087875 = body.newVirtualVariable();
- PVariable var__146348466725057587 = body.newConstantVariable(true);
- PVariable var__146348466725087898 = body.newVirtualVariable();
PVariable var__tmp_61 = body.getOrCreateVariableByName("tmp_61");
- PVariable var__146348466725057609 = body.newConstantVariable(false);
- PVariable var__146348466725057617 = body.newConstantVariable(Integer.parseInt("0"));
+ PVariable var__5822171105755753992 = body.newVirtualVariable();
+ PVariable var__5822171105755723837 = body.newConstantVariable(true);
+ PVariable var__5822171105755723859 = body.newConstantVariable(false);
+ PVariable var__5822171105755754031 = body.newVirtualVariable();
+ PVariable var__5822171105755723867 = body.newConstantVariable(Integer.parseInt("0"));
new TypeConstraint(body, Tuples.flatTupleOf(var_out_1), new ConceptKey(MetaAdapterFactory.getConcept(0xceab519525ea4f22L, 0x9b92103b95ca8c0cL, 0x10802efe25aL, "jetbrains.mps.lang.core.structure.BaseConcept")));
new PositivePatternCall(body, Tuples.flatTupleOf(), Typing_MatchVariantFailure_0_switchCommonQuerySpecification.instance().getInternalQueryRepresentation());
@@ -356,7 +356,7 @@ public final class Typing_MatchVariantFailureQuerySpecification extends MPSQuery
@Override
public String getShortDescription() {
- return "146348466725087856";
+ return "5822171105755753973";
}
@Override
@@ -369,15 +369,15 @@ public final class Typing_MatchVariantFailureQuerySpecification extends MPSQuery
return LType.instance().isTypeVar(((LType.LTypeElement) valueProvider.getValue("ty")));
}
- }, var__146348466725087856, false);
- new Equality(body, var__tmp_54, var__146348466725087856);
- new Equality(body, var__tmp_55, var__146348466725057587);
+ }, var__5822171105755753973, false);
+ new Equality(body, var__tmp_54, var__5822171105755753973);
+ new Equality(body, var__tmp_55, var__5822171105755723837);
new Equality(body, var__tmp_54, var__tmp_55);
new ExpressionEvaluation(body, new IExpressionEvaluator() {
@Override
public String getShortDescription() {
- return "146348466725087875";
+ return "5822171105755753992";
}
@Override
@@ -390,8 +390,8 @@ public final class Typing_MatchVariantFailureQuerySpecification extends MPSQuery
return LType.instance().typeVarString(((LType.LTypeElement) valueProvider.getValue("ty")));
}
- }, var__146348466725087875, false);
- new Equality(body, var__tmp_56, var__146348466725087875);
+ }, var__5822171105755753992, false);
+ new Equality(body, var__tmp_56, var__5822171105755753992);
new Equality(body, var__typeVarName, var__tmp_56);
new PositivePatternCall(body, Tuples.flatTupleOf(var__match, var__typeVarName, var__tmp_57), Typing_LookupTypeVarQuerySpecification.instance().getInternalQueryRepresentation());
new Equality(body, var__rty, var__tmp_57);
@@ -399,7 +399,7 @@ public final class Typing_MatchVariantFailureQuerySpecification extends MPSQuery
@Override
public String getShortDescription() {
- return "146348466725087898";
+ return "5822171105755754015";
}
@Override
@@ -412,16 +412,16 @@ public final class Typing_MatchVariantFailureQuerySpecification extends MPSQuery
return LType.instance().isVariant(((LType.LTypeElement) valueProvider.getValue("rty")));
}
- }, var__146348466725087898, false);
- new Equality(body, var__tmp_58, var__146348466725087898);
- new Equality(body, var__tmp_59, var__146348466725057609);
+ }, var__5822171105755754015, false);
+ new Equality(body, var__tmp_58, var__5822171105755754015);
+ new Equality(body, var__tmp_59, var__5822171105755723859);
new Equality(body, var__tmp_58, var__tmp_59);
- new Equality(body, var__tmp_60, var__146348466725057617);
+ new Equality(body, var__tmp_60, var__5822171105755723867);
new ExpressionEvaluation(body, new IExpressionEvaluator() {
@Override
public String getShortDescription() {
- return "146348466725087914";
+ return "5822171105755754031";
}
@Override
@@ -434,8 +434,8 @@ public final class Typing_MatchVariantFailureQuerySpecification extends MPSQuery
return String.format("\"not a variant\"");
}
- }, var__146348466725087914, false);
- new Equality(body, var__tmp_61, var__146348466725087914);
+ }, var__5822171105755754031, false);
+ new Equality(body, var__tmp_61, var__5822171105755754031);
new Equality(body, var__tmp_60, var_out_0);
new Equality(body, var__match, var_out_1);
new Equality(body, var__tmp_61, var_out_2);
@@ -454,22 +454,22 @@ public final class Typing_MatchVariantFailureQuerySpecification extends MPSQuery
exportedParameters.add(new ExportedParameter(body, var_out_2, p_out_2));
body.setSymbolicParameters(exportedParameters);
- PVariable var__146348466725057660 = body.newConstantVariable(Integer.parseInt("0"));
+ PVariable var__5822171105755723896 = body.newConstantVariable(true);
PVariable var__tmp_68 = body.getOrCreateVariableByName("tmp_68");
PVariable var__tmp_67 = body.getOrCreateVariableByName("tmp_67");
PVariable var__tmp_69 = body.getOrCreateVariableByName("tmp_69");
PVariable var__tmp_64 = body.getOrCreateVariableByName("tmp_64");
PVariable var__tmp_63 = body.getOrCreateVariableByName("tmp_63");
- PVariable var__146348466725087948 = body.newVirtualVariable();
+ PVariable var__5822171105755754083 = body.newVirtualVariable();
PVariable var__tmp_66 = body.getOrCreateVariableByName("tmp_66");
PVariable var__tmp_65 = body.getOrCreateVariableByName("tmp_65");
- PVariable var__146348466725057646 = body.newConstantVariable(true);
PVariable var__ty = body.getOrCreateVariableByName("ty");
- PVariable var__146348466725087966 = body.newVirtualVariable();
PVariable var__match = body.getOrCreateVariableByName("match");
PVariable var__tmp_62 = body.getOrCreateVariableByName("tmp_62");
- PVariable var__146348466725057652 = body.newConstantVariable(false);
- PVariable var__146348466725087982 = body.newVirtualVariable();
+ PVariable var__5822171105755723902 = body.newConstantVariable(false);
+ PVariable var__5822171105755754099 = body.newVirtualVariable();
+ PVariable var__5822171105755754065 = body.newVirtualVariable();
+ PVariable var__5822171105755723910 = body.newConstantVariable(Integer.parseInt("0"));
new TypeConstraint(body, Tuples.flatTupleOf(var_out_1), new ConceptKey(MetaAdapterFactory.getConcept(0xceab519525ea4f22L, 0x9b92103b95ca8c0cL, 0x10802efe25aL, "jetbrains.mps.lang.core.structure.BaseConcept")));
new PositivePatternCall(body, Tuples.flatTupleOf(), Typing_MatchVariantFailure_0_switchCommonQuerySpecification.instance().getInternalQueryRepresentation());
@@ -481,7 +481,7 @@ public final class Typing_MatchVariantFailureQuerySpecification extends MPSQuery
@Override
public String getShortDescription() {
- return "146348466725087948";
+ return "5822171105755754065";
}
@Override
@@ -494,15 +494,15 @@ public final class Typing_MatchVariantFailureQuerySpecification extends MPSQuery
return LType.instance().isTypeVar(((LType.LTypeElement) valueProvider.getValue("ty")));
}
- }, var__146348466725087948, false);
- new Equality(body, var__tmp_64, var__146348466725087948);
- new Equality(body, var__tmp_65, var__146348466725057646);
+ }, var__5822171105755754065, false);
+ new Equality(body, var__tmp_64, var__5822171105755754065);
+ new Equality(body, var__tmp_65, var__5822171105755723896);
new Inequality(body, var__tmp_64, var__tmp_65);
new ExpressionEvaluation(body, new IExpressionEvaluator() {
@Override
public String getShortDescription() {
- return "146348466725087966";
+ return "5822171105755754083";
}
@Override
@@ -515,16 +515,16 @@ public final class Typing_MatchVariantFailureQuerySpecification extends MPSQuery
return LType.instance().isVariant(((LType.LTypeElement) valueProvider.getValue("ty")));
}
- }, var__146348466725087966, false);
- new Equality(body, var__tmp_66, var__146348466725087966);
- new Equality(body, var__tmp_67, var__146348466725057652);
+ }, var__5822171105755754083, false);
+ new Equality(body, var__tmp_66, var__5822171105755754083);
+ new Equality(body, var__tmp_67, var__5822171105755723902);
new Equality(body, var__tmp_66, var__tmp_67);
- new Equality(body, var__tmp_68, var__146348466725057660);
+ new Equality(body, var__tmp_68, var__5822171105755723910);
new ExpressionEvaluation(body, new IExpressionEvaluator() {
@Override
public String getShortDescription() {
- return "146348466725087982";
+ return "5822171105755754099";
}
@Override
@@ -537,8 +537,8 @@ public final class Typing_MatchVariantFailureQuerySpecification extends MPSQuery
return String.format("\"not a variant\"");
}
- }, var__146348466725087982, false);
- new Equality(body, var__tmp_69, var__146348466725087982);
+ }, var__5822171105755754099, false);
+ new Equality(body, var__tmp_69, var__5822171105755754099);
new Equality(body, var__tmp_68, var_out_0);
new Equality(body, var__match, var_out_1);
new Equality(body, var__tmp_69, var_out_2);
diff --git a/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/model/Typing_RequiredQuerySpecification.java b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/model/Typing_RequiredQuerySpecification.java
index 49deaa535b88da5603d01e7c0231bc2cdfbdbf12..7936e070182a18a98226c7da0b1ffba7e44ac5af 100644
--- a/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/model/Typing_RequiredQuerySpecification.java
+++ b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/model/Typing_RequiredQuerySpecification.java
@@ -123,9 +123,9 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
body.setSymbolicParameters(exportedParameters);
PVariable var__match_a0a1a0w = body.getOrCreateVariableByName("match_a0a1a0w");
+ PVariable var__5822171105755757344 = body.newVirtualVariable();
PVariable var__t = body.getOrCreateVariableByName("t");
PVariable var__match_a0a0b0a22 = body.getOrCreateVariableByName("match_a0a0b0a22");
- PVariable var__146348466725091227 = body.newVirtualVariable();
PVariable var__tmp_330 = body.getOrCreateVariableByName("tmp_330");
PVariable var__tmp_331 = body.getOrCreateVariableByName("tmp_331");
PVariable var__tmp_332 = body.getOrCreateVariableByName("tmp_332");
@@ -143,7 +143,7 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
@Override
public String getShortDescription() {
- return "146348466725091227";
+ return "5822171105755757344";
}
@Override
@@ -156,8 +156,8 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
return LType.Nat.create();
}
- }, var__146348466725091227, false);
- new Equality(body, var__tmp_332, var__146348466725091227);
+ }, var__5822171105755757344, false);
+ new Equality(body, var__tmp_332, var__5822171105755757344);
new Equality(body, var__tmp_332, var_out_1);
SetSequence.fromSet(bodies).addElement(body);
@@ -172,7 +172,7 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
exportedParameters.add(new ExportedParameter(body, var_out_1, p_out_1));
body.setSymbolicParameters(exportedParameters);
- PVariable var__146348466725091278 = body.newVirtualVariable();
+ PVariable var__5822171105755757395 = body.newVirtualVariable();
PVariable var__match_a1a1a0w = body.getOrCreateVariableByName("match_a1a1a0w");
PVariable var__tmp_333 = body.getOrCreateVariableByName("tmp_333");
PVariable var__tmp_334 = body.getOrCreateVariableByName("tmp_334");
@@ -199,7 +199,7 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
@Override
public String getShortDescription() {
- return "146348466725091278";
+ return "5822171105755757395";
}
@Override
@@ -212,8 +212,8 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
return LType.Nat.create();
}
- }, var__146348466725091278, false);
- new Equality(body, var__tmp_336, var__146348466725091278);
+ }, var__5822171105755757395, false);
+ new Equality(body, var__tmp_336, var__5822171105755757395);
new Equality(body, var__tmp_336, var_out_1);
SetSequence.fromSet(bodies).addElement(body);
@@ -232,7 +232,7 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
PVariable var__tmp_338 = body.getOrCreateVariableByName("tmp_338");
PVariable var__tmp_339 = body.getOrCreateVariableByName("tmp_339");
PVariable var__match_a1a1a0w = body.getOrCreateVariableByName("match_a1a1a0w");
- PVariable var__146348466725091329 = body.newVirtualVariable();
+ PVariable var__5822171105755757446 = body.newVirtualVariable();
PVariable var__match_b0b0b0a22 = body.getOrCreateVariableByName("match_b0b0b0a22");
PVariable var__t1 = body.getOrCreateVariableByName("t1");
PVariable var__tmp_340 = body.getOrCreateVariableByName("tmp_340");
@@ -255,7 +255,7 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
@Override
public String getShortDescription() {
- return "146348466725091329";
+ return "5822171105755757446";
}
@Override
@@ -268,8 +268,8 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
return LType.Nat.create();
}
- }, var__146348466725091329, false);
- new Equality(body, var__tmp_340, var__146348466725091329);
+ }, var__5822171105755757446, false);
+ new Equality(body, var__tmp_340, var__5822171105755757446);
new Equality(body, var__tmp_340, var_out_1);
SetSequence.fromSet(bodies).addElement(body);
@@ -285,6 +285,7 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
body.setSymbolicParameters(exportedParameters);
PVariable var__match_a2a1a0w = body.getOrCreateVariableByName("match_a2a1a0w");
+ PVariable var__5822171105755757497 = body.newVirtualVariable();
PVariable var__match_b0c0b0a22 = body.getOrCreateVariableByName("match_b0c0b0a22");
PVariable var__match_a0c0b0a22 = body.getOrCreateVariableByName("match_a0c0b0a22");
PVariable var__tmp_344 = body.getOrCreateVariableByName("tmp_344");
@@ -292,7 +293,6 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
PVariable var__tmp_341 = body.getOrCreateVariableByName("tmp_341");
PVariable var__t2 = body.getOrCreateVariableByName("t2");
PVariable var__tmp_342 = body.getOrCreateVariableByName("tmp_342");
- PVariable var__146348466725091380 = body.newVirtualVariable();
PVariable var__tmp_343 = body.getOrCreateVariableByName("tmp_343");
new TypeConstraint(body, Tuples.flatTupleOf(var_term), new ConceptKey(MetaAdapterFactory.getInterfaceConcept(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x1a4a252762eb92d1L, "FORecursiveTypes.structure.Term")));
@@ -311,7 +311,7 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
@Override
public String getShortDescription() {
- return "146348466725091380";
+ return "5822171105755757497";
}
@Override
@@ -324,8 +324,8 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
return LType.Nat.create();
}
- }, var__146348466725091380, false);
- new Equality(body, var__tmp_344, var__146348466725091380);
+ }, var__5822171105755757497, false);
+ new Equality(body, var__tmp_344, var__5822171105755757497);
new Equality(body, var__tmp_344, var_out_1);
SetSequence.fromSet(bodies).addElement(body);
@@ -340,13 +340,13 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
exportedParameters.add(new ExportedParameter(body, var_out_1, p_out_1));
body.setSymbolicParameters(exportedParameters);
- PVariable var__146348466725091431 = body.newVirtualVariable();
PVariable var__match_a2a1a0w = body.getOrCreateVariableByName("match_a2a1a0w");
PVariable var__match_b0c0b0a22 = body.getOrCreateVariableByName("match_b0c0b0a22");
PVariable var__tmp_348 = body.getOrCreateVariableByName("tmp_348");
PVariable var__match_a0c0b0a22 = body.getOrCreateVariableByName("match_a0c0b0a22");
PVariable var__tmp_345 = body.getOrCreateVariableByName("tmp_345");
PVariable var__tmp_346 = body.getOrCreateVariableByName("tmp_346");
+ PVariable var__5822171105755757548 = body.newVirtualVariable();
PVariable var__tmp_347 = body.getOrCreateVariableByName("tmp_347");
PVariable var__t1 = body.getOrCreateVariableByName("t1");
PVariable var__t2 = body.getOrCreateVariableByName("t2");
@@ -367,7 +367,7 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
@Override
public String getShortDescription() {
- return "146348466725091431";
+ return "5822171105755757548";
}
@Override
@@ -380,8 +380,8 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
return LType.Nat.create();
}
- }, var__146348466725091431, false);
- new Equality(body, var__tmp_348, var__146348466725091431);
+ }, var__5822171105755757548, false);
+ new Equality(body, var__tmp_348, var__5822171105755757548);
new Equality(body, var__tmp_348, var_out_1);
SetSequence.fromSet(bodies).addElement(body);
@@ -434,20 +434,20 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
body.setSymbolicParameters(exportedParameters);
PVariable var__p = body.getOrCreateVariableByName("p");
+ PVariable var__5822171105755724961 = body.newConstantVariable(true);
PVariable var__tmp_360 = body.getOrCreateVariableByName("tmp_360");
PVariable var__tmp_361 = body.getOrCreateVariableByName("tmp_361");
- PVariable var__146348466725091556 = body.newVirtualVariable();
PVariable var__typeVarName = body.getOrCreateVariableByName("typeVarName");
PVariable var__rty = body.getOrCreateVariableByName("rty");
PVariable var__match_a4a1a0w = body.getOrCreateVariableByName("match_a4a1a0w");
- PVariable var__146348466725091580 = body.newVirtualVariable();
- PVariable var__146348466725058711 = body.newConstantVariable(true);
PVariable var__match_a0a4a1a0w = body.getOrCreateVariableByName("match_a0a4a1a0w");
PVariable var__ty1 = body.getOrCreateVariableByName("ty1");
+ PVariable var__5822171105755757673 = body.newVirtualVariable();
PVariable var__ty = body.getOrCreateVariableByName("ty");
PVariable var__tmp_359 = body.getOrCreateVariableByName("tmp_359");
+ PVariable var__5822171105755757697 = body.newVirtualVariable();
+ PVariable var__5822171105755757654 = body.newVirtualVariable();
PVariable var__tmp_355 = body.getOrCreateVariableByName("tmp_355");
- PVariable var__146348466725091537 = body.newVirtualVariable();
PVariable var__tmp_356 = body.getOrCreateVariableByName("tmp_356");
PVariable var__match_b0a4a1a0w = body.getOrCreateVariableByName("match_b0a4a1a0w");
PVariable var__tmp_357 = body.getOrCreateVariableByName("tmp_357");
@@ -476,7 +476,7 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
@Override
public String getShortDescription() {
- return "146348466725091537";
+ return "5822171105755757654";
}
@Override
@@ -489,15 +489,15 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
return LType.instance().isTypeVar(((LType.LTypeElement) valueProvider.getValue("ty")));
}
- }, var__146348466725091537, false);
- new Equality(body, var__tmp_357, var__146348466725091537);
- new Equality(body, var__tmp_358, var__146348466725058711);
+ }, var__5822171105755757654, false);
+ new Equality(body, var__tmp_357, var__5822171105755757654);
+ new Equality(body, var__tmp_358, var__5822171105755724961);
new Equality(body, var__tmp_357, var__tmp_358);
new ExpressionEvaluation(body, new IExpressionEvaluator() {
@Override
public String getShortDescription() {
- return "146348466725091556";
+ return "5822171105755757673";
}
@Override
@@ -510,8 +510,8 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
return LType.instance().typeVarString(((LType.LTypeElement) valueProvider.getValue("ty")));
}
- }, var__146348466725091556, false);
- new Equality(body, var__tmp_359, var__146348466725091556);
+ }, var__5822171105755757673, false);
+ new Equality(body, var__tmp_359, var__5822171105755757673);
new Equality(body, var__typeVarName, var__tmp_359);
new PositivePatternCall(body, Tuples.flatTupleOf(var__p, var__typeVarName, var__tmp_360), Typing_LookupTypeVarQuerySpecification.instance().getInternalQueryRepresentation());
new Equality(body, var__rty, var__tmp_360);
@@ -519,7 +519,7 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
@Override
public String getShortDescription() {
- return "146348466725091580";
+ return "5822171105755757697";
}
@Override
@@ -532,8 +532,8 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
return LType.instance().funParamType(((LType.LTypeElement) valueProvider.getValue("rty")));
}
- }, var__146348466725091580, false);
- new Equality(body, var__tmp_361, var__146348466725091580);
+ }, var__5822171105755757697, false);
+ new Equality(body, var__tmp_361, var__5822171105755757697);
new Equality(body, var__ty1, var__tmp_361);
new Equality(body, var__ty1, var_out_1);
@@ -550,16 +550,16 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
body.setSymbolicParameters(exportedParameters);
PVariable var__p = body.getOrCreateVariableByName("p");
- PVariable var__146348466725091664 = body.newVirtualVariable();
PVariable var__match_a4a1a0w = body.getOrCreateVariableByName("match_a4a1a0w");
+ PVariable var__5822171105755725083 = body.newConstantVariable(true);
+ PVariable var__5822171105755757781 = body.newVirtualVariable();
PVariable var__match_a0a4a1a0w = body.getOrCreateVariableByName("match_a0a4a1a0w");
PVariable var__ty1 = body.getOrCreateVariableByName("ty1");
- PVariable var__146348466725058833 = body.newConstantVariable(true);
PVariable var__ty = body.getOrCreateVariableByName("ty");
+ PVariable var__5822171105755757762 = body.newVirtualVariable();
PVariable var__tmp_366 = body.getOrCreateVariableByName("tmp_366");
PVariable var__tmp_367 = body.getOrCreateVariableByName("tmp_367");
PVariable var__match_b0a4a1a0w = body.getOrCreateVariableByName("match_b0a4a1a0w");
- PVariable var__146348466725091645 = body.newVirtualVariable();
PVariable var__tmp_368 = body.getOrCreateVariableByName("tmp_368");
PVariable var__tmp_362 = body.getOrCreateVariableByName("tmp_362");
PVariable var__t1 = body.getOrCreateVariableByName("t1");
@@ -587,7 +587,7 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
@Override
public String getShortDescription() {
- return "146348466725091645";
+ return "5822171105755757762";
}
@Override
@@ -600,15 +600,15 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
return LType.instance().isTypeVar(((LType.LTypeElement) valueProvider.getValue("ty")));
}
- }, var__146348466725091645, false);
- new Equality(body, var__tmp_366, var__146348466725091645);
- new Equality(body, var__tmp_367, var__146348466725058833);
+ }, var__5822171105755757762, false);
+ new Equality(body, var__tmp_366, var__5822171105755757762);
+ new Equality(body, var__tmp_367, var__5822171105755725083);
new Inequality(body, var__tmp_366, var__tmp_367);
new ExpressionEvaluation(body, new IExpressionEvaluator() {
@Override
public String getShortDescription() {
- return "146348466725091664";
+ return "5822171105755757781";
}
@Override
@@ -621,8 +621,8 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
return LType.instance().funParamType(((LType.LTypeElement) valueProvider.getValue("ty")));
}
- }, var__146348466725091664, false);
- new Equality(body, var__tmp_368, var__146348466725091664);
+ }, var__5822171105755757781, false);
+ new Equality(body, var__tmp_368, var__5822171105755757781);
new Equality(body, var__ty1, var__tmp_368);
new Equality(body, var__ty1, var_out_1);
@@ -640,26 +640,26 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
PVariable var__tmp_370 = body.getOrCreateVariableByName("tmp_370");
PVariable var__p = body.getOrCreateVariableByName("p");
- PVariable var__146348466725091772 = body.newVirtualVariable();
PVariable var__tmp_371 = body.getOrCreateVariableByName("tmp_371");
PVariable var__tmp_372 = body.getOrCreateVariableByName("tmp_372");
+ PVariable var__5822171105755725139 = body.newConstantVariable(true);
PVariable var__t = body.getOrCreateVariableByName("t");
PVariable var__typeVarName = body.getOrCreateVariableByName("typeVarName");
PVariable var__match_a5a1a0w = body.getOrCreateVariableByName("match_a5a1a0w");
PVariable var__rty = body.getOrCreateVariableByName("rty");
PVariable var__match_a0a5a1a0w = body.getOrCreateVariableByName("match_a0a5a1a0w");
+ PVariable var__5822171105755757865 = body.newVirtualVariable();
+ PVariable var__5822171105755757889 = body.newVirtualVariable();
+ PVariable var__5822171105755757846 = body.newVirtualVariable();
PVariable var__ty2 = body.getOrCreateVariableByName("ty2");
- PVariable var__146348466725058889 = body.newConstantVariable(true);
PVariable var__match_b0a5a1a0w = body.getOrCreateVariableByName("match_b0a5a1a0w");
PVariable var__ty = body.getOrCreateVariableByName("ty");
PVariable var__tmp_377 = body.getOrCreateVariableByName("tmp_377");
PVariable var__tmp_369 = body.getOrCreateVariableByName("tmp_369");
PVariable var__name = body.getOrCreateVariableByName("name");
PVariable var__tmp_373 = body.getOrCreateVariableByName("tmp_373");
- PVariable var__146348466725091729 = body.newVirtualVariable();
PVariable var__tmp_374 = body.getOrCreateVariableByName("tmp_374");
PVariable var__tmp_375 = body.getOrCreateVariableByName("tmp_375");
- PVariable var__146348466725091748 = body.newVirtualVariable();
PVariable var__tmp_376 = body.getOrCreateVariableByName("tmp_376");
new TypeConstraint(body, Tuples.flatTupleOf(var_term), new ConceptKey(MetaAdapterFactory.getInterfaceConcept(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x1a4a252762eb92d1L, "FORecursiveTypes.structure.Term")));
@@ -681,7 +681,7 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
@Override
public String getShortDescription() {
- return "146348466725091729";
+ return "5822171105755757846";
}
@Override
@@ -694,15 +694,15 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
return LType.instance().isTypeVar(((LType.LTypeElement) valueProvider.getValue("ty")));
}
- }, var__146348466725091729, false);
- new Equality(body, var__tmp_373, var__146348466725091729);
- new Equality(body, var__tmp_374, var__146348466725058889);
+ }, var__5822171105755757846, false);
+ new Equality(body, var__tmp_373, var__5822171105755757846);
+ new Equality(body, var__tmp_374, var__5822171105755725139);
new Equality(body, var__tmp_373, var__tmp_374);
new ExpressionEvaluation(body, new IExpressionEvaluator() {
@Override
public String getShortDescription() {
- return "146348466725091748";
+ return "5822171105755757865";
}
@Override
@@ -715,8 +715,8 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
return LType.instance().typeVarString(((LType.LTypeElement) valueProvider.getValue("ty")));
}
- }, var__146348466725091748, false);
- new Equality(body, var__tmp_375, var__146348466725091748);
+ }, var__5822171105755757865, false);
+ new Equality(body, var__tmp_375, var__5822171105755757865);
new Equality(body, var__typeVarName, var__tmp_375);
new PositivePatternCall(body, Tuples.flatTupleOf(var__p, var__typeVarName, var__tmp_376), Typing_LookupTypeVarQuerySpecification.instance().getInternalQueryRepresentation());
new Equality(body, var__rty, var__tmp_376);
@@ -724,7 +724,7 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
@Override
public String getShortDescription() {
- return "146348466725091772";
+ return "5822171105755757889";
}
@Override
@@ -737,8 +737,8 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
return LType.instance().funResultType(((LType.LTypeElement) valueProvider.getValue("rty")));
}
- }, var__146348466725091772, false);
- new Equality(body, var__tmp_377, var__146348466725091772);
+ }, var__5822171105755757889, false);
+ new Equality(body, var__tmp_377, var__5822171105755757889);
new Equality(body, var__ty2, var__tmp_377);
new Equality(body, var__ty2, var_out_1);
@@ -762,16 +762,16 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
PVariable var__t = body.getOrCreateVariableByName("t");
PVariable var__match_a5a1a0w = body.getOrCreateVariableByName("match_a5a1a0w");
PVariable var__match_a0a5a1a0w = body.getOrCreateVariableByName("match_a0a5a1a0w");
- PVariable var__146348466725059011 = body.newConstantVariable(true);
+ PVariable var__5822171105755757954 = body.newVirtualVariable();
+ PVariable var__5822171105755725261 = body.newConstantVariable(true);
PVariable var__ty2 = body.getOrCreateVariableByName("ty2");
PVariable var__match_b0a5a1a0w = body.getOrCreateVariableByName("match_b0a5a1a0w");
PVariable var__ty = body.getOrCreateVariableByName("ty");
- PVariable var__146348466725091856 = body.newVirtualVariable();
+ PVariable var__5822171105755757973 = body.newVirtualVariable();
PVariable var__tmp_378 = body.getOrCreateVariableByName("tmp_378");
PVariable var__tmp_379 = body.getOrCreateVariableByName("tmp_379");
PVariable var__name = body.getOrCreateVariableByName("name");
PVariable var__tmp_384 = body.getOrCreateVariableByName("tmp_384");
- PVariable var__146348466725091837 = body.newVirtualVariable();
new TypeConstraint(body, Tuples.flatTupleOf(var_term), new ConceptKey(MetaAdapterFactory.getInterfaceConcept(0x83519d5ae8d840b1L, 0xb9587bbbda82ff24L, 0x1a4a252762eb92d1L, "FORecursiveTypes.structure.Term")));
new PositivePatternCall(body, Tuples.flatTupleOf(), Typing_Required_0_switchCommonQuerySpecification.instance().getInternalQueryRepresentation());
@@ -792,7 +792,7 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
@Override
public String getShortDescription() {
- return "146348466725091837";
+ return "5822171105755757954";
}
@Override
@@ -805,15 +805,15 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
return LType.instance().isTypeVar(((LType.LTypeElement) valueProvider.getValue("ty")));
}
- }, var__146348466725091837, false);
- new Equality(body, var__tmp_382, var__146348466725091837);
- new Equality(body, var__tmp_383, var__146348466725059011);
+ }, var__5822171105755757954, false);
+ new Equality(body, var__tmp_382, var__5822171105755757954);
+ new Equality(body, var__tmp_383, var__5822171105755725261);
new Inequality(body, var__tmp_382, var__tmp_383);
new ExpressionEvaluation(body, new IExpressionEvaluator() {
@Override
public String getShortDescription() {
- return "146348466725091856";
+ return "5822171105755757973";
}
@Override
@@ -826,8 +826,8 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
return LType.instance().funResultType(((LType.LTypeElement) valueProvider.getValue("ty")));
}
- }, var__146348466725091856, false);
- new Equality(body, var__tmp_384, var__146348466725091856);
+ }, var__5822171105755757973, false);
+ new Equality(body, var__tmp_384, var__5822171105755757973);
new Equality(body, var__ty2, var__tmp_384);
new Equality(body, var__ty2, var_out_1);
@@ -849,20 +849,20 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
PVariable var__match_a0a6a1a0w = body.getOrCreateVariableByName("match_a0a6a1a0w");
PVariable var__match_b0a6a1a0w = body.getOrCreateVariableByName("match_b0a6a1a0w");
PVariable var__tmp_393 = body.getOrCreateVariableByName("tmp_393");
- PVariable var__146348466725091940 = body.newVirtualVariable();
PVariable var__t = body.getOrCreateVariableByName("t");
PVariable var__typeVarName = body.getOrCreateVariableByName("typeVarName");
PVariable var__tmp_390 = body.getOrCreateVariableByName("tmp_390");
PVariable var__rty = body.getOrCreateVariableByName("rty");
- PVariable var__146348466725059067 = body.newConstantVariable(true);
+ PVariable var__5822171105755758057 = body.newVirtualVariable();
PVariable var__ty = body.getOrCreateVariableByName("ty");
+ PVariable var__5822171105755758038 = body.newVirtualVariable();
PVariable var__tmp_388 = body.getOrCreateVariableByName("tmp_388");
PVariable var__tmp_389 = body.getOrCreateVariableByName("tmp_389");
+ PVariable var__5822171105755758082 = body.newVirtualVariable();
PVariable var__match_a6a1a0w = body.getOrCreateVariableByName("match_a6a1a0w");
- PVariable var__146348466725091921 = body.newVirtualVariable();
- PVariable var__146348466725091965 = body.newVirtualVariable();
PVariable var__name = body.getOrCreateVariableByName("name");
PVariable var__tmp_385 = body.getOrCreateVariableByName("tmp_385");
+ PVariable var__5822171105755725317 = body.newConstantVariable(true);
PVariable var__lty = body.getOrCreateVariableByName("lty");
PVariable var__tmp_386 = body.getOrCreateVariableByName("tmp_386");
PVariable var__tmp_387 = body.getOrCreateVariableByName("tmp_387");
@@ -886,7 +886,7 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
@Override
public String getShortDescription() {
- return "146348466725091921";
+ return "5822171105755758038";
}
@Override
@@ -899,15 +899,15 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
return LType.instance().isTypeVar(((LType.LTypeElement) valueProvider.getValue("ty")));
}
- }, var__146348466725091921, false);
- new Equality(body, var__tmp_389, var__146348466725091921);
- new Equality(body, var__tmp_390, var__146348466725059067);
+ }, var__5822171105755758038, false);
+ new Equality(body, var__tmp_389, var__5822171105755758038);
+ new Equality(body, var__tmp_390, var__5822171105755725317);
new Equality(body, var__tmp_389, var__tmp_390);
new ExpressionEvaluation(body, new IExpressionEvaluator() {
@Override
public String getShortDescription() {
- return "146348466725091940";
+ return "5822171105755758057";
}
@Override
@@ -920,8 +920,8 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
return LType.instance().typeVarString(((LType.LTypeElement) valueProvider.getValue("ty")));
}
- }, var__146348466725091940, false);
- new Equality(body, var__tmp_391, var__146348466725091940);
+ }, var__5822171105755758057, false);
+ new Equality(body, var__tmp_391, var__5822171105755758057);
new Equality(body, var__typeVarName, var__tmp_391);
new PositivePatternCall(body, Tuples.flatTupleOf(var__p, var__typeVarName, var__tmp_392), Typing_LookupTypeVarQuerySpecification.instance().getInternalQueryRepresentation());
new Equality(body, var__rty, var__tmp_392);
@@ -929,7 +929,7 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
@Override
public String getShortDescription() {
- return "146348466725091965";
+ return "5822171105755758082";
}
@Override
@@ -942,8 +942,8 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
return LType.instance().variantLookup(((LType.LTypeElement) valueProvider.getValue("rty")), (CodeGenerationHelper.demandWrapString(valueProvider.getValue("name"))));
}
- }, var__146348466725091965, false);
- new Equality(body, var__tmp_393, var__146348466725091965);
+ }, var__5822171105755758082, false);
+ new Equality(body, var__tmp_393, var__5822171105755758082);
new Equality(body, var__lty, var__tmp_393);
new Equality(body, var__lty, var_out_1);
@@ -962,12 +962,12 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
PVariable var__p = body.getOrCreateVariableByName("p");
PVariable var__match_a0a6a1a0w = body.getOrCreateVariableByName("match_a0a6a1a0w");
PVariable var__match_b0a6a1a0w = body.getOrCreateVariableByName("match_b0a6a1a0w");
- PVariable var__146348466725059192 = body.newConstantVariable(true);
PVariable var__tmp_394 = body.getOrCreateVariableByName("tmp_394");
PVariable var__t = body.getOrCreateVariableByName("t");
- PVariable var__146348466725092031 = body.newVirtualVariable();
- PVariable var__146348466725092051 = body.newVirtualVariable();
+ PVariable var__5822171105755725442 = body.newConstantVariable(true);
+ PVariable var__5822171105755758168 = body.newVirtualVariable();
PVariable var__ty = body.getOrCreateVariableByName("ty");
+ PVariable var__5822171105755758148 = body.newVirtualVariable();
PVariable var__tmp_399 = body.getOrCreateVariableByName("tmp_399");
PVariable var__tmp_400 = body.getOrCreateVariableByName("tmp_400");
PVariable var__match_a6a1a0w = body.getOrCreateVariableByName("match_a6a1a0w");
@@ -997,7 +997,7 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
@Override
public String getShortDescription() {
- return "146348466725092031";
+ return "5822171105755758148";
}
@Override
@@ -1010,15 +1010,15 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
return LType.instance().isTypeVar(((LType.LTypeElement) valueProvider.getValue("ty")));
}
- }, var__146348466725092031, false);
- new Equality(body, var__tmp_398, var__146348466725092031);
- new Equality(body, var__tmp_399, var__146348466725059192);
+ }, var__5822171105755758148, false);
+ new Equality(body, var__tmp_398, var__5822171105755758148);
+ new Equality(body, var__tmp_399, var__5822171105755725442);
new Inequality(body, var__tmp_398, var__tmp_399);
new ExpressionEvaluation(body, new IExpressionEvaluator() {
@Override
public String getShortDescription() {
- return "146348466725092051";
+ return "5822171105755758168";
}
@Override
@@ -1031,8 +1031,8 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
return LType.instance().variantLookup(((LType.LTypeElement) valueProvider.getValue("ty")), (CodeGenerationHelper.demandWrapString(valueProvider.getValue("name"))));
}
- }, var__146348466725092051, false);
- new Equality(body, var__tmp_400, var__146348466725092051);
+ }, var__5822171105755758168, false);
+ new Equality(body, var__tmp_400, var__5822171105755758168);
new Equality(body, var__lty, var__tmp_400);
new Equality(body, var__lty, var_out_1);
diff --git a/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/model/trace.info b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/model/trace.info
index 982d620b8c9092d6df662122b75136dd8e85b106..80e747d2cf7d331e263f2c89db55f4e6cfeb534a 100644
--- a/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/model/trace.info
+++ b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/model/trace.info
@@ -387,18 +387,18 @@
-
-
-
+
+
+
-
+
-
-
+
+
@@ -410,19 +410,19 @@
-
-
-
-
+
+
+
+
-
+
-
-
+
+
@@ -439,13 +439,13 @@
-
-
-
-
+
+
+
+
-
-
+
+
@@ -462,11 +462,11 @@
-
+
-
-
+
+
@@ -483,8 +483,8 @@
-
-
+
+
@@ -492,11 +492,11 @@
-
+
-
-
+
+
@@ -509,11 +509,11 @@
-
-
-
-
-
+
+
+
+
+
@@ -522,11 +522,11 @@
-
+
-
-
+
+
@@ -584,11 +584,11 @@
-
-
-
-
-
+
+
+
+
+
@@ -602,19 +602,19 @@
-
+
-
+
-
+
-
+
-
+
@@ -670,7 +670,7 @@
-
+
@@ -679,7 +679,7 @@
-
+
@@ -688,7 +688,7 @@
-
+
@@ -700,7 +700,7 @@
-
+
@@ -712,7 +712,7 @@
-
+
@@ -763,15 +763,15 @@
-
-
-
-
+
+
+
+
-
-
-
-
+
+
+
+
@@ -812,9 +812,9 @@
-
-
-
+
+
+
@@ -848,12 +848,12 @@
-
-
-
+
+
+
-
-
+
+
@@ -867,11 +867,11 @@
-
+
-
-
+
+
@@ -883,16 +883,16 @@
-
-
-
+
+
+
-
+
-
-
+
+
@@ -915,8 +915,8 @@
-
-
+
+
@@ -926,10 +926,10 @@
-
+
-
+
@@ -959,7 +959,7 @@
-
+
@@ -967,7 +967,7 @@
-
+
@@ -1018,19 +1018,19 @@
-
-
-
+
+
+
-
-
+
+
-
-
+
+
@@ -1052,7 +1052,7 @@
-
+
@@ -1061,7 +1061,7 @@
-
+
@@ -1086,8 +1086,8 @@
-
-
+
+
@@ -1128,27 +1128,27 @@
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
-
-
+
+
+
+
-
-
+
+
@@ -1163,29 +1163,29 @@
-
+
-
-
-
-
+
+
+
+
-
-
+
+
-
+
-
-
-
+
+
+
-
-
+
+
@@ -1197,26 +1197,26 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
+
+
@@ -1230,22 +1230,22 @@
-
+
-
-
-
-
+
+
+
+
-
-
-
+
+
+
-
-
+
+
@@ -1260,24 +1260,24 @@
-
-
-
-
-
-
+
+
+
+
+
+
-
-
-
-
-
-
-
+
+
+
+
+
+
+
@@ -1292,24 +1292,24 @@
-
+
-
-
-
-
+
+
+
+
-
-
+
+
-
+
-
-
+
+
@@ -1323,17 +1323,17 @@
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
@@ -1351,17 +1351,17 @@
-
+
-
-
-
-
+
+
+
+
-
-
+
+
@@ -1417,15 +1417,15 @@
-
-
-
-
+
+
+
+
-
-
-
-
+
+
+
+
@@ -1435,12 +1435,12 @@
-
+
-
-
-
+
+
+
@@ -1496,19 +1496,19 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -1522,43 +1522,43 @@
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
@@ -1663,8 +1663,8 @@
-
-
+
+
@@ -1678,9 +1678,9 @@
-
-
-
+
+
+
@@ -1700,10 +1700,10 @@
-
-
-
-
+
+
+
+
@@ -1725,10 +1725,10 @@
-
-
-
-
+
+
+
+
@@ -1752,11 +1752,11 @@
-
-
-
-
-
+
+
+
+
+
@@ -1822,15 +1822,15 @@
-
-
-
-
+
+
+
+
-
-
-
-
+
+
+
+
@@ -1871,9 +1871,9 @@
-
-
-
+
+
+
@@ -1908,18 +1908,18 @@
-
-
-
+
+
+
-
+
-
-
+
+
@@ -1931,19 +1931,19 @@
-
-
-
+
+
+
-
+
-
-
+
+
@@ -1955,9 +1955,9 @@
-
-
-
+
+
+
@@ -1970,11 +1970,11 @@
-
+
-
-
+
+
@@ -1988,14 +1988,14 @@
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
@@ -2008,11 +2008,11 @@
-
+
-
-
+
+
@@ -2024,8 +2024,8 @@
-
-
+
+
@@ -2046,11 +2046,11 @@
-
+
-
-
+
+
@@ -2174,18 +2174,18 @@
-
-
+
+
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
@@ -2201,24 +2201,24 @@
-
+
-
-
-
-
+
+
+
+
-
-
+
+
-
+
-
-
+
+
@@ -2232,16 +2232,16 @@
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
@@ -2263,17 +2263,17 @@
-
+
-
-
-
-
+
+
+
+
-
-
+
+
@@ -2352,17 +2352,17 @@
-
-
+
+
-
+
-
-
+
+
@@ -2412,17 +2412,17 @@
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
@@ -2443,37 +2443,37 @@
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
@@ -2602,7 +2602,7 @@
-
+
@@ -2611,7 +2611,7 @@
-
+
@@ -2620,7 +2620,7 @@
-
+
@@ -2648,7 +2648,7 @@
-
+
@@ -2660,7 +2660,7 @@
-
+
@@ -2675,7 +2675,7 @@
-
+
@@ -2690,9 +2690,9 @@
-
-
-
+
+
+
@@ -2713,10 +2713,10 @@
-
-
-
-
+
+
+
+
@@ -2866,22 +2866,22 @@
-
-
-
-
+
+
+
+
-
-
+
+
-
-
+
+
@@ -2903,7 +2903,7 @@
-
+
@@ -2912,7 +2912,7 @@
-
+
@@ -2937,8 +2937,8 @@
-
-
+
+
@@ -2996,8 +2996,8 @@
-
-
+
+
@@ -3020,11 +3020,11 @@
-
+
-
-
+
+
@@ -3596,17 +3596,17 @@
-
-
-
-
+
+
+
+
-
-
-
-
-
-
+
+
+
+
+
+
@@ -3626,16 +3626,16 @@
-
+
-
-
-
+
+
+
-
-
+
+
@@ -3780,8 +3780,8 @@
-
-
+
+
@@ -3802,11 +3802,11 @@
-
+
-
-
+
+
@@ -3917,10 +3917,10 @@
-
-
-
-
+
+
+
+
@@ -3949,16 +3949,16 @@
-
+
-
+
-
+
-
+
@@ -4312,7 +4312,7 @@
-
+
@@ -4330,7 +4330,7 @@
-
+
@@ -4352,8 +4352,8 @@
-
-
+
+
@@ -5543,59 +5543,59 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
+
+
+
+
-
-
+
+
-
+
-
-
-
-
+
+
+
+
-
-
+
+
-
+
-
-
-
-
-
+
+
+
+
+
-
-
+
+
@@ -5611,55 +5611,55 @@
-
-
-
-
-
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
-
+
-
-
-
-
+
+
+
+
-
-
-
+
+
+
-
-
-
-
-
+
+
+
+
+
-
-
+
+
@@ -5675,57 +5675,57 @@
-
-
-
-
-
-
-
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
-
+
-
-
-
-
+
+
+
+
-
-
+
+
-
+
-
-
-
-
-
+
+
+
+
+
-
-
+
+
@@ -5741,45 +5741,45 @@
-
-
-
-
-
+
+
+
+
+
-
-
-
-
+
+
+
+
-
-
-
-
+
+
+
+
-
+
-
-
-
-
+
+
+
+
-
-
-
-
-
+
+
+
+
+
-
-
+
+
@@ -5843,21 +5843,21 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -5869,49 +5869,49 @@
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
@@ -6006,12 +6006,12 @@
-
-
-
-
-
-
+
+
+
+
+
+
@@ -6028,13 +6028,13 @@
-
-
-
-
-
-
-
+
+
+
+
+
+
+
@@ -6054,13 +6054,13 @@
-
-
-
-
-
-
-
+
+
+
+
+
+
+
@@ -6081,13 +6081,13 @@
-
-
-
-
-
-
-
+
+
+
+
+
+
+
@@ -6154,57 +6154,57 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
+
-
-
-
-
+
+
+
+
-
-
+
+
-
+
-
-
-
-
-
+
+
+
+
+
-
-
+
+
@@ -6220,45 +6220,45 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
+
-
-
-
-
+
+
+
+
-
-
-
-
-
+
+
+
+
+
-
-
+
+
@@ -6274,59 +6274,59 @@
-
-
-
-
-
+
+
+
+
+
-
-
+
+
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
-
+
-
-
-
-
+
+
+
+
-
-
+
+
-
+
-
-
-
-
-
+
+
+
+
+
-
-
+
+
@@ -6342,47 +6342,47 @@
-
-
+
+
-
-
+
+
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
-
+
-
-
-
-
+
+
+
+
-
-
-
-
-
+
+
+
+
+
-
-
+
+
@@ -6443,20 +6443,20 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -6468,46 +6468,46 @@
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
@@ -6597,12 +6597,12 @@
-
-
-
-
-
-
+
+
+
+
+
+
@@ -6619,12 +6619,12 @@
-
-
-
-
-
-
+
+
+
+
+
+
@@ -6642,13 +6642,13 @@
-
-
-
-
-
-
-
+
+
+
+
+
+
+
@@ -6669,13 +6669,13 @@
-
-
-
-
-
-
-
+
+
+
+
+
+
+
@@ -6766,10 +6766,10 @@
-
-
-
-
+
+
+
+
@@ -6782,11 +6782,11 @@
-
+
-
-
+
+
@@ -6798,8 +6798,8 @@
-
-
+
+
@@ -6821,11 +6821,11 @@
-
+
-
-
+
+
@@ -6841,8 +6841,8 @@
-
-
+
+
@@ -6860,11 +6860,11 @@
-
+
-
-
+
+
@@ -6877,15 +6877,15 @@
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
@@ -6899,11 +6899,11 @@
-
+
-
-
+
+
@@ -6915,14 +6915,14 @@
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
@@ -6938,11 +6938,11 @@
-
+
-
-
+
+
@@ -6990,21 +6990,21 @@
-
-
-
-
+
+
+
+
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
@@ -7028,24 +7028,24 @@
-
+
-
-
-
-
+
+
+
+
-
-
+
+
-
+
-
-
+
+
@@ -7059,17 +7059,17 @@
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
@@ -7092,17 +7092,17 @@
-
+
-
-
-
-
+
+
+
+
-
-
+
+
@@ -7117,27 +7117,27 @@
-
-
-
-
+
+
+
+
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
-
-
+
+
@@ -7154,24 +7154,24 @@
-
+
-
-
-
-
+
+
+
+
-
-
+
+
-
+
-
-
+
+
@@ -7192,17 +7192,17 @@
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
@@ -7218,17 +7218,17 @@
-
+
-
-
-
-
+
+
+
+
-
-
+
+
@@ -7247,21 +7247,21 @@
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
-
-
-
-
-
-
+
+
+
+
+
+
@@ -7280,24 +7280,24 @@
-
+
-
-
-
-
+
+
+
+
-
-
+
+
-
+
-
-
+
+
@@ -7313,13 +7313,13 @@
-
-
-
-
-
-
-
+
+
+
+
+
+
+
@@ -7344,17 +7344,17 @@
-
+
-
-
-
-
+
+
+
+
-
-
+
+
@@ -7501,26 +7501,26 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -7543,64 +7543,64 @@
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
@@ -7776,7 +7776,7 @@
-
+
@@ -7789,7 +7789,7 @@
-
+
@@ -7805,7 +7805,7 @@
-
+
@@ -7821,7 +7821,7 @@
-
+
@@ -7837,7 +7837,7 @@
-
+
@@ -7853,9 +7853,9 @@
-
-
-
+
+
+
@@ -7877,9 +7877,9 @@
-
-
-
+
+
+
@@ -7901,9 +7901,9 @@
-
-
-
+
+
+
@@ -7925,10 +7925,10 @@
-
-
-
-
+
+
+
+
@@ -7954,10 +7954,10 @@
-
-
-
-
+
+
+
+
@@ -7983,10 +7983,10 @@
-
-
-
-
+
+
+
+
diff --git a/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/test/fail_rec_type_not_defined/trace.info b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/test/fail_rec_type_not_defined/trace.info
new file mode 100644
index 0000000000000000000000000000000000000000..08125b97ad028102a30f16f89642862ccac0c6a9
--- /dev/null
+++ b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/test/fail_rec_type_not_defined/trace.info
@@ -0,0 +1,3 @@
+
+
+
diff --git a/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/test/fail_type_alias/trace.info b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/test/fail_type_alias/trace.info
new file mode 100644
index 0000000000000000000000000000000000000000..08125b97ad028102a30f16f89642862ccac0c6a9
--- /dev/null
+++ b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/test/fail_type_alias/trace.info
@@ -0,0 +1,3 @@
+
+
+
diff --git a/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/test/fail_wrong_type_passed/trace.info b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/test/fail_wrong_type_passed/trace.info
new file mode 100644
index 0000000000000000000000000000000000000000..08125b97ad028102a30f16f89642862ccac0c6a9
--- /dev/null
+++ b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/test/fail_wrong_type_passed/trace.info
@@ -0,0 +1,3 @@
+
+
+
diff --git a/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/test/ok_binding_with_same_name_type_and_term/trace.info b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/test/ok_binding_with_same_name_type_and_term/trace.info
new file mode 100644
index 0000000000000000000000000000000000000000..08125b97ad028102a30f16f89642862ccac0c6a9
--- /dev/null
+++ b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/test/ok_binding_with_same_name_type_and_term/trace.info
@@ -0,0 +1,3 @@
+
+
+
diff --git a/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/test/ok_nested_rec_type/trace.info b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/test/ok_nested_rec_type/trace.info
new file mode 100644
index 0000000000000000000000000000000000000000..08125b97ad028102a30f16f89642862ccac0c6a9
--- /dev/null
+++ b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/test/ok_nested_rec_type/trace.info
@@ -0,0 +1,3 @@
+
+
+
diff --git a/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/test/ok_nested_succ_rec_nat_type/trace.info b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/test/ok_nested_succ_rec_nat_type/trace.info
new file mode 100644
index 0000000000000000000000000000000000000000..08125b97ad028102a30f16f89642862ccac0c6a9
--- /dev/null
+++ b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/test/ok_nested_succ_rec_nat_type/trace.info
@@ -0,0 +1,3 @@
+
+
+
diff --git a/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/test/ok_pred_rec_nat_type/trace.info b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/test/ok_pred_rec_nat_type/trace.info
new file mode 100644
index 0000000000000000000000000000000000000000..08125b97ad028102a30f16f89642862ccac0c6a9
--- /dev/null
+++ b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/test/ok_pred_rec_nat_type/trace.info
@@ -0,0 +1,3 @@
+
+
+
diff --git a/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/test/ok_zero_rec_nat_type/trace.info b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/test/ok_zero_rec_nat_type/trace.info
new file mode 100644
index 0000000000000000000000000000000000000000..08125b97ad028102a30f16f89642862ccac0c6a9
--- /dev/null
+++ b/inca-translation/solutions/FORecursiveTypes_Checker/source_gen/FORecursiveTypes_Checker/test/ok_zero_rec_nat_type/trace.info
@@ -0,0 +1,3 @@
+
+
+