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