[Attributor][NFCI] Use a uniform necessary query to avoid a unique one

If we cannot reach the target from the entry of a function without
exclusion set, we cannot reach it at all. This can allow us to filter
unique queries based on a uniform one.