a dominator node D of a node A is a node that if removed would make A unreachable
Should this be reversed? If you remove node D in the sample, node A is still reachable by the Root node.
Edit: or perhaps you didn't mean the A and D in the example are the same as A and D in this definition.