out for now
Probabassignment reloaded
new SumIndexSetType and sum index
swap Probab for probab assignment
fixed optional use of indexes
new element Probability
defining Probability in LogicBinOpType
adding Probability element to the expressions

and operations to enable complex discrete models definition
for complex model assign not necessary