neverallow {
  domain
  -init
  -vendor_init
} esim_modem_prop:property_service set;