Full lazyness analysis