little style things
Adding more tests for dominator trees