MAYBE
133.76/56.62	MAYBE
133.76/56.62	
133.76/56.62	Problem:
133.76/56.62	 app(nil(),y) -> y
133.76/56.62	 app(add(n,x),y) -> add(n,app(x,y))
133.76/56.62	 reverse(nil()) -> nil()
133.76/56.62	 reverse(add(n,x)) -> app(reverse(x),add(n,nil()))
133.76/56.62	 shuffle(nil()) -> nil()
133.76/56.62	 shuffle(add(n,x)) -> add(n,shuffle(reverse(x)))
133.76/56.62	
133.76/56.62	Proof:
133.76/56.62	 Open
133.76/56.65	EOF