Regaining cut admissibility in deduction modulo using abstract completion