MAYBE
160.91/55.48	MAYBE
160.91/55.48	
160.91/55.48	Problem:
160.91/55.48	 f(s(s(s(s(s(s(s(s(x)))))))),y,y) -> f(id(s(s(s(s(s(s(s(s(x))))))))),y,y)
160.91/55.48	 id(s(x)) -> s(id(x))
160.91/55.48	 id(0()) -> 0()
160.91/55.48	
160.91/55.48	Proof:
160.91/55.48	 Open
160.91/55.48	EOF