pub fn summarize_inst_cov(
    module: &CompiledModule,
    coverage_map: &ExecCoverageMap
) -> ModuleSummary