Assertion: data flow anomaly | /r/HasProperty | defined
Facets:
Source sentences:
text: They are defined (d), killed (k), and used (u).