Update parameter names

These did not match their implementation names

Author: thk123

src/goto-programs/string_instrumentation.cpp

@@ -78,16 +78,16 @@ class string_instrumentationt:public messaget
   }
 
   void instrument(goto_programt &dest, goto_programt::targett it);
-  void do_function_call(goto_programt &dest, goto_programt::targett it);
+  void do_function_call(goto_programt &dest, goto_programt::targett target);
 
   // strings
   void do_sprintf(
     goto_programt &dest,
-    goto_programt::targett it,
+    goto_programt::targett target,
     const code_function_callt &);
   void do_snprintf(
     goto_programt &dest,
-    goto_programt::targett it,
+    goto_programt::targett target,
     const code_function_callt &);
   void do_strcat(
     goto_programt &dest,
@@ -99,27 +99,27 @@ class string_instrumentationt:public messaget
     const code_function_callt &);
   void do_strchr(
     goto_programt &dest,
-    goto_programt::targett it,
+    goto_programt::targett target,
     const code_function_callt &);
   void do_strrchr(
     goto_programt &dest,
-    goto_programt::targett it,
+    goto_programt::targett target,
     const code_function_callt &);
   void do_strstr(
     goto_programt &dest,
-    goto_programt::targett it,
+    goto_programt::targett target,
     const code_function_callt &);
   void do_strtok(
     goto_programt &dest,
-    goto_programt::targett it,
+    goto_programt::targett target,
     const code_function_callt &);
   void do_strerror(
     goto_programt &dest,
     goto_programt::targett it,
     const code_function_callt &);
   void do_fscanf(
     goto_programt &dest,
-    goto_programt::targett it,
+    goto_programt::targett target,
     const code_function_callt &);
 
   void do_format_string_read(