def METHOD_NAME(program_trace: ProgramTrace):
    assert isinstance(program_trace, taint_dag.TDProgramTrace)
    tdfile = program_trace.tdfile
    # 8 source labels, 5 unions/ranges + zero-label (unused)
    assert tdfile.label_count == 14
    t0 = cast(taint_dag.TDUntaintedNode, tdfile.decode_node(0))
    assert isinstance(t0, taint_dag.TDUntaintedNode)
    assert t0.affects_control_flow is False
    t1 = cast(taint_dag.TDSourceNode, tdfile.decode_node(1))
    assert isinstance(t1, taint_dag.TDSourceNode)
    assert t1.affects_control_flow is True
    t2 = cast(taint_dag.TDSourceNode, tdfile.decode_node(2))
    assert isinstance(t2, taint_dag.TDSourceNode)
    assert t2.affects_control_flow is True
    t12 = cast(taint_dag.TDRangeNode, tdfile.decode_node(12))
    assert isinstance(t12, taint_dag.TDRangeNode)
    assert t12.first == 1
    assert t12.last == 4
    assert len(tdfile.fd_headers) == 2
    assert len(list(tdfile.sinks)) == 6