calling Abc_Stop before cnf conversion in eager bit-blasting