Added has_fp_to_real probe to detect when QF_FP need QF_NRA.
Added has_fp_to_real probe to detect when QF_FP need QF_NRA.

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