test that the genreach flat node doesn't get wiped away by java optimization
[IRC.git] / Robust / src / Tests / disjoint / nonTermination1 /
2010-03-30 jjenistaa test that shows our analysis doesn't always terminate