Add documentation for Lazyness analysis