sig
  type t = CtrlDpds.t_info
  val inter : CtrlDpds.t_info -> CtrlDpds.t_info -> CtrlDpds.t_info
  val equal : CtrlDpds.t_info -> CtrlDpds.t_info -> bool
  val add : Cil_datatype.Stmt.Set.elt -> CtrlDpds.t_info -> CtrlDpds.t_info
  val pretty : Format.formatter -> CtrlDpds.t_info -> unit
end