build_goto_trace.cpp: update includes

The file requires goto_functionst (which it may or may not see via transitive
includes), but no longer needs assert.

Author: tautschnig

src/goto-symex/build_goto_trace.cpp

@@ -13,13 +13,13 @@ Author: Daniel Kroening
 
 #include "build_goto_trace.h"
 
-#include <cassert>
-
 #include <util/arith_tools.h>
 #include <util/byte_operators.h>
 #include <util/simplify_expr.h>
 #include <util/threeval.h>
 
+#include <goto-programs/goto_functions.h>
+
 #include <solvers/prop/prop_conv.h>
 #include <solvers/prop/prop.h>