Added support for equality operator in contracts.