modified to fix errors in dtmc file generation
fix for dtmc file generation
fixes for dtmc and model generation files.
fixed bugs in dtmc file generation
last minute changes to dtmc generation