197.79/50.62	MAYBE
197.79/50.62	
197.79/50.62	Problem:
197.79/50.62	 b(a(b(a(b(a(b(a(b(a(a(x1))))))))))) -> a(a(b(a(b(a(b(a(b(a(b(a(b(a(x1))))))))))))))
197.79/50.62	
197.79/50.62	Proof:
197.79/50.62	 Open
197.79/50.62	EOF