Fixes to allocator logic for reified variables.