Removed unsat core flag for cvc4 call.