Add distinct if needed to the right side of a semijoin

[kaikalur]

Looks like SetBuilder works best when you give it distinct elements. So when we see something like:

select ... from t1
where id in (select id from t2)

we should distinct id in t2