Restore CodeContracts for CC branche