They don't put the coins form "virtual" fork into account.
But I don't understand why. The dev's took the exact state from BTC-chain (2nd Nov)., like any other fork. (BCH, BTG..)
Multiplied that with 0.5 and did import that even with the same addresses into the Bitcore-chain.
So anybody with a valid BTC address has access to his BTX, same as the other forks ...
So why do they get their forked values accounted into their circulating supply and not BTX?