Updates requested in PR diffblue#89.

Author: marek-trtik

src/taint-analysis/taint_summary_dump.cpp

@@ -204,7 +204,6 @@ bool taint_functions_for_dumping_taint_summary_in_htmlt::
           "    <th>Name</th>\n"
           "    <th>Type</th>\n"
           "  </tr>\n";
-  assert(program.get_namespace().get_symbol_table().has_symbol(fn_id));
   const symbolt &fn_symbol=program.get_namespace().lookup(fn_id);
   const code_typet &fn_type=to_code_type(fn_symbol.type);
   for(std::size_t i=0UL, n=fn_type.parameters().size(); i!=n; ++i)
@@ -296,7 +295,7 @@ bool taint_functions_for_dumping_taint_summary_in_htmlt::
       "    <th>Domain value</th>\n"
       "    <th style=\"width:300px;\">Comment</th>\n"
       "  </tr>\n";
-    for (auto  instr_it = fn_body.instructions.cbegin();
+    for(auto instr_it = fn_body.instructions.cbegin();
       instr_it!=fn_body.instructions.cend();
       ++instr_it)
     {
@@ -405,7 +404,7 @@ bool taint_functions_for_dumping_taint_summary_in_htmlt::
               {
                 if(!first_or)
                   ostr << " or ";
-              ostr << html_encoding() << cond.dump(named_tokens);
+                ostr << html_encoding() << cond.dump(named_tokens);
                 first_or=false;
               }
               if(props.get_sink_conditions().size()>1U && set.size()>1U)