Function terminator_uses_any_local 

fn terminator_uses_any_local(
    terminator: &TerminatorKind<'_>,
    locals: &HashSet<Local>,
) -> bool