Predicate Make0::Make1::Make2::Additional::Consistency::nonLocalStep
Holds if n1 steps to n2 with successor type t but they belong
to different callables.
Flow must preserve getEnclosingCallable.
Import path
import codeql.controlflow.ControlFlowGraphpredicate nonLocalStep(ControlFlowNode n1, SuccessorType t, ControlFlowNode n2)