remove old CC lemma check.

This is now superseeded by the array lemma check that can
do all CC related checks.