Annotated inequality operator for unit test properties