Small fix for tautologies in cc for smt