private static Gen <OutputDescriptor> AddrOutputDescriptorGen(Network?n = null) => from addr in n is null?AddressGenerator.RandomAddress() : AddressGenerator.RandomAddress(n) select OutputDescriptor.NewAddr(addr);
private static Gen <OutputDescriptor> AddrOutputDescriptorGen(Network n) => from addr in AddressGenerator.RandomAddress(n) select OutputDescriptor.NewAddr(addr, n);