Control-flow_diagram loading ...