def generate_state_name_id():
    """Generates an id for a state

    It simply uses a global counter that is increased each time. It is intended for the name of a new state.

    :return: a new state machine id
    """
    global state_name_counter
    state_name_counter += 1
    return state_name_counter
