Previously [tp_alloc] would just delete [j \Mapsto fill K (Alloc e)] from the context without a replacement.
Attach a file by drag & drop or click to upload
