expr2ct hack for SV-COMP: no struct type body output

A proper fix would be done via diffblue#354

Author: tautschnig

src/ansi-c/expr2c.cpp

@@ -699,6 +699,7 @@ std::string expr2ct::convert_struct_type(
   if(tag!="")
     dest+=" "+id2string(tag);
 
+#if 0
   if(inc_struct_body)
   {
     dest+=" {";
@@ -722,6 +723,7 @@ std::string expr2ct::convert_struct_type(
 
     dest+=" }";
   }
+#endif
 
   dest+=declarator;