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