partial inlining is no longer needed

Author: kroening

src/cbmc/cbmc_parse_options.cpp

@@ -784,10 +784,6 @@ bool cbmc_parse_optionst::process_goto_program(
     // instrument library preconditions
     instrument_preconditions(goto_model);
 
-    // do partial inlining
-    status() << "Partial Inlining" << eom;
-    goto_partial_inline(goto_model, get_message_handler());
-
     // remove returns, gcc vectors, complex
     remove_returns(goto_model);
     remove_vector(goto_model);

src/goto-programs/set_properties.cpp

@@ -122,8 +122,7 @@ void label_properties(goto_functionst &goto_functions)
       it=goto_functions.function_map.begin();
       it!=goto_functions.function_map.end();
       it++)
-    if(!it->second.is_inlined())
-      label_properties(it->second.body, property_counters);
+    label_properties(it->second.body, property_counters);
 }
 
 void make_assertions_false(goto_modelt &goto_model)