Trivial, small example: the bug is the prover accepts all inputs.