integrated local must alias analysis and added a corresponding test case
added even more test cases
removed duplicate assertions
removed even more unnecessary assertions
code cleanup
fixed a typo in a log message
added an option to ignore sources and sinks in system classes
thread safety fix
added a check to not start the alias analysis for constants
performance optimization