Duplicate token values
In the use case of jastadd/ros3rag, coordinates of the nonterminal Position
are included twice. This might be a bug in dumpAst.
DumpBuilder options (probably unrelated):
builder.excludeChildren("Orientation", "Size");
builder.excludeRelations("ContainedInRegion");
builder.includeNonterminalAttributes("LogicalScene", "diffScenes", "diffToOperations");
builder.includeAttributes("realRegion", "computeOperations");
builder.includeNullNodes();