\predicates {
        p(int,int);
}

\programVariables {
        int i, j;
}

\problem {
        \<{
            i=2;
            j=(i=i+1)+4;
          }\> p(i, j)
}