let set_pos env n pos = Hashtbl.add env.dfsp n pos; env