[New] added a DBC.PRE.assertNotEquals()