code: static AmbiguatedFunctionSummary createInGraph(
          DiGraph<AmbiguatedFunctionSummary, SideEffectPropagation> graph, String name) {
        return new AmbiguatedFunctionSummary(graph, name);
      }
docs: Adds a new summary node to {@code graph}, storing the node and returning the summary.