Assertion list for term "covered with hole".

Results from Ascent++: 1
surface ReceivesActioncovered with hole 0.23