added error messages for incorrect match of proofs and PO label