MAYBE
0.09/0.18	MAYBE
0.09/0.18	
0.09/0.18	Problem:
0.09/0.18	 lessElements(l,t) -> lessE(l,t,0())
0.09/0.18	 lessE(l,t,n) -> if(le(length(l),n),le(length(toList(t)),n),l,t,n)
0.09/0.18	 if(true(),b,l,t,n) -> l
0.09/0.18	 if(false(),true(),l,t,n) -> t
0.09/0.18	 if(false(),false(),l,t,n) -> lessE(l,t,s(n))
0.09/0.18	 length(nil()) -> 0()
0.09/0.18	 length(cons(n,l)) -> s(length(l))
0.09/0.18	 toList(leaf()) -> nil()
0.09/0.18	 toList(node(t1,n,t2)) -> append(toList(t1),cons(n,toList(t2)))
0.09/0.18	 append(nil(),l2) -> l2
0.09/0.18	 append(cons(n,l1),l2) -> cons(n,append(l1,l2))
0.09/0.18	 le(s(n),0()) -> false()
0.09/0.18	 le(0(),m) -> true()
0.09/0.18	 le(s(n),s(m)) -> le(n,m)
0.09/0.18	 a() -> c()
0.09/0.18	 a() -> d()
0.09/0.18	
0.09/0.18	Proof:
0.09/0.18	 Open
0.09/0.18	EOF