remove unnecessary get_inst_coverage line