#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);
	}
      }
    }
  }
}