Add [ConditionalAttribute("CONTRACTS_FULL")] to generic Contract.Requires<>() overloads so ccrewrite isn't needed unless the symbol is defined.