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