Massage truncate_ok proof a bit so that it goes through again.
Massage truncate_ok proof a bit so that it goes through again.

mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl