SepAuto.v: make [pimpl_crash] be more careful about picking crash hypotheses
SepAuto.v: make [pimpl_crash] be more careful about picking crash hypotheses

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