Added test for laziness