Fix AIG bitblaster for unsat cores.