196.66/50.31	MAYBE
196.66/50.33	
196.66/50.33	Problem:
196.66/50.33	 a(a(b(x1))) -> b(b(c(a(c(x1)))))
196.66/50.33	 a(c(x1)) -> a(a(x1))
196.66/50.33	
196.66/50.33	Proof:
196.66/50.33	 Open
196.66/50.33	EOF