MAYBE
0.07/0.18	MAYBE
0.07/0.18	
0.07/0.18	Problem:
0.07/0.18	 f(cons(nil(),y)) -> y
0.07/0.18	 f(cons(f(cons(nil(),y)),z)) -> copy(n(),y,z)
0.07/0.18	 copy(0(),y,z) -> f(z)
0.07/0.18	 copy(s(x),y,z) -> copy(x,y,cons(f(y),z))
0.07/0.18	
0.07/0.18	Proof:
0.07/0.18	 Open
0.07/0.18	EOF