let
pretty_node fmt n =
Format
.fprintf fmt
"%d"
(
VL
.hash n)