Member predicate TaintTracking::TaintFlow::additionalFlowStep

Holds if fromnode being tainted with fromkind will result in tonode being tainted with tokind. Extensions to TaintFlow should override this to provide additional taint steps.

predicate additionalFlowStep(ControlFlowNode fromnode, TaintKind fromkind, ControlFlowNode tonode, TaintKind tokind)