MAYBE
48.16/13.98	MAYBE
48.16/13.98	
48.16/13.98	Problem:
48.16/13.98	 f(s(x),x) -> f(s(x),round(x))
48.16/13.98	 round(0()) -> 0()
48.16/13.98	 round(0()) -> s(0())
48.16/13.98	 round(s(0())) -> s(0())
48.16/13.98	 round(s(s(x))) -> s(s(round(x)))
48.16/13.98	
48.16/13.98	Proof:
48.16/13.98	 Open
48.16/13.99	EOF