Added an assert example in DvBoolean