Member predicate LoopSplitting::AnalyzableLoopStmt::start
Holds if the step pred --c--> succ should start the split.
predicate start(AstNode pred, AstNode succ, Completion c)Holds if the step pred --c--> succ should start the split.
predicate start(AstNode pred, AstNode succ, Completion c)