Assertion list
junkyard (primary) → ReceivesAction
Results from Ascent++: 2
junkyard → ReceivesAction → maintained 0.41
junkyard → ReceivesAction → licensed 0.09