Dominance in Control Flow Graph door Marek Honzírek