WIP remove 'empty' option

Author: hannes-steffenhagen-diffblue

src/goto-programs/replace_function_bodies.cpp

@@ -151,17 +151,6 @@ class assert_false_then_assume_false_generate_function_bodiest
   }
 };
 
-class empty_generate_function_bodiest : public generate_function_bodiest
-{
-protected:
-  void generate_function_body_impl(
-    goto_functiont &function,
-    const symbol_tablet &symbol_table,
-    const irep_idt &function_name) const override
-  {
-  }
-};
-
 class havoc_generate_function_bodiest : public generate_function_bodiest,
                                         private messaget
 {
@@ -371,11 +360,6 @@ std::unique_ptr<generate_function_bodiest> generate_function_bodies_factory(
       assert_false_then_assume_false_generate_function_bodiest>();
   }
 
-  if(options == "empty")
-  {
-    return util_make_unique<empty_generate_function_bodiest>();
-  }
-
   const std::vector<std::string> option_components = split_string(options, ',');
   if(!option_components.empty() && option_components[0] == "havoc")
   {