source: CIVL/examples/specialStatements/when3.cvl

#include<civlc.cvh>

int main(){
  int a=100, b=1;

  $when(a>10){
    $choose{
      $when(b>0){
        a=a+1;
        $assert(a==101);
        int a=10;
        $assert(a==10);
      }
      $when(a<200){
        $when(b>0){
          a=a+1;
        }
        $assert(a==101);
        int a=10;
        $when(a==10){
          $assert(b==1);
        }
      }
    }
  }
}