docs: public List<String> getSpannedWords() {
      if (isTerminal()) {
        return words;
      } else {
        List<String> words = Lists.newArrayList();
        words.addAll(left.getSpannedWords());
        words.addAll(right.getSpannedWords());
        return words;
      }
    }