Assertion list for term "guaranteed to have executed full memory barrier".
Results from Ascent++: 1
cpu → ReceivesAction → guaranteed to have executed full memory barrier 0.36