simpler break condition of the first loop in NSI