interface Intf {
  in void e();
  behaviour { on e: { } }
}

interface InjIntf {
  in void evt();
  out void notif();
  behaviour {
    on evt: {}
  }
}

component Comp {
  provides Intf i;
  requires injected InjIntf ii;
  behaviour {
    on i.e(): {}
    on ii.notif(): {}
  }
}