refactors DCaseTree.ts