push the dup elim of sets into reifier