Notify the icfg about changes done by the constant value propagator. …

[timll]

…Fixes gapTest2, which failed because of an assertion error that a statement was not in the unit-to-owner mapping.