interface IBehaviourEmpty
{
  in void ia();
  
  behaviour
  {
  }
  // Simulate IBehaviourEmpty =>
  //   IBehaviourEmpty is incomplete: 'ia' not handled
  // if the following trace is performed:
  //   ia
}