org.kiama.example.obr.SPARCTree
Labels represent a code position.
(Since version 2.8.0) use productIterator instead
Labels represent a code position.