Fluent interface dataflow: support argument-output flow directly declared by the simpleLocalFlowStep relation

This means we will treat fluent interfaces that are modelled the same as those where we determine an argument flows to an output by inspection of the function body.

Author: smowton

java/ql/src/semmle/code/java/dataflow/internal/DataFlowImplCommon.qll

@@ -427,6 +427,14 @@ private module Cached {
       fromPre = fromNode.(PostUpdateNode).getPreUpdateNode() and
       toPre = toNode.(PostUpdateNode).getPreUpdateNode()
     |
+      exists(DataFlowCall c |
+        // Does the language-specific simpleLocalFlowStep already model flow
+        // from function input to output?
+        fromPre = getAnOutNode(c, _) and
+        toPre.(ArgumentNode).argumentOf(c, _) and
+        simpleLocalFlowStep(toPre.(ArgumentNode), fromPre)
+      )
+      or
       argumentValueFlowsThrough(toPre, TReadStepTypesNone(), fromPre)
     )
   }