sig
  type t = CfgWP.VC.target
  val hsrc : WpPropId.effect_source -> int
  val hash : CfgWP.VC.target -> int
  val compare : CfgWP.VC.target -> CfgWP.VC.target -> int
  val equal : CfgWP.VC.target -> CfgWP.VC.target -> bool
  val prop_id : CfgWP.VC.target -> CfgWP.VC.P.t
  val source :
    CfgWP.VC.target -> (Cil_datatype.Stmt.t * WpPropId.effect_source) option
  val pretty : Format.formatter -> CfgWP.VC.target -> unit
end