static Collection<S> functionNamesInSnippet(S snippetID) {
  ret mapToHashSet tok_functionName(findFullFunctionDefs(snippetID));
}