Implemented != overloaded operator for a record type