Array Sum - Solidity Typing CST Test