Improve semantic for InvertedCompareExp