simulator → utility Relation

File in src/storm/simulator	Includes file in src/storm/utility
DiscreteTimeSparseModelSimulator.h	random.h
PrismProgramSimulator.h	random.h