sig
  type data_info =
      ((PdgTypes.Node.t * Locations.Zone.t option) list *
       Locations.Zone.t option)
      option
  type ctrl_info = PdgTypes.Node.t list
  type decl_info = PdgTypes.Node.t list
  val find_code_annot_nodes :
    PdgTypes.Pdg.t ->
    Cil_types.stmt ->
    Cil_types.code_annotation ->
    Annot.ctrl_info * Annot.decl_info * Annot.data_info
  val find_fun_precond_nodes :
    PdgTypes.Pdg.t ->
    Cil_types.predicate -> Annot.decl_info * Annot.data_info
  val find_fun_postcond_nodes :
    PdgTypes.Pdg.t ->
    Cil_types.predicate -> Annot.decl_info * Annot.data_info
  val find_fun_variant_nodes :
    PdgTypes.Pdg.t -> Cil_types.term -> Annot.decl_info * Annot.data_info
end