Another simplification for SEE pruning