Holds if this is a node representing the point in the control flow
after the normal termination of n. For simple leaf nodes, this is
merged with the “before” node and is hence equal to it. For nodes in
conditional contexts, this may be one of two possible “after” nodes
representing the different possible values of n.