NLLogicChecker_v3 - with iteration, recent history & many more constructs