docs: private void initializeNamesNodesMaps(Tree t) {
      for (Tree node : t.subTreeList()) {
        Matcher m = namePattern.matcher(node.label().value());
        if (m.find()) {
          namesToNodes.put(m.group(1),node);
          nodesToNames.put(node,m.group(1));
          node.label().setValue(m.replaceFirst(""));
        }
        Matcher m1 = escapedNameChar.matcher(node.label().value());
        node.label().setValue(m1.replaceAll(nameIntroducingChar));
      }
    }