fixes for the performance improvements:

#1: RW-Sets do not cover aliases on the base object, so we only take them for static field references for the moment
#2: Do not pass taints for overwritten fields over the call-to-return edge
added more test cases for static fields