Proving Termination of Tree Manipulating Programs