collect also exit of methods and all parts of a call
add cache for covering program parts
search for instructions whose label matches a given regex
unify all ways to get or set the security lattice
SDGProgram: do not compute covering program parts here but use the functionality just introduced in the SDGProgramPartCollector
use thread-sensitive chopper for computation of instruction chops
make new 'select instruction by regex' functionality available
changes to the WALA submodule
fix identification of static methods (classical negation error...)
2-CFA-PointsTo: Do not smush primitive holders and be constant specific!