let get_region_opt n =
    match (get_marking n) with
        Unprocessed -> None
      | Processed_Covered md
      | Processed_Uncovered md
      | Processed_Was_Covered_To_Reprocess md ->
          Some md.region