Function statement_uses_any_local 

fn statement_uses_any_local<'tcx>(
    statement: &Statement<'tcx>,
    locals: &HashSet<Local>,
) -> bool