[New] new DBC.PRE.assertNull() method