Member predicate Public::ReadNode::readsSsaVariable

Holds if this data-flow node reads the value of SSA variable v.