isLeafleaftrueisLeafconsuvfalseleftconsuvurightconsuvvconcatleafyyconcatconsuvyconsuconcatvyless_leavesuvif1isLeafuisLeafvuvif1btrueuvfalseif1bfalseuvif2buvif2trueuvtrueif2falseuvless_leavesconcatlefturightuconcatleftvrightvconcatconsuvyconcatvyless_leavesuvisLeafvless_leavesuvisLeafuless_leavesuvif1isLeafuisLeafvuvif1bfalseuvif2buvif2falseuvrightvif2falseuvleftvif2falseuvconcatleftvrightvif2falseuvrightuif2falseuvleftuif2falseuvconcatlefturightuif2falseuvless_leavesconcatlefturightuconcatleftvrightvtrueif2falseuvless_leavesconcatlefturightuconcatleftvrightvless_leavesuvif1isLeafuisLeafvuvif1bfalseuvif2buvtrueif2falseuvconcatlefturightufalseif2falseuvleftufalseif2falseuvrightufalseif2falseuvconcatleftvrightvfalseconcatconsuvyconcatvytrueconcat21if2falseuvleftvfalseif2falseuvrightvfalseless_leavesuvisLeafufalseless_leavesuvisLeafvfalse