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