Remove duplicate postcondition
Remove duplicate postcondition

Oops, read_fblock_ok already promised DirTree.rep

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