fn has_let_expr(expr: &Expr) -> bool