@Override
public void exportToPrismExplicitTra(PrismLog out) throws PrismException {
super.exportToPrismExplicitTra(out);
out.println(this);
out.println("FDEvents: " + getNumFDEvents());
}
@Override
public void addStates(int numToAdd) {
super.addStates(numToAdd);
for (FDEvent fdEvent : fdEvents) fdEvent.addStates(numToAdd);
}