ensure that formula is skolemized in the smt solver when using MBQI Reviewed by Nikolaj
ensure that formula is skolemized in the smt solver when using MBQI
Reviewed by Nikolaj

Signed-off-by: Nuno Lopes <cb3a713351b386ac31772a65bfacab0d57451a15@microsoft.com>

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