let rcv_stack_is_empty (name_in_session : string) (state : string) : bool = ((get_rcv_stack name_in_session state)=[])