extended: present multiply-referenced nodes just once