interface iincomplete_with_modeling_event
{
  in void e();
  out void a();
  behaviour
  {
    on inevitable: a;
  }
}

component incomplete_with_modeling_event
{
  provides iincomplete_with_modeling_event p;
  requires iincomplete_with_modeling_event r;

  behaviour
  {
    on r.a(): p.a();
  }
}