Utility functions cont. (to be squashed)

Author: svorenova

src/util/std_types.h

@@ -395,13 +395,10 @@ class class_typet:public struct_typet
   /// \return The base if exists.
   optionalt<baset> get_base(const irep_idt &id) const
   {
-    if(has_base(id))
+    for(const auto &b : bases())
     {
-      for(const auto &b : bases())
-      {
-        if(to_symbol_type(b.type()).get_identifier() == id)
-          return b;
-      }
+      if(to_symbol_type(b.type()).get_identifier() == id)
+        return b;
     }
     return {};
   }