Go: Rename Negative Summary Model to Neutral Model.

Author: michaelnebel

go/ql/lib/semmle/go/dataflow/internal/FlowSummaryImplSpecific.qll

@@ -76,11 +76,11 @@ predicate summaryElement(
 }
 
 /**
- * Holds if a negative flow summary exists for `c`, which means that there is no
- * flow through `c`. The flag `generated` states whether the summary is autogenerated.
- * Note. Negative flow summaries has not been implemented for Go.
+ * Holds if a neutral model exists for `c`, which means that there is no
+ * flow through `c`. The flag `generated` states whether the model is autogenerated.
+ * Note. Neutral models have not been implemented for Go.
  */
-predicate negativeSummaryElement(SummarizedCallable c, boolean generated) { none() }
+predicate neutralElement(SummarizedCallable c, boolean generated) { none() }
 
 /** Gets the summary component for specification component `c`, if any. */
 bindingset[c]