\programVariables {
        int i;
}

\problem {
        \forall int x; 
          {i := x}
            \<{
                i = i*(i++);
              }\> x * x = i
}