let no_scan_states env = (* Prevent the GC from scanning the list env.states as it is going to be kept in memory all the time. *) List.iter (fun s -> Obj.set_tag (Obj.repr s) (Obj.no_scan_tag)) env.states