pub fn rewrite_recursive_calls_body( body: &FnBody, targets: &HashSet<String>, fuel_var: &str, ) -> FnBody
Body-level wrapper around rewrite_recursive_calls_expr.
rewrite_recursive_calls_expr