code: public Set<LabelAtom> listAtoms() {
          Set<LabelAtom> r = new HashSet<>();
          accept(ATOM_COLLECTOR,r);
          return r;
      }
docs: Lists up all the atoms contained in in this label.
  
  @since 1.420