Enable (sext x) == C --> x == (trunc C) combine