MAYBE
0.08/0.18	MAYBE
0.08/0.18	
0.08/0.18	Problem:
0.08/0.18	 O(0()) -> 0()
0.08/0.18	 +(0(),x) -> x
0.08/0.18	 +(x,0()) -> x
0.08/0.18	 +(O(x),O(y)) -> O(+(x,y))
0.08/0.18	 +(O(x),I(y)) -> I(+(x,y))
0.08/0.18	 +(I(x),O(y)) -> I(+(x,y))
0.08/0.18	 +(I(x),I(y)) -> O(+(+(x,y),I(0())))
0.08/0.18	 *(0(),x) -> 0()
0.08/0.18	 *(x,0()) -> 0()
0.08/0.18	 *(O(x),y) -> O(*(x,y))
0.08/0.18	 *(I(x),y) -> +(O(*(x,y)),y)
0.08/0.18	
0.08/0.18	Proof:
0.08/0.18	 Open
0.08/0.18	EOF