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 FULL ./TRS/Rubio/bintrees.trs ./TRS/AG01/#3.14.trs