first integration of on-the-fly ICFG