\functions { int a; } \programVariables { int i; } \problem { {i:=a} \<{ i=i*(i++); }\> a * a = i }