Member predicate AssignableDefinitions :: ImplicitParameterDefinition :: 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.