let intru () = match !intru_store with Some t -> t | None -> raise (Failure "Utils.ml : access to non initialised intru var (bug).\n")