MAYBE
0.08/0.18	MAYBE
0.08/0.18	
0.08/0.18	Problem:
0.08/0.18	 minus(n__0(),Y) -> 0()
0.08/0.18	 minus(n__s(X),n__s(Y)) -> minus(activate(X),activate(Y))
0.08/0.18	 geq(X,n__0()) -> true()
0.08/0.18	 geq(n__0(),n__s(Y)) -> false()
0.08/0.18	 geq(n__s(X),n__s(Y)) -> geq(activate(X),activate(Y))
0.08/0.18	 div(0(),n__s(Y)) -> 0()
0.08/0.18	 div(s(X),n__s(Y)) ->
0.08/0.18	 if(geq(X,activate(Y)),n__s(div(minus(X,activate(Y)),n__s(activate(Y)))),n__0())
0.08/0.18	 if(true(),X,Y) -> activate(X)
0.08/0.18	 if(false(),X,Y) -> activate(Y)
0.08/0.18	 0() -> n__0()
0.08/0.18	 s(X) -> n__s(X)
0.08/0.18	 activate(n__0()) -> 0()
0.08/0.18	 activate(n__s(X)) -> s(X)
0.08/0.18	 activate(X) -> X
0.08/0.18	
0.08/0.18	Proof:
0.08/0.18	 Open
0.08/0.19	EOF