Assertion list for term "marked fixed".
Results from Ascent++: 1
bug → ReceivesAction → marked fixed 0.15