Add unsat core test with bit vector