Refactored ICheckerOutput interface to leave message creation up to impl.