Marked_concatfalsetrueleafMarked_less_leavesconsless_leavesconcatzyxwvuconcat(leaf,y)yconcat(cons(u,v),y)cons(u,concat(v,y))less_leaves(x,leaf)falseless_leaves(leaf,cons(w,z))trueless_leaves(cons(u,v),cons(w,z))less_leaves(concat(u,v),concat(w,z))concat(leaf,y)yconcat(cons(u,v),y)cons(u,concat(v,y))less_leaves(x,leaf)falseless_leaves(leaf,cons(w,z))trueless_leaves(cons(u,v),cons(w,z))less_leaves(concat(u,v),concat(w,z))Marked_concat(cons(u,v),y)Marked_concat(v,y)Marked_less_leaves(cons(u,v),cons(w,z))Marked_less_leaves(concat(u,v),concat(w,z))Marked_less_leaves(cons(u,v),cons(w,z))Marked_concat(u,v)Marked_less_leaves(cons(u,v),cons(w,z))Marked_concat(w,z)concat(leaf,y)yconcat(cons(u,v),y)cons(u,concat(v,y))less_leaves(x,leaf)falseless_leaves(leaf,cons(w,z))trueless_leaves(cons(u,v),cons(w,z))less_leaves(concat(u,v),concat(w,z))Marked_less_leaves(cons(u,v),cons(w,z))Marked_less_leaves(concat(u,v),concat(w,z))concat110less_leaves310cons2210Marked_less_leaves20leaf30true0false20concat(leaf,y)yconcat(cons(u,v),y)cons(u,concat(v,y))less_leaves(x,leaf)falseless_leaves(leaf,cons(w,z))trueless_leaves(cons(u,v),cons(w,z))less_leaves(concat(u,v),concat(w,z))Marked_concat(cons(u,v),y)Marked_concat(v,y)concat220less_leaves30cons210leaf30true30false30Marked_concat30