lots of improvements for on-the-fly ICFG; also added some comments