we already had a proof of [of_word_well_formed] under a different name
we already had a proof of [of_word_well_formed] under a different name

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