Clean up.

Author: khatchad

edu.cuny.hunter.streamrefactoring.core/src/edu/cuny/hunter/streamrefactoring/core/analysis/StreamStateMachine.java

@@ -429,6 +429,12 @@ else if (set2.isEmpty())
 		return ret;
 	}
 
+	private static void outputTypeStateStatistics(AggregateSolverResult result) {
+		LOGGER.info("Total instances: " + result.totalInstancesNum());
+		LOGGER.info("Processed instances: " + result.processedInstancesNum());
+		LOGGER.info("Skipped instances: " + result.skippedInstances());
+	}
+
 	private static IDFAState selectState(IDFAState state1, IDFAState state2) {
 		if (state1.getName().equals(BOTTOM_STATE_NAME))
 			return state2;
@@ -1251,10 +1257,4 @@ public Map<TypestateRule, Statistics> start(Set<Stream> streamSet, EclipseProjec
 		}
 		return ret;
 	}
-
-	private static void outputTypeStateStatistics(AggregateSolverResult result) {
-		LOGGER.info("Total instances: " + result.totalInstancesNum());
-		LOGGER.info("Processed instances: " + result.processedInstancesNum());
-		LOGGER.info("Skipped instances: " + result.skippedInstances());
-	}
 }