Implemented dominator generation algorithm from the paper using BB tree