Fix visualization label for SAT diagnostics.