Conditional Increment - Solidity Typing CST Test