postdominate

Today it means: A node z postdominates a node n if all paths to the exit node of the graph starting at n must go through z Full definition →