Try working around asan

Author: tautschnig

unit/goto-symex/goto_symex_state.cpp

@@ -38,11 +38,12 @@ SCENARIO(
   auto fresh_name = [&fresh_name_count](const irep_idt &) {
     return fresh_name_count++;
   };
+  irep_idt language_mode;
   goto_symex_statet state{
     source,
     DEFAULT_MAX_FIELD_SENSITIVITY_ARRAY_SIZE,
     true,
-    irep_idt{},
+    language_mode,
     manager,
     fresh_name};