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

  behaviour {    
    [true] {
       on e: {}
       on optional: {}     
    }
  }
}

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

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