Improved linking of jump predecessors: If a.foo is tainted and a.m() is called which does not change anything on the a.foo taint, the new (equal) a.foo taint is discarded and the old one before entering the method is instead propagated onwards, allowing the method call to be "cut out" from the predecessor tree