@Override
 public boolean isInitial() {
   return eventType.isInitialEventType();
 }
 @Override
 public int compareTo(Action arg0) {
   return eventType.compareTo(arg0.eventType);
 }
 @Override
 public boolean isTerminal() {
   return eventType.isTerminalEventType();
 }