Gets a control flow node that updates the targeted assignable when reached.
Multiple definitions may relate to the same control flow node. For example,
the definitions of
M(out x, out y) and
(x, y) = (0, 1)
relate to the same call to
M and assignment node, respectively.