Document asymmetric SEE pruning trick