minor typo
Introduce Initial Assignment Converter: Not work?