Add whitespace between unrelated pass invocations

Author: smowton

jbmc/src/janalyzer/janalyzer_parse_options.cpp

@@ -667,8 +667,10 @@ bool janalyzer_parse_optionst::process_goto_program(const optionst &options)
     status() << "Removing function pointers and virtual functions" << eom;
     remove_function_pointers(
       get_message_handler(), goto_model, cmdline.isset("pointer-check"));
+
     // Java virtual functions -> explicit dispatch tables:
     remove_virtual_functions(goto_model);
+
     // remove Java throw and catch
     // This introduces instanceof, so order is important:
     remove_exceptions(goto_model, get_message_handler());