MAYBE
141.56/55.36	MAYBE
141.56/55.36	
141.56/55.36	Problem:
141.56/55.36	 c(a(a(c(x1)))) -> a(a(a(x1)))
141.56/55.36	 b(x1) -> a(c(a(x1)))
141.56/55.36	 a(b(a(x1))) -> b(b(x1))
141.56/55.36	
141.56/55.36	Proof:
141.56/55.36	 Open
141.56/55.37	EOF