avoid "may be undefined" in WhileExpr