erase a sub-tree inside DFA