Tweak headers to keep include-what-you-use happy

Author: martin-cs

src/pointer-analysis/show_value_sets.cpp

@@ -12,9 +12,6 @@ Author: Daniel Kroening, [email protected]
 #include "show_value_sets.h"
 #include "value_set_analysis.h"
 
-#include <goto-programs/goto_model.h>
-
-#include <util/invariant.h>
 #include <util/xml.h>
 
 #include <iostream>

src/pointer-analysis/value_set_analysis.h

@@ -14,7 +14,7 @@ Author: Daniel Kroening, [email protected]
 
 #include <analyses/ai.h>
 
-#include "value_set_domain.h"
+#include "value_set_domain.h" // IWYU pragma: keep
 #include "value_sets.h"
 
 /// This template class implements a data-flow analysis which keeps track of