interface ilivelock
{
  in void dummy();

  behaviour
  {
    on dummy: illegal;

    on inevitable: {}
  }
}

interface nolivelock
{
  out void dummy();

  behaviour
  {
    on inevitable: dummy;
  }
}

component livelock2
{
  provides ilivelock l;
  requires nolivelock n;

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