Added tests for the inequality predicates.