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