Partial_order_reduction loading ...