A variable defined in task A and read in task A's child's child appears to have a...

diff --git a/Robust/src/Analysis/MLP/VarSrcTokTable.java b/Robust/src/Analysis/MLP/VarSrcTokTable.java
index 8d29306fa57f9f5f0c94bc9c7bcaea2a4dffc7f4..d30e233443bac62f29c00b172bc7371f6cd29be9 100644 (file)
--- a/Robust/src/Analysis/MLP/VarSrcTokTable.java
+++ b/Robust/src/Analysis/MLP/VarSrcTokTable.java
@@ -497,8 +497,13 @@ public class VarSrcTokTable {
            forRemoval.add( vstPossibleOtherSrc );  
 
          } else {
-           assert vstPossibleOtherSrc.getSESE().equals( exiter );
-           assert vstPossibleOtherSrc.getAge().equals( 0 );
+            if( !vstPossibleOtherSrc.getSESE().equals( exiter ) ||
+                !vstPossibleOtherSrc.getAge().equals( 0 )
+                ) {
+              System.out.println( "For refVar="+refVar+" at exit of "+exiter+
+                                  ", unexpected possible variable source "+vstPossibleOtherSrc );
+              assert false;
+            }
          }
        }
       }