An embarassing prove of False
An embarassing prove of False

Maybe there's a bug in the If combinator that allows us to
prove False in the crash condition.... So we can run any
recovery procedure to get any post-recover result.

Any ideas about how to fix this?

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