public void ReportMessage(Exception e, Node node) { var message = e as VerificationException; if (message == null) { message = new VerificationException(node.FormatErrorMessage(e.Message), e); } _messages.Add(message); }