InfoflowProblem.java: Enhance taint analysis to tag tainted Jimple Stmt Units with TaintedStmtTag