static Set<S> sfReferencedbySF_transitive(S sfName) {
  ret transitiveHullOfFunction standardFunctionsReferencedByStandardFunction(sfName);
}