Added flag -ccprove to enable my new prover.