interface I {
  in void e();
  in void f();

  behaviour {    
    [true] {
       on e: {}
       on f: {}
    }
  }
}

// This component has an compliance problem
component component_compliance_fail0 {
  provides I i;
  behaviour { 
    [true] {
      on i.e(): {}
      on i.f(): illegal;
    }
  }      
}