Add InvertedCompareExp semantic