/* Commandline execution:
 *		civl verify continue.cvl
 * */
#include <civlc.cvh>

void main() {
  for (int i = 0; i < 5; i++) {
    for (int j = 0; j < 5; j++) {
      for (int k = 0; k < 7; k++) {
        if (k < 4) {
          continue;
        }
        $assert((k >= 4));
      }
      if (j > 3) {
       continue;
      }
      $assert((j <= 3));
    }
    if (i <= 2) {
      continue;
    }
    $assert((i > 2));
  }
}