let
leave_node _env n =
Format
.printf
"[CbTest] leave_node %s@."
(
ViewGraph
.get_id n)