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

component Comp {
  requires Intf i;
}

component MyComp {
  requires injected Intf inj;
}

component System {
  
  system {
    Comp comp1;
    MyComp comp2;
    comp1.i <=> *;
  }
}