fn inject_intermediate_expression(
    mir_body: &mut Body<'_>,
    expression: CoverageKind
)