added assertions checking if message has been received before passing it to verification function