Parsing a program with one assignment