Function load_coverage 

pub fn load_coverage<Env: AnalysisEnv>(
    state: &mut AnalysisState,
    env: &mut Env,
) -> Result<()>

Action: Load coverage data from LCOV file.

Effectful - reads file via environment, reports progress.