196.32/50.31	MAYBE
196.32/50.31	
196.32/50.31	Problem:
196.32/50.31	 a(b(a(a(a(a(a(a(a(x1))))))))) -> a(a(a(a(a(a(a(a(b(a(a(b(x1))))))))))))
196.32/50.31	
196.32/50.31	Proof:
196.32/50.31	 Open
196.32/50.32	EOF