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