From 742adef5f9524b50b030c99b2c7b2215c2d525f1 Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Fri, 25 Oct 2019 18:13:43 +0200
Subject: [PATCH] Completing BL typesystem:
 [ClassifierClass,Mul,Div,LT,GT,NEQ]Expression, UnaryMinus.

---
 .../jetbrains.mps.baseLanguageExt.types.mps   | 983 ++++++++++++++++++
 1 file changed, 983 insertions(+)

diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps
index c5cb534c..da343042 100644
--- a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps
+++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps
@@ -1028,6 +1028,153 @@
         </node>
       </node>
     </node>
+    <node concept="1nLNMY" id="2vhmmFsFEf2" role="1nK1Vg">
+      <property role="TrG5h" value="classifierClassExpression" />
+      <node concept="3clFbS" id="2vhmmFsFEf3" role="1nLNMH">
+        <node concept="1mebxG" id="2vhmmFsIKby" role="3cqZAp">
+          <node concept="2OqwBi" id="2vhmmFsTUnS" role="1mebXD">
+            <node concept="3A2sRY" id="2vhmmFsTUdN" role="2Oq$k0">
+              <ref role="3A2yKK" node="2vhmmFsFMOu" resolve="cce" />
+            </node>
+            <node concept="3TrEf2" id="2vhmmFsTUzN" role="2OqNvi">
+              <ref role="3Tt5mk" to="tpee:gfVsUgY" resolve="classifier" />
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="2vhmmFsFOcQ" role="3cqZAp">
+          <node concept="3cpWsn" id="2vhmmFsFOcR" role="3cpWs9">
+            <property role="TrG5h" value="exprCls" />
+            <node concept="2sp9CU" id="2vhmmFsFObL" role="1tU5fm">
+              <ref role="2sp9C9" to="tpee:g7pOWCK" resolve="Classifier" />
+            </node>
+            <node concept="2OqwBi" id="2vhmmFsFOcS" role="33vP2m">
+              <node concept="1eOMI4" id="2vhmmFsTU25" role="2Oq$k0">
+                <node concept="2OqwBi" id="2vhmmFsTU22" role="1eOMHV">
+                  <node concept="3A2sRY" id="2vhmmFsTU23" role="2Oq$k0">
+                    <ref role="3A2yKK" node="2vhmmFsFMOu" resolve="cce" />
+                  </node>
+                  <node concept="3TrEf2" id="2vhmmFsTU24" role="2OqNvi">
+                    <ref role="3Tt5mk" to="tpee:gfVsUgY" resolve="classifier" />
+                  </node>
+                </node>
+              </node>
+              <node concept="iZEcu" id="2vhmmFsFOcW" role="2OqNvi" />
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="2vhmmFsNmcS" role="3cqZAp">
+          <node concept="3cpWsn" id="2vhmmFsNmcT" role="3cpWs9">
+            <property role="TrG5h" value="classCls" />
+            <node concept="2sp9CU" id="2vhmmFsNmcR" role="1tU5fm">
+              <ref role="2sp9C9" to="tpee:fz12cDA" resolve="ClassConcept" />
+            </node>
+            <node concept="2tJFMh" id="2vhmmFsNmcU" role="33vP2m">
+              <node concept="ZC_QK" id="2vhmmFsNmcV" role="2tJFKM">
+                <ref role="2aWVGs" to="wyt6:~Class" resolve="Class" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="1mebxG" id="2vhmmFsXkOC" role="3cqZAp">
+          <node concept="2OqwBi" id="2vhmmFsXkVW" role="1mebXD">
+            <node concept="37vLTw" id="2vhmmFsXkP_" role="2Oq$k0">
+              <ref role="3cqZAo" node="2vhmmFsNmcT" resolve="classCls" />
+            </node>
+            <node concept="Vyspw" id="2vhmmFsXlpy" role="2OqNvi">
+              <node concept="33z2y$" id="2vhmmFsXlqU" role="Vysub" />
+            </node>
+          </node>
+        </node>
+        <node concept="1nLNNL" id="2vhmmFsFMOB" role="3cqZAp">
+          <node concept="1nLNMm" id="2vhmmFsFMOC" role="1nLNNK">
+            <node concept="0eUR_" id="2vhmmFsFMOG" role="0UC6o">
+              <node concept="3NuqgR" id="2vhmmFsR$$A" role="0eVf_">
+                <node concept="aZer4" id="2vhmmFsR$$B" role="3XD1gS">
+                  <property role="TrG5h" value="ClassP" />
+                  <node concept="3cmrfG" id="2vhmmFsR$$T" role="3gj$pD">
+                    <property role="3cmrfH" value="1" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq9E8" id="2vhmmFsFOgO" role="1nLNMd">
+              <node concept="3I6sU6" id="2vhmmFsFOgP" role="3Ip0Jz">
+                <node concept="3I6s7M" id="2vhmmFsR$_S" role="3I6sU7">
+                  <node concept="3A8Hvi" id="2vhmmFsR$_M" role="3I6s78">
+                    <node concept="a7P8L" id="2vhmmFsR$Ac" role="3A8wtg">
+                      <ref role="a7OzE" node="2vhmmFsR$$B" resolve="ClassP" />
+                      <node concept="3cmrfG" id="2vhmmFsR$Au" role="3gCZO6">
+                        <property role="3cmrfH" value="0" />
+                      </node>
+                    </node>
+                    <node concept="ns1u0" id="2vhmmFsTU1R" role="3A8w4Q">
+                      <ref role="ns1xF" node="JOGAOsVt2a" resolve="classifierType" />
+                      <node concept="nsMwS" id="2vhmmFsTU1T" role="ns1xD">
+                        <ref role="nsMwP" node="JOGAOsVt2c" resolve="classifier" />
+                        <node concept="37vLTw" id="2vhmmFsTU1X" role="nsMwV">
+                          <ref role="3cqZAo" node="2vhmmFsFOcR" resolve="exprCls" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3I6s7M" id="2vhmmFsFOha" role="3I6sU7">
+                  <node concept="3Aqt3T" id="2vhmmFsFOh9" role="3I6s78">
+                    <ref role="3AqCNq" node="34$A1MfhdDv" resolve="typeOf" />
+                    <node concept="3BlFb$" id="2vhmmFsFOhf" role="3AunhB">
+                      <node concept="3A2sRY" id="2vhmmFsFOho" role="3BlFb_">
+                        <ref role="3A2yKK" node="2vhmmFsFMOu" resolve="cce" />
+                      </node>
+                    </node>
+                    <node concept="ns1u0" id="2vhmmFsFOh$" role="3AunhB">
+                      <ref role="ns1xF" node="JOGAOsVt2a" resolve="classifierType" />
+                      <node concept="nsMwS" id="2vhmmFsFOhC" role="ns1xD">
+                        <ref role="nsMwP" node="JOGAOsVt2c" resolve="classifier" />
+                        <node concept="37vLTw" id="2vhmmFsNmen" role="nsMwV">
+                          <ref role="3cqZAo" node="2vhmmFsNmcT" resolve="classCls" />
+                        </node>
+                      </node>
+                      <node concept="nsMwS" id="2vhmmFsNmw_" role="ns1xD">
+                        <ref role="nsMwP" node="JOGAOsVt2e" resolve="parameter" />
+                        <node concept="1nq8_$" id="2vhmmFsNs2M" role="nsMwV">
+                          <node concept="Hz6ka" id="2vhmmFsNs2N" role="1nq8_t">
+                            <node concept="KCUsM" id="2vhmmFsNs2O" role="Hz6kd">
+                              <node concept="22Ky0T" id="2vhmmFsNs2P" role="lGtFl">
+                                <node concept="1nq8_$" id="2vhmmFsR$B2" role="22Ky0K">
+                                  <node concept="a7P8L" id="2vhmmFsR$B0" role="1nq8_t">
+                                    <ref role="a7OzE" node="2vhmmFsR$$B" resolve="ClassP" />
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq93q" id="2vhmmFsXlt5" role="1nLNMb">
+              <property role="3ArMco" value="true" />
+              <node concept="3I6sU6" id="2vhmmFsXlt6" role="3Ip0Jz">
+                <node concept="3I6s7M" id="2vhmmFsXlta" role="3I6sU7">
+                  <node concept="3Aqt3T" id="2vhmmFsXlt9" role="3I6s78">
+                    <ref role="3AqCNq" node="34$A1MfabR$" resolve="checkAll" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2t___k" id="2vhmmFsFMOt" role="1nLNMg">
+        <ref role="2t_S0q" to="tpee:gfVsKKk" resolve="ClassifierClassExpression" />
+        <node concept="3A20r5" id="2vhmmFsFMOu" role="2t_VXX">
+          <property role="TrG5h" value="cce" />
+        </node>
+      </node>
+    </node>
   </node>
   <node concept="AVZre" id="3Qp4N06bUDh">
     <property role="TrG5h" value="Value" />
@@ -12230,6 +12377,31 @@
     <node concept="1nLNMY" id="12QmIo_7sjg" role="1nK1Vg">
       <property role="TrG5h" value="equalsExpression" />
       <node concept="3clFbS" id="12QmIo_7sjh" role="1nLNMH">
+        <node concept="3SKdUt" id="2vhmmFtd4kG" role="3cqZAp">
+          <node concept="1PaTwC" id="2vhmmFtd4kH" role="3ndbpf">
+            <node concept="3oM_SD" id="2vhmmFtd4kJ" role="1PaTwD">
+              <property role="3oM_SC" value="TODO:" />
+            </node>
+            <node concept="3oM_SD" id="2vhmmFtd4lv" role="1PaTwD">
+              <property role="3oM_SC" value="test" />
+            </node>
+            <node concept="3oM_SD" id="2vhmmFtd4ly" role="1PaTwD">
+              <property role="3oM_SC" value="that" />
+            </node>
+            <node concept="3oM_SD" id="2vhmmFtd4lA" role="1PaTwD">
+              <property role="3oM_SC" value="the" />
+            </node>
+            <node concept="3oM_SD" id="2vhmmFtd4lF" role="1PaTwD">
+              <property role="3oM_SC" value="types" />
+            </node>
+            <node concept="3oM_SD" id="2vhmmFtd4lL" role="1PaTwD">
+              <property role="3oM_SC" value="are" />
+            </node>
+            <node concept="3oM_SD" id="2vhmmFtd4lS" role="1PaTwD">
+              <property role="3oM_SC" value="comparable" />
+            </node>
+          </node>
+        </node>
         <node concept="1nLNNL" id="12QmIo_7sji" role="3cqZAp">
           <node concept="1nLNMm" id="12QmIo_7sjj" role="1nLNNK">
             <node concept="0eUR_" id="7lt0LtPBjTk" role="0UC6o">
@@ -12341,6 +12513,119 @@
         </node>
       </node>
     </node>
+    <node concept="1nLNMY" id="2vhmmFtcSLn" role="1nK1Vg">
+      <property role="TrG5h" value="notEqualsExpression" />
+      <node concept="3clFbS" id="2vhmmFtcSLo" role="1nLNMH">
+        <node concept="3SKdUt" id="2vhmmFtd3ex" role="3cqZAp">
+          <node concept="1PaTwC" id="2vhmmFtd3ey" role="3ndbpf">
+            <node concept="3oM_SD" id="2vhmmFtd3e$" role="1PaTwD">
+              <property role="3oM_SC" value="TODO" />
+            </node>
+            <node concept="3oM_SD" id="2vhmmFtd3fI" role="1PaTwD">
+              <property role="3oM_SC" value="test" />
+            </node>
+            <node concept="3oM_SD" id="2vhmmFtd46Y" role="1PaTwD">
+              <property role="3oM_SC" value="that" />
+            </node>
+            <node concept="3oM_SD" id="2vhmmFtd472" role="1PaTwD">
+              <property role="3oM_SC" value="the" />
+            </node>
+            <node concept="3oM_SD" id="2vhmmFtd4jF" role="1PaTwD">
+              <property role="3oM_SC" value="types" />
+            </node>
+            <node concept="3oM_SD" id="2vhmmFtd4jL" role="1PaTwD">
+              <property role="3oM_SC" value="are" />
+            </node>
+            <node concept="3oM_SD" id="2vhmmFtd4jS" role="1PaTwD">
+              <property role="3oM_SC" value="comparable" />
+            </node>
+          </node>
+        </node>
+        <node concept="1nLNNL" id="2vhmmFtcSLp" role="3cqZAp">
+          <node concept="1nLNMm" id="2vhmmFtcSLq" role="1nLNNK">
+            <node concept="3Aq9E8" id="2vhmmFtcYps" role="1nLNMd">
+              <node concept="3I6sU6" id="2vhmmFtcYpt" role="3Ip0Jz">
+                <node concept="3I6s7M" id="2vhmmFtd0Hz" role="3I6sU7">
+                  <node concept="3Aqt3T" id="2vhmmFtd0Hy" role="3I6s78">
+                    <ref role="3AqCNq" node="34$A1MfhdDv" resolve="typeOf" />
+                    <node concept="3BlFb$" id="2vhmmFtd0HC" role="3AunhB">
+                      <node concept="3A2sRY" id="2vhmmFtd13r" role="3BlFb_">
+                        <ref role="3A2yKK" node="2vhmmFtcSM4" resolve="nee" />
+                      </node>
+                    </node>
+                    <node concept="ns1u0" id="2vhmmFtd13y" role="3AunhB">
+                      <ref role="ns1xF" node="JOGAOsVt36" resolve="booleanType" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="0eUR_" id="2vhmmFtcSLr" role="0UC6o">
+              <node concept="3NuqgR" id="2vhmmFtcSLs" role="0eVf_">
+                <node concept="aZer4" id="2vhmmFtcSLt" role="3XD1gS">
+                  <property role="TrG5h" value="ResultType" />
+                </node>
+              </node>
+              <node concept="3NuqgR" id="2vhmmFtcSLu" role="0eVf_">
+                <node concept="aZer4" id="2vhmmFtcSLv" role="3XD1gS">
+                  <property role="TrG5h" value="LeftType" />
+                </node>
+                <node concept="aZer4" id="2vhmmFtcSLw" role="3XD1gS">
+                  <property role="TrG5h" value="RightType" />
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq93q" id="2vhmmFtcSLx" role="1nLNMb">
+              <property role="3ArMco" value="true" />
+              <node concept="3I6sU6" id="2vhmmFtcSLy" role="3Ip0Jz">
+                <node concept="3I6s7M" id="2vhmmFtcSLz" role="3I6sU7">
+                  <node concept="3Aqt3T" id="2vhmmFtcSL$" role="3I6s78">
+                    <ref role="3AqCNq" node="34$A1MfhdDv" resolve="typeOf" />
+                    <node concept="3BlFb$" id="2vhmmFtcSL_" role="3AunhB">
+                      <node concept="2OqwBi" id="2vhmmFtcSLA" role="3BlFb_">
+                        <node concept="3A2sRY" id="2vhmmFtcSLB" role="2Oq$k0">
+                          <ref role="3A2yKK" node="2vhmmFtcSM4" resolve="nee" />
+                        </node>
+                        <node concept="3TrEf2" id="2vhmmFtcSLC" role="2OqNvi">
+                          <ref role="3Tt5mk" to="tpee:fJuHU4s" resolve="leftExpression" />
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="2vhmmFtcSLD" role="3AunhB">
+                      <ref role="a7OzE" node="2vhmmFtcSLv" resolve="LeftType" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3I6s7M" id="2vhmmFtcSLE" role="3I6sU7">
+                  <node concept="3Aqt3T" id="2vhmmFtcSLF" role="3I6s78">
+                    <ref role="3AqCNq" node="34$A1MfhdDv" resolve="typeOf" />
+                    <node concept="3BlFb$" id="2vhmmFtcSLG" role="3AunhB">
+                      <node concept="2OqwBi" id="2vhmmFtcSLH" role="3BlFb_">
+                        <node concept="3A2sRY" id="2vhmmFtcSLI" role="2Oq$k0">
+                          <ref role="3A2yKK" node="2vhmmFtcSM4" resolve="nee" />
+                        </node>
+                        <node concept="3TrEf2" id="2vhmmFtcSLJ" role="2OqNvi">
+                          <ref role="3Tt5mk" to="tpee:fJuHU4r" resolve="rightExpression" />
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="2vhmmFtcSLK" role="3AunhB">
+                      <ref role="a7OzE" node="2vhmmFtcSLw" resolve="RightType" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2t___k" id="2vhmmFtcSM3" role="1nLNMg">
+        <ref role="2t_S0q" to="tpee:fBy3z0Z" resolve="NotEqualsExpression" />
+        <node concept="3A20r5" id="2vhmmFtcSM4" role="2t_VXX">
+          <property role="TrG5h" value="nee" />
+        </node>
+      </node>
+    </node>
     <node concept="1nLNMY" id="12QmIo_7sjk" role="1nK1Vg">
       <property role="TrG5h" value="assignmentExpression" />
       <node concept="3clFbS" id="12QmIo_7sjl" role="1nLNMH">
@@ -12889,6 +13174,606 @@
         </node>
       </node>
     </node>
+    <node concept="1nLNMY" id="2vhmmFt31oo" role="1nK1Vg">
+      <property role="TrG5h" value="mulExpression" />
+      <node concept="3clFbS" id="2vhmmFt31op" role="1nLNMH">
+        <node concept="1nLNNL" id="2vhmmFt31oq" role="3cqZAp">
+          <node concept="1nLNMm" id="2vhmmFt31or" role="1nLNNK">
+            <node concept="3Aq93q" id="2vhmmFt31os" role="1nLNMb">
+              <property role="3ArMco" value="true" />
+              <node concept="3I6sU6" id="2vhmmFt31ot" role="3Ip0Jz">
+                <node concept="3I6s7M" id="2vhmmFt31ou" role="3I6sU7">
+                  <node concept="3Aqt3T" id="2vhmmFt31ov" role="3I6s78">
+                    <ref role="3AqCNq" node="34$A1MfhdDv" resolve="typeOf" />
+                    <node concept="3BlFb$" id="2vhmmFt31ow" role="3AunhB">
+                      <node concept="2OqwBi" id="2vhmmFt31ox" role="3BlFb_">
+                        <node concept="3A2sRY" id="2vhmmFt31oy" role="2Oq$k0">
+                          <ref role="3A2yKK" node="2vhmmFt31oY" resolve="me" />
+                        </node>
+                        <node concept="3TrEf2" id="2vhmmFt31oz" role="2OqNvi">
+                          <ref role="3Tt5mk" to="tpee:fJuHU4s" resolve="leftExpression" />
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="2vhmmFt31o$" role="3AunhB">
+                      <ref role="a7OzE" node="2vhmmFt31oI" resolve="L" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3I6s7M" id="2vhmmFt31o_" role="3I6sU7">
+                  <node concept="3Aqt3T" id="2vhmmFt31oA" role="3I6s78">
+                    <ref role="3AqCNq" node="34$A1MfhdDv" resolve="typeOf" />
+                    <node concept="3BlFb$" id="2vhmmFt31oB" role="3AunhB">
+                      <node concept="2OqwBi" id="2vhmmFt31oC" role="3BlFb_">
+                        <node concept="3A2sRY" id="2vhmmFt31oD" role="2Oq$k0">
+                          <ref role="3A2yKK" node="2vhmmFt31oY" resolve="me" />
+                        </node>
+                        <node concept="3TrEf2" id="2vhmmFt31oE" role="2OqNvi">
+                          <ref role="3Tt5mk" to="tpee:fJuHU4r" resolve="rightExpression" />
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="2vhmmFt31oF" role="3AunhB">
+                      <ref role="a7OzE" node="2vhmmFt31oJ" resolve="R" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="0eUR_" id="2vhmmFt31oG" role="0UC6o">
+              <node concept="3NuqgR" id="2vhmmFt31oH" role="0eVf_">
+                <node concept="aZer4" id="2vhmmFt31oI" role="3XD1gS">
+                  <property role="TrG5h" value="L" />
+                </node>
+                <node concept="aZer4" id="2vhmmFt31oJ" role="3XD1gS">
+                  <property role="TrG5h" value="R" />
+                </node>
+                <node concept="aZer4" id="2vhmmFt31oK" role="3XD1gS">
+                  <property role="TrG5h" value="PromT" />
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq9E8" id="2vhmmFt31oL" role="1nLNMd">
+              <node concept="3I6sU6" id="2vhmmFt31oM" role="3Ip0Jz">
+                <node concept="3I6s7M" id="2vhmmFt31oN" role="3I6sU7">
+                  <node concept="3Aqt3T" id="2vhmmFt31oO" role="3I6s78">
+                    <ref role="3AqCNq" node="2HYHa0WD7HU" resolve="binstr_promote" />
+                    <node concept="a7P8L" id="2vhmmFt31oP" role="3AunhB">
+                      <ref role="a7OzE" node="2vhmmFt31oK" resolve="PromT" />
+                    </node>
+                    <node concept="a7P8L" id="2vhmmFt31oQ" role="3AunhB">
+                      <ref role="a7OzE" node="2vhmmFt31oI" resolve="L" />
+                    </node>
+                    <node concept="a7P8L" id="2vhmmFt31oR" role="3AunhB">
+                      <ref role="a7OzE" node="2vhmmFt31oJ" resolve="R" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3I6s7M" id="2vhmmFt31oS" role="3I6sU7">
+                  <node concept="3Aqt3T" id="2vhmmFt31oT" role="3I6s78">
+                    <ref role="3AqCNq" node="34$A1MfhdDv" resolve="typeOf" />
+                    <node concept="3BlFb$" id="2vhmmFt31oU" role="3AunhB">
+                      <node concept="3A2sRY" id="2vhmmFt31oV" role="3BlFb_">
+                        <ref role="3A2yKK" node="2vhmmFt31oY" resolve="me" />
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="2vhmmFt31oW" role="3AunhB">
+                      <ref role="a7OzE" node="2vhmmFt31oK" resolve="PromT" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2t___k" id="2vhmmFt31oX" role="1nLNMg">
+        <ref role="2t_S0q" to="tpee:fT7qRmf" resolve="MulExpression" />
+        <node concept="3A20r5" id="2vhmmFt31oY" role="2t_VXX">
+          <property role="TrG5h" value="me" />
+        </node>
+      </node>
+    </node>
+    <node concept="1nLNMY" id="2vhmmFt31za" role="1nK1Vg">
+      <property role="TrG5h" value="divExpression" />
+      <node concept="3clFbS" id="2vhmmFt31zb" role="1nLNMH">
+        <node concept="1nLNNL" id="2vhmmFt31zc" role="3cqZAp">
+          <node concept="1nLNMm" id="2vhmmFt31zd" role="1nLNNK">
+            <node concept="3Aq93q" id="2vhmmFt31ze" role="1nLNMb">
+              <property role="3ArMco" value="true" />
+              <node concept="3I6sU6" id="2vhmmFt31zf" role="3Ip0Jz">
+                <node concept="3I6s7M" id="2vhmmFt31zg" role="3I6sU7">
+                  <node concept="3Aqt3T" id="2vhmmFt31zh" role="3I6s78">
+                    <ref role="3AqCNq" node="34$A1MfhdDv" resolve="typeOf" />
+                    <node concept="3BlFb$" id="2vhmmFt31zi" role="3AunhB">
+                      <node concept="2OqwBi" id="2vhmmFt31zj" role="3BlFb_">
+                        <node concept="3A2sRY" id="2vhmmFt31zk" role="2Oq$k0">
+                          <ref role="3A2yKK" node="2vhmmFt31zK" resolve="de" />
+                        </node>
+                        <node concept="3TrEf2" id="2vhmmFt31zl" role="2OqNvi">
+                          <ref role="3Tt5mk" to="tpee:fJuHU4s" resolve="leftExpression" />
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="2vhmmFt31zm" role="3AunhB">
+                      <ref role="a7OzE" node="2vhmmFt31zw" resolve="L" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3I6s7M" id="2vhmmFt31zn" role="3I6sU7">
+                  <node concept="3Aqt3T" id="2vhmmFt31zo" role="3I6s78">
+                    <ref role="3AqCNq" node="34$A1MfhdDv" resolve="typeOf" />
+                    <node concept="3BlFb$" id="2vhmmFt31zp" role="3AunhB">
+                      <node concept="2OqwBi" id="2vhmmFt31zq" role="3BlFb_">
+                        <node concept="3A2sRY" id="2vhmmFt31zr" role="2Oq$k0">
+                          <ref role="3A2yKK" node="2vhmmFt31zK" resolve="de" />
+                        </node>
+                        <node concept="3TrEf2" id="2vhmmFt31zs" role="2OqNvi">
+                          <ref role="3Tt5mk" to="tpee:fJuHU4r" resolve="rightExpression" />
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="2vhmmFt31zt" role="3AunhB">
+                      <ref role="a7OzE" node="2vhmmFt31zx" resolve="R" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="0eUR_" id="2vhmmFt31zu" role="0UC6o">
+              <node concept="3NuqgR" id="2vhmmFt31zv" role="0eVf_">
+                <node concept="aZer4" id="2vhmmFt31zw" role="3XD1gS">
+                  <property role="TrG5h" value="L" />
+                </node>
+                <node concept="aZer4" id="2vhmmFt31zx" role="3XD1gS">
+                  <property role="TrG5h" value="R" />
+                </node>
+                <node concept="aZer4" id="2vhmmFt31zy" role="3XD1gS">
+                  <property role="TrG5h" value="PromT" />
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq9E8" id="2vhmmFt31zz" role="1nLNMd">
+              <node concept="3I6sU6" id="2vhmmFt31z$" role="3Ip0Jz">
+                <node concept="3I6s7M" id="2vhmmFt31z_" role="3I6sU7">
+                  <node concept="3Aqt3T" id="2vhmmFt31zA" role="3I6s78">
+                    <ref role="3AqCNq" node="2HYHa0WD7HU" resolve="binstr_promote" />
+                    <node concept="a7P8L" id="2vhmmFt31zB" role="3AunhB">
+                      <ref role="a7OzE" node="2vhmmFt31zy" resolve="PromT" />
+                    </node>
+                    <node concept="a7P8L" id="2vhmmFt31zC" role="3AunhB">
+                      <ref role="a7OzE" node="2vhmmFt31zw" resolve="L" />
+                    </node>
+                    <node concept="a7P8L" id="2vhmmFt31zD" role="3AunhB">
+                      <ref role="a7OzE" node="2vhmmFt31zx" resolve="R" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3I6s7M" id="2vhmmFt31zE" role="3I6sU7">
+                  <node concept="3Aqt3T" id="2vhmmFt31zF" role="3I6s78">
+                    <ref role="3AqCNq" node="34$A1MfhdDv" resolve="typeOf" />
+                    <node concept="3BlFb$" id="2vhmmFt31zG" role="3AunhB">
+                      <node concept="3A2sRY" id="2vhmmFt31zH" role="3BlFb_">
+                        <ref role="3A2yKK" node="2vhmmFt31zK" resolve="de" />
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="2vhmmFt31zI" role="3AunhB">
+                      <ref role="a7OzE" node="2vhmmFt31zy" resolve="PromT" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2t___k" id="2vhmmFt31zJ" role="1nLNMg">
+        <ref role="2t_S0q" to="tpee:fWFJ1fq" resolve="DivExpression" />
+        <node concept="3A20r5" id="2vhmmFt31zK" role="2t_VXX">
+          <property role="TrG5h" value="de" />
+        </node>
+      </node>
+    </node>
+    <node concept="1nLNMY" id="2vhmmFt7dgs" role="1nK1Vg">
+      <property role="TrG5h" value="lessThanExpression" />
+      <node concept="3clFbS" id="2vhmmFt7dgt" role="1nLNMH">
+        <node concept="1nLNNL" id="2vhmmFt7dgu" role="3cqZAp">
+          <node concept="1nLNMm" id="2vhmmFt7dgv" role="1nLNNK">
+            <node concept="3Aq93q" id="2vhmmFt7dgw" role="1nLNMb">
+              <property role="3ArMco" value="true" />
+              <node concept="3I6sU6" id="2vhmmFt7dgx" role="3Ip0Jz">
+                <node concept="3I6s7M" id="2vhmmFt7dgy" role="3I6sU7">
+                  <node concept="3Aqt3T" id="2vhmmFt7dgz" role="3I6s78">
+                    <ref role="3AqCNq" node="34$A1MfhdDv" resolve="typeOf" />
+                    <node concept="3BlFb$" id="2vhmmFt7dg$" role="3AunhB">
+                      <node concept="2OqwBi" id="2vhmmFt7dg_" role="3BlFb_">
+                        <node concept="3A2sRY" id="2vhmmFt7dgA" role="2Oq$k0">
+                          <ref role="3A2yKK" node="2vhmmFt7dh2" resolve="lt" />
+                        </node>
+                        <node concept="3TrEf2" id="2vhmmFt7dgB" role="2OqNvi">
+                          <ref role="3Tt5mk" to="tpee:fJuHU4s" resolve="leftExpression" />
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="2vhmmFt7dgC" role="3AunhB">
+                      <ref role="a7OzE" node="2vhmmFt7dgM" resolve="L" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3I6s7M" id="2vhmmFt7dgD" role="3I6sU7">
+                  <node concept="3Aqt3T" id="2vhmmFt7dgE" role="3I6s78">
+                    <ref role="3AqCNq" node="34$A1MfhdDv" resolve="typeOf" />
+                    <node concept="3BlFb$" id="2vhmmFt7dgF" role="3AunhB">
+                      <node concept="2OqwBi" id="2vhmmFt7dgG" role="3BlFb_">
+                        <node concept="3A2sRY" id="2vhmmFt7dgH" role="2Oq$k0">
+                          <ref role="3A2yKK" node="2vhmmFt7dh2" resolve="lt" />
+                        </node>
+                        <node concept="3TrEf2" id="2vhmmFt7dgI" role="2OqNvi">
+                          <ref role="3Tt5mk" to="tpee:fJuHU4r" resolve="rightExpression" />
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="2vhmmFt7dgJ" role="3AunhB">
+                      <ref role="a7OzE" node="2vhmmFt7dgN" resolve="R" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="0eUR_" id="2vhmmFt7dgK" role="0UC6o">
+              <node concept="3NuqgR" id="2vhmmFt7dgL" role="0eVf_">
+                <node concept="aZer4" id="2vhmmFt7dgM" role="3XD1gS">
+                  <property role="TrG5h" value="L" />
+                </node>
+                <node concept="aZer4" id="2vhmmFt7dgN" role="3XD1gS">
+                  <property role="TrG5h" value="R" />
+                </node>
+                <node concept="aZer4" id="2vhmmFt7dgO" role="3XD1gS">
+                  <property role="TrG5h" value="PromT" />
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq9E8" id="2vhmmFt7dgP" role="1nLNMd">
+              <node concept="3I6sU6" id="2vhmmFt7dgQ" role="3Ip0Jz">
+                <node concept="3I6s7M" id="2vhmmFt7dgR" role="3I6sU7">
+                  <node concept="3Aqt3T" id="2vhmmFt7dgS" role="3I6s78">
+                    <ref role="3AqCNq" node="2HYHa0WD7HU" resolve="binstr_promote" />
+                    <node concept="a7P8L" id="2vhmmFt7dgT" role="3AunhB">
+                      <ref role="a7OzE" node="2vhmmFt7dgO" resolve="PromT" />
+                    </node>
+                    <node concept="a7P8L" id="2vhmmFt7dgU" role="3AunhB">
+                      <ref role="a7OzE" node="2vhmmFt7dgM" resolve="L" />
+                    </node>
+                    <node concept="a7P8L" id="2vhmmFt7dgV" role="3AunhB">
+                      <ref role="a7OzE" node="2vhmmFt7dgN" resolve="R" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3I6s7M" id="2vhmmFt7dgW" role="3I6sU7">
+                  <node concept="3Aqt3T" id="2vhmmFt7dgX" role="3I6s78">
+                    <ref role="3AqCNq" node="34$A1MfhdDv" resolve="typeOf" />
+                    <node concept="3BlFb$" id="2vhmmFt7dgY" role="3AunhB">
+                      <node concept="3A2sRY" id="2vhmmFt7dgZ" role="3BlFb_">
+                        <ref role="3A2yKK" node="2vhmmFt7dh2" resolve="lt" />
+                      </node>
+                    </node>
+                    <node concept="ns1u0" id="2vhmmFt7d_a" role="3AunhB">
+                      <ref role="ns1xF" node="JOGAOsVt36" resolve="booleanType" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2t___k" id="2vhmmFt7dh1" role="1nLNMg">
+        <ref role="2t_S0q" to="tpee:fJeOVwE" resolve="LessThanExpression" />
+        <node concept="3A20r5" id="2vhmmFt7dh2" role="2t_VXX">
+          <property role="TrG5h" value="lt" />
+        </node>
+      </node>
+    </node>
+    <node concept="1nLNMY" id="2vhmmFt7dCi" role="1nK1Vg">
+      <property role="TrG5h" value="lessThanOrEqExpression" />
+      <node concept="3clFbS" id="2vhmmFt7dCj" role="1nLNMH">
+        <node concept="1nLNNL" id="2vhmmFt7dCk" role="3cqZAp">
+          <node concept="1nLNMm" id="2vhmmFt7dCl" role="1nLNNK">
+            <node concept="3Aq93q" id="2vhmmFt7dCm" role="1nLNMb">
+              <property role="3ArMco" value="true" />
+              <node concept="3I6sU6" id="2vhmmFt7dCn" role="3Ip0Jz">
+                <node concept="3I6s7M" id="2vhmmFt7dCo" role="3I6sU7">
+                  <node concept="3Aqt3T" id="2vhmmFt7dCp" role="3I6s78">
+                    <ref role="3AqCNq" node="34$A1MfhdDv" resolve="typeOf" />
+                    <node concept="3BlFb$" id="2vhmmFt7dCq" role="3AunhB">
+                      <node concept="2OqwBi" id="2vhmmFt7dCr" role="3BlFb_">
+                        <node concept="3A2sRY" id="2vhmmFt7dCs" role="2Oq$k0">
+                          <ref role="3A2yKK" node="2vhmmFt7dCS" resolve="lte" />
+                        </node>
+                        <node concept="3TrEf2" id="2vhmmFt7dCt" role="2OqNvi">
+                          <ref role="3Tt5mk" to="tpee:fJuHU4s" resolve="leftExpression" />
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="2vhmmFt7dCu" role="3AunhB">
+                      <ref role="a7OzE" node="2vhmmFt7dCC" resolve="L" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3I6s7M" id="2vhmmFt7dCv" role="3I6sU7">
+                  <node concept="3Aqt3T" id="2vhmmFt7dCw" role="3I6s78">
+                    <ref role="3AqCNq" node="34$A1MfhdDv" resolve="typeOf" />
+                    <node concept="3BlFb$" id="2vhmmFt7dCx" role="3AunhB">
+                      <node concept="2OqwBi" id="2vhmmFt7dCy" role="3BlFb_">
+                        <node concept="3A2sRY" id="2vhmmFt7dCz" role="2Oq$k0">
+                          <ref role="3A2yKK" node="2vhmmFt7dCS" resolve="lte" />
+                        </node>
+                        <node concept="3TrEf2" id="2vhmmFt7dC$" role="2OqNvi">
+                          <ref role="3Tt5mk" to="tpee:fJuHU4r" resolve="rightExpression" />
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="2vhmmFt7dC_" role="3AunhB">
+                      <ref role="a7OzE" node="2vhmmFt7dCD" resolve="R" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="0eUR_" id="2vhmmFt7dCA" role="0UC6o">
+              <node concept="3NuqgR" id="2vhmmFt7dCB" role="0eVf_">
+                <node concept="aZer4" id="2vhmmFt7dCC" role="3XD1gS">
+                  <property role="TrG5h" value="L" />
+                </node>
+                <node concept="aZer4" id="2vhmmFt7dCD" role="3XD1gS">
+                  <property role="TrG5h" value="R" />
+                </node>
+                <node concept="aZer4" id="2vhmmFt7dCE" role="3XD1gS">
+                  <property role="TrG5h" value="PromT" />
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq9E8" id="2vhmmFt7dCF" role="1nLNMd">
+              <node concept="3I6sU6" id="2vhmmFt7dCG" role="3Ip0Jz">
+                <node concept="3I6s7M" id="2vhmmFt7dCH" role="3I6sU7">
+                  <node concept="3Aqt3T" id="2vhmmFt7dCI" role="3I6s78">
+                    <ref role="3AqCNq" node="2HYHa0WD7HU" resolve="binstr_promote" />
+                    <node concept="a7P8L" id="2vhmmFt7dCJ" role="3AunhB">
+                      <ref role="a7OzE" node="2vhmmFt7dCE" resolve="PromT" />
+                    </node>
+                    <node concept="a7P8L" id="2vhmmFt7dCK" role="3AunhB">
+                      <ref role="a7OzE" node="2vhmmFt7dCC" resolve="L" />
+                    </node>
+                    <node concept="a7P8L" id="2vhmmFt7dCL" role="3AunhB">
+                      <ref role="a7OzE" node="2vhmmFt7dCD" resolve="R" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3I6s7M" id="2vhmmFt7dCM" role="3I6sU7">
+                  <node concept="3Aqt3T" id="2vhmmFt7dCN" role="3I6s78">
+                    <ref role="3AqCNq" node="34$A1MfhdDv" resolve="typeOf" />
+                    <node concept="3BlFb$" id="2vhmmFt7dCO" role="3AunhB">
+                      <node concept="3A2sRY" id="2vhmmFt7dCP" role="3BlFb_">
+                        <ref role="3A2yKK" node="2vhmmFt7dCS" resolve="lte" />
+                      </node>
+                    </node>
+                    <node concept="ns1u0" id="2vhmmFt7dCQ" role="3AunhB">
+                      <ref role="ns1xF" node="JOGAOsVt36" resolve="booleanType" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2t___k" id="2vhmmFt7dCR" role="1nLNMg">
+        <ref role="2t_S0q" to="tpee:gMdkU$l" resolve="LessThanOrEqualsExpression" />
+        <node concept="3A20r5" id="2vhmmFt7dCS" role="2t_VXX">
+          <property role="TrG5h" value="lte" />
+        </node>
+      </node>
+    </node>
+    <node concept="1nLNMY" id="2vhmmFt7dqU" role="1nK1Vg">
+      <property role="TrG5h" value="greaterThanExpression" />
+      <node concept="3clFbS" id="2vhmmFt7dqV" role="1nLNMH">
+        <node concept="1nLNNL" id="2vhmmFt7dqW" role="3cqZAp">
+          <node concept="1nLNMm" id="2vhmmFt7dqX" role="1nLNNK">
+            <node concept="3Aq93q" id="2vhmmFt7dqY" role="1nLNMb">
+              <property role="3ArMco" value="true" />
+              <node concept="3I6sU6" id="2vhmmFt7dqZ" role="3Ip0Jz">
+                <node concept="3I6s7M" id="2vhmmFt7dr0" role="3I6sU7">
+                  <node concept="3Aqt3T" id="2vhmmFt7dr1" role="3I6s78">
+                    <ref role="3AqCNq" node="34$A1MfhdDv" resolve="typeOf" />
+                    <node concept="3BlFb$" id="2vhmmFt7dr2" role="3AunhB">
+                      <node concept="2OqwBi" id="2vhmmFt7dr3" role="3BlFb_">
+                        <node concept="3A2sRY" id="2vhmmFt7dr4" role="2Oq$k0">
+                          <ref role="3A2yKK" node="2vhmmFt7drw" resolve="gt" />
+                        </node>
+                        <node concept="3TrEf2" id="2vhmmFt7dr5" role="2OqNvi">
+                          <ref role="3Tt5mk" to="tpee:fJuHU4s" resolve="leftExpression" />
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="2vhmmFt7dr6" role="3AunhB">
+                      <ref role="a7OzE" node="2vhmmFt7drg" resolve="L" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3I6s7M" id="2vhmmFt7dr7" role="3I6sU7">
+                  <node concept="3Aqt3T" id="2vhmmFt7dr8" role="3I6s78">
+                    <ref role="3AqCNq" node="34$A1MfhdDv" resolve="typeOf" />
+                    <node concept="3BlFb$" id="2vhmmFt7dr9" role="3AunhB">
+                      <node concept="2OqwBi" id="2vhmmFt7dra" role="3BlFb_">
+                        <node concept="3A2sRY" id="2vhmmFt7drb" role="2Oq$k0">
+                          <ref role="3A2yKK" node="2vhmmFt7drw" resolve="gt" />
+                        </node>
+                        <node concept="3TrEf2" id="2vhmmFt7drc" role="2OqNvi">
+                          <ref role="3Tt5mk" to="tpee:fJuHU4r" resolve="rightExpression" />
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="2vhmmFt7drd" role="3AunhB">
+                      <ref role="a7OzE" node="2vhmmFt7drh" resolve="R" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="0eUR_" id="2vhmmFt7dre" role="0UC6o">
+              <node concept="3NuqgR" id="2vhmmFt7drf" role="0eVf_">
+                <node concept="aZer4" id="2vhmmFt7drg" role="3XD1gS">
+                  <property role="TrG5h" value="L" />
+                </node>
+                <node concept="aZer4" id="2vhmmFt7drh" role="3XD1gS">
+                  <property role="TrG5h" value="R" />
+                </node>
+                <node concept="aZer4" id="2vhmmFt7dri" role="3XD1gS">
+                  <property role="TrG5h" value="PromT" />
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq9E8" id="2vhmmFt7drj" role="1nLNMd">
+              <node concept="3I6sU6" id="2vhmmFt7drk" role="3Ip0Jz">
+                <node concept="3I6s7M" id="2vhmmFt7drl" role="3I6sU7">
+                  <node concept="3Aqt3T" id="2vhmmFt7drm" role="3I6s78">
+                    <ref role="3AqCNq" node="2HYHa0WD7HU" resolve="binstr_promote" />
+                    <node concept="a7P8L" id="2vhmmFt7drn" role="3AunhB">
+                      <ref role="a7OzE" node="2vhmmFt7dri" resolve="PromT" />
+                    </node>
+                    <node concept="a7P8L" id="2vhmmFt7dro" role="3AunhB">
+                      <ref role="a7OzE" node="2vhmmFt7drg" resolve="L" />
+                    </node>
+                    <node concept="a7P8L" id="2vhmmFt7drp" role="3AunhB">
+                      <ref role="a7OzE" node="2vhmmFt7drh" resolve="R" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3I6s7M" id="2vhmmFt7drq" role="3I6sU7">
+                  <node concept="3Aqt3T" id="2vhmmFt7drr" role="3I6s78">
+                    <ref role="3AqCNq" node="34$A1MfhdDv" resolve="typeOf" />
+                    <node concept="3BlFb$" id="2vhmmFt7drs" role="3AunhB">
+                      <node concept="3A2sRY" id="2vhmmFt7drt" role="3BlFb_">
+                        <ref role="3A2yKK" node="2vhmmFt7drw" resolve="gt" />
+                      </node>
+                    </node>
+                    <node concept="ns1u0" id="2vhmmFt7d_j" role="3AunhB">
+                      <ref role="ns1xF" node="JOGAOsVt36" resolve="booleanType" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2t___k" id="2vhmmFt7drv" role="1nLNMg">
+        <ref role="2t_S0q" to="tpee:fJeOSZf" resolve="GreaterThanExpression" />
+        <node concept="3A20r5" id="2vhmmFt7drw" role="2t_VXX">
+          <property role="TrG5h" value="gt" />
+        </node>
+      </node>
+    </node>
+    <node concept="1nLNMY" id="2vhmmFt7dSh" role="1nK1Vg">
+      <property role="TrG5h" value="greaterThanOrEqExpression" />
+      <node concept="3clFbS" id="2vhmmFt7dSi" role="1nLNMH">
+        <node concept="1nLNNL" id="2vhmmFt7dSj" role="3cqZAp">
+          <node concept="1nLNMm" id="2vhmmFt7dSk" role="1nLNNK">
+            <node concept="3Aq93q" id="2vhmmFt7dSl" role="1nLNMb">
+              <property role="3ArMco" value="true" />
+              <node concept="3I6sU6" id="2vhmmFt7dSm" role="3Ip0Jz">
+                <node concept="3I6s7M" id="2vhmmFt7dSn" role="3I6sU7">
+                  <node concept="3Aqt3T" id="2vhmmFt7dSo" role="3I6s78">
+                    <ref role="3AqCNq" node="34$A1MfhdDv" resolve="typeOf" />
+                    <node concept="3BlFb$" id="2vhmmFt7dSp" role="3AunhB">
+                      <node concept="2OqwBi" id="2vhmmFt7dSq" role="3BlFb_">
+                        <node concept="3A2sRY" id="2vhmmFt7dSr" role="2Oq$k0">
+                          <ref role="3A2yKK" node="2vhmmFt7dSR" resolve="gte" />
+                        </node>
+                        <node concept="3TrEf2" id="2vhmmFt7dSs" role="2OqNvi">
+                          <ref role="3Tt5mk" to="tpee:fJuHU4s" resolve="leftExpression" />
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="2vhmmFt7dSt" role="3AunhB">
+                      <ref role="a7OzE" node="2vhmmFt7dSB" resolve="L" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3I6s7M" id="2vhmmFt7dSu" role="3I6sU7">
+                  <node concept="3Aqt3T" id="2vhmmFt7dSv" role="3I6s78">
+                    <ref role="3AqCNq" node="34$A1MfhdDv" resolve="typeOf" />
+                    <node concept="3BlFb$" id="2vhmmFt7dSw" role="3AunhB">
+                      <node concept="2OqwBi" id="2vhmmFt7dSx" role="3BlFb_">
+                        <node concept="3A2sRY" id="2vhmmFt7dSy" role="2Oq$k0">
+                          <ref role="3A2yKK" node="2vhmmFt7dSR" resolve="gte" />
+                        </node>
+                        <node concept="3TrEf2" id="2vhmmFt7dSz" role="2OqNvi">
+                          <ref role="3Tt5mk" to="tpee:fJuHU4r" resolve="rightExpression" />
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="2vhmmFt7dS$" role="3AunhB">
+                      <ref role="a7OzE" node="2vhmmFt7dSC" resolve="R" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="0eUR_" id="2vhmmFt7dS_" role="0UC6o">
+              <node concept="3NuqgR" id="2vhmmFt7dSA" role="0eVf_">
+                <node concept="aZer4" id="2vhmmFt7dSB" role="3XD1gS">
+                  <property role="TrG5h" value="L" />
+                </node>
+                <node concept="aZer4" id="2vhmmFt7dSC" role="3XD1gS">
+                  <property role="TrG5h" value="R" />
+                </node>
+                <node concept="aZer4" id="2vhmmFt7dSD" role="3XD1gS">
+                  <property role="TrG5h" value="PromT" />
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq9E8" id="2vhmmFt7dSE" role="1nLNMd">
+              <node concept="3I6sU6" id="2vhmmFt7dSF" role="3Ip0Jz">
+                <node concept="3I6s7M" id="2vhmmFt7dSG" role="3I6sU7">
+                  <node concept="3Aqt3T" id="2vhmmFt7dSH" role="3I6s78">
+                    <ref role="3AqCNq" node="2HYHa0WD7HU" resolve="binstr_promote" />
+                    <node concept="a7P8L" id="2vhmmFt7dSI" role="3AunhB">
+                      <ref role="a7OzE" node="2vhmmFt7dSD" resolve="PromT" />
+                    </node>
+                    <node concept="a7P8L" id="2vhmmFt7dSJ" role="3AunhB">
+                      <ref role="a7OzE" node="2vhmmFt7dSB" resolve="L" />
+                    </node>
+                    <node concept="a7P8L" id="2vhmmFt7dSK" role="3AunhB">
+                      <ref role="a7OzE" node="2vhmmFt7dSC" resolve="R" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3I6s7M" id="2vhmmFt7dSL" role="3I6sU7">
+                  <node concept="3Aqt3T" id="2vhmmFt7dSM" role="3I6s78">
+                    <ref role="3AqCNq" node="34$A1MfhdDv" resolve="typeOf" />
+                    <node concept="3BlFb$" id="2vhmmFt7dSN" role="3AunhB">
+                      <node concept="3A2sRY" id="2vhmmFt7dSO" role="3BlFb_">
+                        <ref role="3A2yKK" node="2vhmmFt7dSR" resolve="gte" />
+                      </node>
+                    </node>
+                    <node concept="ns1u0" id="2vhmmFt7dSP" role="3AunhB">
+                      <ref role="ns1xF" node="JOGAOsVt36" resolve="booleanType" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2t___k" id="2vhmmFt7dSQ" role="1nLNMg">
+        <ref role="2t_S0q" to="tpee:gMd3UKG" resolve="GreaterThanOrEqualsExpression" />
+        <node concept="3A20r5" id="2vhmmFt7dSR" role="2t_VXX">
+          <property role="TrG5h" value="gte" />
+        </node>
+      </node>
+    </node>
   </node>
   <node concept="AVZre" id="24Vro6cM_J$">
     <property role="3GE5qa" value="rule.relation" />
@@ -41489,5 +42374,103 @@
       </node>
     </node>
   </node>
+  <node concept="AVZre" id="2vhmmFtaaly">
+    <property role="3GE5qa" value="rule.relation" />
+    <property role="TrG5h" value="Unary" />
+    <ref role="2YbDB9" node="6qJjpCjlmVR" resolve="CheckAll" />
+    <node concept="1nLNMY" id="2vhmmFtaal_" role="1nK1Vg">
+      <property role="TrG5h" value="unaryMinus" />
+      <node concept="3clFbS" id="2vhmmFtaalA" role="1nLNMH">
+        <node concept="3SKdUt" id="2vhmmFtaatv" role="3cqZAp">
+          <node concept="1PaTwC" id="2vhmmFtaatw" role="3ndbpf">
+            <node concept="3oM_SD" id="2vhmmFtaaty" role="1PaTwD">
+              <property role="3oM_SC" value="FIXME" />
+            </node>
+            <node concept="3oM_SD" id="2vhmmFtaatL" role="1PaTwD">
+              <property role="3oM_SC" value="this" />
+            </node>
+            <node concept="3oM_SD" id="2vhmmFtaatO" role="1PaTwD">
+              <property role="3oM_SC" value="is" />
+            </node>
+            <node concept="3oM_SD" id="2vhmmFtaatS" role="1PaTwD">
+              <property role="3oM_SC" value="probably" />
+            </node>
+            <node concept="3oM_SD" id="2vhmmFtaatX" role="1PaTwD">
+              <property role="3oM_SC" value="not" />
+            </node>
+            <node concept="3oM_SD" id="2vhmmFtaau3" role="1PaTwD">
+              <property role="3oM_SC" value="according" />
+            </node>
+            <node concept="3oM_SD" id="2vhmmFtaaua" role="1PaTwD">
+              <property role="3oM_SC" value="to" />
+            </node>
+            <node concept="3oM_SD" id="2vhmmFtaaui" role="1PaTwD">
+              <property role="3oM_SC" value="the" />
+            </node>
+            <node concept="3oM_SD" id="2vhmmFtaaur" role="1PaTwD">
+              <property role="3oM_SC" value="specs" />
+            </node>
+          </node>
+        </node>
+        <node concept="1nLNNL" id="2vhmmFtaalT" role="3cqZAp">
+          <node concept="1nLNMm" id="2vhmmFtaalU" role="1nLNNK">
+            <node concept="3Aq93q" id="2vhmmFtaat1" role="1nLNMb">
+              <property role="3ArMco" value="true" />
+              <node concept="3I6sU6" id="2vhmmFtaat2" role="3Ip0Jz">
+                <node concept="3I6s7M" id="2vhmmFtaauM" role="3I6sU7">
+                  <node concept="3Aqt3T" id="2vhmmFtaauL" role="3I6s78">
+                    <ref role="3AqCNq" node="34$A1MfhdDv" resolve="typeOf" />
+                    <node concept="3BlFb$" id="2vhmmFtaauR" role="3AunhB">
+                      <node concept="2OqwBi" id="2vhmmFtaaCh" role="3BlFb_">
+                        <node concept="3A2sRY" id="2vhmmFtaav0" role="2Oq$k0">
+                          <ref role="3A2yKK" node="2vhmmFtaalE" resolve="um" />
+                        </node>
+                        <node concept="3TrEf2" id="2vhmmFtaaOC" role="2OqNvi">
+                          <ref role="3Tt5mk" to="tpee:i2$L3eA" resolve="expression" />
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="2vhmmFtaaR8" role="3AunhB">
+                      <ref role="a7OzE" node="2vhmmFtaatb" resolve="T" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="0eUR_" id="2vhmmFtaat8" role="0UC6o">
+              <node concept="3NuqgR" id="2vhmmFtaata" role="0eVf_">
+                <node concept="aZer4" id="2vhmmFtaatb" role="3XD1gS">
+                  <property role="TrG5h" value="T" />
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq9E8" id="2vhmmFtaaTe" role="1nLNMd">
+              <node concept="3I6sU6" id="2vhmmFtaaTf" role="3Ip0Jz">
+                <node concept="3I6s7M" id="2vhmmFtaaTj" role="3I6sU7">
+                  <node concept="3Aqt3T" id="2vhmmFtaaTi" role="3I6s78">
+                    <ref role="3AqCNq" node="34$A1MfhdDv" resolve="typeOf" />
+                    <node concept="3BlFb$" id="2vhmmFtaaTo" role="3AunhB">
+                      <node concept="3A2sRY" id="2vhmmFtaaTx" role="3BlFb_">
+                        <ref role="3A2yKK" node="2vhmmFtaalE" resolve="um" />
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="2vhmmFtab5O" role="3AunhB">
+                      <ref role="a7OzE" node="2vhmmFtaatb" resolve="T" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2t___k" id="2vhmmFtaalD" role="1nLNMg">
+        <ref role="2t_S0q" to="tpee:6ZEvuogdkAL" resolve="UnaryMinus" />
+        <node concept="3A20r5" id="2vhmmFtaalE" role="2t_VXX">
+          <property role="TrG5h" value="um" />
+        </node>
+      </node>
+    </node>
+  </node>
 </model>