Remove definition with assumptions from replCompute

Was using elab_p from ElabTheory instead of terminationTheory