Assertion list
output parameter (subgroup of parameter ) → ReceivesAction
Results from Ascent++: 3
output parameter → ReceivesAction → limited 0.51
output parameter → ReceivesAction → set to null 0.39
output parameter → ReceivesAction → set 0.09