196.96/50.40	MAYBE
196.96/50.40	
196.96/50.40	Problem:
196.96/50.40	 a(b(b(a(a(a(a(x1))))))) -> a(a(a(a(a(b(b(a(a(b(b(x1)))))))))))
196.96/50.40	
196.96/50.40	Proof:
196.96/50.40	 Open
196.96/50.40	EOF