* code_graph/view3.ml: cleanup