Begin constructing icfg.