Well, the `listIdCounter` is only used for those list elements which do not have an `xml:id` attribute set.