\predicates {
        p(int,int);
}

\functions {
        int a;
}

\programVariables {
        int i, j;
}

\problem {
        {i:=a}
           \<{
               j=(i=i+1)+3;
             }\> p(i, j)
}