control flow graph is needed