let add_undef_in_to_select select undef m =
  match undef with
    | None -> select
    | Some loc ->
        if (Locations.Zone.equal Locations.Zone.bottom loc) then select
        else add_to_select select (mk_select_undef_zone loc) m