better output

prism/src/explicit/AccumulationTransformation.java

@@ -131,7 +131,10 @@ public class AccumulationTransformation<M extends ModelExplicit> implements Mode
 		ctx.singleTrack  = isSingleTrack && !forceMulti;
 		ctx.simpleMethod = isSimple      && !forceComplex;
 		
-		mc.getLog().println("Using optimizations single/simple " + ctx.singleTrack + "/" + ctx.simpleMethod);
+		mc.getLog().print("Using optimizations: ");
+		if(ctx.singleTrack)  { mc.getLog().print(" singleTrack "); }
+		if(ctx.simpleMethod) { mc.getLog().print(" simpleMethod "); }
+		mc.getLog().println();
 		
 		// Build the product
 		clock.start("accumulation product construction");