impl: add {pre,post}_assert statements