For an overview of this library, along with tutorials and examples, see CodeQL for C#
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 modelled at index
-1 in the relevant basic block.