/* Commandline execution:
 *		civl verify emptyWhen.cvl
 * */
void main() {
  $when($true) {}
}