add static analyzer
Merge pull request #3425 from Simn/ssa_merge

Add static analyzer with constant propagation