Assertion list for term "associated with speculative instruction".
Results from Ascent++: 1
semaphore → ReceivesAction → associated with speculative instruction 0.33