code: public Tree getNode(String name) {
      Tree tree = namesToNodes.get(name);
      return tree;
    }
docs: Returns the node labeled with <code>name</code> in the pattern.
  
  @param name the name of the node, specified in the pattern.
  @return node labeled by the name