Moved logger output to appropriate location
Changed API of SolverManager
Moved logger output to right position
Missing files for commit 2 before
added starting method to notifier
Added some test cases and apply findAlias on returns
Fixed flow functions
All problems share same summaries and incomings
Updated test cases for fields
Updated test cases
Added a test case which needs shortcutting
Added shortcutting
Added Caching of ptsAnalysis