Member predicate AssignableDefinition::getAControlFlowNode

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 x and y in M(out x, out y) and (x, y) = (0, 1) relate to the same call to M and assignment node, respectively.