Added support for inequality operator in contracts.