implement `neq` assertions