Added option --no-pruning to avoid pruning rejecting subtrees