Optimize a common case in the Lengauer-Tarjan dominators algorithm. This gives a