refactoring pruning criterion: t+
refactoring pruning criterion: t+