Function find_local_assigned_to_return_place 

fn find_local_assigned_to_return_place(
    start: BasicBlock,
    body: &Body<'_>,
) -> Option<Local>