diff --git a/AlgebraicDataflowArchitectureModel/src/algorithms/MethodBodyGenerator.java b/AlgebraicDataflowArchitectureModel/src/algorithms/MethodBodyGenerator.java
index 2cef2f4..3298912 100644
--- a/AlgebraicDataflowArchitectureModel/src/algorithms/MethodBodyGenerator.java
+++ b/AlgebraicDataflowArchitectureModel/src/algorithms/MethodBodyGenerator.java
@@ -8,9 +8,11 @@
 import code.ast.TypeDeclaration;
 import models.Edge;
 import models.Node;
+import models.algebra.Expression;
 import models.algebra.InvalidMessage;
 import models.algebra.ParameterizedIdentifierIsFutureWork;
 import models.algebra.Symbol;
+import models.algebra.Term;
 import models.algebra.UnificationFailed;
 import models.algebra.ValueUndefined;
 import models.dataConstraintModel.ChannelMember;
@@ -61,8 +63,14 @@
 						if (pushPull.getOptions().get(0) == PushPullValue.PUSH) {
 							// push
 							MethodDeclaration update = getUpdateMethod(dstType);
-							String curState = d.getChannelGenerator().deriveUpdateExpressionOf(out, CodeGenerator.pushAccessor).toImplementation();
-							String updateStatement = dstResourceName + " = " + curState + ";";
+							Expression updateExp = d.getChannelGenerator().deriveUpdateExpressionOf(out, CodeGenerator.pushAccessor);
+							String curState = updateExp.toImplementation();
+							String updateStatement;
+							if (updateExp instanceof Term && ((Term) updateExp).getSymbol().getImplOperatorType() == Symbol.Type.METHOD_WITH_SIDE_EFFECT) {
+								updateStatement = curState + ";";								
+							} else {
+								updateStatement = dstResourceName + " = " + curState + ";";
+							}
 							if (update.getBody() == null || !update.getBody().getStatements().contains(updateStatement)) {
 								update.addFirstStatement(updateStatement);
 							}