Lazy typing for conditional statements
Add documentation for Lazyness analysis