/* Commandline execution:
 *		civl verify atomWaitBad.cvl
 * */
#include <civlc.cvh>
void foo() {
  void koo() {
    int o = 0;
	o++;
  }
  
  $proc p = $spawn koo();
  // undesired blocked state in $atom block, 
  // an error will be reported
  $wait(p);
}

void main() {
  $atom {
    $wait($self);
    foo();
  }
}