Assertion list
impact (aspect of migration ) → ReceivesAction
Results from Ascent++: 1
impact → ReceivesAction → limited 0.50