MAYBE
0.07/0.18	MAYBE
0.07/0.18	
0.07/0.18	Problem:
0.07/0.18	 plus(0(),y) -> y
0.07/0.18	 plus(s(x),y) -> s(plus(x,y))
0.07/0.18	 lt(0(),s(y)) -> true()
0.07/0.18	 lt(x,0()) -> false()
0.07/0.18	 lt(s(x),s(y)) -> lt(x,y)
0.07/0.18	 fib(x) -> fibiter(x,0(),0(),s(0()))
0.07/0.18	 fibiter(b,c,x,y) -> if(lt(c,b),b,c,x,y)
0.07/0.18	 if(false(),b,c,x,y) -> x
0.07/0.18	 if(true(),b,c,x,y) -> fibiter(b,s(c),y,plus(x,y))
0.07/0.18	
0.07/0.18	Proof:
0.07/0.18	 Open
0.07/0.18	EOF