Assertion list for term "covered in pattern".

Results from Ascent++: 1
corner ReceivesActioncovered in pattern 0.43