Info output for explicit models.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1753 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/explicit/STPG.java

@@ -640,6 +640,7 @@ public class STPG extends Model
 	{
 		String s = "";
 		s += numStates + " states";
+		s += " (" + getNumInitialStates() + " initial)";
 		s += ", " + numDistrSets + " distribution sets";
 		s += ", " + numDistrs + " distributions";
 		s += ", " + numTransitions + " transitions";