fn extract_pats_and_cond(expr: &Expr) -> (Option<&Pat>, &Expr)