test for Lazy.__len__()