MAYBE
37.97/10.40	MAYBE
37.97/10.40	
37.97/10.40	Problem:
37.97/10.40	 a(b(x1)) -> c(d(x1))
37.97/10.40	 d(d(x1)) -> b(e(x1))
37.97/10.40	 b(x1) -> d(c(x1))
37.97/10.40	 d(x1) -> x1
37.97/10.40	 e(c(x1)) -> d(a(x1))
37.97/10.40	 a(x1) -> e(d(x1))
37.97/10.40	
37.97/10.40	Proof:
37.97/10.40	 Open
37.97/10.40	EOF