MAYBE
0.07/0.18	MAYBE
0.07/0.18	
0.07/0.18	Problem:
0.07/0.18	 is_empty(nil()) -> true()
0.07/0.18	 is_empty(cons(x,l)) -> false()
0.07/0.18	 hd(cons(x,l)) -> x
0.07/0.18	 tl(cons(x,l)) -> l
0.07/0.18	 append(l1,l2) -> ifappend(l1,l2,is_empty(l1))
0.07/0.18	 ifappend(l1,l2,true()) -> l2
0.07/0.18	 ifappend(l1,l2,false()) -> cons(hd(l1),append(tl(l1),l2))
0.07/0.18	
0.07/0.18	Proof:
0.07/0.18	 Open
0.07/0.18	EOF