BufferOverrunProofObligations.ConditionTrace
type t
val get_report_location : t -> IBase.Location.t
val get_val_traces : t -> BufferOverrunTrace.Issue.t