MAYBE 0.08/0.18 MAYBE 0.08/0.18 0.08/0.18 Problem: 0.08/0.18 merge(nil(),y) -> y 0.08/0.18 merge(x,nil()) -> x 0.08/0.18 merge(.(x,y),.(u,v)) -> if(<(x,u),.(x,merge(y,.(u,v))),.(u,merge(.(x,y),v))) 0.08/0.18 ++(nil(),y) -> y 0.08/0.18 ++(.(x,y),z) -> .(x,++(y,z)) 0.08/0.18 if(true(),x,y) -> x 0.08/0.18 if(false(),x,y) -> x 0.08/0.18 0.08/0.18 Proof: 0.08/0.18 Open 0.08/0.18 EOF