let get_region n =
    try (get_marking_data n).region
    with Invalid_argument "get_marking: input node is unprocessed" ->
      invalid_arg ("get_region: input node is unprocessed")