removed ExpandSumOperator. Using Alloy's native sum quantifier generated by Clafer