static long checkSuffixTree(SuffixTree tree) {
  long numChecks = 0;
  for ping (S pattern : allSubstringsWithoutEmpty(tree.fullText)) {
    checkSuffixTreeSearch(tree, pattern);
    checkSuffixTreeSearch(tree, pattern + "x");
    numChecks += 2;
  }
  ret numChecks;
}