DSF isTreeBalanced