Fixed error in violates_inequality? method
Implemented kind method