Added test for 'let be st' expression that calculates the sum of a nat set