r.addAutomatonProduction(getNonterminal(n), n.getReg());
}
public void visitUnaryNode(UnaryNode n) {
for (Node m : n.getArg().getDefs()) {
r.addUnaryProduction(getNonterminal(n), n.getOp(), getNonterminal(m));
}
}
public void visitBinaryNode(BinaryNode n) {
for (Node m1 : n.getArg1().getDefs()) {