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