!7

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