Predicate Splitting::succEntrySplits

Holds if succ with splits succSplits is the first element that is executed when entering callable pred.

predicate succEntrySplits(@top_level_exprorstmt_parent pred, ControlFlowElement succ, Splits succSplits, SuccessorType t)