Cleanup analyzers

[Youssef1313]

Current implementation of analyzers relies on syntax when it really needs semantics. This is a bad practice and is very error prone.

This PR modernizes few analyzer implementations to follow better practices and be more solid. There is much more to cleanup, but it's a good step so far.