interface Sensor {
  in void activate();
  in void deactivate();
  behaviour { 
    on activate: { }
    on deactivate: { }
  }
}
component coverageMissing {
  provides Sensor sensor;
  behaviour {
  bool b = true;
      on sensor.activate(): {}
  }
}