The override map.
The key is the original object; the value is the new object.
final Map<ValueRef, ValueRef> map;