true for 'while', but false for 'if'