MAYBE
38.73/10.43	MAYBE
38.73/10.43	
38.73/10.43	Problem:
38.73/10.43	 a(x1) -> x1
38.73/10.43	 a(x1) -> b(x1)
38.73/10.43	 a(c(b(x1))) -> c(c(a(a(x1))))
38.73/10.43	 c(x1) -> b(x1)
38.73/10.43	
38.73/10.43	Proof:
38.73/10.43	 Open
38.73/10.43	EOF