Do not set produce-models option in SMT solver