Added LeastWeights semiring and MostProbable semiring