static LS gazelle_helperListsWithWord(S word) {
  ret gazelle_wordToHelperListMultiMap().get(word);
}