VCGenerator Updates (July, 2014)

The new VC Generator now outputs VCs in the format accepted by our in house provers (Algebraic Prover and Congruence Class Prover). 

Right now, by default it outputs a new and improved ASRT file with the rules that the VC generator applied to get to the final set of VCs.