Test generation failed: `Microsoft.Z3.Z3Exception: invalid argument`

[gsvgit]

Steps to reproduce:

• Run this test
• Get an exception:

  Microsoft.Z3.Z3Exception: invalid argument
  at Microsoft.Z3.Native.Z3_mk_int(IntPtr a0, Int32 a1, IntPtr a2)
  at Microsoft.Z3.Context.MkNumeral(Int32 v, Sort ty)
  at VSharp.Solver.Z3.inst@587-1.Invoke(Expr[] k) in /home/gsv/Projects/VSharp/VSharp.Solver/Z3.fs:line 587
  at VSharp.Solver.Z3.Z3Builder.MemoryReading[h,a,b,i,j,k,l,m](encodingContext encCtx, FSharpFunc`2 specializeWithKey, FSharpFunc`2 keyInRegion, FSharpFunc`2 keysAreMatch, FSharpFunc`2 encodeKey, FSharpFunc`2 inst, FSharpList`1 structFields, h left, memoryRegion`2 mo, m typ) in