isLeafleaftrueisLeafconsuvfalseleftconsuvurightconsuvvconcatleafyyconcatconsuvyconsuconcatvyless_leavesuvif1isLeafuisLeafvuvif1btrueuvfalseif1bfalseuvif2buvif2trueuvtrueif2falseuvless_leavesconcatlefturightuconcatleftvrightvisLeaf1leaf0true0cons2false0left1right1concat2less_leaves2if14if23FULL./TRS/SchneiderKamp/trs/thiemann05.trs