Knuth_Bendix_Order.Order_Pair