\predicates {
   p(int,int,int);
}

\programVariables {
   int i,j,k;
}

\problem{
   j=3 & k=5 -> \<{ i = j + k; if (i < j) k = i; else k = j; }\> p(i,j,k)
}