More fixes for CI

Author: Petr Bauch

src/util/std_expr.cpp

@@ -219,17 +219,17 @@ bool evaluates_to_boolean(const exprt &e)
   if(e.id() == ID_typecast)
     return e.type().id() == ID_bool;
 
-  //Boolean constants
+  // Boolean constants
   if(e.id() == ID_true || e.id() == ID_false)
     return true;
   if(e.id() == ID_constant)
     return true;
 
-  //Symbols
+  // Symbols
   if(e.id() == ID_symbol)
     return true;
 
-  //arithmetic relations
+  // Arithmetic relations
   if(e.id() == ID_equal || e.id() == ID_notequal)
     return true;
   if(e.id() == ID_ieee_float_equal || e.id() == ID_ieee_float_notequal)
@@ -239,15 +239,15 @@ bool evaluates_to_boolean(const exprt &e)
   if(e.id() == ID_le || e.id() == ID_lt)
     return true;
 
-  //propositional operators
+  // Propositional operators
   if(
     e.id() == ID_not || e.id() == ID_and || e.id() == ID_or ||
     e.id() == ID_implies)
     return true;
   if(e.id() == ID_exists || e.id() == ID_forall)
     return true;
 
-  //weird
+  // Other
   if(
     e.id() == ID_isfinite || e.id() == ID_isnormal || e.id() == ID_isinf ||
     e.id() == ID_isnan)