195.97/50.13	MAYBE
195.97/50.13	
195.97/50.13	Problem:
195.97/50.13	 a(x1) -> b(x1)
195.97/50.13	 b(a(a(c(x1)))) -> c(c(a(a(a(a(x1))))))
195.97/50.13	
195.97/50.13	Proof:
195.97/50.13	 Open
195.97/50.14	EOF