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