Note that CVC4 does not support unsat cores