Why is this control flow graph correct?
Often control-flow graphs don't include call's or other interprocedural control-flow in the graph.  So, a call node does not lead to an edge from the call site to the callee, and in this case, that means there would be no edge from 13 to 2.