Updates requested in the PR.

Author: marek-trtik

src/taint-slicer/instrumenter.cpp

@@ -225,18 +225,20 @@ std::size_t taint_instrumentert::instrument_location(
   {
     auto iit=instrumentation_code.add_instruction(ASSIGN);
     iit->code=code_assignt(
-      symbol_exprt(from_tokens_to_vars.at(arg_token.get_token_name()),
-      typet(ID_bool)),
+      symbol_exprt(
+        from_tokens_to_vars.at(arg_token.get_token_name()),
+        typet(ID_bool)),
       constant_exprt(ID_true, typet(ID_bool)));
     iit->function=loc.get_function_id();
   }
-  // Now we instrument "turn of" assignments of state variables.
+  // Now we instrument "turn off" assignments of state variables.
   for(const auto &arg_token : loc.get_turn_off())
   {
     auto iit=instrumentation_code.add_instruction(ASSIGN);
     iit->code=code_assignt(
-      symbol_exprt(from_tokens_to_vars.at(arg_token.get_token_name()),
-      typet(ID_bool)),
+      symbol_exprt(
+        from_tokens_to_vars.at(arg_token.get_token_name()),
+        typet(ID_bool)),
       constant_exprt(ID_false, typet(ID_bool)));
     iit->function=loc.get_function_id();
   }

src/taint-slicer/slicing_tasks_builder.cpp

@@ -48,8 +48,8 @@ Function: remove_calls_to_functions_without_bodies
 
 \*******************************************************************/
 static void remove_calls_to_functions_without_bodies(
-    goto_functionst &goto_functions,
-    symbol_tablet &symbol_table)
+  goto_functionst &goto_functions,
+  symbol_tablet &symbol_table)
 {
   std::set<irep_idt> fns_without_bodies;
   for(auto &fname_prog : goto_functions.function_map)