Predicate SuccSplits::case2aSomeAtRank
Gets a split that should be in succSplits at rank rnk.
Import path
import codeql.ruby.controlflow.internal.ControlFlowGraphImplSharedSplitImpl case2aSomeAtRank(ControlFlowElement pred, Splits predSplits, ControlFlowElement succ, Completion c, int rnk)