PARSER: add unique index to generated id in dotimes, to avoid name-clashing when
nested.