fix warning with MSVC++ 64
fix warning with MSVC++ 64

mschlaipfer/z3,mschlaipfer/z3,seahorn/z3,kyledewey/z3,seahorn/z3,mschlaipfer/z3,mschlaipfer/z3,seahorn/z3,kyledewey/z3,seahorn/z3,kyledewey/z3,seahorn/z3,seahorn/z3,mschlaipfer/z3,kyledewey/z3,mschlaipfer/z3,kyledewey/z3,kyledewey/z3