Diagnostics: From a Clean Run to the Minimal Culprit - grafsoul