Predicate succ
Holds if succ is a control flow successor for pred, given that pred
finishes with completion c.
Import path
import codeql.ruby.controlflow.internal.ControlFlowGraphImplSharedpredicate succ(ControlFlowElement pred, ControlFlowElement succ, Completion c)