Construction of a control flow graph