Checking loop result branches.