generalized ICFG types