Add Static Analyzer Implementation

Transformer is rewritten and now works in one phase, in development
mode it works as a static analyzer, and in production applies code
transformations.