Index: src/ControlStruct/MLEMutator.cc
===================================================================
--- src/ControlStruct/MLEMutator.cc	(revision b2152e7a0addfb2f4eff511598c305a9bbc85368)
+++ src/ControlStruct/MLEMutator.cc	(revision d939274d90e070f24aa2934b1c5d66d8c1e8dd24)
@@ -10,6 +10,6 @@
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Rob Schluntz
-// Last Modified On : Tue Jun 02 13:35:49 2015
-// Update Count     : 91
+// Last Modified On : Tue Jun 02 13:43:01 2015
+// Update Count     : 92
 //
 
@@ -33,4 +33,6 @@
 		} // if
 
+		// a child statement may set the break label
+		// - if they do, attach it to the next statement
 		std::list< Statement * > &kids = cmpndStmt->get_kids();
 		for ( std::list< Statement * >::iterator k = kids.begin(); k != kids.end(); k++ ) {
@@ -38,5 +40,5 @@
 
 			if ( ! get_breakLabel().empty() ) {
-				std::list< Statement * >::iterator next = k; next++;
+				std::list< Statement * >::iterator next = k+1;
 				if ( next == kids.end() ) {
 					std::list<Label> ls; ls.push_back( get_breakLabel() );
@@ -58,5 +60,4 @@
 		} // if
 
-		//mutateAll( cmpndStmt->get_kids(), *this );
 		return cmpndStmt;
 	}
@@ -76,5 +77,5 @@
 	Statement *MLEMutator::mutate( ForStmt *forStmt ) {
 		enclosingLoops.push_back( Entry( forStmt ) );
-		maybeMutate( forStmt->get_body(), *this );
+		forStmt->set_body( maybeMutate( forStmt->get_body(), *this ) );
 
 		Entry &e = enclosingLoops.back();
@@ -185,4 +186,5 @@
 
 	Statement *MLEMutator::mutateLoop( Statement *bodyLoop, Entry &e ) {
+		// ensure loop body is a block
 		CompoundStmt *newBody;
 		if ( ! (newBody = dynamic_cast<CompoundStmt *>( bodyLoop )) ) {
@@ -216,5 +218,5 @@
 	}
 
-	//*** Entry's methods
+	//*** Entry's methods - ensure these labels can be set at most once
 	void MLEMutator::Entry::set_contExit( Label l ) {
 		assert ( contExit == "" || contExit == l );