Model of a control flow graph in Java