interface Sensor { enum Status { OK, NOK }; in void activate(); behaviour { on activate: { } } } component SensorComp { provides Sensor sensor; behaviour { bool b = f(); bool f() { return true; } on sensor.activate(): { b = b || f(); if (f()) {} } } }