component MainProgramCompletelyEmpty
{
  provides I pp;

  behaviour
  {
  }

  // Simulating MainProgramCompletelyEmpty =>
  //   pp.ia (implicitly) illegal
  // if the following trace is performed:
  //   pp.ia
}
      
interface I
{
  in void ia();

  behaviour
  {
    on ia: {}
  }
}