Fix dom function calculation of dominators.

[kquick]

Currently the dom function returns all nodes whether they are reachable or not. This change restricts the dominator search to only those nodes reachable from the provided root.