wp_cmpxchg_fail cannot find points-to predicates in the persistent context
If one has a points-to predicate in the persistent context, then wp_cmpxchg_fail cannot find it. This is illustrated in the following example
A proposed solution is to change the false
in https://gitlab.mpi-sws.org/iris/iris/-/blob/master/iris_heap_lang/proofmode.v?ref_type=heads#L509 to an arbitrary boolean.
Tested using version: dev.2024-04-03.0. 70000a57