Member predicate TaintTrackingNode :: getASuccessor
TaintTrackingNode
getASuccessor
(
string
edgeLabel
)