[IMP] translate: do not check for membership before adding to a set