<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_6bu66quv53hd06b9fua6s8m5k6, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
!7

p-exp {
  assertEmpty(checkRule([[ true ]], true));
  L<Exp> l = checkRule([[ false ]], false);
  assertEqualsVerbose(1, l(l));
  l = checkRule(
[[
    true && eval(true) && eval(false) && true => o(ok)
  ]], false);
  // TODO
}

static L<Exp> checkRule(S rule, final bool shouldSucceed) {
  print("\n" + rule);
  NLLogicChecker_v2 c = nlLogicCheckerWithRules(rule);
  new NLLogicChecker_v2.Matching m;
  m.verbose = true;
  
  final new Flag succeeded;
  final new L<Exp> remaining;
  nlLogic_iterate_withOnFail(c, first(c.rules).in, m, r {
    if (!shouldSucceed) fail("Should not succeed");
    succeeded.raise();
  }, voidfunc(Exp e) {
    remaining.add(e);
    print("Remaining expression: " + e);
  });
  if (shouldSucceed && !succeeded.isUp())
    fail("Rule failed");
  ret remaining;
}