Index: src/ControlStruct/MLEMutator.cc
===================================================================
--- src/ControlStruct/MLEMutator.cc	(revision fde0a583854b9d8d0c727dba8e9979347f11e82c)
+++ src/ControlStruct/MLEMutator.cc	(revision 61802744b2d902f9f63f386e3ef6840292ea6bbc)
@@ -10,6 +10,6 @@
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Tue Feb  1 09:26:28 2022
-// Update Count     : 225
+// Last Modified On : Wed Feb  2 20:18:57 2022
+// Update Count     : 227
 //
 
@@ -136,5 +136,5 @@
 			}
 		}
-		assertf( false, "Could not find label '%s' on statement %s",
+		assertf( false, "CFA internal error: could not find label '%s' on statement %s",
 			originalTarget.get_name().c_str(), toString( stmt ).c_str() );
 	}
@@ -395,5 +395,7 @@
 		}
 		assert( ! enclosingControlStructures.empty() );
-		assertf( dynamic_cast<SwitchStmt *>( enclosingControlStructures.back().get_controlStructure() ), "Control structure enclosing a case clause must be a switch, but is: %s", toCString( enclosingControlStructures.back().get_controlStructure() ) );
+		assertf( dynamic_cast<SwitchStmt *>( enclosingControlStructures.back().get_controlStructure() ),
+				 "CFA internal error: control structure enclosing a case clause must be a switch, but is: %s",
+				 toCString( enclosingControlStructures.back().get_controlStructure() ) );
 		if ( caseStmt->isDefault() ) {
 			if ( enclosingControlStructures.back().isFallDefaultUsed() ) {
Index: src/ControlStruct/MultiLevelExit.cpp
===================================================================
--- src/ControlStruct/MultiLevelExit.cpp	(revision fde0a583854b9d8d0c727dba8e9979347f11e82c)
+++ src/ControlStruct/MultiLevelExit.cpp	(revision 61802744b2d902f9f63f386e3ef6840292ea6bbc)
@@ -10,6 +10,6 @@
 // Created On       : Mon Nov  1 13:48:00 2021
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Tue Feb  1 18:48:47 2022
-// Update Count     : 29
+// Last Modified On : Wed Feb  2 20:19:24 2022
+// Update Count     : 30
 //
 
@@ -206,5 +206,5 @@
 		}
 	}
-	assertf( false, "Could not find label '%s' on statement %s",
+	assertf( false, "CFA internal error: could not find label '%s' on statement %s",
 			 originalTarget.name.c_str(), toString( stmt ).c_str() );
 }
@@ -406,5 +406,5 @@
 	Entry & entry = enclosing_control_structures.back();
 	assertf( dynamic_cast< const SwitchStmt * >( entry.stmt ),
-			 "Control structure enclosing a case clause must be a switch, but is: %s",
+			 "CFA internal error: control structure enclosing a case clause must be a switch, but is: %s",
 			 toString( entry.stmt ).c_str() );
 	if ( mutStmt->isDefault() ) {