Adding E-KRHyper theorem prover