// This interface enters a dead-lock immediately
interface interface_deadlock_fail0 {
  in void e();

  behaviour {    
    [true] {
       on e: illegal;
    }
  }
}

// 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_deadlock_fail0 ii;
  behaviour { [true] on i.e(): {} }      
}