Tarjan-Languer Fast Algorithm for Finding Dominators in a Flow Graph