\programVariables {
 byte b;
 byte c;
}


\problem {
b=c
-> \<{
boolean r = (++b==(byte)(c+1));
    }\> r=TRUE

}