Fix include order in symex

Author: reuk

src/symex/path_search.cpp

@@ -9,6 +9,8 @@ Author: Daniel Kroening, kroening@kroening.com
 /// \file
 /// Path-based Symbolic Execution
 
+#include "path_search.h"
+
 #include <util/simplify_expr.h>
 #include <util/time_stopping.h>
 
@@ -18,8 +20,6 @@ Author: Daniel Kroening, kroening@kroening.com
 #include <path-symex/path_symex.h>
 #include <path-symex/build_goto_trace.h>
 
-#include "path_search.h"
-
 path_searcht::resultt path_searcht::operator()(
   const goto_functionst &goto_functions)
 {

src/symex/symex_cover.cpp

@@ -9,6 +9,8 @@ Author: Daniel Kroening, kroening@kroening.com
 /// \file
 /// Symex Test Suite Generation
 
+#include "symex_parse_options.h"
+
 #include <iostream>
 
 #include <util/json_expr.h>
@@ -17,8 +19,6 @@ Author: Daniel Kroening, kroening@kroening.com
 #include <goto-programs/xml_goto_trace.h>
 #include <goto-programs/json_goto_trace.h>
 
-#include "symex_parse_options.h"
-
 std::string symex_parse_optionst::get_test(const goto_tracet &goto_trace)
 {
   bool first=true;

src/symex/symex_main.cpp

@@ -9,10 +9,10 @@ Author: Daniel Kroening, kroening@kroening.com
 /// \file
 /// Symex Main Module
 
-#include <util/unicode.h>
-
 #include "symex_parse_options.h"
 
+#include <util/unicode.h>
+
 #ifdef _MSC_VER
 int wmain(int argc, const wchar_t **argv_wide)
 {

src/symex/symex_parse_options.cpp

@@ -9,6 +9,8 @@ Author: Daniel Kroening, kroening@kroening.com
 /// \file
 /// Symex Command Line Options Processing
 
+#include "symex_parse_options.h"
+
 #include <iostream>
 #include <fstream>
 #include <cstdlib>
@@ -52,7 +54,6 @@ Author: Daniel Kroening, kroening@kroening.com
 #include <path-symex/locs.h>
 
 #include "path_search.h"
-#include "symex_parse_options.h"
 
 symex_parse_optionst::symex_parse_optionst(int argc, const char **argv):
   parse_options_baset(SYMEX_OPTIONS, argc, argv),