Improve documentation in assert on lazy eval