Member predicate LoopSplitting::AnalyzableLoopStmt::isUnroll

Holds if the body is guaranteed to be executed at least once. If not, the body is guaranteed to never be executed.