first approach
added anchor-abstraction from callEdge
no locals for backward
bugfixes to backwardsolver
new testcase
do only propagate inactive taint that is relevant for activation
added a boolean flag to show if an Abstraction is active;
the activationUnit is always renewed in active-mode
removed debug output
fixed loop in c2r (same condition has to be applied to avoid
forward-backward-switching
fixed loop again - check is on ForwardSolver now!
bugfix for ArrayCopyTest (failed because we erased the taint
in C2R but no C/R edges existed)
-> included check for callees
Merge remote-tracking branch 'origin/develop' into flowSensitiveAlias