docs: public ForallDescrBuilder<CEDescrBuilder<P, T>> forall() {
          ForallDescrBuilder<CEDescrBuilder<P, T>> forall = new ForallDescrBuilderImpl<CEDescrBuilder<P, T>>( this );
          ((ConditionalElementDescr) descr).addDescr( forall.getDescr() );
          return forall;
      }