Narrowing types for static analysis

/narrowing-types-for-static-analysis