Cgil_lib.CompileState
val already_annot_structs : Gillian.Utils.Containers.SS.t Stdlib.ref
val reset : unit -> unit