问题:G Treequivalence