Create a Diagnostics interface with a default implementation to extract logic from verifyproblem #398