fix(core): do not apply logical rule if iter budget is exausted (#265)

fix(core): do not apply logical rule if iter budget is exausted (#265) #173