ApplicationLevel Functions Model: IntSampleList: implement constraint SumOverProbabilitiesOfSamplesMustBeOne