MAYBE
0.07/0.18	MAYBE
0.07/0.18	
0.07/0.18	Problem:
0.07/0.18	 fac(0()) -> 1()
0.07/0.18	 fac(s(x)) -> *(s(x),fac(x))
0.07/0.18	 floop(0(),y) -> y
0.07/0.18	 floop(s(x),y) -> floop(x,*(s(x),y))
0.07/0.18	 *(x,0()) -> 0()
0.07/0.18	 *(x,s(y)) -> +(*(x,y),x)
0.07/0.18	 +(x,0()) -> x
0.07/0.18	 +(x,s(y)) -> s(+(x,y))
0.07/0.18	 1() -> s(0())
0.07/0.18	 fac(0()) -> s(0())
0.07/0.18	
0.07/0.18	Proof:
0.07/0.18	 Open
0.07/0.18	EOF