checker: allowing smart error messages