docs: public AuxiliaryTree copy(TsurgeonPattern p) {
      Map<String,Tree> newNamesToNodes = new HashMap<String,Tree>();
      Pair<Tree,Tree> result = copyHelper(tree,newNamesToNodes);
      //if(! result.first().dominates(result.second()))
        //System.err.println("Error -- aux tree copy doesn't dominate foot copy.");
      p.root.newNodeNames.putAll(newNamesToNodes);
      return new AuxiliaryTree(result.first(), result.second(), newNamesToNodes, originalTreeString);
    }