concat
leaf
Y
Y
concat
cons
U
V
Y
cons
U
concat
V
Y
lessleaves
X
leaf
false
lessleaves
leaf
cons
W
Z
true
lessleaves
cons
U
V
cons
W
Z
lessleaves
concat
U
V
concat
W
Z
concat
2
leaf
0
cons
2
lessleaves
2
false
0
true
0
INNERMOST
./TRS/Rubio/bintrees.trs
./TRS/AG01/#3.14.trs