7.3.6 Derived Assertions

You can derive some information about the relative values of scalar integers from the if statements in the program, as shown in the following example:

if ( m > n ) {
     for ( i=0; i<n; i++ ) {
     a[i] = a[i+m] + b[i];
   }
}

The transformations KAP may perform will take into account the fact that the loop can be executed only when the value of m is greater than n .