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