Adds dichotomy and trichotomy rules for inequality