verify_poc add check violation