MAYBE
32.07/10.20	MAYBE
32.19/10.20	
32.19/10.20	Problem:
32.19/10.20	 app(app(app(compose(),f),g),x) -> app(g,app(f,x))
32.19/10.20	 app(reverse(),l) -> app(app(reverse2(),l),nil())
32.19/10.20	 app(app(reverse2(),nil()),l) -> l
32.19/10.20	 app(app(reverse2(),app(app(cons(),x),xs)),l) -> app(app(reverse2(),xs),app(app(cons(),x),l))
32.19/10.20	 app(hd(),app(app(cons(),x),xs)) -> x
32.19/10.20	 app(tl(),app(app(cons(),x),xs)) -> xs
32.19/10.20	 last() -> app(app(compose(),hd()),reverse())
32.19/10.20	 init() -> app(app(compose(),reverse()),app(app(compose(),tl()),reverse()))
32.19/10.20	
32.19/10.20	Proof:
32.19/10.20	 Open
32.19/10.20	EOF