Counter Contract - Solidity Typing CST Test