Rename Proof -> CProof