Assertion list
use (aspect of ect ) → ReceivesAction
Results from Ascent++: 2
use → ReceivesAction → avoided 0.26
use → ReceivesAction → permitted 0.00