Function path_ends_in_return 

fn path_ends_in_return(body: &Body<'_>, path: &[usize]) -> bool