MAYBE
31.83/10.19	MAYBE
31.83/10.19	
31.83/10.19	Problem:
31.83/10.19	 f(s(x),x) -> f(s(x),round(s(x)))
31.83/10.19	 round(0()) -> 0()
31.83/10.19	 round(0()) -> s(0())
31.83/10.19	 round(s(0())) -> s(0())
31.83/10.19	 round(s(s(x))) -> s(s(round(x)))
31.83/10.19	
31.83/10.19	Proof:
31.83/10.19	 Open
31.83/10.19	EOF