Changed flags for CVC4 with unsat cores