Verificarea formală este foarte necesară, mulțumesc @CertoraInc