Having the iteration go by CFG, instead of the normal block iterator