Tester application without argument causes crash

[FedericoAureliano]

For example,

module main {
  datatype some_adt = some_ctr();

  init {
    assert is_some_ctr();
  }
}

will cause a crash instead of reporting a type error (is_empty should take one argument).