Assertion list for term "read a memory location".

Results from Ascent++: 1
thread CapableOfread a memory location 0.16