Displey user-friendly error message for failed assertion