diff --git a/AlgebraicDataflowArchitectureModel/src/models/dataFlowModel/DataTransferChannel.java b/AlgebraicDataflowArchitectureModel/src/models/dataFlowModel/DataTransferChannel.java
index 46bf393..9f68e45 100644
--- a/AlgebraicDataflowArchitectureModel/src/models/dataFlowModel/DataTransferChannel.java
+++ b/AlgebraicDataflowArchitectureModel/src/models/dataFlowModel/DataTransferChannel.java
@@ -343,6 +343,11 @@
 		return resourcePaths;
 	}
 	
+	/**
+	 * Get the dependency from the values of the 'path parameters' of a channel member to the state values of other channel members. 
+	 * 
+	 * @return a map from a depending channel member to depended channel members 
+	 */
 	public Map<ChannelMember, Set<ChannelMember>> getMemberDependency() {
 		Map<ChannelMember, Set<ChannelMember>> dependency = new HashMap<>();
 		
diff --git a/AlgebraicDataflowArchitectureModel/src/simulator/Event.java b/AlgebraicDataflowArchitectureModel/src/simulator/Event.java
index c86cb47..e039805 100644
--- a/AlgebraicDataflowArchitectureModel/src/simulator/Event.java
+++ b/AlgebraicDataflowArchitectureModel/src/simulator/Event.java
@@ -313,6 +313,7 @@
 			
 			// 2. Calculate message constraints from remaining members on the channel member dependency graph.
 			for (;;) {
+				// Identify the channel members to resolve next.
 				for (Map.Entry<ChannelMember, Set<ChannelMember>> dependEnt: dependency.entrySet()) {
 					ChannelMember dependingMem = dependEnt.getKey();
 					Set<ChannelMember> dependedMems = dependEnt.getValue();
@@ -362,6 +363,31 @@
 				resolved.addAll(toResolve);
 				toResolve.clear();
 			}
+			// For the channel members that are depended by and depend on no other member. 
+			for (ChannelMember remainingMem: channel.getChannelMembers()) {
+				if (!resolved.contains(remainingMem)) {
+					resolved.add(remainingMem);
+					// Calculate message constraint
+					messageConstraint = null;
+					if (channel.getInputChannelMembers().contains(remainingMem)) {
+						// Calculate message constraint from an input state transition
+						messageConstraint = channel.calcMessageConstraintForInputMember(remainingMem, null, resouceStateAccessor, null, substitutedPositionsInMessageFromChannels);
+					} else if (channel.getReferenceChannelMembers().contains(remainingMem)) {
+						// Calculate message constraint from a reference state transition
+						messageConstraint = channel.calcMessageConstraintForReferenceMember(remainingMem, null, resouceStateAccessor, null, substitutedPositionsInMessageFromChannels);
+					}
+					if (messageConstraint != null) {
+						if (unifiedMessage == null) {
+							unifiedMessage = (Term) messageConstraint;
+						} else {
+							unifiedMessage = (Term) unifiedMessage.unify(messageConstraint);
+							if (unifiedMessage == null) {
+								throw new UnificationFailed();
+							}
+						}
+					}
+				}
+			}
 		}
 		if (inputResource == null) return unifiedMessage;