Adjusting the test grading for lazySet.