sig 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