fix: check for embedded proof

[codecov[bot]]

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Project coverage is 84.81%. Comparing base (8c0016b) to head (164595e). Report is 1 commits behind head on main.

Additional details and impacted files

```diff @@ Coverage Diff @@ ## main #1798 +/- ## ========================================== - Coverage 84.83% 84.81% -0.02% ========================================== Files 193 193 Lines 17626 17626 ========================================== - Hits 14953 14950 -3 - Misses 2137 2139 +2 - Partials 536 537 +1 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.

---

🚨 Try these New Features:

• Flaky Tests Detection - Detect and resolve failed and flaky tests