+Prune, stop criteria