Member predicate FunctionModel::flowStepForCall

Holds if this function model causes data to flow from pred to succ for the call c.