major change to the way ICFGs are constructed; since we now support “normal” and “on-the-fly” ICFGs, both forward and backward, we factored our the creation of unit graphs into a callback that is independent of the ICFG class hierarchy