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