Assertion list
surface rust (subgroup of rust ) → ReceivesAction
Results from Ascent++: 1
surface rust → ReceivesAction → removed 0.84