Move prover returns: exiting with verification errors
error: abort not covered by any of the `aborts_if` clauses
   ┌─ tests/sources/functional/schema_exp.move:29:5
   │
26 │           if (!c) abort(1);
   │                   -------- abort happened here with code 0x1
   ·
29 │ ╭     spec bar_incorrect {
30 │ │         // Once we include a schema with aborts, even conditionally, we need to provide a full spec of the aborts
31 │ │         // behavior. This is because the below translates to `aborts_if c && false`, which reduces
32 │ │         // to `aborts_if false`.
33 │ │         include c ==> DontAborts;
34 │ │     }
   │ ╰─────^
   │
   =     at tests/sources/functional/schema_exp.move:25: bar_incorrect
   =         c = <redacted>
   =     at tests/sources/functional/schema_exp.move:26: bar_incorrect
   =         ABORTED

error: post-condition does not hold
   ┌─ tests/sources/functional/schema_exp.move:47:9
   │
47 │         ensures result == i + 2;
   │         ^^^^^^^^^^^^^^^^^^^^^^^^
   │
   =     at tests/sources/functional/schema_exp.move:53: baz_incorrect
   =         i = <redacted>
   =     at tests/sources/functional/schema_exp.move:54: baz_incorrect
   =         result = <redacted>
   =     at tests/sources/functional/schema_exp.move:55: baz_incorrect
   =     at tests/sources/functional/schema_exp.move:47