static Set<S> recursivelyCollectSnippetIDsFromTranspiled(S snippetID) {
  ret transitiveHullOfFunction collectSnippetIDsInTranspiledSnippet(snippetID);
}