Sophie: mona-examples-1.4r13-3.fc12 x86

mona-examples-1.4r13-3.fc12.x86_64.rpm

var1 i,j,k;

((j>k => i=0) &
 (j<=k => ((j>0 => i=j-1) &
           ((j=0 & k>0) => i=k-1) &
           ((j=0 & k=0) => i=0))))

 <=>

i=j-1%k;