MAYBE
155.93/55.32	MAYBE
155.93/55.32	
155.93/55.32	Problem:
155.93/55.32	 b(c(x1)) -> a(b(b(x1)))
155.93/55.32	 b(a(x1)) -> a(c(b(x1)))
155.93/55.32	
155.93/55.32	Proof:
155.93/55.32	 Open
155.93/55.32	EOF