@Expect getMessages "throws exception when user is wrong"                 userIsWrong
@Expect getMessages "throws exception when time is wrong"                 timeIsWrong
@Expect getMessages "throws exception when user is not correct"           userIsNotCorrect
@Expect getMessages "throws exception when subscriptions are not correct" subscriptionsAreNotCorrect

LinkedList <Message> &getMessages (User &user, Time &time)
{
  ...
}

@Expect addMessage "doesn't update when no subscriptions"                noSubscriptions
@Expect addMessage "doesn't update when time is too early"               timeIsTooEarly

@Expect addMessage "throws exception when user is wrong"                 userIsWrong
@Expect addMessage "throws exception when time is wrong"                 timeIsWrong
@Expect addMessage "throws exception when message is wrong"              messageIsWrong
@Expect addMessage "throws exception when user is not correct"           userIsNotCorrect
@Expect addMessage "throws exception when subscriptions are not correct" subscriptionsAreNotCorrect

void addMessage (User WR &user, Message &msg, Time &time)
{
  ...
}