public static VerificationResult Debug(this VerificationResult verificationResult) { return(verificationResult.Debug(Console.WriteLine)); }