Tarjan-Languer Fast Algorithm for Finding Dominators in a Flow Graph - View it on GitHub