From e7d23f9b6de709075e15c9766971ca4cc6772975 Mon Sep 17 00:00:00 2001
From: Grigorii Kirgizov <grigorii.kirgizov@jetbrains.com>
Date: Wed, 6 May 2020 18:43:21 +0300
Subject: [PATCH] Redefine how Aspect Cliques are found (fixes MPSCR-60)

Now algorithm for finding aspect cliques includes 3 stages:
1) topological sort (as before)
2) bottom-up pass with initial assignment of clique ids (as before)
3) top-down pass (i.e. in reverse topo sort order) (added stage)

The 3rd stage handles case when hierarchy of langs with
required aspect include branching point (with no join further down),
as in the case of closuresExt & collectionsExt both extending blExt,
but unrelated to each other (neither extends the other).
---
 .../jetbrains.mps.lang.coderules.aspect.mps   | 1225 +++++++++++++----
 1 file changed, 951 insertions(+), 274 deletions(-)

diff --git a/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.aspect.mps b/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.aspect.mps
index a3c68474..3113351b 100644
--- a/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.aspect.mps
+++ b/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.aspect.mps
@@ -23,6 +23,7 @@
   </imports>
   <registry>
     <language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
+      <concept id="1080223426719" name="jetbrains.mps.baseLanguage.structure.OrExpression" flags="nn" index="22lmx$" />
       <concept id="1082485599095" name="jetbrains.mps.baseLanguage.structure.BlockStatement" flags="nn" index="9aQIb">
         <child id="1082485599096" name="statements" index="9aQI4" />
       </concept>
@@ -126,6 +127,9 @@
       <concept id="1068580123136" name="jetbrains.mps.baseLanguage.structure.StatementList" flags="sn" stub="5293379017992965193" index="3clFbS">
         <child id="1068581517665" name="statement" index="3cqZAp" />
       </concept>
+      <concept id="1068580123137" name="jetbrains.mps.baseLanguage.structure.BooleanConstant" flags="nn" index="3clFbT">
+        <property id="1068580123138" name="value" index="3clFbU" />
+      </concept>
       <concept id="1068580123140" name="jetbrains.mps.baseLanguage.structure.ConstructorDeclaration" flags="ig" index="3clFbW" />
       <concept id="1068580320020" name="jetbrains.mps.baseLanguage.structure.IntegerConstant" flags="nn" index="3cmrfG">
         <property id="1068580320021" name="value" index="3cmrfH" />
@@ -143,6 +147,9 @@
       <concept id="1081516740877" name="jetbrains.mps.baseLanguage.structure.NotExpression" flags="nn" index="3fqX7Q">
         <child id="1081516765348" name="expression" index="3fr31v" />
       </concept>
+      <concept id="1160998861373" name="jetbrains.mps.baseLanguage.structure.AssertStatement" flags="nn" index="1gVbGN">
+        <child id="1160998896846" name="condition" index="1gVkn0" />
+      </concept>
       <concept id="1204053956946" name="jetbrains.mps.baseLanguage.structure.IMethodCall" flags="ng" index="1ndlxa">
         <reference id="1068499141037" name="baseMethodDeclaration" index="37wK5l" />
         <child id="1068499141038" name="actualArgument" index="37wK5m" />
@@ -256,6 +263,11 @@
       <concept id="1226516258405" name="jetbrains.mps.baseLanguage.collections.structure.HashSetCreator" flags="nn" index="2i4dXS" />
       <concept id="6801639034384703212" name="jetbrains.mps.baseLanguage.collections.structure.StackType" flags="in" index="oyxx6" />
       <concept id="5784983078884872741" name="jetbrains.mps.baseLanguage.collections.structure.PeekOperation" flags="nn" index="2oR75g" />
+      <concept id="1237467705688" name="jetbrains.mps.baseLanguage.collections.structure.IteratorType" flags="in" index="uOF1S">
+        <child id="1237467730343" name="elementType" index="uOL27" />
+      </concept>
+      <concept id="1237470895604" name="jetbrains.mps.baseLanguage.collections.structure.HasNextOperation" flags="nn" index="v0PNk" />
+      <concept id="1237471031357" name="jetbrains.mps.baseLanguage.collections.structure.GetNextOperation" flags="nn" index="v1n4t" />
       <concept id="1151688443754" name="jetbrains.mps.baseLanguage.collections.structure.ListType" flags="in" index="_YKpA">
         <child id="1151688676805" name="elementType" index="_ZDj9" />
       </concept>
@@ -264,14 +276,12 @@
       </concept>
       <concept id="3358009230508699637" name="jetbrains.mps.baseLanguage.collections.structure.PopOperation" flags="nn" index="2AryhJ" />
       <concept id="3358009230508699932" name="jetbrains.mps.baseLanguage.collections.structure.PushOperation" flags="nn" index="2ArzE6" />
-      <concept id="3358009230509553641" name="jetbrains.mps.baseLanguage.collections.structure.LinkedListType" flags="in" index="2BANLN" />
       <concept id="1226934395923" name="jetbrains.mps.baseLanguage.collections.structure.ClearSetOperation" flags="nn" index="2EZike" />
       <concept id="1237721394592" name="jetbrains.mps.baseLanguage.collections.structure.AbstractContainerCreator" flags="nn" index="HWqM0">
         <child id="1237721435807" name="elementType" index="HW$YZ" />
         <child id="1237731803878" name="copyFrom" index="I$8f6" />
       </concept>
       <concept id="1227008614712" name="jetbrains.mps.baseLanguage.collections.structure.LinkedListCreator" flags="nn" index="2Jqq0_" />
-      <concept id="1227022159410" name="jetbrains.mps.baseLanguage.collections.structure.AddFirstElementOperation" flags="nn" index="2Ke4WJ" />
       <concept id="1227022210526" name="jetbrains.mps.baseLanguage.collections.structure.ClearAllElementsOperation" flags="nn" index="2Kehj3" />
       <concept id="1201306600024" name="jetbrains.mps.baseLanguage.collections.structure.ContainsKeyOperation" flags="nn" index="2Nt0df">
         <child id="1201654602639" name="key" index="38cxEo" />
@@ -1637,6 +1647,22 @@
         </node>
       </node>
     </node>
+    <node concept="3clFbW" id="7u0sJ20M14I" role="jymVt">
+      <node concept="3cqZAl" id="7u0sJ20M14J" role="3clF45" />
+      <node concept="3clFbS" id="7u0sJ20M14L" role="3clF47">
+        <node concept="3SKdUt" id="7u0sJ20MykV" role="3cqZAp">
+          <node concept="1PaTwC" id="7u0sJ20MykW" role="3ndbpf">
+            <node concept="3oM_SD" id="7u0sJ20Mylm" role="1PaTwD">
+              <property role="3oM_SC" value="empty" />
+            </node>
+            <node concept="3oM_SD" id="7u0sJ20Mylw" role="1PaTwD">
+              <property role="3oM_SC" value="clique" />
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="3Tm6S6" id="7u0sJ20LT7t" role="1B3o_S" />
+    </node>
     <node concept="2tJIrI" id="3KN3A4uV5kV" role="jymVt" />
     <node concept="2YIFZL" id="3KN3A4uV0IR" role="jymVt">
       <property role="TrG5h" value="discoverAspects" />
@@ -1942,30 +1968,30 @@
         <node concept="3cpWs8" id="3KN3A4uUxOd" role="3cqZAp">
           <node concept="3cpWsn" id="3KN3A4uUxOe" role="3cpWs9">
             <property role="TrG5h" value="sorted" />
-            <node concept="2BANLN" id="3KN3A4uUxOf" role="1tU5fm">
-              <node concept="3uibUv" id="3KN3A4uUKUB" role="_ZDj9">
+            <node concept="3uibUv" id="dsyeIHFIn$" role="1tU5fm">
+              <ref role="3uigEE" to="33ny:~LinkedList" resolve="LinkedList" />
+              <node concept="3uibUv" id="dsyeIHFLoV" role="11_B2D">
                 <ref role="3uigEE" node="3KN3A4uUwll" resolve="AspectClique.Vtx" />
               </node>
             </node>
-            <node concept="2ShNRf" id="3KN3A4uUxOh" role="33vP2m">
-              <node concept="2Jqq0_" id="3KN3A4uUxOi" role="2ShVmc">
-                <node concept="3uibUv" id="3KN3A4uUMnR" role="HW$YZ">
-                  <ref role="3uigEE" node="3KN3A4uUwll" resolve="AspectClique.Vtx" />
-                </node>
+            <node concept="1rXfSq" id="3KN3A4uZ3ot" role="33vP2m">
+              <ref role="37wK5l" node="3KN3A4uYR89" resolve="topoSort" />
+              <node concept="37vLTw" id="3KN3A4uZ3PW" role="37wK5m">
+                <ref role="3cqZAo" node="3KN3A4uXg$_" resolve="graph" />
               </node>
             </node>
           </node>
         </node>
         <node concept="3cpWs8" id="3KN3A4uVeK_" role="3cqZAp">
           <node concept="3cpWsn" id="3KN3A4uVeKC" role="3cpWs9">
-            <property role="TrG5h" value="nextClique" />
+            <property role="TrG5h" value="maxCliques" />
             <node concept="10Oyi0" id="3KN3A4uVeKz" role="1tU5fm" />
-            <node concept="1rXfSq" id="3KN3A4uZ3ot" role="33vP2m">
-              <ref role="37wK5l" node="3KN3A4uYR89" resolve="topoSort" />
-              <node concept="37vLTw" id="3KN3A4uZ3PW" role="37wK5m">
-                <ref role="3cqZAo" node="3KN3A4uXg$_" resolve="graph" />
+            <node concept="1rXfSq" id="dsyeIHBWox" role="33vP2m">
+              <ref role="37wK5l" node="dsyeIHBOrt" resolve="findAspectCliques" />
+              <node concept="37vLTw" id="dsyeIHHkAh" role="37wK5m">
+                <ref role="3cqZAo" node="3KN3A4uZbi0" resolve="ad" />
               </node>
-              <node concept="37vLTw" id="3KN3A4uZ49h" role="37wK5m">
+              <node concept="37vLTw" id="dsyeIHBZJe" role="37wK5m">
                 <ref role="3cqZAo" node="3KN3A4uUxOe" resolve="sorted" />
               </node>
             </node>
@@ -1995,6 +2021,28 @@
             </node>
           </node>
         </node>
+        <node concept="3SKdUt" id="dsyeIHJ_d3" role="3cqZAp">
+          <node concept="1PaTwC" id="dsyeIHJ_d4" role="3ndbpf">
+            <node concept="3oM_SD" id="dsyeIHJDyM" role="1PaTwD">
+              <property role="3oM_SC" value="ignoring" />
+            </node>
+            <node concept="3oM_SD" id="dsyeIHJDyW" role="1PaTwD">
+              <property role="3oM_SC" value="nodes" />
+            </node>
+            <node concept="3oM_SD" id="dsyeIHJDyZ" role="1PaTwD">
+              <property role="3oM_SC" value="not" />
+            </node>
+            <node concept="3oM_SD" id="dsyeIHJDzj" role="1PaTwD">
+              <property role="3oM_SC" value="assigned" />
+            </node>
+            <node concept="3oM_SD" id="dsyeIHJDzQ" role="1PaTwD">
+              <property role="3oM_SC" value="to" />
+            </node>
+            <node concept="3oM_SD" id="dsyeIHJDzC" role="1PaTwD">
+              <property role="3oM_SC" value="cliques" />
+            </node>
+          </node>
+        </node>
         <node concept="1Dw8fO" id="3KN3A4uWl9m" role="3cqZAp">
           <node concept="3clFbS" id="3KN3A4uWl9o" role="2LFqv$">
             <node concept="3cpWs8" id="3KN3A4uWnnW" role="3cqZAp">
@@ -2104,7 +2152,7 @@
                               <ref role="3cqZAo" node="3KN3A4uWnnZ" resolve="aspects" />
                             </node>
                             <node concept="TSZUe" id="3KN3A4uWzL9" role="2OqNvi">
-                              <node concept="37vLTw" id="3KN3A4uZks6" role="25WWJ7">
+                              <node concept="37vLTw" id="dsyeIHDxPh" role="25WWJ7">
                                 <ref role="3cqZAo" node="3KN3A4uZhPy" resolve="aspect" />
                               </node>
                             </node>
@@ -2182,7 +2230,13 @@
                   <property role="3oM_SC" value="all" />
                 </node>
                 <node concept="3oM_SD" id="4ekZiHe3H9k" role="1PaTwD">
-                  <property role="3oM_SC" value="&quot;leafs&quot;" />
+                  <property role="3oM_SC" value="nodes" />
+                </node>
+                <node concept="3oM_SD" id="7u0sJ20LblK" role="1PaTwD">
+                  <property role="3oM_SC" value="in" />
+                </node>
+                <node concept="3oM_SD" id="7u0sJ20LblW" role="1PaTwD">
+                  <property role="3oM_SC" value="clique" />
                 </node>
                 <node concept="3oM_SD" id="4ekZiHe3Ha2" role="1PaTwD">
                   <property role="3oM_SC" value="must" />
@@ -2205,62 +2259,47 @@
               <node concept="3clFbS" id="4ekZiHe4F1u" role="2LFqv$">
                 <node concept="3clFbJ" id="4ekZiHe4F1v" role="3cqZAp">
                   <node concept="3clFbS" id="4ekZiHe4F1w" role="3clFbx">
-                    <node concept="3clFbJ" id="4ekZiHe4Iz3" role="3cqZAp">
-                      <node concept="3clFbS" id="4ekZiHe4Iz5" role="3clFbx">
-                        <node concept="3clFbJ" id="4ekZiHe4J7S" role="3cqZAp">
-                          <node concept="3clFbS" id="4ekZiHe4J7U" role="3clFbx">
-                            <node concept="3clFbF" id="4ekZiHe4LDb" role="3cqZAp">
-                              <node concept="2OqwBi" id="4ekZiHe4MhC" role="3clFbG">
-                                <node concept="37vLTw" id="4ekZiHe4LD9" role="2Oq$k0">
-                                  <ref role="3cqZAo" node="3KN3A4uWnnZ" resolve="aspects" />
-                                </node>
-                                <node concept="2Kehj3" id="4ekZiHe4Ncq" role="2OqNvi" />
-                              </node>
-                            </node>
-                            <node concept="3clFbF" id="4ekZiHe4Nma" role="3cqZAp">
-                              <node concept="2OqwBi" id="4ekZiHe4NUd" role="3clFbG">
-                                <node concept="37vLTw" id="4ekZiHe4Nm8" role="2Oq$k0">
-                                  <ref role="3cqZAo" node="3KN3A4vyRyt" resolve="aspectNs" />
-                                </node>
-                                <node concept="2EZike" id="4ekZiHe4Oty" role="2OqNvi" />
-                              </node>
-                            </node>
-                            <node concept="3zACq4" id="4ekZiHe4Oxn" role="3cqZAp" />
-                          </node>
-                          <node concept="3fqX7Q" id="4ekZiHe4Jb0" role="3clFbw">
-                            <node concept="2OqwBi" id="4ekZiHe4K3o" role="3fr31v">
-                              <node concept="37vLTw" id="4ekZiHe4Jo5" role="2Oq$k0">
-                                <ref role="3cqZAo" node="3KN3A4vyRyt" resolve="aspectNs" />
-                              </node>
-                              <node concept="3JPx81" id="4ekZiHe4KFE" role="2OqNvi">
-                                <node concept="2OqwBi" id="4ekZiHe4Ld8" role="25WWJ7">
-                                  <node concept="2OqwBi" id="4ekZiHe4KQi" role="2Oq$k0">
-                                    <node concept="37vLTw" id="4ekZiHe4KKg" role="2Oq$k0">
-                                      <ref role="3cqZAo" node="4ekZiHe4F2c" resolve="v" />
-                                    </node>
-                                    <node concept="2OwXpG" id="4ekZiHe4L0i" role="2OqNvi">
-                                      <ref role="2Oxat5" node="3KN3A4uUwms" resolve="langRtm" />
-                                    </node>
-                                  </node>
-                                  <node concept="liA8E" id="4ekZiHe4Lsv" role="2OqNvi">
-                                    <ref role="37wK5l" to="vndm:~LanguageRuntime.getNamespace()" resolve="getNamespace" />
-                                  </node>
-                                </node>
-                              </node>
+                    <node concept="3clFbJ" id="4ekZiHe4J7S" role="3cqZAp">
+                      <node concept="3clFbS" id="4ekZiHe4J7U" role="3clFbx">
+                        <node concept="3clFbF" id="4ekZiHe4LDb" role="3cqZAp">
+                          <node concept="2OqwBi" id="4ekZiHe4MhC" role="3clFbG">
+                            <node concept="37vLTw" id="4ekZiHe4LD9" role="2Oq$k0">
+                              <ref role="3cqZAo" node="3KN3A4uWnnZ" resolve="aspects" />
                             </node>
+                            <node concept="2Kehj3" id="4ekZiHe4Ncq" role="2OqNvi" />
                           </node>
                         </node>
+                        <node concept="3clFbF" id="4ekZiHe4Nma" role="3cqZAp">
+                          <node concept="2OqwBi" id="4ekZiHe4NUd" role="3clFbG">
+                            <node concept="37vLTw" id="4ekZiHe4Nm8" role="2Oq$k0">
+                              <ref role="3cqZAo" node="3KN3A4vyRyt" resolve="aspectNs" />
+                            </node>
+                            <node concept="2EZike" id="4ekZiHe4Oty" role="2OqNvi" />
+                          </node>
+                        </node>
+                        <node concept="3zACq4" id="4ekZiHe4Oxn" role="3cqZAp" />
                       </node>
-                      <node concept="2OqwBi" id="4ekZiHe8p0P" role="3clFbw">
-                        <node concept="2OqwBi" id="4ekZiHe4IQO" role="2Oq$k0">
-                          <node concept="37vLTw" id="4ekZiHe4IKW" role="2Oq$k0">
-                            <ref role="3cqZAo" node="4ekZiHe4F2c" resolve="v" />
+                      <node concept="3fqX7Q" id="4ekZiHe4Jb0" role="3clFbw">
+                        <node concept="2OqwBi" id="4ekZiHe4K3o" role="3fr31v">
+                          <node concept="37vLTw" id="4ekZiHe4Jo5" role="2Oq$k0">
+                            <ref role="3cqZAo" node="3KN3A4vyRyt" resolve="aspectNs" />
                           </node>
-                          <node concept="2OwXpG" id="4ekZiHe8odz" role="2OqNvi">
-                            <ref role="2Oxat5" node="3KN3A4w3GWQ" resolve="extendedBy" />
+                          <node concept="3JPx81" id="4ekZiHe4KFE" role="2OqNvi">
+                            <node concept="2OqwBi" id="4ekZiHe4Ld8" role="25WWJ7">
+                              <node concept="2OqwBi" id="4ekZiHe4KQi" role="2Oq$k0">
+                                <node concept="37vLTw" id="4ekZiHe4KKg" role="2Oq$k0">
+                                  <ref role="3cqZAo" node="4ekZiHe4F2c" resolve="v" />
+                                </node>
+                                <node concept="2OwXpG" id="4ekZiHe4L0i" role="2OqNvi">
+                                  <ref role="2Oxat5" node="3KN3A4uUwms" resolve="langRtm" />
+                                </node>
+                              </node>
+                              <node concept="liA8E" id="4ekZiHe4Lsv" role="2OqNvi">
+                                <ref role="37wK5l" to="vndm:~LanguageRuntime.getNamespace()" resolve="getNamespace" />
+                              </node>
+                            </node>
                           </node>
                         </node>
-                        <node concept="1v1jN8" id="4ekZiHe8q2e" role="2OqNvi" />
                       </node>
                     </node>
                   </node>
@@ -2362,71 +2401,38 @@
                 <ref role="3cqZAo" node="3KN3A4vyRyt" resolve="aspectNs" />
               </node>
             </node>
-            <node concept="3SKdUt" id="4ekZiHe4RGt" role="3cqZAp">
-              <node concept="1PaTwC" id="4ekZiHe4RGu" role="3ndbpf">
-                <node concept="3oM_SD" id="4ekZiHe4RGw" role="1PaTwD">
-                  <property role="3oM_SC" value="add" />
-                </node>
-                <node concept="3oM_SD" id="4ekZiHe4S7x" role="1PaTwD">
-                  <property role="3oM_SC" value="an" />
-                </node>
-                <node concept="3oM_SD" id="4ekZiHe4S7$" role="1PaTwD">
-                  <property role="3oM_SC" value="empty" />
-                </node>
-                <node concept="3oM_SD" id="4ekZiHe4S7S" role="1PaTwD">
-                  <property role="3oM_SC" value="clique" />
-                </node>
-                <node concept="3oM_SD" id="4ekZiHe4S8d" role="1PaTwD">
-                  <property role="3oM_SC" value="in" />
-                </node>
-                <node concept="3oM_SD" id="4ekZiHe4S8j" role="1PaTwD">
-                  <property role="3oM_SC" value="case" />
-                </node>
-                <node concept="3oM_SD" id="4ekZiHe4S8y" role="1PaTwD">
-                  <property role="3oM_SC" value="no" />
-                </node>
-                <node concept="3oM_SD" id="4ekZiHe4Slo" role="1PaTwD">
-                  <property role="3oM_SC" value="aspects" />
-                </node>
-                <node concept="3oM_SD" id="4ekZiHe4SmQ" role="1PaTwD">
-                  <property role="3oM_SC" value="discovered" />
-                </node>
-                <node concept="3oM_SD" id="4ekZiHe4Snv" role="1PaTwD">
-                  <property role="3oM_SC" value="or" />
-                </node>
-                <node concept="3oM_SD" id="4ekZiHe4SnM" role="1PaTwD">
-                  <property role="3oM_SC" value="the" />
-                </node>
-                <node concept="3oM_SD" id="4ekZiHe4SnY" role="1PaTwD">
-                  <property role="3oM_SC" value="invariant" />
-                </node>
-                <node concept="3oM_SD" id="4ekZiHe4SpJ" role="1PaTwD">
-                  <property role="3oM_SC" value="fails" />
-                </node>
-              </node>
-            </node>
-            <node concept="3clFbF" id="3KN3A4uZmqr" role="3cqZAp">
-              <node concept="2OqwBi" id="3KN3A4uZn1Y" role="3clFbG">
-                <node concept="37vLTw" id="3KN3A4uZmqp" role="2Oq$k0">
-                  <ref role="3cqZAo" node="3KN3A4uVyes" resolve="result" />
-                </node>
-                <node concept="TSZUe" id="3KN3A4uZnDE" role="2OqNvi">
-                  <node concept="2ShNRf" id="3KN3A4uZo6i" role="25WWJ7">
-                    <node concept="1pGfFk" id="3KN3A4uZok5" role="2ShVmc">
-                      <ref role="37wK5l" node="3KN3A4uXEXp" resolve="AspectClique" />
-                      <node concept="37vLTw" id="3KN3A4uZoJe" role="37wK5m">
-                        <ref role="3cqZAo" node="3KN3A4uWnnZ" resolve="aspects" />
-                      </node>
-                      <node concept="37vLTw" id="3KN3A4vyU4k" role="37wK5m">
-                        <ref role="3cqZAo" node="3KN3A4vyRyt" resolve="aspectNs" />
-                      </node>
-                      <node concept="37vLTw" id="66WUpTItdAh" role="37wK5m">
-                        <ref role="3cqZAo" node="66WUpTIsSVx" resolve="aspectCoveredNs" />
+            <node concept="3clFbJ" id="7u0sJ20MyCI" role="3cqZAp">
+              <node concept="3clFbS" id="7u0sJ20MyCK" role="3clFbx">
+                <node concept="3clFbF" id="3KN3A4uZmqr" role="3cqZAp">
+                  <node concept="2OqwBi" id="3KN3A4uZn1Y" role="3clFbG">
+                    <node concept="37vLTw" id="3KN3A4uZmqp" role="2Oq$k0">
+                      <ref role="3cqZAo" node="3KN3A4uVyes" resolve="result" />
+                    </node>
+                    <node concept="TSZUe" id="3KN3A4uZnDE" role="2OqNvi">
+                      <node concept="2ShNRf" id="3KN3A4uZo6i" role="25WWJ7">
+                        <node concept="1pGfFk" id="3KN3A4uZok5" role="2ShVmc">
+                          <ref role="37wK5l" node="3KN3A4uXEXp" resolve="AspectClique" />
+                          <node concept="37vLTw" id="3KN3A4uZoJe" role="37wK5m">
+                            <ref role="3cqZAo" node="3KN3A4uWnnZ" resolve="aspects" />
+                          </node>
+                          <node concept="37vLTw" id="3KN3A4vyU4k" role="37wK5m">
+                            <ref role="3cqZAo" node="3KN3A4vyRyt" resolve="aspectNs" />
+                          </node>
+                          <node concept="37vLTw" id="66WUpTItdAh" role="37wK5m">
+                            <ref role="3cqZAo" node="66WUpTIsSVx" resolve="aspectCoveredNs" />
+                          </node>
+                        </node>
                       </node>
                     </node>
                   </node>
                 </node>
               </node>
+              <node concept="2OqwBi" id="7u0sJ20MzNq" role="3clFbw">
+                <node concept="37vLTw" id="7u0sJ20Mz8o" role="2Oq$k0">
+                  <ref role="3cqZAo" node="3KN3A4uWnnZ" resolve="aspects" />
+                </node>
+                <node concept="3GX2aA" id="7u0sJ20M$x_" role="2OqNvi" />
+              </node>
             </node>
           </node>
           <node concept="3cpWsn" id="3KN3A4uWl9p" role="1Duv9x">
@@ -2438,7 +2444,7 @@
           </node>
           <node concept="3eOVzh" id="3KN3A4uWmSM" role="1Dwp0S">
             <node concept="37vLTw" id="3KN3A4uWmWe" role="3uHU7w">
-              <ref role="3cqZAo" node="3KN3A4uVeKC" resolve="nextClique" />
+              <ref role="3cqZAo" node="3KN3A4uVeKC" resolve="maxCliques" />
             </node>
             <node concept="37vLTw" id="3KN3A4uWmc9" role="3uHU7B">
               <ref role="3cqZAo" node="3KN3A4uWl9p" resolve="i" />
@@ -2450,7 +2456,73 @@
             </node>
           </node>
         </node>
-        <node concept="3clFbH" id="3KN3A4uVsyP" role="3cqZAp" />
+        <node concept="3SKdUt" id="4ekZiHe4RGt" role="3cqZAp">
+          <node concept="1PaTwC" id="4ekZiHe4RGu" role="3ndbpf">
+            <node concept="3oM_SD" id="4ekZiHe4RGw" role="1PaTwD">
+              <property role="3oM_SC" value="add" />
+            </node>
+            <node concept="3oM_SD" id="4ekZiHe4S7x" role="1PaTwD">
+              <property role="3oM_SC" value="an" />
+            </node>
+            <node concept="3oM_SD" id="4ekZiHe4S7$" role="1PaTwD">
+              <property role="3oM_SC" value="empty" />
+            </node>
+            <node concept="3oM_SD" id="4ekZiHe4S7S" role="1PaTwD">
+              <property role="3oM_SC" value="clique" />
+            </node>
+            <node concept="3oM_SD" id="4ekZiHe4S8d" role="1PaTwD">
+              <property role="3oM_SC" value="in" />
+            </node>
+            <node concept="3oM_SD" id="4ekZiHe4S8j" role="1PaTwD">
+              <property role="3oM_SC" value="case" />
+            </node>
+            <node concept="3oM_SD" id="4ekZiHe4S8y" role="1PaTwD">
+              <property role="3oM_SC" value="no" />
+            </node>
+            <node concept="3oM_SD" id="4ekZiHe4Slo" role="1PaTwD">
+              <property role="3oM_SC" value="aspects" />
+            </node>
+            <node concept="3oM_SD" id="4ekZiHe4SmQ" role="1PaTwD">
+              <property role="3oM_SC" value="discovered" />
+            </node>
+            <node concept="3oM_SD" id="4ekZiHe4Snv" role="1PaTwD">
+              <property role="3oM_SC" value="or" />
+            </node>
+            <node concept="3oM_SD" id="4ekZiHe4SnM" role="1PaTwD">
+              <property role="3oM_SC" value="the" />
+            </node>
+            <node concept="3oM_SD" id="4ekZiHe4SnY" role="1PaTwD">
+              <property role="3oM_SC" value="invariant" />
+            </node>
+            <node concept="3oM_SD" id="4ekZiHe4SpJ" role="1PaTwD">
+              <property role="3oM_SC" value="fails" />
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbJ" id="7u0sJ20LtGk" role="3cqZAp">
+          <node concept="3clFbS" id="7u0sJ20LtGm" role="3clFbx">
+            <node concept="3clFbF" id="7u0sJ20L_7a" role="3cqZAp">
+              <node concept="2OqwBi" id="7u0sJ20L_F2" role="3clFbG">
+                <node concept="37vLTw" id="7u0sJ20L_78" role="2Oq$k0">
+                  <ref role="3cqZAo" node="3KN3A4uVyes" resolve="result" />
+                </node>
+                <node concept="TSZUe" id="7u0sJ20L_Sf" role="2OqNvi">
+                  <node concept="2ShNRf" id="7u0sJ20LAfm" role="25WWJ7">
+                    <node concept="1pGfFk" id="7u0sJ20LC$m" role="2ShVmc">
+                      <ref role="37wK5l" node="7u0sJ20M14I" resolve="AspectClique" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="2OqwBi" id="7u0sJ20Lz8C" role="3clFbw">
+            <node concept="37vLTw" id="7u0sJ20LxTt" role="2Oq$k0">
+              <ref role="3cqZAo" node="3KN3A4uVyes" resolve="result" />
+            </node>
+            <node concept="1v1jN8" id="7u0sJ20L_4k" role="2OqNvi" />
+          </node>
+        </node>
         <node concept="3cpWs6" id="3KN3A4uUxPy" role="3cqZAp">
           <node concept="37vLTw" id="3KN3A4uZpdU" role="3cqZAk">
             <ref role="3cqZAo" node="3KN3A4uVyes" resolve="result" />
@@ -2494,23 +2566,14 @@
           </node>
         </node>
       </node>
-      <node concept="37vLTG" id="3KN3A4uYV7S" role="3clF46">
-        <property role="TrG5h" value="result" />
-        <node concept="2BANLN" id="3KN3A4uYVk2" role="1tU5fm">
-          <node concept="3uibUv" id="3KN3A4uYVk3" role="_ZDj9">
-            <ref role="3uigEE" node="3KN3A4uUwll" resolve="AspectClique.Vtx" />
-          </node>
-        </node>
-      </node>
-      <node concept="10Oyi0" id="3KN3A4uYToY" role="3clF45" />
       <node concept="3Tm6S6" id="3KN3A4uZIg9" role="1B3o_S" />
       <node concept="3clFbS" id="3KN3A4uYR8d" role="3clF47">
         <node concept="3SKdUt" id="dsyeIHz_V_" role="3cqZAp">
           <node concept="1PaTwC" id="dsyeIHz_VA" role="3ndbpf">
             <node concept="3oM_SD" id="dsyeIHz_VC" role="1PaTwD">
-              <property role="3oM_SC" value="NB:" />
+              <property role="3oM_SC" value="fixme:" />
             </node>
-            <node concept="3oM_SD" id="dsyeIHzAyI" role="1PaTwD">
+            <node concept="3oM_SD" id="dsyeIHJEeR" role="1PaTwD">
               <property role="3oM_SC" value="assuming" />
             </node>
             <node concept="3oM_SD" id="dsyeIHzAyL" role="1PaTwD">
@@ -2575,6 +2638,25 @@
             </node>
           </node>
         </node>
+        <node concept="3cpWs8" id="dsyeIHGZFT" role="3cqZAp">
+          <node concept="3cpWsn" id="dsyeIHGZFW" role="3cpWs9">
+            <property role="TrG5h" value="result" />
+            <node concept="3uibUv" id="dsyeIHFhoD" role="1tU5fm">
+              <ref role="3uigEE" to="33ny:~LinkedList" resolve="LinkedList" />
+              <node concept="3uibUv" id="dsyeIHFnMM" role="11_B2D">
+                <ref role="3uigEE" node="3KN3A4uUwll" resolve="AspectClique.Vtx" />
+              </node>
+            </node>
+            <node concept="2ShNRf" id="dsyeIHH2IY" role="33vP2m">
+              <node concept="1pGfFk" id="dsyeIHH2ZD" role="2ShVmc">
+                <ref role="37wK5l" to="33ny:~LinkedList.&lt;init&gt;()" resolve="LinkedList" />
+                <node concept="3uibUv" id="dsyeIHH3$k" role="1pMfVU">
+                  <ref role="3uigEE" node="3KN3A4uUwll" resolve="AspectClique.Vtx" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
         <node concept="3cpWs8" id="3KN3A4uYVSa" role="3cqZAp">
           <node concept="3cpWsn" id="3KN3A4uYVSb" role="3cpWs9">
             <property role="TrG5h" value="stack" />
@@ -2626,6 +2708,7 @@
             </node>
           </node>
         </node>
+        <node concept="3clFbH" id="dsyeIHHc3O" role="3cqZAp" />
         <node concept="1DcWWT" id="3KN3A4uYVSl" role="3cqZAp">
           <node concept="3clFbS" id="3KN3A4uYVSm" role="2LFqv$">
             <node concept="3clFbJ" id="3KN3A4uYVSn" role="3cqZAp">
@@ -2723,11 +2806,12 @@
                       <node concept="3clFbS" id="3KN3A4uYVTg" role="3clFbx">
                         <node concept="3clFbF" id="3KN3A4uYVTh" role="3cqZAp">
                           <node concept="2OqwBi" id="3KN3A4uYVTi" role="3clFbG">
-                            <node concept="37vLTw" id="3KN3A4uYXMN" role="2Oq$k0">
-                              <ref role="3cqZAo" node="3KN3A4uYV7S" resolve="result" />
+                            <node concept="37vLTw" id="dsyeIHH7rG" role="2Oq$k0">
+                              <ref role="3cqZAo" node="dsyeIHGZFW" resolve="result" />
                             </node>
-                            <node concept="2Ke4WJ" id="3KN3A4uYVTk" role="2OqNvi">
-                              <node concept="37vLTw" id="3KN3A4uYVTl" role="25WWJ7">
+                            <node concept="liA8E" id="dsyeIHFs6V" role="2OqNvi">
+                              <ref role="37wK5l" to="33ny:~LinkedList.addFirst(java.lang.Object)" resolve="addFirst" />
+                              <node concept="37vLTw" id="dsyeIHFsly" role="37wK5m">
                                 <ref role="3cqZAo" node="3KN3A4uYVSJ" resolve="v" />
                               </node>
                             </node>
@@ -2885,38 +2969,86 @@
             <node concept="T8wYR" id="3KN3A4uYVTA" role="2OqNvi" />
           </node>
         </node>
-        <node concept="3clFbH" id="3KN3A4w1SVP" role="3cqZAp" />
-        <node concept="3SKdUt" id="3KN3A4w2e3F" role="3cqZAp">
-          <node concept="1PaTwC" id="3KN3A4w2e3G" role="3ndbpf">
-            <node concept="3oM_SD" id="3KN3A4w2ew2" role="1PaTwD">
-              <property role="3oM_SC" value="second" />
+        <node concept="3clFbF" id="dsyeIHH7EX" role="3cqZAp">
+          <node concept="37vLTw" id="dsyeIHH7EV" role="3clFbG">
+            <ref role="3cqZAo" node="dsyeIHGZFW" resolve="result" />
+          </node>
+        </node>
+      </node>
+      <node concept="3uibUv" id="dsyeIHGXx_" role="3clF45">
+        <ref role="3uigEE" to="33ny:~LinkedList" resolve="LinkedList" />
+        <node concept="3uibUv" id="dsyeIHGXxA" role="11_B2D">
+          <ref role="3uigEE" node="3KN3A4uUwll" resolve="AspectClique.Vtx" />
+        </node>
+      </node>
+    </node>
+    <node concept="2tJIrI" id="dsyeIHDYec" role="jymVt" />
+    <node concept="2YIFZL" id="dsyeIHBOrt" role="jymVt">
+      <property role="TrG5h" value="findAspectCliques" />
+      <node concept="3clFbS" id="dsyeIHBOrv" role="3clF47">
+        <node concept="3SKdUt" id="dsyeIHBOrw" role="3cqZAp">
+          <node concept="1PaTwC" id="dsyeIHBOrx" role="3ndbpf">
+            <node concept="3oM_SD" id="dsyeIHBOry" role="1PaTwD">
+              <property role="3oM_SC" value="assuming" />
             </node>
-            <node concept="3oM_SD" id="3KN3A4w2ewc" role="1PaTwD">
-              <property role="3oM_SC" value="depth-first" />
+            <node concept="3oM_SD" id="dsyeIHBOrz" role="1PaTwD">
+              <property role="3oM_SC" value="graph" />
             </node>
-            <node concept="3oM_SD" id="3KN3A4w2exl" role="1PaTwD">
-              <property role="3oM_SC" value="search," />
+            <node concept="3oM_SD" id="dsyeIHHYyr" role="1PaTwD">
+              <property role="3oM_SC" value="is" />
             </node>
-            <node concept="3oM_SD" id="3KN3A4w2eyv" role="1PaTwD">
-              <property role="3oM_SC" value="this" />
+            <node concept="3oM_SD" id="dsyeIHBOr_" role="1PaTwD">
+              <property role="3oM_SC" value="topologically" />
             </node>
-            <node concept="3oM_SD" id="3KN3A4w2eyZ" role="1PaTwD">
-              <property role="3oM_SC" value="time" />
-            </node>
-            <node concept="3oM_SD" id="3KN3A4w2ezZ" role="1PaTwD">
-              <property role="3oM_SC" value="going" />
-            </node>
-            <node concept="3oM_SD" id="3KN3A4w2e_c" role="1PaTwD">
-              <property role="3oM_SC" value="through" />
-            </node>
-            <node concept="3oM_SD" id="3KN3A4w2eAq" role="1PaTwD">
-              <property role="3oM_SC" value="the" />
-            </node>
-            <node concept="3oM_SD" id="3KN3A4w2eAN" role="1PaTwD">
+            <node concept="3oM_SD" id="dsyeIHBOrA" role="1PaTwD">
               <property role="3oM_SC" value="sorted" />
             </node>
-            <node concept="3oM_SD" id="3KN3A4w2eBo" role="1PaTwD">
-              <property role="3oM_SC" value="list" />
+            <node concept="3oM_SD" id="dsyeIHBOrB" role="1PaTwD">
+              <property role="3oM_SC" value="from" />
+            </node>
+            <node concept="3oM_SD" id="dsyeIHBOrC" role="1PaTwD">
+              <property role="3oM_SC" value="leaves" />
+            </node>
+            <node concept="3oM_SD" id="dsyeIHBOrD" role="1PaTwD">
+              <property role="3oM_SC" value="to" />
+            </node>
+            <node concept="3oM_SD" id="dsyeIHBOrE" role="1PaTwD">
+              <property role="3oM_SC" value="roots" />
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="dsyeIHGWFT" role="3cqZAp" />
+        <node concept="3cpWs8" id="dsyeIHGUp$" role="3cqZAp">
+          <node concept="3cpWsn" id="dsyeIHGUp_" role="3cpWs9">
+            <property role="TrG5h" value="stack" />
+            <node concept="oyxx6" id="dsyeIHGUpA" role="1tU5fm">
+              <node concept="3uibUv" id="dsyeIHGUpB" role="3O5elw">
+                <ref role="3uigEE" node="3KN3A4uUwll" resolve="AspectClique.Vtx" />
+              </node>
+            </node>
+            <node concept="2ShNRf" id="dsyeIHGUpC" role="33vP2m">
+              <node concept="2Jqq0_" id="dsyeIHGUpD" role="2ShVmc">
+                <node concept="3uibUv" id="dsyeIHGUpE" role="HW$YZ">
+                  <ref role="3uigEE" node="3KN3A4uUwll" resolve="AspectClique.Vtx" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="dsyeIHGVyB" role="3cqZAp">
+          <node concept="3cpWsn" id="dsyeIHGVyC" role="3cpWs9">
+            <property role="TrG5h" value="visited" />
+            <node concept="2hMVRd" id="dsyeIHGVyD" role="1tU5fm">
+              <node concept="3uibUv" id="dsyeIHGVyE" role="2hN53Y">
+                <ref role="3uigEE" node="3KN3A4uUwll" resolve="AspectClique.Vtx" />
+              </node>
+            </node>
+            <node concept="2ShNRf" id="dsyeIHGVyF" role="33vP2m">
+              <node concept="2i4dXS" id="dsyeIHGVyG" role="2ShVmc">
+                <node concept="3uibUv" id="dsyeIHGVyH" role="HW$YZ">
+                  <ref role="3uigEE" node="3KN3A4uUwll" resolve="AspectClique.Vtx" />
+                </node>
+              </node>
             </node>
           </node>
         </node>
@@ -2929,23 +3061,449 @@
             </node>
           </node>
         </node>
-        <node concept="1DcWWT" id="3KN3A4w264C" role="3cqZAp">
-          <node concept="3clFbS" id="3KN3A4w264F" role="2LFqv$">
-            <node concept="3clFbJ" id="3KN3A4w29ER" role="3cqZAp">
-              <node concept="3clFbS" id="3KN3A4w29ET" role="3clFbx">
-                <node concept="3clFbF" id="3KN3A4w2m0k" role="3cqZAp">
-                  <node concept="2OqwBi" id="3KN3A4w2m0l" role="3clFbG">
-                    <node concept="37vLTw" id="3KN3A4w2m0m" role="2Oq$k0">
-                      <ref role="3cqZAo" node="3KN3A4uYVSb" resolve="stack" />
+        <node concept="3clFbH" id="dsyeIHH$cM" role="3cqZAp" />
+        <node concept="3SKdUt" id="dsyeIHJoGK" role="3cqZAp">
+          <node concept="1PaTwC" id="dsyeIHJoGL" role="3ndbpf">
+            <node concept="3oM_SD" id="dsyeIHJoGN" role="1PaTwD">
+              <property role="3oM_SC" value="first" />
+            </node>
+            <node concept="3oM_SD" id="dsyeIHJpFC" role="1PaTwD">
+              <property role="3oM_SC" value="bottom-up" />
+            </node>
+            <node concept="3oM_SD" id="dsyeIHJpGb" role="1PaTwD">
+              <property role="3oM_SC" value="pass:" />
+            </node>
+            <node concept="3oM_SD" id="dsyeIHJpGn" role="1PaTwD">
+              <property role="3oM_SC" value="assign" />
+            </node>
+            <node concept="3oM_SD" id="dsyeIHJpG$" role="1PaTwD">
+              <property role="3oM_SC" value="initial" />
+            </node>
+            <node concept="3oM_SD" id="dsyeIHJpGE" role="1PaTwD">
+              <property role="3oM_SC" value="clique" />
+            </node>
+            <node concept="3oM_SD" id="7u0sJ20Kj1o" role="1PaTwD">
+              <property role="3oM_SC" value="ids" />
+            </node>
+            <node concept="3oM_SD" id="dsyeIHJpHx" role="1PaTwD">
+              <property role="3oM_SC" value="" />
+            </node>
+          </node>
+        </node>
+        <node concept="1DcWWT" id="dsyeIHHBat" role="3cqZAp">
+          <node concept="3clFbS" id="dsyeIHHBav" role="2LFqv$">
+            <node concept="3clFbJ" id="dsyeIHHFmN" role="3cqZAp">
+              <node concept="3clFbS" id="dsyeIHHFmO" role="3clFbx">
+                <node concept="3clFbF" id="dsyeIHHFmP" role="3cqZAp">
+                  <node concept="2OqwBi" id="dsyeIHHFmQ" role="3clFbG">
+                    <node concept="37vLTw" id="dsyeIHHFmR" role="2Oq$k0">
+                      <ref role="3cqZAo" node="dsyeIHGUp_" resolve="stack" />
                     </node>
-                    <node concept="2ArzE6" id="3KN3A4w2m0n" role="2OqNvi">
-                      <node concept="37vLTw" id="3KN3A4w2m0o" role="25WWJ7">
-                        <ref role="3cqZAo" node="3KN3A4w264G" resolve="vtx" />
+                    <node concept="2ArzE6" id="dsyeIHHFmS" role="2OqNvi">
+                      <node concept="37vLTw" id="dsyeIHHFmT" role="25WWJ7">
+                        <ref role="3cqZAo" node="dsyeIHHBaw" resolve="vtx" />
                       </node>
                     </node>
                   </node>
                 </node>
-                <node concept="3clFbH" id="3KN3A4w2m0p" role="3cqZAp" />
+                <node concept="3clFbF" id="7u0sJ20JDOw" role="3cqZAp">
+                  <node concept="2OqwBi" id="7u0sJ20JEtM" role="3clFbG">
+                    <node concept="37vLTw" id="7u0sJ20JDOu" role="2Oq$k0">
+                      <ref role="3cqZAo" node="dsyeIHGVyC" resolve="visited" />
+                    </node>
+                    <node concept="TSZUe" id="7u0sJ20JF3n" role="2OqNvi">
+                      <node concept="37vLTw" id="7u0sJ20JF8x" role="25WWJ7">
+                        <ref role="3cqZAo" node="dsyeIHHBaw" resolve="vtx" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3clFbH" id="dsyeIHIWjD" role="3cqZAp" />
+                <node concept="2$JKZl" id="dsyeIHHFn2" role="3cqZAp">
+                  <node concept="3clFbS" id="dsyeIHHFn3" role="2LFqv$">
+                    <node concept="3cpWs8" id="dsyeIHHFn4" role="3cqZAp">
+                      <node concept="3cpWsn" id="dsyeIHHFn5" role="3cpWs9">
+                        <property role="TrG5h" value="v" />
+                        <node concept="3uibUv" id="dsyeIHHFn6" role="1tU5fm">
+                          <ref role="3uigEE" node="3KN3A4uUwll" resolve="AspectClique.Vtx" />
+                        </node>
+                        <node concept="2OqwBi" id="dsyeIHHFn7" role="33vP2m">
+                          <node concept="37vLTw" id="dsyeIHHFn8" role="2Oq$k0">
+                            <ref role="3cqZAo" node="dsyeIHGUp_" resolve="stack" />
+                          </node>
+                          <node concept="2oR75g" id="dsyeIHHFn9" role="2OqNvi" />
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="1DcWWT" id="dsyeIHHFnb" role="3cqZAp">
+                      <node concept="3clFbS" id="dsyeIHHFnc" role="2LFqv$">
+                        <node concept="3clFbJ" id="dsyeIHJ2Xi" role="3cqZAp">
+                          <node concept="2d3UOw" id="dsyeIHJbtD" role="3clFbw">
+                            <node concept="2OqwBi" id="dsyeIHJ359" role="3uHU7B">
+                              <node concept="37vLTw" id="dsyeIHJ30b" role="2Oq$k0">
+                                <ref role="3cqZAo" node="dsyeIHHFnx" resolve="vsub" />
+                              </node>
+                              <node concept="2OwXpG" id="dsyeIHJ3aC" role="2OqNvi">
+                                <ref role="2Oxat5" node="3KN3A4uVa13" resolve="clique" />
+                              </node>
+                            </node>
+                            <node concept="3cmrfG" id="dsyeIHJ46j" role="3uHU7w">
+                              <property role="3cmrfH" value="0" />
+                            </node>
+                          </node>
+                          <node concept="3clFbS" id="dsyeIHJ9V4" role="3clFbx">
+                            <node concept="3clFbF" id="dsyeIHJ9XC" role="3cqZAp">
+                              <node concept="37vLTI" id="dsyeIHJaS1" role="3clFbG">
+                                <node concept="2OqwBi" id="dsyeIHJb6X" role="37vLTx">
+                                  <node concept="37vLTw" id="dsyeIHJaY5" role="2Oq$k0">
+                                    <ref role="3cqZAo" node="dsyeIHHFnx" resolve="vsub" />
+                                  </node>
+                                  <node concept="2OwXpG" id="dsyeIHJbaz" role="2OqNvi">
+                                    <ref role="2Oxat5" node="3KN3A4uVa13" resolve="clique" />
+                                  </node>
+                                </node>
+                                <node concept="2OqwBi" id="dsyeIHJ9Zh" role="37vLTJ">
+                                  <node concept="37vLTw" id="dsyeIHJ9XB" role="2Oq$k0">
+                                    <ref role="3cqZAo" node="dsyeIHHFn5" resolve="v" />
+                                  </node>
+                                  <node concept="2OwXpG" id="dsyeIHJa49" role="2OqNvi">
+                                    <ref role="2Oxat5" node="3KN3A4uVa13" resolve="clique" />
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="3clFbJ" id="7u0sJ20K6tL" role="3cqZAp">
+                          <node concept="3fqX7Q" id="7u0sJ20K6tO" role="3clFbw">
+                            <node concept="2OqwBi" id="7u0sJ20K6tP" role="3fr31v">
+                              <node concept="37vLTw" id="7u0sJ20K6tQ" role="2Oq$k0">
+                                <ref role="3cqZAo" node="dsyeIHGVyC" resolve="visited" />
+                              </node>
+                              <node concept="3JPx81" id="7u0sJ20K6tR" role="2OqNvi">
+                                <node concept="37vLTw" id="7u0sJ20K6tS" role="25WWJ7">
+                                  <ref role="3cqZAo" node="dsyeIHHFnx" resolve="vsub" />
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                          <node concept="3clFbS" id="7u0sJ20K6tT" role="3clFbx">
+                            <node concept="3clFbF" id="7u0sJ20K6tU" role="3cqZAp">
+                              <node concept="2OqwBi" id="7u0sJ20K6tV" role="3clFbG">
+                                <node concept="37vLTw" id="7u0sJ20K6tW" role="2Oq$k0">
+                                  <ref role="3cqZAo" node="dsyeIHGUp_" resolve="stack" />
+                                </node>
+                                <node concept="2ArzE6" id="7u0sJ20K6tX" role="2OqNvi">
+                                  <node concept="37vLTw" id="7u0sJ20K6tY" role="25WWJ7">
+                                    <ref role="3cqZAo" node="dsyeIHHFnx" resolve="vsub" />
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                            <node concept="3clFbF" id="7u0sJ20K6tZ" role="3cqZAp">
+                              <node concept="2OqwBi" id="7u0sJ20K6u0" role="3clFbG">
+                                <node concept="37vLTw" id="7u0sJ20K6u1" role="2Oq$k0">
+                                  <ref role="3cqZAo" node="dsyeIHGVyC" resolve="visited" />
+                                </node>
+                                <node concept="TSZUe" id="7u0sJ20K6u2" role="2OqNvi">
+                                  <node concept="37vLTw" id="7u0sJ20K6u3" role="25WWJ7">
+                                    <ref role="3cqZAo" node="dsyeIHHFnx" resolve="vsub" />
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="3cpWsn" id="dsyeIHHFnx" role="1Duv9x">
+                        <property role="TrG5h" value="vsub" />
+                        <node concept="3uibUv" id="dsyeIHHFny" role="1tU5fm">
+                          <ref role="3uigEE" node="3KN3A4uUwll" resolve="AspectClique.Vtx" />
+                        </node>
+                      </node>
+                      <node concept="2OqwBi" id="dsyeIHHFn$" role="1DdaDG">
+                        <node concept="37vLTw" id="dsyeIHHFn_" role="2Oq$k0">
+                          <ref role="3cqZAo" node="dsyeIHHFn5" resolve="v" />
+                        </node>
+                        <node concept="2OwXpG" id="dsyeIHHFnA" role="2OqNvi">
+                          <ref role="2Oxat5" node="3KN3A4w3GWQ" resolve="extendedBy" />
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="3clFbH" id="dsyeIHHFnF" role="3cqZAp" />
+                    <node concept="3clFbJ" id="dsyeIHHFnG" role="3cqZAp">
+                      <node concept="3clFbS" id="dsyeIHHFnH" role="3clFbx">
+                        <node concept="3clFbF" id="dsyeIHHFnI" role="3cqZAp">
+                          <node concept="2OqwBi" id="dsyeIHHFnJ" role="3clFbG">
+                            <node concept="37vLTw" id="dsyeIHHFnK" role="2Oq$k0">
+                              <ref role="3cqZAo" node="dsyeIHGUp_" resolve="stack" />
+                            </node>
+                            <node concept="2AryhJ" id="dsyeIHHFnL" role="2OqNvi" />
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="3clFbC" id="dsyeIHHFnM" role="3clFbw">
+                        <node concept="37vLTw" id="dsyeIHHFnN" role="3uHU7w">
+                          <ref role="3cqZAo" node="dsyeIHHFn5" resolve="v" />
+                        </node>
+                        <node concept="2OqwBi" id="dsyeIHHFnO" role="3uHU7B">
+                          <node concept="37vLTw" id="dsyeIHHFnP" role="2Oq$k0">
+                            <ref role="3cqZAo" node="dsyeIHGUp_" resolve="stack" />
+                          </node>
+                          <node concept="2oR75g" id="dsyeIHHFnQ" role="2OqNvi" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="2OqwBi" id="dsyeIHHFnR" role="2$JKZa">
+                    <node concept="37vLTw" id="dsyeIHHFnS" role="2Oq$k0">
+                      <ref role="3cqZAo" node="dsyeIHGUp_" resolve="stack" />
+                    </node>
+                    <node concept="3GX2aA" id="dsyeIHHFnT" role="2OqNvi" />
+                  </node>
+                </node>
+                <node concept="3clFbH" id="dsyeIHHYFt" role="3cqZAp" />
+                <node concept="3clFbJ" id="dsyeIHI29t" role="3cqZAp">
+                  <node concept="3clFbS" id="dsyeIHI29v" role="3clFbx">
+                    <node concept="3cpWs8" id="dsyeIHIitt" role="3cqZAp">
+                      <node concept="3cpWsn" id="dsyeIHIitw" role="3cpWs9">
+                        <property role="TrG5h" value="aspect" />
+                        <node concept="16syzq" id="dsyeIHIitr" role="1tU5fm">
+                          <ref role="16sUi3" node="dsyeIHHsB9" resolve="T" />
+                        </node>
+                        <node concept="2OqwBi" id="dsyeIHIfns" role="33vP2m">
+                          <node concept="37vLTw" id="dsyeIHIfnt" role="2Oq$k0">
+                            <ref role="3cqZAo" node="dsyeIHHrmS" resolve="ad" />
+                          </node>
+                          <node concept="liA8E" id="dsyeIHIfnu" role="2OqNvi">
+                            <ref role="37wK5l" node="NKt6ynombB" resolve="discover" />
+                            <node concept="2OqwBi" id="dsyeIHIfnv" role="37wK5m">
+                              <node concept="37vLTw" id="dsyeIHIhT9" role="2Oq$k0">
+                                <ref role="3cqZAo" node="dsyeIHHBaw" resolve="vtx" />
+                              </node>
+                              <node concept="2OwXpG" id="dsyeIHIfnx" role="2OqNvi">
+                                <ref role="2Oxat5" node="3KN3A4uUwms" resolve="langRtm" />
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="3clFbJ" id="dsyeIHIfni" role="3cqZAp">
+                      <node concept="3clFbS" id="dsyeIHIfnj" role="3clFbx">
+                        <node concept="3clFbF" id="dsyeIHIfnk" role="3cqZAp">
+                          <node concept="37vLTI" id="dsyeIHIfnl" role="3clFbG">
+                            <node concept="2OqwBi" id="dsyeIHIfnm" role="37vLTJ">
+                              <node concept="37vLTw" id="dsyeIHIhfL" role="2Oq$k0">
+                                <ref role="3cqZAo" node="dsyeIHHBaw" resolve="vtx" />
+                              </node>
+                              <node concept="2OwXpG" id="dsyeIHIfno" role="2OqNvi">
+                                <ref role="2Oxat5" node="3KN3A4uVa13" resolve="clique" />
+                              </node>
+                            </node>
+                            <node concept="3uNrnE" id="dsyeIHIfnp" role="37vLTx">
+                              <node concept="37vLTw" id="dsyeIHIfnq" role="2$L3a6">
+                                <ref role="3cqZAo" node="3KN3A4uYVSi" resolve="nextClique" />
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="3y3z36" id="dsyeIHIfnr" role="3clFbw">
+                        <node concept="10Nm6u" id="dsyeIHIfny" role="3uHU7w" />
+                        <node concept="37vLTw" id="dsyeIHIk_u" role="3uHU7B">
+                          <ref role="3cqZAo" node="dsyeIHIitw" resolve="aspect" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3eOVzh" id="dsyeIHI3Fr" role="3clFbw">
+                    <node concept="3cmrfG" id="dsyeIHI3Hr" role="3uHU7w">
+                      <property role="3cmrfH" value="0" />
+                    </node>
+                    <node concept="2OqwBi" id="dsyeIHI2$9" role="3uHU7B">
+                      <node concept="37vLTw" id="dsyeIHI2ed" role="2Oq$k0">
+                        <ref role="3cqZAo" node="dsyeIHHBaw" resolve="vtx" />
+                      </node>
+                      <node concept="2OwXpG" id="dsyeIHI2B_" role="2OqNvi">
+                        <ref role="2Oxat5" node="3KN3A4uVa13" resolve="clique" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="3fqX7Q" id="7u0sJ20JBe9" role="3clFbw">
+                <node concept="2OqwBi" id="7u0sJ20JCKx" role="3fr31v">
+                  <node concept="37vLTw" id="7u0sJ20JCa7" role="2Oq$k0">
+                    <ref role="3cqZAo" node="dsyeIHGVyC" resolve="visited" />
+                  </node>
+                  <node concept="3JPx81" id="7u0sJ20JDnt" role="2OqNvi">
+                    <node concept="37vLTw" id="7u0sJ20JDrf" role="25WWJ7">
+                      <ref role="3cqZAo" node="dsyeIHHBaw" resolve="vtx" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="3cpWsn" id="dsyeIHHBaw" role="1Duv9x">
+            <property role="TrG5h" value="vtx" />
+            <node concept="3uibUv" id="dsyeIHHCnX" role="1tU5fm">
+              <ref role="3uigEE" node="3KN3A4uUwll" resolve="AspectClique.Vtx" />
+            </node>
+          </node>
+          <node concept="37vLTw" id="dsyeIHHDqi" role="1DdaDG">
+            <ref role="3cqZAo" node="dsyeIHBOtg" resolve="sortedGraph" />
+          </node>
+        </node>
+        <node concept="3clFbH" id="dsyeIHEbLJ" role="3cqZAp" />
+        <node concept="3SKdUt" id="dsyeIHJmx1" role="3cqZAp">
+          <node concept="1PaTwC" id="dsyeIHJmx2" role="3ndbpf">
+            <node concept="3oM_SD" id="dsyeIHJmx4" role="1PaTwD">
+              <property role="3oM_SC" value="second" />
+            </node>
+            <node concept="3oM_SD" id="dsyeIHJnEa" role="1PaTwD">
+              <property role="3oM_SC" value="top-down" />
+            </node>
+            <node concept="3oM_SD" id="7u0sJ20Kj88" role="1PaTwD">
+              <property role="3oM_SC" value="pass:" />
+            </node>
+          </node>
+          <node concept="1PaTwC" id="7u0sJ20Kj8r" role="3ndbpf">
+            <node concept="3oM_SD" id="7u0sJ20Kj8q" role="1PaTwD">
+              <property role="3oM_SC" value="find" />
+            </node>
+            <node concept="3oM_SD" id="7u0sJ20Kj24" role="1PaTwD">
+              <property role="3oM_SC" value="upper" />
+            </node>
+            <node concept="3oM_SD" id="7u0sJ20Kj2m" role="1PaTwD">
+              <property role="3oM_SC" value="bound" />
+            </node>
+            <node concept="3oM_SD" id="7u0sJ20Kj2L" role="1PaTwD">
+              <property role="3oM_SC" value="(top" />
+            </node>
+            <node concept="3oM_SD" id="7u0sJ20Kjcy" role="1PaTwD">
+              <property role="3oM_SC" value="nodes" />
+            </node>
+            <node concept="3oM_SD" id="7u0sJ20KjcF" role="1PaTwD">
+              <property role="3oM_SC" value="where" />
+            </node>
+            <node concept="3oM_SD" id="7u0sJ20Kj35" role="1PaTwD">
+              <property role="3oM_SC" value="aspects" />
+            </node>
+            <node concept="3oM_SD" id="7u0sJ20Kj3i" role="1PaTwD">
+              <property role="3oM_SC" value="are" />
+            </node>
+            <node concept="3oM_SD" id="7u0sJ20Kj3w" role="1PaTwD">
+              <property role="3oM_SC" value="defined)" />
+            </node>
+          </node>
+          <node concept="1PaTwC" id="7u0sJ20Kj40" role="3ndbpf">
+            <node concept="3oM_SD" id="7u0sJ20Kj3Z" role="1PaTwD">
+              <property role="3oM_SC" value="and" />
+            </node>
+            <node concept="3oM_SD" id="7u0sJ20Kj7e" role="1PaTwD">
+              <property role="3oM_SC" value="starting" />
+            </node>
+            <node concept="3oM_SD" id="7u0sJ20Kj7t" role="1PaTwD">
+              <property role="3oM_SC" value="from" />
+            </node>
+            <node concept="3oM_SD" id="7u0sJ20Kj7_" role="1PaTwD">
+              <property role="3oM_SC" value="there" />
+            </node>
+            <node concept="3oM_SD" id="7u0sJ20Kj7Q" role="1PaTwD">
+              <property role="3oM_SC" value="merge" />
+            </node>
+            <node concept="3oM_SD" id="dsyeIHJpIa" role="1PaTwD">
+              <property role="3oM_SC" value="possible" />
+            </node>
+            <node concept="3oM_SD" id="dsyeIHJnED" role="1PaTwD">
+              <property role="3oM_SC" value="branches" />
+            </node>
+            <node concept="3oM_SD" id="dsyeIHJnFF" role="1PaTwD">
+              <property role="3oM_SC" value="of" />
+            </node>
+            <node concept="3oM_SD" id="dsyeIHJnFj" role="1PaTwD">
+              <property role="3oM_SC" value="cliques" />
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="7u0sJ20JGBn" role="3cqZAp">
+          <node concept="2OqwBi" id="7u0sJ20JHxe" role="3clFbG">
+            <node concept="37vLTw" id="7u0sJ20JGBl" role="2Oq$k0">
+              <ref role="3cqZAo" node="dsyeIHGVyC" resolve="visited" />
+            </node>
+            <node concept="2EZike" id="7u0sJ20JI00" role="2OqNvi" />
+          </node>
+        </node>
+        <node concept="3cpWs8" id="dsyeIHEVO2" role="3cqZAp">
+          <node concept="3cpWsn" id="dsyeIHEVO5" role="3cpWs9">
+            <property role="TrG5h" value="it" />
+            <node concept="uOF1S" id="dsyeIHEVNY" role="1tU5fm">
+              <node concept="3uibUv" id="dsyeIHEWF2" role="uOL27">
+                <ref role="3uigEE" node="3KN3A4uUwll" resolve="AspectClique.Vtx" />
+              </node>
+            </node>
+            <node concept="2OqwBi" id="dsyeIHEYbO" role="33vP2m">
+              <node concept="37vLTw" id="dsyeIHEXGP" role="2Oq$k0">
+                <ref role="3cqZAo" node="dsyeIHBOtg" resolve="sortedGraph" />
+              </node>
+              <node concept="liA8E" id="dsyeIHFunQ" role="2OqNvi">
+                <ref role="37wK5l" to="33ny:~LinkedList.descendingIterator()" resolve="descendingIterator" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="2$JKZl" id="dsyeIHFyA0" role="3cqZAp">
+          <node concept="3clFbS" id="dsyeIHFyA2" role="2LFqv$">
+            <node concept="3cpWs8" id="dsyeIHF$Wp" role="3cqZAp">
+              <node concept="3cpWsn" id="dsyeIHF$Wq" role="3cpWs9">
+                <property role="TrG5h" value="vtx" />
+                <node concept="3uibUv" id="dsyeIHF$Wr" role="1tU5fm">
+                  <ref role="3uigEE" node="3KN3A4uUwll" resolve="AspectClique.Vtx" />
+                </node>
+                <node concept="2OqwBi" id="dsyeIHF_Qn" role="33vP2m">
+                  <node concept="37vLTw" id="dsyeIHF_CG" role="2Oq$k0">
+                    <ref role="3cqZAo" node="dsyeIHEVO5" resolve="it" />
+                  </node>
+                  <node concept="v1n4t" id="dsyeIHFA32" role="2OqNvi" />
+                </node>
+              </node>
+            </node>
+            <node concept="3clFbJ" id="3KN3A4w29ER" role="3cqZAp">
+              <node concept="3clFbS" id="3KN3A4w29ET" role="3clFbx">
+                <node concept="3clFbF" id="dsyeIHJdNs" role="3cqZAp">
+                  <node concept="2OqwBi" id="dsyeIHJejx" role="3clFbG">
+                    <node concept="37vLTw" id="dsyeIHJdNq" role="2Oq$k0">
+                      <ref role="3cqZAo" node="dsyeIHGVyC" resolve="visited" />
+                    </node>
+                    <node concept="TSZUe" id="dsyeIHJeTF" role="2OqNvi">
+                      <node concept="37vLTw" id="dsyeIHJffv" role="25WWJ7">
+                        <ref role="3cqZAo" node="dsyeIHF$Wq" resolve="vtx" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3clFbF" id="3KN3A4w2m0k" role="3cqZAp">
+                  <node concept="2OqwBi" id="3KN3A4w2m0l" role="3clFbG">
+                    <node concept="37vLTw" id="3KN3A4w2m0m" role="2Oq$k0">
+                      <ref role="3cqZAo" node="dsyeIHGUp_" resolve="stack" />
+                    </node>
+                    <node concept="2ArzE6" id="3KN3A4w2m0n" role="2OqNvi">
+                      <node concept="37vLTw" id="3KN3A4w2m0o" role="25WWJ7">
+                        <ref role="3cqZAo" node="dsyeIHF$Wq" resolve="vtx" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3cpWs8" id="7u0sJ20K_um" role="3cqZAp">
+                  <node concept="3cpWsn" id="7u0sJ20K_up" role="3cpWs9">
+                    <property role="TrG5h" value="cliqueUpperBoundFound" />
+                    <node concept="10P_77" id="7u0sJ20K_uk" role="1tU5fm" />
+                    <node concept="3clFbT" id="7u0sJ20KA5n" role="33vP2m" />
+                  </node>
+                </node>
+                <node concept="3clFbH" id="7u0sJ20Knox" role="3cqZAp" />
                 <node concept="2$JKZl" id="3KN3A4w2m0q" role="3cqZAp">
                   <node concept="3clFbS" id="3KN3A4w2m0r" role="2LFqv$">
                     <node concept="3cpWs8" id="3KN3A4w2m0s" role="3cqZAp">
@@ -2956,69 +3514,146 @@
                         </node>
                         <node concept="2OqwBi" id="3KN3A4w2m0v" role="33vP2m">
                           <node concept="37vLTw" id="3KN3A4w2m0w" role="2Oq$k0">
-                            <ref role="3cqZAo" node="3KN3A4uYVSb" resolve="stack" />
+                            <ref role="3cqZAo" node="dsyeIHGUp_" resolve="stack" />
                           </node>
                           <node concept="2oR75g" id="3KN3A4w2m0x" role="2OqNvi" />
                         </node>
                       </node>
                     </node>
-                    <node concept="3clFbJ" id="QpMEos4Sui" role="3cqZAp">
-                      <node concept="3clFbS" id="QpMEos4Suk" role="3clFbx">
+                    <node concept="3clFbJ" id="7u0sJ20KANm" role="3cqZAp">
+                      <node concept="3clFbS" id="7u0sJ20KANo" role="3clFbx">
+                        <node concept="1gVbGN" id="7u0sJ20Ko1G" role="3cqZAp">
+                          <node concept="2d3UOw" id="7u0sJ20Kpan" role="1gVkn0">
+                            <node concept="3cmrfG" id="7u0sJ20Kpmi" role="3uHU7w">
+                              <property role="3cmrfH" value="0" />
+                            </node>
+                            <node concept="2OqwBi" id="7u0sJ20KocN" role="3uHU7B">
+                              <node concept="37vLTw" id="7u0sJ20KHBG" role="2Oq$k0">
+                                <ref role="3cqZAo" node="3KN3A4w2m0t" resolve="v" />
+                              </node>
+                              <node concept="2OwXpG" id="7u0sJ20KolB" role="2OqNvi">
+                                <ref role="2Oxat5" node="3KN3A4uVa13" resolve="clique" />
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="3clFbF" id="7u0sJ20KAf2" role="3cqZAp">
+                          <node concept="37vLTI" id="7u0sJ20KAzu" role="3clFbG">
+                            <node concept="3clFbT" id="7u0sJ20KA_H" role="37vLTx">
+                              <property role="3clFbU" value="true" />
+                            </node>
+                            <node concept="37vLTw" id="7u0sJ20KAf0" role="37vLTJ">
+                              <ref role="3cqZAo" node="7u0sJ20K_up" resolve="cliqueUpperBoundFound" />
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="3clFbH" id="7u0sJ20KANn" role="3cqZAp" />
                         <node concept="1DcWWT" id="3KN3A4w2m0y" role="3cqZAp">
                           <node concept="3clFbS" id="3KN3A4w2m0z" role="2LFqv$">
-                            <node concept="3clFbJ" id="3KN3A4w2nSC" role="3cqZAp">
-                              <node concept="3clFbS" id="3KN3A4w2nSE" role="3clFbx">
-                                <node concept="3clFbF" id="3KN3A4w3SB6" role="3cqZAp">
-                                  <node concept="37vLTI" id="3KN3A4w3TCS" role="3clFbG">
-                                    <node concept="2OqwBi" id="3KN3A4w3SFn" role="37vLTJ">
-                                      <node concept="37vLTw" id="3KN3A4w3SB4" role="2Oq$k0">
+                            <node concept="3clFbJ" id="dsyeIHJh_L" role="3cqZAp">
+                              <node concept="3clFbS" id="dsyeIHJh_N" role="3clFbx">
+                                <node concept="3SKdUt" id="dsyeIHJryD" role="3cqZAp">
+                                  <node concept="1PaTwC" id="dsyeIHJryE" role="3ndbpf">
+                                    <node concept="3oM_SD" id="dsyeIHJryG" role="1PaTwD">
+                                      <property role="3oM_SC" value="align" />
+                                    </node>
+                                    <node concept="3oM_SD" id="dsyeIHJrz4" role="1PaTwD">
+                                      <property role="3oM_SC" value="children" />
+                                    </node>
+                                    <node concept="3oM_SD" id="dsyeIHJrEA" role="1PaTwD">
+                                      <property role="3oM_SC" value="ids" />
+                                    </node>
+                                    <node concept="3oM_SD" id="dsyeIHJrzn" role="1PaTwD">
+                                      <property role="3oM_SC" value="with" />
+                                    </node>
+                                    <node concept="3oM_SD" id="dsyeIHJrzz" role="1PaTwD">
+                                      <property role="3oM_SC" value="definitive" />
+                                    </node>
+                                    <node concept="3oM_SD" id="dsyeIHJr$8" role="1PaTwD">
+                                      <property role="3oM_SC" value="id" />
+                                    </node>
+                                    <node concept="3oM_SD" id="dsyeIHJr$m" role="1PaTwD">
+                                      <property role="3oM_SC" value="of" />
+                                    </node>
+                                    <node concept="3oM_SD" id="dsyeIHJr$t" role="1PaTwD">
+                                      <property role="3oM_SC" value="parent" />
+                                    </node>
+                                  </node>
+                                </node>
+                                <node concept="3clFbF" id="dsyeIHJq59" role="3cqZAp">
+                                  <node concept="37vLTI" id="dsyeIHJqU8" role="3clFbG">
+                                    <node concept="2OqwBi" id="dsyeIHJrdv" role="37vLTx">
+                                      <node concept="37vLTw" id="dsyeIHJram" role="2Oq$k0">
                                         <ref role="3cqZAo" node="3KN3A4w2m0t" resolve="v" />
                                       </node>
-                                      <node concept="2OwXpG" id="3KN3A4w3SOm" role="2OqNvi">
+                                      <node concept="2OwXpG" id="dsyeIHJreX" role="2OqNvi">
                                         <ref role="2Oxat5" node="3KN3A4uVa13" resolve="clique" />
                                       </node>
                                     </node>
-                                    <node concept="2OqwBi" id="3KN3A4w3Uel" role="37vLTx">
-                                      <node concept="37vLTw" id="3KN3A4w3U7U" role="2Oq$k0">
+                                    <node concept="2OqwBi" id="dsyeIHJq8L" role="37vLTJ">
+                                      <node concept="37vLTw" id="dsyeIHJq57" role="2Oq$k0">
                                         <ref role="3cqZAo" node="3KN3A4w2m0P" resolve="vsub" />
                                       </node>
-                                      <node concept="2OwXpG" id="3KN3A4w3UgJ" role="2OqNvi">
+                                      <node concept="2OwXpG" id="dsyeIHJqe8" role="2OqNvi">
                                         <ref role="2Oxat5" node="3KN3A4uVa13" resolve="clique" />
                                       </node>
                                     </node>
                                   </node>
                                 </node>
-                                <node concept="3clFbH" id="QpMEos4XWT" role="3cqZAp" />
                               </node>
-                              <node concept="2d3UOw" id="3KN3A4w3Sug" role="3clFbw">
-                                <node concept="2OqwBi" id="3KN3A4w2o6S" role="3uHU7B">
-                                  <node concept="37vLTw" id="3KN3A4w2nWB" role="2Oq$k0">
+                              <node concept="2d3UOw" id="dsyeIHJpRq" role="3clFbw">
+                                <node concept="2OqwBi" id="dsyeIHJhFk" role="3uHU7B">
+                                  <node concept="37vLTw" id="dsyeIHJpKr" role="2Oq$k0">
                                     <ref role="3cqZAo" node="3KN3A4w2m0P" resolve="vsub" />
                                   </node>
-                                  <node concept="2OwXpG" id="3KN3A4w2og1" role="2OqNvi">
+                                  <node concept="2OwXpG" id="dsyeIHJi4X" role="2OqNvi">
                                     <ref role="2Oxat5" node="3KN3A4uVa13" resolve="clique" />
                                   </node>
                                 </node>
-                                <node concept="3cmrfG" id="3KN3A4w2pxd" role="3uHU7w">
+                                <node concept="3cmrfG" id="dsyeIHJpYT" role="3uHU7w">
                                   <property role="3cmrfH" value="0" />
                                 </node>
                               </node>
-                              <node concept="9aQIb" id="3KN3A4w3UEJ" role="9aQIa">
-                                <node concept="3clFbS" id="3KN3A4w3UEK" role="9aQI4">
-                                  <node concept="3clFbF" id="3KN3A4w2m0F" role="3cqZAp">
-                                    <node concept="2OqwBi" id="3KN3A4w2m0G" role="3clFbG">
-                                      <node concept="37vLTw" id="3KN3A4w2m0H" role="2Oq$k0">
-                                        <ref role="3cqZAo" node="3KN3A4uYVSb" resolve="stack" />
+                            </node>
+                            <node concept="3clFbJ" id="dsyeIH_NV5" role="3cqZAp">
+                              <node concept="3clFbS" id="dsyeIH_NV7" role="3clFbx">
+                                <node concept="3clFbF" id="3KN3A4w2m0F" role="3cqZAp">
+                                  <node concept="2OqwBi" id="3KN3A4w2m0G" role="3clFbG">
+                                    <node concept="37vLTw" id="3KN3A4w2m0H" role="2Oq$k0">
+                                      <ref role="3cqZAo" node="dsyeIHGUp_" resolve="stack" />
+                                    </node>
+                                    <node concept="2ArzE6" id="3KN3A4w2m0I" role="2OqNvi">
+                                      <node concept="37vLTw" id="3KN3A4w2m0J" role="25WWJ7">
+                                        <ref role="3cqZAo" node="3KN3A4w2m0P" resolve="vsub" />
                                       </node>
-                                      <node concept="2ArzE6" id="3KN3A4w2m0I" role="2OqNvi">
-                                        <node concept="37vLTw" id="3KN3A4w2m0J" role="25WWJ7">
-                                          <ref role="3cqZAo" node="3KN3A4w2m0P" resolve="vsub" />
-                                        </node>
+                                    </node>
+                                  </node>
+                                </node>
+                                <node concept="3clFbF" id="46n5$Sn6JdB" role="3cqZAp">
+                                  <node concept="2OqwBi" id="46n5$Sn6JHa" role="3clFbG">
+                                    <node concept="37vLTw" id="46n5$Sn6Jd_" role="2Oq$k0">
+                                      <ref role="3cqZAo" node="dsyeIHGVyC" resolve="visited" />
+                                    </node>
+                                    <node concept="TSZUe" id="46n5$Sn6KjY" role="2OqNvi">
+                                      <node concept="37vLTw" id="46n5$Sn6KDM" role="25WWJ7">
+                                        <ref role="3cqZAo" node="3KN3A4w2m0P" resolve="vsub" />
                                       </node>
                                     </node>
                                   </node>
                                 </node>
                               </node>
+                              <node concept="3fqX7Q" id="dsyeIHJfZ5" role="3clFbw">
+                                <node concept="2OqwBi" id="dsyeIHJgBQ" role="3fr31v">
+                                  <node concept="37vLTw" id="dsyeIHJg1s" role="2Oq$k0">
+                                    <ref role="3cqZAo" node="dsyeIHGVyC" resolve="visited" />
+                                  </node>
+                                  <node concept="3JPx81" id="dsyeIHJh6U" role="2OqNvi">
+                                    <node concept="37vLTw" id="dsyeIHJhhU" role="25WWJ7">
+                                      <ref role="3cqZAo" node="3KN3A4w2m0P" resolve="vsub" />
+                                    </node>
+                                  </node>
+                                </node>
+                              </node>
                             </node>
                           </node>
                           <node concept="3cpWsn" id="3KN3A4w2m0P" role="1Duv9x">
@@ -3031,33 +3666,88 @@
                             <node concept="37vLTw" id="3KN3A4w2m0S" role="2Oq$k0">
                               <ref role="3cqZAo" node="3KN3A4w2m0t" resolve="v" />
                             </node>
-                            <node concept="2OwXpG" id="3KN3A4w3QNH" role="2OqNvi">
+                            <node concept="2OwXpG" id="7u0sJ20L0aT" role="2OqNvi">
                               <ref role="2Oxat5" node="3KN3A4w3GWQ" resolve="extendedBy" />
                             </node>
                           </node>
                         </node>
+                        <node concept="3clFbH" id="7u0sJ20KJiN" role="3cqZAp" />
                       </node>
-                      <node concept="3eOVzh" id="QpMEos4UL8" role="3clFbw">
-                        <node concept="3cmrfG" id="QpMEos4V6H" role="3uHU7w">
-                          <property role="3cmrfH" value="0" />
+                      <node concept="22lmx$" id="7u0sJ20KFcp" role="3clFbw">
+                        <node concept="37vLTw" id="7u0sJ20KFiq" role="3uHU7B">
+                          <ref role="3cqZAo" node="7u0sJ20K_up" resolve="cliqueUpperBoundFound" />
                         </node>
-                        <node concept="2OqwBi" id="QpMEos4SEF" role="3uHU7B">
-                          <node concept="37vLTw" id="QpMEos4S_3" role="2Oq$k0">
-                            <ref role="3cqZAo" node="3KN3A4w2m0t" resolve="v" />
+                        <node concept="3y3z36" id="7u0sJ20KCkO" role="3uHU7w">
+                          <node concept="10Nm6u" id="7u0sJ20KCsE" role="3uHU7w" />
+                          <node concept="2OqwBi" id="7u0sJ20KJzp" role="3uHU7B">
+                            <node concept="37vLTw" id="7u0sJ20KJse" role="2Oq$k0">
+                              <ref role="3cqZAo" node="dsyeIHHrmS" resolve="ad" />
+                            </node>
+                            <node concept="liA8E" id="7u0sJ20KKeQ" role="2OqNvi">
+                              <ref role="37wK5l" node="NKt6ynombB" resolve="discover" />
+                              <node concept="2OqwBi" id="7u0sJ20KKlk" role="37wK5m">
+                                <node concept="37vLTw" id="7u0sJ20KKiK" role="2Oq$k0">
+                                  <ref role="3cqZAo" node="3KN3A4w2m0t" resolve="v" />
+                                </node>
+                                <node concept="2OwXpG" id="7u0sJ20KKt1" role="2OqNvi">
+                                  <ref role="2Oxat5" node="3KN3A4uUwms" resolve="langRtm" />
+                                </node>
+                              </node>
+                            </node>
                           </node>
-                          <node concept="2OwXpG" id="QpMEos4U3S" role="2OqNvi">
-                            <ref role="2Oxat5" node="3KN3A4uVa13" resolve="clique" />
+                        </node>
+                      </node>
+                      <node concept="9aQIb" id="7u0sJ20KH$s" role="9aQIa">
+                        <node concept="3clFbS" id="7u0sJ20KH$t" role="9aQI4">
+                          <node concept="3SKdUt" id="7u0sJ20KJ4c" role="3cqZAp">
+                            <node concept="1PaTwC" id="7u0sJ20KJ4d" role="3ndbpf">
+                              <node concept="3oM_SD" id="7u0sJ20KJ4f" role="1PaTwD">
+                                <property role="3oM_SC" value="exclude" />
+                              </node>
+                              <node concept="3oM_SD" id="7u0sJ20KJ6d" role="1PaTwD">
+                                <property role="3oM_SC" value="nodes" />
+                              </node>
+                              <node concept="3oM_SD" id="7u0sJ20KJ4K" role="1PaTwD">
+                                <property role="3oM_SC" value="above" />
+                              </node>
+                              <node concept="3oM_SD" id="7u0sJ20KJ4O" role="1PaTwD">
+                                <property role="3oM_SC" value="upper" />
+                              </node>
+                              <node concept="3oM_SD" id="7u0sJ20KJ4T" role="1PaTwD">
+                                <property role="3oM_SC" value="bound" />
+                              </node>
+                              <node concept="3oM_SD" id="7u0sJ20KJ6r" role="1PaTwD">
+                                <property role="3oM_SC" value="from" />
+                              </node>
+                              <node concept="3oM_SD" id="7u0sJ20KJ6y" role="1PaTwD">
+                                <property role="3oM_SC" value="cliques" />
+                              </node>
+                            </node>
+                          </node>
+                          <node concept="3clFbF" id="7u0sJ20KHLx" role="3cqZAp">
+                            <node concept="37vLTI" id="7u0sJ20KI$Q" role="3clFbG">
+                              <node concept="3cmrfG" id="7u0sJ20KIO0" role="37vLTx">
+                                <property role="3cmrfH" value="-1" />
+                              </node>
+                              <node concept="2OqwBi" id="7u0sJ20KHNa" role="37vLTJ">
+                                <node concept="37vLTw" id="7u0sJ20KHLw" role="2Oq$k0">
+                                  <ref role="3cqZAo" node="3KN3A4w2m0t" resolve="v" />
+                                </node>
+                                <node concept="2OwXpG" id="7u0sJ20KHQA" role="2OqNvi">
+                                  <ref role="2Oxat5" node="3KN3A4uVa13" resolve="clique" />
+                                </node>
+                              </node>
+                            </node>
                           </node>
                         </node>
                       </node>
                     </node>
-                    <node concept="3clFbH" id="QpMEos4Y4p" role="3cqZAp" />
                     <node concept="3clFbJ" id="3KN3A4w2m0U" role="3cqZAp">
                       <node concept="3clFbS" id="3KN3A4w2m0V" role="3clFbx">
                         <node concept="3clFbF" id="3KN3A4w2m11" role="3cqZAp">
                           <node concept="2OqwBi" id="3KN3A4w2m12" role="3clFbG">
                             <node concept="37vLTw" id="3KN3A4w2m13" role="2Oq$k0">
-                              <ref role="3cqZAo" node="3KN3A4uYVSb" resolve="stack" />
+                              <ref role="3cqZAo" node="dsyeIHGUp_" resolve="stack" />
                             </node>
                             <node concept="2AryhJ" id="3KN3A4w2m14" role="2OqNvi" />
                           </node>
@@ -3069,7 +3759,7 @@
                         </node>
                         <node concept="2OqwBi" id="3KN3A4w2m17" role="3uHU7B">
                           <node concept="37vLTw" id="3KN3A4w2m18" role="2Oq$k0">
-                            <ref role="3cqZAo" node="3KN3A4uYVSb" resolve="stack" />
+                            <ref role="3cqZAo" node="dsyeIHGUp_" resolve="stack" />
                           </node>
                           <node concept="2oR75g" id="3KN3A4w2m19" role="2OqNvi" />
                         </node>
@@ -3078,70 +3768,31 @@
                   </node>
                   <node concept="2OqwBi" id="3KN3A4w2m1a" role="2$JKZa">
                     <node concept="37vLTw" id="3KN3A4w2m1b" role="2Oq$k0">
-                      <ref role="3cqZAo" node="3KN3A4uYVSb" resolve="stack" />
+                      <ref role="3cqZAo" node="dsyeIHGUp_" resolve="stack" />
                     </node>
                     <node concept="3GX2aA" id="3KN3A4w2m1c" role="2OqNvi" />
                   </node>
                 </node>
-                <node concept="3clFbH" id="3KN3A4w3Vam" role="3cqZAp" />
-                <node concept="3clFbJ" id="3KN3A4w3Vih" role="3cqZAp">
-                  <node concept="3clFbS" id="3KN3A4w3Vij" role="3clFbx">
-                    <node concept="3clFbF" id="3KN3A4w3WHm" role="3cqZAp">
-                      <node concept="37vLTI" id="3KN3A4w3XF0" role="3clFbG">
-                        <node concept="3uNrnE" id="3KN3A4w3XSq" role="37vLTx">
-                          <node concept="37vLTw" id="3KN3A4w3XSs" role="2$L3a6">
-                            <ref role="3cqZAo" node="3KN3A4uYVSi" resolve="nextClique" />
-                          </node>
-                        </node>
-                        <node concept="2OqwBi" id="3KN3A4w3WO8" role="37vLTJ">
-                          <node concept="37vLTw" id="3KN3A4w3WHk" role="2Oq$k0">
-                            <ref role="3cqZAo" node="3KN3A4w264G" resolve="vtx" />
-                          </node>
-                          <node concept="2OwXpG" id="3KN3A4w3WV4" role="2OqNvi">
-                            <ref role="2Oxat5" node="3KN3A4uVa13" resolve="clique" />
-                          </node>
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                  <node concept="3eOVzh" id="3KN3A4w3WvC" role="3clFbw">
-                    <node concept="3cmrfG" id="3KN3A4w3WEg" role="3uHU7w">
-                      <property role="3cmrfH" value="0" />
-                    </node>
-                    <node concept="2OqwBi" id="3KN3A4w3VvN" role="3uHU7B">
-                      <node concept="37vLTw" id="3KN3A4w3VnF" role="2Oq$k0">
-                        <ref role="3cqZAo" node="3KN3A4w264G" resolve="vtx" />
-                      </node>
-                      <node concept="2OwXpG" id="3KN3A4w3VF6" role="2OqNvi">
-                        <ref role="2Oxat5" node="3KN3A4uVa13" resolve="clique" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
               </node>
-              <node concept="3eOVzh" id="3KN3A4w2b9l" role="3clFbw">
-                <node concept="3cmrfG" id="3KN3A4w2bbR" role="3uHU7w">
-                  <property role="3cmrfH" value="0" />
-                </node>
-                <node concept="2OqwBi" id="3KN3A4w29Qr" role="3uHU7B">
-                  <node concept="37vLTw" id="3KN3A4w29Ij" role="2Oq$k0">
-                    <ref role="3cqZAo" node="3KN3A4w264G" resolve="vtx" />
+              <node concept="3fqX7Q" id="dsyeIHJd_N" role="3clFbw">
+                <node concept="2OqwBi" id="dsyeIHJd_P" role="3fr31v">
+                  <node concept="37vLTw" id="dsyeIHJd_Q" role="2Oq$k0">
+                    <ref role="3cqZAo" node="dsyeIHGVyC" resolve="visited" />
                   </node>
-                  <node concept="2OwXpG" id="3KN3A4w2b3M" role="2OqNvi">
-                    <ref role="2Oxat5" node="3KN3A4uVa13" resolve="clique" />
+                  <node concept="3JPx81" id="dsyeIHJd_R" role="2OqNvi">
+                    <node concept="37vLTw" id="dsyeIHJd_S" role="25WWJ7">
+                      <ref role="3cqZAo" node="dsyeIHF$Wq" resolve="vtx" />
+                    </node>
                   </node>
                 </node>
               </node>
             </node>
           </node>
-          <node concept="3cpWsn" id="3KN3A4w264G" role="1Duv9x">
-            <property role="TrG5h" value="vtx" />
-            <node concept="3uibUv" id="3KN3A4w264K" role="1tU5fm">
-              <ref role="3uigEE" node="3KN3A4uUwll" resolve="AspectClique.Vtx" />
+          <node concept="2OqwBi" id="dsyeIHFzWN" role="2$JKZa">
+            <node concept="37vLTw" id="dsyeIHFzH$" role="2Oq$k0">
+              <ref role="3cqZAo" node="dsyeIHEVO5" resolve="it" />
             </node>
-          </node>
-          <node concept="37vLTw" id="3KN3A4w264L" role="1DdaDG">
-            <ref role="3cqZAo" node="3KN3A4uYV7S" resolve="result" />
+            <node concept="v0PNk" id="dsyeIHF$as" role="2OqNvi" />
           </node>
         </node>
         <node concept="3clFbH" id="QpMEos9BpH" role="3cqZAp" />
@@ -3151,6 +3802,32 @@
           </node>
         </node>
       </node>
+      <node concept="10Oyi0" id="dsyeIHG$9R" role="3clF45" />
+      <node concept="37vLTG" id="dsyeIHHrmS" role="3clF46">
+        <property role="TrG5h" value="ad" />
+        <node concept="3uibUv" id="dsyeIHHs1s" role="1tU5fm">
+          <ref role="3uigEE" node="NKt6ynom3d" resolve="AspectDiscoverable" />
+          <node concept="16syzq" id="dsyeIHHujR" role="11_B2D">
+            <ref role="16sUi3" node="dsyeIHHsB9" resolve="T" />
+          </node>
+        </node>
+      </node>
+      <node concept="37vLTG" id="dsyeIHBOtg" role="3clF46">
+        <property role="TrG5h" value="sortedGraph" />
+        <node concept="3uibUv" id="dsyeIHGHpW" role="1tU5fm">
+          <ref role="3uigEE" to="33ny:~LinkedList" resolve="LinkedList" />
+          <node concept="3uibUv" id="dsyeIHGKCX" role="11_B2D">
+            <ref role="3uigEE" node="3KN3A4uUwll" resolve="AspectClique.Vtx" />
+          </node>
+        </node>
+      </node>
+      <node concept="3Tm6S6" id="dsyeIHBOtj" role="1B3o_S" />
+      <node concept="16euLQ" id="dsyeIHHsB9" role="16eVyc">
+        <property role="TrG5h" value="T" />
+        <node concept="3uibUv" id="dsyeIHHtD3" role="3ztrMU">
+          <ref role="3uigEE" to="ze1i:~ILanguageAspect" resolve="ILanguageAspect" />
+        </node>
+      </node>
     </node>
     <node concept="2tJIrI" id="3KN3A4uYPJe" role="jymVt" />
     <node concept="2YIFZL" id="3KN3A4uV3rF" role="jymVt">