Perfectly_orderable_graph loading ...