def METHOD_NAME(input_file: Path, program_trace: ProgramTrace):
    assert isinstance(program_trace, taint_dag.TDProgramTrace)
    taints = program_trace.inputs_affecting_control_flow()
    # Offsets 0,1,6,7 affect control flow
    assert len(taints) == 4
    regions = list(taints.regions())
    assert len(regions) == 2
    assert regions[0].source.path == str(input_file)
    assert regions[0].offset == 0
    assert regions[0].length == 2
    assert regions[1].source.path == str(input_file)
    assert regions[1].offset == 6
    assert regions[1].length == 2