Adds assertion messages