implemented several interfaces of ICFG