// This interface enters a live-lock after one step
interface interface_deadlock_fail1 {
  in void e();

  behaviour {    
    enum States {S0, S1};
    States s = States.S0;
     
    [s.S0] {
       on e: { s= States.S1; }
    }
    [s.S1] {
       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_fail1 ii;
  behaviour { [true] on i.e(): {} }      
}