Cleaning up the analysis framework a bit after the refactoring and
starting to use the symbolic execution in the jinq-jpa code.