Assertion list
heavy pruning (subgroup of pruning ) → HasProperty
Results from Ascent++: 1
heavy pruning → HasProperty → necessary 0.68