Member predicate LoopSplitting::AnalyzableLoopStmt::pruneLoopCondition

Holds if any step pred --c--> _ should be pruned from the control flow graph.