Improve the state of the analyzer. Added a test for static members changing in functions.