Progress in preservation proof (7/16 done).

Proved alloc, so far so good.