Member predicate TaintTracking::CallContext::appliesTo

Holds if this context can apply to n.

predicate appliesTo(ControlFlowNode n)