MAYBE
0.09/0.18	MAYBE
0.09/0.18	
0.09/0.18	Problem:
0.09/0.18	 min(0(),y) -> 0()
0.09/0.18	 min(s(x),0()) -> 0()
0.09/0.18	 min(s(x),s(y)) -> min(x,y)
0.09/0.18	 len(nil()) -> 0()
0.09/0.18	 len(cons(x,xs)) -> s(len(xs))
0.09/0.18	 sum(x,0()) -> x
0.09/0.18	 sum(x,s(y)) -> s(sum(x,y))
0.09/0.18	 le(0(),x) -> true()
0.09/0.18	 le(s(x),0()) -> false()
0.09/0.18	 le(s(x),s(y)) -> le(x,y)
0.09/0.18	 take(0(),cons(y,ys)) -> y
0.09/0.18	 take(s(x),cons(y,ys)) -> take(x,ys)
0.09/0.18	 addList(x,y) -> if(le(0(),min(len(x),len(y))),0(),x,y,nil())
0.09/0.18	 if(false(),c,x,y,z) -> z
0.09/0.18	 if(true(),c,xs,ys,z) ->
0.09/0.18	 if(le(s(c),min(len(xs),len(ys))),s(c),xs,ys,cons(sum(take(c,xs),take(c,ys)),z))
0.09/0.18	
0.09/0.18	Proof:
0.09/0.18	 Open
0.09/0.18	EOF