Congruence Class Prover added

Start with flag -ccprove