org.kiama.example.obr.RISCTree
Jump unconditionally to the given label.
(Since version 2.8.0) use productIterator instead
Jump unconditionally to the given label.