MAYBE
218.96/55.39	MAYBE
218.96/55.39	
218.96/55.39	Problem:
218.96/55.39	 b(a(a(b(a(x1))))) -> a(a(b(b(a(a(b(x1)))))))
218.96/55.39	
218.96/55.39	Proof:
218.96/55.39	 Open
218.96/55.40	EOF