Member predicate TaintTrackingNode :: flowsTo
predicate
flowsTo
(
TaintTrackingNode
other
)