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