checking qomdp proofs