Fix bad assertion macro (add do/while)