constant propagator fix

Author: danpoe

src/analyses/constant_propagator.cpp

@@ -58,11 +58,17 @@ void constant_propagator_domaint::transform(
   output(std::cout, ai, ns);
 #endif
 
+  // When the domain is used with constant_propagator_ait,
+  // information about dirty variables and config flags are
+  // available. Otherwise, the below will be null and we use default
+  // values
   const constant_propagator_ait *cp=
     dynamic_cast<constant_propagator_ait *>(&ai);
   bool have_dirty=(cp!=nullptr);
 
-  assert(!values.is_bottom);
+  // assert(!values.is_bottom);
+  if(values.is_bottom)
+    return;
 
   if(from->is_decl())
   {