why was this missing--latent bug

diff --git a/Robust/src/Analysis/Disjoint/ReachGraph.java b/Robust/src/Analysis/Disjoint/ReachGraph.java
index 7dba300b39467deecdc26e7016e82874e08d9c1b..d775acaa6bb3db989997fc24f27b0b0332cfe6eb 100644 (file)
--- a/Robust/src/Analysis/Disjoint/ReachGraph.java
+++ b/Robust/src/Analysis/Disjoint/ReachGraph.java
@@ -3718,7 +3718,9 @@ public class ReachGraph {
       return false;
     }
 
-    
+    if( !areallREinAandBequal( rg, this ) ) {
+      return false;
+    }    
 
     return true;
   }