Fix PR681 by using the standard Lengauer and Tarjan algorithm for dominator