Assertion list for term "read before any use".

Results from Ascent++: 1
term (aspect of contract) ReceivesActionread before any use 0.29