fix the naming of Prover/EProver

- Avoid the word "correct" because it means more than sound.