Cleaned up CC-lemma code; missing pivot is warning

We now only warn if the pivot is missing in resolution.
Clean up LA lemma and trichotomy check.