Assertion list
property (aspect of pvc ) → ReceivesAction
Results from Ascent++: 1
property → ReceivesAction → modified 0.68