Write a Test

[ishaq]

Writing Unit tests for something like this is tricky because analysis output changes slightly with updates to java/soot. Nevertheless the project is at a point now where we should not proceed without tests. For a start, a test could check that the analysis output matches the expected analysis output of some minimal benchmark (GCD?)