Only show inputs in path summaries

Author: owen-mc

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

@@ -233,9 +233,9 @@ class CastNode extends ExprNode {
  * explanations.
  */
 predicate neverSkipInPathGraph(Node n) {
-  exists(DataFlow::FunctionModel fm | fm.getAnInputNode(_) = n or fm.getAnOutputNode(_) = n)
+  exists(DataFlow::FunctionModel fm | fm.getAnInputNode(_) = n)
   or
-  exists(TaintTracking::FunctionModel fm | fm.getAnInputNode(_) = n or fm.getAnOutputNode(_) = n)
+  exists(TaintTracking::FunctionModel fm | fm.getAnInputNode(_) = n)
 }
 
 class DataFlowExpr = Expr;