let GetMessages (P_P_MESSAGE_LIST WR Messages, P_MAIL_BOX Inbox, P_DATE_TIME Time = NULL)
{
  ...
}

[EXPECT] GetMessages "throws exception when time is wrong"             TimeIsWrong
[EXPECT] GetMessages "throws exception when user is not correct"       UserIsNotCorrect
[EXPECT] GetMessages "throws exception when inbox are not correct"     InboxAreNotCorrect

let AddMessage (P_MAIL_BOX WR Outbox, P_MESSAGE Message)
{
  ...
}

[EXPECT] AddMessage "doesn't update when outbox is full"               OutboxIsFull

[EXPECT] AddMessage "throws exception when message is wrong"           MessageIsWrong
[EXPECT] AddMessage "throws exception when user is not correct"        UserIsNotCorrect
[EXPECT] AddMessage "throws exception when outbox is not correct"      OutboxIsNotCorrect
