Added initialization graph creation + testcases.
Added initialization graph decompression + test cases.
necessary condition 'canBeTainted'. Added test-cases.
isTainted + test cases.
taintedArgs and test cases.
Adapted tests to changes in sample code.
'unchecked' and test-cases.
Added note about ANY_SOURCE to queryTemplate.
Adapt. Still buggy.
Fix for previous commit.
Fixes for localDefTree.
Experiment state.