Added tests of user messages in assertions