!7

p-exp {
  NLLogicChecker_v2 c = nlLogicCheckerWithRules([[
    true && eval(true) && eval(false) && true => o(ok)
  ]]);
  new NLLogicChecker_v2.Matching m;
  m.verbose = true;
  nlLogic_iterate_withOnFail(c, first(c.rules).in, m, r {
    fail("Should not succeed")
  }, voidfunc(Exp e) {
    print("Remaining expression: " + e);
  });
}