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