interface Sensor {
  in void activate();
  in void deactivate();
  behaviour { 
    on activate: { }
    on deactivate: { }
  }
}
component coverageDuplicate {
  provides Sensor sensor;
  behaviour {
    on sensor.activate(), sensor.deactivate(), sensor.activate(): { }
  }
}