Add prototype Prover class