MAYBE
0.08/0.18	MAYBE
0.08/0.18	
0.08/0.18	Problem:
0.08/0.18	 isLeaf(leaf()) -> true()
0.08/0.18	 isLeaf(cons(u,v)) -> false()
0.08/0.18	 left(cons(u,v)) -> u
0.08/0.18	 right(cons(u,v)) -> v
0.08/0.18	 concat(leaf(),y) -> y
0.08/0.18	 concat(cons(u,v),y) -> cons(u,concat(v,y))
0.08/0.18	 less_leaves(u,v) -> if1(isLeaf(u),isLeaf(v),u,v)
0.08/0.18	 if1(b,true(),u,v) -> false()
0.08/0.18	 if1(b,false(),u,v) -> if2(b,u,v)
0.08/0.18	 if2(true(),u,v) -> true()
0.08/0.18	 if2(false(),u,v) -> less_leaves(concat(left(u),right(u)),concat(left(v),right(v)))
0.08/0.18	
0.08/0.18	Proof:
0.08/0.18	 Open
0.08/0.19	EOF