Solidity: More tests for the ForStatement