let message_stack_is_empty (name_in_session : string) (state : string) : bool = ((get_message_stack name_in_session state)=[])