def METHOD_NAME(input_file: Path, program_trace: ProgramTrace):
    assert isinstance(program_trace, taint_dag.TDProgramTrace)
    inputs = list(program_trace.inputs)
    assert len(inputs) == 1
    assert inputs[0].path == str(input_file)
    # TODO (hbrodin): Should probably not be exposed. Also, the fd is not necessarily unique
    # per run, which is in the documentation for uid.
    # stdin, stdout, stderr, tdag-file, input_path
    assert inputs[0].uid == 4
    assert inputs[0].size == 29