[Minor] extended DBC with assertTrue and assertFalse