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