improved state inference for services (only modules providing the service are considered