Added a test to make sure the seq of results terminates