update set_logic matcher to short circuit when it COULD have matched