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