Assertion list
working set (subgroup of set ) → ReceivesAction
Results from Ascent++: 1
working set → ReceivesAction → loaded 0.68