6566676869707172737475
} public void visitBinaryNode(BinaryNode n) { for (Node m1 : n.getArg1().getDefs()) { for (Node m2 : n.getArg2().getDefs()) { r.addBinaryProduction(getNonterminal(n), n.getOp(), getNonterminal(m1), getNonterminal(m2)); } } } }); return r;