MAYBE
160.90/55.45	MAYBE
160.90/55.45	
160.90/55.45	Problem:
160.90/55.45	 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.90/55.45	 id(s(x)) -> s(id(x))
160.90/55.45	 id(0()) -> 0()
160.90/55.45	
160.90/55.45	Proof:
160.90/55.45	 Open
160.90/55.46	EOF