Member predicate FunctionModel::taintStepForCall

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