Diagnostics/ExtractorMessage.ql