dominator tree works; need immediate dominator tree now