using rule_closure() in pruning_traverser(): t+