The unique overlay: enforcing uniqueness in the union of trees