complete icfg construction