Move convert call above body_provided check

The previous version would have not called convert_single_method on
excluded methods, meaning they would have missed some meta-information,
e.g. parameter identifiers.

Author: antlechner

src/goto-programs/lazy_goto_functions_map.h

@@ -173,6 +173,9 @@ class lazy_goto_functions_mapt final
     const key_type &name,
     symbol_table_baset &function_symbol_table) const
   {
+    // Fill in symbol table entry body if not already done
+    language_files.convert_lazy_method(name, function_symbol_table);
+
     underlying_mapt::iterator it=goto_functions.find(name);
     if(it!=goto_functions.end())
       return *it;
@@ -190,9 +193,6 @@ class lazy_goto_functions_mapt final
     // Second chance: see if language_filest can provide a body:
     if(!body_provided)
     {
-      // Fill in symbol table entry body if not already done
-      language_files.convert_lazy_method(name, function_symbol_table);
-
       // Create goto_functiont
       goto_convert_functionst convert_functions(
         function_symbol_table, message_handler);