diff --git a/src/avatartranslator/toproverif/AVATAR2ProVerif.java b/src/avatartranslator/toproverif/AVATAR2ProVerif.java
index 39149a0d97567ebed7cf1844298afbea910f78e1..9df3ed61415632e9a8021a198273c01df67df57a 100755
--- a/src/avatartranslator/toproverif/AVATAR2ProVerif.java
+++ b/src/avatartranslator/toproverif/AVATAR2ProVerif.java
@@ -1271,9 +1271,19 @@ public class AVATAR2ProVerif {
                     }
 
                 } else if (AvatarSpecification.isABasicVariableSettingString(tmp)) {
-                    TraceManager.addDev("Found function: " + tmp);
+                    TraceManager.addDev("Found variable setting: " + tmp);
                     addLineNoEnd(p, "let " + tmp + " in ");
-                }
+                } else {
+		    TraceManager.addDev("Assignment expression: " + tmp);
+		    int index = tmp.indexOf("=");
+		    if (index > -1) {
+			String var = tmp.substring(0, index).trim();
+			if (var.length() > 0) { 
+			    addLine(p, "new " + var);
+			}
+		    }
+		   
+		}
             }
 
             makeBlockProcesses(_block, _asm, _asme.getNext(0), p, _processes, _states, null);