Predicate SuccSplits::succSplits
Holds if succ with splits succSplits is a successor of type t for pred
with splits predSplits.
Import path
import codeql.ruby.controlflow.internal.ControlFlowGraphImplSharedpredicate succSplits(ControlFlowElement pred, Splits predSplits, ControlFlowElement succ, Splits succSplits, Completion c)