interface nolivelock
{
  in void dummy();

  behaviour
  {
    on dummy: {}
  }
}

interface ilivelock
{
  out void dummy();

  behaviour
  {
    on inevitable: dummy;
  }
}

component livelock1
{
  provides nolivelock n;
  requires ilivelock l;

  behaviour
  {
    on n.dummy(): {}
    on l.dummy(): {}
  }
}