org.kiama.example.obr.RISCTree
Branch to the given label if the value of the given datum is not equal to zero.
(Since version 2.8.0) use productIterator instead
Branch to the given label if the value of the given datum is not equal to zero.