Efficient_Weighted_Path_Order.RPO_Mem_Impl