source: CIVL/mods/dev.civl.com/examples/contracts/with2.cvl@ cb4d4f4

#include<collate.cvh>

$input int N=2;

$gcollator gcollator=$gcollator_create($here, N);

void process(int id){
  $scope here = $here;  
  $collator collator=$collator_create(gcollator, here, id);
  $collate_state cs=$collate_arrives(collator, here);

  if (id == 1) {
    $with (cs) {
      $assert($true);
    }  
  } else {
    int x = 9;

    $with (cs) {
      int y = x;

      $assert( y > 0);
    }  
  }
  $collate_departs(collator, cs);
  $free(collator);
}


int main(){
  $parfor(int i: 0 .. N-1)
    process(i);
  $free(gcollator);
}