195.96/50.18	MAYBE
195.96/50.18	
195.96/50.18	Problem:
195.96/50.18	 a(b(a(a(a(a(a(x1))))))) -> a(a(a(a(a(a(b(a(b(a(b(x1)))))))))))
195.96/50.18	
195.96/50.18	Proof:
195.96/50.18	 Open
195.96/50.18	EOF