MAYBE
244.87/61.96	MAYBE
244.87/61.96	
244.87/61.96	Problem:
244.87/61.96	 g(A()) -> A()
244.87/61.96	 g(B()) -> A()
244.87/61.96	 g(B()) -> B()
244.87/61.96	 g(C()) -> A()
244.87/61.96	 g(C()) -> B()
244.87/61.96	 g(C()) -> C()
244.87/61.96	 foldf(x,nil()) -> x
244.87/61.96	 foldf(x,cons(y,z)) -> f(foldf(x,z),y)
244.87/61.96	 f(t,x) -> f'(t,g(x))
244.87/61.96	 f'(triple(a,b,c),C()) -> triple(a,b,cons(C(),c))
244.87/61.96	 f'(triple(a,b,c),B()) -> f(triple(a,b,c),A())
244.87/61.96	 f'(triple(a,b,c),A()) -> f''(foldf(triple(cons(A(),a),nil(),c),b))
244.87/61.96	 f''(triple(a,b,c)) -> foldf(triple(a,b,nil()),c)
244.87/61.96	
244.87/61.96	Proof:
244.87/61.96	 Open
244.87/61.97	EOF