add counterexample for uPred CMRA extension axiom

@robbertkrebbers asked about this old counterexample that I posted on the iris-club mailing list in 2016, and since it took some time to find, I figured maybe we should have it in a place that is easier to discover.