let get_pos_if_traversed env n =
    try Some (Hashtbl.find env.dfsp n) with Not_found -> None