Simplify spec of [file_truncate] without having to modify the proof.
Simplify spec of [file_truncate] without having to modify the proof.

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