Predicate LoopSplitting :: getNextListOrder
Import path
import semmle.code.csharp.controlflow.internal.Splitting
int
getNextListOrder
(
)