Member predicate Ssa :: Definition :: getControlFlowNode
Gets the control flow node of this SSA definition, if any. Phi nodes are
examples of SSA definitions without a control flow node, as they are
modeled at index -1
in the relevant basic block.