Partial_order_reduction