Fix: move has_unplaced_ghost_updates declaration before init() to fix unbound value error

Agent-Logs-Url: https://github.com/goblint/analyzer/sessions/b5589f8b-23a0-4723-bb0b-29d01fe34c54

Co-authored-by: michael-schwarz <13812333+michael-schwarz@users.noreply.github.com>

Author: Copilot

src/witness/yamlWitness.ml

@@ -467,6 +467,10 @@ class ghostUpdateVisitor (updates : (string, Cil.instr list) Hashtbl.t) (placed
     ChangeDoChildrenPost (s, instrument)
 end
 
+(** Set to [true] if any ghost update from [init] could not be placed in the CIL AST.
+    Checked by [Validator.validate] to prevent a successful validation result. *)
+let has_unplaced_ghost_updates = ref false
+
 let init () =
   match GobConfig.get_string "witness.yaml.validate" with
   | "" -> ()
@@ -627,10 +631,6 @@ struct
   include Lattice.Chain (ChainParams)
 end
 
-(** Set to [true] if any ghost update from [init] could not be placed in the CIL AST.
-    Checked by [Validator.validate] to prevent a successful validation result. *)
-let has_unplaced_ghost_updates = ref false
-
 (* TODO: record *)
 let cnt_confirmed = ref 0
 let cnt_unconfirmed = ref 0