Add heap-tree condition for trees

- heap-order traversal visits labels in non-decreasing order
Add alternative heap-tree condition for trees

- the subtrees satisfy the condition
- the upper label is smaller than or equal to the lower label