fixed a NullPointerException that occurred when the return edge leaving the main method was processed. This edge has a null call site and we thus simply return an empty taint set.
restricted test cases to our own JUnit tests and gave the test runner a bit more memory