Typed AST: Migrate FOR_IN_STATEMENT rule