This program generates a dominator graph and control flow graph from IR code