[Bug 769958] Review Request: eqp - Automated theorem prover for first-order equational logic