Implementation of a simply theorem prover for equality theories using the given clause algorithm (E-version)