Predicate last
Holds if last with completion c is a potential last element executed
within control flow element cft.
Import path
import codeql.ruby.controlflow.internal.ControlFlowGraphImplSharedpredicate last(ControlFlowTree cft, ControlFlowElement last, Completion c)