interface ModelIsIncomplete
{
  in void ia();
  
  behaviour
  {
    bool b = true;
    [b] on ia: b = false;
  }
  
  // Verifying model ModelIsIncomplete =>
  //   ModelIsIncomplete is incomplete: 'ModelIsIncomplete.ia' not handled
  // for trace
  //   ia
  //   return
}