now passing the icfg into the taint wrapper