Working version -- add a comment for using union by rank.
Add dicts in union-find. (not working)
Align the output with the original _buildDominatorsTree().
Fixed comments.