/** Visit the specified production. */
 public void visit(Production p) {
   Object closure = analyzer.enter(p);
   analyzer.workingOn(p.qName);
   dispatch(p.choice);
   analyzer.exit(closure);
 }