Fix in DBC.assertFalse()