Replace constructor by default values for fields

Author: romainbrenguier

src/goto-symex/goto_symex_state.h

@@ -288,14 +288,8 @@ class goto_symex_statet final
     // loop and recursion unwinding
     struct loop_infot
     {
-      loop_infot():
-        count(0),
-        is_recursion(false)
-      {
-      }
-
-      unsigned count;
-      bool is_recursion;
+      unsigned count = 0;
+      bool is_recursion = false;
     };
     std::unordered_map<irep_idt, loop_infot> loop_iterations;
   };