VirtualCoverage: More consistency checks