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

A proper fix would be done via #354

Author: tautschnig

src/ansi-c/expr2c.cpp

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