// This interface immediately enters a live-lock
interface interface_livelock_fail0 {
  in void e();

  behaviour {
    on e: illegal;
    on inevitable: {}
  }
}

// Dummy interface and component since there needs to be present a component
interface DummyI {
  in void e();
  behaviour { on e: {} }
}

component DummyC {
  provides DummyI i;
  requires interface_livelock_fail0 ii;
  behaviour { on i.e(): {} }
}