Fixed bug in refactoring: negation requires non strict inequality.