code: @Override
      public Iterable<IAtom> atoms() {
          return new Iterable<IAtom>() {
  
              @Override
              public Iterator<IAtom> iterator() {
                  return new AtomIterator();
              }
          };
      }
docs: {@inheritDoc}