[john_alan]

> Is there unambiguous way to define whether David got the BTC originally owned by Alice or the one owned by Bob?

Yes. BTC is completely traceable. You can follow the TXOs