Congruence closure based prover addded. Start with -ccprove.