Added test cases for inequalities.py