module TrafficLight {
  var red: boolean;
  var green: boolean;

  init {
    red = true;
    green = false;

  }
  next {
    if (red) {
      red' = false;
      green' = true;
    } else {
      red' = true;
      green' = false;
    }

  }
}
