docs: private SmartForest<String[]> termStatus(SmartForest<String[]> branch, Term term) {
          String name = term.getName();
          SmartForest<String[]> sf = branch;
          for (int j = 0; j < name.length(); j++) {
              sf = sf.get(name.charAt(j));
              if (sf == null) {
                  return null;
              }
          }
          return sf;
      }