Currently, the XML- and HTML-format dumps make no distinction between disambiguation functions that disambiguate non-declaratively and disambiguation groups that always disambiguate to the same terminal. This should be added as part of the resolution of ticket #25.