Encoded failure cases for revM and Axiom 11.3.8