Allow call and invoke instructions to become the new definitive reference for an allocation.

Without this, loads further down the line would step up and could lead to users that are not dominated by the new definition, since direct return can also make the value available again.