}
// loop-invariants code motion
if(ENV_ENABLE_LOOPOPTIM) {//TODO
if(forClause != null) {
LoopInvariantsTransformer transformer = new LoopInvariantsTransformer(this, forClause);
transformer.visit(this, null);
transformer.transform();
}
}
return analyzed;
}