Prover2 is the good version of Prover

- Based on EProver2 without substitions.