Predicate ContinueInFalseLoop::enclosingLoop

Loop enclosingLoop(Stmt s)