Assertion list
amp fuse (subgroup of fuse ) → ReceivesAction

Results from Ascent++: 1
amp fuseReceivesAction blown 0.68