Move prover returns: exiting with verification errors
error: global memory invariant does not hold
   ┌─ tests/sources/functional/module_level_spec.move:18:5
   │
18 │     invariant forall addr: address where exists<R>(addr): global<R>(addr).value > 0;
   │     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
   │
   =     at tests/sources/functional/module_level_spec.move:10: store_incorrect
   =     at tests/sources/functional/module_level_spec.move:32
   =     at tests/sources/functional/module_level_spec.move:10: store_incorrect
   =         s = <redacted>
   =         value = <redacted>
   =     at tests/sources/functional/module_level_spec.move:11: store_incorrect
   =     at tests/sources/functional/module_level_spec.move:18