Assertion list for term "sketched with factor".

Results from Ascent++: 1
boundary ReceivesActionsketched with factor 0.25