198.53/50.80	MAYBE
198.53/50.80	
198.53/50.80	Problem:
198.53/50.80	 c(a(b(a(b(a(b(a(b(a(x1)))))))))) -> a(b(a(b(a(b(a(b(a(b(c(c(c(a(x1))))))))))))))
198.53/50.80	
198.53/50.80	Proof:
198.53/50.80	 Open
198.53/50.81	EOF