Enabled prover9.