197.15/50.12	MAYBE
197.15/50.12	
197.15/50.12	Problem:
197.15/50.12	 a(a(a(b(a(a(a(a(x1)))))))) -> a(a(a(a(a(a(a(b(a(a(a(b(x1))))))))))))
197.15/50.12	
197.15/50.12	Proof:
197.15/50.12	 Open
197.15/50.14	EOF