fixup! Use standard algorithm for finding an element

Author: romainbrenguier

src/solvers/prop/prop_conv.cpp

@@ -369,9 +369,7 @@ void prop_conv_solvert::set_to(const exprt &expr, bool value)
   const bool has_only_boolean_operands = std::all_of(
     expr.operands().begin(),
     expr.operands().end(),
-    [](const exprt &expr) { // NOLINT
-      return expr.type().id() == ID_bool;
-    });
+    [](const exprt &expr) { return expr.type().id() == ID_bool; });
 
   if(has_only_boolean_operands)
   {