Dominator tree test written... dominatortree() contains infinite loop.
Some fixes.. still infiniloop.
It's just regular wrong now, not crashing!
Dominance tree building works! Tested!