ReachableNets::Remove

[[requires_capability(0x7fbca1646548), requires_capability(0x7fbc92397ee8), requires_capability(0x7fbc9fdcd488), requires_capability(0x7fbc861c5b88), requires_capability(0x7fbc961fb6a8), requires_capability(0x7fbc8606b478), requires_capability(0x7fbc8c728828), requires_capability(0x7fbc85012f58), requires_capability(0x7fbc902c9428), requires_capability(0x7fbca607ac38), requires_capability(0x7fbc8842a0f8), requires_capability(0x7fbc84e46cc8), requires_capability(0x7fbc76fbf8b8), requires_capability(0x7fbc9070beb8), requires_capability(0x7fbca3600bf8)]]
void
Remove(Network net);