sig
  val get_defs :
    Kernel_function.t ->
    Cil_datatype.Stmt.t ->
    Cil_datatype.Lval.t ->
    (Cil_datatype.Stmt.Hptset.t * Locations.Zone.t option) option
  val get_defs_with_type :
    Kernel_function.t ->
    Cil_datatype.Stmt.t ->
    Cil_datatype.Lval.t ->
    ((bool * bool) Cil_datatype.Stmt.Map.t * Locations.Zone.t option) option
  val compute_with_def_type_zone :
    Cil_types.kernel_function ->
    Cil_types.stmt ->
    Locations.Zone.t ->
    ((bool * bool) Cil_datatype.Stmt.Map.t * Locations.Zone.t option) option
end