Assertion list
severe pruning (subgroup of pruning ) → ReceivesAction
Results from Ascent++: 1
severe pruning → ReceivesAction → done in april 0.68