Update E prover