fixed broken unit test
(the test behaved differently than Soot, so it was probably ok to adjust the test, not the analyzer)