ForStatement typecheck and initExpression is a Statement