Move show-loops in the right place in goto-diff

Goto-diff does not yet properly use initialize_goto_model.
Will require further fixes.

Author: peterschrammel

src/goto-diff/goto_diff_parse_options.cpp

@@ -280,6 +280,13 @@ int goto_diff_parse_optionst::doit()
   if(get_goto_program_ret!=-1)
     return get_goto_program_ret;
 
+  if(cmdline.isset("show-loops"))
+  {
+    show_loop_ids(get_ui(), goto_model1);
+    show_loop_ids(get_ui(), goto_model2);
+    return true;
+  }
+
   if(
     cmdline.isset("show-goto-functions") ||
     cmdline.isset("list-goto-functions"))
@@ -438,13 +445,6 @@ bool goto_diff_parse_optionst::process_goto_program(
 
     // add loop ids
     goto_functions.compute_loop_numbers();
-
-    // show it?
-    if(cmdline.isset("show-loops"))
-    {
-      show_loop_ids(get_ui(), goto_model);
-      return true;
-    }
   }
 
   catch(const char *e)