Actually, yes, this is possible. However, your payment output might get split or combined with other payment outputs in later payments. Therefore, the graph will be less linear than you suggest:
C ↴ ↱ H
A → B → D → E → G
↳ F
So, A would be sent to B, then B + C would produce D, D would be split up to E and F, E would further be split up to G and H.
B would be a 100% child of A, D, E, F, G and H only 50% (if A and C were the same size).
This would get much more complicated over time where many outputs get combined and split and so forth, but you could actually continue to track this forever. The issue is actually not with the tracing of funds, but with the proving that funds were indeed stolen. If you are more interested in this, you might find this related question useful: What are tainted coins exactly?