modelCheckDiagnostics