#1: improved performance for taint tracking for static fields
#2: changed test case to use a more realistic path length