Element 'control-flow graph'