Function rewrite_recursive_calls_body 

pub fn rewrite_recursive_calls_body(
    body: &FnBody,
    targets: &HashSet<String>,
    fuel_var: &str,
) -> FnBody

Body-level wrapper around rewrite_recursive_calls_expr.