[Merged by Bors] - perf(Translate): don't actually beta reduce the proof

[Merged by Bors] - perf(Translate): don't actually beta reduce the proof #198770