Assertion list
little pruning (subgroup of pruning ) → ReceivesAction
Results from Ascent++: 1
little pruning → ReceivesAction → required 0.68