rules for subtree pulling