add default error message for user-defined asserts