def METHOD_NAME(input_file: Path, program_trace: ProgramTrace):
    output_path = input_to_output_path(input_file)
    assert isinstance(program_trace, taint_dag.TDProgramTrace)
    tdfile = program_trace.tdfile
    iomapping = InputOutputMapping(tdfile)
    m = iomapping.mapping()
    # There should be 6 inputs that make it to the output
    assert len(m) == 6
    r2_outputs = {
        (output_path, 0),
        (output_path, 1),
        (output_path, 2),
        (output_path, 3),
    }
    eq_outputs = {(output_path, 4)}
    # Offset zero in input is present in output (via r2 and eq)
    assert (input_file, 0) in m.keys()
    assert m[(input_file, 0)] == r2_outputs.union(eq_outputs)
    # Offsets 1,2,3 in input is present in output (via r2)
    assert (input_file, 1) in m.keys()
    assert m[(input_file, 1)] == r2_outputs
    assert (input_file, 2) in m.keys()
    assert m[(input_file, 2)] == r2_outputs
    assert (input_file, 3) in m.keys()
    assert m[(input_file, 3)] == r2_outputs
    # data[4] (from test_tdag.cpp) written to output
    assert (input_file, 4) in m.keys()
    assert m[(input_file, 4)] == {(output_path, 5)}
    # data[7] is in eq, written to output 4
    assert (input_file, 7) in m.keys()
    assert m[(input_file, 7)] == {(output_path, 4)}