Completing text of the question on conservativity of CIC over CC (bug #2697).