* code_graph/model3.ml: get rid of g, but does not optimize much :(