Simple Addition - Solidity Typing CST Test