add rejection reason for 'while' and 'until'