Implemented violates_inequality? function