Efficient_Weighted_Path_Order.WPO_Mem_Impl