Issue#769: added messages for asserts