Cumulative fixing comment

Will be squashed.

Author: Petr Bauch

regression/goto-harness/havoc-global-int-02/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
---harness-type initialise-with-memory-snapshot --memory-snapshot ../load-snapshot-json-snapshots/global-int-x-y-snapshot.json --initial-location main:9 --havoc-variables y
+--harness-type initialise-with-memory-snapshot --memory-snapshot ../load-snapshot-json-snapshots/global-int-x-y-snapshot.json --initial-location main:7 --havoc-variables y
 ^\[main.assertion.1\] line \d+ assertion y \+ 2 > y: FAILURE$
 ^\[main.assertion.2\] line \d+ assertion 0: FAILURE$
 ^EXIT=10$

src/goto-harness/memory_snapshot_harness_generator.cpp

@@ -102,7 +102,7 @@ memory_snapshot_harness_generatort::get_start_instruction(
 
       if(it != goto_program.instructions.end())
       {
-        entry_function_name = entry.first; //TODO - move elsewhere
+        entry_function_name = entry.first;
         return it;
       }
     }