fn write_coverage_branch_info(
    branch_info: &BranchInfo,
    w: &mut dyn Write
) -> Result<()>