Member predicate DataFlow::FlowLabel::isData

Holds if this is the standard FlowLabel::data() flow label, describing values that directly originate from a flow source.

predicate isData()