More adjustments to files after paper evaluation

[iot2.git] / localconfig / iotpolicy / EspSprinkler / smartsprinkler.req

requires Sprinkler with Initialize, Zone as interface SprinklerSmart;