source: CIVL/mods/dev.civl.com/examples/library/civlc/pathcondition.cvl@ cb4d4f4

#include <civlc.cvh>
#include <stdio.h>

$input int x;

void main(){
  $assume(x > 0);
  $pathCondition();
  $assume (x < 0);
  $pathCondition();
}