collect paths on taint propagation, save them in PathChain