examples and (pre|post)cond fixed to return proper count