get rid of functions for immediate post-dominator calculation b/c too expensive