From 8d7bdcf173636f35b94f50b6e57c8ec6b38fe6b0 Mon Sep 17 00:00:00 2001
From: "grigorii.kirgizov" <grigorii.kirgizov@jetbrains.com>
Date: Mon, 28 Jan 2019 17:02:55 +0300
Subject: [PATCH] lc: minor: Remove unneeded checkConstraints in subsumption

This case is anyhow handled by typeConstraints_discharge rule, when subsumes_leaves fires up,
even before those removed checks repeat this work.
---
 .../samples.lambdacalc/models/types.mps       | 246 ------------------
 1 file changed, 246 deletions(-)

diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps
index 083a92e9..e7da3167 100644
--- a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps
+++ b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps
@@ -8459,17 +8459,6 @@
                     </node>
                   </node>
                 </node>
-                <node concept="3I6s7M" id="47tET_WuRco" role="3I6sU7">
-                  <node concept="3Aqt3T" id="47tET_WuRcm" role="3I6s78">
-                    <ref role="3AqCNq" node="47tET_WgaZR" resolve="checkConstraints" />
-                    <node concept="a7P8L" id="47tET_WuRcE" role="3AunhB">
-                      <ref role="a7OzE" node="48ZGLP8pH7l" resolve="ITVs" />
-                    </node>
-                    <node concept="a7P8L" id="47tET_WuRcM" role="3AunhB">
-                      <ref role="a7OzE" node="48ZGLP8pG8E" resolve="TVs" />
-                    </node>
-                  </node>
-                </node>
               </node>
             </node>
           </node>
@@ -8581,17 +8570,6 @@
                     </node>
                   </node>
                 </node>
-                <node concept="3I6s7M" id="47tET_WuRd9" role="3I6sU7">
-                  <node concept="3Aqt3T" id="47tET_WuRd7" role="3I6s78">
-                    <ref role="3AqCNq" node="47tET_WgaZR" resolve="checkConstraints" />
-                    <node concept="a7P8L" id="47tET_WuRdr" role="3AunhB">
-                      <ref role="a7OzE" node="48ZGLP8pI8i" resolve="ITVs" />
-                    </node>
-                    <node concept="a7P8L" id="47tET_WuRdz" role="3AunhB">
-                      <ref role="a7OzE" node="48ZGLP8pI8d" resolve="TVs" />
-                    </node>
-                  </node>
-                </node>
               </node>
             </node>
           </node>
@@ -11985,15 +11963,6 @@
         </node>
       </node>
     </node>
-    <node concept="3AqmO8" id="47tET_WgaZR" role="8PkJo">
-      <property role="TrG5h" value="checkConstraints" />
-      <node concept="1zAUYm" id="47tET_WTBTl" role="1zAUyy">
-        <property role="TrG5h" value="typeList" />
-      </node>
-      <node concept="1zAUYm" id="47tET_Wgb00" role="1zAUyy">
-        <property role="TrG5h" value="originalTypeVars" />
-      </node>
-    </node>
     <node concept="3AqmO8" id="47tET_Wgb9$" role="8PkJo">
       <property role="TrG5h" value="checkVarConstraints" />
       <node concept="1zAUYm" id="47tET_Wgb9V" role="1zAUyy">
@@ -12057,221 +12026,6 @@
         <property role="TrG5h" value="instanceTypeScheme" />
       </node>
     </node>
-    <node concept="1nLNMY" id="47tET_WgaXg" role="1nK1Vg">
-      <property role="TrG5h" value="checkConstraints" />
-      <node concept="3clFbS" id="47tET_WgaXh" role="1nLNMH">
-        <node concept="3SKdUt" id="47tET_Xpo1i" role="3cqZAp">
-          <node concept="3SKdUq" id="47tET_Xpo1k" role="3SKWNk">
-            <property role="3SKdUp" value="todo: seems, TVs argument isn't needed " />
-          </node>
-        </node>
-        <node concept="1nLNNL" id="47tET_Wgb03" role="3cqZAp">
-          <node concept="1nLNMm" id="47tET_Wgb04" role="1nLNNK">
-            <node concept="0eUR_" id="47tET_Wgb08" role="0UC6o">
-              <node concept="3NuqgR" id="47tET_Wgb0a" role="0eVf_">
-                <node concept="aZer4" id="47tET_Wgb0b" role="3XD1gS">
-                  <property role="TrG5h" value="ITVs" />
-                </node>
-                <node concept="aZer4" id="47tET_Wgb0k" role="3XD1gS">
-                  <property role="TrG5h" value="TVs" />
-                </node>
-              </node>
-              <node concept="3NuqgR" id="47tET_Wgb0A" role="0eVf_">
-                <node concept="aZer4" id="47tET_Wgb0B" role="3XD1gS">
-                  <property role="TrG5h" value="TV" />
-                </node>
-                <node concept="aZer4" id="47tET_Wgb0K" role="3XD1gS">
-                  <property role="TrG5h" value="ITV" />
-                </node>
-                <node concept="aZer4" id="47tET_Wgb0W" role="3XD1gS">
-                  <property role="TrG5h" value="TVsTail" />
-                </node>
-                <node concept="aZer4" id="47tET_Wgb1c" role="3XD1gS">
-                  <property role="TrG5h" value="ITVsTail" />
-                </node>
-              </node>
-            </node>
-            <node concept="0eUR_" id="47tET_Wgb4p" role="0UC6o">
-              <node concept="3NuqgR" id="47tET_Wgb4$" role="0eVf_">
-                <node concept="aZer4" id="47tET_Wgb4_" role="3XD1gS">
-                  <property role="TrG5h" value="TV0" />
-                </node>
-                <node concept="aZer4" id="47tET_Wgb4F" role="3XD1gS">
-                  <property role="TrG5h" value="ITV0" />
-                </node>
-              </node>
-              <node concept="3NuqgR" id="47tET_Wgb5v" role="0eVf_">
-                <node concept="aZer4" id="47tET_Wgb5w" role="3XD1gS">
-                  <property role="TrG5h" value="S" />
-                </node>
-                <node concept="aZer4" id="47tET_Wgb6z" role="3XD1gS">
-                  <property role="TrG5h" value="IS" />
-                </node>
-              </node>
-            </node>
-            <node concept="3Aq93q" id="47tET_Wgb29" role="1nLNMb">
-              <node concept="3I6sU6" id="47tET_Wgb2a" role="3Ip0Jz">
-                <node concept="3I6s7M" id="47tET_Wgb2b" role="3I6sU7">
-                  <node concept="3Aqt3T" id="47tET_Wgb2c" role="3I6s78">
-                    <ref role="3AqCNq" node="47tET_WgaZR" resolve="checkConstraints" />
-                    <node concept="1HFMs5" id="47tET_Wgb2d" role="3AunhB">
-                      <node concept="a7P8L" id="47tET_Wgb2e" role="1uarlU">
-                        <ref role="a7OzE" node="47tET_Wgb0b" resolve="ITVs" />
-                      </node>
-                      <node concept="ns1u0" id="47tET_Wgb2f" role="1uarlW">
-                        <ref role="ns1xF" node="48ZGLP7pl6j" resolve="Cons" />
-                        <node concept="nsMwS" id="47tET_Wgb2g" role="ns1xD">
-                          <ref role="nsMwP" node="48ZGLP7pl6$" resolve="head" />
-                          <node concept="1nq8_$" id="47tET_Wgb2h" role="nsMwV">
-                            <node concept="a7P8L" id="47tET_Wgb3n" role="1nq8_t">
-                              <ref role="a7OzE" node="47tET_Wgb0K" resolve="ITV" />
-                            </node>
-                          </node>
-                        </node>
-                        <node concept="nsMwS" id="47tET_Wgb2j" role="ns1xD">
-                          <ref role="nsMwP" node="48ZGLP7pl6J" resolve="tail" />
-                          <node concept="1nq8_$" id="47tET_Wgb2k" role="nsMwV">
-                            <node concept="a7P8L" id="47tET_Wgb2l" role="1nq8_t">
-                              <ref role="a7OzE" node="47tET_Wgb1c" resolve="ITVsTail" />
-                            </node>
-                          </node>
-                        </node>
-                      </node>
-                    </node>
-                    <node concept="1HFMs5" id="47tET_Wgb2m" role="3AunhB">
-                      <node concept="a7P8L" id="47tET_Wgb2n" role="1uarlU">
-                        <ref role="a7OzE" node="47tET_Wgb0k" resolve="TVs" />
-                      </node>
-                      <node concept="ns1u0" id="47tET_Wgb2o" role="1uarlW">
-                        <ref role="ns1xF" node="48ZGLP7pl6j" resolve="Cons" />
-                        <node concept="nsMwS" id="47tET_Wgb2p" role="ns1xD">
-                          <ref role="nsMwP" node="48ZGLP7pl6$" resolve="head" />
-                          <node concept="1nq8_$" id="47tET_Wgb2q" role="nsMwV">
-                            <node concept="a7P8L" id="47tET_Wgb3u" role="1nq8_t">
-                              <ref role="a7OzE" node="47tET_Wgb0B" resolve="TV" />
-                            </node>
-                          </node>
-                        </node>
-                        <node concept="nsMwS" id="47tET_Wgb2s" role="ns1xD">
-                          <ref role="nsMwP" node="48ZGLP7pl6J" resolve="tail" />
-                          <node concept="1nq8_$" id="47tET_Wgb2t" role="nsMwV">
-                            <node concept="a7P8L" id="47tET_Wgb2u" role="1nq8_t">
-                              <ref role="a7OzE" node="47tET_Wgb0W" resolve="TVsTail" />
-                            </node>
-                          </node>
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="3Aq93q" id="47tET_Wgb4R" role="1nLNMb">
-              <property role="3ArMco" value="true" />
-              <node concept="3I6sU6" id="47tET_Wgb4S" role="3Ip0Jz">
-                <node concept="3I6s7M" id="47tET_Wgb6P" role="3I6sU7">
-                  <node concept="3Aqt3T" id="47tET_Wgb6Q" role="3I6s78">
-                    <ref role="3AqCNq" node="47tET_WOmOE" resolve="tdefConstraints" />
-                    <node concept="a7P8L" id="47tET_Wgb6R" role="3AunhB">
-                      <ref role="a7OzE" node="47tET_Wgb4_" resolve="TV0" />
-                    </node>
-                    <node concept="a7P8L" id="47tET_Wgb6S" role="3AunhB">
-                      <ref role="a7OzE" node="47tET_Wgb5w" resolve="S" />
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="3Aq93q" id="47tET_Wgb7x" role="1nLNMb">
-              <property role="3ArMco" value="true" />
-              <node concept="3I6sU6" id="47tET_Wgb7y" role="3Ip0Jz">
-                <node concept="3I6s7M" id="47tET_Wgb5i" role="3I6sU7">
-                  <node concept="3Aqt3T" id="47tET_Wgb5h" role="3I6s78">
-                    <ref role="3AqCNq" node="47tET_W4MQg" resolve="typeConstraints" />
-                    <node concept="a7P8L" id="47tET_WTB6Y" role="3AunhB">
-                      <ref role="a7OzE" node="47tET_Wgb4F" resolve="ITV0" />
-                    </node>
-                    <node concept="a7P8L" id="47tET_Wgb8k" role="3AunhB">
-                      <ref role="a7OzE" node="47tET_Wgb6z" resolve="IS" />
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="3Aq9E8" id="47tET_Wgb8v" role="1nLNMd">
-              <node concept="3I6sU6" id="47tET_Wgb8w" role="3Ip0Jz">
-                <node concept="3I6s7M" id="47tET_Wgba5" role="3I6sU7">
-                  <node concept="3Aqt3T" id="47tET_Wgba4" role="3I6s78">
-                    <ref role="3AqCNq" node="47tET_Wgb9$" resolve="checkVarConstraints" />
-                    <node concept="a7P8L" id="47tET_Wgbay" role="3AunhB">
-                      <ref role="a7OzE" node="47tET_Wgb0K" resolve="ITV" />
-                    </node>
-                    <node concept="a7P8L" id="47tET_WgbaE" role="3AunhB">
-                      <ref role="a7OzE" node="47tET_Wgb6z" resolve="IS" />
-                    </node>
-                  </node>
-                </node>
-                <node concept="3I6s7M" id="47tET_WgbaW" role="3I6sU7">
-                  <node concept="3Aqt3T" id="47tET_WgbaU" role="3I6s78">
-                    <ref role="3AqCNq" node="47tET_WgaZR" resolve="checkConstraints" />
-                    <node concept="a7P8L" id="47tET_WTBTo" role="3AunhB">
-                      <ref role="a7OzE" node="47tET_Wgb1c" resolve="ITVsTail" />
-                    </node>
-                    <node concept="a7P8L" id="47tET_Wgbbf" role="3AunhB">
-                      <ref role="a7OzE" node="47tET_Wgb0W" resolve="TVsTail" />
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="3Aq9_M" id="47tET_Wgb8_" role="1nLNMa">
-              <node concept="3I6sU6" id="47tET_Wgb8A" role="3Ip0Jz">
-                <node concept="3I6s7M" id="47tET_Wgb8G" role="3I6sU7">
-                  <node concept="3GeI9q" id="47tET_Wgb8D" role="3I6s78">
-                    <node concept="a7P8L" id="47tET_Wgb8L" role="3GeI8F">
-                      <ref role="a7OzE" node="47tET_Wgb4_" resolve="TV0" />
-                    </node>
-                    <node concept="a7P8L" id="47tET_Wgb8Q" role="3GeI8D">
-                      <ref role="a7OzE" node="47tET_Wgb0B" resolve="TV" />
-                    </node>
-                  </node>
-                </node>
-                <node concept="3I6s7M" id="47tET_Wgb9h" role="3I6sU7">
-                  <node concept="3GeI9q" id="47tET_Wgb9b" role="3I6s78">
-                    <node concept="a7P8L" id="47tET_Wgb9q" role="3GeI8F">
-                      <ref role="a7OzE" node="47tET_Wgb4F" resolve="ITV0" />
-                    </node>
-                    <node concept="a7P8L" id="47tET_Wgb9v" role="3GeI8D">
-                      <ref role="a7OzE" node="47tET_Wgb0K" resolve="ITV" />
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-        <node concept="3clFbH" id="47tET_Wgbbl" role="3cqZAp" />
-        <node concept="1nLNNL" id="47tET_WgbdI" role="3cqZAp">
-          <node concept="1nLNMm" id="47tET_WgbdK" role="1nLNNK">
-            <node concept="3Aq93q" id="47tET_WgbeZ" role="1nLNMb">
-              <node concept="3I6sU6" id="47tET_Wgbf0" role="3Ip0Jz">
-                <node concept="3I6s7M" id="47tET_Wgbf4" role="3I6sU7">
-                  <node concept="3Aqt3T" id="47tET_Wgbf3" role="3I6s78">
-                    <ref role="3AqCNq" node="47tET_WgaZR" resolve="checkConstraints" />
-                    <node concept="ns1u0" id="47tET_Wgbf9" role="3AunhB">
-                      <ref role="ns1xF" node="48ZGLP7pl6N" resolve="Nil" />
-                    </node>
-                    <node concept="ns1u0" id="47tET_Wgbfe" role="3AunhB">
-                      <ref role="ns1xF" node="48ZGLP7pl6N" resolve="Nil" />
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-    </node>
     <node concept="1nLNMY" id="47xL5G3rv_f" role="1nK1Vg">
       <property role="TrG5h" value="checkVarConstraints" />
       <node concept="3clFbS" id="47xL5G3rv_g" role="1nLNMH">