Merge pull request #2722 from tautschnig/cleanup-valuest

Cleanup constant_propagator_domaint::valuest

Author: tautschnig

src/analyses/constant_propagator.h

@@ -70,12 +70,9 @@ class constant_propagator_domaint:public ai_domain_baset
 
   struct valuest
   {
-  public:
-    valuest():is_bottom(true) {}
-
     // maps variables to constants
     replace_symbolt replace_const;
-    bool is_bottom;
+    bool is_bottom = true;
 
     bool merge(const valuest &src);
     bool meet(const valuest &src);