@Ignore
@Test
@Parameters(method = "invarFinderArgs")
public void findInvariants(AJCEffectAnnotatedTree inputTree, Set<AJCExpressionTree> expectedInvariants) {
SideEffectVisitor effects = new SideEffectVisitor(true);
effects.visitTree(inputTree);
EffectSet loopEffects = inputTree.effects.getEffectSet();
Set<VarSymbol> writtenInLoop = loopEffects.writeInternal;
Set<VarSymbol> readInLoop = loopEffects.readInternal;