fn check_let_expr(expr: &Expr) -> (bool, bool)