Counter With Loop Simulation - Solidity Typing CST Test