started applying tree abstraction