For other CodeQL resources, including tutorials and examples, see the
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.