Removes get_namespace() from contracts module

Signed-off-by: Felipe R. Monteiro <felisous@amazon.com>

Author: feliperodri

src/goto-instrument/contracts/contracts.cpp

@@ -679,11 +679,6 @@ const symbolt &code_contractst::new_tmp_symbol(
     symbol_table);
 }
 
-const namespacet &code_contractst::get_namespace() const
-{
-  return ns;
-}
-
 symbol_tablet &code_contractst::get_symbol_table()
 {
   return symbol_table;

src/goto-instrument/contracts/contracts.h

@@ -129,8 +129,6 @@ class code_contractst
     const loopt &loop,
     const irep_idt &mode);
 
-  const namespacet &get_namespace() const;
-
   // for "helper" classes to update symbol table.
   symbol_tablet &get_symbol_table();
   goto_functionst &get_goto_functions();

src/goto-instrument/contracts/memory_predicates.cpp

@@ -227,8 +227,6 @@ void is_fresh_baset::update_fn_call(
 
   // fixing the function name.
   to_symbol_expr(call.function()).set_identifier(fn_name);
-  log.debug() << "printing updated call expression: "
-              << expr2c(call, parent.get_namespace()) << "\n";
 
   ins->set_function_call(call);
 }