Make sure no proof throws exceptions

[Baptouuuu]

Fix #84

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 91.76%. Comparing base (1f8a485) to head (2055182).
⚠️ Report is 3 commits behind head on develop.

Additional details and impacted files

@@              Coverage Diff              @@
##             develop      #95      +/-   ##
=============================================
+ Coverage      91.56%   91.76%   +0.20%     
+ Complexity      2241     2235       -6     
=============================================
  Files            151      151              
  Lines           9357     9342      -15     
=============================================
+ Hits            8568     8573       +5     
+ Misses           789      769      -20     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.