Theorem prover for dynamic epistemic logic