Characteristic predicate LoopSplitting :: LoopSplit :: LoopSplit
LoopSplit
(
)