define the rule for do...while