interface I {
  in void e();

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

// This component has an deterministic problem after one step
component component_deterministic_fail1 {
  provides I i;
  requires I ii;
  behaviour { 
    enum States { S0, S1};
    States s = States.S0;
    [s.S0] on i.e(): { 
      s=States.S1;
    }
    [s.S1] on i.e(): {
      [true] { ii.e(); }
      [true] {}      
    } 
  }      
}