Fix a unittest file after D108695 when Z3 is enabled
A few nits here and there. But I don't mind this even in its current form.
AnalysisConsumer->AddDiagnosticConsumer( OnlyEmitWarnings ? new OnlyWarningsDiagConsumer(DiagsOutput) : new PathDiagConsumer(DiagsOutput) );
Hm, I see why you don't want to pass this bool via NTTP even if it is available at compile time in all cases. Okay.