Check `Real + Virt = Full` identity for topology C