NLLogicChecker_v3 - with iteration