Previously [tp_alloc] would just delete [j \Mapsto fill K (Alloc e)]
from the context without a replacement.