docs: public Object end(final String uri,
                        final String localName,
                        final ExtensibleXmlParser parser) throws SAXException {
          final Element element = parser.endElementBuilder();
  
          final ForallDescr forallDescr = (ForallDescr) parser.getCurrent();
  
          final Object parent = parser.getParent();
  
          final ConditionalElementDescr parentDescr = (ConditionalElementDescr) parent;
          parentDescr.addDescr( forallDescr );
  
          return null;
      }