Dominance in Control Flow Graph by Marek Honzírek