fix bc_generator verify