Bugfix for FP model converter (fp.min/fp.max models)
Bugfix for FP model converter (fp.min/fp.max models)

seahorn/z3,mschlaipfer/z3,wujunzero/z3,mschlaipfer/z3,kyledewey/z3,conceptofproof/z3,seahorn/z3,wujunzero/z3,mschlaipfer/z3,conceptofproof/z3,mschlaipfer/z3,seahorn/z3,wujunzero/z3,conceptofproof/z3,kyledewey/z3,mschlaipfer/z3,kyledewey/z3,wujunzero/z3,conceptofproof/z3,wujunzero/z3,seahorn/z3,kyledewey/z3,seahorn/z3,kyledewey/z3,conceptofproof/z3,seahorn/z3,mschlaipfer/z3,kyledewey/z3,wujunzero/z3,conceptofproof/z3