Commit bd74c190 authored by André Pacak's avatar André Pacak
Browse files

test suite for result of transformation

parent 2bc1a3da
......@@ -2,22 +2,23 @@
<project version="4">
<component name="MPSProject">
<projectModules>
<modulePath path="$PROJECT_DIR$/languages/NewLanguage/sum.lang.mpl" folder="" />
<modulePath path="$PROJECT_DIR$/languages/TypeLang/TypeLang.mpl" folder="" />
<modulePath path="$PROJECT_DIR$/languages/forecursive.lang/forecursive.lang.mpl" folder="" />
<modulePath path="$PROJECT_DIR$/languages/pcf.lang/pcf.lang.mpl" folder="" />
<modulePath path="$PROJECT_DIR$/languages/pcf.universal.ext/pcf.universal.ext.mpl" folder="" />
<modulePath path="$PROJECT_DIR$/languages/product.lang/product.lang.mpl" folder="" />
<modulePath path="$PROJECT_DIR$/languages/record.lang/record.lang.mpl" folder="" />
<modulePath path="$PROJECT_DIR$/languages/stlcn.lang/stlcn.lang.mpl" folder="" />
<modulePath path="$PROJECT_DIR$/languages/variant.lang/variant.lang.mpl" folder="" />
<modulePath path="$PROJECT_DIR$/solutions/FORecursiveTypes_Checker/FORecursiveTypes_Checker.msd" folder="" />
<modulePath path="$PROJECT_DIR$/solutions/RecordTypes_Checker/RecordTypes_Checker.msd" folder="" />
<modulePath path="$PROJECT_DIR$/solutions/STLCN_Checker/STLCN_Checker.msd" folder="" />
<modulePath path="$PROJECT_DIR$/solutions/SumTypes_Checker/SumTypes_Checker.msd" folder="." />
<modulePath path="$PROJECT_DIR$/solutions/TypeLangTest/TypeLangTest.msd" folder="" />
<modulePath path="$PROJECT_DIR$/solutions/VariantTypes_Checker/VariantTypes_Checker.msd" folder="" />
<modulePath path="$PROJECT_DIR$/solutions/pcf.measurements/pcf.measurements.msd" folder="" />
<modulePath path="${itypes-inca.home}/languages/NewLanguage/sum.lang.mpl" folder="" />
<modulePath path="${itypes-inca.home}/languages/TypeLang/TypeLang.mpl" folder="" />
<modulePath path="${itypes-inca.home}/languages/forecursive.lang/forecursive.lang.mpl" folder="" />
<modulePath path="${itypes-inca.home}/languages/pcf.lang/pcf.lang.mpl" folder="" />
<modulePath path="${itypes-inca.home}/languages/pcf.universal.ext/pcf.universal.ext.mpl" folder="" />
<modulePath path="${itypes-inca.home}/languages/product.lang/product.lang.mpl" folder="" />
<modulePath path="${itypes-inca.home}/languages/record.lang/record.lang.mpl" folder="" />
<modulePath path="${itypes-inca.home}/languages/stlcn.lang/stlcn.lang.mpl" folder="" />
<modulePath path="${itypes-inca.home}/languages/variant.lang/variant.lang.mpl" folder="" />
<modulePath path="${itypes-inca.home}/solutions/FORecursiveTypes_Checker/FORecursiveTypes_Checker.msd" folder="" />
<modulePath path="${itypes-inca.home}/solutions/RecordTypes_Checker/RecordTypes_Checker.msd" folder="" />
<modulePath path="${itypes-inca.home}/solutions/STLCN_Checker/STLCN_Checker.msd" folder="" />
<modulePath path="${itypes-inca.home}/solutions/SumTypes_Checker/SumTypes_Checker.msd" folder="." />
<modulePath path="${itypes-inca.home}/solutions/TypeLangTest/TypeLangTest.msd" folder="" />
<modulePath path="${itypes-inca.home}/solutions/VariantTypes_Checker/VariantTypes_Checker.msd" folder="" />
<modulePath path="${itypes-inca.home}/solutions/pcf.exectests/pcf.exectests.msd" folder="" />
<modulePath path="${itypes-inca.home}/solutions/pcf.measurements/pcf.measurements.msd" folder="" />
</projectModules>
</component>
</project>
\ No newline at end of file
......@@ -71,10 +71,13 @@
<child id="2973820376015605589" name="conclusion" index="1FvUUP" />
<child id="2973820376015605556" name="premises" index="1FvUVk" />
</concept>
<concept id="3351376301273846558" name="TypeLang.structure.SortString" flags="ng" index="1O_mBz" />
<concept id="3351376301258987589" name="TypeLang.structure.Sort" flags="ng" index="1RHyaS">
<child id="2973820376015170130" name="mode" index="1FtGIM" />
</concept>
<concept id="6110601262934694959" name="TypeLang.structure.NamedMetaTerm" flags="ng" index="1XyUHm">
<child id="6110601262934694975" name="metaterm" index="1XyUH6" />
<child id="6110601262935334780" name="var" index="1XBmw5" />
</concept>
</language>
<language id="446c26eb-2b7b-4bf0-9b35-f83fa582753e" name="jetbrains.mps.lang.modelapi">
<concept id="361130699826193248" name="jetbrains.mps.lang.modelapi.structure.ModelPointer" flags="ng" index="1dCxOl">
......@@ -118,8 +121,9 @@
<node concept="1FtGIT" id="5VGMV8rOnzn" role="1FtGIM" />
</node>
<node concept="1FtGIX" id="5VGMV8rOnyp" role="1FvzSA" />
<node concept="1O_mBz" id="5VGMV8rUlcv" role="1FvzHH">
<node concept="Zlr9x" id="5VGMV8rUlcD" role="1FtGIM" />
<node concept="1FtGBS" id="5n5KhV4z5VW" role="1FvzHH">
<ref role="1FtGBW" to="jzuy:1Da9ityUTbw" resolve="Var" />
<node concept="Zlr9x" id="5n5KhV4z5W4" role="1FtGIM" />
</node>
</node>
<node concept="1FvzHF" id="5VGMV8rOn$1" role="1FufQt">
......@@ -228,23 +232,28 @@
<node concept="1FvUUU" id="5VGMV8rUlav" role="1FvB8H">
<property role="TrG5h" value="C" />
</node>
<node concept="27Pwox" id="5VGMV8rUlaM" role="1FvB8I">
<ref role="1F1YRu" to="jzuy:1Da9ityUTbw" resolve="Var" />
<node concept="bFJCQ" id="5VGMV8rUlaV" role="27Pwov">
<ref role="3zVwH8" to="tpck:h0TrG11" resolve="name" />
<node concept="1FvUUU" id="5VGMV8rUlbb" role="bFJCb">
<property role="TrG5h" value="name" />
</node>
</node>
</node>
<node concept="1FvUUU" id="5VGMV8rUlbs" role="1FvB8J">
<property role="TrG5h" value="T" />
</node>
<node concept="1XyUHm" id="5n5KhV4zbeZ" role="1FvB8I">
<node concept="1FvUUU" id="5n5KhV4zaME" role="1XBmw5">
<property role="TrG5h" value="v" />
</node>
<node concept="27Pwox" id="5VGMV8rUlaM" role="1XyUH6">
<ref role="1F1YRu" to="jzuy:1Da9ityUTbw" resolve="Var" />
<node concept="bFJCQ" id="5VGMV8rUlaV" role="27Pwov">
<ref role="3zVwH8" to="tpck:h0TrG11" resolve="name" />
<node concept="1FvUUU" id="5VGMV8rUlbb" role="bFJCb">
<property role="TrG5h" value="name" />
</node>
</node>
</node>
</node>
</node>
<node concept="1FvB8F" id="5VGMV8rUlbw" role="1FvUVk">
<ref role="1FvB8G" node="5VGMV8rOnyi" resolve="lookup" />
<node concept="1FvUUU" id="5VGMV8rUlcQ" role="1FvB8H">
<property role="TrG5h" value="name" />
<property role="TrG5h" value="v" />
</node>
<node concept="1FvUUU" id="5VGMV8rUld7" role="1FvB8I">
<property role="TrG5h" value="C" />
......@@ -573,8 +582,19 @@
<property role="TrG5h" value="lookup found" />
<node concept="1FvB8F" id="2U2uJPq7S1J" role="1FvUUP">
<ref role="1FvB8G" node="5VGMV8rOnyi" resolve="lookup" />
<node concept="1FvUUU" id="1i7EeNbivy_" role="1FvB8H">
<property role="TrG5h" value="x" />
<node concept="1XyUHm" id="5n5KhV4zdSC" role="1FvB8H">
<node concept="27Pwox" id="5n5KhV4zelK" role="1XyUH6">
<ref role="1F1YRu" to="jzuy:1Da9ityUTbw" resolve="Var" />
<node concept="bFJCQ" id="5n5KhV4zeM6" role="27Pwov">
<ref role="3zVwH8" to="tpck:h0TrG11" resolve="name" />
<node concept="1FvUUU" id="5n5KhV4zfEK" role="bFJCb">
<property role="TrG5h" value="x" />
</node>
</node>
</node>
<node concept="1FvUUU" id="1i7EeNbivy_" role="1XBmw5">
<property role="TrG5h" value="v" />
</node>
</node>
<node concept="1FvUUU" id="2U2uJPq7S1N" role="1FvB8J">
<property role="TrG5h" value="T" />
......@@ -624,7 +644,7 @@
<node concept="1FvB8F" id="1hTaSs9EYHt" role="1FvUVk">
<ref role="1FvB8G" node="5VGMV8rOnyi" resolve="lookup" />
<node concept="1FvUUU" id="1hTaSs9EYHT" role="1FvB8H">
<property role="TrG5h" value="x" />
<property role="TrG5h" value="v" />
</node>
<node concept="1FvUUU" id="1hTaSs9EYIf" role="1FvB8I">
<property role="TrG5h" value="C2" />
......@@ -635,8 +655,19 @@
</node>
<node concept="1FvB8F" id="1hTaSs9EYIt" role="1FvUUP">
<ref role="1FvB8G" node="5VGMV8rOnyi" resolve="lookup" />
<node concept="1FvUUU" id="1hTaSs9EYII" role="1FvB8H">
<property role="TrG5h" value="x" />
<node concept="1XyUHm" id="5n5KhV4zhRX" role="1FvB8H">
<node concept="27Pwox" id="5n5KhV4zjdE" role="1XyUH6">
<ref role="1F1YRu" to="jzuy:1Da9ityUTbw" resolve="Var" />
<node concept="bFJCQ" id="5n5KhV4zjE0" role="27Pwov">
<ref role="3zVwH8" to="tpck:h0TrG11" resolve="name" />
<node concept="1FvUUU" id="5n5KhV4zk6s" role="bFJCb">
<property role="TrG5h" value="x" />
</node>
</node>
</node>
<node concept="1FvUUU" id="1hTaSs9EYII" role="1XBmw5">
<property role="TrG5h" value="v" />
</node>
</node>
<node concept="27Pwox" id="1hTaSs9EYJl" role="1FvB8I">
<ref role="1F1YRu" to="jzuy:2_58u12e1eN" resolve="Bind" />
......
This source diff could not be displayed because it is too large. You can view the blob instead.
<?xml version="1.0" encoding="UTF-8"?>
<model ref="r:5d617f11-201f-4db1-a2a8-34946e1b1fd1(pcf.exectests.test.fail_add_both)">
<persistence version="9" />
<languages>
<use id="5a551d67-ba3f-49dc-b984-2ea4f8c9ad07" name="pcf.lang" version="0" />
</languages>
<imports />
<registry>
<language id="5a551d67-ba3f-49dc-b984-2ea4f8c9ad07" name="pcf.lang">
<concept id="7997266186981964043" name="pcf.lang.structure.ModuleElemDef" flags="ng" index="2BHCoM">
<child id="7997266186982065639" name="term" index="2BHfFu" />
</concept>
<concept id="5790571747095872620" name="pcf.lang.structure.Module" flags="ng" index="1gj3CZ">
<child id="5790571747095872621" name="elems" index="1gj3CY" />
</concept>
<concept id="1894367444356272930" name="pcf.lang.structure.Lam" flags="ng" index="1SCro5">
<child id="6840065899900111421" name="ty" index="158W6f" />
<child id="1894367444356272950" name="t" index="1SCroh" />
</concept>
<concept id="1894367444356272898" name="pcf.lang.structure.Add" flags="ng" index="1SCro_">
<child id="1894367444356272903" name="t1" index="1SCrow" />
<child id="1894367444356272907" name="t2" index="1SCroG" />
</concept>
<concept id="1894367444356273132" name="pcf.lang.structure.Nat" flags="ng" index="1SCrrb" />
<concept id="1894367444356272864" name="pcf.lang.structure.Var" flags="ng" index="1SCrv7" />
</language>
<language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
<concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ng" index="TrEIO">
<property id="1169194664001" name="name" index="TrG5h" />
</concept>
</language>
</registry>
<node concept="1gj3CZ" id="RBQsPPLDQA">
<property role="TrG5h" value="TestFailAddBoth" />
<node concept="2BHCoM" id="RBQsPPLDQB" role="1gj3CY">
<property role="TrG5h" value="exp" />
<node concept="1SCro_" id="RBQsPPLDQC" role="2BHfFu">
<node concept="1SCro5" id="RBQsPPLDSe" role="1SCrow">
<property role="TrG5h" value="x" />
<node concept="1SCrv7" id="RBQsPPLDSw" role="1SCroh">
<property role="TrG5h" value="x" />
</node>
<node concept="1SCrrb" id="RBQsPPLDSo" role="158W6f" />
</node>
<node concept="1SCro5" id="RBQsPPLDSK" role="1SCroG">
<property role="TrG5h" value="x" />
<node concept="1SCrv7" id="RBQsPPLDT2" role="1SCroh">
<property role="TrG5h" value="x" />
</node>
<node concept="1SCrrb" id="RBQsPPLDSU" role="158W6f" />
</node>
</node>
</node>
</node>
</model>
<?xml version="1.0" encoding="UTF-8"?>
<model ref="r:81c26b00-d174-47ab-9ba5-726827bdb4a0(pcf.exectests.test.fail_add_left)">
<persistence version="9" />
<languages>
<use id="5a551d67-ba3f-49dc-b984-2ea4f8c9ad07" name="pcf.lang" version="0" />
</languages>
<imports />
<registry>
<language id="5a551d67-ba3f-49dc-b984-2ea4f8c9ad07" name="pcf.lang">
<concept id="7997266186981964043" name="pcf.lang.structure.ModuleElemDef" flags="ng" index="2BHCoM">
<child id="7997266186982065639" name="term" index="2BHfFu" />
</concept>
<concept id="6840065899900111365" name="pcf.lang.structure.NumLit" flags="ng" index="158W6R">
<property id="6840065899900111366" name="num" index="158W6O" />
</concept>
<concept id="5790571747095872620" name="pcf.lang.structure.Module" flags="ng" index="1gj3CZ">
<child id="5790571747095872621" name="elems" index="1gj3CY" />
</concept>
<concept id="1894367444356272930" name="pcf.lang.structure.Lam" flags="ng" index="1SCro5">
<child id="6840065899900111421" name="ty" index="158W6f" />
<child id="1894367444356272950" name="t" index="1SCroh" />
</concept>
<concept id="1894367444356272898" name="pcf.lang.structure.Add" flags="ng" index="1SCro_">
<child id="1894367444356272903" name="t1" index="1SCrow" />
<child id="1894367444356272907" name="t2" index="1SCroG" />
</concept>
<concept id="1894367444356273132" name="pcf.lang.structure.Nat" flags="ng" index="1SCrrb" />
<concept id="1894367444356272864" name="pcf.lang.structure.Var" flags="ng" index="1SCrv7" />
</language>
<language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
<concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ng" index="TrEIO">
<property id="1169194664001" name="name" index="TrG5h" />
</concept>
</language>
</registry>
<node concept="1gj3CZ" id="RBQsPPLDQs">
<property role="TrG5h" value="TestFailAddLeft" />
<node concept="2BHCoM" id="RBQsPPLDQt" role="1gj3CY">
<property role="TrG5h" value="exp" />
<node concept="1SCro_" id="RBQsPPLDQu" role="2BHfFu">
<node concept="1SCro5" id="RBQsPPLDQY" role="1SCrow">
<property role="TrG5h" value="x" />
<node concept="1SCrv7" id="RBQsPPLDRg" role="1SCroh">
<property role="TrG5h" value="x" />
</node>
<node concept="1SCrrb" id="RBQsPPLDR8" role="158W6f" />
</node>
<node concept="158W6R" id="RBQsPPLDQw" role="1SCroG">
<property role="158W6O" value="1" />
</node>
</node>
</node>
</node>
</model>
<?xml version="1.0" encoding="UTF-8"?>
<model ref="r:5821b109-c062-4fff-9990-0303a05a55d8(pcf.exectests.test.fail_add_right)">
<persistence version="9" />
<languages>
<use id="5a551d67-ba3f-49dc-b984-2ea4f8c9ad07" name="pcf.lang" version="0" />
</languages>
<imports />
<registry>
<language id="5a551d67-ba3f-49dc-b984-2ea4f8c9ad07" name="pcf.lang">
<concept id="7997266186981964043" name="pcf.lang.structure.ModuleElemDef" flags="ng" index="2BHCoM">
<child id="7997266186982065639" name="term" index="2BHfFu" />
</concept>
<concept id="6840065899900111365" name="pcf.lang.structure.NumLit" flags="ng" index="158W6R">
<property id="6840065899900111366" name="num" index="158W6O" />
</concept>
<concept id="5790571747095872620" name="pcf.lang.structure.Module" flags="ng" index="1gj3CZ">
<child id="5790571747095872621" name="elems" index="1gj3CY" />
</concept>
<concept id="1894367444356272930" name="pcf.lang.structure.Lam" flags="ng" index="1SCro5">
<child id="6840065899900111421" name="ty" index="158W6f" />
<child id="1894367444356272950" name="t" index="1SCroh" />
</concept>
<concept id="1894367444356272898" name="pcf.lang.structure.Add" flags="ng" index="1SCro_">
<child id="1894367444356272903" name="t1" index="1SCrow" />
<child id="1894367444356272907" name="t2" index="1SCroG" />
</concept>
<concept id="1894367444356273132" name="pcf.lang.structure.Nat" flags="ng" index="1SCrrb" />
<concept id="1894367444356272864" name="pcf.lang.structure.Var" flags="ng" index="1SCrv7" />
</language>
<language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
<concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ng" index="TrEIO">
<property id="1169194664001" name="name" index="TrG5h" />
</concept>
</language>
</registry>
<node concept="1gj3CZ" id="RBQsPPLDQx">
<property role="TrG5h" value="TestFailAddRight" />
<node concept="2BHCoM" id="RBQsPPLDQy" role="1gj3CY">
<property role="TrG5h" value="exp" />
<node concept="1SCro_" id="RBQsPPLDQz" role="2BHfFu">
<node concept="158W6R" id="RBQsPPLDQ$" role="1SCrow">
<property role="158W6O" value="12" />
</node>
<node concept="1SCro5" id="RBQsPPLDRA" role="1SCroG">
<property role="TrG5h" value="x" />
<node concept="1SCrv7" id="RBQsPPLDRS" role="1SCroh">
<property role="TrG5h" value="x" />
</node>
<node concept="1SCrrb" id="RBQsPPLDRK" role="158W6f" />
</node>
</node>
</node>
</node>
</model>
<?xml version="1.0" encoding="UTF-8"?>
<model ref="r:fd8f47bf-e2ad-43d6-9322-0abbc0e48b13(pcf.exectests.test.fail_app_arg)">
<persistence version="9" />
<languages>
<use id="5a551d67-ba3f-49dc-b984-2ea4f8c9ad07" name="pcf.lang" version="0" />
</languages>
<imports />
<registry>
<language id="5a551d67-ba3f-49dc-b984-2ea4f8c9ad07" name="pcf.lang">
<concept id="7997266186981964043" name="pcf.lang.structure.ModuleElemDef" flags="ng" index="2BHCoM">
<child id="7997266186982065639" name="term" index="2BHfFu" />
</concept>
<concept id="5790571747095872620" name="pcf.lang.structure.Module" flags="ng" index="1gj3CZ">
<child id="5790571747095872621" name="elems" index="1gj3CY" />
</concept>
<concept id="1894367444356272930" name="pcf.lang.structure.Lam" flags="ng" index="1SCro5">
<child id="6840065899900111421" name="ty" index="158W6f" />
<child id="1894367444356272950" name="t" index="1SCroh" />
</concept>
<concept id="1894367444356273003" name="pcf.lang.structure.App" flags="ng" index="1SCrpc">
<child id="1894367444356273012" name="t1" index="1SCrpj" />
<child id="1894367444356273016" name="t2" index="1SCrpv" />
</concept>
<concept id="1894367444356273132" name="pcf.lang.structure.Nat" flags="ng" index="1SCrrb" />
<concept id="1894367444356272864" name="pcf.lang.structure.Var" flags="ng" index="1SCrv7" />
</language>
<language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
<concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ng" index="TrEIO">
<property id="1169194664001" name="name" index="TrG5h" />
</concept>
</language>
</registry>
<node concept="1gj3CZ" id="RBQsPPLDV7">
<property role="TrG5h" value="TestFailAppArg" />
<node concept="2BHCoM" id="RBQsPPLDV8" role="1gj3CY">
<property role="TrG5h" value="test" />
<node concept="1SCrpc" id="RBQsPPLDV9" role="2BHfFu">
<node concept="1SCro5" id="RBQsPPLDVa" role="1SCrpj">
<property role="TrG5h" value="x" />
<node concept="1SCrv7" id="RBQsPPLDVc" role="1SCroh">
<property role="TrG5h" value="x" />
</node>
<node concept="1SCrrb" id="RBQsPPLDVd" role="158W6f" />
</node>
<node concept="1SCro5" id="RBQsPPLDVD" role="1SCrpv">
<property role="TrG5h" value="y" />
<node concept="1SCrv7" id="RBQsPPLDVV" role="1SCroh">
<property role="TrG5h" value="y" />
</node>
<node concept="1SCrrb" id="RBQsPPLDVN" role="158W6f" />
</node>
</node>
</node>
</node>
</model>
<?xml version="1.0" encoding="UTF-8"?>
<model ref="r:fee2f4e3-2802-4020-9c54-239cfb25b5ca(pcf.exectests.test.fail_app_nonfun)">
<persistence version="9" />
<languages>
<use id="5a551d67-ba3f-49dc-b984-2ea4f8c9ad07" name="pcf.lang" version="0" />
</languages>
<imports />
<registry>
<language id="5a551d67-ba3f-49dc-b984-2ea4f8c9ad07" name="pcf.lang">
<concept id="7997266186981964043" name="pcf.lang.structure.ModuleElemDef" flags="ng" index="2BHCoM">
<child id="7997266186982065639" name="term" index="2BHfFu" />
</concept>
<concept id="6840065899900111365" name="pcf.lang.structure.NumLit" flags="ng" index="158W6R">
<property id="6840065899900111366" name="num" index="158W6O" />
</concept>
<concept id="5790571747095872620" name="pcf.lang.structure.Module" flags="ng" index="1gj3CZ">
<child id="5790571747095872621" name="elems" index="1gj3CY" />
</concept>
<concept id="1894367444356272898" name="pcf.lang.structure.Add" flags="ng" index="1SCro_">
<child id="1894367444356272903" name="t1" index="1SCrow" />
<child id="1894367444356272907" name="t2" index="1SCroG" />
</concept>
<concept id="1894367444356273003" name="pcf.lang.structure.App" flags="ng" index="1SCrpc">
<child id="1894367444356273012" name="t1" index="1SCrpj" />
<child id="1894367444356273016" name="t2" index="1SCrpv" />
</concept>
</language>
<language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
<concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ng" index="TrEIO">
<property id="1169194664001" name="name" index="TrG5h" />
</concept>
</language>
</registry>
<node concept="1gj3CZ" id="RBQsPPLDUI">
<property role="TrG5h" value="TestFailAppNonFun" />
<node concept="2BHCoM" id="RBQsPPLDUJ" role="1gj3CY">
<property role="TrG5h" value="test" />
<node concept="1SCrpc" id="RBQsPPLDUK" role="2BHfFu">
<node concept="1SCro_" id="RBQsPPLDUM" role="1SCrpv">
<node concept="158W6R" id="RBQsPPLDUP" role="1SCrow">
<property role="158W6O" value="2" />
</node>
<node concept="158W6R" id="RBQsPPLDUQ" role="1SCroG">
<property role="158W6O" value="3" />
</node>
</node>
<node concept="158W6R" id="RBQsPPLDV3" role="1SCrpj">
<property role="158W6O" value="1" />
</node>
</node>
</node>
</node>
</model>
<?xml version="1.0" encoding="UTF-8"?>
<model ref="r:e5c42e6e-e9e2-4f6c-9d98-d2a625945ca1(pcf.exectests.test.fail_fix)">
<persistence version="9" />
<languages>
<use id="5a551d67-ba3f-49dc-b984-2ea4f8c9ad07" name="pcf.lang" version="0" />
</languages>
<imports />
<registry>
<language id="5a551d67-ba3f-49dc-b984-2ea4f8c9ad07" name="pcf.lang">
<concept id="7997266186981964043" name="pcf.lang.structure.ModuleElemDef" flags="ng" index="2BHCoM">
<child id="7997266186982065639" name="term" index="2BHfFu" />
</concept>
<concept id="6840065899900111400" name="pcf.lang.structure.Fix" flags="ng" index="158W6q">
<child id="6840065899900111409" name="t" index="158W63" />
</concept>
<concept id="6840065899900111365" name="pcf.lang.structure.NumLit" flags="ng" index="158W6R">
<property id="6840065899900111366" name="num" index="158W6O" />
</concept>
<concept id="5790571747095872620" name="pcf.lang.structure.Module" flags="ng" index="1gj3CZ">
<child id="5790571747095872621" name="elems" index="1gj3CY" />
</concept>
</language>
<language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
<concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ng" index="TrEIO">
<property id="1169194664001" name="name" index="TrG5h" />
</concept>
</language>
</registry>
<node concept="1gj3CZ" id="RBQsPPLDVY">
<property role="TrG5h" value="TestFailFix" />
<node concept="2BHCoM" id="RBQsPPLDVZ" role="1gj3CY">
<property role="TrG5h" value="test" />
<node concept="158W6q" id="RBQsPPLDW0" role="2BHfFu">
<node concept="158W6R" id="RBQsPPM7qn" role="158W63">
<property role="158W6O" value="1" />
</node>
</node>
</node>
</node>
</model>
<?xml version="1.0" encoding="UTF-8"?>
<model ref="r:380438a7-62eb-4df1-94c0-db4c271bdc54(pcf.exectests.test.fail_if0_cond)">
<persistence version="9" />
<languages>
<use id="5a551d67-ba3f-49dc-b984-2ea4f8c9ad07" name="pcf.lang" version="0" />
</languages>
<imports />
<registry>
<language id="5a551d67-ba3f-49dc-b984-2ea4f8c9ad07" name="pcf.lang">
<concept id="7997266186981964043" name="pcf.lang.structure.ModuleElemDef" flags="ng" index="2BHCoM">
<child id="7997266186982065639" name="term" index="2BHfFu" />
</concept>
<concept id="6840065899900111365" name="pcf.lang.structure.NumLit" flags="ng" index="158W6R">
<property id="6840065899900111366" name="num" index="158W6O" />
</concept>
<concept id="6840065899900270961" name="pcf.lang.structure.If0" flags="ng" index="15frb3">
<child id="6840065899900270977" name="t2" index="15fr8N" />
<child id="6840065899900270966" name="cond" index="15frb4" />
<child id="6840065899900270970" name="t1" index="15frb8" />
</concept>
<concept id="5790571747095872620" name="pcf.lang.structure.Module" flags="ng" index="1gj3CZ">
<child id="5790571747095872621" name="elems" index="1gj3CY" />
</concept>
<concept id="1894367444356272930" name="pcf.lang.structure.Lam" flags="ng" index="1SCro5">
<child id="6840065899900111421" name="ty" index="158W6f" />
<child id="1894367444356272950" name="t" index="1SCroh" />
</concept>
<concept id="1894367444356272898" name="pcf.lang.structure.Add" flags="ng" index="1SCro_">
<child id="1894367444356272903" name="t1" index="1SCrow" />
<child id="1894367444356272907" name="t2" index="1SCroG" />
</concept>
<concept id="1894367444356273132" name="pcf.lang.structure.Nat" flags="ng" index="1SCrrb" />
<concept id="1894367444356273137" name="pcf.lang.structure.ParensTerm" flags="ng" index="1SCrrm">
<child id="1894367444356273142" name="t" index="1SCrrh" />
</concept>
<concept id="1894367444356272864" name="pcf.lang.structure.Var" flags="ng" index="1SCrv7" />
</language>
<language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
<concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ng" index="TrEIO">
<property id="1169194664001" name="name" index="TrG5h" />
</concept>
</language>
</registry>
<node concept="1gj3CZ" id="RBQsPPLDTc">
<property role="TrG5h" value="TestFailIf0Cond" />
<node concept="2BHCoM" id="RBQsPPLDTd" role="1gj3CY">
<property role="TrG5h" value="test" />
<node concept="15frb3" id="RBQsPPLDTe" role="2BHfFu">
<node concept="1SCro5" id="RBQsPPLDTC" role="15frb4">
<property role="TrG5h" value="x" />
<node concept="1SCrv7" id="RBQsPPLDTU" role="1SCroh">
<property role="TrG5h" value="x" />
</node>
<node concept="1SCrrb" id="RBQsPPLDTM" role="158W6f" />
</node>
<node concept="1SCro_" id="RBQsPPLDTg" role="15frb8">
<node concept="158W6R" id="RBQsPPLDTi" role="1SCrow">
<property role="158W6O" value="2" />
</node>
<node concept="158W6R" id="RBQsPPLDTj" role="1SCroG">
<property role="158W6O" value="3" />
</node>
</node>
<node concept="1SCrrm" id="RBQsPPLDTh" role="15fr8N">
<node con