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